(PN) 2nd call for papers: ICECCS 2023 (Toulouse, France)

  ICECCS 2023 - Call for Papers *** 27th International Conference on Engineering of Complex Computer Systems (ICECCS 2023)     12 - 16 June 2023, Toulouse, France

(PN) 2 PhD positions in Formal Analysis for Concurrent Workflows in HVL, Bergen, Norway

-- 2 PhD positions in Formal Analysis for Concurrent Workflows available at Dept. of Computer Science, Western Norway University of Applied Sciences, Bergen, Norway

(PN) 2023 Alonzo Church Award: Call for Nominations

CALL FOR NOMINATIONS The 2023 Alonzo Church Award for Outstanding Contributions to Logic and Computation INTRODUCTION An annual award, called the Alonzo Church Award for Outstanding Contributions to Logic and Computation, was established in 2015 by the ACM Special Interest Group for Logic and

(PN) Hiring for Professorial and Teaching Stream Roles - Lassonde School of Engineering - York University (Toronto, ON)

Electrical Engineering and Computer Science (EECS) positions (Applications due Nov 15): The Department of Electrical Engineering and Computer Science, York University invites highly qualified candidates to apply for the following Professorial and Teaching Stream positions: Computer, Electrical,

(PN) CFP: Special Issue on Dependable and Secure Infrastructures and Systems in Intelligent Environments — Journal of Reliable Intelligent Environments, Springer

Call for papers: Journal of Reliable Intelligent Environments, Springer. Special Issue on Dependable and Secure Infrastructures and Systems in Intelligent Environments. Scope == The SI is in the intersection of the dependability topics and the interest of the journal. The SI is focused on

(PN) CONFEST 2023 -- Call for Workshop Proposals

* CONFEST 2023 * -- Call for Workshop Proposals September 18 - September 23 2023, Antwerpen, Belgium (https://www.uantwerpen.be/en/conferences/confest-2023/

(PN) Postdoc at the Karlsruhe Institute of Technology - Germany (Research Group Systems, Data, Simulation & Energy)

Dear all, We are urgently seeking for a motivated candidate to fulfil our available postdoc position. Job Description A postdoctoral researcher position is available at the newly established research group Systems, Data, Simulation & Energy

(PN) STAF 2023 - Call for Workshop Proposals

STAF 2023 - Call for Workshop Proposals Software Technologies: Applications and Foundations (STAF) is a federation of leading conferences on software technologies. It was formed after the end of the successful TOOLS federated event in 2012, providing an umbrella organisation, with a steering

(PN) Postdoc position in automata and concurrency theory, at the University of Warsaw

We invite applications of motivated and research-focused individuals to carry out research on Petri nets and their extensions as part of the NCN project "Data-enriched models of computation". The project aims at advancing theoretical foundations at the borderline between automata theory,

(PN) [CFP] PETRI NETS 2023

*** A version of this call is available at: https://petrinets2023.deec.fct.unl.pt/index.php/call-for-papers/ *** *Call for Papers and Announcement Petri Nets 2023* *https://petrinets2023.github.io/

(PN) VerifyThis 2023: Call For Problems

> *** VerifyThis 2023: Call For Problems *** > > CFP Deadline: February 1st, 2023 > Website: http://verifythis.ethz.ch > > VerifyThis is an annual program verification competition held as part > of ETAPS. It is an opportunity for community members and tool authors > to showcase their work and