Warning: Table './church/sessions' is marked as crashed and last (automatic?) repair failed
query: SELECT sid FROM sessions WHERE sid = '879339qvh7ucvq7p62csjl6gn7' in /var/www/church/includes/database.mysql.inc on line 121 Workshop: "Proofs and types", 25 years later | Gruppo di Logica e Geometria della Cognizione
Cari tutti,
si segnala che nei giorni 26-28 Marzo, contestualmente alla discussione della tesi di dottorato di Paolo Pistone (in cotutela tra l'Università Roma Tre e la Aix-Marseille Université), si terrà, presso la Scuola di "Lettere, Filosofia, Lingue" (ex Facoltà di Lettere e Filosofia, via Ostiense 234), un workshop dal titolo "Proofs and types, 25 years later". L'evento é organizzato dal Gruppo di Logica e Geometria della Cognizione con il supporto del progetto franco-tedesco ANR/DFG HYPOTHESES (IHPST, Univ. Paris 1 e Tubingen Univ.).
Ulteriori informazioni sul workshop e sull'organizzazione di queste tre giornate possono essere trovate qui.
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 = '879339qvh7ucvq7p62csjl6gn7' in /var/www/church/includes/database.mysql.inc on line 121.', 2, '', 'http://logica.uniroma3.it/node/627', '', '216.73.216.11', 1759533325) 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 ('879339qvh7ucvq7p62csjl6gn7', 0, 0, '216.73.216.11', '', 1759533325) in /var/www/church/includes/database.mysql.inc on line 121.', 2, '', 'http://logica.uniroma3.it/node/627', '', '216.73.216.11', 1759533325) in /var/www/church/includes/database.mysql.inc on line 121
