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

TASE 2021 : The 15th International Symposium on Theoretical Aspects of Software Engineering
Shanghai
Aug 25, 2021
VWLD 2021 : Vienna World Logic Day Lecture
Online
Jan 14, 2021
FormaliSE 2021 : International Conference on Formal Methods in Software Engineering
Madrid, Spain
May 23, 2021
F-IDE 2021 : 6th Workshop on Formal Integrated Development Environment
Online
May 24, 2021
ABZ 2021 : 8th International Conference on Rigorous State Based Methods
Ulm
Jun 07, 2021

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

IJFCST 2021 : International Journal in Foundations of Computer Science & Technology

PLDI 2021 : Programming Language Design and Implementation
Virtual
Jun 20, 2021
AFDP 2021 : Agile and Functional Data Pipelines
Warsaw
Mar 23, 2021
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

OTHER VERIFICATION EVENTS

ATVA 2021 : The 19th International Symposium on Automated Technology for Verification and Analysis
Gold Coast, Australia
Oct 18, 2021
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