LINGUIST List 11.376

Tue Feb 22 2000

Calls: Theoretical Ling, Computational Linguistics

Editor for this issue: Karen Milligan <karenlinguistlist.org>

Directory

1. Jeannette C. Schaeffer, Israeli Association for Theoretical Linguistics
2. Raamsdonk van F, CL2000: Call for workshop papers

REMINDER:

THE 16TH ANNUAL MEETING - ISRAELI ASSOCIATION FOR THEORETICAL LINGUISTICS

CALL FOR PAPERS

IATL 16
June 12/13 (Monday/Tuesday), 2000
TEL AVIV UNIVERSITY

INVITED SPEAKERS: Henk van Riemsdijk, Michael Brody and Barbara
Partee.

IATL 16, the 16th annual meeting of the Israeli Association for Theoretical
Linguistics, will be held at Tel Aviv University on June 12-13, 2000.
Submissions are invited for papers presenting high quality, previously
unpublished research in all areas of theoretical linguistics, including
Language Acquisition, Language Disorders, Psycho- and Neurolinguistics.
IATL publishes a working papers-style proceedings in which all accepted and
alternate papers appear.

Please send 7 copies of an anonymous abstract (maximum length 2 pages,
including references) accompanied by a card with author's name,
affiliation, e-/snail-mail, and title of paper to:

IATL 16
Department of Linguistics, attn. Julia Horvath
Webb Building, Tel Aviv University
Tel Aviv 69978

DEADLINE: March 2, 2000.

We do NOT accept electronic submissions.

Not more than one single-authored abstract per person, plus one
co-authored abstract.

IMPORTANT DATES:
March 2, 2000: abstract submission deadline
April 10, 2000: notification to authors of acceptance
June 12-13, 2000: IATL conference

Further information: jschaefbgumail.bgu.ac.il

- ---------------------------------------------------
Jeannette C. Schaeffer, Ph.D.				
Department of Foreign Literatures and Linguistics	
Ben Gurion University of the Negev			
P.O. Box 653				
Beer Sheva 84105, ISRAEL
Phone (W): +972-7-646 1118
Fax (W): +972-7-647 2907
Phone (H): +972-7-610 6558

	
	---------------- Message requiring your approval (280 lines) ------------------

	
		First International Conference on Computational Logic
			 Imperial College, London, UK
			 24th to 28th July, 2000
			 http://www.doc.ic.ac.uk/cl2000/
	

			 FIRST CALL FOR WORKSHOP PAPERS
	
	CL2000 is the first in a major new series of annual international
	conferences bringing together the various communities of researchers
	who have a common interest in Computational Logic.
	
	CL2000 will host seven workshops on different topics related to
	computational logic. Workshops will take place during the conference:
	They will not be 'post-conference' events, but a key activity within
	the conference.

* A special note to linguists: The chair of one of the streams is Veronica Dahl
who is a specialist in computational linguistics. The stream is called

Logic Programming Implementations and Applications and the more specific link is

http://www.doc.ic.ac.uk/cl2000/

	
	People interested in submitting a paper should contact directly the
	specific workshop coordinator.
	
	CL2000 workshop page: http://www.cs.unimaas.nl/~etalle/cl2000/index.htm
	
	 ********************************************************************
	 ** SHORT DESCRIPTION OF THE WORKSHOP (below follows a longer one) **
	 ********************************************************************
	
	[1] Workshop on Logic Programming and Software Engineering 
	 Organizer: Gopal Gupta guptacs.nmsu.edu
	
	[2] Workshop on Verification and Computational Logic 
	 http://www.ecs.soton.ac.uk/~mal/vcl2000.html
	 Contact person: Michael Leuschel, malecs.soton.ac.uk 
	
	[3] First Workshop on Memory Management in Logic Programming
	 Implementations. 
	 http://www.cs.kuleuven.ac.be/~bmd/mmws.html
	 Organizer: Bart Demoen, bmdcs.kuleuven.ac.be
	
	[4] Workshop on Rule-Based Constraint Reasoning and Programming
	 supported by Compulog and ERCIM. 
	 http://www.pst.informatik.uni-muenchen.de/~fruehwir/cl2000r.html
	 Contact person: Thom Fruehwirth, fruehwirinformatik.uni-muenchen.de 
	
	[5] Workshop on Parallelism and Implementation Technology for
	 (Constraint) Logic Programming Languages 
	 http://www.cos.ufrj.br/~parimp00
	 Contact Person: Ines de Castro Dutra, inescos.ufrj.br 
	
	[6] Workshop on Computational Logic in Multi-Agent Systems (CLIMA).
	 http://mhjcc3-ei.eng.hokudai.ac.jp/clima.html
	 Organisers: Ken Satoh ksatohdb-ei.eng.hokudai.ac.jp 
			Fariba Sadri fsdoc.ic.ac.uk
	
	[7] UK Constraint Network (Consnet) Annual Workshop. 
	 Organiser: Mark Wallace, mgwicparc.ic.ac.uk
	
		 *****************************************
		 ** LONGER DESCRIPTION OF THE WORKSHOPS **
		 *****************************************
	
	[1] Workshop on Logic Programming and Software Engineering 
	 Organizer: Gopal Gupta guptacs.nmsu.edu
	
	 The workshop I is concerned with how (constraint) logic
	 programming can aid in engineering of large software systems. For
	 example, how (C)LP can help in specification and modeling of s/w
	 systems including real-time systems, verification of software
	 systems, automatic derivation of efficient implementations,
	
	 The workshop papers are solicited on the following topics:
	
	 * (C)LP for modeling and specification of large software systems
	 incl. real-time systems
	
	 * (C)LP for verification and model checking of s/w systems and
	 real-time systems.
	
	 * (C)LP for deriving efficient implementations from
	 specifications.
	
	 * (C)LP for Process Discover in S/W Engineering.
	
	 * Any other application of (C)LP for S/W Engineering.
	
	
	[2] Workshop on Verification and Computational Logic
	 http://www.ecs.soton.ac.uk/~mal/vcl2000.html
	 Contact person: Michael Leuschel, malecs.soton.ac.uk 
	
	 The aim of this workshop is to bring together researchers working
	 on the interplay between verification techniques (e.g., model
	 checking, reduction, and abstraction) and logic programming
	 techniques (e.g., constraints, abstract interpretation, program
	 transformation).
	
	 Organizers:
		Michael Leuschel	(malecs.soton.ac.uk)
		Andreas Podelski	(podelskimpi-sb.mpg.de)
		C.R. Ramakrishnan	(cramcs.sunysb.edu)
		Ulrich Ultes-Nitsche	(uunecs.soton.ac.uk)	
	
	
	[3] First Workshop on Memory Management in Logic Programming
	 Implementations. 
	 http://www.cs.kuleuven.ac.be/~bmd/mmws.html
	
	 Bart Demoen (K.U.Leuven, Belgium - organiser) 
	 Olivier Ridoux (IRISA/Univ. of Rennes 1, France) 
	 Vitor Santos Costa (Universidade Federal do Rio de Janeiro, Brazil) 
	 Zoltan Somogyi (Univ. of Melbourne, Australia) 
	
	 Memory management (as a topic for publication and research) has
	 been a bit neglected by the LP community, in contrast to the
	 tradition in functional programming and more recently in the Java
	 community. Still, memory management is crucial in LP
	 implementations and it is high time that hearsay and folklore is
	 turned into paper. Implementors, researchers and users will
	 benefit.
	
	 We aim to bring together implementors of LP systems, with
	 practical or theoretical experience in memory management of such
	 systems, as well as interested LP users who would like to
	 understand better issues involved in memory management. The
	 intended focus is on memory management of run time data structures
	 of sequential implementations of LP, and on topics like memory
	 profiling, data representation, garbage collection, memory layout,
	 alternative allocation schemas, but not restricted to these.
	
	
	[4] Workshop on Rule-Based Constraint Reasoning and Programming
	 supported by Compulog and ERCIM. 
	 http://www.pst.informatik.uni-muenchen.de/~fruehwir/cl2000r.html
	 Contact person: Thom Fruehwirth, fruehwirinformatik.uni-muenchen.de 
	
	 Rule-based formalisms are ubiquitous in computer science, and even
	 more so in constraint reasoning and programming. In constraint
	 reasoning, algorithms are often specified using inference rules,
	 rewrite rules, sequents or logical axioms. Advanced programming
	 languages like CHR, CLAIRE and ELAN allow the implementation both
	 constraint solvers and programs using constraints in a rule-based
	 formalism.
	
	 The workshop invites papers describing ongoing work in using
	 rule-based formalisms in constraint reasoning and programming. In
	 particular, on specification of algorithms for solving constraints
	 by rules and on implementations of constraint solvers and programs
	 solving problems in a novel way using rule-based programming
	 languages that go beyond constraint logic programming, as well as
	 on analysis of rule-based programs and other issues related to
	 rule-based language design and implementation.
	
	 To submit, send an email to fruehwirinformatik.uni-muenchen.de
	 containing three lines with title, authors and WWW link to
	 compressed postscript file. Accepted papers will be published in
	 hard-copy proceedings available at the workshop.
	
	 Organization
	
	 Thom Fr�hwirth
	 Slim Abdennadher
	 Krzysztof Apt
	 Yves Caseau 
	 Joxan Jaffar 
	 Helene Kirchner 
	
	 Important Dates
	
	 May 15, 2000: Paper submissions
	 June 10, 2000: Acceptance decisions
	 July 1, 2000: Final version due
	 July 24-28, 2000: Conference and workshop days
	
	 The final workshop programme schedule will be coordinated with the
	 UK Constraint Network (Consnet) Annual Workshop.
	
	
	[5] Workshop on Parallelism and Implementation Technology for
	 (Constraint) Logic Programming Languages 
	 http://www.cos.ufrj.br/~wpit00
	 Contact Person: Ines de Castro Dutra, inescos.ufrj.br 
	
	 Papers from both academia and industry are invited. Preference
	 will be given to the analysis and description of implemented
	 systems (or currently under implementation) and their associated
	 techniques, problems found in their development or design, and
	 steps taken towards the solution of these problems.
	
	 TOPICS include, but are not limited to:
	
	 - standard and non-standard sequential implementation schemes
	 (e.g., generalization/modification of WAM, translation to C);
	 - implementation of parallel logic programming systems;
	 - balance between compile-time effort and run-time machinery;
	 - techniques for the implementation of different declarative
	 programming paradigms based on, or extending, logic programming
	 (e.g., constraint logic programming, concurrent constraint
	 languages, equational-logic languages);
	 - performance evaluation of sequential and parallel logic
	 programming systems, both through benchmarking and using real 
	 world applications;
	 - other implementation-related issues, such as memory management,
	 register allocation, use of global optimizations, etc.
	
	 ORGANIZING COMMITTEE
	
	 Ines de Castro Dutra inescos.ufrj.br
	 COPPE/Systems Engineering and Computer	
				 Science, Federal Univ. of Rio de Janeiro
	 Enrico Pontelli epontellcs.nmsu.edu
	 LLDAP, New Mexico State University
	 Vitor Santos Costa vscncc.up.pt
	 COPPE/Systems Engineering and Computer	
				 Science, Federal Univ. of Rio de Janeiro
	 Fernando Silva fdsncc.up.pt
	 LIACC, Universidade do Porto
	 Manuel Carro mcarrofi.upm.es
	 Department of Computer Science
	 Technical University of Madrid
	
	
	[6] Workshop on Computational Logic in Multi-Agent Systems (CLIMA).
	 http://mhjcc3-ei.eng.hokudai.ac.jp/clima.html
	 Organisers: Ken Satoh ksatohdb-ei.eng.hokudai.ac.jp 
			Fariba Sadri fsdoc.ic.ac.uk
	
	 The Internet and Robotics make research on multi-agent systems
	 very important. However, programming in these domains becomes very
	 complicated and reasoning about behavior of these systems becomes
	 extremely difficult. Therefore, it is important to be able to
	 formalize multi-agent systems and to reason about agent's behavior
	 automatically. The purpose of this workshop is to discuss
	 techniques, based on computational logic, for reasoning about
	 multi-agent systems in a formal way. This is clearly a major
	 challenge for computational logic, to deal with real world issues
	 and applications.
	
	 deadline for submission: April 30th, 2000
	
	
	[7] UK Constraint Network (Consnet) Annual Workshop. 
	 Organiser: Mark Wallace, mgwicparc.ic.ac.uk
	
	 Consnet is a network of researchers aiming to drive forward the
	 technology and skills available in the UK to tackle computational
	 problems involving constraints.
	 
	 The aims of the workshop are to disseminate the results of recent
	 research in this area, to encourage cross-fertilisation of ideas and
	 new multi-disciplinary research proposals, to publicise and learn
	 from existing successful applications and from problems which are
	 currently out of reach, to identify the vision of this research 
	 community for the long-term future development of constraints 
	 technology, and to plan a corresponding long-term strategy to achieve 
	 the necessary scientific advance and take-up.
	 
	 Organiser:
	 Mark Wallace, IC-Parc, Imperial College
	 
	 Committee:
	 David Gilbert, City University
	 Ken Brown, Aberdeen University
	 Suzanne Embury, Cardiff University
	 Edward Tsang, Essex University
	 Dave Cohen, Royal Holloway College
	 Pat Prosser, Strathclyde University
	 Barbara Smith, Leeds University
	 Ian Gent, St Andrews University
	 Toby Walsh, University of York
	 Peter Jeavons, University of Oxford
	 
	=============================================================================
	
	Questions over the workshop's organization can be addressed to the
	workshop chair:
	
	 Sandro Etalle http://www.cs.unimaas.nl/~etalle/
	 etallecs.unimaas.nl 
	 Dept. of Computer Science, University of Maastricht, 
	 P.O. Box 616, 6200 MD Maastricht