Manzonetto Giulio

News archive:

• 23 apr 2009: Great news! My paper "Effective models versus recursively enumerable lambda theories" has been accepted for publication in Mathematical Structures of Computer Science.
• 10-12 mar 2009: I am in Cambridge to work with Peter Sewell and Francesco Zappa on equivalence of concurrent programs.
• 09 mar 2009: Are you interested in my PhD thesis but you don't have the time to read it? Don't be sad! Here you can find a short description of the main results.
• 16 feb 2009: I'm in Bologna for the kickoff meeting of CONCERTO.
• 28 jan 2009: I participate to the Forum 2009 INRIA-Microsoft.
• 01 jan 2009: Happy New Year! Starting from today I work as a post-doc at INRIA-Rocquencourt (MOSCOVA Team).
• 05 dec 2008: My PhD thesis "Models and theories of lambda calculus" has been awarded the EADS Prix de la Meilleure Thèse 2008.
• 10 oct 2008: My paper "A relational model of a parallel and non-deterministic λ-calculus" has been accepted to LFCS'09. Welcome to Florida!
• 10 sep 2008: I submitted a paper to LFCS. Will it be the return of the BEM (Bucciarelli-Ehrhard-Manzonetto) triad?
• 25 aug 2008: At the moment I am attending MFCS'08 in Poland. You can see my talk in streaming here.
• 30 may 2008: The BMS triad in front of a tedious proof (new pic!).
• 22 apr 2008: I'm in Rome for the Big Concert of Elio e Le Storie Tese. I will come back in Paris the 29th April.
• 14 apr 2008: I've been interviewed for the CNRS recruitment competition (Mathematics).
• 13 apr 2008: I have submitted two papers. Please, let us cross our fingers twice and better than last time!
• 07 apr 2008: I've been interviewed for the CNRS recruitment competition (Computer Science).
• 25 fev 2008: Hi, I'm a funny guy. Do you have a post-doctoral fellowship for me?
• 18 fev 2008: I've discussed my phd thesis in front of this jury. Here you can see how I was looking like, but you can't have an idea of the voice I had.
• 07 fev 2008: I held a talk at the Laboratory IML of Marseille. Next week I will be at LAMA of Chambery.
• 25 gen 2008: Today I submitted the second paper of the month. Let's cross our fingers twice.
• 24 gen 2008: I officially finished my thesis. Now only bureaucratic problems can prevent me from discussing it the 18th february.
• 01 gen 2008: Happy New Year! My proposal for 2008 is being less stressed.
• 01 nov 2007: Alea iacta est: today, I've sent my Ph.D. thesis to the referees.
• 16 oct 2007: The only four people with who I wouln't like to exchange myself are my referees.
• 08 oct 2007: The first days of november I must send my Ph.D. Thesis to the referees. I've never been stressed as in this period.
• 10 sep 2007: I'm in Lausanne to attend the conference CSL 2007. I will held a talk on ''lambda theories of effective lambda models'' the 12th september, and another one titled ''not enough points is enough'' the 13th september.
• 01 sep 2007: Happy New (psycological) Year! The summer is passed quickly, and I came back in Paris for another exciting year of research.
• 19 aug 2007: Finally, the vacation time reached me: I'll be in Fuerteventura until 28th august 2007. I leave my laptop, my thesis and the whole λ-calculus at home.
• 18 jul 2007: During the academic year 2007/2008 I will be teacher assistant at Paris 7 for the following courses: Intelligence Artificielle (M1), Algorithmique (L3BI), Analyse syntaxique et Compilation (L3) and Suivi projets longs (M1). Summing-up: 101 hours of fun.
• 16 jul 2007: The following people have accepted to be the referees of my thesis: H.P. Barendregt, J.W. Klop, J. Longley and C.-H.L. Ong.
• 03 jul 2007: At the moment I'm in Italy at Ca'Foscari University of Venice. I have more or less two months for writing my phd thesis. That's challenging!
• 21 may 2007: The two papers I submitted to CSL 2007 have been accepted! My new Erdos number is 4.
• 27 apr 2007: I'm starting to write my Ph.D. thesis: Models and theories of lambda calculus.
• 14 apr 2007: I went to Rome with Laura to spend time with our families and visit my colleagues of Roma 3.
• 07 apr 2007: This year is particularly difficult for semantical papers. We will probably meet all in Armenia.
• 20 mar 2007: I'm exhausted. I need a vacation in a place with coconut palms and free drinks.
• 13 feb 2007: Surfing the web I found a nice picture of my advisor and myself in Seattle.
• 11 feb 2007: Laura and I, went to the Opera to listen strange music for our 14th "monthversary". The day before we had dinner with Claudio Silvestri and his wife.
• 22 jen 2007: I submitted a paper, my fingers will be crossed until the end of march.
• 06 jen 2007: The 24th jenuary I will be in Italy to present my research activity.
• 01 jen 2007: Happy new (conventional) year! Gioele Vido is incredibly born during the night.
• 21 nov 2006: I held the same seminar at LIX (Ecole polytechnique).
• 14 nov 2006: I held a seminar for the Research group in Semantics and Realizability of Paris 7: R.e. lambda-theories versus effective models.
• 09 nov 2006 : I've been admitted to the Internationally Co-tutored PhD Program. My co-advisor is Chantal Berline (Paris 7).
• 15 oct 2006: My laptop is dead. Thanks to PPS I can still check my email and write latex code with a borrowed pc.
• 11-13 sep 2006: I'm attending the IFIP WG 2.2 Anniversary Meeting in Udine.
• 27 sep 2006: I'm in a Parisian office which is overflowing with people, mostly mathematicians.
• 19 aug 2006: I go in vacation to Torino di Sangro (a beautiful place in Abruzzo without internet connection) until the 3rd september.
• 09-16 jul 2006: I'm in Seattle in order to attend the Symposium LICS'06.
• 01 jul 2006: I'm at Ca'Foscary University (Venice) until the 1st October 2006.
• 29 jun 2006: I've no interesting news but a nice picture.
• 28 may 2006: A nice memory of the spring: a beer with (famous) friends.
• 28 apr 2006: A friend of mine is waiting for a child. Happy birthday D.V. and good luck with your gift.
• 26 apr 2006: I will be at the EPIT'06 phd school (28 may-2 june).
• 15 apr 2006: My first paper has been accepted by LICS'06.
• 07 apr-19 apr 2006: I come back in Italy to exercise my right to vote. If Dorian Gray will be re-elected will not be my fault.
• 18 mar 2006: Today I become 26 years old. I'm considered old from the society.
• 14 feb 2006: I give a short seminar at PPS on topology and lambda calculus for a working group in semantics.
• 29 jan 2006: I'm glad to have met Peter Selinger in Marseille at the Geocal 2006. He's playing with Benoit Valiron on quantum lambda calculus, at the moment.
• 12-16 jan 2006: Laura and I, we will go to visit Damiano Macedonio, in Brighton.
• 16 dec 2005: The 29th of january I leave for Marseille, I'll be one of the 204 partecipants of the Geocal06 (Geometry of Computation 2006). Picture first week. Picture second week.
• 05 dec 2005: Between the 18th and the 21st of january 2006 I will be in Turin as partecipant to the Annual FOLLIA Project's Meeting.
• 04 nov 2005: I will be in Italy to present my 1st year of research activity (28 nov - 04 dec) and for Christmas Holidays (17 - 27 dec).
• 30 oct 2005: My austrian friends came to visit me. We took an incredibly nice picture in Versailles.
• 27 sep 2005: To improve my technical knowledge I'm attending, as auditor, master courses about model theory, domains, categories, games and logic.
• 16 sep 2005: I decided I want to risk my life buying a pair of rollerblades and learning acrobatic skating.
• 07 sep 2005: The PPS wants me for 3 months more, this implies that I will come back in Italy the 30 june 2006. Have fun without me.
• 05-07 sep 2005: I'm attending an intensive minicourse on bigraphs that Robin Milner has generously agreed to give.
• 03-07 sep 2005: My spiritual master, Claudio Guidi, came to visit me and I convinced him to attend with me Milner's course on bigraphs.
• 02 sep 2005: It's a big pleasure for me to share my office with Thomas Ehrhard, the father of the differential lambda calculus.
• 01 sep 2005: Happy New (psycological) Year! I'm leaving for Paris, I'm going to be a guest phd student at Denis Diderot University for the next seven months.
• 24 aug 2005: I prophesy that will be a woman to solve the P=NP problem because women's brain has a different kind of complexity.
• 22 aug 2005: I have no more Ph.D. exams left to do, finally I can spend my whole time researching in lambda stuff.
• 12 aug 2005: The girl I love refuses my heart but I will never forget her. I live in the hope of having another possibility in the future. After all, the life is only a sequence of recurrent events.
• 31 jul-08 aug 2005: I'm in hermitage to take care of my irreparably broken heart. I hope my researches can distract my mind in this horrible period.
• 10-23 jul 2005: I'm attending lectures at the 17th International School for Computer Science Researchers. Lipari Island. I have pictures proving this.
• 20-21 jun 2005: I will attend in Paris a workshop on lambda calculus semantics, i.e., the 7th meeting of ACI NIM Geocal (in french).
• 16 jun 2005: I had lunch with Yuri V. Matiyasevich, i.e., the guy that proved the unsolvablility of the Hilbert's tenth problem.
• 13-14 jun 2005: I am invited to a workshop on first order logic, i.e., the Réunion de l'ACI CRISS (in french).
• 03 jun 2005: I'm resisting the temptation of translating this page in french. Luckily, the fact that I hate the accents is helping me.
• 20 may 2005: I am a member of the FOLLIA research project.
• 02 may 2005: I'm leaving for Paris, I'll be in may and in june at Denis Diderot University.
• 28 apr 2005: I present my research in the FORMS seminar with title Visser versus Scott.
• 20 apr 2005: I'm attending a Ph.D. course taught by Krzysztof R. Apt in Padua on Game-theoretic approach to multi-agent systems.
• 01-03 apr 2005: I'm in Turin to visit a group of funny phd students. I hope to see the Mole Antonelliana with the Fibonacci's numbers painted, the University of Arts (because of the chicks), the murazzi, the Turin's sky (Subsonica docet) and the dj Busta.
• 25 mar 2005: The BISS is a school of life. We danced, we fought, we molested couples, we went to sea side and we met Frank Zappa.
• 21 mar 05: Today I received these funny comic strips called Vita da dottorando (in italian). Thanks to Luca AT Turin.
• 06-18 mar 2005: I'm at the Bertinoro International Spring School.
• 16 feb 2005: Sign the petition vs DDL Moratti!
• 13 gen 2005: The ybcos baroque orchestra (my rock band) is opening the 2005 tour (see gigs section on the website)!
• 29 dec 2004: To celebrate the return in Italy of Giulio Marcon and Petra I spent time with my friends drinking and eating Filetto a la Robespierre.
• 20 dec 2004: The mark of my Multimedia and Web Databases exam is: 18/20. Number of missing Ph.D. exams: 5.
• 17 dec 2004: Today I received as a Christmas present from the Santa Claus from Stationery Articles: a pair of scissors, five pens, a penholder, a sellotape, a ruler and a post-it pad.
• 13 dec 2004: I'm trying to find home in Paris because, probably, I will be at Denis Diderot University in May and in June 2005 and from September 2005 to February 2006.
• 04-05 dec 2005: Weekend in Austria (Salzburg) to visit my friend Giulio Marcon.
• 03 dec 2004: Architettura A: Sequential Circuits (in italian).
• 03 dec 2004: This weekend I will be in Salzburg.
• 01 dec 2004: Now my office contains my table, a blackboard, a telephone and two cabinets.
• 08 oct 2004: Finally I have my office: Aula 15 (In front of the university's library).
• 26 oct 2004: I'm a Ph.D student at Ca'Foscari University. My supervisor is: Antonino Salibra
• 22 oct 2004: I got my MSc degree with the maximum grade (110/110 cum laudem).
• 15 sep 2004: The increasing crazyness of my friend Dr. Giulio Marcon has left me very perplexed.
• 07 jun 2004: The frequently asked question in Amsterdam is "Where am I and who is the 'I' that is asking?"
• 03 jun 2004: The mark of my Protocol Validation exam is: 8.5/10. Nice.
• 02 jun 2004: I'm very proud (more than Dr. Marcon is) of my friend Andrea Pavan that now is working on "Calculating generators for the Frattini subgroup of a polycyclic group"
• 28 may 2004: I attended seminar on Böhm-Like Trees for Term Rewriting Systems.
• 08 may 2004: Windmill Tour: I visited windmills with my international friends, I've eaten cheese and I've bought clogs.
  Two friends of mine have found interesting jobs: one in the field of delivery services and one as a miller.
• 17 jun 2004: The mark of my Algebraïsche Specificaties exam is: 10. Good. My exam session ended, I could not be happier!
• 06,07 may 2004: I attended seminars on Term Rewriting Systems.
• 25 apr 2004: I went in the Arena to see an American Football match (free violence & cheerleaders).
• 22 apr 2004: Download my Desktop Background. For fans only.
• 25 mar 2004: A friend of mine is waiting for a pcc-chid (female).
• 10 feb 2004: My photo in Amsterdam (tnx to Giop).
• 05 feb 2004: I choosen the courses to attend: Protocol Validation, Algebraïsche Specificaties and Topology II.
• 20 gen 2004: My blog for the Amsterdam adventure (in italian, for friends).
• 19 gen 2004: I choosen the title of my thesis.
• 27 nov 2003: I've written for my course of Architettura A a note about sequential circuits (in italian).
• 20 nov 2003: My parallel computation project.
• 07 oct 2003: a little present for the Vianello's home fans.
• 04 oct 2003: is available the photo of my pentasomic friends and me.
• feb-jul 2004: I will be at Vrije Universiteit, Amsterdam, The Netherlands.
• 18 jul 2003: my summer exam session ended.

When you breath you inspire, when you don't breath you expire.