DIBRIS

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

• RESEARCH
  • Publications, Meetings, Projects (CINI), Short CV
  • Member of the advisory board of: Proofs and Programs ( editorial policy)
• DIDATTICA/TEACHING
  • ORARIO RICEVIMENTO (AVAILABLE TO STUDENTS): 14.00-15.00 Lun (Mon) e 13.30-14.30 Gio (Thu)
  • 2019-20 1o sem Topics (and Advanced Topics) in Computer Science (cod. 90728 and 90543 - elective courses of 6 CFU for MSc in Computer Science)
  • 2019-20 1o sem Abilita' Informatiche (cod. 84031 - insegnamento da 3 CFU per Scienze Ambientali e Naturali)
  • 2019-20 1o sem Informatica (cod. 57279 - insegnamento da 4 CFU per Scienze Biologiche)
  • 2018-19 2o sem Fondamenti di Informatica (cod. 97164 - insegnamento da 9 CFU per Ingegneria Gestionale)

    ---

  • Elementi di Informatica (cod 52674 - insegnamento disattivato da 3 CFU per Scienze Ambientali)
  • Elementi di Informatica (cod. 42944 - insegnamento disattivato da 6 CFU per Scienze Ambientali)
  • ALTRA ATTIVITA' DIDATTICA fatta in ANNI PRECEDENTI
• CONFERENCES, WORKSHOPS, SCHOOLS
  • GDP70 (IS) @ Logic Colloquium 2016, DCPS 2016 (IS) @ CPS week,
  • CorCon2014 (OC),
  • FMCS 2013 (IS), ICTCS 2013 (PC),
  • 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

• Missioni
• Office 365
• Bit Bucket
• SAGE Lab
• Sito Web DISI
• Calendario DISI
• list server CSITA (configurazione parametri, altra configurazione parametri)
• intranet DISI
• CD CSITA
• MOODLE: istanza per test referenti, palestra2