[TYPES/announce] Workshop on Logic and Computational Complexity (LCC '10)

2010-04-07 Thread Ronchi Della Rocca Simona
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = =

[TYPES/announce] DICE 2013 call for papers

2012-10-19 Thread Ronchi Della Rocca Simona
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] DICE 2013 §§ (DEVELOPMENTS IN IMPLICIT COMPUTATIONAL COMPLEXITY)

[TYPES/announce] CSL'13 call for participation

2013-07-04 Thread Ronchi Della Rocca Simona
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] __ CSL 2013

[TYPES/announce] Conference in honour of Corrado Böhm

2023-05-18 Thread Ronchi Della Rocca Simona
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] The Accademia delle Scienze di Torino organizes a Conference in honour of Corrado Böhm in occasion of the centenary of his birth. Date: May 24, 2023. For further information: