 |
||
| When: Aug 25, 2025 - Aug 25, 2025 Submission Deadline: Jun 3, 2025 | ||
| ********************************** • 2nd Call for Papers Express/SOS 2025 • * Venue: Aarhus, Denmark, August 25, 2025 • * Submission deadline: June 3, 2025 (full and short papers) ... | ||
| CONCURRENCY EXPRESSIVENESS SEMANTICS | ||
|
|
||
| When: Oct 12, 2025 - Oct 12, 2025 Submission Deadline: Jun 6, 2025 | ||
| The Erlang Workshop aims to bring together the open source, academic, • and industrial communities of Erlang-like languages (e.g., Elixir, Gleam, Erlang, Akka, Clojure), • including the c... | ||
| CONCURRENCY ERLANG ELIXIR DISTRIBUTED | ||
 CONCUR 2024 : International Conference on Concurrency TheoryCalgary, Canada |
||
| When: Sep 9, 2024 - Sep 13, 2024 Submission Deadline: Apr 26, 2024 | ||
| ============================ • CONCUR 2024: Call for Papers • ============================ • September 9-13, 2024 • Calgary, Canada • https://confest2024.github.io/CONCU... | ||
| CONCURRENCY THEORY LOGIC | ||
 |
||
| When: Jun 24, 2024 - Jun 28, 2024 Submission Deadline: Jan 22, 2024 | ||
| +++++++++++++++++++++++++++++++++++ • # Call for papers: Petri Nets 2024 • =================================== • PETRI NETS 2024 • 45th International Conference on Application... | ||
| PETRI NETS FORMAL METHODS CONCURRENCY DISTRIBUTED SYSTEMS | ||
 |
||
| When: Sep 12, 2022 - Sep 12, 2022 Submission Deadline: Jul 1, 2022 | ||
| The aim of Young Researchers CONCUR is to provide a platform for PhD students and other young researchers to exchange new results related to concurrency theory and to receive feedback on their resear... | ||
| COMPUTER SCIENCE CONCURRENCY THEORY CONCURRENCY | ||
 |
||
| When: Jun 13, 2022 - Jun 17, 2022 Submission Deadline: Apr 29, 2022 | ||
| Interaction and Concurrency Experience (ICE) is a series of • international scientific meetings oriented to theoretical computer • science researchers with special interest in models, ver... | ||
| FORMAL METHODS LOGIC VERIFICATION | ||
|
|
||
| When: Sep 12, 2022 - Sep 12, 2022 Submission Deadline: Jun 1, 2022 | ||
| • Scope and Topics • The EXPRESS/SOS workshop series aims at bringing together researchers interested in the formal semantics of systems and programming concepts, and in the expressiveness... | ||
| FORMAL METHODS PROGRAMMING LANGUAGES LOGIC SOFTWARE | ||
|
|
||
| When: Apr 3, 2022 - Apr 3, 2022 Submission Deadline: Feb 4, 2022 | ||
| The increasingly concurrent and parallel landscape of hardware and software infrastructures demands the exploration and understanding of a wide variety of foundational and practical ideas. The Intern... | ||
| PROGRAMMING LANGUAGES DISTRIBUTION AND CONCURRENCY TYPE SYSTEMS VERIFICATION | ||
CONCUR 2022 : International Conference on Concurrency TheoryWarsaw, Poland |
||
| When: Sep 12, 2022 - Sep 17, 2022 Submission Deadline: Apr 25, 2022 | ||
| CONCUR 2022, the 33rd International Conference on Concurrency Theory, is organised on September 13-16, 2022 by the University of Warsaw, Poland. The purpose of the conference is to bring together res... | ||
| CONCURRENCY THEORY LOGIC | ||
ICE 2020 : 13th Interaction and Concurrency ExperienceUniversity of Malta, Valletta |
||
| When: Jun 19, 2020 - Jun 20, 2020 Submission Deadline: Apr 22, 2020 | ||
| Interaction and Concurrency Experiences (ICE) is a series of international scientific meetings oriented to theoretical computer science researchers with special interest in models, verification, tools... | ||
| COMPUTER SCIENCE CONCURRENCY FORMAL METHODS PROGRAMMING LANGUAGES | ||
|
|
||
| When: Aug 31, 2020 - Aug 31, 2020 Submission Deadline: Jun 26, 2020 | ||
| The EXPRESS workshops aim at bringing together researchers interested in the expressiveness of various formal systems and semantic notions, particularly in the field of concurrency. Their focus has tr... | ||
| FORMAL METHODS SEMANTICS THEORETICAL COMPUTER SCIENCE LOGIC | ||
YR-CONCUR 2019 : Second CfP: 9th International Young Researchers Workshop on Concurrency TheoryAmsterdam, The Netherlands |
||
| When: Aug 31, 2019 - Aug 31, 2019 Submission Deadline: Jun 21, 2019 | ||
| [Apologies for multiple postings] • ========================================================= • Second CALL for ABSTRACTS for YR-CONCUR 2019 • 9th International Young Researchers Wor... | ||
YR-CONCUR 2019 : 9th International Young Researchers Workshop on Concurrency TheoryAmsterdam, The Netherlands |
||
| When: Aug 31, 2019 - Aug 31, 2019 Submission Deadline: Jun 21, 2019 | ||
| ... | ||
ICE 2019 : Interaction and Concurrency ExperienceLyngby, Denmark |
||
| When: Jun 20, 2019 - Jun 21, 2019 Submission Deadline: Apr 29, 2019 | ||
| ICE 2019 • 12th Interaction and Concurrency Experience • June 20-21, 2019, Lyngby, Denmark • Satellite workshop of DisCoTec 2019 • Paper submission: https://easychair.org/confe... | ||
| COMPUTER SCIENCE CONCURRENCY FORMAL METHODS PROGRAMMING LANGUAGES | ||
 |
||
| Submission Deadline: Jun 15, 2019 | ||
| Call for Papers • “FPDAPP, Future Perspectives on Decentralized Applications” • Special Issue of Concurrency and Computation: Practice and Experience • (https://onlinelibrary.wil... | ||
| BLOCKCHAIN DECENTRALIZATION SMART CONTRACT | ||
EDBT/ICDT Workshops 2019 : EDBT/ICDT'19 - Call for Workshop PapersLisbon, Portugal |
||
| When: Mar 26, 2019 - Mar 29, 2019 Submission Deadline: TBD | ||
| • Apologies in case of cross-posting • ------------------------------------------------------------------------------------------- • *************************************************... | ||
| DATABASE SYSTEMS BIG DATA THEORY OF COMPUTING CONCURRENCY CONTROL | ||
Find and Compare Upcoming Concurrency Events. Check Important Dates, Venue, Speaker, Location, Address, Exhibitor Information, Timing, Schedule, Discussion Topics, Agenda, Visitors Profile, and Other Important Details.
