We are happy to announce extended deadlines for the following event. Feel free to forward this message to whom it might interest. *************************************************************** CALL FOR PAPERS 18th Italian Conference on Theoretical Computer Science ICTCS 2017 -- http://ictcs2017.unina.it/ Naples, Italy, September 26-29, 2017 *************************************************************** The Italian Conference on Theoretical Computer Science (ICTCS) is the conference of the Italian Chapter of the European Association for Theoretical Computer Science. ICTCS 2017 is the 18th edition of ICTCS and will take place in Naples, September 26-29, 2017. The purpose of the meeting is to foster the cross-fertilization of ideas stemming from different areas of theoretical computer science. In particular, it provides an ideal environment where junior researchers and PhD students can meet senior researchers. ICTCS 2017 is co-located with the 32nd Italian Conference on Computational Logic CILC 2017 (http://cilc2017.unina.it/) with which it will share part of the program. The two events will feature plenary events, on September 29, to be specified later. Contributions: ------------- Contributions in any area of theoretical computer science are warmly solicited from researchers of all nationalities. The topics of interest include, but are not limited to, the following: agents, algorithms, argumentation, automata theory, automated theorem proving, complexity theory, computational logic, computational social choice, concurrency, cryptography, discrete mathematics, distributed computing, dynamical systems, formal methods, game theory, graph theory, knowledge representation languages, model checking, multi-agent systems, process algebras, quantum computing, rewriting systems, security and trust, semantics, specification and verification, systems biology, type theory Program co-chairs: ------------------ Aniello Murano (University of Naples "Federico II") Sasha Rubin (University of Naples "Federico II") Program Committee: ------------------ Ezio Bartocci, Vienna University of Technology, Austria Stefano Bistarelli, University of Perugia, Italy Diego Calvanese, Free University of Bozen-Bolzano, Italy Antonio Caruso, University of Salento, Italy Annalisa De Bonis, University of Salerno, Italy Michele Loreti, University of Firenze, Italy Giovanni Michele Pinna, University of Cagliari, Italy Marino Miculan, University of Udine, Italy Mimmo Parente, University of Salerno, Italy Andrea Pietracaprina, University of Padova, Italy Davide Sangiorgi, University of Bologna, Italy Armando Tacchella, University of Genova, Italy Paolo Torroni, University of Bologna, Italy Carmine Ventre, Teesside University, UK Invited Speakers: ----------------- The invited speakers for this joint ICTCS/CILC event are: Mario Alviano, University of Calabria Laura Giordano, Università del Piemonte Orientale Alessio Lomuscio, Imperial College London Important dates: ---------------- Abstract and paper submission deadline: 7 June 2017 Notification of acceptance: 7 July 2017 Final version and early registration deadline: 24 July 2017 Conference: 26-29 September 2017 Submissions: ------------ Two types of contributions are solicited. Regular papers: up to 12 pages in LNCS style. Full original papers, presenting novel results, not appeared or submitted elsewhere. Communications: up to 5 pages in LNCS style. Suitable for extended abstracts of papers already appeared, or submitted, or to be submitted, elsewhere; papers reporting ongoing research on which the authors wish to get feedback at ICTCS; overviews of PhD-theses, research projects, etc... 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). All contributions must be written in English. Authors are invited to submit their manuscripts in PDF via EasyChair: https://easychair.org/conferences/?conf=ictcs20172 For each accepted contribution, at least one of the authors is required to attend the conference and present the paper. Proceedings: ------------ All accepted original contributions (communications and regular papers) will be published on CEUR-WS.org. Non-original communications will be given visibility on the conference web site including a link to the original publication if already published. As in previous years, we plan to publish a selection of the best papers in a special issue of an international top-rated journal. This is open to regular papers as well as communication papers that have not been published in a journal. Venue: ------ The conference will take place at the "Complesso di San Giovanni a Teduccio---Complesso Napoli Est", in Corso Nicolangelo Protopisani, 70, 80146 Napoli. -- For more information email ictcs2017-naples@easychair.org --- Questa e-mail è stata controllata per individuare virus con Avast antivirus. https://www.avast.com/antivirus --- Questa e-mail è stata controllata per individuare virus con Avast antivirus. https://www.avast.com/antivirusReceived on Monday, 29 May 2017 11:44:05 UTC
This archive was generated by hypermail 2.4.0 : Tuesday, 5 July 2022 08:45:50 UTC