[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 https://www.um.edu.mt/projects/behapi/leiceste

[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 https://www.um.edu.mt/projects/behapi/leicester-summer-school-behavio

[TYPES/announce] CONCUR 2012: Call for workshops

journals), and the expected number of participants. Important Dates: Workshop proposals due: Monday, October 24, 2011 Notification of acceptance: Wednesday, November 9, 2011 Workshops: September 3rd, 2012 and September 8th, 2012 Submissions to: Jason Steggles and Emilio Tuosto

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

the expected number of participants. Important Dates: Workshop proposals due: Monday, October 24, 2011 Notification of acceptance: Wednesday, November 9, 2011 Workshops: September 3rd, 2012 and September 8th, 2012 Submissions to: Jason Steggles and Emilio Tuosto The CONCUR

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

Scienza e 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 Gian

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

alia Artem 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)

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

FastFlow: http://di.unito.it/fastflow -- ******* 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 home

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

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 of Leicester, United Kingdom Wil van der A

[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 deadline

[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 in the

[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 gro

[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 gro

[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] 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] 2 Year postdoc position

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

[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] Call for expressions of interest for open-rank positions at GSSI - Italy

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

[TYPES/announce] JLAMP: new initiative launched

.com/v3/__https://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

[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

[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 at

[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] Several post-doc positions at GSSI

ogics. 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] Several post-doc positions at GSSI (deadline extended to 31/01/2024)

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

[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

[TYPES/announce] GT-VMT 2010: call for papers

rich Research, JKU [at] zurich.ibm.com Emilio Tuosto, University of Leicester, emilio [at] mcs.le.ac.uk * Program Committee * Paolo Baldan (University of Padova, Italy) Artur Boronat (University of Leicester, UK) Andrea Corradini (University of Pisa, Italy) Claudia Ermel (TU Be

[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] GT-VMT 2010: cfp

Collagories. 12:30-14:00 Lunch * Workshop organizers Jochen Kuester, IBM Research, Switzerland Emilio Tuosto, University of Leicester, UK * Program Committee Paolo Baldan (University of Padova, Italy) Artur Boronat (University of Leicester, UK) Andrea Corradini (University of Pisa, Italy) Claudia

[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 ->