Conference Information
ETAPS 2023: European Joint Conferences on Theory and Practice of Software
https://etaps.org/2023/
Submission Date:
2022-10-13
Notification Date:
2022-12-22
Conference Date:
2023-04-22
Location:
Paris, France
CCF: b   Viewed: 20615   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.
 
INVITED SPEAKERS

• 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 Networks2021-07-102021-07-302021-08-19
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
Recommendation