Publishing Partner: Cambridge University Press CUP Extra Wiley-Blackwell Publisher Login

FYI: Summer School,Research Initiative,New Website


Author: Sandro Etalle

FYI Body: C A L L F O R P A R T I C I P A T I O N


NEW! deadline for early registration: June 1, 2000

~~~~~~~~~~~~~~~~~~~~~~

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 and
Reasoning.

- 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 mos
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 gran
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.


TENTATIVE SCHEDULE

Lectures are planned to start on Sunday early morning and to end on
Friday morning before 12:00.


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@cs.unimaas.nl

Maurizio Gabbrielli (University of Udine)
gabbri@dimi.uniud.i












The following may be of interest to those people in the ACL community:

The FY2001 Multidisciplinary University Research Initiative (MURI) Broad Agency
Announcement (BAA) is now on the ONR website. You can access it by clicking on
the following http://www.onr.navy.mil/sci_tech/special/onrpgadh.htm


The relevant topic is # 37, Statistical Machine Translation.


Helen M. Gigley, Ph.D.
Program Officer
Office of Naval Research
800 N. Quincy Street (ONR-342)
Arlington, VA 22217-5660

Phone: 703-696-0407
Fax: 703-696-1212
email: gigley@ITD.NRL.NAVY.MIL




I would like to call your attention to a new website:
http://www.attractorconcepts.com

The site contains a number of topics related to the application of concepts
from dynamic systems to language acquisition, processing, and change. I
also discusses a number of related concepts including fractal computation. A
visitor comment section has been established in the hopes of an interactive
discussion of some of the ideas there.

I hope it will be of interest.

David L. Cooper


Back   FYI main page