The European Joint Conferences on Theory and Practice of Software<br>(ETAPS) is the primary European forum for academic and industrial<br>researchers working on topics relating to Software Science. It is an<br>annual event held in Europe each spring since 1998. Its twenty–second<br>edition, ETAPS 2019, will take place April 6–12, 2019 in Prague,<br>Czech Republic.<br>ETAPS 2019 main conferences, scheduled for April 8–12, are:<br>* ESOP: European Symposium on Programming<br>* FASE: Fundamental Approaches to Software Engineering<br>* FOSSACS: Foundations of Software Science and Computation Structures<br>* POST: Principles of Security and Trust<br>* TACAS: Tools and Algorithms for the Construction and Analysis of Systems<br>–– SATELLITE EVENTS ––<br>The ETAPS 2019 organizing committee invites proposals for satellite<br>events (workshops) that will complement the main conferences. They<br>should fall within the scope of ETAPS. This encompasses all aspects of<br>the system development process, including specification, design,<br>implementation, analysis and improvement, as well as the languages,<br>methodologies and tools which support these activities, covering a<br>spectrum from practically–motivated theory to soundly–based<br>practice. The committee especially encourages workshops on program<br><div>synthesis and on the development of approximate systems.</div><div><br></div>
Abbrevation
ETAPS
City
Prague
Country
Czechia
Deadline Paper
Start Date
End Date
Abstract