ETAPS is a confederation of several conferences, each with its own Programme Committee and Steering Committee. ETAPS is the most important and visible annual European event related to software sciences. Altogether, more than 500 researchers participate in this event every year.
The confederated conferences cover various aspects of software systems, ranging from theoretical foundations to programming language developments, compiler advancements, analysis tools, formal approaches to software engineering, and security.
Organising these conferences in a coherent, highly synchronised conference programme, enables the participation in an exciting event, having the possibility to meet many researchers working in different directions in the field, and to easily attend talks of difference conferences. Almost a thousand scientific papers are submitted to the event each year, and are evaluated strictly on the basis of their scientific merits. Before and after the main conference programme, numerous satellite workshops take place and attract many researchers from all over the world.
categorical models and logics;
language theory, automata, and games;
modal, spatial, and temporal logics;
type theory and proof theory;
concurrency theory and process calculi;
rewriting theory;
semantics of programming languages;
program analysis, correctness, transformation, and verification;
logics of programming;
software specification and refinement;
models of concurrent, reactive, stochastic, distributed, hybrid, and
mobile systems;
emerging models of computation;
logical aspects of computational complexity;
models of software security;
logical foundations of data bases
04月22日
2017
04月29日
2017
初稿截稿日期
初稿录用通知日期
终稿截稿日期
注册截止日期
2013年03月16日 意大利
第16届软件科学和计算结构基础国际会议
留言