Editor for this issue: Jody Huellmantel <jody
linguistlist.org>
* FINAL CALL FOR PAPERS *
second workshop on
INFERENCE IN COMPUTATIONAL SEMANTICS
ICoS-2
Dagstuhl, Germany, July 29-30, 2000
http://www.ags.uni-sb.de/~kohlhase/event/icos2/
(Submission deadline: April 15, 2000)
ABOUT ICoS
- --------
Traditional inference tools (such as theorem provers and model
builders) are reaching new levels of sophistication and are now widely
and easily available. A wide variety of new tools (statistical and
probabilistic methods, ideas from the machine learning community) are
likely to be increasingly applied in computational semantics. Most
importantly of all, computational semantics seems to have reached the
stage where the exploration and development of inference is one of its
most pressing tasks - and there's a lot of interesting new work which
takes inferential issues seriously.
The Workshop on Inference in Computational Semantics (ICoS) intends to
bring researchers from areas such as Computational Linguistics,
Artificial Intelligence, Computer Science,and Logics together, in
order to discuss approaches and applications of Inference in natural
language semantics.
ICoS-1 took place in Amsterdam on August 15, 1999 with an attendence
of over 50 researchers. A selection of the papers presented at ICoS-1
will be published in the Journal of Language and Computation.
ICoS-2 is endorsed by SIGSEM, the Association for Computational
Linguistics (ACL) Special Interest Group (SIG) on computational
semantics.
DATES
- ---
People who would like to submit a paper, system descriptions or who
would like to attend the workshop should consider the following dates:
Submission Deadline: April 15, 2000.
Notification: June 1, 2000.
Final Versions: July 10, 2000.
ICoS-2: July 29-30, 2000.
(COLING: July 31 - August 4, 2000)
LOCATION
- ------
ICoS-2 will be held the International Conference And Research Center
for Computer Science SCHLOSS DAGSTUHL. Schloss Dagstuhl is situated in
the Saarland (Germany), allowing participants to reach the COLING
conference in Saarbruecken conveniently. Transport from Dagstuhl to
Saarbruecken will be organized on sunday evening or monday morning.
INVITED SPEAKERS
- --------------
James Allen (University of Rochester)
Christof Monz (University of Amsterdam)
Bonnie Webber (University of Edinburgh)
PROGRAM COMMITTEE
- ---------------
The program committee for ICoS-2 consists of the following people:
Nicholas Asher
Peter Baumgartner
Johan Bos (Chair)
Dick Crouch
Nissim Francez
Udo Hahn
Ewan Klein
Michael Kohlhase (Chair)
Alex Lascarides
Dale Miller
Joachim Niehren
Steve Pulman
Allan Ramsay
Maarten de Rijke
Michael Schiehlen
Matthew Stone
SUBMISSIONS
- ---------
We ask you to limit the final version of your research paper to 15
pages at most (11pt, a4paper, one column). System descriptions should
be no longer than 6 pages (11pt, a4paper, one column). To yield a
uniform layout for the workshop proceedings, we encourage you to use
LaTeX and use \bibiographystyle{alpha} for citations.
Submission Deadline: April 15, 2000.
Send DVI, Postscript, or PDF submissions to icos2
ags.uni-sb.de.
In addition to the workshop proceedings, we plan to publish a special
issue of the Journal of Language and Computation devoted to
ICoS-2. Shortly after the workshop, authors will be contacted by the
editors for special issue, inviting them to contribute; we may ask you
to incorporate comments/discussions/... arising during ICoS-2 into
your paper. Details on the publication schedule for the special issue
as well as formatting instructions will be announced at the workshop.
FURTHER INFORMATION
- -----------------
If you have any questions, please contact the local organizers
Johan Bos and Michael Kohlhase via icos2
ags.uni-sb.de.
For actual information concerning ICoS-2 please consult
http://www.ags.uni-sb.de/~kohlhase/event/icos2/
Mail to author|Respond to list|Read more issues|LINGUIST home page|Top of issue
************************** Call for Papers ********************* The 19th Workshop of the UK PLANNING AND SCHEDULING Special Interest Group To be held at The Open University, Milton Keynes, Buckinghamshire (UK) December 14-15, 2000 http://mcs.open.ac.uk/plansig2000 FIRST CALL FOR PAPERS The new Millennium's first workshop of the UK Planning and Scheduling Special Interest Group will be held at the Open University campus in Milton Keynes, UK. The workshop is a yearly forum where academics, industrialists and research students can meet and discuss current issues in an informal setting. We especially aim to bring together researchers attacking different aspects of planning and scheduling problems, and to introduce new researchers to the community. In recent years the SIG has attracted an international gathering, and we continue to welcome contributions from around the world. SCOPE Topics of interest include (but are not limited to): Applications: empirical studies of existing planning/scheduling systems; domain-specific techniques; heuristic techniques; user interfaces for planning and scheduling. Architectures: real-time support for planning/scheduling/control; mixed-initiative planning and user interfaces. Environmental and task models: analyses of the dynamics of environments, tasks, and domains with regard to different models of planning and execution. Formal Models: reasoning about knowledge, action, and time; representations and ontologies for planning and scheduling; search methods and analysis of algorithms; formal characterisation of existing planners and schedulers. Intelligent Agency: resource-bounded reasoning; distributed problem solving; integrating reaction and deliberation. Learning: learning in the context of planning and execution; learning new plans and operators; learning in the context of scheduling and schedule maintenance. Memory Based Approaches: case-based planning/scheduling; plan and operator learning and reuse; incremental planning. Reactive Systems: environmentally driven devices/behaviours; reactive control; behaviours in the context of minimal representations; schedule maintenance. Robotics: Motion and path planning; planning and control; planning and perception, integration of planning and perceptual systems. Constraint-based Planning/Scheduling and Control Techniques: constraint/preference propagation techniques, variable/value ordering heuristics, intelligent backtracking/RMS-based techniques, iterative repair heuristics, etc. Coordination Issues in Decentralised/Distributed planning/scheduling: coordination issues in both homogeneous and heterogeneous systems, system architecture issues, integration of strategic and tactical decision making. Iterative Improvement Techniques for Combinatorial Optimisation: genetic algorithms, simulated annealing, tabu search, neural nets, etc applied to scheduling and/or planning. Artificial Intelligence and Operations Research: comparative studies and innovative applications combining AI and OR techniques, applied to scheduling and/or planning. SUBMISSIONS Format of submissions: Full papers: (approx. 5000 words). These should report work in progress or completed work. Authors of full papers which are accepted by the Programme Committee will be invited to give a talk on the paper. Short papers: (2 pages) These should report views or ambitions, or describe problems. The author(s) will be able to discuss the paper informally with others at the workshop and may be invited to give a short (poster) presentation on their work. Possible methods of submission: Hard copy: three hard copies of papers should reach the Programme Chair by the 17th September, 2000. Electronic: papers can be submitted via e-mail or made available on the Web. In both cases, documents should be in gzipped postscript format and be named "author.ps.gz", using the name of the first author. An e-mail message containing either the file or its URL (e.g. http://..../author.ps.gz) should reach the Programme Chair by the 17th September 2000. All submissions will be reviewed by two referees, and successful submissions will appear in the Workshop Proceedings (ISSN 1368-5708). Also, accepted papers submitted in HTML format will be made available via the SIG web-site. ATTENDANCE Anyone with an interest in Planning and Scheduling is welcome - it is not necessary to submit a paper in order to attend. REGISTRATION The deadline for registration is 13th November 2000 (further details will be available from http://mcs.open.ac.uk/plansig2000 ). PROGRAMME COMMITTEE Ruth Aylett Salford University, UK Edmund Burke University of Nottingham, UK Maria Fox Durham University, UK Tim Grant Origin (Technical Automation/Command and Control), NL Gerry Kelleher Liverpool John Moores University, UK Derek Long Durham University, UK Lee McCluskey Huddersfield University, UK Geoff McKeown University of East Anglia, UK Patrick Prosser University of Glasgow, UK Barry Richards IC-PARC, Imperial College London, UK Sam Steel Essex University, UK Programme Chair: Max Garagnani, The Open University, UK Submissions and inquiries should be sent to the Programme Chair at the following address: Max Garagnani 19th UK Planning and Scheduling SIG, Department of Computing Faculty of Mathematics and Computing The Open University Walton Hall, Milton Keynes MK7 6AA United Kingdom Tel. +44 (0)1908 654812 (direct) Tel: +44 (0)1908 652348 (secr.) Fax: +44 (0)1908 652140 E-mail: m.garagnaniMail to author|Respond to list|Read more issues|LINGUIST home page|Top of issueopen.ac.uk URL: http://mcs.open.ac.uk/mg343 IMPORTANT DATES Deadline for submission: September 17th, 2000 Notification of acceptance sent to authors by email: October 22nd, 2000 Final copy of paper due: November 5th, 2000 Deadline for registration: November 13th, 2000 PLANSIG 2000: December 14-15, 2000 **************************************************************** - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - Daniel Ballin Future Technologies Group, BT Adastral Park, Tel: +44 (0)1473 605 457, Admin2-PP5 Fax: +44 (0)1473 647 410 Ipswich, United Kingdom, Email: ballind
info.bt.co.uk