From cat-dist Mon Jun 1 16:23:35 1998 Received: (from Majordom@localhost) by mailserv.mta.ca (8.8.8/8.8.8) id NAA21335 for categories-list; Mon, 1 Jun 1998 13:38:01 -0300 (ADT) X-Authentication-Warning: mailserv.mta.ca: Majordom set sender to cat-dist@mta.ca using -f X-Received: from agnostix.bangor.ac.uk ([147.143.2.39]) by mailserv.mta.ca (8.8.8/8.8.8) with ESMTP id HAA03228 for ; Mon, 1 Jun 1998 07:49:57 -0300 (ADT) X-Received: from publix.bangor.ac.uk (publix.bangor.ac.uk [147.143.2.36]) by agnostix.bangor.ac.uk (8.8.8/8.8.8) with SMTP id LAA16510 for ; Mon, 1 Jun 1998 11:47:35 +0100 (BST) X-Received: by publix.bangor.ac.uk (SMI-8.6/SMI-SVR4) id LAA04895; Mon, 1 Jun 1998 11:48:50 +0100 Date: Mon, 1 Jun 1998 11:48:50 +0100 (BST) From: Ronnie Brown X-Sender: mas010@publix To: Bob Rosebrugh Subject: categories: Position at Galway Message-ID: MIME-Version: 1.0 Content-Type: TEXT/PLAIN; charset=US-ASCII Sender: cat-dist@mta.ca Precedence: bulk Status: O X-Status: Bob, I bet Ted Hurley would/could not complain if you put the following on the catbul list. Ronnie ---------- Forwarded message ---------- Date: Fri, 29 May 1998 14:40:31 +0000 (GMT) From: Ted Hurley, Galway. To: GROUP-PUB-FORUM@maths.bath.ac.uk Subject: Position National University of Ireland, Galway, Galway, Ireland Temporary Teaching Appointment in Mathematics. Applications are invited for a contract appointment in the Department of Mathematics, National University of Ireland, Galway, Ireland beginning 1 September 1998 for a period of 12 months at a salary of #1427 per month. The closing date for receipt of applications is Friday 12 June 1998. Full information may be obtained from: Personnel Office, National University of Ireland, Galway, Galway, Ireland Phone: +353 91 750360 FAX: +353 91 750523 E-mail: personnel@mis.ucg.ie The Department home page is at: http://www.maths.ucg.ie. -- Group Pub Forum Home page - http://www.bath.ac.uk/~masgcs/gpf.html From cat-dist Tue Jun 2 15:14:50 1998 Received: (from Majordom@localhost) by mailserv.mta.ca (8.8.8/8.8.8) id MAA24335 for categories-list; Tue, 2 Jun 1998 12:09:46 -0300 (ADT) X-Authentication-Warning: mailserv.mta.ca: Majordom set sender to cat-dist@mta.ca using -f Date: Tue, 2 Jun 1998 11:17:12 +0200 (MET DST) Message-Id: <199806020917.LAA01682@wsintt18.win.tue.nl> From: Calculemus and Types 98 MIME-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Transfer-Encoding: 7bit To: categories@mta.ca Subject: categories: Calculemus and Types 98: Call for Participation and Program cc: calc@win.tue.nl X-Mailer: VM 6.22 under 19.15p4 XEmacs Lucid Sender: cat-dist@mta.ca Precedence: bulk Status: O X-Status: Calculemus and Types 98 / User Interfaces for Theorem Provers 1998 Call for Participation and Final Programme Eindhoven University of Technology, The Netherlands Monday, Tuesday and Wednesday, 13-15th July 1998 http://www.win.tue.nl/~calc A few years ago, several groups from the deduction and computer algebra communities decided to work together towards the integration of theorem provers and computer algebra systems. This collaborative project has been called Calculemus. The Types project has operated in much the same direction, but with a stronger focus on Lambda-Calculus. Significant progress has now been achieved and it has been decided that this workshop will be fully open and provide the atmosphere for discussion among the two communities. The workshop will be held in parallel with the UITP workshop on the analysis and design of user interfaces for theorem proving assistants. For full details of the workshop, hotel reservation and the registration form consult: http://www.win.tue.nl/~calc http://www.win.tue.nl/cs/ipa/uitp/ Early registration and hotel reservation is strongly recommended since the number of delegates we can accommodate is limited. Presentations in the first column of the programme are part of the UITP workshop, presentations in the second column are Calculemus and Types presentations. Presentations in the middle are joint. Delegates will be free to move between the two workshops. Monday July 13 8:30 Registration 9:30 Opening, Roland Backhouse 9:35 Invited Lecture, Joerg Siekmann "CALCULEMUS" survey talk on the project achievements 10:30 Break 11:00 Richard Bornat and Bernard Sufrin Manfred Kerber Using gestures to disambiguate Towards an Open System for Theorem unification Proving 11:30 James H. Andrews On the Spreadsheet Presentation of Proof Obligations Invited Lecture, Benjamin Werner 12:00 Katherine Eastaughffe "Formal Proof of Buchberger's Support for Interactive Theorem Algorithm" Proving: Some Design Principles and Their Application 12:30 Lunch 14:00 Olivier Pons, Yves Bertot and Laurence Rideau Martin Dunstan, Tom Kelsey, Steve Notions of dependency in proof Linton, and Ursula Martin, assistants Light formal methods for CA systems 14:30 Patrick Viry A user-interface for Knuth-Bendix Loic Pottier and Laurent Thery completion Certified Computer Algebra 15:00 Roland Backhouse and Richard Verhoeven Extracting proofs from documents Thierry Coquand and Henrik Persson Integrated Development of Algebra in 15:15 Hans van Ditmarsch Type Theory User interfaces in natural deduction programs 15:30 Ingo Dahn Using ILF as a User Interface for Many Theorem Provers 15:45 Break 16:00 Invited Lecture, Harold Thimbleby The detection and elimination of spurious complexity Tuesday July 14 9:30 Invited Lecture, Robert Constable A Module Mechanism for Developing Algebra in Nuprl 10:30 Break 11:00 Koichi Takahashi and Masami Hagiya Proving as Editing HOL Tactics 11:30 Masaki Ishiguro and Ataru T. Stuart Allen From dy/dx to []P : a matter of Nakagawa notation Proof Abstraction with Parametric Specifications and Views in CafeOBJ 12:00 Seref Mirasyedioglu Richard Moot Grail. An Automated Proof Assistant The Church-Rosser Property in for Categorial Grammar Logics Computer Algebra for Symbolic Integration 12:30 Lunch 14:00 Erik Poll and Simon Thompson Adding the axioms to Axiom: Towards a system of automated reasoning in Aldor 14:30 Bruno Buchberger and Wolfgang System Demonstrations Windsteiger (Details to be included later) The Theorema Language: Implementing Object- and Meta Level Usage of Symbols 15:00 Arjeh M. Cohen, Olga Caprotti, Hugo Elbers, and Herman Geuvers Connecting OpenMath to Formal Math 15:30 Break 16:00 System Demonstrations Invited Lecture, Henk Barendregt (Details to be included later) 17:00 Panel Discussion 20:00 Banquet Wednesday July 15 9:30 Invited Lecture, Jean-Raymond Abrial Overview and Rationale of an Industrial Prover 10:30 Break 11:00 Nicholas Merriam, Michael Harrison Stephan Hess, Michael Kohlhase, and Making Design Decisions to Support Volker Sorge Diversity in Interactive Theorem An Implementation of Distributed Proving Mathematical Services 11:30 Joerg Siekmann, Stephan Hess, et Alessandro Armando and Silvio Ranise al. A Distributed Graphical User From Integrated Reasoning Specialists Interface for the Interactive Proof to ``Plug-and-Play'' Reasoning System OMEGA Components 12:00 Myla Archer, Constance Heitmeyer, Steve Sims Clemens Ballarin TAME: A PVS Interface to Simplify A Challenge for Sound Integration of Proofs for Automata Models Computer Algebra 12:30 Lunch 14:00 Bernard Sufrin and Richard Bornat User Interfaces for Generic Proof Erica Melis Assistants Part II: Displaying Combining Proof Planning with Proofs Constraint Solving 14:30 Mike Jackson, David Benyon, Helen Jeremy Dawson and Rajeev Gore Lowe A Mechanised Proof System for Relation Using ERMIA for the Evaluation of a Algebra using Display Logic for Theorem Prover Interface Calculemus 15:00 Paul Callaghan and Zhaohui Luo Mathematical Vernacular in Type Theory-based Proof Assistants Michael Beeson Automatic generation of epsilon-delta 15:15 Jan Zwanenburg proofs of continuity Aspects of the Proof-assistant Yarrow 15:30 Break 16:00 Invited Lecture, Dana Scott A Logic for Types and Computability 17:00 Closing, Arjeh Cohen From cat-dist Thu Jun 4 16:00:46 1998 Received: (from Majordom@localhost) by mailserv.mta.ca (8.8.8/8.8.8) id OAA03365 for categories-list; Thu, 4 Jun 1998 14:18:23 -0300 (ADT) X-Authentication-Warning: mailserv.mta.ca: Majordom set sender to cat-dist@mta.ca using -f Date: Thu, 4 Jun 1998 13:23:41 +0200 X-Sender: peruzzi@mail.dada.it (Unverified) Message-Id: Mime-Version: 1.0 Content-Type: text/plain; charset="iso-8859-1" To: categories@mta.ca From: Alberto Peruzzi Subject: categories: CONFERENCE ANNOUNCEMENT Content-Transfer-Encoding: 8bit X-MIME-Autoconverted: from quoted-printable to 8bit by mailserv.mta.ca id IAA21852 Sender: cat-dist@mta.ca Precedence: bulk Status: O X-Status: CONFERENCE ANNOUNCEMENT ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ We apologize if you receive this more than once. Please circulate as appropriate. ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ WHOLES AND THEIR PARTS Castel Maretsch, 17-19 June 1998, Bolzano (Italy) June 17 9 Registration 10 Bill Lawvere, Categorical analyses of the whole/part relation 11,30 Coffee break 12 John Bell, Whole and part in mathematics 13-15 Lunch 15 Steve Vickers, W/P in semantics for programming languages 16 Coffee break 16,30 Colin McLarty, W/P in foundations of mathematics 17,30 Carlo Cellucci, W/P in logical analysis June 18 9 Gonzalo Reyes, A category-theoretic approach to Aristotle's term logic, with special reference to mass nouns 10 Ettore Casari, On Husserl's theory of wholes and parts 11 Coffee break 11,30 John Mayberry, The classical notion of number and the modern notion of set 12,30-15 Lunch 15 Niles Eldredge, Hierarchical biological systems 16 Coffee break 16,30 Alberto Peruzzi, Wholes and their parts in semantics and epistemology: local/global and internal/external 17,30 Roberto Poli, Wholes and their parts: the ontological stance June 19 9 Basil Hiley, W/P in mechanics and cosmology 10 Ron Langacker, Wholes and their parts in natural language 11 Coffee break 11,30 Alf Zimmer, W/P in Gestalt psychology 12,30-15 Lunch 15 Ellis D. Cooper, Wholes and parts in quale mechanics 15,20, Holger Schmid-Schönbein, In resonant physiological systems, the whole is less complicated than the sum of its parts 15,40 Irina Dobronravova, Parts and elements of the wholes in synergetics 16 Coffee break 16,30 Nili Mandelblit, The notion of dynamic unit: conceptual developments in cognitive science 16,50 Anthony Atkinson, Wholes and their parts in cognitive psychology 17,10 Lawrence D. Roberts, Sentential meaning and its parts 17,30 Frederik Stjernfeld, Mereology and semiotics 17,50 Ariel Meirav, Plato's Theaetetus and the notion of a Gestalt Further information and abstracts of (some of) the talks are available at the IMC web site: http://www.soc.unitn.it/dsrs/IMC/IMC.htm Alberto Peruzzi Dipartimento di Filosofia Universitā di Firenze via Bolognese 52 50139 Firenze Italia peruzzi@dada.it From cat-dist Fri Jun 5 16:45:34 1998 Received: (from Majordom@localhost) by mailserv.mta.ca (8.8.8/8.8.8) id PAA15870 for categories-list; Fri, 5 Jun 1998 15:24:17 -0300 (ADT) X-Authentication-Warning: mailserv.mta.ca: Majordom set sender to cat-dist@mta.ca using -f Subject: categories: Higher-dimensional paper available To: categories@mta.ca Date: Fri, 5 Jun 1998 15:48:32 +0100 (BST) Cc: T.Leinster@dpmms.cam.ac.uk (Tom Leinster) X-Mailer: ELM [version 2.4 PL25] MIME-Version: 1.0 Content-Type: text/plain; charset=US-ASCII Content-Transfer-Encoding: 7bit Message-Id: From: Tom Leinster Sender: cat-dist@mta.ca Precedence: bulk Status: RO X-Status: Higher-dimensional paper available, from http://www.dpmms.cam.ac.uk/~leinster. Structures in Higher-Dimensional Category Theory This is an exposition of some of the constructions which have arisen in higher-dimensional category theory. We start with a review of the general theory of operads and multicategories. Using this we give an account of Batanin's definition of n-category; we also give an informal definition in pictures. Next we discuss Gray-categories and their place in coherence problems. Finally, we present various constructions relevant to the opetopic definitions of n-category. New material includes a suggestion for a definition of lax cubical n-category; a characterization of small Gray-categories as the small substructures of 2-Cat; a conjecture on coherence theorems in higher dimensions; a construction of the category of trees and, more generally, of n-pasting diagrams; and an analogue of the Baez-Dolan slicing process in the general theory of operads. (A few corrections have been made to the version of this distributed at the PSSL in Utrecht, and these are listed at the web site.) Tom Leinster From cat-dist Sat Jun 6 12:17:22 1998 Received: (from Majordom@localhost) by mailserv.mta.ca (8.8.8/8.8.8) id KAA29399 for categories-list; Sat, 6 Jun 1998 10:57:10 -0300 (ADT) X-Authentication-Warning: mailserv.mta.ca: Majordom set sender to cat-dist@mta.ca using -f MIME-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Transfer-Encoding: 7bit Date: Sat, 6 Jun 1998 11:16:11 +0200 (MET DST) From: Davide Sangiorgi To: concurrency@cwi.nl, categories@mta.ca, logic@CS.Cornell.EDU, types@cs.indiana.edu, THEORYNT@LISTSERV.NODAK.EDU Subject: categories: CONCUR'98: PROGRAMME and CALL for PARTICIPATION X-Mailer: VM 6.43 under 20.4 "Emerald" XEmacs Lucid Message-ID: <13689.1904.918781.802349@pancia.inria.fr> Sender: cat-dist@mta.ca Precedence: bulk Status: O X-Status: PROGRAMME and CALL for PARTICIPATION CONCUR'98 9th International Conference on Concurrency Theory Nice, France, September 8-11, 1998 ******************************************************************* As early September is still high season in Nice, we strongly encourage you to make your hotel reservations and travel arrangements well in advance. ******************************************************************** Technical Programme ~~~~~~~~~~~~~~~~~~~ Tuesday 8 September ^^^^^^^^^^^^^^^^^^^^ 9:00 - 9:15 - Opening of the conference 9:15 - 10:15 Invited Talk Moshe Vardi (Rice University, USA) Sometimes and Not Never Re-revisited: On Branching Versus Linear Time 10:15 - Break, Refreshments 10:30 - 12:30 Controllers for Discrete Event Systems via Morphisms, P. Madhusudan, P. S. Thiagarajan Synthesis from Knowledge-Based Specifications, R. van der Meyden, M. Vardi The Regular Viewpoint on PA-Processes, D. Lugiez, Ph. Schnoebelen Herbrand Automata for Hardware Verification, W. Damm, A. Pnueli, S. Ruah 12:30 Lunch 2:00 - 4:00 Control Flow Analysis for the pi-calculus, C. Bodei, P. Degano, F. Nielson, H. Riis The Tau-Laws of Fusion, J. Parrow, B. Victor From Higher-Order pi-Calculus to pi-Calculus in the Presence of Static Operators, J-L. Vivas, M. Dam Minimality and Separation Results on Asynchronous Mobile Processes: representability theorem by concurrent combinators, N. Yoshida 4:00 Break, Refreshments 4:30 - 6:00 Abstract games for infinite-state processes, P. Stevens Alternating Simulation, R. Alur, T. Henzinger, O. Kupferman Possible Worlds for process algebras, S. Veglioni, R. de Nicola 4:30 - 6:00 - Parallel Tutorial Session Gerard Berry (CMA Ecole des Mines, France) [topic: Synchronous reactive programming and Esterel] Wednesday 9 September ^^^^^^^^^^^^^^^^^^^^^ 9:00 - 10:00 Invited Talk Jan Rutten (CWI, Netherlands) Automata and Coinduction 10:00 Break, Refreshments 10:30 - 12:30 Axioms for Real-Time Logics, J-F. Raskin, P-Y. Schobbens, T. Henzinger Priority and Maximal Progress are completely axiomatisable, H. Hermanns, M. Lohrey Simulation is Decidable for One-counter Nets, P.A. Abdulla, K. Cerans From Rewrite Rules to Bisimulation Congruences, P. Sewell 12:30 - Lunch 2:00 - 3:00 Invited Talk Jean-Bernard Stefani (CNET, France Telecom) [topic: Open distributed systems] 3:00 - 4:00 Reasoning about asynchronous communication in dynamically evolving object structures, F.S. de Boer Modelling IP Mobility, R. Amadio, S. Prasad 4:00 Break, Refreshments 4:30 - 6:00 Reduction in TLA, E. Cohen, L. Lamport Detecting Deadlocks in Concurrent Systems, L. Fajstrup, E. Goubault, M. Raussen Unfold/Fold Transformations of CCP programs, S. Etalle, M. Gabbrielli, M. Chiara Meo 4:30 - 6:00 Parallel Tutorial Session Benjamin Pierce (Indiana U., USA) [topic: Types in concurrency] Thursday 10 September ^^^^^^^^^^^^^^^^^^^^^ 9:00 - 10:00 Invited Talk Ulrich Herzog (Erlangen, Germany) [topic: Process algebra for performance evaluation] 10:00 Break, Refreshments 10:30 - 12:30 Algebraic techniques for timed systems, A. Benveniste, C. Jard, S. Gaubert Probabilistic Resource Failures in Real-Time Process Algebra, A. Philippou, O. Sokolsky, I. Lee, R. Cleaveland, S. Smolka Towards Performance Evaluation with General Distributions in Process Algebras, M. Bravetti, M. Bernardo, R. Gorrieri Stochastic Transition Systems, L. de Alfaro 12:30 Lunch Afternoon and Evening: Excursion to Cap Ferrat and banquet at the Royal Riviera Hotel of St-Jean-Cap-Ferrat Friday 11 September ^^^^^^^^^^^^^^^^^^^ 9:00 - 10:00 Invited Talk Tom Henzinger (University of California at Berkeley, USA) It's About Time: Real-time Logics Reviewed 10:00 Break, Refreshments 10:30 - 12:30 Controlled Timed Automata, F. Demichelis, W. Zielonka On Discretization of Delays in Timed Automata and Digital Circuits, E. Asarin, O. Maler, A. Pnueli Partial Order Reductions for Timed Systems, J. Bengtsson, B. Jonsson, J. Lilius, W. Yi Unfolding and Finite Prefix for Nets with Read Arcs, W. Vogler, A. Semenov, A. Yakovlev 12:30 Lunch 2:00 - 4:00 Asynchronous and asynchronous cellular automata for pomsets, D. Kuske Deriving unbounded Petri nets from formal languages, Ph. Darondeau Decompositions of Asynchronous Systems, R. Morin Synthesis of ENI-systems Using Minimal Regions, M. Pietkiewicz-Koutny 4:00 - Break, Refreshments 4:30 - 6:00 A categorical axiomatics for bisimulation, G. L. Cattani, J. Power, G. Winskel Fibrational Semantics of Dataflow Networks, E. W. Stark A Relational Model of Non-Deterministic Dataflow, Th. Hildebrandt, P. Panangaden, G. Winskel 4:30 - 6:00 Parallel Tutorial Session Jan Friso Groote (CWI, Netherlands) Computer checking verifications of protocols and distributed systems 6:00 Closing of the conference Satellite events ~~~~~~~~~~~~~~~~~ COTIC'98: 2nd international workshop on Concurrent Constraint Programming for Time Critical Applications EXPRESS'98: 5th international workshop on Expressiveness in Concurrency HLCL'98: 3rd international workshop on High-Level Concurrent Languages PAPM'98: 6th international workshop on Process Algebra and Performance Modeling CONFER W.G.: 4th workshop of the CONFER (Concurrency and Functions: Evaluation and Reduction) working group. Participation to COTIC'98, EXPRESS'98 and HLCL'98 will require no fees; PAPM'98 will require a (low) fee; participation to CONFER is by invitation. CONCUR 98: Purpose and Scope ~~~~~~~~~~~~~~~~~~~~~~~~~~~~ The purpose of the CONCUR conferences is to bring together researchers, developers, and students in order to advance the theory of concurrency, and promote its applications. Interest in this topic is continuously growing, as a consequence of the importance of concurrent systems and their applications, and of the scientific relevance of their foundations. The scope of CONCUR'98 covers all areas of semantics, logics, and verification techniques for concurrent systems. A list of specific topics includes (but is not limited to) concurrency related aspects of models of computation and semantic domains, process algebras, Petri nets, event structures, real-time systems, hybrid systems, decidability, model-checking, verification techniques, refinement techniques, term and graph rewriting, distributed programming, logic constraint programming, object-oriented programming, typing systems and algorithms, case studies, tools and environments for programming and verification. Venue and local arrangements ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ Nice is ideally located on the French Riviera. September is still very pleasant, while less crowded than the high season. Nice's international airport is well-connected to all major european and non-european cities. The conference will be held at the auditorium of Nice Museum of Modern and Contemporary Art, which is conveniently located in the heart of Nice, between the city center and the old town, and 20 minutes walk to the beach. The Museum is next to the Hotel Novotel, where tutorials, satellite workshops, and registration will be held. Social programme ~~~~~~~~~~~~~~~~ - cocktail offered by the City of Nice at the Modern Art Museum Cafe - excursion at Cap Ferrat on Thursday 10. Cap Ferrat is a beautiful promontory between Nice and Monaco. Its attractions include: walks with spectacular views of the coast, beaches, Villa Kerylos (a copy of a sumptuous antique Greek house), Ephrussi de Rothchild Foundation, the charming villages of St-Jean-Cap-Ferrat and Beaulieu-sur-Mer. - banquet on Thursday 10 (evening) at the Royal Riviera Hotel of St-Jean-Cap-Ferrat (one of the coast's most stylish establishments). Registration fees ~~~~~~~~~~~~~~~~~~ by July 15 after July 15 Regular: 2,100 FFs 2,500 FFs. Student: 1,500 FFs 1,800 FFs. The regular fees include: proceedings, 4 lunches and coffee breaks; excursion on Thursday afternoon; conference dinner on Thursday evening. The student fees do not include proceedings, and the conference dinner and excursion on Thursday. For accompanying persons, participation to excursion and banquet of Thursday 10 costs 380 FFs. The conference registration form is appended below. It should be sent back to us, either electronically or by fax (instructions for this and for payment are on the form). Accommodation ~~~~~~~~~~~~~~ There are two alternative forms for the hotels, one for Novotel and one for other hotels. Both these forms can be found at the CONCUR 98 web page. Prices Novotel: 450 FFs per night in single room, breakfast included 550 FFs per night in double room, breakfast included 4 FFs Local tax per night per person These special prices are guaranteed at reservation by Novotel until June 30th only. Average prices for other hotels (both for single and for double rooms): hotel category price ** 300 / 350 FFs *** 360 / 400 FFs -------------------------------------------------------------------- CONCUR 98 Registration Form ~~~~~~~~~~~~~~~~~~~~~~~~~~~ (Please return to Dany Sergeant, either by email to: Dany.Sergeant@sophia.inria.fr or by fax to: (+33) 4 92 38 79 55 ) ------------------------------------- Given name: ___________________ Middle initials: ______________ Family name: __________________ [ ] male [ ] female Affiliation: ________________ Address: ____________________ ____________________ ____________________ Postal code (and state): ____ Country: ____________________ e-mail: _____________________ fax: ________________________ telephone: __________________ Special dietary requirements: __________________ Special requirements: __________________________ Expected date of arrival: ______________________ Expected date of departure: ____________________ Payment (all payments in French Francs): ----------------------------------------- [ ]Regular conference registration * before July 15: 2,100 FFs * after July 15: 2,500 FFs [ ]Student conference registration * before July 15: 1,500 FFs * after July 15: 1,800 FFs The regular fees include: LNCS proceedings, 4 lunches and coffee breaks; excursion on Thursday afternoon; conference dinner on Thursday evening. The student fees do not include proceedings, conference dinner and excursion on Thursday. [ ] Satellite Worskhop registrations * COTIC'98: yes / no (no fees) * EXPRESS'98: yes / no (no fees) * HLCL'98: yes / no (no fees) * PAPM'98: yes / no (price: 80 FFs to be paid on location, the day of the workshop) Regardless of the fees, participation to any of these workshops includes coffee breaks and workshop materials (such as proceedings, where appropriate). [ ]Additional tickets for excursion and banquet, on Thursday 10 September. No of persons: ____ price per person: 380 FFs = total: _______ TOTAL (FFs) _______ This total amount is due on registration. Payments should be made in french currency to "Agent Comptable de l'INRIA", either: * by Post Office check, to the account (CCP Paris 30041-00001-090945B 2031) * by Bank Tranfer order to "Tresorerie Generale des Yvelines-Versailles", to the account (10071-78000-00003003958 80) Please state your name and the name of the conference with the payment. CANCELLATIONS: Fees will be returned in full for any cancellation received prior to August, 25th. No refund will be made after this date. For further information on registration, feel free to contact: Dany SERGEANT 2004 Route des Lucioles, BP 93 06902 SOPHIA ANTIPOLIS CEDEX FRANCE E-mail: Dany.Sergeant@sophia.inria.fr Tel: (+33) 4 92 38 77 05 Fax: (+33) 4 92 38 79 55 ============================= For further information, check URL , or mail to concur98@sophia.inria.fr. From cat-dist Mon Jun 8 18:27:10 1998 Received: (from Majordom@localhost) by mailserv.mta.ca (8.8.8/8.8.8) id RAA31491 for categories-list; Mon, 8 Jun 1998 17:10:51 -0300 (ADT) X-Authentication-Warning: mailserv.mta.ca: Majordom set sender to cat-dist@mta.ca using -f Message-ID: <357AD88C.5650196@doc.ic.ac.uk> Date: Sun, 07 Jun 1998 19:14:36 +0100 From: Susan Eisenbach X-Mailer: Mozilla 4.03 [en] (Win95; I) MIME-Version: 1.0 To: categories@mta.ca Subject: categories: Formal Underpinnings of Java Content-Type: text/plain; charset=us-ascii Content-Transfer-Encoding: 7bit Sender: cat-dist@mta.ca Precedence: bulk Status: O X-Status: If you are doing formal work around the Java programming language, there will be a workshop at OOPSLA where you could exchange ideas with other researchers in the area. Details are available at http://www-dse.doc.ic.ac.uk/~sue/oopsla/cfp.html Apologies if you receive multiple copies of this call. From cat-dist Wed Jun 10 14:50:09 1998 Received: (from Majordom@localhost) by mailserv.mta.ca (8.8.8/8.8.8) id NAA21783 for categories-list; Wed, 10 Jun 1998 13:25:36 -0300 (ADT) X-Authentication-Warning: mailserv.mta.ca: Majordom set sender to cat-dist@mta.ca using -f From: "JONATHON FUNK" Organization: Eastern Mediterranean University To: categories@mta.ca Date: Wed, 10 Jun 1998 17:39:14 EET +0200 DST Subject: categories: preprint available X-Mailer: Pegasus Mail v3.22 Message-Id: <13CB77D1323@mozart.emu.edu.tr> Sender: cat-dist@mta.ca Precedence: bulk Status: RO X-Status: Dear Colleagues, A preprint, whose abstract follows, is available in compressed .dvi form (for DOS and for UNIX) from: http://www.emu.edu.tr/academic/facartsc/mathsdep/staffpic/jfunk.htm or if you are browsing the web, click on academics, teaching staff, Mathematics, Jonathon Funk, additional information, after you have reached the EMU homepage http://www.emu.edu.tr If you would like a copy, but are unable to retrieve the preprint, please don't hestitate to contact me, as I would be happy to send you the .dvi file personally. funk@mozart.emu.edu.tr ---------------------------------------------------------------- ``On branched covers in topos theory'' Abstract: We present some new findings conerning branched covers in topos theory. Our discussion involves a particular subtopos of a given topos that can be described as the smallest subtopos closed under small coproducts in the including topos. We also have some new results concerning the general theory of KZ-doctrines, such as the the closure under composition of discrete fibrations for a KZ- doctrine (in the sense of Bunge/Funk, ``On a bicomma object condition for KZ-doctrines''). Regards, Jonathon Funk Jonathon Funk Department of Mathematics Eastern Mediterranean University Gazimagusa Turkish Republic of North Cyprus via Mersin 10, Turkey tel: (90) 392 366 6588, Ext: 1227, 1228, 1138 fax: (90) 392 366 1604 From cat-dist Thu Jun 11 15:33:51 1998 Received: (from Majordom@localhost) by mailserv.mta.ca (8.8.8/8.8.8) id OAA14608 for categories-list; Thu, 11 Jun 1998 14:09:40 -0300 (ADT) X-Authentication-Warning: mailserv.mta.ca: Majordom set sender to cat-dist@mta.ca using -f X-Sender: mfrias@139.82.16.3 Message-Id: Mime-Version: 1.0 Content-Type: text/plain; charset="us-ascii" Date: Wed, 10 Jun 1998 14:47:40 -0300 To: categories@mta.ca From: Marcelo Frias Subject: categories: AMAST'98 Last Call for Papers Sender: cat-dist@mta.ca Precedence: bulk Status: O X-Status: Please find below the AMAST'98 last Call for Papers. We apologize if you receive this message more than once. Call for Papers Seventh International Conference on Algebraic Methodology and Software Technology AMAST '98, January 5 to 9 , 1999, Amazonia, Brazil. --------------------------------------------------------------------- Goals The major goal of the AMAST Conferences is to put software development technology on a firm, mathematical foundation. Particular emphasis is given to algebraic and logical foundations of software technology. An eventual goal is to establish algebraic and logical methodologies as viable and attractive approaches to software engineering. The first three editions of AMAST were held at the University of Iowa (1989 and 1991) and at the University of Twente (1993). The fourth conference was held at Concordia University of Montreal (1995), the fifth at Ludwig-Maximilians University, Munich (1996), and the sixth was held in Sidney, Australia, (December 13-17, 1997). During these meetings, AMAST has attracted an international following among researchers and practitioners interested in software technology, programming methodology and their algebraic and logical foundations. In addition, the first day of each conference has been dedicated to Mathematics Education for Software Engineers. Following this successful trend, the seventh AMAST International Conference will be held in Amazonia, Brazil, from January 5 to January 9, 1999. ------------------------------------------------------------------- Submissions As in the previous years we invite papers reporting original research in algebra, logic and other formalisms suitable as a foundation for software technology, as well as software technologies developed by means of logic and algebraic methodologies. Submissions should not have been published and should not be under consideration for publication elsewhere. The topics of interest include, but are not limited to, the following: SOFTWARE TECHNOLOGY systems software technology, application software technology, concurrent and reactive systems, formal methods in industrial software development, formal techniques for software requirements, design. PROGRAMMING METHODOLOGY logic programming, functional programming, object paradigms, constraint programming and concurrency, program verification and transformation, programming calculi, specification languages and tools, formal specification and development case studies. ALGEBRAIC AND LOGICAL FOUNDATIONS logic, category theory, relation algebra, computational algebra, algebraic foundations for languages and systems, theorem proving and logical frameworks for reasoning, logics of programs. SYSTEMS AND TOOLS (for system demonstrations or ordinary papers) software development environments, support for correct software development, system support for reuse, tools for prototyping, validation and verification, computer algebra systems, theorem proving systems. We invite prospective authors to submit electronically previously unpublished papers of high quality. Papers should be between five and fifteen pages in LNCS style. Ten page papers are ideal, and papers longer than fifteen pages may be rejected without detailed refereeing. Please send a fully self-contained postscript file (preferably derived from LaTeX with the LNCS style) to amast98@lmf-di.puc-rio.br as well as to mfrias@inf.puc-rio.br. If for any reason it is impossible to submit a paper electronically, authors should send six paper copies of their submission to the programme chair at the address below. All papers will be refereed by the programme committee, and will be judged based on their significance, technical merit, and relevance to the conference. As in the past, we expect the proceedings to be published by Springer-Verlag in their Lecture Notes in Computer Science Series. Papers should be received by June 15, 1998. ------------------------------------------------------------------- Address for non-electronic submissions and enquiries Prof. Dr. Armando M. Haeberer (Program Chair of AMAST'98) Diretor do Laboratorio de Metodos Formais Departamento de Informatica Pontificia Universidade Catolica do Rio de Janeiro Rua Marques de Sao Vicente, 225 Rio de Janeiro, RJ 22453-900 Brazil Phone: +55 21 512-8325 512-6837 FAX: +55 21 512-8045 Email: amast98@lmf-di.puc-rio.br ------------------------------------------------------------------- AMAST General Chair: Maurice Nivat (France) Programme Chair: Armando Haeberer (Brazil) ------------------------------------------------------------------- Programme Committee Vangalur Alagar (Canada) Egidio Astesiano (Italy) Gabriel Baum (Argentina) Chris Brink (South Africa) Walter Carnielli (Brazil) Rocco De Nicola (Italy) Jose Fiadeiro (Portugal) Marcelo Frias (Brazil) Kokichi Futatsugi (Japan) Dov Gabbay (United Kingdom) E. Hermann Haeusler (Brazil) Paola Inverardi (Italy) Michael Johnson (Australia) Richard Jullig (United States) Rafael Lins (Brazil) Michael Lowry (United States) Carlos Jose Pereira de Lucena (Brazil) Roger Maddux (United States) Thomas Maibaum (United Kingdom) Michael Mislove (United States) Ugo Montanari (Italy) Peter Mosses (Denmark) Istvan Nemeti (Hungary) Anton Nijholt (Netherlands) Daltro Nunes (Brazil) Fernando Orejas (Spain) Don Pigozzi (United States) Ruy de Queiroz (Brazil) Charles Rattray (United Kingdom) Teodor Rus (United States) Giuseppe Scollo (Netherlands) Michel Sintzoff (Belgium) Douglas Smith (United States) Andrzej Tarlecki (Poland) Paulo Veloso (Brazil) Martin Wirsing (Germany) ------------------------------------------------------------------- Organizing Committee Chair and Finances: Armando Haeberer Marcia Ferreira Daniela Cardoso Tools and Demos: Claudio Terra Local arrangements: Alvanir Becerra de Carvalho ------------------------------------------------------------------- Important Dates Submission of Papers: June 15, 1998 Submission of System Demo Proposals: July 1, 1998 Author notification of ouctome: September 15, 1998 Camera ready copy received by: November 1, 1998 Education Day: January 5, 1999 Intended Conference Dates: January 5 to 9 , 1999 ------------------------------------------------------------------- Further information For regularly updated details of the conference organisation see http://www.lmf-di.puc-rio.br/~amast98 or send email to amast98@lmf-di.puc-rio.br. From cat-dist Thu Jun 11 15:38:07 1998 Received: (from Majordom@localhost) by mailserv.mta.ca (8.8.8/8.8.8) id OAA15826 for categories-list; Thu, 11 Jun 1998 14:10:50 -0300 (ADT) X-Authentication-Warning: mailserv.mta.ca: Majordom set sender to cat-dist@mta.ca using -f Date: Wed, 10 Jun 1998 17:49:10 -0400 (EDT) From: Peter Freyd Message-Id: <199806102149.RAA17402@saul.cis.upenn.edu> To: categories@mta.ca Subject: categories: Sammy Sender: cat-dist@mta.ca Precedence: bulk Status: O X-Status: The Editor of the AMS Notices, Tony Knapp, has kindly given me permission to post my part of Sammy's memorial collection. I trust that it's clear that it shouldn't be forwarded to any other list. For historical reasons (I guess) I've restored a number of paragraphs that were deleted from the final version -- they are marked with a | running down the left margin. And I've added a few footnotes. Let me take the opportunity to mention that Tony's editorial services were greatly appreciated, in particular, he caught a number of places where my original ms would have been much misunderstood. Thirty years ago I found myself a neighbor of Arthur Upham Pope, the master of ancient Persian art. He had retired in his 90s to an estate in the center of the city of Shiraz in southern Iran where I lived -- briefly -- across the street. I found an excuse for what has to be called an audience and I mentioned that I was a friend of Samuel Eilenberg. ``I don't know him.'' he said, ``I know _of_ him, of course. How do you know him?'' ``We work in the same area of mathematics.'' ``You're talking about a different Eilenberg. I meant the dealer in Indian art.'' ``Actually, it's the same person. He's both a mathematician and a collector of Indian art.'' ``Don't be silly, young man. The Eilenberg I mean is not a _collector_ of Indian art, he's the _dealer_ in Indian art. I know him well. He established the historicity of one of the Persian kings.[1] He certainly is not a mathematician.'' End of audience. * * * In later years even Arthur Upham Pope would have known. Eilenberg became universally known as ``Professor'' in the art world; indeed, if one walked with him in London or Zurich or even Philadelphia and one heard ``Professor!'' it was always Eilenberg who was being hailed and it was always the art world hailing him. If you heard ``Sammy!'', you knew it was a mathematician. * * * It was complicated, explaining that name. If you were my age and knew him first through his works, it was hard to conceive of him as ``Sammy''. And when you met him for the first time, it was even harder. You already knew that he was in charge of entire fields of mathematics -- indeed, he had created a number of them -- and when you met him you knew that he was in charge of the room you were in and it didn't matter whose room it was. Sammy? The name didn't fit. But he had to have a name like Sammy. I said it was hard to explain. Here was one of the most aggressive people you would ever meet. He'd challenge almost anything. If you mentioned something about the weather he'd challenge you -- once in California I heard him insist that it wasn't weather; it was climate. But somehow it was almost always clear: you'd could challenge him right back. Aggressive and challenging, but not at all pompous. You can't be pompous with a name like Sammy.[2] * * * | Once a gang of us spent an evening in a bar in San Antonio, Texas, | on the occasion of an annual AMS meeting. Most of us, except for | Sammy, ranged in age from very young to thirtysomething. As usual, | it was a series of pitched battles between Sammy and the rest of us, | and before the evening was out, the bartender became part of the | crowd. The next day I told him that Sammy was a world-famous | mathematician and when he wouldn't believe it I asked him to go to | anyone in his bar who looked like a mathematician and ask about | Samuel Eilenberg. He still wouldn't believe it. I don't know if he | would have believed the part about Indian art. * * * Sammy kept his two worlds, mathematics and art, at something of a distance. But both worlds seemed to agree on one thing, the very one that Arthur Upham Pope insisted upon. Sammy was the dealer. But the two worlds only seemed to agree on this. Without question, Sammy loved playing the role of dealer. In the days when mathematicians were in demand and jobs were easy to come by, Sammy loved to tell about the math market he was going to create. The trade would be in mathematician futures: ``This one's only done two lemmas and one proposition in the last year; the most recent theorem was two years ago; better sell this one at a loss.'' With his big cigar (expensive) and his big gold ring (in fact a valuable Indian artifact) he could enter his dealer mode at a moment's notice and one always wondered just how many young mathematicians' careers were in his hands. But his two worlds, mathematics and art, perceived this role quite differently. In mathematics we understood that it was a role he loved playing, but that he was only playing. His being as a mathematician was what counted and he would have been the same mathematician whether or not he played the dealer, indeed, whether or not he played -- and he did -- a high-stakes poker. This was not so clear in his other world. | In 1981 Sammy was briefly my guest at St John's College, Cambridge, | where I was, for the year, an Overseas Fellow. In due course, he was | given a tour of the Asian collection at the Fitzwilliam Museum by | the appropriate functionary, and the two of them landed at high | table for dinner. There seems to be a stock of stories about | mathematicians not being appreciated at high tables, the best known | being Heinz Hopf's (unwitting) success in convincing his fellow | diners that he taught at a technical high school in Zurich. The | Fitzwilliam functionary was treating Sammy as some sort of rich | dealer who apparently taught mathematics on the side. Sammy went | along. But then the doyen of the Cambridge philosophy community let | it be known that he viewed Sammy as one of the two leading | mathematicians in the world. Next came an American from Missouri | who realized that Sammy was the same Eilenberg for whom a part of | the local museum was named. It went on from there.[3] * * * It was usually frustrating trying to explain to others how Sammy was perceived by his fellow mathematicians. Sammy had an unprintable way of saying that mathematics required both intelligence and aggression.[4] But imagine not knowing how his mathematics -- when he had finished -- would totally belie that aggression. Imagine not knowing how remarkably well-behaved his mathematics always was. Imagine not knowing how his mathematics -- when he had finished -- always seemed pre-ordained and how it seemed no more aggressive than, say, the sun rising at its appointed sunrise time. Forty years ago Sammy hoped to do the same for Indian bronzes. He had already acquired the reputation of being the best detector of fakes in the business and he believed he could axiomatize the process. He even had a provisional list of axioms and it was truly an elegant list. A few years later we found ourselves at a small French-style bistro in La Jolla, California. We had been out of touch: there had been an argument about mathematical ethics and somehow we had resolved it; the dinner was something of a celebration of the resolution. I asked him about his book on bronzes. ``The axioms failed.'' ``What does that mean?'' ``It means that I've been taken. I bought a fake.'' He had suspected it only after it had been in his bedroom for a few weeks. He had the pleasure, at least, of investigating until he found out the master faker and he had the pleasure of going to the master faker's studio, not to berate hem but to congratulate him. * * * After that, Sammy made a point of not building bridges between his two worlds. I recall just one exception. He moved from a conversation about sculpture to one about mathematics. Sculptors, he had said, learn early to create from the inside out: what finally is to be seen on the surface is the result of a lot of work in conceptualizing the interior. But there are a few others: there are those for whom the interior is the result of a lot of work on getting the surface right. ``And,'' Sammy asked, ``isn't that the case for my mathematics?'' Style was only one part of his mathematics -- as, of course, he knew -- but there are, indeed, wonderful stories about Sammy, by attending only to what seemed the most superficial of stylistic choices, succeeding in restructuring an entire subject on the spot. Many have witnessed this triumph of style over substance, particularly with students. But the the most dramatic example had a stellar cast. D.C.Spencer gave a colloquium at Columbia in the Spring of '62, and Sammy decided it was time to demonstrate his get-rid-of-subscripts rule: ``If you define it right, you won't need a subscript''. Spencer, with the greatest of charm -- it was for good reason that he was already affectionately known as ``Uncle Don'' -- followed Sammy's orders and proceeded to restructure his subject while standing there at the board. One by one, the subscripts disappeared, each disappearance preceded by a Sammy-dictated redefinition. He had virtually no idea of the intended meanings of any of the symbols. he was operating entirely on the surface, looking only at the shape of the syntax. The process went on for several minutes, until Sammy took on the one proposition on the board. ``So now what does that say?'' ``Sammy, I don't know. You're the one making all the definitions.'' So Sammy applied his definitions and one by one the subscripts continued to disappear, until finally the proposition itself disappeared: it became the assertion that a thing was equal -- behold -- to itself. * * * | When he received an honorary doctorate in 1985, the University of | Pennsylvania cited him as ``our greatest mathematical stylist''.[5] | | * * * | | On that occasion, Sammy was just a little put out that one of his | fellow honorees seemed to be there for entirely political reasons. | At the commencement eve banquet he got into one of his better moods | and told the university president, ``When you choose your honorary | degrees correctly it is the university that is honored; when you | choose incorrectly it is they who are honored." The next day the | president -- not catching Sammy's subtext (fortunately, I guess) -- | incorporated these "inspiring words of Professor Eilenberg's'' into | his commencement address. It wasn't easy to keep a straight face. * * * ``My mother's father had the town brewery and he had one child, a daughter. He went to the head of the town yeshiva and asked for the best student.'' Sammy told me one day. ``So my future father became a brewer instead of a rabbi.'' Sammy regarded pre-war Poland with some affection. He felt that he had been well nurtured by the Polish community of mathematicians and he told me of his pleasure on being received by Stefan Banach, himself, a process of being welcomed to the holy of holies, the cafe in which Banach spent his time during the annual Polish mathematical conferences. By the time he came to the U.S. in his mid 20s Sammy was a well-known topologist. When I questioned him on his attitude about pre-war Poland, he answered that one must ``watch the derivative'': don't judge just by how good things are, but by how fast they're becoming better.[6] Sammy's view of Poland since the war was more complicated. It was particularly complicated by what he viewed as its treatment of category theory as a fringe subject. * * * In the late 1950s, Sammy began to concentrate his mathematical activities -- both research and dealing -- on category theory. He and Mac Lane had invented the subject, but to them, it was always an applied subject, not an end in itself. Categories were defined in order to define functors, which, in turn, were defined in order to define natural transformations, which were defined, finally, in order to prove theorems that could not be proved before. In this view, category theory belonged in the mainstream of mathematics. There was another view, the categories-as-fringe view. It said that categories were defined in order to _state_ theorems that could not be stated before, that they were not tools but objects of nature worthy of study in their own right. Sammy believed this counter-view was a direct interference with his role as the chief dealer for category theory. He had watched many of his inventions become standard mathematics -- singular homology, obstruction theory, homological algebra -- and he had no intention of leaving the future of category theory to others. Today the language of category theory has permeated a good part of mathematics and is treated with some respect. It was not ever so. There were years before the words "category" and "functor" could be pronounced unapologetically in mixed mathematical company. One of my fonder memories comes from sitting next to Sammy in the early 60s when Frank Adams gave his first lectures on how every functor on finite dimensional vector spaces gives rise to a natural transformation on the K-functor. Frank used that construction to obtain what are now called the Adams operations and he used those to count how many independent vector fields there could be on a sphere. It was not until then that it become permissible to say "functor" without a little snort. In those years, Sammy was a one-man employment agency for a fresh generation of mathematicians who viewed categories not just as a language but as potentially central mathematical subject. For the next 35 years he went to just about every category theory conference, and much more important, he used his masterly expository skills to convey categorical ideas to other mathematicians. Sammy's efforts succeeded for the language of category theory and he never gave up with his efforts for the theory itself. He was confident that the categorical view would eventually be the standard mathematical view, with or without his salesmanship. Its inevitability would be based on the theorems whose proofs required it. That was obvious to Sammy. He wanted to make it obvious to everyone else. [1] Sammy published a paper showing that some gold coins he had were produced during the king's reign. [2] In the final version the use of the 2nd person in the last three paragraphs was replaced with something more standard, as were the contractions. [3] The dinner was actually at Kings, the functionary was the relevant curator, the philosopher was R.B.Braithwaite. I wasn't there -- Sammy told me about it the next day and with great relish. [4] What was found to be unprintable was already a bowdlerization: Sammy liked to say that when you did mathematics you were using not just your brains but your guts. (Well, all right, it wasn't guts, but another plural body part far from the brain; I like to believe that Sammy would, in time, have agreed to my translation.) Dick Kadison tells me that in the very first utterance was in reply to a lunch-time question put by the physicist, Polykarp Kusch, "Sammy, what is it you use to do mathematics?" And in that very first utterance (as opposed to the way Sammy enjoyed saying it thereafter) the body-part in question was not plural but quite singular. [5] This sentence will appear in Hy Bass's opening narrative vita for the Notices' memorial collection. [6] A paragraph I used in an earlier draft as a bridge into the category material: Thus, in 1961 Sammy was one of the first American scientists to journey to Russia. A.G.Kurosch reciprocated with a visit to the U.S. and because the two visits ended up being at the same time, the two did not meet. Pity. We wondered would have time happened if Sammy had heard Kurosch's opening words at his colloquium lecture: ``We in Russia believe that category theory is destined to be as important as lattice theory.'' As it was, no one relished the task of repeating those words to Sammy. Actually, now that I think about it, everybody looked forward to seeing Sammy's reaction when the words were repeated. From cat-dist Thu Jun 11 18:58:58 1998 Received: (from Majordom@localhost) by mailserv.mta.ca (8.8.8/8.8.8) id RAA28111 for categories-list; Thu, 11 Jun 1998 17:42:47 -0300 (ADT) X-Authentication-Warning: mailserv.mta.ca: Majordom set sender to cat-dist@mta.ca using -f Date: Thu, 11 Jun 1998 16:03:31 -0400 (EDT) From: Peter Freyd Message-Id: <199806112003.QAA12076@saul.cis.upenn.edu> To: categories@mta.ca Subject: categories: Saint John weather Sender: cat-dist@mta.ca Precedence: bulk Status: RO X-Status: FORECASTS FOR NEW BRUNSWICK ISSUED BY THE NEW BRUNSWICK WEATHER CENTRE OF ENVIRONMENT CANADA AT 4.00 PM ADT THURSDAY 11 JUNE 1998 FOR TONIGHT FRIDAY AND SATURDAY. SAINT JOHN AND COUNTY TONIGHT..FOG REDEVELOPING OVERNIGHT. WINDS LIGHT. LOWS 9. FRIDAY..FOG DISSIPATING IN THE MORNING THEN A MIX OF SUN AND CLOUDS. WINDS INCREASING TO SOUTH 30 KM/H. HIGHS 21 INLAND TO 15 AT THE COAST. AFTERNOON HUMIDITY 70 PERCENT. FAIR DRYING CONDITIONS. SATURDAY..A MIX OF SUN AND CLOUDS. SHOWERS DEVELOPING. MORNING LOWS 9. HIGHS 23. SUNDAY..MAINLY CLOUDY WITH SCATTERED SHOWERS. LOWS 9. HIGHS 21. MONDAY..CLOUDY WITH SHOWERS. LOWS 9. HIGHS 20. PROBABILITY OF PRECIPITATION IN PERCENT ZERO TONIGHT. 10 FRIDAY. 60 SATURDAY. 60 SUNDAY. 70 MONDAY. NORMALS FOR THE PERIOD..LOWS 9. HIGHS 21. From cat-dist Tue Jun 16 17:17:58 1998 Received: (from Majordom@localhost) by mailserv.mta.ca (8.8.8/8.8.8) id PAA05672 for categories-list; Tue, 16 Jun 1998 15:59:01 -0300 (ADT) X-Authentication-Warning: mailserv.mta.ca: Majordom set sender to cat-dist@mta.ca using -f X-Received: from bommel.math.uu.nl (bommel.math.uu.nl [131.211.22.23]) by mailserv.mta.ca (8.8.8/8.8.8) with ESMTP id GAA21415 for ; Mon, 15 Jun 1998 06:21:11 -0300 (ADT) X-Received: from verkwil.math.uu.nl (verkwil 131.211.23.35) by bommel.math.uu.nl (VMailer) via SMTP id 1EAB940BD; Mon, 15 Jun 1998 11:23:13 +0200 (MET DST) X-Received: (from moerdijk@localhost) by verkwil.math.uu.nl id LAA10314 (8.8.8/IDA-1.6 for rrosebru@mta.ca); Mon, 15 Jun 1998 11:23:12 +0200 (MET DST) Date: Mon, 15 Jun 1998 11:23:12 +0200 (MET DST) From: "I. Moerdijk" Message-ID: <199806150923.LAA10314@verkwil.math.uu.nl> To: rrosebru@mta.ca Subject: categories: new preprint X-Sun-Charset: US-ASCII Sender: cat-dist@mta.ca Precedence: bulk Status: RO X-Status: Dear categorists, The following preprint is available from the K-Theory archive at , and hopefully from our homepages before long. Please let us know in case you wish to be sent a hard copy. Ieke Moerdijk. --------------------- A Homology Theory for Etale Groupoids by Marius Crainic and Ieke Moerdijk In this paper we introduce a homology theory for etale groupoids, dual to Haefliger's cohomology theory (via Poincare duality). We prove basic facts like Morita invariance, Leray spectral sequence, Verdier duality. We also outline the application to the computation of cyclic homology of the convolution algebra of the groupoid (including the non-Hausdorff situation). An appendix about "compact supports" on non-Hausdorff manifolds is added. Marius Crainic Ieke Moerdijk -------------------- From cat-dist Tue Jun 16 17:21:12 1998 Received: (from Majordom@localhost) by mailserv.mta.ca (8.8.8/8.8.8) id PAA06577 for categories-list; Tue, 16 Jun 1998 15:58:16 -0300 (ADT) X-Authentication-Warning: mailserv.mta.ca: Majordom set sender to cat-dist@mta.ca using -f X-Sender: wd4@clapton (Unverified) Message-Id: Mime-Version: 1.0 Content-Type: text/plain; charset="us-ascii" Date: Mon, 15 Jun 1998 14:06:38 +0200 To: wd4 Mailing list:; From: 4th Workshop on Domains Subject: categories: WD4: Extended Deadline Sender: cat-dist@mta.ca Precedence: bulk Status: O X-Status: ======================================================================= E X T E N D E D D E A D L I N E ======================================================================= 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 JULY 31, 1998. Each request will be answered by SEPTEMBER 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 The workshop will start on Friday, October 2, in the afternoon. In order to make a reservation for a room in Haus Humboldtstein, it is necessary to register till JULY 31, 1998. Moreover, the hotel fee has to be paid till this date either by transfering it to the following bank account: no. 146448-500 (Prof. Dieter Spreen) BLZ 370 100 50 bank: Postbank NL Koeln or by sending a cheque to the above address. The cheque should be made payable to Prof. Spreen. The hotel rate is DM 128,- (single room) DM 118,- (double room) per night and person. It includes three meals and two snacks. Please indicate below whether you need any special diet. In addition there will be a small workshop fee. More information about the workshop and Haus Humboldstein can be found on the workshop web page http://www.informatik.uni-siegen.de/~wd4 -------------------------------------------------------------------------- REGISTRATION FORM ================= Name: ----- Postal address: --------------- Electronic mail: ---------------- Phone number: ------------- Fax number: ----------- Hotel reservation: single room:__ double room:__ ------------------ In case of double room: I would like to share the room with: ____________________________________________________________ Special needs for the meal (vegetarian, diet, etc): ____________________________________________________________ Do you want to give a talk? ____ If "YES" Length: ______________(25 or 40 minutes) Authors: Title: Abstract: (preferably in LaTeX) ----------------------------------------------------------------------------- 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 ------------------------------------------------------------------------------. From cat-dist Wed Jun 17 12:59:30 1998 Received: (from Majordom@localhost) by mailserv.mta.ca (8.8.8/8.8.8) id JAA04100 for categories-list; Wed, 17 Jun 1998 09:39:14 -0300 (ADT) X-Authentication-Warning: mailserv.mta.ca: Majordom set sender to cat-dist@mta.ca using -f Date: Wed, 17 Jun 1998 13:52:05 +0200 From: gaucher@irma.u-strasbg.fr (Philippe Gaucher) Message-Id: <199806171152.NAA15983@irma.mathstras> To: categories@mta.ca Subject: categories: projective diagrams Mime-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Transfer-Encoding: 7bit Content-MD5: sGCL+3fslfl5Kly81O3YYw== Sender: cat-dist@mta.ca Precedence: bulk Status: RO X-Status: Dear categoricist, Let I be the following small category : a a a --------> --------> --------> .. n n-1 n-2 ...... 0 --------> --------> --------> b b b with the relations a o a = a o b and b o a = b o b. Consider the category C of functors from I to the category of K-modules. How could we characterize the projective objects of C ? Any idea, any reference, is welcome. pg. From cat-dist Fri Jun 19 21:49:49 1998 Received: (from Majordom@localhost) by mailserv.mta.ca (8.8.8/8.8.8) id UAA04457 for categories-list; Fri, 19 Jun 1998 20:48:47 -0300 (ADT) X-Authentication-Warning: triples.math.mcgill.ca: barr owned process doing -bs Date: Thu, 18 Jun 1998 13:44:30 -0400 (EDT) From: Michael Barr To: Categories list Subject: categories: Chu(Ab,circle) is abelian Message-ID: MIME-Version: 1.0 Content-Type: TEXT/PLAIN; charset=US-ASCII Sender: cat-dist@mta.ca Precedence: bulk Status: RO X-Status: The category of topological abelian groups is not abelian. The reason is not hard to explain. In topological spaces, points are primordial and a monomorphism of points need not be a monomorphism of the attached frames (that is a surjection of the open set lattices). When it is, then ignoring the usual separation axiom, it is a subspace and thereby a kernel. In frames, the reverse is true. Now the open sets are all and you ignore the points. In Chu(Ab,circle), the points and open sets are treated with equal respect. Now a monomorphism must be injective on the points and surjective on the opens and is obviously a kernel. The dual is also true. At another conceptual level, abelianess is defined by certain exactness condition, which concerns canonical arrows, usually between limits and colimits. A category is pointed if the canonical map 0 --> 1 is an isomorphism and there is then a canonical arrow A + B --> A x B and when that is an isomorphism, it is additive. There is a map from the domain of any monomoprhism to the kernel of its cokernel.... The conditions are self dual and a limit is computed in a Chu category as the limit of its first component and colimit of its second and all the required isomoprhisms remain isomorphisms. Of course, this is just as true of Chu(A,_|_) whenever A is abelian (and, of course, closed monoidal). The contrast with the case of topological and that of localic abelian groups is striking. I realized all this as a result of listening to Peter Freyd's lecture in Saint John, NB last week. He was trying to discover the initial abelian category with one object. It is self dual, but not this one since this contains no non-zero bijective (that is objects that are simultaneously injective and projective) while Freyd's category has enough of them. Still it might be interesting. And to anticipate Vaughan's question, no chu(Ab,circle) is not abelian, roughly for the same reasons as topological and localic abelian groups. From cat-dist Fri Jun 19 21:49:59 1998 Received: (from Majordom@localhost) by mailserv.mta.ca (8.8.8/8.8.8) id UAA21506 for categories-list; Fri, 19 Jun 1998 20:53:19 -0300 (ADT) X-Authentication-Warning: mailserv.mta.ca: Majordom set sender to cat-dist@mta.ca using -f X-Received: from euler.math.ksu.edu (euler.math.ksu.edu [129.130.6.100]) by mailserv.mta.ca (8.8.8/8.8.8) with ESMTP id SAA07529 for ; Fri, 19 Jun 1998 18:58:04 -0300 (ADT) X-Received: from lefschetz.math.ksu.edu (lefschetz.math.ksu.edu [129.130.6.15]) by euler.math.ksu.edu (8.8.6/8.8.6) with ESMTP id QAA13006 for ; Fri, 19 Jun 1998 16:58:00 -0500 (CDT) From: David Yetter X-Received: by lefschetz.math.ksu.edu (8.8.6) id QAA03013; Fri, 19 Jun 1998 16:57:58 -0500 Message-Id: <199806192157.QAA03013@lefschetz.math.ksu.edu> Subject: categories: Units in lax and oplax monoidal functors To: cat-dist@mta.ca (categories) Date: Fri, 19 Jun 1998 16:57:57 -0500 (CDT) In-Reply-To: from "categories" at May 15, 97 10:19:05 pm Content-Type: text Sender: cat-dist@mta.ca Precedence: bulk Status: RO X-Status: I seem to recall that there was some difficulty for the coherence of lax and oplax monoidal functors (properly so called, meaning with unit maps in addition to the natural transformation). Epstein's 1966 paper handles what I would call symmetric semigroupal functors (symmetry, but no units), and his proof goes through without the symmetry. I have also once as an exercise prove the coherence theorem for strong monoidal functors. This query arises tangentially in regard to a paper I am writing on the deformation theory of monoidal categories and functors. An answer is not strictly needed, but I'd be greatful for a reference to the difficulty, or a corrective to a mis-recollection on my part. (It would be nice to include in the paper.) Best Thoughts to all, David Yetter From cat-dist Sat Jun 20 10:57:12 1998 Received: (from Majordom@localhost) by mailserv.mta.ca (8.8.8/8.8.8) id KAA24054 for categories-list; Sat, 20 Jun 1998 10:06:42 -0300 (ADT) X-Authentication-Warning: mailserv.mta.ca: Majordom set sender to cat-dist@mta.ca using -f Message-Id: <199806200633.XAA18379@coraki.Stanford.EDU> To: Categories list Subject: categories: Re: Chu(Ab,circle) is abelian In-reply-to: Your message of "Thu, 18 Jun 1998 13:44:30 -0400." Date: Fri, 19 Jun 1998 23:33:55 -0700 From: Vaughan Pratt Sender: cat-dist@mta.ca Precedence: bulk Status: O X-Status: >And to anticipate Vaughan's question, no >chu(Ab,circle) is not abelian, roughly for the same reasons as topological ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ >and localic abelian groups. Actually I was going to ask about Ab. I thought it was abelian groups but (maybe I'm just the last to be told) the context suggests Ab = topological abelian groups. Is there life in discrete circles? (To reconcile the subject line with the underlined line you need to know Mike's usage: the large print giveth and the small print taketh away. Chu is to chu as preordered sets are to posets, or topological spaces to T_0 spaces.) Vaughan From cat-dist Sat Jun 20 23:07:52 1998 Received: (from Majordom@localhost) by mailserv.mta.ca (8.8.8/8.8.8) id VAA29436 for categories-list; Sat, 20 Jun 1998 21:52:58 -0300 (ADT) X-Authentication-Warning: triples.math.mcgill.ca: barr owned process doing -bs Date: Sat, 20 Jun 1998 20:53:18 -0400 (EDT) From: Michael Barr To: Vaughan Pratt cc: Categories list Subject: categories: Re: Chu(Ab,circle) is abelian In-Reply-To: <199806200633.XAA18379@coraki.Stanford.EDU> Message-ID: MIME-Version: 1.0 Content-Type: TEXT/PLAIN; charset=US-ASCII Sender: cat-dist@mta.ca Precedence: bulk Status: RO X-Status: Ab is discrete abelian groups. Thus the circle has, for these purposes, the discrete topology. Since you are mapping discrete groups to it, the topology is irrelevant. But the small chu category is much more like hausdorff topological abelian groups (in fact, is equivalent to two full subcategories of them) and is not abelian for similar reasons. One take on this is that separation conditions are more or less incompatible with effective equivalence relations (= monics are kernels in the additive case). And extensionality is incompatible with the dual. On Fri, 19 Jun 1998, Vaughan Pratt wrote: > > >And to anticipate Vaughan's question, no > >chu(Ab,circle) is not abelian, roughly for the same reasons as topological > ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ > >and localic abelian groups. > > Actually I was going to ask about Ab. I thought it was abelian groups > but (maybe I'm just the last to be told) the context suggests Ab = > topological abelian groups. Is there life in discrete circles? > > (To reconcile the subject line with the underlined line you need to know > Mike's usage: the large print giveth and the small print taketh away. > Chu is to chu as preordered sets are to posets, or topological spaces > to T_0 spaces.) > > Vaughan > From cat-dist Mon Jun 22 14:18:49 1998 Received: (from Majordom@localhost) by mailserv.mta.ca (8.8.8/8.8.8) id MAA32428 for categories-list; Mon, 22 Jun 1998 12:52:59 -0300 (ADT) X-Authentication-Warning: mailserv.mta.ca: Majordom set sender to cat-dist@mta.ca using -f X-Received: from ifdh2.sc.ucl.ac.be (ifdh2.sc.ucl.ac.be [130.104.10.106]) by mailserv.mta.ca (8.8.8/8.8.8) with ESMTP id IAA10710 for ; Mon, 22 Jun 1998 08:29:58 -0300 (ADT) X-Received: (from kelly_m@localhost) by ifdh2.sc.ucl.ac.be (8.8.8/dvg-ifdh2) id NAA20705; Mon, 22 Jun 1998 13:29:54 +0200 (MET DST) Date: Mon, 22 Jun 1998 13:29:54 +0200 (MET DST) From: Max Kelly Message-Id: <199806221129.NAA20705@ifdh2.sc.ucl.ac.be> To: cat-dist@mta.ca, dyetter@math.ksu.edu Subject: categories: Re: Units in lax and oplax monoidal functors Sender: cat-dist@mta.ca Precedence: bulk Status: O X-Status: David Yetter asks about coherence results for monoidal functors. These were studied in the PhD thesis of my then-student Geoff Lewis round about 1971, and he has an article about them in that Springer Lecture Notes volume - was it number 129 ? - on coherence in categories, edited by Saunders Mac Lane in the early 1970s. It is one of the cases covered by the "club" idea, where the free structure on 1 tells you all about the free structure on any category. Moreover the case of two monoidal categories and a monoidal functor (lax, of course) is interesting in that Lewis finds the club COMPLETELY, even though it is false that "every diagram commutes". What is true, if f is the monoidal functor, is that a diagram commutes if its codomain has the form f(x), in contrast to say f(x)of(y) where o is the tensor product. Lewis also studies there the case of a monoidal f between monoidal CLOSED categories (everything symmetric), getting for these a PARTIAL determination of the club, like that of Kelly and Mac Lane for a single symmetric monoidal category. Max Kelly. From cat-dist Mon Jun 22 14:19:18 1998 Received: (from Majordom@localhost) by mailserv.mta.ca (8.8.8/8.8.8) id MAA29176 for categories-list; Mon, 22 Jun 1998 12:51:40 -0300 (ADT) X-Authentication-Warning: mailserv.mta.ca: Majordom set sender to cat-dist@mta.ca using -f Message-Id: <199806212341.JAA08751@macadam.mpce.mq.edu.au> X-Sender: street@macadam.mpce.mq.edu.au Mime-Version: 1.0 Content-Type: text/plain; charset="us-ascii" Date: Mon, 22 Jun 1998 09:42:18 +1000 To: categories@mta.ca From: street@mpce.mq.edu.au (Ross Street) Subject: categories: Re: Units in lax and oplax monoidal functors Cc: David Yetter Sender: cat-dist@mta.ca Precedence: bulk Status: O X-Status: >I seem to recall that there was some difficulty for the coherence of >lax and oplax monoidal functors (properly so called, meaning with >unit maps in addition to the natural transformation). For the lax case, see Geoffrey Lewis, Coherence for a closed functor, LNM 281 (Springer, 1972) 148-195. For coherence of strong monoidal (= tensor preserving) functors, see A. Joyal and R. Street, Braided tensor categories, Advances in Math 102 (1993) 20-78; MR94m:18008. Best wishes, Ross From cat-dist Mon Jun 22 16:57:10 1998 Received: (from Majordom@localhost) by mailserv.mta.ca (8.8.8/8.8.8) id QAA06833 for categories-list; Mon, 22 Jun 1998 16:00:50 -0300 (ADT) X-Authentication-Warning: triples.math.mcgill.ca: barr owned process doing -bs Date: Mon, 22 Jun 1998 14:55:43 -0400 (EDT) From: Michael Barr To: categories@triples Subject: categories: Marta Bunge's summer phone number Message-ID: MIME-Version: 1.0 Content-Type: TEXT/PLAIN; charset=US-ASCII Sender: cat-dist@mta.ca Precedence: bulk Status: O X-Status: Marta has asked me to announce that during the summer her phone and fax number on Corfu is +30-663-41584 (I think the + means use your long distance access, like 011 in North America, plus that.) From cat-dist Wed Jun 24 16:28:04 1998 Received: (from Majordom@localhost) by mailserv.mta.ca (8.8.8/8.8.8) id PAA16901 for categories-list; Wed, 24 Jun 1998 15:02:35 -0300 (ADT) X-Authentication-Warning: mailserv.mta.ca: Majordom set sender to cat-dist@mta.ca using -f X-Sender: rkieboom@pop.vub.ac.be Message-Id: Mime-Version: 1.0 Content-Type: text/plain; charset="us-ascii" Date: Wed, 24 Jun 1998 11:08:48 +0200 To: categories@mta.ca From: Rudger Kieboom Subject: categories: change of e-mail address Sender: cat-dist@mta.ca Precedence: bulk Status: RO X-Status: Dear All, My new e-mail address is a simplification of the old one. It now reads: rkieboom@vub.ac.be Rudger Kieboom Department of Mathematics Vrije Universiteit Brussel Pleinlaan 2, F10 B-1050 Brussels Belgium From cat-dist Wed Jun 24 16:30:33 1998 Received: (from Majordom@localhost) by mailserv.mta.ca (8.8.8/8.8.8) id PAA12232 for categories-list; Wed, 24 Jun 1998 15:03:19 -0300 (ADT) X-Authentication-Warning: mailserv.mta.ca: Majordom set sender to cat-dist@mta.ca using -f Date: Wed, 24 Jun 1998 10:49:40 -0400 (EDT) From: Susan Niefield To: categories@mta.ca Subject: categories: preprint available Message-ID: MIME-Version: 1.0 Content-Type: TEXT/PLAIN; charset=US-ASCII Sender: cat-dist@mta.ca Precedence: bulk Status: RO X-Status: The following reprint is available at http://www1.union.edu/~niefiels/ESU.ps http://www1.union.edu/~niefiels/ESU.dvi EXPONENTIABILITY AND SINGLE UNIVERSES by Marta BUNGE and Susan NIEFIELD ABSTRACT - The search for suitable single universes for opposite or dual pairs of notions (such as those of discrete fibration and discrete opfibration, or of open and closed inclusions, or of functions and distributions on a Grothendieck topos) leads naturally to exponentiability. Using exponentiability techniques, such as model-generated categories and glueing, we settle a standing conjecture and an open problem. The conjecture, due to F. Lamarche, states that for a small category B, the category of unique factorization liftings (also known as discrete Conduche fibrations) over B is a topos. We also construct the smallest topos containing the local homeomorphisms (functions) and the complete spreads (distributions) over any given topos satisfying a certain condition (true of presheaf toposes). This solves a problem posed by F. W. Lawvere. Along the way, we introduce two new sorts of geometric morphisms, characterize locally closed inclusions in Cat, and investigate new features of generalized coverings in topos theory, such as branched coverings, cuts, and complete spreads. From cat-dist Fri Jun 26 11:42:29 1998 Received: (from Majordom@localhost) by mailserv.mta.ca (8.8.8/8.8.8) id JAA07323 for categories-list; Fri, 26 Jun 1998 09:44:10 -0300 (ADT) X-Authentication-Warning: mailserv.mta.ca: Majordom set sender to cat-dist@mta.ca using -f Date: Fri, 26 Jun 1998 09:00:37 -0300 (EST) From: Ruy de Queiroz X-Sender: ruy@caruaru To: categories@mta.ca Subject: categories: WoLLIC'98 - Programme and CfP Message-ID: MIME-Version: 1.0 Content-Type: TEXT/PLAIN; charset=US-ASCII Sender: cat-dist@mta.ca Precedence: bulk Status: O X-Status: [Please post] 5th Workshop on Logic, Language, Information and Computation (WoLLIC'98) July 28-31, 1998 (Tutorial Day: July 28th) IME-USP, Sao Paulo, Brazil Scientific Sponsorship: IGPL, FoLLI, ASL, SBC, SBL Financial Support: CAPES, CNPq, FAPESP FINAL PROGRAMME and Call for Participation For details (including Registration Form and Accommodation) see: http://www.ime.usp.br/~wollic *********************** Wednesday July 28th, 1998 (Tutorial Day) *********************** TUTORIAL LECTURES: 08:15-10:15 (with a 10min break) Descriptive Complexity by Heinz Dieter Ebbinghaus (15min break) 10:30-12:30 (with a 10min break) Modal Model Theory by Maarten de Rijke 12:30-14:00 (Lunch Break) 14:00-16:00 (with a 10min break) (title to be announced) by Edmund Clarke (15min break) 16:15-18:15 (with a 10min break) Provability Operators by Sergei Artemov (15min break) 18:30-20:30 (with a 10min break) An Introduction to "Basic Logic" by Giovanni Sambin (Sam Buss' tutorial lecture will be given on Wednesday 29th, at 11:25am) ----- *********************** Wednesday July 29th, 1998 *********************** 08:15: Opening Morning: Logic and Language 08:30-09:45 (Invited talk) Chair: Heinz Dieter Ebbinghaus (title to be announced) by Hans Kamp 09:45-09:55 Coffee/Tea break 09:55-11:15 4 contributed papers (20 min each) Chair: Ruy de Queiroz 09:55-10:15 An Extension of DRT with Questions to Analyze Topic Implicatures by Peter Krause 10:15-10:35 A Dynamic Logic of Events and States for the Interaction between Plural Quantification and Verb Aspect in Natural Language by Ralf Naumann 10:35-10:55 Occurrence Graph Grammars by Leila R. Korff 10:55-11:15 Towards a General Model for the Representation of Negated Nuanced Properties in a Fuzzy Context by Daniel Pacholczyk and Bernard Levrat 11:15-11:25 Coffee/Tea break 11:25-13:25 (with a 15min break) (Tutorial) (title to be announced) by Sam Buss 13:25-14:30 Lunch break Afternoon: Modal and Temporal Logics 14:30-15:45 (Invited talk) Chair: Giovanni Sambin Managing Fragments by Maarten de Rijke 15:45-15:55 Coffee/Tea break 15:55-17:15 4 contributed papers (20 min each) Chair: Ana Cristina V. de Melo 15:55-16:15 Interpolation and Bisimulation in Temporal Logic by Carlos Areces and Maarten de Rijke 16:15-16:35 Temporal Logic of Causal Knowledge by Wojciech Penczek 16:35-16:55 Characterising Timing Analyses in Intuitionistic Modal Logic by Michael Mendler 16:55-17:15 The Algebraic Mu-Calculus and MTBDDs by Christel Baier and Edmund Clarke 17:15-17:25 Coffee/Tea break 17:25-18:40 (Invited talk) Chair: Sergei Artemov Symbolic Model Checking by Edmund Clarke 20:30 Welcome Reception/Cocktail ********************** Thursday July 30th, 1998 ********************** Morning: Proof Theory 08:30-09:45 (Invited talk) Chair: Edmund Clarke The Complexity of the Disjunction and Existential Properties by Sam Buss 09:45-09:55 Coffee/Tea break 09:55-11:15 4 contributed papers (20 min each) Chair: Marcelo Finger 09:55-10:15 A System of Analytic Quasi-Classical Logic by Carlos A. Oller 10:15-10:35 Mixed Intuitionistic Linear Logic by Akim Demaille 10:35-10:55 Distributive Linear Logic by Jean Leneutre 10:55-11:15 Formulae-as-Resources Management for an Intuitionistic Theorem Prover by Didier Galmiche and D. Larchey-Wendling 11:15-11:25 Coffee/Tea break 11:25-12:40 (Invited talk) Chair: Maarten de Rijke Logic of Proofs by Sergei Artemov 12:40-14:30 Lunch break Afternoon: Categorical Logic 14:30-15:45 (Invited talk) Chair: Hans Kamp xSLAM: The eXplicit Substitutions Linear Abstract Machine or Implementing Linear Logic by Valeria de Paiva 15:45-15:55 Coffee/Tea break 15:55-17:15 4 contributed papers (20 min each) Chair: E. Hermann Haeusler 15:55-16:15 The Logic of a Tos by Ryan Shelswell and Michael Johnson 16:15-16:35 Selective Lambek Syntactic Calculus by Marcelo da Silva Correa and Edward Hermann Haeusler 16:35-16:55 A New Model Construction for Higher Type Systems by Dieter Spreen 16:55-17:15 Generalization in $\lambda 2$ by Jianguo Lu, Masateru Harao, and Masami Hagiya ********************** Friday July 31st, 1998 ********************** Morning: Logic and Complexity Theory 08:30-09:45 (Invited talk) Chair: Sam Buss Is there a logic for polynomial time? by Heinz Dieter Ebbinghaus 09:45-09:55 Coffee/Tea break 09:55-11:15 4 contributed papers (20 min each) Chair: Ruy de Queiroz 09:55-10:15 Generating hard tautologies using predicate logic and the symmetric group by Soren Riis and Meera Sitharam 10:15-10:35 Function Inversion by Nachum Dershowitz and Subrata Mitra 10:35-10:55 Very Efficient Pattern-Matching for Overlapping Patterns by Nadia Nedjah and Luiza de Macedo Mourelle 10:55-11:15 POM Semantics for 1-Safe Petri Nets by Edelweis H.A. Garcez, Francisco A.M. Nascimento and Wolfgang Rosenstiel 11:15-11:25 Coffee/Tea break 11:25-12:40 (Invited talk) Chair: Valeria de Paiva On the Boundedness Problem for Fragments of First-Order Logic by Phokion Kolaitis 12:40-14:30 Lunch break Afternoon: Constructive Logics and Semantics of Computation 14:30-15:45 (Invited talk) Chair: Phokion Kolaitis Formal Topology via the Basic Picture by Giovanni Sambin 15:45-15:55 Coffee/Tea break 15:55-17:15 4 contributed papers (20 min each) Chair: Flavio Correa da Silva 15:55-16:15 Models of Logic Programs w.r.t. Intuitionistic and Minimal Logics by Evgeny Makarov 16:15-16:35 Extensions of the WFS Semantics for Logic Programming by Mauricio Osorio and Jose Arrazola 16:35-16:55 Semantics for Disjunctive Programs by D. Guller 16:55-17:15 Revising Concepts by Renata Wassermann 17:15 Closing From cat-dist Fri Jun 26 16:41:51 1998 Received: (from Majordom@localhost) by mailserv.mta.ca (8.8.8/8.8.8) id PAA12048 for categories-list; Fri, 26 Jun 1998 15:22:49 -0300 (ADT) X-Authentication-Warning: mailserv.mta.ca: Majordom set sender to cat-dist@mta.ca using -f From: Steve Lack MIME-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Transfer-Encoding: 7bit Message-ID: <13715.25556.396710.164986@milan.maths.usyd.edu.au> Date: Fri, 26 Jun 1998 19:03:16 +1000 (EST) To: categories@mta.ca Subject: categories: ``cofinite sieves'' X-Mailer: VM 6.46 under 19.16 "Lille" XEmacs Lucid Sender: cat-dist@mta.ca Precedence: bulk Status: O X-Status: Have any topos-theorists or others come across the following notion? Let C be a small category, and c an object of C. If X is an arbitrary set of arrows with codomain c, then R_X = { f:b-->c | there is no g:a-->b with fg in X} clearly gives a sieve on c. Of course if X itself were a sieve then R_X would be its complement, but I'm not assuming X is a sieve. Say that a sieve R is _cofinite_ if it is of the form R_X for a finite set X. Cofinite sieves are closed under finite intersection and universal quantification along an arbitrary arrow. Best wishes, Steve Lack. From cat-dist Mon Jun 29 18:24:51 1998 Received: (from Majordom@localhost) by mailserv.mta.ca (8.8.8/8.8.8) id RAA04484 for categories-list; Mon, 29 Jun 1998 17:15:50 -0300 (ADT) X-Authentication-Warning: mailserv.mta.ca: Majordom set sender to cat-dist@mta.ca using -f MIME-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Transfer-Encoding: 7bit Message-ID: <13719.35086.366197.32258@rsunx.crn.cogs.susx.ac.uk> Date: Mon, 29 Jun 1998 13:31:10 +0100 (BST) From: Matthew Hennessy To: categories@mta.ca Subject: categories: Lectureship in Theoretical Computer Science X-Mailer: VM 6.49 under 20.4 "Emerald" XEmacs Lucid Sender: cat-dist@mta.ca Precedence: bulk Status: O X-Status: Apologies for multiple copies -------------------------------------------------------------------- SCHOOL OF COGNITIVE AND COMPUTING SCIENCES Lectureship in Computer Science Applications are invited for a lectureship in Theoretical Computer Science within the Subject Group of Computer Science and Artificial Intelligence. The expected start date is October 1998 or as soon thereafter as possible. Candidates should be able to show evidence of significant research achievement in any aspect of the Foundations of Computation. They should also be willing to teach in areas other than their research speciality. The appointment is planned on the Lecturer Grade A scale 16,655-21,815 per annum (under review). For exceptional candidates, an appointment on the Lecturer Grade B scale, 22,726-29,048 per annum (under review), may be considered. The posts can be discussed informally with Prof. Matthew Hennessy on (01273) 678101, email: matthewh@cogs.susx.ac.uk. Details of the School are available at http://www.cogs.susx.ac.uk. Application forms and further particulars are available from and should be returned to Sarah Marshall, Staffing Services, University of Sussex, Falmer, Brighton, East Sussex, BN1 9RH, UK. Tel: (01273) 606755, ext 8202. Email: S.A.Marshall@sussex.ac.uk. Closing date: 24 July 1998. --------------------------------------------------------------------