Subject: CFP: Constraint Workshop
From: Liu Bing (firstname.lastname@example.org)
Date: Fri Jul 12 1996 - 08:14:12 MET DST
We apologize if you receive this more than once.
CALL FOR PAPERS
Asian'96 POST-CONFERENCE WORKSHOP:
Constraints and Constraint Programming
To be held in conjunction with the Second Asian Computer Science Conference
Singapore, December 2-4, 1996
In recent years, constraint solving and constraint programming have
attracted a great deal of attention both from academia and from industry. The
main reason for this is that the constraint technology can be used to solve
many practical problems, which are faced by many industries, such as
planning, scheduling, sequencing, resource allocation, manpower rostering
and time tabling much more easily than using traditional methods. Over the
last few years, numerous real-world applications have been built using
constraint programming languages or tools, such as ILOG Solver and CHIP.
Constraint programming has proven itself to be highly effective
in numberous applications because of the flexibility and expressive power
for problem modelling and amenability to efficient system implementation.
This workshop being held in Singapore, as part of ASIAN'96, is of particular
interest because the Singapore industry is perhaps one of the earliest
to be exposed to constraint technology and constraint programming.
Many companies and research institutes in Singapore are now experienced
in the building real-life applications using constraint technology.
The purpose of this workshop is four fold:
(1). A tutorial to introduce constraint technology, its applications and
and the usage.
(2). Industrial talks from the leading vendors of constraint technology
to present the latest developments in constraint technology
and leading edge applications.
(3). Technical paper session to present and discuss the latest research
findings and interesting real-world applications both from industry
as well as academia.
(4). Bringing people from academia and industry together to share their views
and practical experiences.
Topics of interest for technical papers include, but are not restricted to,
* constraint solving algorithms and heuristics
* constraint programming techniques and methodology
* Practical applications of constraint solving and constraint programming
* comparisons of solutions to specific problems
* constraint problems which benefit from specific solver algorithms
* constraint problems which benefit from parallelism
Authors are invited to submit papers written in English and not exceeding
10 pages to the contact address listed below. We encourage authors to submit
by electronic mail (email@example.com) in self-contained Postscript format.
Alternatively four paper copies may be submitted. Submissions should
contain return mail and email addresses. The DEADLINE for submission of
papers is September 16, 1996.
Hong-Gian Chew Information Technology Institute, Singapore
Vincent Gosselin ILOG (Singapore), Singapore
Jimmy Lee, The Chinese University of Hong Kong, Hong Kong
Thin-Yin Leong Port of Singapore Authority, Singapore
Bing Liu, National University of Singapore, Singapore
Helmut Simonis Cosytec, France
Gert Smolka DFKI Saarbruken, Germany
Edward Tsang Essex University, U.K.
Mark Wallace Imperial College, U.K
Submission deadline: Sept 16, 1996
Notification of authors: Oct 11, 1996
Camera-ready version: Nov 8, 1996
Workshop date: Dec 5, 1996
Department of Information Systems and Computer Science
National University of Singapore
Lower Kent Ridge Road
Phone: +65 7726736
Fax: +65 7794580
CONFERENCE and WORKSHOP WEB PAGE
Additional information will be posted and will be available from
======================== ASIAN'96 Conference Information ====================
CALL FOR PAPERS --- ASIAN'96
ASIAN COMPUTING SCIENCE CONFERENCE
Singapore, December 2-5, 1996
The first conference ASIAN'95 (also called ACSC'95 last year) was held
in Bangkok, Thailand, in December 1995, organized by the Asian Institute
of Technology in partnership with INRIA, France, and the UNU/IIST, Macau.
Its main purpose was to provide a local forum for Asian researchers in
Computer Science. Its scope was a broad coverage of CS, though there was
a focus on the more conceptual areas of algorithms, concurrency and
knowledge. Its proceedings appeared as Springer-Verlag's LNCS 1023.
The 1996 conference will continue to emphasize the conceptual areas of CS,
though papers in all areas will be considered. The following themes
represent the areas of focus for this year.
* Programming (semantics, languages, systems, paradigms, ...)
* Concurrency & Parallelism (algorithms, formalisms, systems, ...)
* Networking & Security (algorithms, protocols, formalisms, systems, ...)
The keynote speaker will be David HAREL (Weizmann Institute, Israel).
The invited speakers will be: Jean-Chrysostome BOLOT (INRIA, France) on
networking, Gert SMOLKA (DFKI Saarbruken, Germany) on programming languages,
and Doug TYGAR (Carnegie Mellon University, USA) on secure
By email, in a self-contained Postscript file (compressed and uuencoded), to
be complemented by a hard copy sent to the address of the program chair.
The length guidelines are 10--12 pages in 11-point font, and about 3000
words. For details, see the conference web page. The email address for
The proceedings is expected to be published by Springer-Verlag in the
Lectures Notes in Computer Science series. In addition to regular papers,
we hope to accept posters, which will appear as one-page abstracts in the
proceedings. Papers and posters must be presented at the conference by
one of the authors.
July 5, 1996 Paper submission deadline
August 23, 1996 Acceptance decisions
September 13, 1996 Camera-ready copy due
December 2--4, 1996 Asian'96, Main Conference
December 5, 1996 Asian'96, Workshops
PRE and POST CONFERENCE ACTIVITIES
The 9th Asian School on Computer Science: Synthesis & Verification of
Finite-State Machine Based Systems by G. Berry, N. Halbwachs and E. Sentovich
will be held on 22--29 November 1996, in Rayong, Thailand.
(See http://www.cs.ait.ac.th/school96). On December 5, 3--4 workshops will
be held in association with the main conference.
CONFERENCE WEB PAGE
Additional information will be posted and will be available from
* The Asian Inst. of Technology (AIT)
* Inst. National de Recherche en Informatique et en Automatique (INRIA)
* National Univ. of Singapore (NUS)
* United Nations Univ. Intl. Inst. for Software Technology (UNU/IIST)
Department of Information Systems & Computer Science,
National University of Singapore, Singapore 119260
Phone: +65 772 6731 Fax: +65 779 4890 E-mail: firstname.lastname@example.org
Asian'9X Steering Committee:
Dines Bjorner (UNU/IIST, Macau) Shigeki Goto (Waseda U., Japan)
Joxan Jaffar (NUS, Singapore) Kanchana Kanchanasut (AIT, Thailand)
Gilles Kahn (INRIA, France) Jean-Jacques Levy (INRIA, France)
R.K. Shyamasundar (TIFR Bombay, India)
Martin Abadi (SRC, DEC, USA) Eliezer A. Albacea (U. of Phillipines)
A. Anuchitanukul (Bank of Thailand/AIT) Kim Bruce (Williams College, USA)
Rance Cleaveland (NCSU, USA) Dang Van Hung (UNU/IIST, Macau)
Li Gong (SRI International, USA) Shigeki Goto (Waseda U., Japan)
Seif Haridi (SICS, Sweden) Nevin Heintze (Bell Labs, USA)
Pascal van Hentenryck (Brown U., USA) Jieh Hsiang (NTU, Taiwan)
Kyoki Imamura (Kyushu IT, Japan) Joxan Jaffar, Chair (NUS, Singapore)
Tomasz Janowski (UNU/IIST, Macau) Gilles Kahn (INRIA, France)
Lam Kwok-Yan (NUS, Singapore) John Lamping (Xerox PARC, USA)
Peter Lee (CMU, USA) Jean-Jacques L'evy (INRIA, France)
C. Lursinsap (Chulalongkorn U/AIT) Michael Maher (Griffith U., Australia)
Hideo Miyahara (Osaka U., Japan) Gustaf Neumann (Essen U., Germany)
Vijay Saraswat (Xerox PARC, USA) S. Sudarshan (IIT, Bombay)
R. Sureswaran (USM, Malaysia) Doug Tygar (CMU, USA)
Phillip Wadler (U. of Glasgow, UK) Belawati Widjaja (U. of Indonesia)
Roland Yap (NUS, Singapore)
Local Arrangements Chair:
Roland Yap (NUS, Singapore), E-mail: email@example.com
This archive was generated by hypermail 2b25 : Fri Mar 03 2000 - 16:17:10 MET