Visible to the public ETAPS 2018Conflict Detection Enabled

Submitted by Anonymous on Tue, 10/24/2017 - 2:54pm
Apr 14, 2018 7:00 am - Apr 18, 2018 6:00 pm EEST

The European Joint Conferences on Theory and Practice of Software (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 (ESOP, FASE, FOSSACS, POST and TACAS) accompanied by satellite workshops and other events.

The twenty-first edition, ETAPS 2018, will take place in Thessaloniki, Greece.

ETAPS 2018 Workshops

  • 14th IFIP WG 1.3 International Workshop on Coalgebraic Methods in Computer Science (CMCS 2018)
  • 3rd Workshop on formal reasoning about Causation, Responsibility, and Explanations in Science and Technology (CREST 2018)
  • 9th International workshop on Developments in Implicit Computational complExity (DICE 2018)
  • Formal methods for ML-based autonomous systems (FoMLAS)
  • International Workshop on Games for Logic and Programming Languages (GALOP)
  • Sixth Workshop on Hot Issues in Security Principles and Trust (HotSpot 2018)
  • 2nd Workshop on Learning in Verification (LiVe 2018)
  • 3rd Workshop on Models for Formal Analysis of Real Systems (MARS 2018)
  • First International Workshop on Methods and Tools for Rigorous System Design (MeTRiD 2018)
  • The 4th International Workshop on Symbolic and Numerical Methods for Reachability Analysis SNR 2018)
  • 5th International Workshop on Synthesis of Complex Parameters (SynCoP 2018)
  • VerifyThis Verification Competition 2018 at ETAPS 2018 (VerifyThis2018)
  • Sixth International Workshop on Verification and Program Transformation (VPT 2018)
  • Workshop on Verification and Synthesis for Software Evolution (VSSE2018)
  • 12th International Workshop on Rewriting Logic and its Applications (WRLA 2018)

Invited Speakers

Unifying speaker

Martin Abadi (Google Research & University of California at Santa Cruz, USA)

FASE invited speaker

Pamela Zave (AT&T Labs, USA)

POST invited speaker

Benjamin C. Pierce (University of Pennsylvania, USA)

ESOP invited speaker

Derek Dreyer (MPI-SWS, Germany)

Organizers

General chair
Panagiotis Katsaros

Organizing Committee Members
Ioannis Stamelos, Lefteris Angelis

Workshop Chairs
Nick Bassiliades, Alexander Chatzigeorgiou

Tutorials Chair
George Rahonis

Publicity chairs
Ezio Bartocci, Simon Bliudze

Logistics chair
Petros Stratis

Web chairs
Emmanouela Stachtiari, Kyriakos Georgiadis

Event Details
Location: 
Thessaloniki, Greece
URL: 
http://www.etaps.org/2018