Project : calligramme
Section: Dissemination
Teaching
Adam Cichon, with Claude Kirchner, is in charge of the DEA course on ``logique et démonstration automatique''.
Adam Cichon teaches the course on Logic and Artificial Intelligence for the DESS ``Compétences Complémentaires''. In 2004 this course took place in Casablanca, Morocco.
Adam Cichon heads the ``licence informatique''.
François Lamarche is in charge of the DEA course on the semantics of natural languages, which he is giving this year with Philippe de Groote.
François Lamarche gave a course at the 2004 ICCL Summer School on Proof Theory and Automated Theorem Proving in June in Dresden, with the title ``Logic seen as a branch of geometry''.
Jean-Yves Marion is in charge of the option ``Ingénierie des systèmes informatiques'' at École des Mines starting in September.
Jean-Yves Marion is head of the proposal of the professionnal master ``Conception sûre de systèmes embarqués et ambiants''.
Jean-Yves Marion took part in the creation of the formation in computational biology at École des Mines and is in charge of the course on ``Bases et banques de données''.
Guy Perrier is in charge of the organization of the course on algorithmics for the parsing of natural languages, which he is teaching with Bertrand Gaiffe in the computer science DEA of Nancy.
Guy Perrier with Bertrand Gaiffe gave a course on basic parsing techniques for natural language at the 16th European Summer School in Logic, Language and Information, which was organized in Nancy from the 9th to the 20th of August 2004.
