European Joint Conferences on Theory and Practice of Software

Last updated

The European Joint Conferences on Theory and Practice of Software (ETAPS) is a confederation of (currently) four computer science conferences taking place annually at one conference site, usually at the end of March or in April. Three of the four conferences (FoSSaCS, FASE, TACAS) are top ranked in software engineering [1] and one (ESOP) is top ranked in programming languages. [2]

Contents

Constituting conferences

ETAPS currently confederates the following conferences:

From 1995 to 2015, the International Conference on Compiler Construction (CC) and from 2012 to 2019 Principles of Security and Trust (POST) were constituting conferences as well.

TACAS

TACAS (Tools and Algorithms for the Construction and Analysis of Systems) is a conference that focuses on the application of and tool support for various formal methods. It is one of the top-ranked conferences for software engineering. [1] It was founded by Bernhard Steffen, Rance Cleaveland, Ed Brinksma, and Kim Larsen. The first TACAS was held in 1995 in Aarhus, Denmark followed by the conferences in 1996 in Passau, Germany and 1997 in Enschede, Netherlands. TACAS was one of the first five constituting conferences of ETAPS in 1998. [3]

ESOP

ESOP (European Symposium on Programming) is a conference that focuses on fundamental issues in the specification, design, analysis, and implementation of programming languages and systems. It is one of the top-ranked conferences for programming languages. The first edition of ESOP was held in March 1986 in Saarbrücken. [4]

FASE

FASE (Fundamental Approaches to Software Engineering) is a conference that focuses on the foundations which software engineering is built on. It replaced the conference Formal Aspects/Approaches to Software Engineering while keeping its acronym. [5]

FoSSaCS

FoSSaCS (International Conference on Foundations of Software Science and Computation Structures) is a conference that focuses on foundational research in software science, especially theories and methods for the analysis, integration, synthesis, transformation, and verification of programs and software systems. Its first edition was held as part of first ETAPS in 1998. It can be seen as a successor of the conference CAAP, Colloque sur les Arbres en Algèbre et en Programmation. [6]

Test of time award

The ETAPS Test of Time Award recognizes "outstanding papers published more than 10 years in the past" in one of the constituent conferences of ETAPS and the "impact of excellent research results" that have been published at ETAPS. [7]

Related Research Articles

<span class="mw-page-title-main">Computing</span> Activity involving calculations or computing machinery

Computing is any goal-oriented activity requiring, benefiting from, or creating computing machinery. It includes the study and experimentation of algorithmic processes, and the development of both hardware and software. Computing has scientific, engineering, mathematical, technological, and social aspects. Major computing disciplines include computer engineering, computer science, cybersecurity, data science, information systems, information technology, and software engineering.

<span class="mw-page-title-main">Computer science</span> Study of computation

Computer science is the study of computation, information, and automation. Computer science spans theoretical disciplines to applied disciplines.

<span class="mw-page-title-main">Theoretical computer science</span> Subfield of computer science and mathematics

Theoretical computer science is a subfield of computer science and mathematics that focuses on the abstract and mathematical foundations of computation.

In compiler optimization, register allocation is the process of assigning local automatic variables and expression results to a limited number of processor registers.

Computational semiotics is an interdisciplinary field that applies, conducts, and draws on research in logic, mathematics, the theory and practice of computation, formal and natural language studies, the cognitive sciences generally, and semiotics proper. The term encompasses both the application of semiotics to computer hardware and software design and, conversely, the use of computation for performing semiotic analysis. The former focuses on what semiotics can bring to computation; the latter on what computation can bring to semiotics.

Extended ML is a general-purpose, high-level, wide-spectrum programming language based on the languages ML and Standard ML, covering both program specification and implementation. It extends the syntax of ML to include axioms, which do not need to be executable but can rigorously specify the behavior of a program. With this addition, the language can be used for stepwise refinement, proceeding gradually from an initial formal specification to eventually yield an executable Standard ML program. Correctness of the final executable with respect to the original specification can then be established by proving the correctness of each of the refinement steps. Extended ML is used for research into and teaching of formal methods in program development and specification, and research into automatic program verification.

In computer science, the International Conference on Computer-Aided Verification (CAV) is an annual academic conference on the theory and practice of computer-aided formal analysis of software and hardware systems, broadly known as formal methods. Among the important results originally published in CAV are techniques in model checking, such as Counterexample-Guided Abstraction Refinement and partial order reduction. It is often ranked among the top conferences in computer science.

Sophia Drossopoulou is a computer scientist, currently working at Imperial College London, where she is Professor in Programming Languages. She earned her Ph.D. from the Karlsruhe Institute of Technology.

WoLLIC, the Workshop on Logic, Language, Information and Computation is an academic conference in the field of pure and applied logic and theoretical computer science. WoLLIC has been organised annually since 1994, typically in June or July; the conference is scientifically sponsored by the Association for Logic, Language and Information, the Association for Symbolic Logic, the European Association for Theoretical Computer Science and the European Association for Computer Science Logic.

Carlo Ghezzi is an emeritus professor and former chair of software engineering at the Politecnico di Milano, Italy, and an adjunct professor at the Università della Svizzera italiana (USI), Switzerland. At the Politecnico, he has been the Rector's Delegate for research, department chair, head of the PhD program, and member of the academic senate and of the board of governors of Politecnico.

<span class="mw-page-title-main">Peter Ružička</span> Slovak scientist

Peter Ružička was a Slovak computer scientist and mathematician who worked in the fields of distributed computing and computer networks. He was a professor at the Comenius University, Faculty of Mathematics, Physics and Informatics working in several research areas of theoretical computer science throughout his long career.

The European Symposium on Programming (ESOP) is an annual conference devoted to fundamental issues in the specification, design, analysis, and implementation of programming languages and systems.

<span class="mw-page-title-main">Optical braille recognition</span> Automated recognition of braille characters

Optical braille recognition is technology to capture and process images of braille characters into natural language characters. It is used to convert braille documents for people who cannot read them into text, and for preservation and reproduction of the documents.

Bernhard Steffen is a German computer scientist and professor at the TU Dortmund University, Germany. His research focuses on various facets of formal methods ranging from program analysis and verification, to workflow synthesis, to test-based modeling, and machine learning.

<span class="mw-page-title-main">Grigore Roșu</span> Computer science professor

Grigore Roșu is a computer science professor at the University of Illinois at Urbana-Champaign and a researcher in the Information Trust Institute. He is known for his contributions in runtime verification, the K framework, matching logic, and automated coinduction.

The International Symposium on Experimental Algorithms (SEA), previously known as Workshop on Experimental Algorithms (WEA), is a computer science conference in the area of algorithm engineering.

Deepak Kapur is a Distinguished Professor in the Department of Computer Science at the University of New Mexico.

In the context of computer science, the C Bounded Model Checker (CBMC) is a bounded model checker for C programs. It was the first such tool.

References

  1. 1 2 "Top conferences in software engineering". Microsoft Academic Search . Retrieved 4 June 2013.[ permanent dead link ]
  2. ↑ "Top conferences on programming languages". Microsoft Academic Search . Retrieved 4 June 2013.
  3. ↑ "ETAPS'98" . Retrieved 4 June 2013.
  4. ↑ Robinet, Bernard; Wilhelm, Reinhard, eds. (1986). Esop 86. Lecture Notes in Computer Science. Vol. 213. doi:10.1007/3-540-16442-1. ISBN   978-3-540-16442-5. ISSN   0302-9743. S2CID   33668937.
  5. ↑ Astesiano, Egidio, ed. (1998). Fundamental Approaches to Software Engineering (PDF). Lecture Notes in Computer Science. Vol. 1382. doi:10.1007/bfb0053578. ISBN   978-3-540-64303-6. ISSN   0302-9743. S2CID   41737556.
  6. ↑ Nivat, Maurice, ed. (1998). Foundations of Software Science and Computation Structures (PDF). Lecture Notes in Computer Science. Vol. 1378. doi:10.1007/bfb0053537. ISBN   978-3-540-64300-5. ISSN   0302-9743. S2CID   35101695.
  7. ↑ Test of Time Award


This page is based on this Wikipedia article
Text is available under the CC BY-SA 4.0 license; additional terms may apply.
Images, videos and audio are available under their respective licenses.