March 1999 - Categories - categories.org.au

geometric formulas
by Andreas Blass 09 Mar '99

09 Mar '99

Karel Stokkermans asked about a decision procedure for checking whether an arbitrary given first-order formula is classically equivalent to a geometric one. There is no such algorithm. The reason is that any such algorithm could easily be converted into an algorithm for testing (classical, first-order) validity, which is well-known to be undecidable. To test a formula A for validity, take a 0-ary predicate symbol P that doesn't occur in A, and let A' be the formula "A or not P". Then A' is equivalent to a geometric formula (namely "true") if and only if A is valid. So just test A' for geometricity and you'll know whether A is valid. (If, like some textbook authors, you don't believe in 0-ary predicate symbols, use P(x) instead, where P is unary.) Bill Lawvere asked whether there are "papers which also draw the conclusion that the 'standard' theories and presentations should really be positive ones, with negation as a cared-for particular rather than a blanket general". I assume he means papers where this is done for a purpose other than having geometric theories or the nice things that come with them, like classifying topoi. In a paper that Yuri Gurevich and I wrote long ago ["Existential fixed-point logic" in "Computation Theory and Logic", edited by Egon Boerger, Springer Lecture Notes in Comp. Sci. 270 (1987) pp.20-36], we found it convenient to adopt the following convention, which though not quite what Bill described, is similar in spirit: A first-order language (or signature or similarity-type) should have its predicate symbols classified into two sorts, positive and negatable. Negation can be applied only to atomic formulas whose predicate symbol is negatable. Homomorphisms are required to preserve the interpretations of all predicate symbols and to reflect the interpretations of the negatable ones. Andreas Blass

1 0

Computer Science Logic Conference (CSL'99)
by Eva Ullan 08 Mar '99

08 Mar '99

____________________________________________________ My apologies if you receive this more than once! ____________________________________________________ ******************************************************** **** D E A D L I N E March 19, 1999 **** ******************************************************** ------------------------------------------------------------- LAST CALL FOR PAPERS -- CSL'99 Annual Conference of the European Association for Computer Science Logic September 20-25, 1999, Madrid, Spain ------------------------------------------------------------- CSL is the annual conference of the European Association for Computer Science Logic (EACSL). The conference is intended for computer scientists whose research activities involve logic, as well as for logicians working on issues significant for computer science. Suggested, but not exclusive, topics of interest include: * abstract datatypes, * automated deduction, * categorical and topological approaches, * concurrency theory, * constructive mathematics, * database theory, * domain theory, * finite model theory, * lambda and combinatory calculi, * logical aspects of computational complexity, * logical foundations of programming paradigms, * linear logic, * modal and temporal logics, * model checking, * program logics and semantics, * program specification, transformation and verification, * rewriting, * symbolic computation. PROGRAM COMMITEE 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) Glynn Winskel (Aarhus, Denmark) Martin Wirsing (Munich, Germany) SCIENTIFIC PROGRAMME In addition to invited lectures and contributed papers, there will be two tutorials on theorem proving and rewriting techniques, scheduled on September 24 afternoon (Friday) and September 25 morning (Saturday), immediately after the main conference. ** September 20--24, 1999: Invited Lectures and Contributed Papers The list of invited speakers will include: Jose Luis Balcazar (Barcelona, Spain) Javier Esparza (Munich, Germany) Martin Grohe (Freiburg, Germany) Peter D. Mosses (Aarhus, Denmark) V. Vianu (San Diego, USA) ** September 24--25, 1999: CSL Tutorials Douglas Howe (Bell Labs, USA) Aart Middeldorp (Tsukuba, Japan) LOCAL ORGANIZING COMMITTEE J. Carlos Gonzalez-Moreno Teresa Hortala-Gonzalez Javier Leach-Albert (chair) Paco Lopez-Fraguas Fernando Saenz-Perez Eva Ullan 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) EACSL homepage: http://www.dimi.uniud.it/~eacsl IMPORTANT DATES Paper submissions March 19, 1999 Notifications of acceptance May 31, 1999 Final version due: July 12, 1999 CSL'99 main conference September 20-24, 1999 CSL'99 Tutorials September 24-25, 1999 PAPER SUBMISSIONS Submitted papers must be written in English and describe work not previously published. They must not be submitted concurrently to a journal or to another conference. Papers authored or coauthored by members of the Program Committee are not allowed. Submissions must not exceed 15 pages, including title page, figures, and references. The title page must contain: title and authors; physical and e-mail addresses; telephone and (if available) fax number for each author; identification of corresponding author, if not the first author; an abstract of no more than 200 words; a list of keywords. Submissions must arrive by March 19, 1999, and notifications of acceptance will be sent by May 31, 1999. Authors are invited to send manuscripts by electronic mail, as uuencoded gzipped postcript files: * see the conference home page for instructions http://mozart.sip.ucm.es:1580/csl99 * or send an empty message with subject "submission information'' to csl99org(a)eucmos.sim.ucm.es Those authors without access to the facilities for electronic submission can alternatively submit five hardcopies to: Prof. Mario Rodriguez Artalejo, CSL'99 Departamento de Sistemas Informaticos y Programacion Facultad de Matematicas, Universidad Complutense de Madrid Av. Complutense s/n E-28040 Madrid Spain E-mail: mario(a)sip.ucm.es Phone: +34 91 3 94 45 12 Fax: +34 91 3 94 46 07 PUBLICATION Papers accepted by the Program Committee must be presented at the conference and will appear in a proceedings volume, to be published by Springer Verlag in the "Lecture Notes in Computer Science" series. The second refereeing round which was requested in previous CSL editions before accepting a paper for publication in the proceedings, has been suppressed following the decision taken by the EACSL membership meeting held during CSL'98 (Brno, Czech Republic, August 25th 1998). Final versions of accepted papers will be due by July 12, 1999. The format for camera-ready manuscripts will be that of Springer LNCS; instructions can be found in the LNCS home page at: http://www.springer.de/comp/lncs/index.html ADDITIONAL INFORMATION CSL'99 home page: http://mozart.sip.ucm.es:1580/csl99 CSL'99 local organization: csl99org(a)eucmos.sim.ucm.es %%%%%%%%%%%%%%%%%%%%%% LATEX VERSION %%%%%%%%%%%%%% % Last Call for Papers, CSL'99. % Last revision: March 8, 1999 \documentstyle{article} \oddsidemargin 6pt \evensidemargin 6pt \marginparwidth 90pt \marginparsep 10pt \topmargin -30pt \headheight 12pt \headsep 25pt \footheight 12pt \footskip 30pt \columnsep 10.5pt \columnseprule 0pt \addtolength{\oddsidemargin}{-2.3cm} \setlength{\textwidth}{20cm} %{18.7cm} \addtolength{\topmargin}{-1cm} \setlength{\textheight}{27cm} \pagestyle{empty} \begin{document} % Heading \begin{center} {\large \bf LAST CALL FOR PAPERS -- CSL'99} \end{center} \begin{center} {\Large \bf Annual Conference of the }\\[1.5ex] {\Large \bf European Association for Computer Science Logic} \end{center} \begin{center} {\large \bf Madrid, Spain, September 20-25, 1999} \end{center} \vspace*{0.15in} % Left column \parbox[t]{6.5cm}{%6.3cm \footnotesize \noindent {\bf Program Committee:} \vspace*{0.05in} \begin{tabular}{l} Samson Abramsky (Edinburgh, UK)\\ Marc Bezem (Utrecht, The Netherlands)\\ Peter Clote (Munich, Germany)\\ Hubert Comon (Cachan, France)\\ J\"{o}rg Flum (Freiburg i.Br., Germany) \\ \hspace{1cm} ({\bf co-chair})\\ Harald Ganzinger (Saarbr\"{u}cken, Germany)\\ Neil Immerman (Amherst, USA)\\ Neil Jones (Copenhagen, Denmark)\\ Jan Maluszynski (Link\"{o}ping, Sweden)\\ Michael Maher (Brisbane, Australia)\\ Catuscia Palamidessi (Pennsylvania, USA)\\ Mario Rodr\'{\i}guez-Artalejo (Madrid, Spain) \\ \hspace{1cm} ({\bf co-chair})\\ Wolfgang Thomas (Aachen, Germany)\\ Jerzy Tiuryn (Warsaw, Poland)\\ Glynn Winskel (Aarhus, Denmark)\\ Martin Wirsing (Munich, Germany)\\ \end{tabular} \vspace*{0.10in} \noindent {\bf Invited Speakers:} \vspace*{0.05in} \begin{tabular}{l} Jos\'{e} Luis Balc\'{a}zar (Barcelona, Spain)\\ Javier Esparza (Munich, Germany)\\ Martin Grohe (Freiburg, Germany)\\ Peter D. Mosses (Aarhus, Denmark)\\ V. Vianu (San Diego, USA) \end{tabular} \vspace*{0.10in} \noindent {\bf Tutorialists:} \vspace*{0.05in} \begin{tabular}{l} Douglas Howe (Bell Labs, USA)\\ Aart Middeldorp (Tsukuba, Japan) \end{tabular} \vspace*{0.10in} \noindent {\bf Local Organizing Committee:} \vspace*{0.05in} \begin{tabular}{l} J. Carlos Gonz\'{a}lez-Moreno\\ Teresa Hortal\'{a}-Gonz\'{a}lez\\ Javier Leach-Albert ({\bf chair})\\ Paco L\'{o}pez-Fraguas\\ Fernando S\'{a}enz-P\'{e}rez\\ Eva Ull\'{a}n \end{tabular} \vspace*{0.10in} \noindent {\bf EACSL Board:} \vspace*{0.05in} \begin{tabular}{l} 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)\\ \end{tabular} \vspace*{0.15in} \noindent {\bf EACSL homepage:} \vspace*{0.05in} \begin{tabular}{l} http://www.dimi.uniud.it/\~{}eacsl \end{tabular} \vspace*{0.15in} \noindent {\bf Important Dates:} \vspace*{0.05in} \begin{tabular}{l} Paper submissions: \\ ~~~~ March 19, 1999 \\ Notifications of acceptance: \\ ~~~~ May 31, 1999 \\ Final version due: \\ ~~~~ July 12, 1999 \\ CSL'99 main conference: \\ ~~~~ September 20-24, 1999 \\ CSL'99 Tutorials: \\ ~~~~ September 24-25, 1999 \end{tabular} } % \end{parbox} % Right column. No blank line here! \parbox[t]{5mm}{ \rule[-22.0cm]{0.2mm}{22.5cm} } %\end{parbox} \begin{minipage}[t]{11.0cm}%{11.5cm} \small {\bf Aims and Scope of the Conference:} {\bf CSL} is the annual conference of the {\em European Association for Computer Science Logic} (EACSL). The conference is intended for computer scientistswhose research activities involve logic, as well as for logicians working on issues significant for computer science. Suggested, but not exclusive, topics of interest include: abstract datatypes, automated deduction, categorical and topological approaches, concurrency theory, constructive mathematics, database theory, domain theory, finite model theory, lambda and combinatory calculi, logical aspects of computational complexity, logical foundations of programming paradigms, linear logic, modal and temporal logics, model checking, program logics and semantics, program specification, transformation and verification, rewriting, symbolic computation. \vspace*{0.12in} \noindent {\bf Scientific Programme:} In addition to invited lectures and contributed papers, there will be two tutorials on theorem proving and rewriting techniques, scheduled on September 24 afternoon (Friday) and September 25 morning (Saturday), immediately after the main conference. \vspace*{0.12in} \noindent {\bf Paper Submissions:} Submitted papers must be written in English and describe work not previously published. They must not be submitted concurrently to a journal or to another conference. Papers authored or co-authored by members of the Program Committee are not allowed. Submissions must not exceed 15 pages, including title page, figures, and references. The title page must contain: title and authors; physical and e-mail addresses; telephone and (if available) fax number for each author; identification of corresponding author, if not the first author; an abstract of no more than 200 words; a list of keywords. Submissions must arrive by {\bf March 19, 1999}, and notifications of acceptance will be sent by {\bf May 31, 1999}. Authors are invited to send manuscripts by electronic mail, as uuencoded gzipped postcript files (see the conference home page for instructions, or send an empty message with subject ``submission information'' to csl99org(a)eucmos.sim.ucm.es) Those authors without access to the facilities for electronic submission can alternatively submit {\em five hardcopies} to: \vspace*{0.05in} \begin{tabular}{l} Prof. Mario Rodr\'{\i}guez-Artalejo, CSL'99 \\ Departamento de Sistemas Inform\'{a}ticos y Programaci\'{o}n \\ Facultad de Matem\'{a}ticas, Universidad Complutense de Madrid \\ Av. Complutense s/n ~~~~~~~~~~ Phone: +34 91 3 94 45 12 \\ E-28040 Madrid ~~~~~~~~~~~~~~~~~ Fax: +34 91 3 94 46 07 \\ Spain ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ E-mail: mario(a)sip.ucm.es \end{tabular} \vspace*{0.12in} \noindent {\bf Publication:} Papers accepted by the Program Committee must be presented at the conference and {\bf will appear in a proceedings volume}, to be published by Springer Verlag in the ``Lecture Notes in Computer Science'' series. The second refereeing round which was requested in previous CSL editions before accepting a paper for publication in the proceedings, has been suppressed following the decision taken by the EACSL membership meeting held during CSL'98 (Brno, Czech Republic, August 25th 1998). Final versions of accepted papers will be due by {\bf July 12, 1999}. The format for camera-ready manuscripts will be that of Springer LNCS; instructions can be found in the LNCS home page at http://www.springer.de/comp/lncs/index.html. \vspace*{0.12in} \noindent {\bf Important Remark:} The proceedings volume will be available at the conference. In order to enable this, the deadlines for paper submission and notification of acceptance have been slightly modified w.r.t. the announcement made in the 1st call for papers. \vspace*{0.15in} \noindent {\bf Additional Information:} \vspace*{0.05in} \begin{tabular}{ll} CSL'99 home page: & http://mozart.sip.ucm.es:1580/csl99 \\ CSL'99 local organization: & E-mail: csl99org(a)eucmos.sim.ucm.es \end{tabular} \end{minipage} \end{document}

1 0

AMS Buffalo, revised
by F W Lawvere 08 Mar '99

08 Mar '99

PLEASE NOTE: There is an error in our announcement of March 5th: The abstract number for Anders Kock's paper should be Abstract # 943-18-68 (not 943-18-109). Here is the revised version. THIRD ANNOUNCEMENT SMOOTH CATEGORIES IN GEOMETRY AND MECHANICS Special session of AMS Meeting No. 943 in Buffalo, N.Y. April 24/25, 1999 Abstracts are accessible via Http://www.ams.org./meetings/ SCHEDULE: Saturday, April 24, 1999 9:00 - 9:20 James FARAN: A Synthetic Approach to Characteristic Cohomology (Abstract # 943-18-72) 9:30 - 9:50 Hirokazu NISHIMURA: Infinitesimal Calculus of Variations (Abstract # 943-18-71) 10:00 - 10:20 Jonathon FUNK: Lebesgue Toposes (Abstract # 943-18-65) 10:30 - 10:50 George JANELIDZE: (joint work with Walter Tholen) Strongly Separable Morphisms (Abstract # 943-18-73) *** 2:30 - 2:50 Gonzalo REYES: (joint work with Anders Kock) Atoms and Categories of Differential Equations in SDG (Abstract # 943-18-109) 3:00 - 3:20 Felipe GAGO: Transversal Stability for Infinitesimally Represented Germs (Abstract # 943-18-66) 3:30 - 3:50 Anders KOCK: Infinitesimal Geometric Aspects of Riemannian Metrics (Abstract # 943-18-68) *** 4:30 - 4:50 Rene LAVENDHOMME: Infinitesimal Deformations in SDG (Abstract # 943-18-70) 5:00 - 5:20 Marta BUNGE: Single Universe for Intensive and Extensive Quantities in a Topos (Abstract # 943-18-76) Sunday, April 25, 1999 9:00 - 9:20 Peter FREYD: Arithmetic Categories (Abstract # 943-18-69) 9:30 - 9:50 Ali MADANSHEKAF: The Automorphism Group of the First-Order Infinitesimals (Abstract # 943-18-32) 10:00 -10:20 David WRAY: The Existence of Localised Quanta at Spatial Infinity: How Sheaves Replace Heisenberg (Abstract # 943-18-92) 10:30 - 10:50 Craig SNYDAL: Vertex Algebras, an Example of a Relaxed Multilinear Category (Abstract # 943-18-67) *** 2:30 - 2:50 Walter NOLL: Isocategories in Continuum Physics 3:00 - 3:20 Bill LAWVERE Smoothness of Cubical Splines (Abstract # 943-18-145) ALL SESSIONS AND TALKS WILL TAKE PLACE IN DIEFENDORF HALL AT THE MAIN STREET CAMPUS. ****************************************************************** ARRIVAL DATE: Friday, April 23, 1999 ACCOMODATIONS: For the participants of the meeting the downtown HYATT REGENCY BUFFALO has special rates. For more information about hotels, etc. see Http://www.acsu.buffalo.edu/~jjfaran/AMS_MEETING_home.html A block of rooms under the name AMS SMOOTH CATEGORIES has been reserved at the UNIVERSITY MANOR, near the intersection of Main Street and Bailey Avenue, at walking distance from the Mathematics Department (Diefendorf Hall) where the Sessions will be held. Prices are: Queen US$ 50.--/ King or 2 beds US$ 54.--, minus 10% for participants, plus 13% tax. Tel. (716) 837-3344; Fax (716)834-6246 Reservations should be made directly as early as possible! REGISTRATION: Room 114, Diefendorf Hall Fees are $ 30.--/AMS or CMS members, $ 45.-- /nonmembers, $ 10.-- emeritus members, students, unemployed mathematicians, (payable on-site only) ******************************************************************************* F. William Lawvere Mathematics Dept. SUNY wlawvere(a)acsu.buffalo.edu 106 Diefendorf Hall 716-829-2144 ext. 117 Buffalo, N.Y. 14214, USA *******************************************************************************

1 0

AMS Buffalo, April 24/25
by F W Lawvere 06 Mar '99

06 Mar '99

THIRD ANNOUNCEMENT SMOOTH CATEGORIES IN GEOMETRY AND MECHANICS Special session of AMS Meeting No. 943 in Buffalo, N.Y. April 24/25, 1999 Abstracts are accessible via Http://www.ams.org./meetings/ SCHEDULE: Saturday, April 24, 1999 9:00 - 9:20 James FARAN: A Synthetic Approach to Characteristic Cohomology (Abstract # 943-18-72) 9:30 - 9:50 Hirokazu NISHIMURA: Infinitesimal Calculus of Variations (Abstract # 943-18-71) 10:00 - 10:20 Jonathon FUNK: Lebesgue Toposes (Abstract # 943-18-65) 10:30 - 10:50 George JANELIDZE: (joint work with Walter Tholen) Strongly Separable Morphisms (Abstract # 943-18-73) *** 2:30 - 2:50 Gonzalo REYES: (joint work with Anders Kock) Atoms and Categories of Differential Equations in SDG (Abstract # 943-18-109) 3:00 - 3:20 Felipe GAGO: Transversal Stability for Infinitesimally Represented Germs (Abstract # 943-18-66) 3:30 - 3:50 Anders KOCK: Infinitesimal Geometric Aspects of Riemannian Metrics (Abstract # 943-18-109) *** 4:30 - 4:50 Rene LAVENDHOMME: Infinitesimal Deformations in SDG (Abstract # 943-18-70) 5:00 - 5:20 Marta BUNGE: Single Universe for Intensive and Extensive Quantities in a Topos (Abstract # 943-18-76) Sunday, April 25, 1999 9:00 - 9:20 Peter FREYD: Arithmetic Categories (Abstract # 943-18-69) 9:30 - 9:50 Ali MADANSHEKAF: The Automorphism Group of the First-Order Infinitesimals (Abstract # 943-18-32) 10:00 -10:20 David WRAY: The Existence of Localised Quanta at Spatial Infinity: How Sheaves Replace Heisenberg (Abstract # 943-18-92) 10:30 - 10:50 Craig SNYDAL: Vertex Algebras, an Example of a Relaxed Multilinear Category (Abstract # 943-18-67) *** 2:30 - 2:50 Walter NOLL: Isocategories in Continuum Physics 3:00 - 3:20 Bill LAWVERE Smoothness of Cubical Splines (Abstract # 943-18-145) ALL SESSIONS AND TALKS WILL TAKE PLACE IN DIEFENDORF HALL AT THE MAIN STREET CAMPUS. ****************************************************************** ARRIVAL DATE: Friday, April 23, 1999 ACCOMODATIONS: For the participants of the meeting the downtown HYATT REGENCY BUFFALO has special rates. For more information about hotels, etc. see Http://www.acsu.buffalo.edu/~jjfaran/AMS_MEETING_home.html A block of rooms under the name AMS SMOOTH CATEGORIES has been reserved at the UNIVERSITY MANOR, near the intersection of Main Street and Bailey Avenue, at walking distance from the Mathematics Department (Diefendorf Hall) where the Sessions will be held. Prices are: Queen US$ 50.--/ King or 2 beds US$ 54.--, minus 10% for participants, plus 13% tax. Tel. (716) 837-3344; Fax (716)834-6246 Reservations should be made directly as early as possible! REGISTRATION: Room 114, Diefendorf Hall Fees are $ 30.--/AMS or CMS members, $ 45.-- /nonmembers, $ 10.-- emeritus members, students, unemployed mathematicians, (payable on-site only) ******************************************************************************* F. William Lawvere Mathematics Dept. SUNY wlawvere(a)acsu.buffalo.edu 106 Diefendorf Hall 716-829-2144 ext. 117 Buffalo, N.Y. 14214, USA *******************************************************************************

1 0

geometric formulae and axioms
by Karel Stokkermans 05 Mar '99

05 Mar '99

Dear category theorists, Recently I came across geometric formulae (built up from atomic formulae using only conjunction, disjunction and existential quantification). I would know like to know whether there is any way to decide whether an arbitrary given first order formula is (classically) equivalent to a geometric formula (or geometric axiom: phi -> psi where phi and psi are both geometric formulae). I've looked in the book by Mac Lane and Moerdijk but didn't discover a general decision method. Any hints or references to relevant literature would be much appreciated. Best regards, Karel Stokkermans

3 2

OOSDS99 Call for papers
by Natalia Ioustinova 04 Mar '99

04 Mar '99

======================================================================== This message contains public information, only, and the receiver is allowed, and invited, to copy it and distribute it further. Our apologies if you received duplicates of this message due to the mailing list aliases. You can also visit the OOSDS'99 web site at http://www.tec.informatik.uni-rostock.de/IuK/congr/oosds99/ ======================================================================== CALL FOR PAPERS OOSDS'99 Workshop on Object-Oriented Specification Techniques for Distributed Systems and Behaviours Paris, France, September 27, 1999 http://www.tec.informatik.uni-rostock.de/IuK/congr/oosds99/ ======================================================================== SCOPE OF WORKSHOP: ================= The workshop is focused on specification languages for distributed systems which are extensions of object-oriented languages or have an object-oriented kind of base structure. The aim is to bring together researchers interested in incorporating object-oriented concepts and formal methods for specification of distributed systems and behaviours. TOPICS (NOT EXCLUSIVE LIST): ============================ Object-oriented approaches to specification of distributed systems and behaviours. Semantic models for concurrency and object-orientation (e.g. based on the lambda-calculus, process algebra, pi-calculus, linear logic). Characteristic examples of object-oriented specification from real application domains (e.g. distributed algorithms, workflow specification, communication protocols). Logic reasoning on distributed systems and behaviours. SUBMISSION: =========== The deadline for submission is September 2, 1999. Submission is in electronic form only. Submission may be of two forms: Extended abstracts: up to 3 pages. Papers and reports: up to 6 pages. In both cases a separate page with the following information: title, author(s), corresponding author, contact information and a 12-15 lines summary should be included. The papers and/or abstracts should be sent by e-mail to ustin(a)informatik.uni-rostock.de. Selection for presentation will be carried out by the organizers. Emphasis is put on the potential of the submission to stimulate discussions in the above-mentioned scope. Notification of acceptance is expected for September 14, 1999. PUBLICATION: ============ The accepted submissions will be published electronically, i.e. they will remain available from the workshop web page. Furthermore, selected papers will be invited for post workshop publication. RELATED EVENTS: ============== This workshop is organized as a satellite workshop of PPDP'99, The 1999 International Conference on Principles and Practice of Declarative Programming, Paris, France, September 29-October 1, 1999. http://www.dmi.ens.fr/~fages/PPDP99/ ORGANIZATION COMMITTEE: ======================= Clemens H. Cap (Rostock University, Germany) Natalia Ioustinova (Rostock University, Germany) Javier Oliver (Technical University of Valencia, Spain) Nobuko Yoshida (University of Sussex, UK) ADDITIONAL INFORMATION: ======================= WEB: http://www.tec.informatik.uni-rostock.de/IuK/congr/oosds99/ MAIL: ustin(a)informatik.uni-rostock.de >>From ustin Thu Mar 4 09:48:06 1999 To: -s, 5, Call, Mail, OOSDS99, Sent, acclaim(a)sics.se, cat, echo, for, papers, sleep, to, ustin(a)informatik.uni-rostock.de, | Subject: OOSDS99 Content-Length: 0 >>From ustin Thu Mar 4 09:48:16 1999 To: -s, 5, Call, Mail, OOSDS99, Sent, afp(a)cs.chalmers.se, alp-diffusion(a)univ-lille1.fr, cat, echo, for, papers, sleep, to, | Subject: OOSDS99 Content-Length: 0 >>From ustin Thu Mar 4 09:48:26 1999 To: -s, 5, Call, Mail, OOSDS99, Sent, alp-list(a)intellektik.informatik.th-darmstadt.de, benelog(a)cs.kuleuven.ac.be, cat, echo, for, papers, sleep, to, | Subject: OOSDS99 Content-Length: 0 >>From ustin Thu Mar 4 09:48:36 1999 To: -s, 5, Call, Mail, OOSDS99, Sent, cat, categories(a)mta.ca, cav-all(a)csa.cs.technion.ac.il, echo, for, papers, sleep, to, | Subject: OOSDS99 Content-Length: 0 >>From ustin Thu Mar 4 09:48:47 1999 To: -s, 5, Call, Mail, OOSDS99, Sent, cat, ccl(a)dfki.de, ccp(a)sics.se, echo, for, papers, sleep, to, | Subject: OOSDS99 Content-Length: 0 >>From ustin Thu Mar 4 09:48:57 1999 To: -s, 5, Call, Mail, OOSDS99, Sent, cat, choose-news(a)iam.unibe.ch, clp(a)comp.nus.edu.sg, echo, for, papers, sleep, to, | Subject: OOSDS99 Content-Length: 0 >>From ustin Thu Mar 4 09:49:07 1999 To: -s, 5, Call, Mail, OOSDS99, Sent, cat, compulog-deduction(a)cs.bham.ac.uk, compulog-list(a)cwi.nl, echo, for, papers, sleep, to, | Subject: OOSDS99 Content-Length: 0 >>From ustin Thu Mar 4 09:49:17 1999 To: -s, 5, Call, Mail, OOSDS99, Sent, cat, compunode(a)compulog.org, compunode(a)dfki.de, echo, for, papers, sleep, to, | Subject: OOSDS99 Content-Length: 0 >>From ustin Thu Mar 4 09:49:27 1999 To: -s, 5, Call, Mail, OOSDS99, Sent, cat, concurrency(a)cwi.nl, conferences(a)iao.fhg.de, echo, for, papers, sleep, to, | Subject: OOSDS99 Content-Length: 0

1 0

TLCA'99 (Second Call for Participation)
by tlca99.aquila 04 Mar '99

04 Mar '99

- Our apologies if you receive multiple copies of this message - ---------------------------------------------------------------------------- | Note the early registration and accommodation deadline: MARCH 7th, 1999. | ---------------------------------------------------------------------------- ---------------------------------------------- | | | TLCA '99 | | | | Fourth International Conference on | | Typed Lambda Calculi and Applications | | | | April 7-9, 1999, L'Aquila (Italy) | | | ---------------------------------------------- You can find the preliminary schedule and all information about the conference venue, conference registration and hotel accommodation at the TLCA '99 web site: http://w3.dm.univaq.it/tlca99 For any further information, please contact the TLCA '99 Organizing Committee at the email address: tlca99.aquila(a)univaq.it ----------------------------------------------------------- Organizing Committee Chairman: Benedetto Intrigila Dipartimento di Matematica Pura ed Applicata Universita' degli Studi di L'Aquila via Vetoio, Loc. Coppito 67100 L'Aquila Italy fax: (+)-39-0862-433180 e-mail: tlca99.aquila(a)univaq.it home page: http://w3.dm.univaq.it/tlca99 -----------------------------------------------------------

1 0

PhD positions
by N Ghani 02 Mar '99

02 Mar '99

---------------------------------------------------------------------- Leicester University, U.K. Department of Mathematics & Computer Science 3 PH.D. STUDENTSHIPS IN MATHEMATICS OR COMPUTER SCIENCE Applications are invited for three fully funded research studentships leading to the degree of Ph.D. in any aspect of Mathematics or Computer Science. The studentships are available for studies beginning in October 1999 to persons who are normally resident in the E.U. Applicants should have, or expect to obtain, a first or upper second class degree in a relevant subject area. The Department of Mathematics and Computer Science is divided into three groups: Pure Mathematics, Applicable Mathematics and Computer Science. The Pure Mathematics Group carries out research in various aspects of algebra, algebraic topology and symbolic dynamics. The key areas of expertise are in the representation theory of finite dimensional algebras, of finite groups and of quantum groups and in algebraic topology and its applications to dynamical systems, algebra and analysis. The Applicable Mathematics Group focuses mainly on numerical analysis, and in particular on: approximation theory; the numerical solution of ordinary and partial differential equations; and integral equations. Research in the Computer Science Group has three main themes: logic, algebra and complexity; the theory of distributed systems; and semantics. There is an active Graduate Programme. Candidates should identify their preferred area of research and supervisor. Details of the possible areas of research and supervisors are available via the Departmental web pages (http://www.mcs.le.ac.uk) or the Department's Postgraduate Brochure. The Postgraduate Brochure, application forms and further details are available from Dr. S. J. Ambler, Department of Mathematics and Computer Science, Leicester University, Leicester LE1 7RH (telephone: 0116 252 3406, email: S.Ambler(a)mcs.le.ac.uk) The closing date for applications is 1st May 1999. ----------------------------------------------------------------------

1 0

OOSDS'99 CALL FOR PAPERS
by Natalia Ioustinova 01 Mar '99

01 Mar '99

This message contains public information, only, and the receiver is allowed, and invited, to copy it and distribute it further. Our apologies if you received duplicates of this message due to the mailing list aliases. You can also visit the OOSDS'99 web site at http://www.tec.informatik.uni-rostock.de/IuK/congr/oosds99/ ================================================================================ CALL FOR PAPERS OOSDS'99 Workshop on Object-Oriented Specification Techniques for Distributed Systems and Behaviours Paris, France, September 27, 1999 http://www.tec.informatik.uni-rostock.de/IuK/congr/oosds99/ ================================================================================ SCOPE OF WORKSHOP: ================= The workshop is focused on specification languages for distributed systems which are extensions of object-oriented languages or have an object-oriented kind of base structure. The aim is to bring together researchers interested in incorporating object-oriented concepts and formal methods for specification of distributed systems and behaviours. TOPICS (NOT EXCLUSIVE LIST): ============================ Object-oriented approaches to specification of distributed systems and behaviours. Semantic models for concurrency and object-orientation (e.g. based on the lambda-calculus, process algebra, pi-calculus, linear logic). Characteristic examples of object-oriented specification from real application domains (e.g. distributed algorithms, workflow specification, communication protocols). Logic reasoning on distributed systems and behaviours. SUBMISSION: =========== The deadline for submission is September 14, 1999. Submission is in electronic form only. Submission may be of two forms: Extended abstracts: up to 3 pages. Papers and reports: up to 6 pages. In both cases a separate page with the following information: title, author(s), corresponding author, contact information and a 12-15 lines summary should be included. The papers and/or abstracts should be sent by e-mail to ustin(a)informatik.uni-rostock.de. PUBLICATION: ============ Selected submissions will be published in a refereed journal after the workshop. The others will be published electronically. RELATED EVENTS: ============== This workshop is organized as a satellite workshop of PPDP'99, The 1999 International Conference on Principles and Practice of Declarative Programming, Paris, France, September 29-October 1, 1999 http://www.dmi.ens.fr/~fages/PPDP99/ ORGANIZATION COMMITTEE: ======================= Clemens H. Cap (Rostock University, Germany) Natalia Ioustinova (Rostock University, Germany) Javier Oliver (Technical University of Valencia, Spain) Nobuko Yoshida (University of Sussex, UK) ADDITIONAL INFORMATION: ======================= WEB: http://www.tec.informatik.uni-rostock.de/IuK/congr/oosds99/ MAIL: ustin(a)informatik.uni-rostock.de Natalia Ioustinova Dept.of Computer Science office phone +49-(0)381-498/3375 University of Rostock Albert Einstein Strasse 21 mailto:ustin@informatik.uni-rostock.de D-18051 Rostock, Germany http://www.tec.informatik.uni-rostock.de/IuK

1 0