18/04/2008 - Ore 10.00 - Incontro di Logica in occasione della discussione delle tesi di dottorato
19/04/2008 - Mattina, ora da definire - Workshop informale sulle reti di prova della logica lineare
I. Dimostrazioni, Polarità e Cognizione
Sala Professori della Facoltà di Lettere e Filosofia, via Ostiense, 234 - 00144 Roma
Incontro di Logica in occasione della discussione delle tesi di dottorato in Filosofia e Teoria delle Scienze Umane di Paolo Di Giamberardino e Maria Teresa Medaglia.
Inizio:
13/12/2007
Fine:
16/12/2007
Appuntamento:
13 dicembre, 15:30
Foyer dell'Aula Magna della Facolta' di Lettere e Filosofia di Roma Tre.
Più informazioni a breve sul sito, http://logica.uniroma3.it
Docente: Vito Michele Abrusci (Dipartimento di Filosofia - Università Roma Tre)
Inizio: 16/11/2007
Fine: 07/12/2007
LOGICA DEL SECONDO ORDINE: UNA LETTURA DEI TEOREMI DI INCOMPLETEZZA DI GODEL
Dove: Sala del consiglio - Dipartimento di Filosofia - Facoltà Lettere e Filosofia - Università Roma Tre - Via Ostiense 234 Roma
Quando:
- venerdi 16 novembre ore 11-14
- venerdi 23 novembre ore 11-14
- venerdi 30 novembre ore 11-14
- venerdi 7 dicembre ore 11-14
Per maggiori informazioni: http://logica.uniroma3.it/?q=node/190
AVVISO SEMINARIO DIP. INFORMATICA - SAPIENZA
Date: Monday, November 12, 2007
Time: 3:00pm
Duration: about 60 min.
Venue: DI, Via Salaria 113, third floor, Seminari Lecture Room
Speaker: Lorenzo Carlucci
Title: Unprovability after Goedel
Docente: Paul-André Melliès (CNRS - Université Paris 7)
Inizio: 29/10/2007
Fine: 05/11/2007
A GENTLE INTRODUCTION TO 2-DIMENSIONAL ALGEBRA AND STRING DIAGRAMS
Dove: Aula Verra - Facoltà di Lettere e Filosofia - Università Roma Tre
Quando:
- lunedi' 29 ottobre ore 11-13
- martedi' 30 ottobre ore 11-13
- mercoledi' 31 ottobre ore 16-18
- lunedi' 5 novembre ore 11-13
Docente: Paul-André Melliès (CNRS - Université Paris 7)
Inizio: 29/10/2007
Fine: 04/11/2007
Dove: Facoltà di Lettere e Filosofia - Università Roma Tre
A GENTLE INTRODUCTION TO 2-DIMENSIONAL ALGEBRA AND STRING DIAGRAMS
Organizzazione del corso: Si tratta di un corso di 8 ore (2 ore al giorno i lunedi` 29, martedi` 30 e mercoledi` 31 ottobre ed il lunedi` 5 novembre). Gli orari precisi delle lezioni verranno comunicati sulla pagina web del corso: http://logica.uniroma3.it/?q=node/178
Speaker: Paul Ruet (IML-CNRS Marseille)
Quando: 12/10/2007 - 11:00
Dove: Studio 2.23 (studio di Lorenzo) - Dipartimento di Filosofia - Facoltà Lettere e Filosofia - Università Roma Tre - Via Ostiense 234 Roma
TITOLO: Dynamique discrète et structure des réseaux génétiques
Speaker: Michele Pagani (Dipartimento di Filosofia - Università Roma Tre)
Quando: 21/09/2007 - 9:00
Dove: Aula 13 - Facoltà Lettere e Filosofia - Università Roma Tre - Via Ostiense 234 Roma
TITOLO: Between interaction and semantics: visible acyclic nets
Scusate c'è stato un errore, il seminario di Terui è alle ore 17:00 di mercoledì 23 e non alle 11:08 come riportato nel messaggio.
> ------------SEMINARIO KAZUSHIGE TERUI------------
>
> Il prof. Kazushige TERUI (National Institute of Informatics, Tokio,
> Japan) sarà ospite
> presso l'Istituto per le Applicazioni del Calcolo dal 21 al 24 maggio pv.
> Durante il suo soggiorno terrà il seguente seminario:
>
> Titolo: The use of phase semantics: to make sense out of nonsense
> Speaker: Kazushige TERUI (National Institute of Informatics, Tokio, Japan)
Kazushige TERUI (National Institute of Informatics, Tokio, Japan) sarà ospite presso l'Istituto per le Applicazioni del Calcolo dal 21 al 24 maggio pv. Durante il suo soggiorno terrà il seguente seminario:
Titolo: The use of phase semantics: to make sense out of nonsense
Speaker: Kazushige TERUI (National Institute of Informatics, Tokio, Japan)
Quando: 23/05/2007 - 11:08
Dove: Aula 12 - Facoltà Lettere e Filosofia - Università Roma Tre - Via Ostiense 234 Roma
Abstract
