Le séminaire a habituellement lieu le lundi après midi, à deux heures, dans la salle
B013 du batiment
LORIA.
Bien entendu il est ouvert à toute personne intéressée.
The seminar usually takes place on Monday
at 2 p.m. in room B013 of the LORIA
building.
Indeed, it is open to anyone interested.
Comment venir / How to reach LORIA
Le 24 Mai 2004, Salle B011, Calogero Zarab (Cassis-LORIA, Nancy), A Quantifier Elimination Algorithm for a Fragment of Set Theory Involving the Cardinality Operator. (Abstract)
N'hésitez pas à proposer (à l'avance !) des exposés, plus spécialement pour les lundis sans comité des projets ni colloques.
To propose talks, to be added to the seminar mailing list, and to ask any question about the seminar please send an email to Silvio.Ranise@loria.fr
Le 9 Fevrier 2004, Salle A008, Serge Autexier (DFKI, Saarbruecken), The CORE Calculus for Contextual Reasoning . (Abstract)
Le 2 Fevrier 2004, Salle B011, Etienne Birmele (LaPCS-Laboratoire de Probabilites, Combinatoire et Statistiques, U. Lyon I), Bornes polynomiales pour la largeur d'arborescence. (Abstract)
Le 9 Janvier 2004, Salle A006, Cesare Tinelli (Prof. Iowa University, USA), DPLL-based Checkers for Satisfiability Modulo Theories. (Abstract)
Le 9 Décembre 2003, Salle A006, Peter Ryan (Prof.Prof. University of Newcastle), Dependability of e-voting. (Abstract)
Le 19 Mai 2003, Jeremie Blanc (IMAG Grenoble), Les Systèmes de Réécriture de Termes Temporisés. (Abstract)
Transparents du seminaire/Slides of the presentation (Compressed PS)
Le 12 Mai 2003, Andrei Paskevitch (University of Kiev), Le raisonnement à l'intérieur d'une formule . (Abstract)
Le 17 Mars 2003, Thomas Wilke (University of Kiel, RFA), From Temporal Logic to Buchi Automata. (Abstract)
Le 21 octobre 2002, John Oommen, Neither Fish Nor Fowl: Data Structures Which Are Both "Lists" and "Trees". (Abstract)
Transparents du seminaire/Slides of the presentation (Compressed PS)
Transparents du seminaire/Slides of the presentation (Compressed PDF)