Manzonetto Giulio

Seminars (I held):

• 18 feb 10: I held the talk "Resource calculi: some syntax, some semantics" at University of Bath, UK. Invited by Guy McCusker.
• 02 dec 09: I held the talk "A relational model of lambda calculus, and beyond (recent developments)" at University of Torino, Torino, Italy. Invited by Simona Ronchi Della Rocca.
• 16 nov 09: I held the talk "A relational model of lambda calculus, and beyond (recent developments)" at LIPN - Paris 13, Villetaneuse, France.
• 03 sep 09: I held the talk "A relational model of lambda calculus, and beyond" at School of Informatics, Edinburgh, United Kingdom (Scotland). Invited by John Longley.
• 26 aug 09: I held the talk "A general class of models of H*" at MFCS'09, Novy Smokovec, Slovakia.
• 14 aug 09: I held the talk "From lambda calculus to universal algeba, and applications" at University of Leicester, Leicester, United Kingdom. Invited by Alexander Kurz.
• 08 may 09: I held the talk "Models and theories of lambda calculus" at Vrije University, Amsterdam, the Netherlands. Invited by Jan W. Klop.
• 08 may 09: I held the talk "Applying universal algebra to lambda calculus" at Radboud University, Nijmegen, the Netherlands. Invited by Henk P. Barendregt.
• 18 feb 09: I held the talk "From lambda calculus to universal algebra... and back!" at CONCERTO, Bologna, Italy. Invited by Simone Martini.
• 27 aug 08: I held the talk "From lambda calculus to universal algebra and back" at MFCS'08, Torun, Poland.
• 14 feb 08: I held the talk "Effective models of lambda calculus" at LAMA, Chambery (France). Invited by René David.
• 07 feb 08: I held the talk "Non concrete models of lambda calculus" at IML, Marseille (France). Invited by Laurent Reigner.
• 14 oct 07: I held the Lunch Seminar "Lambda modelli effettivi vs. teorie ricorsivamente enumerabili" at Ca'Foscari University (Venice, Italy). Invited by Annalisa Bossi.
• 13 sep 07: I held the talk "Not enough points is enough" at CSL'07, Lausanne (Switzerland).
• 12 sep 07: I held the talk "lambda theories of effective lambda models" at CSL'07, Lausanne (Switzerland).
• 21 nov 06: I held the talk "R.e. lambda theories versus effective models" for the COMETE-PARSIFAL group at LIX (Ecole polytechnique, Paris). Invited by Catuscia Palamidessi.
• 14 nov 06: I held the talk "R.e. lambda theories versus effective models" for the Groupe de travail "Sémantique" at PPS (University of Paris 7).
• 14 feb 06: I held the talk "Visser vs Scott" for the Groupe de travail "Sémantique" at PPS (University of Paris 7).
• 28 apr 05: I held the FORMS' talk "Visser vs Scott" (Venice, Italy).

Partial List of Seminars (I attended):

• 19-24 aug 09: I've been a participant of MFCS'09, Novy Smokovec, Slovakia.
• 24 jun 09: I attended the talk "The Sketching approach to practical synthesis" by Armando Solar-Lezama.
• 04 jun 09: I attended the talk "The universe `is' a lambda term" by Chantal Berline.
• 18 may 09: I attended the talk "Not so fresh ML" by Nicolas Pouillard.
• 13 may 09: I attended the talk "High-Level Programming for E-Cash" by Pedro Adao.
• 08 avr 09: I attended the talk "Logique linéaire différentielle, lambda-calcul et concurrence" by Thomas Ehrhard.
• 11 feb 09: I attended the talk "HOCore" by Alan Schmitt.
• 04 feb 09: I attended the talk "Type-based termination with sized products" by Colin Riba.
• 15 sep 08: I attended the talk "The Semantics of x86" by Francesco Zappa Nardelli.
• 25-29 aug 08: I've been a participant of the conference MFCS'08, Torun (Poland).
• 28 apr 08: I attended the talk "Structures d'évènements et réseaux d'interaction: une étude d'expressivité" by Damiano Mazza.
• 28 apr 08: I attended the talk "La formule de Taylor donne-t-elle des modèles de lalogique linéaire?" by Daniel de Carvalho.
• 11-15 sep 07: I've been a participant of the conference CSL'07, Lausanne (Switzerland).
• 27 jun 07: I attended the talk "An ambient calculus for exact static analysis" by Debora Schuch da Rosa.
• jun 07: I attended TLCA'07 and the Longo Symposium.
• 05 jun 07: I attended the talk "An algebraic road to predicativity" by Giovanni Sambin.
• 09 mar 07: I attended the talk "Recent results on lambda calculus" by Antonino Salibra.
• 05 feb 07: I attended the talk "Ott: Tool support for the working semanticist" by Francesco Zappa Nardelli.
• 05 dic 06: I attended the talk "Logique Lineaire et normalization forte" by Lorenzo Tortora De Falco
• 07 nov 06: I attended the talk "Modeling linear logic by implicit functions" by Sergey Slavnov.
• 11 nov 06: I attended the talk "On the ubiquity of certain total type structures" by John Longley.
• 12 oct 06: I attended the talk "Event structures with symmetries" by Glynn Winskel.
• summer 06: I attended ICALP'06, LICS'06, IFIP WG2.2
• 16 may 06: I attended the talk "Game semantics and decidability in PCF" by Pierre Clairambault.
• 16 may 06: I attended the talk "Generalized Kripke semantics for substructural logics" by Mai Gehrke.
• 11 may 06: I attended the talk "Boolean algebras for lambda calculus" by Antonino Salibra.
• 09 may 06: I attended the talk "Handshake Games" by Fossati Luca.
• 04 may 06: I attended the talk "Preuves semantiques constructives d'elimination des coupures en Deduction Modulo" by Olivier Hermant.
• 02 mar 06: I attended the talk "Typer sans Type." by Christophe Raffalli.
• 26 gen 06: I attended the talk "Acute: a high-level language for distributed computation." by Francesco Zappa Nardelli.
• 20 gen 06: I attended the talk "Supporting Function Calls within PELCR" by Marco Pedicini.
• 20 gen 06: I attended the talk "Models of lambda calculus as sheaves over Boolean spaces" by Antonino Salibra.
• 20 gen 06: I attended the talk "A jump from parallel to sequential proofs" by Paolo Di Giamberardino.
• 20 gen 06: I attended the talk "Obsessional cliques: a semantic characterization of bounded time complexity" by Lorenzo Tortora De Falco.
• 20 gen 06: I attended the talk "Soluzioni estese di equazioni di dominio." by Fabio Alessi.
• 20 gen 06: I attended the talk "Parametric Lambda Calculus" by Simona Ronchi Della Rocca.
• 19 gen 06: I attended the talk "Type theory via category theory." by Ruggero Pagnan.
• 19 gen 06: I attended the talk "Context Semantics and Implicit Computational Complexity" by Ugo Dal Lago.
• 19 gen 06: I attended the talk "The NEW calculus of contexts" by Murdoch Gabbay.
• 19 gen 06: I attended the talk "Implicit Computational Complexity" by Simone Martini.
• 19 gen 06: I attended the talk "Criteri di correttezza per le reti di MALL." by Roberto Maieli.
• 18 gen 06: I attended the talk "Soft Linear Logic, lambda-calculus and Intersection Types." by Marco Gaboardi.
• 18 gen 06: I attended the talk "Resource analysis by sup-interpretation." by Romain Pechoux.
• 18 gen 06: I attended the talk "On the intensional expressive power of bounded calculi." by Ugo Dal Lago.
• 15 nov 05: I attended the talk "Four algorithmic faces of randomness" by Vladimir Uspensky.
• 15 nov 05: I attended the talk "Cliques obsessionnelles: vers une caracterisation semantique du temps borne" by Lorenzo Tortora de Falco.
• 22 sep 05: I attended the talk "Towards a general theory of labels from reductions" by Pawel Sobocinski (BRICS).
• 08 sep 05: I attended the Ma Qin's Ph.D. thesis defense.
• 05-07 sep 05: I attended an intensive course on "Bigraphs" by Robin Milner.
• jul 05: I attended a mini course on "Modeling and analysis of Hybrid and Embedded Systems" by Rajeev Alur.
• jul 05: I attended a ph.d. course on "Abstraction in Model Checking" by Edmund M. Clarke.
• jul 05: I attended a ph.d. course on "The Automata-Theoretic Approach to Verification" by Moshe Vardi.
• jul 05: I attended a ph.d. course on "Practical Static Analysis of Software Systems" by Zohar Manna.
• jul 05: I attended a ph.d. course on "Games in System Design and Verification" by Thomas A. Henzinger.
• jul 05: I attended a ph.d. course on "Relational Logic for Software Design" by Daniel Jackson.
• jul 05: I attended a ph.d. course on "Strong static typing and advanced functional programming (SST)" by Sriram Rajamani.
• 20 jul 05: I attended the talk "Model Checking for Nominal Calculi" by Ugo Montanari.
• 15 jun 05: I attended the talk "Un résultat de séparabilité sur les Combinateurs d'Interaction" by Damiano Mazza.
• 20 jun 05: I attended the talk "Musings Around the Geometry of Interaction" by Jean Goubault-Larrecq.
• 20 jun 05: I attended the talk "Elementary Affine Logic and the call-by-value lambda calculus" by Simona Ronchi della Rocca.
• 20 jun 05: I attended the talk "Visser versus Scott" by Antonino Salibra.
• 20 jun 05: I attended the talk "Webbed models of system F" by Chantal Berline.
• 20 jun 05: I attended the talk "Isomorphismes de types du second ordre et uniformité dans les jeux" by Joachim de Lataillade.
• 20 jun 05: I attended the talk "Des programmes pour DC, AC et HC" by Jean-Louis Krivine.
• 20 jun 05: I attended the talk "Recursive polymorphic types and parametricity in an operational framework" by Paul-André Melliès ou Jérôme Vouillon.
• 19 jun 05: I attended the talk "Le point sur la lambda-définissabilité" by Thierry Joly.
• 19 jun 05: I attended the talk "Composition subtile, trace et loi de distributivité" by Martin Hyland.
• 19 jun 05: I attended the talk "Formule de Taylor pour le lambda-calcul: compatibilité avec la beta-réduction" by Thomas Ehrhard.
• 19 jun 05: I attended the talk "Le lambda-mu-calcul différentiel" by Lionel Vaux.
• 19 jun 05: I attended the talk "Les stratégies affines dans les jeux d'arène" by Russ Harmer.
• 19 jun 05: I attended the talk "Innocence asynchrone" by Samuel Mimran.
• 19 jun 05: I attended the talk "Operational Domain Theory and Topology of a Sequential Programming Language" by Martin Escardò.
• 19 jun 05: I attended the talk "Jeux de Conway et bon parenth´sage" by Nicolas Tabareau.
• 14 jun 05: I attended the talk "Synthesis of Quasi-Interpretations" by Romain Péchoux (LORIA).
• 14 jun 05: I attended the talk "Implicit Complexity over an Arbitrary Structure: Sequential and Parallel Polynomial Time" by Paulin Jacobé de Naurois (LORIA).
• 14 jun 05: I attended the talk "Feasible reactivity for synchronous cooperative threads" by Roberto Amadio (LIF).
• 14 jun 05: I attended the talk "Sur le typage du flux d'information" by Gérard Boudol (INRIA Sophia).
• 14 jun 05: I attended the talk "HirondML: Fair threads Migrations for Objective Caml" by Julien Verlaguet and Emmanuel Chailloux (PPS).
• 13 jun 05: I attended the talk "The Geometry of Linear Ramified Recursion" by Ugo Dal Lago (Bologna).
• 13 jun 05: I attended the talk "Ordres d'ordre supérieur" by Jean-Pierre Jouannaud (LIX).
• 13 jun 05: I attended the talk "Sur l'inférence de type en Logique linéaire élémentaire et son implémentation" by Vincent Atassi (LIPN).
• 13 jun 05: I attended the talk "The Synchronous Language, revisited" by Roberto Amadio (LIF).
• 09 jun 05: I attended the talk "FairThreads et programmation réactive sûre" by Frédéric Boussinot.
• 07 jun 05: I attended the talk "Introduction to Notion of Computation" by Ian Stark.
• 02 jun 05: I attended the talk "Typed Pattern Calculus" by Barry Jay (BRICS).
• 19 may 05: I attended the talk "Quasiadhesive Categories" by Pawel Sobocinski (BRICS).
• 17 may 05: I attended the talk "Reducibility and TT-lifting for computation types" by Ian Stark.
• 12 may 05: I attended the talk "A Gentle Introduction to Semantic Subtyping" by Giuseppe Castagna.
• mar 05: I attended a ph.d. course on "Strong static typing and advanced functional programming (SST)" by Dr. Francesco Zappa Nardelli.
• mar 05: I attended a ph.d. course on "Machine Learning" by Prof. Alessandro Sperduti.
• mar 05: I attended a ph.d. course on "Decision diagrams and their applications" by Prof. Gianfranco Ciardo.
• mar 05: I attended a ph.d. course on "Approximation, Chance and Networks" by Prof. Alessandro Panconesi.
• 10 feb 05: I attended a talk on "Constraint Programming approaches to the Protein Structure Prediction Problem" by Agostino Dovier.
• 10 feb 05: I attended the talk "distinguishability between strings: A new approach to DNA word design?" by Andrea Sgarro.
• dec 04: I attended a ph.d. course on "Multimedia and Web Databases" by Prof. Selcuk Candan.
• 28 may 04: I attended a talk on "Böhm-Like Trees for Term Rewriting Systems" by Jeroen Ketema.
• 07 may 04: I attended a talk on "Some undecidable approximations of TRSs" by Jeroen Ketema.
• 06 may 04: I attended talks in Utrecht on Term Rewriting Systems (see also Terese).

'No offence meant, of course, but if the choice is a trip on the briny deep or staying on a small island
with someone trying to create a more inflammable cow then you can call me Salty Sam.'