Warning: Table './church/sessions' is marked as crashed and last (automatic?) repair failed query: SELECT sid FROM sessions WHERE sid = '0vltqdonvnqfmfr28q5astgi00' in /var/www/church/includes/database.mysql.inc on line 121

Warning: Can't find file: 'watchdog' (errno: 2) query: INSERT INTO watchdog (uid, type, message, severity, link, location, referer, hostname, timestamp) VALUES (0, 'php', 'Creating default object from empty value in /var/www/church/modules/taxonomy.module on line 1223.', 2, '', 'http://logica.uniroma3.it/taxonomy/term/5?page=5', '', '216.73.216.26', 1759501840) in /var/www/church/includes/database.mysql.inc on line 121
lista seminario | Gruppo di Logica e Geometria della Cognizione

lista seminario

warning: Creating default object from empty value in /var/www/church/modules/taxonomy.module on line 1223.

Giornata di studi del gruppo di ricerca “Logica e Geometria della cognizione”

Il giorno giovedì 5 luglio, in Aula Verra a partire dalle ore 11:00, si terrà una giornata di studi del gruppo di ricerca "Logica e Geometria della cognizione". La giornata di studi è dedicata all’esposizione e alla discussione delle principali novità – di rilevanza per la filosofia – che emergono dalle ricerche che vengono svolte dai membri del gruppo di ricerca in collaborazione con altri gruppi di ricerca italiani e internazionali.


Seminario martedì 3 luglio

Il prossimo martedì 3 luglio, in Aula Verra alle ore 14:00, si terrà il seminario di Gianluca Calcagni (Università di Siena) dal titolo:

Proof-Nets with Slices for Non-Commutative Intuitionistic Logic

Summary: we expose a syntax for non-commutative intuitionistic logic in a "linear" fashion and we define the corresponding proof-theory with slices. We achieve:
(1) implicit box-building and sequentialisation in the general case
(2) strong confluence by cut-reductions for any single slice
(3) strong normalization for the implicational-free fragment


Temi di ricerca tra Logica e Filosofia

Carissime, carissimi,

mercoledì prossimo, 2 maggio, avrà inizio il ciclo di lezioni di Jean-Yves Girard, dal titolo Temi di ricerca tra Logica e Filosofia.

Vi ricordo che le lezioni di Jean-Yves Girard si svolgeranno, a partire da quella data e fino al 1 giugno, ogni mercoledì e venerdì, dalle 9 alle 13, presso l'Aula Verra (Dipartimento di Filosofia, Facoltà di Lettere e Filosofia di Roma Tre).


Temi di ricerca tra Logica e Filosofia

Carissime, carissimi,

mercoledì prossimo, 2 maggio, avrà inizio il ciclo di lezioni di Jean-Yves Girard, dal titolo Temi di ricerca tra Logica e Filosofia.

Vi ricordo che le lezioni di Jean-Yves Girard si svolgeranno, a partire da quella data e fino al 1 giugno, ogni mercoledì e venerdì, dalle 9 alle 13, presso l'Aula Verra (Dipartimento di Filosofia, Facoltà di Lettere e Filosofia di Roma Tre).


seminario venerdi' 17 febbraio

Venerdì 17 febbraio, alle ore 14 in Aula Verra si terrà il seminario di Michele Abrusci dal titolo

Sintassi Trascendentale e Geometria dell’Interazione: interazioni tra logica e filosofia

Gruppo di Logica e Geometria della Cognizione -- http://logica.uniroma3.it


promemoria seminario di giovedi' 22

Domani, giovedì 22 alle ore 11 in aula Verra si terrà il seminario di Marco Romano su "Linked Data e questioni di Compatibilità". Subito dopo il seminario potremo scambiarci gli auguri con un brindisi e dolci natalizi.

Gruppo di Logica e Geometria della Cognizione -- http://logica.uniroma3.it


seminario giovedi' 22 dicembre

Il prossimo appuntamento del Gruppo di Logica e Geometria della Cognizione è per giovedì 22 alle ore 11 in aula Verra.

Dopo il seminario di Marco Romano avremo l'occasione per scambiarci gli auguri di Natale.


prossimo seminario mercoledi' 21 dicembre

Il prossimo appuntamento con i seminari del Gruppo di Logica è fissato per mercoledì 21 dicembre alle ore 17.

Il seminario sarà tenuto da Marco Romano e a seguire avremo l'occasione per scambiarci gli auguri di Natale.
Il titolo del seminario e l'aula saranno comunicati prossimamente con un altro messaggio.

Gruppo di Logica e Geometria della Cognizione - http://logica.uniroma3.it


seminario di venerdi' 25 novembre

L'ultima parte del seminario di Paolo Pistone su

La normatività, risultati logici e prospettive filosofiche

si terrà venerdì 25 alle ore 15 in aula 14 - Facoltà di Lettere e Filosofia, Università Roma Tre

Gruppo di Logica e Geometria della Cognizione - http://logica.uniroma3.it


seminario venerdi' 18 - aula

Il seminario di venerdì prossimo, 18 novembre

La normatività, risultati logici e prospettive filosofiche, di Paolo Pistone

si terrà in Aula Verra - Facoltà di Lettere e Filosofia, Università Roma Tre.
Si ricorda la variazione d'orario per questo appuntamento, che sarà alle ore 11 in punto.

Gruppo di Logica e Geometria della Cognizione - http://logica.uniroma3.it


Syndicate content

Warning: Can't find file: 'watchdog' (errno: 2) query: INSERT INTO watchdog (uid, type, message, severity, link, location, referer, hostname, timestamp) VALUES (0, 'php', 'Table './church/sessions' is marked as crashed and last (automatic?) repair failed\nquery: SELECT sid FROM sessions WHERE sid = '0vltqdonvnqfmfr28q5astgi00' in /var/www/church/includes/database.mysql.inc on line 121.', 2, '', 'http://logica.uniroma3.it/taxonomy/term/5?page=5', '', '216.73.216.26', 1759501840) in /var/www/church/includes/database.mysql.inc on line 121

Warning: Can't find file: 'watchdog' (errno: 2) query: INSERT INTO watchdog (uid, type, message, severity, link, location, referer, hostname, timestamp) VALUES (0, 'php', 'Table './church/sessions' is marked as crashed and last (automatic?) repair failed\nquery: INSERT INTO sessions (sid, uid, cache, hostname, session, timestamp) VALUES ('0vltqdonvnqfmfr28q5astgi00', 0, 0, '216.73.216.26', '', 1759501840) in /var/www/church/includes/database.mysql.inc on line 121.', 2, '', 'http://logica.uniroma3.it/taxonomy/term/5?page=5', '', '216.73.216.26', 1759501840) in /var/www/church/includes/database.mysql.inc on line 121