List of conferences


MPLR 2022: Call for Papers, Posters & Demos, Deadline Extension
by smarr, May 16, 2022

Paper Submission Deadline Extended to May 27th, 2022.

The 19th International Conference on Managed Programming Languages &
Runtimes (MPLR, formerly ManLang) is a premier forum for presenting and
discussing novel results in all aspects of managed programming languages
and runtime systems, which serve as building blocks for some of the most
important computing systems in use, ranging from small-scale (embedded and
real-time systems) to large-scale (cloud-computing and big-data platforms)
and anything in between (desktop, mobile, IoT, and wearable applications).

WPTE 2022 final CFP (deadline: 31 May, publication JLAMP)
by Stefan Ciobaca, May 15, 2022

WPTE 2022 (affiliated to FSCD 2022, part of FLoC 2022, Haifa, Israel)

9th International Workshop on Rewriting Techniques for Program
Transformations and Evaluation (July 31st, 2022)

Web: https://wpte2022.github.io/
Submit: https://easychair.org/conferences/?conf=wpte2022
Deadline: 31 May 2022 (AOE, extended, firm)
Publication: post-proceedings as special issue in the Journal of Logical and Algebraic Methods in Programming

Petri Nets 2022 - Call for Tool Demonstrations and Participation
by Lars Michael Kristensen, May 12, 2022

================================================================================
# Call for tool demonstrations and participation
# Petri Nets 2022 in Bergen + track on ACSD (ICATPN 2022, June 19-24, 2022)
================================================================================

PETRI NETS 2022

The 43rd International Conference on Application and Theory of Petri Nets and Concurrency with special track on Application of Concurrency to System Design (ACSD), affiliated workshops, advanced tutorials, the Petri net PhD course and tool exhibition will take place in Bergen, Norway on 19 June - 24 June.

https://petrinets2022.github.io

second CFP: 6th Working Formal Methods Symposium
by Vlad Rusu, May 12, 2022

FROM 2022 - Working Formal Methods Symposium
Iasi, Romania, 19-20 September 2022
https://project.inria.fr/from22/
in conjunction with WOLLIC 2022
https://wollic2022.github.io

FACS 2022 - 18th International Conference on Formal Aspects of Component Software (CfP)
by Jose Proenca, May 3, 2022

FACS 2022 is concerned with how formal methods can be applied to component-based software and system development. Formal methods have provided foundations for component-based software through research on mathematical models for components, composition and adaptation, and rigorous approaches to verification, deployment, testing, and certification.

This edition will be help online in November 2022, hosted by Oslo University, and already counts with a great line up of invited speakers and a strong program committee.

Check our website: https://facs-conference.github.io/2022.

SAS 2022 - Last Call for Papers - Submissions by May 4th, 2022 (paper updates until May 11th, 2022)
by Caterina Urban, April 28, 2022

Are you running late in preparing your paper? No worries! Submit what you have by May 4th and you will have one extra week until May 11th for updating your paper.

Call for participation: Petri Nets 2022 - Bergen, Norway
by Lars Michael Kristensen, April 25, 2022

PETRI NETS 2022

The 43rd International Conference on Application and Theory of Petri Nets and Concurrency with special track on Application of Concurrency to System Design (ACSD), affiliated workshops, advanced tutorials, the Petri net PhD course and tool exhibition will take place in Bergen, Norway on 19 June - 24 June.

https://petrinets2022.github.io

Registration is now open (deadline early registration, June 1)

https://petrinets2022.github.io/registration/

ETAPS 2023: Call for Satellite Events
by jankofron, April 22, 2022

ETAPS 2023 - 26th European Joint Conferences on Theory and Practice of Software, Sorbonne Université, Paris, France, April 22-27, 2023

Call for Satellite Events

« previous123...2324next »