[TYPES/announce] GT-VMT 2010: deadlines extended

-berlin.de/template/ The online submission and review system is available at http://www.easychair.org/GTVMT2010/ * Chairs * Jochen Kuester, IBM Zurich Research, JKU [at] zurich.ibm.com Emilio Tuosto, University of Leicester, emilio [at] mcs.le.ac.uk * Program Committee * Paolo Baldan

[TYPES/announce] CONCUR 2012: Call for workshops

and Emilio Tuosto emi...@mcs.le.ac.uk The CONCUR organization offers: * Link from the CONCUR web site. * Setup of meeting space, and related equipment. * Coffee-breaks. * Lunches. * On-line and on-site registration to the workshop. * One free workshop registration

[TYPES/announce] CONCUR 2012: Call for workshops / deadline approaching

and Emilio Tuosto emi...@mcs.le.ac.uk The CONCUR organization offers: * Link from the CONCUR web site. * Setup of meeting space, and related equipment. * Coffee-breaks. * Lunches. * On-line and on-site registration to the workshop. * One free workshop registration (for an invited speaker

[TYPES/announce] WS-FM 2013: First Call for Papers

Tecnologie dell'Informazione - CNR, Pisa, IT Emilio Tuosto (co-chair), University of Leicester, United Kingdom Wil van der Aalst, Eindhoven Univ. of Technology, The Netherlands Hugo Vieira, University of Lisbon, Portugal Karsten Wolf, Universität Rostock, Rostock, Germany Gianluigi Zavattaro

[TYPES/announce] WS-FM 2013: Second Call for Papers

Polyvyanyy, Queensland Univ. of Technology, Australia Antonio Ravara, Faculdade de Ciências e Tecnologia, Portugal Jianwen Su, University of California at Santa Barbara, USA Maurice ter Beek, Istituto di Scienza e Tecnologie dell'Informazione - CNR, Pisa, IT Emilio Tuosto (co-chair), University

[TYPES/announce] CfP: PDP 2014 - The 22nd Euromicro Intl. Conference on Parallel, Distributed and Network-Based Computing

-- *** Emilio Tuosto Department of Computer Science University of Leicester Leicester, LE1 7RH United Kingdom Tel. +44 (0) 116 252 5392 Fax. +44 (0) 116 252 3915 homepage - http://www.cs.le.ac.uk/people/et52 ***

[TYPES/announce] WS-FM 2013: deadlines extended

Antonio Ravara, Faculdade de Ciências e Tecnologia, Portugal Jianwen Su, University of California at Santa Barbara, USA Maurice ter Beek, Istituto di Scienza e Tecnologie dell'Informazione - CNR, Pisa, IT Emilio Tuosto (co-chair), University of Leicester, United Kingdom Wil van der Aalst, Eindhoven

[TYPES/announce] GTA positions available at the Computer Science dept. of Leicester (funded PhD)

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] dear all we have 3 positions GTA positions available at Leicester. Graduate Teaching Assistantships funds a PhD through limited part-time teaching work with the University. The

[TYPES/announce] TGC 2014: 1st Call for Papers

) - Emilio Tuosto (co-chair) (co-chair, University of Leicester, UK) - Björn Victor (Uppsala University, Sweden) - Roberto Zunino (Università degli Studi di Trento, Italy) Submission instructions Contributions must be in PostScript or PDF format and consist of no more than 15 pages

[TYPES/announce] School on behavioural approaches to APIs: Call for participation

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]   Summer School on Behavioural Approaches for API-Economy with Applications    8-12 July 2019, Leicester, UK

[TYPES/announce] School on behavioural approaches to APIs: Call for participation

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] Summer School on Behavioural Approaches for API-Economy with Applications 8-12 July 2019, Leicester, UK

[TYPES/announce] 7 PhD positions in Computer Science at Gran Sasso Science Institute (GSSI), L'Aquila (Italy)

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] The GSSI - Gran Sasso Science Institute offers seven, four-year PhD fellowships in Computer Science for the academic year 2020/21. The fellowships include a yearly salary of € 16,159.91

[TYPES/announce] 7 PhD positions in Computer Science at GSSI, L'Aquila (Italy) -- DEADLINE JUNE 11

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] The GSSI - Gran Sasso Science Institute offers seven, four-year PhD fellowships in Computer Science for the academic year 2020/21. The fellowships include a yearly salary of € 16,159.91

[TYPES/announce] Postdoc at GSSI (deadline July 8, 2021)

at https://www.gssi.it/communication/announcements/item/12549-postdoctoral-research-fellowship-june-2021. Please do get in touch if interested. Regards eM -- *** Emilio Tuosto Computer Science Gran Sasso

[TYPES/announce] Post-doc position (2 years) on monitoring and verification of smart systems (deadline 18/3/21)

Aceto (luca.ac...@gssi.it) Omar Inverso (omar.inve...@gssi.it) Emilio Tuosto (emilio.tuo...@gssi.it) -- *** Emilio Tuosto Computer Science Gran Sasso Science Institute Viale F. Crispi, 7 67100

[TYPES/announce] Expression of interest for two post-doc positions on blockchain and formal methods

-D8_4EgmIKfuvpvHz8zqxOUNhFd0F2gwASJnOSKw$ ) - Emilio Tuosto (https://urldefense.com/v3/__https://www.gssi.it/emilio.tuosto__;!!IBzWLUs!QGdeIxLXkG7A5cIs5Hd0UiUpviZcNSbUEZyxGDbfoFjmxogn-p7uPv018eQ_nU-D8_4EgmIKfuvpvHz8zqxOUNhFd0F2gwBt6r98tw$ ) We are keen to arrange informal meetings to discuss any matter

[TYPES/announce] 2 Year postdoc position

-and-technological-research-fellowships-june-2022__;!!IBzWLUs!Q4Ekc-OFqAt8Hf70WRVJFmwiRNobmAitKZwIfmuVymu3Lco7b9ES_GffuyLASjGkRXgNylvhne6Qd3xMXZZhGjhIuOUSoXW2hlXZTQ$ Interested candidates can get in touch with me. Thanks eM -- Emilio

[TYPES/announce] PhD Scholarship on Blockchains. Deadline 26/08/22

/__;!!IBzWLUs!WPGRGCBVI4zzgNcyMk0kzAqDam-Fe3YYazZvur6VuEo3Wy3CMNNznt6x4UMqGlnZOIgbk03mPPHjXaZe7dueigkObhKVOnb44h_Z-w$ ). Perspective applicants can contact Maurizio Murgia (maurizio.mur...@gssi.it) or Emilio Tuosto (emilio.tuo...@gssi.it

[TYPES/announce] Last CfP: FM 2023 - 25th International Symposium on Formal Methods (strict deadline: Sept. 4, 2022)

tina Seceleanu, Malardalen University, SE Marjan Sirjani, Malardalen University, SE Paola Spoletini, Kennesaw State University, US Jun Sun, Singapore University, SG Emilio Tuosto, Gran Sasso Science Institute, IT Matthias Volk, University of Twente (AE Chair), NL Ou Wei, Thales, CA Mike Whalen, Amazo

[TYPES/announce] COORDINATION 2023 Call For Papers

(University of Oslo, Norway) Maurice ter Beek (CNR-ISTI, Italy) Peter Thiemann (Universität Freiburg, Germany) Emilio Tuosto (Gran Sasso Science Institute, Italy) Mirko Viroli (University of Bologna, Italy) Artefact Evaluation Committee chair --- Alceste Scalas (Technical

[TYPES/announce] PhD in Computer Science at GSSI (Italy)

$ . Emilio Tuosto Gran Sasso Science Institute Department of Computer Science ORCID: -0002-7032-3281 Viale F. Crispi, 7 - 67100 L'Aquila (Italy) Office: Palazzo Mariani P1-N

[TYPES/announce] JLAMP: new initiative launched

://www.sciencedirect.com/journal/journal-of-logical-and-algebraic-methods-in-programming/about/thematic-special-issues__;!!IBzWLUs!U2k1Ec_zKttSbYPbePHzZ3MCC3VBrCLHzdnxkziArL0-7ZaRanBlf7Ays0JuMfB9o6rdCLC6dDvQYj7yMKAorIW6cHeZb5WX7RWTOw$ for further details. Best Regards Emilio Tuosto Special Issue Editor of JLAMP

[TYPES/announce] Call for expressions of interest for open-rank positions at GSSI - Italy

ting-human-capital-in-italy__;!!IBzWLUs!UQUxK2UG8NB2MHyBUpyPgRPXrxEpPs5C-KoJ5kAQ1OeaniH--6fTCqpNlT1WxdpHiePhPUvG8zMEI7mb5FLOlF-kv2hdrNgowERWCQ$ Emilio Tuosto Gran Sasso Science Institute Department of Comput

[TYPES/announce] PhD Scholarships in cybersecurity

) to support the coordination of factory production. **** Emilio Tuosto Gran Sasso Science Institute Department of Computer Science ORCID: -0002-7032-3281 Viale F. Crispi, 7 - 67100 L

[TYPES/announce] PhD scholarships on blockchain & distributed ledger technology

-2LuTCGnQ4XOC9PmsAy5kfXbPN3nYGWSksigdBMfj8R_E3S8Pc9QD95w0XPTiP3hJsbbL4MbQzLHwQJgKJAnekyag_jwakTvDIg$ ) - Research theme: specification and verification of smart contracts and decentralized applications - Application Deadline: August 28, 2023 1PM CEST - Contacts: Maurizio Murgia (maurizio.mur...@gssi.it) and Emilio Tuosto (emilio.tuo...@gssi.it) - More details

[TYPES/announce] Several post-doc positions at GSSI (deadline extended to 31/01/2024)

, smart contracts, decentralised finance, formal methods for modelling and verification, logics. Emilio Tuosto Gran Sasso Science Institute Department of Computer Science ORCID: -0002-7032-3281

[TYPES/announce] Several post-doc positions at GSSI

. Emilio Tuosto Gran Sasso Science Institute Department of Computer Science ORCID: -0002-7032-3281 Viale F. Crispi, 7 - 67100 L'Aquila (Italy) Office: Palazzo Mariani P1-N Phone

[TYPES/announce] ICTCS 2024: Call for Papers (deadline June 9, 2024)

) Emilio Tuosto Gran Sasso Science Institute Department of Computer Science ORCID: -0002-7032-3281 Viale F. Crispi, 7 - 67100 L'Aquila (Italy) Office: Palazzo Mariani P1-N Phone: +39 0862 428 0312 homepage -> ht

[TYPES/announce] 10 fully-funded PhD scholarships in Computer Science at GSSI

-phd-call-for-applications-2024-25-now-open__;!!IBzWLUs!T3ryuQ-cOBkd92Wo5Z4ha-xP-JEIvcWeL_UNum_kpV7XXVlrcW69AUpMTAWEr5au2a4eFZjAFzJTgoQned7rj1ANKQ9bTRfqsWTDOw$ Emilio Tuosto Gran Sasso Science Institute