LINGUIST List 11.830

Tue Apr 11 2000

FYI: Summer School/Comp Logic, Latin Software

Editor for this issue: Lydia Grebenyova <lydialinguistlist.org>


Directory

  • Sandro Etalle, International Summer School on Computational Logic, Italy
  • Michael Cummings, Latin Software for self-instruction

    Message 1: International Summer School on Computational Logic, Italy

    Date: Tue, 04 Apr 2000 10:09:21 +0200 (CEST)
    From: Sandro Etalle <etalleCS.UNIMAAS.NL>
    Subject: International Summer School on Computational Logic, Italy


    S E C O N D C A L L F O R P A R T I C I P A T I O N ~~~~~~~~~~~~~~~~~~~~~~ International Summer School on Computational Logic ISCL 2000 Maratea (Italy), September 3-8 http://www.cs.unimaas.nl/~etalle/school2000/index.html

    AIM

    The school is addressed to young researchers and PhD students, as well as to university and industry researchers. Its main goal is to give the participants an insight of some relevant research lines in Computational Logic.

    PROGRAMME

    The school consists of six lectures on different topics, including theoretical foundations and practical perspectives. Each lecture covers one topic from basic notions to more advanced issues. PhD students may ask to have a proficiency final exam at the end of the school. The lecturers and the topics are the following:

    - Moreno Falaschi (University of Udine, Italy). Optimization of declarative languages.

    - Thom Fruehwirth (LMU Munich, Germany). Constraint Programming.

    - Peter Lee (Carnegie Mellon University, USA). Proof Carrying Code.

    - Dale Miller (The Pennsylvania State University, USA). A Logic for Reasoning about Logic Specifications.

    - Paul Tarau (University of North Texas, USA). Logic Programming based Internet Technologies.

    - Frits Vaandrager (University of Nijmegen, The Netherlands). Verification of timed and hybrid systems.

    LOCATION

    The lectures will be given in the congress center of Hotel Villa del Mare, Acquafredda di Maratea (Basilicata, Italy) which is 6 km away from Maratea. The hotel is in a beautiful position in front of the sea, with a swimming pool, a lift to its private beach, cinema-club and many other facilities. Maratea is an ancient city on the Gulf of Policastro, founded during the Greek period. It is the only portion of Lucania on the Tyrrhenian sea, situated in one of the most beautiful parts of the Italian southern coast.

    REGISTRATION

    The registration fee covers proceedings, full board, refreshments and social events. There is no deadline for late registration, however the number of participants is limited and application requests will be served on a FIFO basis.

    Early registration (before May 15th)

    - double room: 800 Eur - single room: 900 Eur

    Late registration (after May 15th)

    - double room: 900 Eur - single room: 1000 Eur

    Limited funds will be available for grants. To apply for a grant please contact one of the organizers.

    Details over the registration procedure will soon be available at the school home page.

    SPONSORS

    * ALP - The Association for Logic Programming. http://www.cwi.nl/projects/alp/

    * COMPULOG Net - The European Network in Computational Logic. http://www.compulog.org/

    * GULP - The Italian association for Logic Programming. http://rep1.iei.pi.cnr.it/people/asirelli/GULP.html

    * CYBERTEC. http://www.cybertec.it .

    FURTHER INFORMATION

    For further informations, please see

    http://www.cs.unimaas.nl/~etalle/school2000/index.html

    or contact the School Organizers:

    Sandro Etalle (University of Maastricht) etallecs.unimaas.nl

    Maurizio Gabbrielli (University of Udine) gabbridimi.uniud.it


    Message 2: Latin Software for self-instruction

    Date: Sun, 9 Apr 2000 11:53:56 EST5EDT
    From: Michael Cummings <mcummingsGLENDON.YORKU.CA>
    Subject: Latin Software for self-instruction


    Anyone who was interested last summer in The Caesar Machine (freeware Latin hypertext reader for De Bello Gallico, I -- get an English definition for each word by pressing a key) might also be interested in The Caesar Machine 2: this is a proper Windows version of the teaching machine, written in Visual Basic, in which you just mouse-click on a word in the text and the dictionary entry appears in English below the text. This also is freeware, downloads as a zip file = 1.8 Mb, runs under Windows 95/98/NT, and is available at:

    http://www.geocities.com/Paris/Rue/9963

    Caesar Machine 2 incorporates search routines for the body of the text and the body of the dictionary, as well as for dictionary entries. The original Caesar Machine (for DOS, also runs under Windows) is still available at the same place, with new corrigenda incorporated into the text and dictionary files.

    Michael Cummings English York University, Toronto