CALL FOR PARTICIPATION: ETAPS 2018 - 21st European Joint Conferences on Theory And Practice of Software

-- 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 (14-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 Schürr, Technische Universität Darmstadt, Germany)

* FoSSaCS: Foundations of Software Science

and Computation Structures

(PC chairs Christel Baier, Technische Universität Dresden, Germany,

and Ugo Dal Lago, Università di Bologna, Italy)

* POST: Principles of Security and Trust

(PC chairs Lujo Bauer, Carnegie Mellon University, USA,

and Ralf Küsters, University of Stuttgart, Germany)

* TACAS: Tools and Algorithms for

the Construction and Analysis of Systems

(PC chairs Dirk Beyer, LMU Munich, Germany,

and Marieke Huisman, Universiteit Twente, The Netherlands)

TACAS '18 hosts the 7th Competition on Software Verification

(SV-COMP)

http://sv-comp.sosy-lab.org/2018/

-- INVITED SPEAKERS --

* Unifying speaker:

Martin Abadi (Google Brain, USA)

Title: On the Theory and Practice of Software that Learns

* FASE invited speaker:

Pamela Zave (AT&T Labs, USA)

Title: When the model really matters:  The compositional architecture of the Internet

* POST invited speaker:

Benjamin C. Pierce (University of Pennsylvania, USA)

Title: The Science of Deep Specification

* ESOP invited speaker:

Derek Dreyer (MPI-SWS, Germany)

Title: RustBelt: Logical Foundations for the Future of Safe Systems Programming

-- 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 Petrişan, 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. Schöpp

* 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, Al