[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
ICTCS 2024 – 25th Italian Conference on Theoretical Computer Science
September 11-13, 2024, Turin, Italy
website:
https://urldefense.com/v3/__https://ictcs2024.di.unito.it/__;!!IBzWLUs!TaVVJZnsetD6NGkRtEl2Jl9LclnlVvY8TFb6ZQdlJAmE4otl5FzXphP1SHdoKfd5Glv3rknew_vujuTqw8s2BAf8yCnj7aR06hI9MQ$
Scope and Topics
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 PLUS bibliography, 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 PLUS bibliography, suitable for extended
abstracts of papers that 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 by accessing:
Submission Page:
https://urldefense.com/v3/__https://easychair.org/conferences/?conf=ictcs2024__;!!IBzWLUs!TaVVJZnsetD6NGkRtEl2Jl9LclnlVvY8TFb6ZQdlJAmE4otl5FzXphP1SHdoKfd5Glv3rknew_vujuTqw8s2BAf8yCnj7aRX9KNg5A$
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.
TCS Special Issue
Following the tradition, the authors of the very best papers presented at the
conference will be invited to submit an extended version of their work in a
special issue of Theoretical Computer Science journal.
Invitations will be sent out after the workshop. The target is to publish the
special issue by the end of the year 2025.
Important Dates
Paper submission: 9 June, 2024
Notification: 14 July, 2024
Revised version for pre-proceedings: 30 August, 2024
Conference: 11 -13 September, 2024
Final version for proceedings: TBA
Invited Speakers
TBD
Organising Committee
Ugo de’Liguoro (Università di Torino)
Matteo Palazzo (Università di Torino)
Daniele Pautasso (Università di Torino)
Luca Roversi (Università di Torino)
Riccardo Treglia (King’s College London)
************************************************************
Emilio Tuosto
Gran Sasso Science Institute
Department of Computer Science
ORCID: 0000-0002-7032-3281
Viale F. Crispi, 7 - 67100 L'Aquila (Italy)
Office: Palazzo Mariani P1-N
Phone: +39 0862 428 0312
homepage ->
https://urldefense.com/v3/__https://cs.gssi.it/emilio.tuosto/__;!!IBzWLUs!TaVVJZnsetD6NGkRtEl2Jl9LclnlVvY8TFb6ZQdlJAmE4otl5FzXphP1SHdoKfd5Glv3rknew_vujuTqw8s2BAf8yCnj7aTbrhfx7g$
************************************************************
