11.830, FYI: Summer School/Comp Logic, Latin Software

Tue Apr 11 15:28:24 UTC 2000

LINGUIST List:  Vol-11-830. Tue Apr 11 2000. ISSN: 1068-4875.

Subject: 11.830, FYI: Summer School/Comp Logic, Latin Software

Moderators: Anthony Rodrigues Aristar, Wayne State U.<aristar at linguistlist.org>
            Helen Dry, Eastern Michigan U. <hdry at linguistlist.org>
            Andrew Carnie, U. of Arizona <carnie at linguistlist.org>

Reviews: Andrew Carnie: U. of Arizona <carnie at linguistlist.org>

Associate Editors:  Ljuba Veselinova, Stockholm U. <ljuba at linguistlist.org>
		    Scott Fults, E. Michigan U. <scott at linguistlist.org>
		    Jody Huellmantel, Wayne State U. <jody at linguistlist.org>
		    Karen Milligan, Wayne State U. <karen at linguistlist.org>

Assistant Editors:  Lydia Grebenyova, E. Michigan U. <lydia at linguistlist.org>
		    Naomi Ogasawara, E. Michigan U. <naomi at linguistlist.org>
		    James Yuells, Wayne State U. <james at linguistlist.org>

Software development: John Remmers, E. Michigan U. <remmers at emunix.emich.edu>
                      Sudheendra Adiga, Wayne State U. <sudhi at linguistlist.org>
                      Qian Liao, E. Michigan U. <qian at linguistlist.org>

Home Page:  http://linguistlist.org/

The LINGUIST List is funded jointly by Eastern Michigan University,
Wayne State University, and donations from subscribers and publishers.

The LINGUIST Fund Drive for 2000 has begun.  We need your help to
continue providing the LINGUIST services!  Come to the URL
http://linguistlist.org/donation.html and make a donation.
Editor for this issue: Lydia Grebenyova <lydia at linguistlist.org>

=================================Directory=================================

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

2)
Date:  Sun, 9 Apr 2000 11:53:56 EST5EDT
From:  "Michael Cummings" <mcummings at GLENDON.YORKU.CA>
Subject:  Latin Software for self-instruction

-------------------------------- Message 1 -------------------------------

Date:  Tue, 04 Apr 2000 10:09:21 +0200 (CEST)
From:  Sandro Etalle <etalle at CS.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)
etalle at cs.unimaas.nl

Maurizio Gabbrielli (University of Udine)
gabbri at dimi.uniud.it

-------------------------------- Message 2 -------------------------------

Date:  Sun, 9 Apr 2000 11:53:56 EST5EDT
From:  "Michael Cummings" <mcummings at GLENDON.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

---------------------------------------------------------------------------
LINGUIST List: Vol-11-830