[TYPES/announce] Postdoc position in Theoretical CS @ King's College London

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] ## Postdoc position in Theoretical CS @ King's College London A postdoctoral research position in theoretical computer science is available at King's College London. The successful

[TYPES/announce] CfP - ICTCS24

Organising Committee Ugo de’Liguoro (Università di Torino) Matteo Palazzo (Università di Torino) Daniele Pautasso (Università di Torino) Luca Roversi (Università di Torino) Riccardo Treglia (King’s College London)

[TYPES/announce] CfP ITRS 2024 - Eleventh Workshop on Intersection Types and Related Systems

ilezan (University of Novi Sad) • Kim Nguyen (Université Paris Saclay) • Pablo Barenbaum (Universidad Buenos Aires) • Ugo de Liguoro (Università di Torino) Organizers: Ugo de' Liguoro, Università di Torino, Italy Riccardo Treglia, King’s College London, UK Steering Committee• Mariangiola

[TYPES/announce] CfA: PhD in theoretical computer science, Kings College (London / UK), deadline 12 April

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] ## Ph.D. position in Theoretical CS @ King's College London * A funded Ph.D. position in theoretical computer science is available at King's College London. The successful candidate will

[TYPES/announce] CfP ITRS 2024

Buenos Aires) • Ugo de Liguoro (Università di Torino) Organizers: Ugo de' Liguoro, Università di Torino, Italy Riccardo Treglia, King’s College London, UK Steering Committee • Mariangiola Dezani-Ciancaglini, Università di Torino, Italy • Jakob Rehof, TU University of Dortmund, Germany • Joe Wells,

[TYPES/announce] ITRS Call for Post-Proceedings

giola Dezani-Ciancaglini, Università di Torino, Italy - Jakob Rehof, TU University of Dortmund, Germany - Joe Wells, Heriot-Watt University, Scotland Organizers: - Ugo de' Liguoro, Università di Torino, Italy - Riccardo Treglia, Università di Torino, Italy ( riccardo.treg...@unito.it)

[TYPES/announce] ITRS Call for Post-Proceedings

giola Dezani-Ciancaglini, Università di Torino, Italy - Jakob Rehof, TU University of Dortmund, Germany - Joe Wells, Heriot-Watt University, Scotland Organizers: - Ugo de' Liguoro, Università di Torino, Italy - Riccardo Treglia, Università di Torino, Italy ( riccardo.treg...@unito.it)

[TYPES/announce] ITRS 2021 Call for Post-Proceedings

aly - Jakob Rehof, TU University of Dortmund, Germany - Joe Wells, Heriot-Watt University, Scotland Organizers: - Ugo de' Liguoro, Università di Torino, Italy - Riccardo Treglia, Università di Torino, Italy ( riccardo.treg...@unito.it)

[TYPES/announce] ITRS 21 - Final CfP

io Guerrieri, University of Bath, UK - Ugo de' Liguoro, Università di Torino, Italy (chair) - Jeremy Siek, Indiana University Bloomington, USA (co-chair) Organizers: Ugo de' Liguoro, Università di Torino, Italy Riccardo Treglia, Università di Torino, Italy (riccardo.treg...@unit

[TYPES/announce] ITRS 21 CfP (Extended Deadline)

oro, Università di Torino, Italy (chair) - Jeremy Siek, Indiana University Bloomington, USA (co-chair) Organizers: Ugo de' Liguoro, Università di Torino, Italy Riccardo Treglia, Università di Torino, Italy (riccardo.treg...@unito.it) Steering Committee - Mariangiola Dezani-Ciancaglini, Un

[TYPES/announce] ITRS 21 CfP

rino, Italy (chair) - Jeremy Siek, Indiana University Bloomington, USA (co-chair) Organizers Ugo de' Liguoro, Università di Torino, Italy Riccardo Treglia, Università di Torino, Italy (riccardo.treg...@unito.it) Steering Committee - Mariangiola Dezani-Ciancaglini, Università di Torino, Italy

[TYPES/announce] ITRS 21 CfP

rino, Italy (chair) - Jeremy Siek, Indiana University Bloomington, USA (co-chair) Organizers: Ugo de' Liguoro, Università di Torino, Italy Riccardo Treglia, Università di Torino, Italy (riccardo.treg...@unito.it) Steering Committee - Mariangiola Dezani-Ciancaglini, Università di Torino, Ital

[TYPES/announce] ITRS 2020: FInal Call for Papers (Due on 10 Jan, 2020)

Bucciarelli (Université Paris Diderot) Daniel de Carvalho (Innopolis University) Kazushige Terui (Kyoto University) Silvia Ghilezan (University of Novi Sad) Organizers Ugo de' Liguoro (University of Turin, Italy) Riccardo Treglia (University of Turin, Italy) Steering Committee Mariangiola