LINGUIST List 16.1897
Sun Jun 19 2005
Calls: Applied Ling/Chile; General Ling/Germany
Editor for this issue: Megan Zdrojkowski
<meganlinguistlist.org>
Directory
1. Hernan
Perez,
Congreso Catedra UNESCO para la Lectura y Escritura: Leer y Escribir en un Mundo Cambiante
2. Holger
Schlingloff,
Methods for Modalities 2005: M4M-4
Message 1: Congreso Catedra UNESCO para la Lectura y Escritura: Leer y Escribir en un Mundo Cambiante
Date: 17-Jun-2005
From: Hernan Perez <heperez
udec.cl>
Subject: Congreso Catedra UNESCO para la Lectura y Escritura: Leer y Escribir en un Mundo Cambiante
Full Title: Congreso Catedra UNESCO para la Lectura y Escritura: Leer y Escribir
en un Mundo Cambiante
Date: 24-Aug-2005 - 26-Aug-2005
Location: Concepcion, Chile
Contact Person: Hernan Perez
Meeting Email: catedraunesco
udec.cl
AUSPICIOS
Comisión Nacional de la UNESCO, MINEDUC
Academia Chilena de la Lengua
Sociedad Chilena de Lingüística
Universidad de Concepción
Facultad de Humanidades y Arte
Departamento de Español
Programa de Postgrado en Lingüística
Facultad de Educación
Dirección de Extensión
Message 2: Methods for Modalities 2005: M4M-4
Date: 17-Jun-2005
From: Holger Schlingloff <m4m-4
first.fraunhofer.de>
Subject: Methods for Modalities 2005: M4M-4
Full Title: Methods for Modalities 2005: M4M-4
Short Title: M4M
Date: 01-Dec-2005 - 02-Dec-2005
Location: Berlin, Germany
Contact Person: Holger Schlingloff
Meeting Email: m4m-4
first.fraunhofer.de.
The workshop will take place in Berlin - Adlershof, Germany, which is one of
the worlds largest science and technology areas, comprising twelve research
institutes, six faculties of the Humboldt University of Berlin, and more than
370 high tech companies. It is hosted by FIRST, the Fraunhofer Institute of
Computer Architecture and Software Technology, in collaboration with the
computer science institute of Humboldt University.
Deadline for submissions: September 1st, 2005
Notification: October 17, 2005
Camera ready versions: November 8, 2005
Workshop dates: December 1-2, 2005
The program committee for M4M consists of
Holger Schlingloff, Humboldt University / FIRST (local organizations);
Carlos Areces, INRIA Lorraine;
Patrick Blackburn, INRIA Lorraine;
Torben Brauner, Roskilde University;
Stephane Demri, ENS de Cachan;
Enrico Franconi, Free University of Bolzano;
Rajeev Gore, University of Canberra;
Ian Horrocks, University of Manchester;
Joost-Pieter Katoen, University of Twente;
Maarten de Rijke, University of Amsterdam;
Renate Schmidt, University of Manchester; and
Frank Wolter, University of Liverpool.
Prof. Dr. Holger Schlingloff
Head of the Synthesis, Validation and Testing Department
Fraunhofer - Institute of Computer Architecture and Software Technology
FHG-FIRST, Kekulestr 7, D-12489 Berlin, Germany
Professor for Specification, Verification and Testing Theory
Department of Computer Science, Humboldt-University
Rudower Chaussee 25, D-12489 Berlin, Germany
phone: ++49 30 6392 1907
mobile: ++49 179 5973372
fax: ++49 30 6392 1805