February 2022 Archives by thread

• Messages sorted by: [ subject ] [ author ] [ date ]
• More info on this list...

Starting: Tue Feb 1 18:37:44 CET 2022
Ending: Mon Feb 28 17:06:03 CET 2022
Messages: 40

• [ecoop-info] Three tenure-track research professorships in computer security in Gatineau, Quebec, Canada   Luigi Logrippo
• [ecoop-info] [Vardi-list] Webinar & Call for Model-Checking Community Feedback   Moshe Y Vardi
• [ecoop-info] Two PhD positions with the Blockchain Lab at UiO   Roman Vitenberg
• [ecoop-info] First CFP 24th International Symposium on Stabilization, Safety, and Security of Distributed Systems (SSS 2022)   Bein, Doina
• [ecoop-info] 2 Ph.D positions on formal methods available at the University of Oslo   Martin Steffen
• [ecoop-info] SWEBOK V4 Public Review 1st batch: Requirements, Testing, SCM, Management, Professional, Economics   Hironori Washizaki
• [ecoop-info] Ada Developer Room at FOSDEM 2022 - Sun 6 Feb - online   Dirk Craeynest
• [ecoop-info] [EXTENDED!] 6th International Workshop on Trusted Smart Contracts   Andrea Bracciali
• [ecoop-info] First Call for Papers: 15th ACM SIGPLAN International Conference on Software Language Engineering (SLE 2022)   Andrei Chis
• [ecoop-info] FedCSIS 2022 Call For Papers   FedCSIS
• [ecoop-info] Informatics Higher Education Data Portal: New Annual Statistics Added   Informatics Europe Office - Kit Wan Chui
• [ecoop-info] CIbSE 2022: Deadline Extension   Ignacio Panach Navarrete
• [ecoop-info] PhD Symposium at ESOCC 2022 - Call for papers   Stefano Forti
• [ecoop-info] [CfP] ICLP 2022 - Call for Recently Published Research Papers   Víctor Pérez
• [ecoop-info] ASPOCP 2022: 15th Workshop on Answer Set Programming and Other Computing Paradigms   Víctor Pérez
• [ecoop-info] EELP 2022: The Third Workshop on Epistemic Extensions of Logic Programming   Víctor Pérez
• [ecoop-info] CfP SPLC 2022 - 26th ACM International Systems and Software Product Line Conference   Ivan Machado
• [ecoop-info] CFP: SPIN 2022 - 28th International Symposium on Model Checking of Software   Owolabi Legunsen
• [ecoop-info] PROPSER2022 at EASE CALL FOR PAPERS   Francesca Lonetti
• [ecoop-info] ETAPS 2022 call for participation   Jan Kofron
• [ecoop-info] Call for Papers - SEFM'22   Holger Schlingloff
• [ecoop-info] PhD position on efficient and provably correct execution environments   Tobias Wrigstad
• [ecoop-info] DisCoTec 2022 call for tutorials [deadline feb 28]   Giorgio Audrito
• [ecoop-info] ISEC 2022: Final Call for Participation (24-26 Feb 2022) at DA-IICT Gandhinagar [Virtual Mode]   isec2022 .isoft
• [ecoop-info] CIbSE 2022: Virtual Mode & Deadline Extension   Ignacio Panach Navarrete
• [ecoop-info] Informatics Europe Distinguished Speakers Webinar (Feb 23): Programming Distributed Decentralized Applications   Informatics Europe Office - Kit Wan Chui
• [ecoop-info] Lecturer / Senior Lecturer in Software Engineering   David Pearce
• [ecoop-info] FME Teaching tutorial on Friday, February 25, at 3 pm CET --> Prof Shriram Krishnamurthi, Brown University, US   Luigia Petre
• [ecoop-info] ETAPS Mentoring Workshop 2022 - Call for Participation   Caterina Urban
• [ecoop-info] VerifyThis 2022 --- Call for Participation   Lammich, Peter (UT-EEMCS)
• [ecoop-info] 11th Ada Developer Room at FOSDEM 2022 - videos online   Dirk Craeynest
• [ecoop-info] Two PhD positions with the Blockchain Lab at UiO   Roman Vitenberg
• [ecoop-info] Call for Papers: PACMPL issue ICFP 2022   ICFP Publicity
• [ecoop-info] ICGT 2022: Second Call for Papers   Daniel Strüber
• [ecoop-info] [Deadline March 15th] Two Tenure-Track Computer Science Positions at UQAM, Montréal, Canada   Mili, Hafedh
• [ecoop-info] Associate Professor Position in Software Engineering at Uppsala University   Tobias Wrigstad
• [ecoop-info] DisCoTec 2022 Call for Workshop Papers [deadline 7 apr+]   Giorgio Audrito
• [ecoop-info] ECSA 2022 Call for Papers   Rafael Capilla Sevilla
• [ecoop-info] ICSR 2022 - CFP Industry and Tool-Demo Track   Marianne Huchard
• [ecoop-info] Second CfP: FMICS 2022: Formal Methods for Industrial Critical Systems   Huisman, Marieke (UT-EEMCS)

Last message date: Mon Feb 28 17:06:03 CET 2022
Archived on: Wed Mar 2 03:17:05 CET 2022

• Messages sorted by: [ subject ] [ author ] [ date ]
• More info on this list...