www2.informatik.uni-hamburg.de/tgi/PetriNets Imprint/Disclaimer
|
|
Contents of the Petri Nets World
| ![]() |
Recent News in the Petri Nets World
January 23, 2021: FMICS 2021 Call for Papers
January 23, 2021: Special Issue of International Journal of Parallel, Emergent and Distributed Systems: Petri/Sleptsov Net Based Technology of Programming for Parallel, Emergent and Distributed Systems
January 20, 2021: CFP: International Workshop on Petri Nets and Software Engineering , PNSE’21, Paris, France, June, 2021
January 19, 2021: Assistant Professor in Formal Methods @ DTU Compute
January 19, 2021: Two open Ph.D. positions in Probabilistic Verification Methodologies for Synthetic Biology and Nanotechnology
January 18, 2021: [Vardi-list] Postdoc Position - Analysis Techniques for DNNs
January 18, 2021: Petri Nets 2021: deadline extension
January 18, 2021: MODEL CHECKING CONTEST 2021 - (2/2) - CALL FOR TOOLS
January 16, 2021: Call for Graduate Symposium: Diagrams 2021
January 15, 2021: CfP ATAED 2021
January 14, 2021: MODEL CHECKING CONTEST 2021 - (1/2) - CALL FOR MODELS
January 12, 2021: World-Logic-Day Lecture: Diego Calvanese
January 11, 2021: RAMiCS 2021 - CFP
January 9, 2021: 2021 Alonzo Church Award - Call for Nominations
January 8, 2021: Call for tutorials: Diagrams 2021
January 4, 2021: CFP: Diagrams 2021
December 24, 2020: QEST 2021: Call for Papers
December 15, 2020: [CfP] Petri Nets 2021 in Paris + special track on ACSD (ICATPN 2021, June 20-25, 2021), 2nd call for papers
December 10, 2020: Invitation to celebrate the World Logic Day digitally - 14 January 2021 - Ambassadors of Logic and public Vienna Logic Day Lecture
December 9, 2020: [MEDI 2021] Call for Workshops
December 1, 2020: RWTH Junior Principal Investigator Fellowships
November 9, 2020: LPOP 2020 Call for Participation
November 6, 2020: Call for Papers - SPIN 2021
November 3, 2020: [CfP] Petri Nets 2021 in Paris + special track on ACSD (ICATPN 2021, June 20-25, 2021)
October 28, 2020: Call for Papers - 2021 IEEE International Conference on Software Architecture (ICSA 2021)
October 22, 2020: Call for Papers: FORMALISE 2021
October 10, 2020: Open Ph.D. position in Probabilistic Verification Methodology for Synthetic Biology and Nanotechnology
October 6, 2020: Open positions in Software Engineering at Innopolis University
October 4, 2020: ETAPS 2021 final joint call for papers
October 1, 2020: 2-year engineer position at LORIA, Inria & CNRS, Nancy, France
September 28, 2020: Several Ph.D. positions in Algorithms, Verification and Logic for Uncertainty and Randomness
September 16, 2020: PhD Position on Machine Learning for Process Mining (ML4ProM) at RWTH Aachen University
September 8, 2020: PhD/Post-Doc positions at the University of Duisburg-Essen
September 5, 2020: CFP: Elsevier BioSystems - Petri Nets for Cellular Process Modelling -
August 28, 2020: Formal Methods 2021 -- 2nd Call for Papers
|
|
www2.informatik.uni-hamburg.de/tgi/PetriNets Imprint/Disclaimer
|