Home

Seminari

Oltre alla lista dei prossimi seminari puoi consultare anche il programma completo dei seminari 2010

Prossimi:

Discussione tesi di dottorato e workshop

Speaker:
Andrei Dorman, Giulio Guerrieri
Quando:
20/06/2013 - 14:00
Dove:
Discussione tesi di dottorato di Andrei Dorman e Giulio Guerrieri: giovedì 20/06, dalle ore 14:00, Dipartimento Fil.Co.Spe, Aula Verra, via Ostiense 234; Workshop informale: venerdì 21/06, ore 10-14, Dipartimento di Matematica e Fisica, Aula 009, Largo San Leonardo Murialdo 1.
Abstract

Giovedì 20 giugno in Aula Verra (Dipartimento di Filosofia, Via Ostiense, 234) si terranno le discussioni delle due seguenti tesi di dottorato:

1) Alle ore 14:00, tesi di Andrei Dorman (cotutela Roma Tre-Paris 13), dal titolo "Concurrency in Interaction Nets and Graph Rewriting"
Drettori di tesi:
L. Tortora de Falco (Roma Tre)
D. Mazza, S. Guerrini (Paris 13)
Commissione: F. Gadducci (Pisa), S. Guerrini (Paris 13), D. Hirschkoff (Ecole Normale Supérieure Lyon), C. Laneve (Bologna), D. Mazza (CNRS-Paris 13), L. Tortora de Falco (Roma Tre)
Referee: C. Palamidessi (INRIA, école Polytechnique), M. Fernandez (King's College London)

2) Alle ore 16:00, tesi di Giulio Guerrieri (cotutela Roma Tre-Paris 7), dal titolo "Differential nets, experiments and reduction"
Drettori di tesi:
L. Tortora de Falco (Roma Tre)
T. Ehrhard (Paris 7)
Commissione: V. M. Abrusci (Roma Tre), D. Mazza (CNRS-Paris 13), T. Ehrhard (CNRS-Paris 7), L. Tortora de Falco (Roma Tre)
Referee: M. Fiore (Cambridge), L. Regnier (IML-Université Aix-Marseille)

Per l'occasione, si terrà venerdì 21 giugno dalle 10 alle 14 in aula 009 (presso il Dipartimento di Matematica e Fisica, Largo S. Leonardo Murialdo, 1) un workshop informale sulle tematiche delle due tesi di dottorato, con interventi dei membri delle commissioni e successiva discussione aperta.

Per ulteriori informazioni:
tortora@uniroma3.it

Passati:
SpeakerTitoloQuando
Logica, sillogismo dialettico e "Topici" di Aristotele09/04/2013 - 14:00
Paolo PistoneLaboratorio di sintassi trascendentale: tutorial su GoI615/03/2013 - 10:30
Francesca Romana FerranteLudics and dialectics 25/02/2013 - 15:00
Laboratorio di sintassi trascendentale 18/01/2013 - 09:00
Laboratorio di sintassi trascendentale11/01/2013 - 09:00
Gianluca CalcagniProof-Nets with Slices for Non-Commutative Intuitionistic Logic 03/07/2012 - 14:00
V. Michele AbrusciSintassi Trascendentale e Geometria dell’Interazione: interazioni tra logica e filosofia17/02/2012 - 14:00
Marco RomanoLinked Data e questioni di Compatibilità22/12/2011 - 11:00
Paolo PistoneLa normatività, risultati logici e prospettive filosofiche04/11/2011 - 16:00
Marco RomanoWeb, Spazi di Compatibilità e Ludica: quali prospettive di ricerca?04/11/2011 - 15:00
V. M. Abrusci, T. Numerico, D. Fiormonte, R. Vacca, P. Cursi, R. MaieliL'eredità di Steve Jobs e il futuro dell'informatica19/10/2011 - 15:00
Jean-Baptiste JoinetL’interazione: un concetto della filosofia30/05/2011 - 14:00
Andrei DormanNon-determinismi nelle reti d'interazione27/05/2011 - 11:00
Giulio GuerrieriEspansione di Taylor dei lambda-termini ordinari e uniformità20/05/2011 - 11:00
V. Michele AbrusciLa sintassi trascendentale: cosa è, che prospettive apre alla ricerca logica04/03/2011 - 11:00
Jean-Baptiste Joinet (Université Paris 1 Sorbonne-Panthéon)Negation and protological foundations for logic18/06/2010 - 14:00
Damiano MazzaMeasuring the Expressiveness of Rewriting Systems through Event Structures21/05/2010 - 10:30
Mattia PetroloArmonie classiche per connettivi computazionali14/05/2010 - 11:30
Paolo Di GiamberardinoJump from parallel to sequential proofs: Exponentials07/05/2010 - 11:30
Marco PediciniUn'applicazione del SAT-solver in bioinformatica23/04/2010 - 11:30
Remo PareschiVerso una logica dell'innovazione26/03/2010 - 11:30
Prof. Roberto Avanzi (Bochum, Germany)Arithmetic of Supersingular Koblitz Curves in Characteristic Three25/03/2010 - 11:00
Gabriele PulciniAlcune osservazioni sulle nozioni di verità e indecidibilità19/03/2010 - 11:30
Lorenzo Tortora de FalcoSulla iniettività della semantica relazionale in MELL, 219/02/2010 - 11:30
Daniel De CarvalhoSulla iniettività della semantica relazionale in MELL, 129/01/2010 - 11:30
Giulio GuerrieriSemantica relazionale e tempo di calcolo, in logica lineare moltiplicativa22/01/2010 - 12:15
Andrei DormanLinear Logic by asymmetric levels22/01/2010 - 11:30
Michele AbrusciPrime considerazioni su “LOGICOMIX: an epic search for truth”15/01/2010 - 11:30
Thomas EhrhardIl modello di Scott della Logica Lineare è il collasso estensionale del modello relazionale30/10/2009 - 11:00
V.Michele AbrusciI principali teoremi sulla logica: un bilancio e alcune prospettive03/07/2009 - 17:00
Gabriele Pulcini (ENS Parigi)Alcuni aspetti logici del teorema di classificazione per le superfici topologiche (Massey)22/05/2009 - 14:00
Claudia Casadio (Università di Chieti), M. Teresa Medaglia e Camillo Porcaro (Aston University, Birmingham)Le proposizioni "positive" e "negative" nel ragionamento: uno studio elettroencefalografico21/05/2009 - 16:00
Jean-Baptiste Joinet (Philosophie, Paris 1 Panthéon-Sorbonne)La logica contemporanea e lo statuto della metafisica aristotelica: alcune considerazioni15/05/2009 - 16:00
Mattia PetroloSull'unità della logica classica15/05/2009 - 11:00
Antonio MoscaUna rilettura logica d'alcuni problemi di metodo in linguistica e in scienze sociali08/05/2009 - 11:00
Giulia FrezzaLa dinamica del vivente17/04/2009 - 11:00
Michele PaganiRicostruire una rete di prova dal suo sviluppo di Taylor03/04/2009 - 11:00
Damiano MazzaSemantica denotazionale per la logica lineare a livelli27/03/2009 - 11:00
Roberto MaieliCostruzione concorrente di reti di prova e sistemi transazionali20/03/2009 - 11:00
Mario PiazzaLogica, cognizione e dimostrazioni visive06/03/2009 - 14:00
Marco PediciniAlgebre di von Neumann, shift registers e complessità27/02/2009 - 14:00
Lorenzo Tortora de FalcoUna misura semantica del tempo di esecuzione in logica lineare13/02/2009 - 14:00
Stefano GuerriniJumping boxes30/01/2009 - 14:00
Teresa NumericoLa logica dopo le macchine: Turing, Gödel, Von Neumann e gli altri23/01/2009 - 14:00
Marco RomanoRicerca sui contributi della Logica Lineare e dei suoi sviluppi al Semantic Web09/01/2009 - 10:00
Michele AbrusciLa logica e il quadrato aristotelico degli opposti05/12/2008 - 17:00
Paul RuetDynamique discrète et structure des réseaux génétiques12/10/2007 - 10:00
Michele PAGANI Between interaction and semantics: visible acyclic nets21/09/2007 - 08:00
Daniel de CarvalhoTBA09/07/2007 - 13:00
Paolo Di Giamberardino Jump from Parallel to Sequential Proofs: Additives19/04/2007 - 16:00
Thomas Ehrhard (joint work with Olivier Laurent)Pi-calculus in differential interaction nets16/04/2007 - 13:30

In archivio: Programma dei Seminari 2008 - 2009