Call for Participation: ETAPS 2018

CALL FOR PARTICIPATION

21st European Joint Conferences on Theory And Practice of Software (ETAPS 2018)

Thessaloniki, Greece | 14-20 April 2018 | http://www.etaps.org/index.php/2018

ABOUT ETAPS

ETAPS is the primary European forum for academic and industrial researchers working on topics relating to software science. ETAPS, established in 1998, is a confederation of five main annual conferences, accompanied by satellite workshops. ETAPS 2018 is the twenty-first event in the series.

MAIN CONFERENCES (16-20 April)

• ESOP: European Symposium on Programming (PC chair Amal Ahmed, Northeastern University, USA)
• FASE: Fundamental Approaches to Software Engineering (PC chairs Alessandra Russo, Imperial College London, UK, and Andy Schurr, Technische Universitat Darmstadt, Germany)
• FoSSaCS: Foundations of Software Science and Computation Structures (PC chairs Christel Baier, Technische Univ. Dresden, Germany, and Ugo Dal Lago, Universita di Bologna, Italy)
• POST: Principles of Security and Trust (PC chairs Lujo Bauer, Carnegie Mellon University, USA, Ralf Kusters, University of Stuttgart, Germany)
• TACAS: Tools and Algorithms for the Construction and Analysis of Systems (PC chairs Dirk Beyer, Ludwig-Maximilian-Univ. Munchen, Germany, and Marieke Huisman, Universiteit Twente, The Netherlands)

TACAS '18 hosts the 7th Competition on Software Verification (SV-COMP).

INVITED SPEAKERS

* Unifying speaker: Martin Abadi (Google Research & University of California at Santa Cruz, USA)
* FASE invited speaker: Pamela Zave (AT&T Labs, USA)
* ESOP invited speaker: Derek Dreyer (MPI-SWS, Germany)
* POST invited speaker: Benjamin C. Pierce (University of Pennsylvania, USA)

IMPORTANT DATES (all member conferences except POST)
* Abstracts due: 13 October 2017 23:59 AoE
* Papers due: 20 October 2017 23:59 AoE
* Rebuttal (ESOP, FoSSaCS only): 6-8 December 2017
* Notification: 22 December 2017
* Camera-ready versions due: 23 February 2018

INVITED TUTORIALS

• Armin Biere (Johannes Kepler University, Linz, Austria)
  Title: Searching, Simplifying, Proving. A Tutorial on Modern SAT Solving
• Fabio Somenzi (University of Colorado, Boulder, USA)

CONTRIBUTED PAPERS
See the conference program at: http://www.etaps.org/index.php/2018/program

SATELLITE EVENTS (14-15 April, 20 April)
14 satellite workshops and other events will take place before or after ETAPS 2018.
14-15 April

• 14th IFIP WG 1.3 Int. Workshop on Coalgebraic Methods in Computer Science (CMCS 2018) -
  Invited speakers: S. Abramsky, C. Kupke, Daniela Petrisan, B. Coecke, A. Kissinger
• 9th Int. Workshop on Developments in Implicit Computational complExity (DICE 2018) -
  Invited speakers: J. Hoffmann, A. Das
• International Workshop on Games for Logic and Programming Languages (GALOP) -
  Invited speakers: G. McCusker, M. Mio, U. Schopp
• VerifyThis Verification Competition 2018 at ETAPS 2018 (VerifyThis2018)
• 12th Int. Workshop on Rewriting Logic and its Applications (WRLA 2018) -
  Invited speakers: S. Escobar, H. Garavel, T. Genet
• 5th Int. Workshop on Synthesis of Complex Parameters (SynCoP 2018) + 4th Int. Workshop on Parameterized Verification (PV 2018) -
• Invited speakers: N. Bertrand, T. Dang, P. Ganty, I. Hasuo, K. Quaas
• 6th Workshop on Hot Issues in Security Principles and Trust (HotSpot 2018)
• 1st Int. Workshop on Methods and Tools for Rigorous System Design (MeTRiD 2018) - Invited speakers: J. Sifakis, T. Tsiodras

20 April

• 3rd Workshop on formal reasoning about Causation, Responsibility, and Explanations in Science and Technology (CREST 2018)
• Formal methods for ML-based autonomous systems (FoMLAS) -
  Invited speakers: J. Rushby, X. Huang, A. Fawzi, M. Castillo-Effen, S. Burton
• 2nd Workshop on Learning in Verification (LiVe 2018) -
  Invited speakers: G. Katz, DJ Dvijotham, P. Kohli
• 3rd Workshop on Models for Formal Analysis of Real Systems (MARS 2018) + 6th Int. Workshop on Verification and Program Transformation (VPT 2018)
  Invited speakers: C. Baier, X. Leroy
• 4th Int. Workshop on Symbolic and Numerical Methods for Reachability Analysis (SNR 2018)
• Workshop on Verification and Synthesis for Software Evolution (VSSE2018)

REGISTRATION
Early registration is until Friday, 16 March 2018 (23:59 GMT+2).
http://www.etaps.org/index.php/2018/registration

ACCOMMODATION
The organizers have negotiated special rates from several hotels in Thessaloniki.
To benefit from those, follow the instructions on the conference website.

HOST CITY
Greece is one of the world's most popular destinations with ancient and modern attractions such as museums of the ancient and Byzantine eras and archaeological sites and cities, all of them with historical monuments which have inspired modern education and culture around the world. Thessaloniki is located in the region of Central Macedonia and as the second largest Greek city it is a significant business hub for Southeast Europe and a remarkable place to visit. Built on the waters of the North Aegean sea, the city and its 1 million inhabitants are renowned for their hospitality and easy going lifestyle. The wider area of Macedonia in Greece was the center of the ancient kingdom of Macedon, where the philosopher Aristotle, the father of formal logic, was born and where he taught Alexander the Great and other important men.

HOST INSTITUTION
ETAPS 2018 is hosted by the School of of Informatics of the Aristotle University of Thessaloniki (http://www.csd.auth.gr/en/). The Aristotle University of Thessaloniki is the largest university in Greece with about 70.000 students.

ORGANIZERS

• Panagiotis Katsaros (General chair),
• Nick Bassiliades, Alexander Chatzigeorgiou (Workshop chairs),
• Ioannis Stamelos, Lefteris Angelis, George Rahonis, Lenore Zuck (Tutorials chair),
• Ezio Bartocci, Simon Bliudze (Publicity chairs)

SPONSORS - EXHIBITORS

• Amazon Web Services,
• Aristotle University Research Committee,
• Springer,
• Thessaloniki Convention Bureau,
• Austrian Airlines