June 1999 - Categories - categories.org.au

CSL'99 Programme and CFP
by Eva Ullan 01 Jul '99

01 Jul '99

------------------------------------------------------------- CALL FOR REGISTRATION AND PARTICIPATION CSL'99 Annual Conference of the European Association for Computer Science Logic (EACSL) Madrid, Spain, September 20-25, 1999 ------------------------------------------------------------- http://mozart.sip.ucm.es:1580/csl99/ ***************************************************** Early registration deadline: July 15, 1999 ***************************************************** * Sponsored by: Departamento Sistemas Informaticos y Programacion (SIP) - UCM European Research Consortium for Informatics and Mathematics - ERCIM Esprit Working Group - CCLII Facultad de Matematicas - UCM Ministerio de Educacion y Ciencia - CICYT Vicerrectorado de Investigacion - UCM Vicerrectorado de Relaciones Internacionales - UCM * Organised by: SIP-UCM DACYA-UCM * EACSL Board: Marc Bezem (Utrecht, President), Ian Stewart (Leicester, Vice-President), Clemens Lautemann (Mainz, Treasurer), Peter Hajek (Prague), Simone Martini (Udine), Christine Paulin (Paris), Moshe Vardi (Houston), Johann Makowsky (Haifa), Alexander Razborov (Moscow) * Local Organizing Committee: J. Carlos Gonzalez-Moreno, Teresa Hortala-Gonzalez, Javier Leach-Albert (chair), Paco Lopez-Fraguas, Fernando Saenz-Perez, Eva Ullan-Hernandez. * Programme commitee of CSL'99: Samson Abramsky (Edinburgh, UK), Marc Bezem (Utrecht, The Netherlands), Peter Clote (Munich, Germany), Hubert Comon (Cachan, France), Jorg Flum (Freiburg i.Br., Germany) (co-chair), Harald Ganzinger (Saarbrucken, Germany), Neil Immerman (Amherst, USA), Neil Jones (Copenhagen, Denmark), Jan Maluszynski (Linkoping, Sweden), Michael Maher (Brisbane, Australia), Catuscia Palamidessi (Pennsylvania, USA), Mario Rodriguez-Artalejo (Madrid, Spain) (co-chair), Wolfgang Thomas (Aachen, Germany), Jerzy Tiuryn (Warsaw, Poland), Martin Wirsing (Munich, Germany). -*-*-*-*-*-*-*-*-*-*-*-*-*-*-*-*-*-*-*-*-*- The 1999 Annual Conference of the European Association for Computer Science Logic follows previous CSL Conferences: CSL'98 (Brno, Czech Republic), CSL'97 (Aarhus, Danemark), CSL'96 (Utrecht, Netherlands), CSL'95 (Paderborn, Germany), CSL'94 (Kasimierz, Poland), CSL'93 (Swansea, Great Britain), CSL'92(San Miniato/Pisa, Italy), CSL'91 (Bern, CH), CSL'90 (Heidelberg, Deutchland), CSL'89 (Kaiserslautern, Deutchland), CSL'88 (Duisburg, Deutchland), and CSL'87 (Karlsruhe, Deutchland), CSL'99 will be held in Madrid (Spain). The event is organized jointly by the Computer Science Departments (SIP and DACYA) of Universidad Complutense de Madrid (UCM). The scientific program includes 34 selected papers from among 91 submissions, five invited lectures, and two tutorials on theorem proving and rewriting techniques, scheduled on September 24 afternoon (Friday) and September 25 morning (Saturday), immediately after the main conference. In addition to the scientific program, the social program includes an excursion to Segovia (a nearby historic city), and a conference dinner. Madrid, a city of contrasts, traditional and contemporary at the same time, offers the opportunity to enjoy both Spain and one of the most attractive capitals in Europe. In this document you can find the Invited Lecturers, Tutorials, Scientific Programme, General Information, Registration and Accommodation Information. The CSL'99 Web page http://mozart.sip.ucm.es:1580/csl99/ contains additional information. -*-*-*-*-*-*-*-*-*-*-*-*-*-*-*-*-*-*-*-*-*- INVITED LECTURERS: Jose Luis Balcazar - Universidad Politecnica Cataluna Title: The consistency dimension, compactness, and query learning Javier Esparza - Technische Universitat Munchen Title: Partial order semantics help Martin Grohe - Albert-Ludwig-Universitat Freiburg Title: Descriptive and Parametrized Complexity Peter D. Mosses - University of Aarhus Title: Logical specification of operational semantics Victor Vianu - University California San Diego Title: Topological Queries in Spatial Databases TUTORIALS: Douglas J. Howe - Bell Labs Title: Interactive Theorem Proving using Type Theory Aart Middeldorp - University of Tsukuba Title: Term Rewriting PRELIMINARY SCIENTIFIC PROGRAMME: Monday 20th, September 9:00 Registration 9:45 Conference Opening 10:00 Invited Talk: V. Vianu Topological Queries in Spatial Databases 11:00 Coffee Break Session 1: Descriptive Complexity 11:20 E. Gradel and S. Kreutzer Descriptive complexity theory for constraint databases 11:50 D. Leivant Applicative control and computational complexity 12:30 Lunch Session 2: Verification 14:00 T. Arts and J. Giesl Applying Rewriting Techniques for Verification of Erlang Processes 14:30 J. Moller, J. Lichtenberg, H.R. Andersen and H. Hulgaard Difference Decision Diagrams 15:00 M. Fraenzle Analysis of Hybrid Systems: An ounce of realism can save an infinity of states 15:30 Y. Kesten and A. Pnueli Can Abstraction Replace Deduction? 16:00 Coffee break 16:30 EACSL Assembly Tuesday 21th, September 9:00 Invited Talk: J.L. Balcazar The consistency dimension, compactness, and query learning Session 3: Temporal Logic 10:30 T.M. Rasmussen Signed Interval Logic 11:00 Coffe break 11:20 Y. Hirshfeld and A. Rabinovich Quantitative Temporal Logic 11:50 V. Diekert and P. Gastin An expressively complete temporal logic without past tense operators for Mazurkiewicz traces 12:30 Lunch Session 4: Lambda Calculus, Linear Logic 14:00 E. Bonelli Using fields and explicit substitutions to implement objects and functions in a de Bruijn setting 14:30 M. Fernandez and I. Mackie Closed Reductions in the l-calculus 15:00 S. Ishtiaq and D.J. Pym Kripke resource models of a dependently-typed, bunched l-calculus 15:30 R. Di Cosmo and V. Balat A linear logic view of linear type isomorphisms 16:00 Coffee break Session 5: Logic Programming, Modal Logic, Description Logic 16:30 M. De Vos Choice logic programs and Nash equilibria in strategic games 17:00 S. Hagihara and N. Yonekazi Resolution Method for Modal Logic with Well-founded Frames 17:30 S. Tobies A NExpTime-complete Description Logic Strictly Contained in C2 18:00 C. Areces, P. Blackburn and M. Marx A Road-map on Complexity for Hybrid Logics Wednesday 22th, September 9:30 Invited talk: M. Grohe Descriptive and Parametrized Complexity Session 6: Descriptive Complexity 10:30 C. Lautemann and B. Weinzinger Monadic NLIN and quantifier free reductions 11:00 Coffe break 11:20 J. Marcinkowski Directed Reachability: From Ajtai-Fagin to Ehrenfeucht-Fraise games 11:50 J.C. Bradfield Fixpoint alternation and the game quantifier 12:30 Lunch 13:30 Excursion to Segovia Thursday 23rd, September 9:30 Invited talk: P. Mosses Logical specification of operational semantics Session 7: Logic and Complexity 10:30 J. Toran Lower Bounds for Space in Resolution 11:00 Coffe break 11:20 I.A. Stewart Program schemes, arrays, Lindstrom quantifiers and zero-one laws 11:50 L.D. Blemishev Open least element principle and bounded query computation 12:30 Lunch Session 8: Lambda Calculus, Type Theory 14:00 A.D. Ker, H. Nickau and C.H.L. Ong More Universal Game Models of Untyped l-Calculus: The Bohm Tree Strikes Back 14:30 A. Compagnoni and H. Goguen Anti-Symmetry of Higher-Order Subtyping 15:00 H. Geuvers, E. Poll and J. Zwanenburg Safe Proof Checking in Type Theory with Y 15:30 T. Altenkirch and B. Reus Monadic presentations of lambda terms using generalized inductive types 16:00 Coffee break Session 9: Linear Logic, Mu Calculus, Concurrency 16:30 L. Roversi A Proof of Completeness for Light Logics 17:00 H. Seidl and A. Neumann On Guarding Nested Fixpoints 17:30 A. Kucera and J. Esparza A Logical Viewpoint on Finite-State Descriptions of Processes 18:00 P. Gastin and M. Mislove A Truly Concurrent Semantics for a Simple Parallel Programming Language Friday 24th, September 9:30 Invited talk: J. Esparza Partial order semantics help Session 10: Specification, Data Refinement 10:30 J.E. Hannay Specification Refinement with System F 11:00 Coffe break 11:20 F. Honsell and D. Sannella Pre-logical Relations 11:50 Y. Kinoshita and J. Power Data-refinement for call-by-value programming languages 12:20 Conference Closure 12:30 Lunch 14:30 A. Middeldorp Tutorial on Term Rewriting, 1st part 16:00 Coffee break 16:30 Tutorial on Term Rewriting, 2nd part Saturday 25th, September 9:30 D. Howe Tutorial on Interactive Theorem Proving using Type Theory, 1st part 11:00 Coffee break Tutorial on Interactive Theorem Proving using Type Theory, 2nd part -*-*-*-*-*-*-*-*-*-*-*-*-*-*-*-*-*-*-*-*-*- GENERAL INFORMATION Place and travel The Conference will be held in Madrid (Spain), at the Faculty of Mathematics of Universidad Complutense de Madrid (UCM), from the 20th to the 25th of September, 1999. Madrid has direct flights from most major cities and generally good connections from elsewhere. Barajas, the international Madrid airport, is only about10 km from the city. There are frequent regular buses and taxis to the city, as well as the new metropolitan line. The Faculty of Mathematics can be reached by metro (metropolitan station Ciudad Universitaria or Metropolitano) or by bus (bus lines 132, F, or 82). The CSL'99 Web page (http://mozart.sip.ucm.es:1580/csl99/) contains additional information such as the metropolitan network map, and the surroundings to CSL host site map. Social Events A guided excursion to Segovia will be held on Wednesday, 22th. The departure will be after lunch, at 14:00. Registered participants have this excursion included, and accompanying persons can buy an excursion ticket (60 euros) during the Registration and Opening Session to CSL'99. The excursion includes dinner. Languages The official language of the Conference is English. REGISTRATION AND ACCOMMODATION INFO REGISTRATION INFO CSL'99 Registration to the Conference and/or Tutorial must be made sending the Conference Registration Form and/or the Tutorial Registration Form and a copy of your corresponding bank transfer (via fax) directly to: CSL'99 attention of ms. Eva Ullan fax +34/91/394 46 02 Electronic mail registration will not be accepted The conference registration fee includes: - admission to the conference - morning and afternoon coffee breaks during the conference - lunches during the conference - excursion and social event - a copy of the proceedings volume - one year subscription to EACSL The tutorial registration fee includes: - admission to the tutorials - afternoon and morning coffee breaks during the tutorials - working material EARLY CONFERENCE REGISTRATION FEE: 270 EUROS. For early registration, the registration form together with a the copy of your bank remittance must reach us by July 15, 1999 LATE CONFERENCE REGISTRATION FEE: 300 EUROS. After July 15, 1999 SUBSIDISED STUDENT CONFERENCE REGISTRATION FEE: 150 EUROS If you want to apply for subsidised student registration fee, please type out your e-mail address and send the applying form for student registration fee, with a copy of your student certification via fax before July 1, 1999. You will receive a notification before July 5, 1999 if there is a student grant available for you. Since there are a reduced number of student grants, a positive answer will be possible only on a first come first serve basis. TUTORIAL REGISTRATION FEE: 60 EUROS For early tutorial registration, the tutorial registration form with a copy of your bank remittance must reach us by July 15, 1999 LATE TUTORIAL REGISTRATION FEE: 80 EUROS. After July 15, 1999 Payments should be made in EURO currency by bank transfer WITHOUT CHARGES FOR THE BENEFICIARY payable to: CAJA DE MADRID Donoso Cortes 80 28015 MADRID FUNDACION GENERAL UCM (CSL'99) Account: 2038/1735/09/2000001375 Do not forget the specification CSL'99 !!! -*-*-*-*-*-*-*-*-*-*-*-*-*-*-*-*-*-*-*-*-*- ACCOMMODATION INFO CSL'99 A) For those who would like a simple accommodation lodging in a student room, we have made arrangements with "Colegio Mayor Loyola", Paseo Juan XXIII 17, 28040 MADRID, SPAIN, Fax +34/91/535 22 05 In "Colegio Mayor Loyola" the price for single rooms, full board, is 4,600 pts + 7% VAT per day (27.646 EUROS + 7% VAT) If you want a "Colegio Mayor Loyola" accommodation you have to fill in the accommodation form and return in printed form via fax before July 15, 1999 to "Colegio Mayor Loyola". After July 15, the accommodation is not guaranteed. B) For those who would like a three/four star hotel accommodation, we have made arrangements with "Grandes Rutas Travel", fax +34/91/543 35 50 Hotel "Tirol" (***) Room for 1 person, breakfast included, 8,800 pts + 7% VAT Room for 2 persons, breakfast for 2 persons included, 11,500 pts + 7% VAT Hotel "Conde Duque" (****) Room for 1 person, breakfast included, 11,600 pts + 7% VAT Room for 2 persons, breakfast for 2 persons included, 14,800 pts + 7% VAT If you want a hotel accommodation you have to fill in the hotel accommodation form and return in printed form via fax before July 15, 1999 to "Grandes Rutas Travel". If you have any problem in relation with your hotel accommodation please get in contact via telephone with Mauro Martin or Ana Garcia (+34/91/543 33 62). <><><><><><><><><><><><> Cut here <><><><><><><><><><><><> CONFERENCE REGISTRATION FORM Please type out and return via fax with a copy of your bank remittance to CSL'99 attention of ms. Eva Ullan FAX +34/91/394 46 02 Surname ____________________________________________________ First Name(s) ______________________________________________ Mr/Ms + Title ______________________________________________ Affiliation ________________________________________________ Home or Work Address: Street _____________________________________________________ Code, City _________________________________________________ Country ____________________________________________________ e-mail _____________________________________________________ Hereby please receive a copy of my bank transfer. Signature: <><><><><><><><><><><><> Cut here <><><><><><><><><><><><> APPLYING FORM FOR A SUBSIDISED STUDENT REGISTRATION FEE Please type out and return via fax with a copy of your student certification to CSL'99 attention of ms. Eva Ullan FAX +34/91/394 46 02 I apply for a subsidised student certification fee. Surname ____________________________________________________ First Name(s) ________________________________________________ Affiliation ___________________________________________________ e-mail address________________________________________________ Hereby please receive a copy of my student certification. Signature: <><><><><><><><><><><><> Cut here <><><><><><><><><><><><> TUTORIAL REGISTRATION FORM Please type out and return via fax with a copy of your bank remittance to CSL'99 attention of ms. Eva Ullan FAX +34/91/394 46 02 Surname ____________________________________________________ First Name(s) ______________________________________________ Mr/Ms + Title ______________________________________________ Affiliation ________________________________________________ Home or Work Address: Street _____________________________________________________ Code, City _________________________________________________ Country ____________________________________________________ e-mail _____________________________________________________ Hereby please receive a copy of my bank transfer. Signature: <><><><><><><><><><><><> Cut here <><><><><><><><><><><><> ACCOMMODATION FORM FOR COLEGIO MAYOR LOYOLA Please fill in and return before the July 15, 1999 via fax to CSL'99 "Colegio Mayor Loyola" attention of ms. Aurora fax +34/91/535 22 05 Surname(s) ____________________________________________________ First Name(s) ______________________________________________ Mr/Ms + Title ______________________________________________ Affiliation ________________________________________________ Arrival day ________________________________________________ Departure day ______________________________________________ Home or Work Address: Street _____________________________________________________ Code, City _________________________________________________ Country ____________________________________________________ Signature: <><><><><><><><><><><><> Cut here <><><><><><><><><><><><> ACCOMMODATION FORM FOR "GRANDES RUTAS TRAVEL" Please fill in and return before the July 15, 1999 via fax to CSL'99 "Grandes Rutas Travel" attention of mr. Mauro Martin or Ana Garcia fax +34/91/543 35 50 Hotel _____________________________________________________ Surname(s) __________________________________________________ First Name(s) ______________________________________________ Mr/Ms + Title ______________________________________________ [ ] Single room [ ] Double room Arrival day ________________________________________________ Departure day ______________________________________________ Home or Work Address: Street _____________________________________________________ Code, City _________________________________________________ Country ____________________________________________________ Signature:

1 0

The Scott Russell Johnson Memorial Fellowship
by Ross Street 28 Jun '99

28 Jun '99

Dear "Categories" Would you please post this advertisement on your electronic Bulletin Board? Regards, Ross MACQUARIE UNIVERSITY DIVISION OF INFORMATION AND COMMUNICATION SCIENCES MATHEMATICS DEPARTMENT Research Fellow in Mathematics (Full time, fixed term) **Scott Russell Johnson Memorial Fellowship** This Fellowship is funded by a generous donation to the Centre of Australian Category Theory (CoACT) in memory of Dr Scott Russell Johnson. The appointee will conduct research within CoACT; other duties include seminar presentations, postgraduate supervision and relevant teaching. Applicants must have an outstanding PhD (or the equivalent), or post-doctoral research achievements at an outstanding level, in a relevant field of mathematics such as category theory, algebraic topology, algebraic geometry, or low-dimensional topology. Enquiries should be addressed to the Director of CoACT, Prof Ross Street (email <street(a)math.mq.edu.au>, phone (02)9850 8921), or Mrs Elaine Vaughan (email <evaughan(a)math.mq.edu.au>, phone (02) 9850 8947, fax (02) 9850 8114). The position is available immediately for a period of three years. The appointment will be subject to the satisfactory completion of a probationary period of three months. Salary Range: Level A $34,647 to $47,019 per annum. An appointee with a PhD will commence at least at Point 6 on the salary scale, at $43,803 per annum, plus superannuation. Level B $49,495 to $58,776 per annum. Level of appointment will depend on relevant experience. Applications including curriculum vitae setting out research interests and publications, the reference number, Australian visa status, and the names and addresses (including email) of three referees should be forwarded to the Recruitment Manager, Personnel Office, Macquarie University, NSW 2109 by 6 August 1999. Women are particularly encouraged to apply. Equal Employment Opportunity and No Smoking in the Workplace are University Policies.

1 0

PROBMIV'99: Call for Participation
by Marta Z Kwiatkowska 27 Jun '99

27 Jun '99

[Please circulate this to anyone interested. Apologies for multiple copies.] _________________________________________________________________________ CALL FOR PARTICIPATION PROBMIV'99 2nd International Workshop on Probabilistic Methods in Verification http://fmt.cs.utwente.nl/probmiv99/ a satellite to CONCUR'99 Eindhoven, 23rd Aug 1999 (to coincide with EXPRESS'99, another satellite) >>>>>>>>>>>EARLY REGISTRATION FOR CONCUR ENDS 1st JULY<<<<<<<<<<<<<<<<<<< _________________________________________________________________________ SCOPE OF THE WORKSHOP Probability inherently features in software and hardware systems, either as a means to derive efficient solutions (e.g. randomization), or as a result of unreliable or unpredictable behaviour (e.g. fault-tolerant systems, computer networks, etc). *Probabilistic verification* encompasses a range of theoretical, algorithmic and programming methods that assist in establishing the correctness of probabilistic systems against specifications. Typically this involves calculating the probability bounds for a temporal logic formula being satisfied, based on an appropriate probability space on computations, but also includes properties such as cost analysis and long-run average. Additionally, probabilistic verification can provide guarantees the specifications hold with satisfactory probability in cases when conventional model checking is not feasible. The idea of this workshop is to bring together researchers that apply probabilistic methods across the whole spectrum of verification. The meeting aims to enable cross-fertilisation of ideas and techniques between areas that are usually not in regular contact through conferences, from semantics, probability theory, performance analysis and computational linear algebra, through randomized algorithms, probabilistic logics, model checking, abstract interpretation, to practical experimental work, tools and applications. This is the second workshop of this kind. The first meeting, PROBMIV'98 was held in 1998 as a satellite to LICS. In 1999, the workshop takes place as a satellite to CONCUR. _________________________________________________________________________ INVITED PAPERS Rance Cleaveland, SUNY at Stony Brook: Probabilistic Model Checking via the Modal Mu-Calculus Bengt Jonsson, University of Uppsala: On Model Checking Infinite-State Probabilistic Systems Kim Larsen, Aalborg University: Testing and Verification of Probabilistic Systems Oded Maler, Verimag: On the Representation of Probabilities over Structured Domains _________________________________________________________________________ ACCEPTED CONTRIBUTIONS Christel Baier, University of Mannheim, and Holger Hermanns, University of Twente: A lazy synchronous calculus of fully probabilistic processes Luca de Alfaro, University of California at Berkeley: The Verification of Probabilistic Systems under Memoryless Partial-Information Policies is Hard Josee Desharnais, McGill University: A logical characterization of probabilistic simulation Alessandra Di Pierro, University of Pisa, and Herbert Wiklicky, Imperial College: Ergodic Average in Constraint Programming Manfred Jaeger, Max-Planck-Institut at Saarbrucken: Fairness, Computable Fairness and Randomness Jeremy Sproston, University of Birmingham: Analysing subclasses of probabilistic hybrid automata _________________________________________________________________________ STEERING AND PROGRAM COMMITTEE Rajeev Alur, University of Pennsylvania Christel Baier, University of Mannheim Luca de Alfaro, University of California at Berkeley Michael Huth, Kansas State University Joost-Pieter Katoen, University of Twente Marta Kwiatkowska, University of Birmingham (chair) Roberto Segala, University of Bologna Prakash Panangaden, McGill University _________________________________________________________________________ RELATED EVENTS PROBMIV'99 is organized as a satellite workshop of CONCUR'99, the 10th International Conference on Concurrency Theory, which will take place in Eindhoven on August 24-27, 1999. PROBMIV'99 coincides with the EXPRESS'99 workshop on Expressiveness in Concurrency, another satellite of CONCUR'99. REGISTRATION is via the registration form for CONCUR'99, available at URL http://www.win.tue.nl/concur99/ There is no registration charge for PROBMIV'99, but pre-registration is required. Note that early registration for CONCUR'99 ends on ***1st July***. _________________________________________________________________________ LOCAL ORGANISATION Holger Hermanns, University of Twente Erik de Vink, Free University Amsterdam _________________________________________________________________________ FURTHER INFORMATION For more information please see URLs PROBMIV'99 http://fmt.cs.utwente.nl/probmiv99/ CONCUR'99 http://www.win.tue.nl/concur99/ EXPRESS'99 http://www.docs.uu.se/~victor/Express/express99.shtml PROBMIV'98 http://www.cs.bham.ac.uk/~mzk/probmiv98.html _________________________________________________________________________

1 0

Announcement WD'99
by Thomas Streicher 25 Jun '99

25 Jun '99

Sorry, if you receive this announcement several times ! 2nd Announcement of 5th DOMAINS WORKSHOP (Darmstadt, 23. - 26. September 1999) Dear colleagues, the 5th Workshop on Domains will take place in Darmstadt from Thursday, the 23rd of September till Sunday, the 26th of September. We will start on Thursday after lunch. In this session there will be talks by D.Scott and A.Jung on the occasion of Klaus Keimel's 60th Birthday. Afterwards, there will be a football match in the early evening followed by a barbecue. Whether there will be program on Sunday or it will be the day of departure will depend on the number of talks that people want to deliver. The idea of having in principle two full days for talks is motivated mainly by the intention to avoid a too dense schedule and leave enough time for discussion. The talks should concentrate on the following topics - Classical Domain Theory - Denotational Semantics of Programming Languages - Categorical Logic and Realisability - Synthetic Domain Theory - Non-Classical Domain Theory (Stable Domains, Full Abstraction ...) - Exact Computation on Classical Spaces This list is not exclusive and talks on related topics are encouraged. As usual there will be "open house" in the sense that there is no refereeing and people are invited to talk about work in progress. For registration, please, send a message to marz(a)mathematik.tu-darmstadt.de together with title and abstract of your talk. If you want to give a talk you have to tell us till 23rd August 1999. More information about the workshop can be found at the homepage http://www.mathematik.tu-darmstadt.de/~erker/wd5/ In particular, there you can find an address via which you can reserve accommodation. We also plan to organise some private accommodation for undergraduate students who cannot afford to pay the hotel expenses. Awaiting your registration Michael Marz, Thomas Streicher

1 0

HHA article available
by Walter Tholen 24 Jun '99

24 Jun '99

The following paper is now available: A Categorical Guide to Separation, Compactness and Perfectness Walter Tholen Based on a rather arbitrary class of morphisms in a category, which play the role of "closed maps", we present a general approach to separation and compactness, both at the object and the morphism levels. It covers essential parts of the classical topological theory, generalizes various previous categorical treatments of the theme, and allows for a number of less expected applications outside topology. Homology, Homotopy and Applications, Vol. 1, 1999, No. 6, pp 147-161 http://www.rmi.acnet.ge/hha/volumes/1999/n6/n6.dvi http://www.rmi.acnet.ge/hha/volumes/1999/n6/n6.ps http://www.rmi.acnet.ge/hha/volumes/1999/n6/n6.dvi.gz http://www.rmi.acnet.ge/hha/volumes/1999/n6/n6.ps.gz ftp://ftp.rmi.acnet.ge/pub/hha/volumes/1999/n6/n6.dvi ftp://ftp.rmi.acnet.ge/pub/hha/volumes/1999/n6/n6.ps ftp://ftp.rmi.acnet.ge/pub/hha/volumes/1999/n6/n6.dvi.gz ftp://ftp.rmi.acnet.ge/pub/hha/volumes/1999/n6/n6.ps.gz

1 0

CTCS 99 CALL FOR PARTICIPATION, DEADLINE 19th July
by Martin Hofmann 23 Jun '99

23 Jun '99

CATEGORY THEORY AND COMPUTER SCIENCE (CTCS'99) 10-12 SEPTEMBER 1999, EDINBURGH, SCOTLAND http://www.dcs.ed.ac.uk/home/ctcs99 CALL FOR PARTICIPATION CTCS '99 is the 8th conference on "Category Theory and Computer Science." The purpose of the conference series is the advancement of the foundations of computing using the tools of category theory. While the emphasis is upon applications of category theory, it is recognized that the area is highly interdisciplinary. Previous meetings have been held in Guildford (Surrey), Edinburgh, Manchester, Paris, Amsterdam, Cambridge, and S. Margherita Ligure (Genova). This document contains 1. Invited speakers 2. List of accepted papers 3. Programme committee 4. Registration form A WWW-version containing all this information plus abstract of contributed papers can be found under www.dcs.ed.ac.uk/home/ctcs99 1. Invited speakers ------------------- Ryu Hasegawa Univ. of Tokyo (Japan) Peter Freyd Univ. of Pennylvania (USA) Marcelo Fiore Univ. of Sussex (UK) Doug Smith Kestrel Institute (USA) 2. List of accepted papers (19 out of 39 submissions) -------------------------- Concurrent Realizations of Reactive Systems. Marek Bednarczyk, Andrzej Borzyszkowski Functorial semantics for Petri nets under the individual token philosophy. Roberto Bruni, Jose Meseguer, Ugo Montanari, Vladimiro Sassone Equational Lifting Monads. Anna Bucalo, Alex Simpson, Carsten Fuehrmann Structured Theories and Institutions F Duran, J Meseguer Coalgebra to Algebra Morphisms. A Eppendahl On the Semantics of Message Passing Processes. Lindsay Errington A Fully abstract presheaf semantics for SCCS with finite delay. Thomas Hildebrandt Abstract Games for Linear Logic. Martin Hyland, Andrea Schalk Internal Languages for Autonomous and *-Autonomous Categories. T W Koh and C-H L Ong Dependent Coercions. Zhaohui Luo and Sergei Soloviev Precategories for combining probabilistic automata. Paulo Mateus, Amilcar Sernadas, Cristina Sernadas Monads, shapely functors, and traversals. E Moggi, G Belle, C B Jay Exhausting Strategies, Joker Games and IMLL with Units. A S Murawski and C-H L Ong Hilbert Q-Modules and Nuclear Ideals in the Category of v-Semilattices with a Duality. Jan Paseka A Coalgebraic Foundation for Linear Time Semantics. John Power, Daniele Turi Denotational Completeness Revisited. Thomas Streicher A domain-theoretic semantics of lax generic functions. Hideki Tsuiki A Bi-Categorical Axiomatisation of Concurrent Graph Rewriting. Fabio Gadducci, Reiko Heckel and Merce Llabres. Higher-dimensional syntax. Martin Wehr. 3. Programme committee ---------------------- J. Adamek TU Braunschweig (Germany) N. Benton Microsoft Research, Cambridge (UK) R. Blute U. Ottawa (Canada) T. Coquand Chalmers (Sweden) M. Escardo LFCS Edinburgh (UK) M. Hasegawa Kyoto Univ. (Japan) M. Hofmann (Chair) LFCS Edinburgh (UK) P. O'Hearn Queen Mary West (UK) D. Pavlovic Kestrel Institute (California) H. Reichel TU Dresden (Germany) G. Rosolini U. Genova (Italy) A. Scedrov U. Penn (Pennsylvania) Organising Committee -------------------- S. Abramsky LFCS Edinburgh (UK) P. Dybjer Chalmers U. (Sweden) E. Moggi U. Genova (Italy) A. Pitts U. Cambridge (UK) 4. Registration form -------------------- Please complete this form and email it to ctcs99-reg(a)dcs.ed.ac.uk before 19th July 1999. You can also fax the form to +44 131 667 7209 Attn: CTCS-REG or send it to M Lekuse, CTCS-REG, JCMB, KB, Mayfield Rd, Edinburgh EH9 3JZ, UK. ******************************************************* * REGISTRATION FOR CTCS '99 * ******************************************************* A PERSONAL DETAILS ------------------ LAST NAME: _______________________________ FIRST NAME: ______________________________ AFFILIATION: _____________________________ ADDRESS: _________________________________ _________________________________ _________________________________ PHONE NUMBER: ____________________________ FAX: _____________________________________ E-MAIL: __________________________________ WWW (optional): __________________________ DATE OF ARRIVAL: __/__ 1999 DATE OF DEPARTURE: __/__ 1999 ANY SPECIAL DIETARY REQUIREMENTS (e.g. vegetarian): ______________________ B CONFERENCE FEES ----------------- The conference fee will cover lunches, coffee breaks, and proceedings. (It also includes costs for invited speakers and seminar room bookings.) Regular Student -------------------------------------------- Early registration: GBP115 GBP95 by 19th July Late registration: GBP170 GBP170 after 19th July There will be a conference dinner on Saturday, 11th September. It will cost GBP30 (students GBP15). I will attend the dinner YES ( ) NO ( ) Total fees payable: GBP ____ I have paid the fees by ____________________ on __/__1999. Please pay your fee by - bank draft in GBP - Eurocheque in GBP - any other cheque drawn on a British bank payable to "The University of Edinburgh". Unfortunately, we cannot acccept credit cards and bank transfers. C ACCOMMODATION --------------- We should like to ask you to book your own accommodation directly. The Edinburgh Tourist Board offers a very efficient booking service. You can either book by phone (+44-131-473-3874), fax (+44-131-473-3636) or e-mail (conventions(a)eltb.org) When you contact them they will supply you with a booking form which lists a number of accommodation types from simple guest houses to 5* hotels. Please book early. Although the Edinburgh International Festival will be over, September is still a very busy time. ---------------------------------------------------------------- **Please state clearly on the accommodation booking form that your accommodation should be within easy reach of the King's Buildings, University of Edinburgh.** ---------------------------------------------------------------- You should receive confirmation of your booking within one day. You need to give them your credit card number which will serve as a security. You will actually have to pay your accommodation directly later. If you do not have a credit card, or you encounter any difficulties in booking your accommodation, then please get in touch with us directly. Please contact (ctcs99-reg(a)dcs.ed.ac.uk) and state your requirements. The conference will be held in the James Clerk Maxwell Building (Lecture theatre B), King's Buildings, Edinburgh EH9 3JZ. You will find maps at http://www.visres.ed.ac.uk/internal/maps. Important dates --------------- 9 April 1999 Notification of intention to submit 23 April 1999 Submission deadline 4 June 1999 Notification of authors of accepted papers 30 July 1999 Deadline for final versions of accepted papers Address for paper submissions ----------------------------- Martin Hofmann Laboratory for Foundations of Computer Science Division of Informatics JCMB, King's Buildings Mayfield Road Edinburgh EH9 3JZ Scotland Local organization ------------------ Monika Lekuse Laboratory for Foundations of Computer Science Division of Informatics JCMB, King's Buildings Mayfield Road Edinburgh EH9 3JZ Scotland Conference e-address ctcs99(a)dcs.ed.ac.uk -------------------- Conference homepage http://www.dcs.ed.ac.uk/home/ctcs99 ------------------- Related event 2nd APPSEM workshop, 6-9 September 1999 ------------- http://www.md.chalmers.se/Cs/Research/Semantics/APPSEM/index.html

1 0

Correct email address
by Charles Wells 23 Jun '99

23 Jun '99

My correct email address is charles(a)freude.com. If you are still using the apk.net address be warned that it will die very very soon. Thanks, Charles Wells, Department of Mathematics, Case Western Reserve University, 10900 Euclid Ave., Cleveland, OH 44106-7058, USA. EMAIL: charles(a)freude.com. OFFICE PHONE: 216 368 2893. FAX: 216 368 5163. HOME PHONE: 440 774 1926. HOME PAGE: URL http://www.cwru.edu/artsci/math/wells/home.html

1 0

preprint: Representable Multicategories
by Claudio Hermida 22 Jun '99

22 Jun '99

The preprint `Representable multicategories' is available at http://www.maths.usyd.edu.au:8000/u/hermida Abstract: We introduce the notion of representable multicategory, which stands in the same relation to that of monoidal category as fibration does to contravariant pseudofunctor (into Cat). We give an abstract reformulation of multicategories as monads in a suitable Kleisli bicategory of spans. We describe representability in elementary terms via universal arrows. We also give a doctrinal characterisation of representability based on a fundamental monadic adjunction between the 2-category of multicategories and that of strict monoidal categories. The first main result is the coherence theorem for representable multicategories, asserting their equivalence to strict ones, which we establish via a new technique based on the above doctrinal characterisation. The other main result is a 2-equivalence between the 2-category of representable multicategories and that of monoidal categories and strong monoidal functors. This correspondence extends smoothly to one between bicategories and a localised version of representable multicategories. -- Claudio Hermida School of Mathematics and Statistics F07, University of Sydney, Sydney, NSW 2006, Australia

1 0

"OctoberFest" category theory meeting in Montreal
by Robert A.G. Seely 22 Jun '99

22 Jun '99

Centre de Recherche en Theorie des Categories -- Montreal -- Category Theory Research Center ----------------------------------------------------------------------------- Category Theory OctoberFest McGill University, Montreal Saturday - Sunday, October 16 - 17, 1999 ----------------------------------------------------------------------------- We invite you to join us in Montreal next October for a weekend meeting in Category Theory, the "not-quite-annual" OctoberFest. As has been the tradition with these meetings, we invite talks from all participants. If you wish to give a talk, send your request along with a short abstract (before the end of September please) to Robert Seely at the address below. Early in October the program committee will announce a preliminary schedule on the Categories email list, and on the CTRC/CRTC web site. The final schedule will be announced at the meeting. We will meet in the Bronfman Building, 1001 Sherbrooke West, on Saturday morning, October 16th. Coffee will be available from 8:30 am. The first talk will be at 9:00. Registration will take place during the morning, before the first talk and during the first coffee break. There will be a registration fee of about $CAN45 (approximately $US30), with luck, less: all possible attempts will be made to keep this as low as we can. The precise amount will be announced in early October, along with the proposed schedule. There will be a dinner/party to be held Saturday evening, hosted by Marta Bunge. (Instructions for getting to the Bunge home will be announced at the meeting.) Please let us know if you intend to join us by sending a short email (before the end of September if possible) to Robert Seely, also indicating whether or not you will bring a guest to the party. (We need to have a good estimate of how many people will attend the party about a week before the meeting.) Below you will find a list of hotels and tourist rooms close to McGill. Please note that October is a popular month for visiting Montreal, and early booking is recommended. If you have any further questions, please contact one of us. -------------------------------------------------------------------------------- Michael Barr [barr(a)barrs.org] Robert Seely [rags(a)math.mcgill.ca] Dept of Mathematics and Statistics McGill University 805 Sherbrooke West Montreal, Quebec CANADA H3A 2K6 -------------------------------------------------------------------------------- Hotels: (Montreal area code = 514) * L'Appartement, 455 Sherbrooke W, 284-3634, $85 * Howard Johnson Plaza, 475 Sherbrooke W, 842-3961, $94 (1-800-842-3961). (Mention McGill Maths Dept.) * Mariott Courtyard , 410 Sherbrooke W, 844-8851, $140 * Holiday Inn, 420 Sherbrooke W, 842-6111, $99 (Mention McGill Maths Dept.) * Hotel du Parc, 3625 Park Ave, 288-6666, $109 * Versailles*, 1659 Sherbrooke W, 933-3611, $91 (B&B) Tourist Rooms: (Prices vary depending on choice of single/double room, private/shared bathroom.) * Ambrose, 3422 Stanley, 288-6922, $50-80 (excellent) * Armor*, 157 Sherbrooke E, 285-0140, $55-109 * Bienvenue B&B** 3950 Laval, 844-5897, $65-95 (1-800-227-5897) * Casa Bella, 258 Sherbrooke W, 849-2777, $45-98 (Mention McGill Maths Dept for an additional discount, approx 10%) * Centre Ville B&B*, 3458 Laval, 289-9749, $55-65-85 * Pierre*, 169 Sherbrooke E, 288-8519, $60 *15 minute walk from McGill **30 minute walk from McGill

1 0

Coimbra course notes on Chu Spaces
by Vaughan Pratt 20 Jun '99

20 Jun '99

The notes for my course on Chu Spaces in Coimbra next month are online at http://boole.stanford.edu/pub/coimbra.ps.gz Vaughan Pratt

1 0