Ecole d'ete (esslli97@ura1507.univ-paris13.fr)
Fri, 23 May 1997 18:31:00 +0100 (WET DST)
------------------------------- We apologize if you receive this mail more than once. -------------------------------- Note : there are two messages in this mail : 1. ESSLLI worksop 2. Crash courses for ESSLLI -------------------------------- ESSLLI'97 WORKSHOP August 11-22, 1997 GENERALIZED QUANTIFIERS AND COMPUTATION Organizer: Jouko Vaananen, University of Helsinki, Finland (http://geom.helsinki.fi/~logic/jouko.vaananen.html) C A L L F O R S T U D E N T P A P E R S The purpose of the workshop is to bring together experienced researchers and students in the areas of generalized quantifiers in finite model theory on one hand, and regular languages and circuit complexity on the other hand. New deadline: June 15th, 1997 Ph.D. student papers are invited for submission to this workshop of the European Summer School in Logic, Language and Information (ESSLLI'97, http://www.lpl.univ-aix.fr/~esslli97/). These papers, after evaluation and selection, will be presented in the five session during the first week of the summer school. The student session will give students the opportunity to present their work in progress and get valuable feedback from senior researchers and fellow-students. Presentations will last 30 minutes (including 10 minutes of discussion). If time permits, longer presentations will be scheduled. Student authors should submit a two-page abstract with name and address included. Electronic submissions are highly encouraged and should be sent to Kerkko Luosto (kluosto@cc.helsinki.fi, fax +358-9-1912-3213). New abstract deadline: June 15th, 1997 Authors notifications : June 20th, 1997 The list of speakers will include: Georg Gottlob (Vienna, http://www.dbai.tuwien.ac.at/staff/gottlob.html) Lauri Hella (Helsinki, http://www.helsinki.fi/science/logic/) Christian Michaux (Mons, http://sun1.umh.ac.be/~boffa/logic_in_mons.html) Iain Stewart (Leicester, http://www.mcs.le.ac.uk/~jnurmonen/compth.html) Heribert Vollmer (Wuerzburg, http://haegar.informatik.uni-wuerzburg.de/person/mitarbeiter/vollmer/) ------------------------------------------------------------------- _____________________________________________ CRASH COURSES for ESSLLI'97 (Aix-en-Provence) _____________________________________________ ESSLLI'97 offers you very introductory courses which will be held on the day preceding the beginning of the ordinary courses (Sunday, June 10th, 1997). These courses are adressed to students who would like to enter a new field. The participation to these courses is free. Please, register as soon as possible (use the form at the end of this mail or see the website). The following topics are proposed : . Introduction to Grammatical Formalisms -------------------------------------- by Christophe Fouqueré (Professor, URA-CNRS, Paris-13) (2 x 2 heures) This course will introduce to the fundamental mechanisms of contemporary syntactic theories (like GPSG, HPSG, TAG), mainly: - unification of feature structures - algebraic operations on trees. . Introduction to Deductive Systems --------------------------------- by Christian Retoré (Researcher, INRIA-Lorraine) (2 hours) Deductive systems play a very important role in Artificial Intelligence (expert-systems), in Theoretical Computer Science (rewriting systems, functional programming, logic programming...) and also in Computational Linguistics (categorial grammars). This course will be an introduction to various logics: classical logic, intuitionnistic logic, relevance logic, linear logic and variants expressed in two systems: Sequent Calculus and Natural Deduction. . Introduction to Model Theory ---------------------------- by Alain Lecomte (Professor, University of Grenoble) (2 hours) Model Theory provides the semantic side of logical systems (as they are studied in the previous course). This course will give an introduction to the notion of model, starting from models for the elementary predicate calculus, and finishing with some insights on representational theories used in Linguistics, like the Discourse Representation Theory. . Introduction to Modal Logic --------------------------- by Patrice Bailhache (Professor, University of Nantes) (2 hours) Modal Logic is essential to Artificial Intelligence and formalisation of many domains like Laws, Temporality, Knowledge, Belief and so on. Modalities are of many kinds (alethic, deontic, epistemic...) and can be formalised in Deductive Systems and in a Model-Theoretic way via the notion of possible world. This course will be an introduction to this field. . French for Foreigners --------------------- by Frédéric Sabio (University of Aix-en-Provence) (2 x 3 hours) This course will have two objectives : 1- to give some rudiments of the French language for non French speaking students in order they get a better enjoyment from their stay in Aix en Provence, 2- to introduce specific problems of the French language for the linguists. Registration form ----------------- Name : .............................................................. First Name : ........................................................ Adress : ............................................................ ............................................................. ............................................................. E-mail : ........................... Course : -------- o Introduction to Grammatical Formalisms (Christophe Fouqueré) o Introduction to Deductive Systems (Christian Retoré) o Introduction to Model Theory (Alain Lecomte) o Introduction to Modal Logic (Patrice Bailhache) o French for Foreigners (Frédéric Sabio)
This archive was generated by hypermail 2.0b3 on Fri Dec 18 1998 - 20:36:06 PST