ICTCS 2018 - 19th Italian Conference on Theoretical Computer Science 18-20 Sept 2018 Italy

#1204129: ICTCS 2018 - 19th Italian Conference on Theoretical Computer Science 18-20 Sept 2018 Italy

Description:	ICTCS 2018 - 19th Italian Conference on Theoretical Computer Science 18-20 September 2018, Urbino, Italy The Italian Conference on Theoretical Computer Science (ICTCS) is the conference of the Italian Chapter of the European Association for Theoretical Computer Science. The purpose of ICTCS is to foster the cross-fertilization of ideas stemming from different areas of theoretical computer science. In particular, ICTCS provides an ideal environment where junior researchers and PhD students can meet senior researchers. Contributions in any area of theoretical computer science are warmly invited from researchers of all nationalities. The topics of interest include, but are not limited to, the following: agents, algorithms, argumentation, automata theory, complexity theory, computational logic, computational social choice, concurrency theory, cryptography, discrete mathematics, distributed computing, dynamical systems, formal methods, game theory, graph theory, knowledge representation, languages, model checking, process algebras, quantum computing, rewriting systems, security and trust, semantics, specification and verification, systems biology, theorem proving, type theory. ================ PAPER SUBMISSION ================ Two types of contributions, written in English and formatted according to Springer LNCS style, are solicited. Regular papers: up to 12 pages, presenting original results not appeared or submitted elsewhere. To ease the reviewing process, the authors of regular papers may add an appendix, although reviewers are not required to consider it in their evaluation. Communications: up to 5 pages, suitable for extended abstracts of papers already appeared/submitted or to be submitted elsewhere, as well as papers reporting ongoing research on which the authors wish to get feedback and overviews of PhD theses or research projects. Authors are invited to submit their manuscripts in PDF format via EasyChair. All accepted original contributions (regular papers and communications) will be published on CEUR-WS.org. For each accepted contribution, at least one of the authors is required to attend the conference and present the paper. As in previous years, we plan to publish a selection of the best papers in a special issue of an international journal. =============== IMPORTANT DATES =============== Abstract submission: 17 May 2018 Paper submission: 24 May 2018 Notification: 30 June 2018 Final version: 20 July 2018
More info:	http://www.sti.uniurb.it/events/ictcs2018/

Description:

ICTCS 2018 - 19th Italian Conference on Theoretical Computer Science

18-20 September 2018, Urbino, Italy

The Italian Conference on Theoretical Computer Science (ICTCS)
is the conference of the Italian Chapter of the European Association
for Theoretical Computer Science.

The purpose of ICTCS is to foster the cross-fertilization of ideas
stemming from different areas of theoretical computer science.
In particular, ICTCS provides an ideal environment where
junior researchers and PhD students can meet senior researchers.
Contributions in any area of theoretical computer science are warmly
invited from researchers of all nationalities.

The topics of interest include, but are not limited to, the following:
agents, algorithms, argumentation, automata theory, complexity theory,
computational logic, computational social choice, concurrency theory,
cryptography, discrete mathematics, distributed computing, dynamical systems,
formal methods, game theory, graph theory, knowledge representation,
languages, model checking, process algebras, quantum computing,
rewriting systems, security and trust, semantics, specification and
verification, systems biology, theorem proving, type theory.

================
PAPER SUBMISSION
================

Two types of contributions, written in English and formatted according
to Springer LNCS style, are solicited.

Regular papers: up to 12 pages, presenting original results not appeared
or submitted elsewhere. To ease the reviewing process, the authors of
regular papers may add an appendix, although reviewers are not required
to consider it in their evaluation.

Communications: up to 5 pages, suitable for extended abstracts of papers
already appeared/submitted or to be submitted elsewhere, as well as papers
reporting ongoing research on which the authors wish to get feedback and
overviews of PhD theses or research projects.

Authors are invited to submit their manuscripts in PDF format via EasyChair.

All accepted original contributions (regular papers and communications)
will be published on CEUR-WS.org.

For each accepted contribution, at least one of the authors is required
to attend the conference and present the paper.

As in previous years, we plan to publish a selection of the best papers
in a special issue of an international journal.

===============
IMPORTANT DATES
===============

Abstract submission: 17 May 2018
Paper submission: 24 May 2018
Notification: 30 June 2018
Final version: 20 July 2018

More info:

http://www.sti.uniurb.it/events/ictcs2018/

Date added	March 1, 2018, 11:39 a.m.
Source	ICTCS
Subjects	Conferences and Seminars Europe Conferences IT Security General IT-Sec Country Group Mtgs Italy Latest Global Security News News Italy Quantum Computing / Quantum Security - Various
Venue	Urbino, Sept. 18, 2018, midnight - Sept. 20, 2018, midnight
Country	Italy