April 1998 - Categories - categories.org.au

abstract algebraic geometry
by Zhaohua Luo 20 May '98

20 May '98

Last year I posted the following research notes on categorical geometry: Abstract algebraic geometry (10/16/97) The language of analytic categories (three parts, 11/4/97, 11/20/97, and 12/20/97) to this list. Recently I started a small page at my home page address: www.iswest.com/~zack which, at present, only contains the slightly modified version (html files) of these notes. The paper "categorical geometry" are still under preparation, and I hope the first three chapters will be available soon. Thanks to all those who showed interests in this project. Zack Luo

3 3

Second Call for Papers
by 4th Workshop on Domains 30 Apr '98

30 Apr '98

====================================================== Second Call for Papers ====================================================== Workshop on Domains IV Rolandseck, Germany Oktober 2--4, 1998 ====================================================== The Workshop on Domains is aimed at computer scientist and mathematicians alike who share an active interest in the mathematical foundation of computer science. It will focuse on domains, their application and closely related topics, e.g.~axiomatic and synthetic domain theory. In particular, contributions establishing connections to type theory, recursion theory and topology are welcome. In previous years the workshop was held in Darmstadt (1994 and 1995), Braunschweig (1996) and Munich (1997). This year it will take place in Haus Humboldtstein, Remagen-Rolandseck (Germany), a nice last century villa overlooking the beautiful Rhine valley. There will be a number of guest speakers including *** Thomas Ehrhard (IML, Marseille) *** *** Dag Normann (Oslo Univ. ) *** *** Giovanni Sambin (Padova Univ.) *** If you are interested in signing up for a talk, please send a title and an abstract of your intended presentation to mailto:wd4@informatik.uni-siegen.de by MAY 15, 1998. Each request will be answered by JULY 1, 1998. You may also use ordinary mail. The address is: Prof. Dr. Dieter Spreen Workshop on Domains IV Theoretische Informatik Fachbereich Mathematik Universitaet Siegen Hoelderlinstr.3 D-57072 Siegen GERMANY More information about the workshop and Haus Humboldstein can be found on the workshop web page http://www.informatik.uni-siegen.de/~wd4 ----------------------------------------------------------------------------- Workshop on Domains IV University of Siegen Department of Mathematics Hoelderlinstr. 3 D-57068 Siegen Phone +49 271 740 3165 Fax +49 271 740 2532 mailto:wd4@informatik.uni-siegen.de http://www.informatik.uni-siegen.de/~wd4 ------------------------------------------------------------------------------

1 0

Deadline reminder: CMS Category Theory Session
by Bob Rosebrugh 29 Apr '98

29 Apr '98

CATEGORY THEORY SESSION CANADIAN MATHEMATICAL SOCIETY 1998 SUMMER MEETING Saint John, New Brunswick June 13-15, 1998 This is to remind participants in the Category Theory Session of approaching deadlines. HOTEL RESERVATIONS at the Saint John Hilton should be made by APRIL 30. For the Howard Johnson Hotel or the UNBSJ residences the deadline is May 15, but you are urged to reserve early as space in the residence particularly is limited. The CMS EARLY REGISTRATION DEADLINE (for reduced registration fees) for the meeting itself is May 15. Complete information on the CMS meeting is on the CMS Web site at camel.math.ca/CMS/Events/summer98/ On-line registration is possible, and complete information on accommodation and travel arrangements is available there. There are a few slots available for speakers wishing to contribute a paper to the session. Please contact the session organizer, R. J. Wood at rjwood(a)mscs.dal.ca as soon as possible if you wish to speak. Prior to the session at the CMS Meeting there will be a Summer School on Category Theory and Computer Science held at Mount Allison University from June 8-12. The instructors will be Michael Barr of McGill University and Robert Walters of the University of Sydney. Prof. Barr is coauthor of Category theory for Computer Science. Prof. Walters is the author of Categories and Computer Science. Participants in the Summer School will be transported to the CMS meeting in Saint John on the evening of June 12. For information write to ct95(a)cs.dal.ca

1 0

CATS'99 + DMTCS'99 call for papers
by Paul Bonnington 28 Apr '98

28 Apr '98

Call for Papers DMTCS'99, Discrete Mathematics and Theoretical Computer Science and CATS'99, Computing: The Australasian Theory Symposium University of Auckland and CDMTCS, Auckland, New Zealand 18-21 January 1999 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% DMTCS'99 and CATS'99 will be part of the Australsian Computer Science Week (ACSW'99). Original papers are solicited in all areas of discrete mathematics and theoretical computer science. Typical, but not exclusive, topics of interest include: (a) abstract data types and specifications, (b) algorithms and data structures, (c) automata and formal languages, (d) computability and complexity, (e) computational algebra, biology, geometry, logic and number theory, (f) concurrency, distributed systems and parallel computing, (g) constructive mathematics, (h) discrete mathematics, combinatorial computing and category theory, (i) formal semantics, specification, synthesis and verification, (j) hybrid systems and nonmonotonic logic. Authors are invited to submit papers either in hard copy by post, or electronically by email, to the address below. Electronic submissions should be in PostScript format, printable in a standard Unix environment. LaTeX source of final versions of accepted papers will be required. Submissions should not exceed 15 pages and include an e-mail address of the corresponding author. Joint submissions to other conferences are not permitted. At least one author of each accepted paper is expected to register by Nov. 6th and present their work at the conference. The proceedings will be published by Springer-Verlag, Singapore in the DMTCS Series, and will be made available during the conference. Invited Speakers: R. Downey (UVW, NZ) J. Goguen (UCSD, USA) A. Nerode (Cornell, USA) J. Pach (Hungarian Academy of Sciences) A. Restivo (U. Palermo, Italy) Address For Submissions: DMTCS'99+CATS'99 (Attn: Michael Dinneen), Department of Computer Science, University of Auckland, Private Bag 92019, Auckland, New Zealand, Email: mjd(a)cs.auckland.ac.nz Cost of Participation: The registration fee is A $400 (which includes the dinner, excursion and proceedings), or A $100 for students (including only the proceedings). For More Information: See the home-page of the conference http://www.tcs.auckland.ac.nz/~acsw99/, or contact the local chair Bakh Khoussainov at bmk(a)cs.auckland.ac.nz. --------------------------------------------------------------------------- Conference Committee: C.P. Bonnington C.S. Calude (general chair) E. Calude R. Coles, P.B. Gibbons U. Guenther B. Khoussainov (local chair) ACSW'99 Contact Members: R.W. Doran (general chair) P. Fenwick Programme Committee: R.J. Back, TUCS, Finland M. Conder, U. Auckland, NZ B. Cooper, U. Leeds, UK M.J. Dinneen, U. Auckland, NZ (chair) R. Goldblatt, Victoria U., NZ S. Goncharov, Novosibirsk U., Russia J. Harland, RMIT, Australia R.E. Hiromoto, UTSA, USA H. Ishihara, JAIST, Japan M. Ito, Kyoto S.U., Japan M. Li, U. Waterloo, Canada X. Lin, UNSW, Australia R. Shore, Cornell U., USA T. Tokuyama, IBM, Japan D. Wolfram, ANU, Australia Proceedings Editors: C.S. Calude and M.J. Dinneen --------------------------------------------------------------------------- Important Dates: Submissions Due: 31 July 1998 Notification Date: 09 Oct. 1998 Final Copies Due: 30 Oct. 1998 Registration Date (for authors): 06 Nov. 1998 (for others): January 1999 --------------------------------------------------------------------------- %%% DMTCS'99+CATS'99 Call for Papers %%% %%% Disclaimer: The following is very hacked LaTeX. %%% \documentstyle[11pt]{article} \pagestyle{empty} \oddsidemargin=-18.5truept \textwidth=7in %\topmargin=0.12in \topmargin=-0.4in \textheight=9.7in \newcommand{\mylistlabel}{\hspace\labelsep } \newenvironment{mylist}{\begin{list}{\hbox{}}% {\leftmargin 18pt \labelwidth 0pt \itemindent-\leftmargin \itemsep -1pt \let\makelabel\mylistlabel}}% {\end{list}} \newcommand{\fillin}{\typeout{*** Fill in! ***}??} \newcommand{\recheck}[1]{\typeout{*** Recheck This! ***}#1} \begin{document} %%% %%% CDMTCS Logo %%% % % \hbox{}\vspace*{-0.8in}\hfill\makebox[5pt]{\epsffile{ieee-cs.eps}} % %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% \vspace*{-1.2in} \begin{center} % \makebox[5pt]{\epsffile{ieee-cs.eps}} \\[3ex] \LARGE\bf Call for Papers\\[2ex] \Large\bf \mbox{DMTCS'99---Discrete Mathematics and Theoretical Computer Science}\\[0pt] \Large and\\[0pt] \Large\bf CATS'99---Computing: The Australasian Theory Symposium\\[3ex] {\large University of Auckland and CDMTCS, Auckland, New Zealand \\[2ex] \large\bf 18-21 January 1999} \end{center} \vspace*{4ex} %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% %%% %%% Sidebar %%% \begin{minipage}[t]{2.0in}\footnotesize \medskip %\noindent{\bf University of Auckland}\\ \noindent{\bf Conference Committee} \begin{mylist}\raggedright \item C.P. Bonnington % (information) \item C.S. Calude (general chair) \item E. Calude % (venue) \item R. Coles % (records) \item P.B. Gibbons % (accomodation) \item U. Guenther % (registration) \item B. Khoussainov (local chair) \end{mylist} \medskip \noindent{\bf ACSW'99 Contact Members} \begin{mylist}\raggedright \item R.W. Doran (general chair) \item P. Fenwick \end{mylist} \medskip \noindent{\bf Programme Committee} \begin{mylist}\raggedright \item R.J. Back, TUCS, Finland \item M. Conder, U. Auckland, NZ \item B. Cooper, U. Leeds, UK \item M.J. Dinneen, U. Auckland, NZ (chair) \item R. Goldblatt, Victoria U., NZ \item S. Goncharov, Novosibirsk U., Russia \item J. Harland, RMIT, Australia \item R.E. Hiromoto, UTSA, USA \item H. Ishihara, JAIST, Japan \item M. Ito, Kyoto S.U., Japan \item M. Li, U. Waterloo, Canada \item X. Lin, UNSW, Australia \item R. Shore, Cornell U., USA \item T. Tokuyama, IBM, Japan \item D. Wolfram, ANU, Australia \end{mylist} \medskip \noindent{\bf Proceedings Editors} \begin{mylist}\raggedright \item C.S. Calude \item M.J. Dinneen \end{mylist} \medskip\noindent{\bf Important Dates} \begin{mylist}\raggedright\frenchspacing \item \makebox[1.1in][l]{Submissions Due:} \makebox[0.26in][l]{31 July 1998} \item \makebox[1.1in][l]{Notification Date:} \makebox[0.26in][l]{9 Oct. 1998} \item \makebox[1.1in][l]{Final Copies Due:} \makebox[0.26in][l]{30 Oct. 1998} \item \makebox[1.1in][l]{Registration Date} \item \makebox[1.1in][l]{for Authors:} \makebox[0.26in][l]{6 Nov. 1998} \end{mylist} \end{minipage} %%% %%% Vertical Line %%% \hspace*{4.75pt}\rule[-7.7in]{0.5pt}{7.9in}\hspace*{4.75pt} %%% %%% Main Column %%% \begin{minipage}[t]{4.25in} \parskip\smallskipamount DMTCS'99 and CATS'99 will be part of the Australsian Computer Science Week (ACSW'99). Original papers are solicited in {\sl all\/} areas of discrete mathematics and theoretical computer science. Typical, but not exclusive, topics of interest include: (a) abstract data types and specifications, (b) algorithms and data structures, (c) automata and formal languages, (d) computability and complexity, (e) computational algebra, biology, geometry, logic and number theory, (f) concurrency, distributed systems and parallel computing, (g) constructive mathematics, (h) discrete mathematics, combinatorial computing and category theory, (i) formal semantics, specification, synthesis and verification, (j) hybrid systems and nonmonotonic logic. Authors are invited to submit papers either in hard copy by post, or electronically by email, to the address below. Electronic submissions should be in PostScript format, printable in a standard Unix environment. \LaTeX{} source of final versions of accepted papers will be required. Submissions should not exceed 15 pages and include an e-mail address of the corresponding author. Joint submissions to other conferences are {\sl not\/} permitted. At least one author of each accepted paper is expected to register by Nov.~6th and present their work at the conference. The proceedings will be published by Springer-Verlag, Singapore in the DMTCS Series, and will be made available during the conference. \medskip {\bf Invited Speakers:} R.~Downey (UVW, NZ), J.~Goguen (UCSD, USA), A.~Nerode (Cornell, USA), J.~Pach (Hungarian Academy of Sciences) and A.~Restivo (U. Palermo, Italy). \medskip {\bf Address For Submissions:} DMTCS'99+CATS'99 (Attn: Michael Dinneen), Department of Computer Science, University of Auckland, Private Bag 92019, Auckland, New Zealand, {\tt mjd(a)cs.auckland.ac.nz}. \medskip {\bf Cost of Participation:} The registration fee is A\$400 (which includes the dinner, excursion and proceedings), or A\$100 for students (including only the proceedings). \medskip {\bf For More Information:} See the home-page of the conference \verb|http://www.tcs.auckland.ac.nz/~acsw99/|, or contact the local chair Bakh Khoussainov at {\tt bmk(a)cs.auckland.ac.nz}. \end{minipage} \end{document}

1 0

PSSL 67
by Jaap van Oosten 27 Apr '98

27 Apr '98

PSSL 67 - FIRST ANNOUNCEMENT The 67th meeting of the Peripatetic Seminar on Sheaves and Logic will be held over the weekend of May 30-31 in Utrecht, the Netherlands. The meeting will be held on Saturday and Sunday until lunch time. As usual, we invite talks on logic, sheaves and related areas. As a new feature, in this meeting we shall have a tutorial of three 45-minute lectures. We are very happy to announce that John Power has agreed to deliver this tutorial on: HIGHER DIMENSIONAL CATEGORIES Registration for the meeting, including requirements for hotel reservation, please by email to: jvoosten(a)math.ruu.nl Since hotel capacity in Utrecht is limited, we would urge you to register at your earliest convenience. Looking forward to seeing you in Utrecht, Jaap van Oosten Ieke Moerdijk

1 1

Pre-prints available
by ZIPPIE Gonczarowski 25 Apr '98

25 Apr '98

The following pre-prints are available. Please e-mail to: zippie(a)actcom.co.il 1. Introducing the Mathematical Category of Artificial Perceptions by Z. Arzi-Gonczarowski and D. Lehmann To be published this summer in `The Annals of Mathematics and Artificial Intelligence'. 2. From Environments to Representations - A Mathematical Theory of Artificial Perceptions by Z. Arzi-Gonczarowski and D. Lehmann To be published in `Artificial Intelligence'. (To those of you who have already asked for them - they are being posted today). __________________________________________________________________________ Dr. Zippora Arzi-Gonczarowski Typographics, Ltd. 46 Hehalutz St. Jerusalem 96222 Israel Tel: (+972)-2-6437819 Fax: (+972)-2-6434252 E-mail: zippie(a)actcom.co.il __________________________________________________________________________

1 0

Last call for participation: MPC'98
by johanj＠relay.cs.ruu.nl 25 Apr '98

25 Apr '98

Last call for participation: MPC '98 Fourth International Conference on MATHEMATICS OF PROGRAM CONSTRUCTION ----------------------------------- http://www.md.chalmers.se/Conf/MPC98/ June 15 - 17, 1998 Marstrand, Sweden Post-conference workshops: * Workshop on Generic Programming, WGP'98 http://www.cse.ogi.edu/PacSoft/conf/wgp/ * International Workshop on Constructive Methods for Parallel Programming, CMPP'98 http://brahms.fmi.uni-passau.de/cl/cmpp98/index.html * Formal Techniques for Hardware and Hardware-like Systems, FTH'98 http://www.cs.chalmers.se/~ms/FTH98/ The general theme of this series of conferences is the use of crisp, clear mathematics in the discovery and design of algorithms and in the development of corresponding software or hardware. The conference theme reflects the growing interest in formal, mathematically based methods for the construction of software and hardware. The goal of the MPC conferences is to report on and significantly advance the state of the art in this area. Previous conferences were held in 1989 at Twente, The Netherlands, organised by the Rijksuniversiteit Groningen, in 1992 at Oxford, United Kingdom, and in 1995 at Kloster Irsee, Germany, organised by Augsburg University. Registration information can be found on the homepage of the conference: http://www.md.chalmers.se/Conf/MPC98/ Invited speakers: Burghard von Karger (Kiel University) John Hughes (Chalmers Technical University) David Harel (Weizmann Institute) CONFERENCE PROGRAMME Monday June 15 1998 8.50 - 9.00 Welcome 9.00 - 10.00 Invited talk: A proof rule for control loops Burghard von Karger (Kiel University) 10.00 - 10.30 Break Session 1. Chair: Roland Backhouse (Eindhoven University of Technology) 10.30 - 11.15 Polytypic Downwards Accumulations Jeremy Gibbons (Oxford Brookes University) 11.15 - 12.00 Nested Datatypes Richard Bird (Oxford University) and Lambert Meertens (CWI Amsterdam and Utrecht University) 12.00 - 1400 Lunch Session 2. Chair: Richard Bird (Oxford University) 14.00 - 14.45 Layered Graph Traversals and Hamiltonian Path Problems - An Algebraic Approach Thomas Brunn, Bernhard M�ller, and Martin Russling (Augsburg University) 14.45 - 15.30 Computing Spanning Trees Rudolf Berghammer, Burghard von Karger and Andreas Wolf (Kiel University) 15.30 - 16.00 Break Session 3. Chair: Bernhard M�ller (Augsburg University) 16.00 - 16.45 Computation Calculus - Bridging a Formalization Gap Rutger M. Dijkstra (Groningen University) 16.45 - 17.30 A Unifying Framework for Correct Program Construction Henning Dierks and Michael Schenke (University of Oldenburg) Tuesday June 16 1998 9.00 - 10.00 Invited talk: Generalising Monads John Hughes (Chalmers Technical University) 10.00 - 10.30 Break Session 4. Chair: Eerke Boiten (University of Kent at Canterbury) 10.30 - 11.15 Calculating a Round-Robin Scheduler Matteo Vaccari (University of Milano) and Roland Backhouse (Eindhoven University of Technology) 11.15 - 12.00 Formal derivaton of a loadable asynchronous counter Mark B. Josephs (South Bank University London) 12.00 - 1400 Lunch Session 5. Chair: Jose Oliveira (University of Minho at Braga) 14.00 - 14.45 An application of program derivation techniques to 18th century mathematics A. Bijlsma (Eindhoven University of Technology) 14.45 - 15.30 An Approach to Object-Orientation in Action Systems Kaisa Sere, (�bo Akademi University) Joost Kok and Marcello Bonsangue (Leiden University) 15.30 - 16.00 Break Session 6. Chair: Robin Cockett (University of Calgary) 16.00 - 16.45 Beyond Fun: order and membership in polytypic imperative programming David A. Naumann (Stevens Institute of Technology) 16.45 - 17.30 Realizability for Monotone Coinductive Definitions and Its application to Program Synthesis Makoto Tatsuta (Kyoto University) Wednesday June 17 1998 9.00 - 10.00 Invited talk: On the Aesthetics of Diagrams David Harel (Weizmann Institute) 10.00 - 10.30 Break Session 7. Chair: Sigurd Meldal (CalPoly) 10.30 - 11.15 Convergence of Program Transformers in the Metric Space of Trees Morten Heine Sorensen (University of Copenhagen, DIKU) 11.15 - 12.00 A set-theoretic model for real-time specification and reasoning C.J. Fidge, I.J. Hayes, A.P. Martin and A.K. Wabenhorst (University of Queensland) 12.00 - 1400 Lunch Session 8. Chair: Christian Lengauer (University of Passau) 14.00 - 14.45 An elementary derivation of the Alternating Bit Protocol W.H.J. Feyen, A.J.M. van Gasteren (Eindhoven University of Technology) and Birgit Schieder (M�nchen Technical University) 14.45 - 15.30 Slack elasticity in concurrent computing Rajit Manohar and Alain J. Martin (Caltech) 15.30 - 16.00 Break Session 9. Chair: Mary Sheeran (Chalmers Technical University) 16.00 - 16.45 A Semantic Approach to Secure Information Flow K. Rustan M. Leino (DEC SRC) and Rajeev Joshi (University of Texas, Austin) 16.45 End of Mathematics of Program Construction 1998 VENUE Marstrand is a small island on the beautiful westcoast of Sweden, 40 km from G�teborg. The charming old houses, the fortress, the walking paths, and the absence of cars make this island a very pleasant resort. There are direct flights to G�teborg Landvetter from most European main cities, and busses from G�teborg to Marstrand. PROGRAMME COMMITTEE Ralph-Johan Back Finland Roland Backhouse The Netherlands Richard Bird UK Eerke Boiten UK Dave Carrington Australia Robin Cockett Canada David Gries USA Lindsay Groves New Zealand Wim Hesselink The Netherlands Zhenjiang Hu Japan Barry Jay Australia Johan Jeuring Sweden (Chair) Dick Kieburtz USA Christian Lengauer Germany Lambert Meertens The Netherlands Sigurd Meldal Norway Bernhard M�ller Germany Chris Okasaki USA Jose Oliveira Portugal Ross Paterson UK Mary Sheeran Sweden Doug Smith USA LOCAL ORGANISATION MPC '98 is organised by the Computing Science department of Chalmers University of Technology and University of G�teborg. The organisation committee consists of the following people: Patrik Jansson Johan Jeuring Marie Larsson Mary Sheeran

1 0

AMS Announcement
by F W Lawvere 23 Apr '98

23 Apr '98

First Announcement April 22, 1998 SMOOTH CATEGORIES IN GEOMETRY AND MECHANICS Special session of AMS Meeting No. 943 in Buffalo, N.Y. April 24/25, 1999 The intended subject of the session includes (a) the application of extensive categories, regular categories, cartesian-closed categories, toposes and the like to differential geometry, functional analysis of smooth functions and differential forms, distributions and currents, the motion and heating of extended bodies, electro-magnetism,... as well as (b) the formulation and explanation of problems in those fields to which such application would possibly be useful. To facilitate the organizing process, please send (1) an indication of interest in participation, as soon as possible (2) a preliminary abstract by September 1, 1998 (The AMS will require an abstract later in the fall.) F. William Lawvere, Organizer Mathematics Department SUNY AT BUFFALO 106, Diefendorf Hall Buffalo, N.Y. 14214, USA wlawvere(a)acsu.buffalo.edu

1 0

IPL (FINAL) Call For Participation
by Christopher Colby 21 Apr '98

21 Apr '98

*FINAL* CALL FOR PARTICIPATION Workshop on Internet Programming Languages in conjunction with the IEEE Computer Society International Conference on Computer Languages 1998 Loyola University Chicago Chicago, USA http://www.math.luc.edu/iccl98 May 13, 1998 The Internet has long provided a global computing infrastructure but, for most of its history, there has not been much interest in programming languages tailored specifically to that infrastructure. More recently, the Web has produced a widespread interest in global resources and, as a consequence, in global programmability. It is now commonplace to discuss how programs can be made to run effectively and securely over the Internet. This workshop will provide a forum for the discussions of all aspects of computer languages for wide-area systems, including specification languages, programming languages, semantics, implementation technologies, and application experience. Organizing Committee Henri Bal, Vrije Universiteit, The Netherlands, bal(a)cs.vu.nl Boumediene Belkhouche, Tulane University, USA, bb(a)eecs.tulane.edu Luca Cardelli, Microsoft Research, Cambridge, UK, luca(a)luca.demon.co.uk Program Opening: 8:50. Session 1: 9:00-10:30. Location Independence for Mobile Agents Peter Sewell, Pawel T. Wojciechowski and Benjamin C. Pierce Three Moves are not as Bad as a Fire Peter Van Roy and Seif Haridi Towards a Calculus of Mobile Computations Jan Vitek and Giuseppe Castagna Session 2: 11:00-12:30. Paradigms for Global Computation - an Overview of the Hippo Project Richard Connor and Keith Sibson HCL - a Language for Internet Data Acquisition Richard Connor and Keith Sibson A Run-Time System for the Web Co-ordination Language Antony Rowstron and Stuart Wray Session 3: 14:00-16:00. PML: A Language Interface to Networked Voice Response Units J. Christopher Ramming Implementing Spatio-Temporal Relations for Hypermedia Presentations using an HTML-like Language C. Bouras, V. Kapoulas, D. Moiras, V. Ouzounis, P. Spirakis and A. Tatakis Derivatives: A Construct for Internet Programming Dominic Duggan Network Programming Using PLAN Michael Hicks, Pankaj Kakkar, Jonathan T. Moore, Carl A. Gunter and Scott Nettles Session 4: 16:30-17:30. Discussion

1 0

ICCL (FINAL) Call For Participation
by Christopher Colby 21 Apr '98

21 Apr '98

*FINAL* CALL FOR PARTICIPATION IEEE Computer Society 1998 International Conference on Computer Languages Loyola University Chicago, USA, 14--16 May, 1998 Sponsored by the IEEE Computer Society Technical Committee on Computer Languages, in cooperation with the ACM Special Interest Group on Programming Languages. http://www.math.luc.edu/iccl98/ This is the sixth in a series of conferences devoted to all aspects of computer languages, serving to bring together people broadly interested in machine processable descriptions. The hallmarks of ICCL are diversity, openness to a wide range of linguistic research, and international representation. The focus is on new ideas in languages and language technology which are innovative or experimental in nature. On May 13, a pre-conference Workshop on Internet Programming Languages will be conducted at Loyola University. Details are given at the end of this announcement. IMPORTANT DEADLINES Hotel discount reservation deadline: April 12, 1998 Early conference registration deadline: April 22, 1998 Information about hotels and conference registration appears below and at the ICCL web page cited above. CONFERENCE PROGRAM The conference runs Thursday, May 14, 8:30am-6:00pm; Friday, May 15, 8:45am-5:30pm; and Saturday, May 16, 8:45am-12:45pm The invited speakers are Luca Cardelli, Microsoft Cambridge Labs (UK) Paul Hudak, Yale University (US) James Larus, University of Wisconsin (US) The technical sessions consist of the following talks: THURSDAY, MAY 14th Invited Lecture: Luca Cardelli, Microsoft Cambridge Labs (UK) Security and Dynamic Class Loading in Java: A Formalisation T. Jensen D. Le M'etayer T. Thorn, IRISA/CNRS/INRIA (FR) TJava: A Transactional Java Alex Garthwaite and Scott Nettles, University of Pennsylvania (US) Breaking Abstractions and Unstructuring Data Structures Christian Collberg, Clark Thomborson and Douglas Low, The University of Auckland (NZ) Using Reflexivity to Interface with CORBA Roberto Ierusalimschy, Renato Cerqueira, Noemi Rodriguez, Rio de Janeiro-Brazil (BR) Reactive Programming in Standard ML Riccardo R. Pucella, Bell Laboratories, Lucent Technologies (US) Design and Implementation of Triveni: A Process-algebraic API for Threads + Events Christopher Colby, Lalita Jategaonkar Jagadeesan, Radha Jagadeesan, Konstantin L"aufer and Carlos Puchol, Loyola University Chicago (US) and Bell Laboratories, Lucent Technologies (US) Distributed Computations Driven by Resource Consumption Luc Moreau and Christian Queinnecy, University of Southampton (UK), LIP 6 & INRIA-Rocquencourt (FR) Automatic Generation of Microarchitecture Simulators Soner Vnder and Rajiv Gupta, University of Pittsburgh (US) Microprocessor Specification in Hawk J. Matthews, J. Launchbury, B. Cook, Oregon Graduate Institute (US) The Template and Multiple Inheritance Approach into Attribute Grammars Marjan Mernik, Mitja Lenic, Enis Avdicausevic, Viljem Zumer University of Maribor (Slovenia) Combining Functional and OOprogramming Methodologies in a Large Commercial Application Ian Poole, Craig Ewington, Arthur Jones and Steve Wille, Vysys, Inc and Lawrence Berkeley National Lab (US) FRIDAY, MAY 15th Invited Lecture: Paul Hudak, Yale University (US) Modular Compilers Based on Monad Transformers William L. Harrison and Samuel N. Kamin, University of Illinois, Urbana-Champaign (US) Automatic, Template-Based Run-Time Specialization: Implementation and Experimental Study Francois Noel, Luke Hornof, Charles Consel, Julia L. Lawall, University of Rennes and IRISA (FR) Controlled Self-applicable On-line Partial Evaluation, Using Strategies Mattox Beckman and Sam Kamin, University of Illinois at Urbana-Champaign (US) Parallelization via Context Preservation Wei-Ngan Chin, A. Takano and Zhenjiang Hu, NUS (SG), Hitachi (JP), University of Tokyo (JP) Type Reconstruction for Syntactic Control of Interference, Part 2 Hongseok Yang and Howard Huang, University of Illinois at Urbana-Champaign (US) An Operational Semantics for Probabilistic Concurrent Constraint Programming Alessandra Di Pierro and Herbert Wiklicky, City University London (UK) Set Constraints for Destructive Array Update Optimization Mitchell Wand and William D. Clinger, Northeastern University (US) A Conservative Technique to Improve Deterministic Evaluation of Logic Programs Abhik Roychoudhury, C.R. Ramakrishnan, I.V. Ramakrishnan and R.C. Sekar, SUNY Stony Brook and Iowa State (US) Dependence Analysis for Recursive Data Yanhong A. Liu, Indiana University (US) Optimal Code Motion in the Presence of Large Expressions Oliver R"uthing, Dortmund University (DE) SATURDAY, MAY 16 Invited Lecture: James Larus, University of Wisconsin (US) Path Profile Guided Partial Redundancy Elimination Using Speculation Rajiv Gupta, David A. Berson, and Jesse Z. Fang, University of Pittsburgh (US), Intel Corporation Microcomputer Research Lab (US) An Infrastructure for Profile-Driven Dynamic Recompilation Robert G. Burger and R. Kent Dybvig, SAGIAN (US), Indiana University (US) Formal Callability and its Relevance and Application to Interprocedural Data Flow Analysis Jens Knoop, Universitat Passau (DE) Loop Optimization for Aggregate Array Computations Yanhong A. Liu and Scott D. Stoller, Indiana University (US) Data Flow Analysis Across Tuplespace Process Boundaries James B. Fenwick Jr. and Lori L. Pollock, University of Delaware (US) REGISTRATION Secure online registration is available at https://secure.computer.org/conf/iccl/register.htm This registration application accepts MasterCard, Visa, American Express, and Diners Club cards. If you do not have one of these credit cards, or if you prefer not to register online, please print out the form and fax or mail it with payment to the address given on the form. Conference registration includes admission to the technical sessions, morning and afternoon refreshment breaks, the Wednesday evening reception, and one copy of the proceedings. Advance Registration Fees: IEEE Member $220, Nonmember $275, Full-time Student $120 Late/On-Site Registration Fees: IEEE Member $265, Nonmember $330, Full-time Student $120 HOTELS We have negotiated special rates for ICCL attendees at the Talbott Hotel (+1-312-944-4970, 20 East Delaware Place) and at the Days Inn Lake Shore Drive (+1-312-943-9200, 644 North Lake Shore Drive). Please mention ICCL/Loyola University to get the special group rate. The hotels require a room deposit guaranteed with a major credit card. Rooms for Saturday night (May 16) are very limited because of the annual Chicago Restaurant Convention. Therefore, attendees SHOULD BOOK THEIR HOTEL ROOM FIRST and only then purchase a plane ticket second. The Talbott is only a two-minute walk away from the conference site but has fewer rooms available. The Days Inn is a fifteen-minute walk away from the conference site. Please see the ICCL web page http://www.math.luc.edu/iccl98/ for details. TRANSPORTATION United Airlines is offering a 10% discount off the unrestricted mid-week coach fare or 5% discount off the lowest applicable fares, including First Class, to all attendees of ICCL '98. This special offer applies to travel on domestic segments of all United Airlines, United Express and Shuttle-by-United flights. See the ICCL web page for details. Information about transportation from the Chicago airports to the hotels and conference site is also available from the ICCL web page. CONTACT PERSONS Local Arrangements Chair: Publications Chair: Konstantin La"ufer Christopher Colby Loyola University Chicago Loyola University Chicago laufer(a)cs.luc.edu colby(a)cs.luc.edu Program Committee Co-Chairs: Purush Iyer Young-il Choo North Carolina State University Gifford-Fong Associates purush(a)csc.ncsu.edu yic(a)gfa-genesis.com Conference Chair: David Schmidt Kansas State University schmidt(a)cis.ksu.edu ============================================================================== WORKSHOP ON INTERNET PROGRAMMING LANGUAGES On May 13, a pre-conference Workshop on Internet Programming Languages will be conducted at Loyola University. Interested parties should contact one of the organizers: Henri Bal, Vrije Universiteit, The Netherlands, bal(a)cs.vu.nl Boumediene Belkhouche, Tulane University, USA, bb(a)eecs.tulane.edu Luca Cardelli, Microsoft Research, Cambridge, UK, luca(a)luca.demon.co.uk The workshop program is located at http://www.math.luc.edu/iccl98/ipl-program.html Information about attendance and registration will be available soon from the above URL and through a separate Call For Participation.

1 0