[TYPES/announce] CALL FOR PARTICIPATION: ETAPS 2018 - 21st European Joint Conferences on Theory And Practice of Software

[Ezio Bartocci]

******************************************************************

CALL FOR PARTICIPATION

ETAPS 2018

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 <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 (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/ <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 <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 <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/ <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
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://LISTS.SEAS.UPENN.EDU/pipermail/types-announce/attachments/20180309/ec7bbf01/attachment-0001.html>