(λ

Ph.D. in Computer Science

- 07 feb 12: I held the talk "The differential lambda-calculus" at LaBRI, INRIA, Bordeaux, France. Invited by Sylvain Salvati.
- 11 jun 11: I held the talk "A differential model theory for resource lambda-calculi" at Foundational Methods in Computer Science 2011, Calgary, Canada. Invited by Robin Cockett.
- 5 apr 11: I held the talk " A resource conscious Bohm's Theorem. Workshop Curry-Howard pour la concurrence" at ENS-Lyon, France. Invited by Colin Riba.
- 11 mar 11: I held the talk "The resource lambda calculus" at Vrije University, Amsterdam, the Netherlands. Invited by Jan W. Klop.
- 9 feb 11: I held the talk "The Relational Model is Fully Abstract for the Resource Calculus with Tests" at University of Bath, UK. Invited by Guy McCusker.
- 10 dec 10: I held the talk "Harnessing MLF with the power of System F" at Vrije University, Amsterdam, the Netherlands. Invited by Femke van Raamdonk.
- 22 nov 10: I held the talk "A fully abstract model of resource calculus with convergency tests" at LIPN, Villetaneuse, France. Invited by Michele Pagani.
- 21 oct 10: I held the talk "Full Abstraction for Resource Calculus in Tests" at ENS-Lyon, France. Invited by Colin Riba.
- 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).

- 25-31 jul 10: I've been a participant of the Logic Colloquim 2010, Paris, France.
- 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.'
*