Messages by Thread
-
(PN) [qest-announce] CONFEST 2024 - Call for Participation + Registration
Patrick Totzke via Petrinet
-
(PN) [qest-announce] 2025 ACM SIGMETRICS: Call for Papers (Summer Deadline)
Céline Comte via Petrinet
-
(PN) [qest-announce] 10 PhD positions on Self-Explaining Digitally Controlled Systems at TU Hamburg, University of Oldenburg, and University of Bremen, DE
Prof . Dr . Martin Georg Fränzle via Petrinet
-
(PN) [qest-announce] 3 PhD and 1 Postdoc Positions at Saarland University, Saarbrücken
Verena Wolf via Petrinet
-
(PN) [qest-announce] FSTTCS 2024 - Call for papers
Shibashis Guha via Petrinet
-
(PN) [qest-announce] 2024 ACM SIGMETRICS / IFIP Performance: Call for Participation (Early Registration Deadline: May 15)
Marco Paolieri via Petrinet
-
(PN) [qest-announce] [CfP] VECoS'2024 - call for paper - EXTENDED DEADLINE - October 16-18, 2024 - Djerba, Tunisia
Belgacem BEN HEDIA via Petrinet
-
(PN) [qest-announce] Final Call for Short Papers: April 26th Deadline: MAMA 2024 Workshop (Twenty Sixth Workshop on MAthematical performance Modeling and Analysis)
Mark S Squillante via Petrinet
-
(PN) [qest-announce] CMSB 2024 - Pisa - Extended deadlines
Paolo Milazzo via Petrinet
-
(PN) [qest-announce] Faculty position in Formal Methods - Technical University of Denmark
'Alberto Lluch Lafuente' via qest-announce via Petrinet
-
(PN) [qest-announce] 2024 ACM SIGMETRICS / IFIP Performance: Call for Participation
Marco Paolieri
-
(PN) [qest-announce] ICPE 2024 - Call for Participation (Regular Registration until April 12, 2024)
Marco Paolieri
-
(PN) [qest-announce] [NETGCOOP 2024] The 11th International Conference on Network Games, Control and Optimization - Lille, France, October 9-11, 2024
Alexandre REIFFERS-MASSON
-
(PN) [qest-announce] Call for Short Papers: April 26th Submission Deadline: MAMA 2024 Workshop (Twenty Sixth Workshop on MAthematical performance Modeling and Analysis)
Mark S Squillante
-
(PN) [qest-announce] ASMTA 2024 CFP - Submission Deadline Extended to April 16
Marco Paolieri
-
(PN) [qest-announce] CFP - TOMPECS Special Issue on Performance Evaluation of Federated Learning Systems
Marco Paolieri
-
(PN) [qest-announce] 3rd Workshop on Hyperproperties - Call for Presentations
Hazem Torfah
-
(PN) [qest-announce] QEST+FORMATS: Final Call for Papers
Patrick Totzke
-
(PN) [qest-announce] MOVEP'24 (Rennes, France; 27-31 May) -- call for student presentations and participation
Nicolas Markey
-
(PN) [qest-announce] Assistant/Associate Professor in Computer Science at Telecom SudParis - Data Intelligence and Knowledge
Mohamed SELLAMI
-
(PN) [qest-announce] EPEW 2024 Call for Presentations
Remke, Anne
-
(PN) [qest-announce] MARS 2024 - 2nd Call for Papers - Luxembourg City (Luxembourg) - April 6th, 2024
Frédéric Lang
-
(PN) [qest-announce] Postdoc in IRIF (Paris): cyber-physical + verification +AI
Eugene Asarin
-
(PN) [qest-announce] PhD and postdoc positions on neuroexplicit models
Verena Wolf
-
(PN) [qest-announce] Opening a Professorship (m/f/x) in Explainable and Safe AI at Oldenburg University, Germany
Prof . Dr . Martin Georg Fränzle
-
(PN) [qest-announce] Postdoctoral opportunities in verification/synthesis for AI at Oxford
Marta Kwiatkowska
-
(PN) [qest-announce] Computer Science Faculty positions at Oxford
Marta Kwiatkowska
-
(PN) [qest-announce] 2024 ACM SIGMETRICS / IFIP Performance: Call for Papers (Fall Deadline)
Marco Paolieri
-
(PN) [qest-announce] Postdoc position in automata and concurrency theory at the University of Warsaw
Sławomir Lasota
-
(PN) [qest-announce] CONCUR 2023 - Third call for papers
Guillermo Alberto Perez
-
(PN) [qest-announce] First Call for Papers - 34th International Conference on Concurrency Theory,
Guillermo Alberto Perez
-
(PN) [qest-announce] CFP CTW2023
Markus Siegle
-
(PN) [qest-announce] [CfP] VECoS'2023 - call for paper - October 18-20, 2023 - Marrakech, Morocco
Belgacem BEN HEDIA
-
(PN) [qest-announce] Open Position - Research Associate or Assistant at FU Berlin
Katinka Wolter
-
(PN) [qest-announce] ACM SIGMETRICS 2023: Call for Papers (Fall Deadline)
Lishan Yang
-
(PN) [qest-announce] ACM SIGMETRICS 2023: Call for Workshops
Lishan Yang
-
(PN) [qest-announce] Open Position - Research Associate or Assistant - Cluster of Excellence CeTI (Dresden, Germany)
Clemens Dubslaff
-
(PN) [qest-announce] [Deadline Extension] Call for Papers: NSV 2022
Laura Nenzi
-
(PN) [qest-announce] CFP: EPEW 2022
Nigel Thomas
-
(PN) [qest-announce] FORMATS 2022: call for papers with deadline extension
Gethin Norman
-
(PN) [qest-announce] First International Workshop on Security and Safety Interactions: SENSEI
Carlos Esteban Budde
-
(PN) [qest-announce] MASCOTS 2022 - First call for papers
Maria Carla Calzarossa
-
(PN) [qest-announce] PhD-postdoc positions at UniPi
Giovanni Stea
-
(PN) [qest-announce] Assistant Professor of Software Technology (tenure track) at Radboud University
Nils Jansen
-
(PN) [qest-announce] CONCUR 2022: the first call for papers
Lorenzo Clemente
-
(PN) [qest-announce] FORMATS 2022: first call for papers
Gethin Norman
-
(PN) [qest-announce] CONFEST 2022 -- Call for Workshop Proposals
Lorenzo Clemente
-
(PN) [qest-announce] MARS@ETAPS'22: Call for Papers
Clemens Dubslaff
-
(PN) [qest-announce] SEFM 2021 Call for Participation (participation is FREE)
Nenzi, Laura
-
(PN) [qest-announce] Job: Associate Professorship at Oxford CS
Alessandro Abate
-
(PN) [qest-announce] Full Professorship for Formal Methods at JKU Linz
Martina Seidl
-
(PN) [qest-announce] Marie Skłodowska-Curie COFUND doctoral training programme - LogiCS@TUWien
Ezio Bartocci
-
(PN) [qest-announce] Positions for PhD students at TU Dortmund
Peter Buchholz
-
(PN) [qest-announce] [Deadline Extension] Call for Papers: SEFM 2021
Nenzi, Laura
-
(PN) [qest-announce] CSL 2022: Last call for papers
Manea, Florin