CFP: Constraint Workshop


Subject: CFP: Constraint Workshop
From: Liu Bing (liub@iscs.nus.sg)
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,
the following:

* 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 (liub@iscs.nus.sg) 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.

                           Program Committee

         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
         

          IMPORTANT DATES:
          ---------------

          Submission deadline: Sept 16, 1996
          Notification of authors: Oct 11, 1996
          Camera-ready version: Nov 8, 1996
          Workshop date: Dec 5, 1996

          CONTACT DETAILS:
          ---------------
          Bing Liu
          Department of Information Systems and Computer Science
          National University of Singapore
          Lower Kent Ridge Road
          Singapore 119260

          Email: liub@iscs.nus.sg
          Phone: +65 7726736
          Fax: +65 7794580

                            CONFERENCE and WORKSHOP WEB PAGE
                            --------------------------------

          Additional information will be posted and will be available from

                         http://www.iscs.nus.sg/~asian96

======================== ASIAN'96 Conference Information ====================

                        CALL FOR PAPERS --- ASIAN'96

                     ASIAN COMPUTING SCIENCE CONFERENCE

                       Singapore, December 2-5, 1996

                                 BACKGROUND
                                 ----------

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.

                                   SCOPE
                                   -----

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, ...)

                              INVITED SPEAKERS
                              ----------------

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
electronic commerce.

                             PAPER SUBMISSIONS
                             -----------------

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
submissions is

                            asian96@iscs.nus.sg

                                PUBLICATION
                                -----------

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.

                              IMPORTANT DATES
                              ---------------

             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

                      http://www.iscs.nus.sg/~asian96

Sponsors:
---------

* 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)

Program Chair:
--------------

Joxan Jaffar,
Department of Information Systems & Computer Science,
National University of Singapore, Singapore 119260
Phone: +65 772 6731 Fax: +65 779 4890 E-mail: joxan@iscs.nus.sg

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)

Program Committee:
------------------

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: ryap@iscs.nus.sg



This archive was generated by hypermail 2b25 : Fri Mar 03 2000 - 16:17:10 MET