[TYPES/announce] Assistant and Associate Professorship Positions in Computer Science at the University of Southern Denmark

, please contact Jacopo Mauro (ma...@imada.sdu.dk) -- Jacopo Mauro, Associate Professor Department of Mathematics and Computer Science (IMADA) University of Southern Denmark (SDU)

[TYPES/announce] SEFM 2020: Registration is open

-- Jacopo Mauro, Associate Professor Department of Mathematics and Computer Science (IMADA) University of Southern Denmark (SDU)

[TYPES/announce] SEFM - Deadline extension and move to virtual modality

(co-chair), CWI , Netherlands Ana Cavalcanti , University of York , United Kingdom Antonio Cerone (co-chair), Nazarbayev University , Kazakhstan Alessandro Cimatti , FBK , Italy Marieke Huisman , University of Twente , Netherlands Alexander Knapp , Universität Augsburg , Germany Jacopo Mauro

[TYPES/announce] CFP SEFM - International Conference on Software Engineering and Formal Methods

Frank de Boer (Co-chair), CWI, Netherlands Ana Cavalcanti, University of York, United Kingdom Antonio Cerone (Co-chair), Nazarbayev University, Kazakhstan Alessandro Cimatti, FBK, Italy Marieke Huisman, University of Twente, Netherlands Alexander Knapp, Universität Augsburg, Germany Jacopo Mauro

[TYPES/announce] CFP: SEFM - International Conference on Software Engineering and Formal Methods

subset of accepted papers will be invited to submit extended versions of their papers to a journal special issue. PROGRAM CO-CHAIRS Frank de Boer (CWI, The Netherlands) Antonio Cerone (Nazarbayev University, Kazakhstan) CONTACT: sefm2...@easychair.org -- Jacopo Mauro, Associate Professor

[TYPES/announce] SEFM 2020 - Preliminary Call For Papers

of a selected subset of accepted papers will be invited to submit extended versions of their papers to a journal special issue. PROGRAM CO-CHAIRS Frank de Boer (CWI, The Netherlands) Antonio Cerone (Nazarbayev University, Kazakhstan) CONTACT: sefm2...@easychair.org -- Jacopo Mauro, Associate Professor

[TYPES/announce] Associate Professor Positions in Computer Science at the University of Southern Denmark

information, you can contact Associate Professor (e-mail: ma...@sdu.dk, phone: +45 93 50 74 33). -- Jacopo Mauro, Associate Professor Department of Mathematics and Computer Science (IMADA) University of Southern Denmark (SDU)