Conference Information
ESOP 2018 : European Symposium on Programming
http://www.etaps.org/index.php/2018/esop
Submission Date:
2017-10-13
Notification Date:
2017-12-22
Conference Date:
2018-04-14
Location:
Thessaloniki, Greece
Years:
27
CORE: a   QUALIS: a2   Viewed: 7185   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, aspect-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, denotational semantics, operational semantics, meta programming, module systems, language-based security;
    Methods and tools for reasoning about programs: type systems, abstract interpretation, 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 languages.

Contributions bridging the gap between theory and practice are particularly welcome.
Last updated by Xin Yao in 2017-08-21
Related Publications
Acceptance Ratio
YearSubmittedAcceptedAccepted(%)
20071363425%
2006872124.1%
20051142824.6%
20041182722.9%
2003992525.3%
2002732128.8%
2001762634.2%
2000842732.1%
1999441840.9%
1998591728.8%
Advertisment
Related Conferences
CCFCOREQUALISShortFull NameSubmissionNotificationConference
b3GECONInternational Conference on Economics of Grids, Clouds, Systems and Services2017-06-012017-07-012017-09-19
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
b4ISTInternational Conference on Imaging Systems and Techniques2015-06-232015-07-052015-09-16
WCETInternational Workshop on Worst-Case Execution Time 2012-05-202012-07-10
aba2ESECEuropean Software Engineering Conference2017-02-272017-06-022017-09-04
ba*a2ICFPACM SIGPLAN International Conference on Functional Programming2018-03-162018-05-182018-09-23
ba*a1UAIConference on Uncertainty in Artificial Intelligence2016-03-012016-05-062016-06-25
WCCSWorld Conference on Complex Systems2015-07-152015-08-152015-11-23
ICECCOInternational Conference on Electronics, Computers and Computation Bookmark and Share2015-06-302015-07-302015-09-27
Related Journals
CCFFull NameImpact FactorPublisherISSN
Mobile Information Systems1.462Hindawi1574-017X
Journal of Scientific Computing1.710Springer0885-7474
Materials Science and Engineering: C3.420ELSEVIER0928-4931
bScience of Computer Programming0.828ELSEVIER0167-6423
cThe Journal of Supercomputing0.858Springer0920-8542
Computer Standards & Interfaces1.268ELSEVIER0920-5489
Journal of Signal Processing Systems0.551Springer1939-8018
Information Systems Frontiers0.851Springer1387-3326
bEuropean Journal of Information Systems2.892The OR Society0960-085X
IEEE Transactions on VLSI Systems1.698IEEE1063-8210
Recommendation