DIBRIS

Eugenio Moggi, Professor in Computer Science
	DIBRIS, Univ. di Genova via Dodecaneso 35, 16146 Genova, Italy moggi "at" unige.it	Room: 229, 2nd floor; Fax: +39-010-3536699 Tel.: +39-010-3536629 (home: 010-394744) Cell.Phone: 370-1021309 (almost always off)

RESEARCH
- Publications, Meetings, Projects (CINI), Short Biography
- Member of the editorial board of: ENTCS, MSCS
- Member of the advisory board of: Proofs and Programs ( editorial policy)
DIDATTICA/TEACHING
- ORARIO RICEVIMENTO: in genere presente Lun-Mar 14.00-17.00
- PRENOTAZIONE ESAMI (per corsi del vecchio ordinamento - Informatica di 5 anni)
- 2012 Computational Types, Collection Types and Monads - Dottorato in Informatica UNIMI
- 2012 Declarative Programming, (Co)Induction, and Monads Dottorato in Informatica (modulo AulaWeb)
- 2011-12 Informatica Teorica, Calcolabilita' e Complessita' (1o mod) della LM Informatica
- 2011-12 Fondamenti dell'Informatica (LT Informatica)
- Elementi di Informatica (corso di servizio per LT in SA e SN) il nuovo titolare e' Francesco Masulli
- ALTRA ATTIVITA' DIDATTICA fatta in ANNI PRECEDENTI
CONFERENCES, WORKSHOPS, SCHOOLS
- CSL'11 (PC), EWCE'11 (IS),
- CT2010 (OC), LICS'10 (PC), ICTCS'10 (OC)
- ESOP'09 (PC), LICS'09 (PC)
- AILA'08 (OC), FOSSACS'08 (PC), PPDP'08 (PC), IFIPTCS'08 (PC)
- MFPS'07 (PC), Longo 60 Fest (IS), ICALP'07 (PC), Scuola AILA, ICTCS'07 (PC)
- Plotkin 60 Fest (IS), ML'06 (PC), MFPS'06 (IS), ESOP'06 (PC), CATS'06 (PC),
- FGC (Dagstuhl), TGC'05 (PC), APPSEM'05 (PC), GPCE'05 (GC),
- FMCO'04 (IS), APPSEM-II (PC), ICALP'04 (PC), PPDP'04 (GC), CSL'04 (PC)
- FOSSACS'03 (PC), LICS'03 (PC), FGC'03 (PC), GPCE'03 (PC)
- WCGC'02 (PC), TIP'02 (PC), IMLA'02 (PC)
- ETAPS'01 (OC), TOSCA'01 (OC), ICALP'01 (PC), SAIG'01 (PC), ICTCS'01 (PC),
- TOSCA'00 (OC), APPSEM School (SC and lecturer), ICFP'00 (PC), MPC'00 (PC), DTP'00 (invited),
- PPDP99 (PC), FLoC'99 (OC), IMLA FLoC'99 WS (PC),
- APPSEM'98 (OC), PLILP'98 (PC), LICS'98 (PC), FMCS'98 (invited)
- CTCS'97 (OC and PC chair), New Trends in Semantics ICALP'97 WS (OC), FUN'97 (OC),
- Scuola Nazionale Dottorati Informatica '96 (OC)
ORGANIZATION
- Member of EATCS Italian Chapter

Local stuff