Conference Information
ESOP 2020: European Symposium on Programming
http://www.etaps.org/2020/esop
Submission Date:
2019-10-24
Notification Date:
2019-12-23
Conference Date:
2020-04-25
Location:
Dublin, Ireland
Years:
29
CORE: a   QUALIS: a2   Viewed: 8870   Tracked: 2   Attend: 0

Conference Location
Advertisment
Call For Papers
ESOP is an annual conference devoted to fundamental issues in the specification, design, analysis, and implementation of programming languages and systems. ESOP seeks contributions on all aspects of programming language research including, but not limited to, the following areas:

Programming paradigms and styles: functional programming, object-oriented programming, logic programming, constraint programming, extensible programming languages, domain-specific languages, synchronous and real-time programming languages;
Methods and tools to write and specify programs and languages: programming techniques, logical foundations, formal semantics, meta-programming, language-based security;

Methods and tools for reasoning about programs: type systems, static and dynamic program analysis, program verification, testing;
Methods and tools for implementation: program transformations, rewriting systems, partial evaluation, experimental evaluations, virtual machines, intermediate languages, run-time environments;

Concurrency and distribution: process algebras, concurrency theory, parallel programming, service-oriented computing, distributed and mobile computing.

Contributions bridging the gap between theory and practice are particularly welcome.
Last updated by Dou Sun in 2019-06-27
Acceptance Ratio
YearSubmittedAcceptedAccepted(%)
20071363425%
2006872124.1%
20051142824.6%
20041182722.9%
2003992525.3%
2002732128.8%
2001762634.2%
2000842732.1%
1999441840.9%
1998591728.8%
Related Conferences
CCFCOREQUALISShortFull NameSubmissionNotificationConference
b3GECONInternational Conference on Economics of Grids, Clouds, Software and Services2019-05-302019-07-012019-09-17
baa1ECOOPEuropean Conference on Object-Oriented Programming2018-01-122018-04-112018-07-16
b4MFPSInternational Conference on the Mathematical Foundations of Programming Semantics2015-04-032015-05-152015-06-22
SEiA'Symposium on Software Engineering in Africa2019-02-012019-03-012019-05-28
b4ISTInternational Conference on Imaging Systems and Techniques2018-07-312018-08-152018-10-16
WCETInternational Workshop on Worst-Case Execution Time 2012-05-202012-07-10
aa*a2ESECEuropean Software Engineering Conference2017-02-272017-06-022017-09-04
ICAFMInternational Conference on Advanced Functional Materials2019-06-152019-06-252019-08-02
ICCMA'International Conference on Control, Mechatronics and Automation2019-07-102019-08-102019-11-06
ba*a2ICFPACM SIGPLAN International Conference on Functional Programming2018-03-162018-05-182018-09-23
Related Journals
CCFFull NameImpact FactorPublisherISSN
Modelling and Simulation in EngineeringHindawi1687-5591
Journal of Signal Processing Systems0.551Springer1939-8018
Magnetic Resonance Imaging2.564ELSEVIER0730-725X
bScience of Computer Programming0.740ELSEVIER0167-6423
cThe Journal of Supercomputing0.858Springer0920-8542
cJournal of Web EngineeringRinton Press1540-9589
European Research in Telemedicine ELSEVIER2212-764X
The International Journal of Advanced Manufacturing Technology1.827Springer0268-3768
bEuropean Journal of Information Systems2.892The OR Society0960-085X
Mathematical Programming2.090Springer0025-5610
Recommendation