From mboxrd@z Thu Jan 1 00:00:00 1970 Received: (from weis@localhost) by pauillac.inria.fr (8.7.6/8.7.3) id XAA19553 for caml-red; Wed, 14 Jun 2000 23:30:49 +0200 (MET DST) Received: from concorde.inria.fr (concorde.inria.fr [192.93.2.39]) by pauillac.inria.fr (8.7.6/8.7.3) with ESMTP id UAA03012 for ; Wed, 14 Jun 2000 20:54:52 +0200 (MET DST) Received: from izanami (izanami.cee.hw.ac.uk [137.195.52.195]) by concorde.inria.fr (8.10.0/8.10.0) with ESMTP id e5EIspP05647; Wed, 14 Jun 2000 20:54:51 +0200 (MET DST) Received: from amida ([137.195.12.30] ident=exim) by izanami with esmtp (Exim 3.03 #1) id 132IF0-0000EF-00; Wed, 14 Jun 2000 19:50:18 +0100 Received: from fairouz by amida with local (Exim 2.02 #3) id 132IEl-0007AV-00; Wed, 14 Jun 2000 19:50:03 +0100 To: amast@cs.utwente.nl, angelica@dmat.uevora.pt, aruano@mozart.si.ualg.pt, rmenezes@mat.ua.pt, bra-types@cs.chalmers.se, caml-list@inria.fr, categories@mta.ca, colibri@let.uu.nl, concurrency@cwi.nl, coq-club@pauillac.inria.fr, docentes@noe.ubi.pt, eacsl@dimi.uniud.it, eapls-request@mailbase.ac.uk, elsa@gia.ist.utl.pt, math-phys_sem@bebop.math.ist.utl.pt, engsc@uma.pt, haskell@haskell.org, info-hol@jaguar.cs.byu.edu, igplmember@dcs.kcl.ac.uk, isabel@dei.uc.pt, comct@mat.uc.pt, isabelle-users@cl.cam.ac.uk, lambda-usergroup@dcs.ed.ac.uk, lego-club@dcs.ed.ac.uk, licsr@sun7.mathematik.uni-freiburg.de, logic@cs.stanford.edu, pept%yl.is.s.u-tokyo.ac.jppvs@csl.sri.com, luis@ncc.up.pt, appsem@cs.chalmers.se, mchauser@ptmat.lmc.fc.ul.pt, lmp@di.fct.unl.pt, rewriting@ens-lyon.fr, types@cis.upenn.edu, secretaria@di.fct.unl.pt Subject: Festival Workshop in Foundations and Computations Message-Id: From: Fairouz Kamareddine Date: Wed, 14 Jun 2000 19:50:03 +0100 Sender: weis Festival Workshop in Foundations and Computations Heriot-Watt University, Edinburgh Sunday 16 July-Tuesday 18 July 2000 http://www.cee.hw.ac.uk/~fairouz/festival/workshop1/ This workshop is a part of a research festival at Heriot-Watt University, Edinburgh, during parts of the summer of 2000. During the festival, international and national researchers spend short/long time at Heriot-Watt during which a lively research environment will take place. There will be many seminars during the festival details of which are advertised separately. When the visits coincide with a particular theme, a workshop will be held on that theme. If you like to take part in the festival and/or give a talk, contact fairouz@cee.hw.ac.uk. Grants are available for parts or all of the registration fees and accommodation. Contact fairouz@cee.hw.ac.uk for details. The first workshop in the festival is a workshop on foundations and computations. If you have a relevant talk, submit a three page abstract to fairouz@cee.hw.ac.uk by 25 June 2000. You will be informed of acceptance by 5 July 2000. Speakers and Topics Gilles Dowek (INRIA-Rocquencourt, FR): About Folding-Unfolding Cuts Jan van Eijck(University of Amsterdam, NL): Dynamic First Order Logic Jacques Fleuriot (University of Edinburgh, UK): Automating Newton's calculus in Isabelle Therese Hardin (Paris 6 and INRIA-Rocquencourt, FR): The calculus of contexts of lambda-sigma Roger Hindley (University of Swansea, UK): The birth of lambda-calculus and combinatory logic Alan Mycroft (Cambridge University and AT&T Labs, UK): Type Based Decompilation Gopalan Nadathur (University of Chicago, USA): proof theory and procedures for fragments of intuitionistic logic Gopalan Nadathur (University of Chicago, USA): implementation of higher-order logic programming languages Iain Stewart (University of Leicester, UK): A programming approach to descriptive complexity theory Grants Grants cover part or all of the registration fee and accommodation. We strongly welcome applications from women researchers, researchers who work in industry, and researchers whose place of work is in a less-favoured region. If you are not sure about eligibility, send an email to fairouz@cee.hw.ac.uk. The form for application for funding can be found on the above URL. Deadline for receipt of grant applications is 30 June 2000. You will receive notification of acceptance/rejection by 5 July 2000. In order to guarantee accommodation, it is advisable that your application is sent as soon as possible. The summer is a very busy time in Edinburgh.