Forwarded message from [ryap@comp.nus.edu.sg (Roland Yap Hock Chuan)] sent originally on Sun, 31 Oct 1999 01:32:13 +0800 (GMT-8): : [We apologize if you receive this multiple times. Please redistribute : appropriately to interested parties.] : : Call for Participation : ASIAN'99 : : Asian Computing Science Conference : Phuket, Thailand, December 10-12, 1999 : : Conference Web Page: http://www.cs.ait.ac.th/ASIAN99 : (Mirror: http://www.comp.nus.edu.sg/~asian99) : : The fifth Asian Computing Science Conference, ASIAN'99, will be held in : Prince of Songkhla University (Phuket Campus), Phuket, Thailand, : on December 10-12, 1999. : : The series of annual Asian Computing Science Conferences (ASIAN) was : initiated in 1995 by AIT, INRIA and UNU/IIST to provide a forum for : researchers in computer science from the Asian region and to promote : interaction with researchers from other regions. The first four : conferences have been held, respectively, in Bangkok, Singapore, : Katmandu and Manila. In addition to support from the host countries, : they have also been sponsored by INRIA, France, UNU/IIST, Macau and : NUS, Singapore. The proceedings have been published as Lecture Notes : in Computer Science, Springer-Verlag. : : The 1999 conference will continue to emphasize the conceptual areas of : Computer Science. The following themes represent the areas of focus : for this year: : * Embedded and Real-Time Systems : * Formal Reasoning and Verification : * Distributed and Mobile Computing : : Keynote and Invited Speakers: : ----------------------------- : : The keynote speaker at ASIAN'99 will be Amir Pnueli (Weizmann Institute, : Israel). The invited speakers are: Nicolas Halbwachs (VERIMAG, CNRS, France) : and Krishna Palem (Courant Institute, New York University, USA). : : Conference Web Page: : -------------------- : More information can be found on the conference web page: : http://www.cs.ait.ac.th/ASIAN99 : A mirror of the above page is also available at : http://www.comp.nus.edu.sg/~asian99 : : Post-Conference Activities: : ------------------------------------ : The 11th Asian School on Computer Science, organized by AIT and INRIA, : will be in Phuket after ASIAN'99. The Asian School will offer an : intensive course entitled: : Automata, Circuit Design and Verification. : : The course which will be taught by Jean Vuillemin (Ecole Normale : Superieure), Gerard Berry (Ecole des Mines de Paris & INRIA) and : Nicolas Halbwachs (Verimag, CNRS). For more details, see the following URL : http://www.cs.ait.ac.th/Workshop/ASCS99 : : Registration: : ------------- : Conference registration is to be made online from the conference webpage. : Registration fees in US Dollars are: : Early (by Nov 15) Late/On-site : Non-Student $300 $400 : Student $200 $250 : : Accommodation: : ------------- : Hotel reservations can be booked through Asian Premier Holidays, : fax: +66 (0)76 246 270 or 246 271. This should be done as early : as possible. See the webpage for the form and details. : : Sponsors: : --------- : Asian Inst. of Technology (AIT) : Inst. National de Recherche en Informatique et en Automatique (INRIA) : United Nations Univ. Intl. Inst. for Software Technology (UNU/IIST) : National University of Singapore (NUS) : Thailand Network Information Center (THNIC) : : Program Co-Chairs: : ------------------ : P.S. Thiagarajan Roland H.C. Yap : Chennai Mathematical Institute School of Computing : 92 G.N.Chetty Road National University of Singapore : T.Nagar Chennai 600 017 Lower Kent Ridge Road : India Singapore 119260 : Republic of Singapore : : E-Mail : pst@smi.ernet.in E-Mail: ryap@comp.nus.edu.sg : Telephone: +91-44-828 4232 Telephone: +65 874-2972 : Fax: +91-44-825 0573 Fax: +65 779-4580 : : ASIAN'9x Steering Committee: : ---------------------------- : Shigeki Goto (Waseda U., Japan) Jean-Jacques Levy (INRIA, France) : Joxan Jaffar (NUS, Singapore) R.K. Shyamasundar (TIFR Bombay, India) : Gilles Kahn (INRIA, France) Kazunori Ueda (Waseda U., Japan) : Kanchana Kanchanasut (AIT, Thailand) Zhou Chaochen (UNU/IIST, Macau) : : Program Committee: : ------------------ : Gerard Berry (ENSMP & INRIA, France) : Phan Min Dung (AIT, Thailand) : Cedric Fournet (Microsoft Research, UK) : Kokichi Futatsugi (JAIST, Japan) : Shigeki Goto (Waseda U., Japan) : Dang Van Hung (UNU/IIST, Macau) : Vinod Kathail (HP, USA) : Michael Lyu (CUHK, Hong Kong) : Yen-Jen Oyang (NTU, Taiwan) : Frank Pfenning (CMU, USA) : Sanjiva Prasad (IIT, Delhi, India) : Abdul Sattar (Griffith U., Australia) : R.K. Shyamasundar (TIFR Bombay, India) : Aravind Srinivasan (Bell Labs, USA) : Peter Stuckey (U. of Melbourne, Australia) : P.S. Thiagarajan (co-chair) (CMI, India) : Farn Wang (IIS, Academia Sinica, Taiwan) : Limsoon Wong (KRDL, Singapore) : Roland Yap (co-chair) (NUS, Singapore) : : General Chair: : -------------- : Kanchana Kanchanasut, Asian Institute of Technology, Thailand : E-Mail: Kanchana.Kanchanasut@ait.ac.th : : Local Chair: : ------------ : Rattana Wetprasit (Prince of Sonkhla University, Thailand) : E-Mail: rattana@ratree.psu.ac.th : : ========================================================================== : : ASIAN'99 : Asian Computing Science Conference : Phuket, Thailand, December 10 - 12, 1999 : : Preliminary Program : : ========================================================================== : Friday, December 10, 1999 : ========================================================================== : : 8.00 - 8.45 Registration : 8.45 - 9.00 Inaugural Session : -------------------------------------------- : 9.00 -10.00 Keynote Talk: Amir Pnueli : -------------------------------------------- : (Details to be announced) : : -------------------------------------------- : 10.00-10.30 Tea/Coffee Break : -------------------------------------------- : 10.30-12.20 Session 1: Temporal Logic : -------------------------------------------- : Relating May and Must Testing Semantics for Discrete : Timed Process Algebras, : Luis Fernando Llana Diaz and David de Frutos Escrig : : An Expressive Extension of TLC, : Jesper G. Henriksen : : Completeness and Decidability of a Fragment of Duration Calculus : with Iteration : Dang Van Hung and Dimitar P. Guelev : : Faster Model Checking for Open Systems : Madhavan Mukund, K Narayan Kumar, Scott A. Smolka : : -------------------------------------------- : 12.20-14.00 Lunch : -------------------------------------------- : 14.00-15.50 Session 2: Logic : -------------------------------------------- : Structural sharing and efficient proof search in propositional : intuitionistic logic : D. Galmiche, D. Larchey-Wendling : : Lemma Generalization and Non-Unit Lemma Matching for : Model Elimination : Koji Iwanuma, Kenichi Kishino : : A CPS-transform of the Constructive Classical Logic : Ichiro Ogata : : On L^k(Q) Types and Boundedness of IFP(Q) on Finite Structures : Anil Seth : -------------------------------------------- : 15.50-16.10 Tea/Coffee Break : -------------------------------------------- : 16.10-17.30 Session 3: Mobility : -------------------------------------------- : The game of the name in cryptographic tables : Roberto M. Amadio, Sanjiva Prasad : : Transactional Cache Management with Aperiodic Invalidation Scheme : in Mobile Environments : IlYoung Chung, Chong-Sun Hwang : : Programming the Mobility Behaviour of Agents by : Composing Itineraries : Seng Wai Loke, Heinz Schmidt, and Arkady Zaslavsky : : ========================================================================== : Saturday, December 11, 1999 : ========================================================================== : : -------------------------------------------- : 9.00 -10.00 Invited Talk: Nicolas Halbwachs : -------------------------------------------- : Validation of Synchronous Reactive Systems: : From Formal Verification to Automatic Testing : : -------------------------------------------- : 10.00-10.30 Tea/Coffee Break : -------------------------------------------- : 10.30-12.20 Session 4: Verification : -------------------------------------------- : A Framework for Formal Reasoning about Open Distributed Systems : L. Fredlund and D. Gurov : : Verifying probabilistic programs using a Hoare like logic : J.I. den Hartog : : Demand-Driven Model Checking for Context-Free Processes : Jens Knoop : : Formal Verification of the MCS List-based Queuing Lock : Kazuhiro Ogata and Kokichi Futatsugi : -------------------------------------------- : 12.20-14.00 Lunch : -------------------------------------------- : 14.00-15.20 Session 5: Programming Languages/Logic Programming : -------------------------------------------- : Entailment of Non-Structural Subtype Constraints : Joachim Niehren, Tim Priesnitz : : Beyond Tamaki-Sato Style Unfold/Fold Transformations for : Normal Logic Programs : Abhik Roychoudhury, K. Narayan Kumar, C.R. Ramakrishnan, : I.V. Ramakrishnan : : An Argumentation Approach to Semantics of Declarative Programs : with Defeasible Inheritance : Ekawit Nantajeewarawat, Vilas Wuwongse : : -------------------------------------------- : 15.20-15.50 Tea/Coffee Break : -------------------------------------------- : 16.00-16.55 Session 6: General : -------------------------------------------- : On Automating Inductive and Non-Inductive Termination Methods : Fairouz Kamareddine and Francois Monin : : Asynchronous links in the PBC and M-nets : Hanna Klaudel, Franck Pommereau : : -------------------------------------------- : 17.00-18.50 Poster Presentation and Tea/Coffee break : -------------------------------------------- : 19.00 Leave for Conference Banquet from Conference Site : -------------------------------------------- : 19.30 Conference Banquet : : ========================================================================== : Sunday, December 12, 1999 : ========================================================================== : : -------------------------------------------- : 9.00-10.00 Invited Talk: Krishna Palem : -------------------------------------------- : Emerging Application Domains and the Computing Fabric : : -------------------------------------------- : 10.00-10.30 Tea/Coffee Break : -------------------------------------------- : 10.30-12.20 Session 7: Hardware : -------------------------------------------- : Rapid Prototyping Techniques for Fuzzy Controllers : Chantana Chantrapornchai, Sissades Tongsima, Edwin Sha : : Observable Sharing for Functional Circuit Description : Koen Claessen, David Sands : : Formal Verification of Descriptions with Distinct Order of : Memory Operations : G. Ritter, H. Hinrichsen, and H. Eveking : : Logical Relations in Circuit Verification : Mia Indrika : : -------------------------------------------- : 12.20-14.00 Lunch : -------------------------------------------- : 14.00-15.50 Session 8: Hardware & Algorithms : -------------------------------------------- : BDD-nodes can be more expressive : Frank Reffel : : Separators are as Simple as Cutsets : Hong Shen : : Ant Colony System for the Ship-berthing Problem : Chia Jim Tong, Andrew Lim : : A Parallel Approximation Algorithm for the Max Cut Problem : on Cubic Graphs : Tiziana Calamoneri, Irene Finocchi, Yannis Manoussakis, : Rossella Petreschi : : -------------------------------------------- : 16.00 Excursion: Evening Cruise : --------------------------------------------
-- Wirtschaftsinformatik, FB5, Universitaet GH Essen Gustaf.Neumann@uni-essen.de, neumann@computer.org http://nestroy.wi-inf.uni-essen.de/Neumann.html