Conference Information
ETAPS 2023: European Joint Conferences on Theory and Practice of Software
Submission Date:
Notification Date:
Conference Date:
Paris, France
CCF: b   Viewed: 21915   Tracked: 30   Attend: 0

Call For Papers
Why choose ETAPS?

• ETAPS is one of the world’s leading for a for research on software science, with a history of more than 25 years.
• The proceedings of ETAPS appear in gold open access, with no article processing charge for the authors specifically.
• ETAPS has low participation fees for all and students in particular.

What is new in 2023?

• ESOP, FASE, and newly also FoSSaCS welcome voluntary submissions of artefacts for evaluation after paper acceptance; the outcome will not change the paper acceptance decision.
• Presentations of the test-of-time-award and the doctoral- dissertation-award winners will take place.
• A plenary session for TOOLympics will be organised.

MAIN CONFERENCES (24-27 April 2023)

• ESOP: European Symposium on Programming (PC chair: Thomas Wies, New York University)

• FASE: Fundamental Approaches to Software Engineering (PC chairs: Leen Lambers, BTU Cottbus-Senftenberg, and Sebastián Uchitel, University of Buenos Aires)

• FoSSaCS: Foundations of Software Science and Computation Structures (PC chairs: Pawel Sobocinski, Tallinn University of Technology, and Orna Kupferman, Hebrew University of Jerusalem)

• TACAS: Tools and Algorithms for the Construction and Analysis of Systems (PC chairs: Sriram Sankaranarayanan, University of Colorado, Boulder, CO, and Natasha Sharygina, University of Lugano)

ETAPS’23 will also host another edition of TOOLympics, organised by Dirk Beyer, Fabrice Kordon, and Arnd Hartmanns.

• Unifying speakers: Thomas A. Henzinger (IST, Austria) Véronique Cortier (Loria, France)
• ESOP: Mooly Shagiv (Tel Aviv University, Israel)
• FASE: Sven Apel (Saarland University, Germany)
• Tutorial speakers: TBA
Last updated by Dou Sun in 2022-08-21
Related Conferences
CCFCOREQUALISShortFull NameSubmissionNotificationConference
b4DEPENDInternational Conference on Dependability 2013-05-172013-08-25
ab1APPROXInternational Workshop on Approximation Algorithms for Combinatorial Optimization Problems2017-04-212017-06-022017-08-16
EAISEvolving and Adaptive Intelligent Systems2022-02-072022-03-072022-05-25
I2MTCInternational Instrumentation and Measurement Technology Conference2014-09-292014-12-052015-05-11
ICVIPInternational Conference on Video and Image Processing2019-11-052019-11-202019-12-20
INAITInternational Conference on Industry 4.0 and Artificial Intelligence Technologies2018-10-05 2019-08-19
ICSAIInternational Conference on Systems and Informatics2021-07-312021-09-152021-11-13
aaa2EuroSysEuropean Conference on Computer Systems2022-10-12 2023-05-09
ICICN'International Conference on Information, Communication and Networks2023-06-102023-06-302023-08-17
SITISInternational Conference on Signal Image Technology & Internet Based Systems2017-09-232017-10-212017-12-04
Related Journals
CCFFull NameImpact FactorPublisherISSN
bEuropean Journal of Information Systems2.892The OR Society0960-085X
bACM Transactions on Mathematical SoftwareACM0098-3500
Simulation Modelling Practice and Theory3.272Elsevier1569-190X
Environmental Modelling & Software5.288Elsevier1364-8152
Journal of Statistical SoftwareUniversity of California Press1548-7660
bComputational Complexity0.487Springer1016-3328
European Journal of Operational Research4.213Elsevier0377-2217
Advances in Engineering Software4.141Elsevier0965-9978
Programming and Computer Software0.105Springer0361-7688
Control Engineering Practice3.475Elsevier0967-0661