resurchify Conferences Journals Workshops Seminars
      
SYMPOSIUMS MEETINGS CONFERENCE RANKING JOURNAL RANKING IMPACT FACTOR BLOGS



ESOP 2021 : 30th European Symposium on Programming

Luxembourg
Event Date: Mar 27, 2021 - Apr 01, 2021
Submission Deadline: Oct 15, 2020
Notification of Acceptance: Dec 23, 2020
Camera Ready Version Due : Jan 22, 2021

About

ESOP is an annual conference devoted to fundamental issues in the specification, design, analysis, and implementation of programming languages and systems. 

Call For Paper

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.

Hotel Deals

Booking.com

Check Other Conferences, Workshops, and Seminars

OTHER FORMAL METHODS EVENTS

ABZ 2021 : 8th International Conference on Rigorous State Based Methods
Ulm
Jun 07, 2021
FMAS 2020 : Second Workshop on Formal Methods for Autonomous Systems
Online
Dec 07, 2020
FSEN 2021 : 9th IPM International Conference on Fundamentals of Software Engineering
Tehran, Iran
May 19, 2021
ICAASE 2020 : The 4th International Conference on Advanced Aspects of Software Engineering
Constantine, Algeria
Nov 28, 2020
SBMF 2020 : 23rd Brazilian Symposium on Formal Methods
Ouro Preto / Brazil
Nov 25, 2020

OTHER PARALLEL COMPUTING EVENTS

PaCOS 2020 : The 4th International Workshop on the Synergy between Parallel Computing, Optimization and Simulation
Online
Dec 10, 2020
H2RC 2020 : Sixth International Workshop on Heterogeneous High-performance Reconfigurable Computing
Atlanta, Georgia, USA
Nov 15, 2020
PDAA 2020 : The 12th International Workshop on Parallel and Distributed Algorithms and Applications
Okinawa, Japan
Nov 24, 2020
ROSS 2020 : International Workshop on Runtime and Operating Systems for Supercomputers
Atlanta, Georgia, USA
Nov 16, 2020
Euro-Par 2020 : Call for Workshop Papers
Warsaw, Poland
Aug 24, 2020

OTHER PROGRAMMING EVENTS

IPDPS 2021 : 35th IEEE International Parallel & Distributed Processing Symposium
Portland, Oregon
May 17, 2020
ISSTA 2021 : International Symposium on Software Testing and Analysis
Aarhaus, Denmark
Jul 12, 2021
INTERACT 2021 : IFIP Conference on Human-Computer Interaction
Bari, Italy
Aug 30, 2021
CISS 2021 : Conference on Information Sciences and Systems
Baltimore, United States
Mar 22, 2021
ASPLOS 2021 : International Conference on Architectural Support for Programming Languages and Operating Systems
Detroit, United States
Apr 01, 2021

OTHER VERIFICATION EVENTS

FMAS 2020 : Second Workshop on Formal Methods for Autonomous Systems
Online
Dec 07, 2020
Indocrypt 2020 : 21st International Conference on Cryptology in India
Bengaluru, India
Dec 13, 2020
CPP 2021 : Certified Programs and Proofs
Copenhagen, Denmark
Jan 18, 2021
SAS 2020 : Static Analysis Symposium
Chicago, Illinois, United States
Nov 18, 2020
ICFEM 2020 : The 22nd International Conference on Formal Engineering Methods
Singapore
Nov 02, 2020