The Coq mailing list

[Daniele Gorla <gorla AT di.uniroma1.it>]

ICTCS 2022 - 23rd Italian Conference on Theoretical Computer Science

7-9 September 2022, Roma, Italy

https://easyconferences.eu/ictcs2022/

PRELIMINARY CALL FOR PAPERS


================
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
accordingto 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 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.

============================
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 2023.

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

Abstract submission: May 15th, 2022
Paper submission:    May 22nd, 2022
Notification:        June 24th, 2022
Revised version for pre-proceedings:  July 17th, 2022
Conference:          September 7th-9th, 2022
Final version for CEUR-WS proceedings: September 25th, 2022 (tentative)

==================
INVITED SPEAKERS
==================

Luca Aceto (Gran Sasso Science Institute and Reykjavik University)

Fabrizio Grandoni (IDSIA, USI-SUPSI)

====================
PROGRAM COMMITTEE
====================

Massimo Bartoletti (University of Cagliari)
Filippo Bonchi (University of Pisa)
Viviana Bono (University of Torino)
Pierluigi Crescenzi (Gran Sasso Science Institute)
Ugo Dal Lago (co-chair; University of Bologna and INRIA Sophia Antipolis)
Simone Faro (University of Catania)
Gabriele Fici (University of Palermo)
Daniele Gorla (co-chair; "Sapienza" University of Rome)
Luciano  Gualà (University of Roma “Tor Vergata”)
Zsuzsanna Liptak (University of Verona)
Giovanni Manzini (University of Pisa)
Carlo Mereghetti (University of Milan)
Donatella Merlini (University of Firenze)
Claudio Antares Mezzina (University of Urbino)
Eugenio Moggi (University of Genova)
Alfredo Navarra (University of Perugia)
Yuri Pirola (University of Milano-Bicocca)
Nicola Prezza (Ca’ Foscari University of Venice)
Gabriele Puppis (University of Udine)
Paola Quaglia (University of Trento)
Barbara Re (University of Camerino)
Michele Scquizzato (University of Padova)
Mirco Tribastone (IMT School for Advanced Studies of Lucca)
Emilio Tuosto (Gran Sasso Science Institute)

--

================================
Daniele Gorla

Associate Professor in Computer Science
Dipartimento di Informatica
"Sapienza" Università di Roma
Viale Regina Elena 295

Palazzina E, 2nd floor, room 205
00161 Roma (IT)
tel. +39 06 49255 431 (int. 36431)

email: gorla AT di.uniroma1.it
web: https://sites.google.com/uniroma1.it/gorla

================================