征稿已开启

查看我的稿件

注册已开启

查看我的门票

已截止
活动简介

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.

征稿信息

重要日期

2016-10-21
初稿截稿日期
2016-12-22
初稿录用日期
2017-01-20
终稿截稿日期

征稿范围

  • 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

  • 10月21日 2016

    初稿截稿日期

  • 12月22日 2016

    初稿录用通知日期

  • 01月20日 2017

    终稿截稿日期

  • 04月29日 2017

    注册截止日期

联系方式
历届会议
移动端
在手机上打开
小程序
打开微信小程序
客服
扫码或点此咨询