July 2005 - Categories - categories.org.au

PhD position in Monadic Computational Logics
by Lutz Schroeder 17 Jan '06

17 Jan '06

A 3-year PhD-Position is available in the project "Monadic Computational Logics in HOL" at the University of Bremen. The project is concerned with the implementation and further development of monadic computational logics, including monadic Hoare logic and monadic dynamic logic as well as extensions covering exception handling, as introduced by Till Mossakowski and myself. More detailed information can be found at http://www.informatik.uni-bremen.de/~lschrode/research/projects/HOL-MDL_e.h… Applications or further enquiries may be e-mailed to my address below. -- Lutz -- ----------------------------------------------------------------------------- Lutz Schroeder Phone +49-421-218-4683 Dept. of Computer Science Fax +49-421-218-3054 University of Bremen lschrode(a)informatik.uni-bremen.de P.O.Box 330440, D-28334 Bremen http://www.informatik.uni-bremen.de/~lschrode -----------------------------------------------------------------------------

2 1

Job: Lectureship
by Alexander Kurz 05 Oct '05

05 Oct '05

Apologies for multiple postings ------------------------------- Please distribute to potential candidates ----------------------------------------- The University of Leicester seeks to appoint two Lecturers (tenure track) who can contribute to existing research in the foundations and applications of algebraic structures and methods in general, and the emerging area of service-oriented computing in particular ... (see the URL below for more) In particular, we are looking for one person who can complement our strengths in theoretical research which is currently represented by Roy Crole, Alexander Kurz, Vincent Schmitt and Fer-Jan de Vries. The official announcement should be available soon at http://www.le.ac.uk/personnel/jobs/a&r.html Closing date is (probably, see URL above) 5 July 2005. If you have any informal enquires please contact one of us. 15-Jun-2005 19:59:14 -0300,7560;000000000000-00000012

2 2

Chair Vacancy, Bath, England
by David J. Pym 29 Jul '05

29 Jul '05

Department of Computer Science Professor of Computing The Department of Computer Science is seeking to appoint a leading researcher as Professor of Computing. The appointment will be expected to have strong and complementary relevance to at least one of the current main research areas of the Department. The Department is research led, multi-disciplinary and has internationally renowned research. Three main research areas are: Human Computer Interaction, Mathematical Logic & Symbolic Computation, and Media Technology. Interdisciplinary research interests lie in the broad areas of agents and artificial intelligence. Applicants should show evidence of a world-class research record with a strong track record of leading publications and significant levels of research funding in an area that will reinforce the existing strengths of the Department. The person appointed will be required to contribute to undergraduate and postgraduate teaching in Computer science. Salary will be determined in the light of the experience and achievements of the successful candidate. Informal enquiries to Professor P. Johnson, Head of Department, (email: a.raggett(a)bath.ac.uk (PA to Head of Dept) Tel +44(0)1 225 38 3214, Fax +44(0)1 225 38 3493). More information about the Department can be found at: http://www.bath.ac.uk/comp-sci/ Further particulars are available from the Department of Human Resources, University of Bath, Claverton Down, Bath BA2 7AY, England (tel: +44 (0)1225 386026; c.pearson(a)bath.ac.uk) or phone the 24-hour answerphone service on +44 (0)1225 386924, textphone +44 (0)1225 386039, quoting reference: 05/291. Alternatively, further details can be found at http://www.bath.ac.uk/jobs Closing date for applications: Friday 23rd September 2005 An Equal Opportunities Employer -- Prof. David J. Pym Telephone: +44 (0)1 225 38 3246 Professor of Logic & Computation Facsimile: +44 (0)1 225 38 3493 University of Bath Email: d.j.pym(a)bath.ac.uk Bath BA2 7AY, England, U.K. Web: http://www.bath.ac.uk/~cssdjp Royal Society Industry Fellow, HP Labs, Bristol: david.pym(a)hp.com This email and any files transmitted with it are confidential and intended solely for the use of the individual or entity to whom they are addressed.

1 0

Sir Saunders (URL)
by Ross Street 28 Jul '05

28 Jul '05

The URL I provided (see below) doesn't seem to work today. Please try http://arxiv.org/abs/math.HO/0507203 A Google search on HO/0507203 should also turn up the obituary. Ross ------------------------------------------------------------------------ An interesting obituary of Saunders Mac Lane appears at arXiv:math.HO/ 0507203. http://xxx.sf.nchc.gov.tw/pdf/math.HO/0507203. Michael Batanin pointed me to it. Professor Kutateladze taught Michael analysis in Novosibirsk. Apparently this University had the enlightened system that experts on analysis should actually teach it! Western systems seem to have drifted away from that policy. It is also enlightened that an analyst should not be biased against using category theory should that be needed. Ross --Apple-Mail-41-327834779 Content-Transfer-Encoding: quoted-printable Content-Type: text/html; charset=ISO-8859-1 <HTML><BODY style=3D"word-wrap: break-word; -khtml-nbsp-mode: space; = -khtml-line-break: after-white-space; "><DIV style=3D"margin-top: 0px; = margin-right: 0px; margin-bottom: 0px; margin-left: 0px; ">The URL I = provided (see below) doesn't seem to work today.</DIV><DIV = style=3D"margin-top: 0px; margin-right: 0px; margin-bottom: 0px; = margin-left: 0px; "><BR class=3D"khtml-block-placeholder"></DIV><DIV = style=3D"margin-top: 0px; margin-right: 0px; margin-bottom: 0px; = margin-left: 0px; ">Please try</DIV><DIV style=3D"margin-top: 0px; = margin-right: 0px; margin-bottom: 0px; margin-left: 0px; "><BR = class=3D"khtml-block-placeholder"></DIV><DIV style=3D"margin-top: 0px; = margin-right: 0px; margin-bottom: 0px; margin-left: 0px; ">=A0=A0=A0=A0<A = href=3D"http://arxiv.org/abs/math.HO/0507203">http://arxiv.org/abs/math.HO= /0507203</A></DIV><DIV style=3D"margin-top: 0px; margin-right: 0px; = margin-bottom: 0px; margin-left: 0px; "><BR = class=3D"khtml-block-placeholder"></DIV><DIV style=3D"margin-top: 0px; = margin-right: 0px; margin-bottom: 0px; margin-left: 0px; ">A Google = search on=A0</DIV><DIV style=3D"margin-top: 0px; margin-right: 0px; = margin-bottom: 0px; margin-left: 0px; "><BR = class=3D"khtml-block-placeholder"></DIV><DIV style=3D"margin-top: 0px; = margin-right: 0px; margin-bottom: 0px; margin-left: 0px; ">=A0=A0=A0=A0<A = href=3D"http://arxiv.org/abs/math.HO/0507203">HO/0507203</A></DIV><DIV = style=3D"margin-top: 0px; margin-right: 0px; margin-bottom: 0px; = margin-left: 0px; "><BR class=3D"khtml-block-placeholder"></DIV><DIV = style=3D"margin-top: 0px; margin-right: 0px; margin-bottom: 0px; = margin-left: 0px; ">should also turn up the obituary.</DIV><DIV = style=3D"margin-top: 0px; margin-right: 0px; margin-bottom: 0px; = margin-left: 0px; "><BR class=3D"khtml-block-placeholder"></DIV><DIV = style=3D"margin-top: 0px; margin-right: 0px; margin-bottom: 0px; = margin-left: 0px; ">Ross</DIV><DIV style=3D"margin-top: 0px; = margin-right: 0px; margin-bottom: 0px; margin-left: 0px; = ">------------------------------------------------------------------------= ------------------------</DIV><DIV style=3D"margin-top: 0px; = margin-right: 0px; margin-bottom: 0px; margin-left: 0px; ">An = interesting obituary of Saunders Mac Lane appears at = arXiv:math.HO/0507203.</DIV><DIV style=3D"margin-top: 0px; margin-right: = 0px; margin-bottom: 0px; margin-left: 0px; "><BR = class=3D"khtml-block-placeholder"></DIV><DIV style=3D"margin-top: 0px; = margin-right: 0px; margin-bottom: 0px; margin-left: 0px; "><A = href=3D"http://xxx.sf.nchc.gov.tw/pdf/math.HO/0507203"><FONT = class=3D"Apple-style-span" face=3D"Arial" size=3D"3"><SPAN = class=3D"Apple-style-span" style=3D"font-size: = 13px;">http://xxx.sf.nchc.gov.tw/pdf/math.HO/0507203</SPAN></FONT></A><FON= T class=3D"Apple-style-span" face=3D"Arial" size=3D"3"><SPAN = class=3D"Apple-style-span" style=3D"font-size: = 13px;">.</SPAN></FONT></DIV><DIV style=3D"margin-top: 0px; margin-right: = 0px; margin-bottom: 0px; margin-left: 0px; "><FONT = class=3D"Apple-style-span" face=3D"Arial" size=3D"3"><SPAN = class=3D"Apple-style-span" style=3D"font-size: 13px;"><BR = class=3D"khtml-block-placeholder"></SPAN></FONT></DIV><DIV = style=3D"margin-top: 0px; margin-right: 0px; margin-bottom: 0px; = margin-left: 0px; "><FONT class=3D"Apple-style-span" face=3D"Arial" = size=3D"3"><SPAN class=3D"Apple-style-span" style=3D"font-size: = 13px;">Michael Batanin pointed me to it. Professor Kutateladze taught = Michael analysis in Novosibirsk.</SPAN></FONT></DIV><DIV = style=3D"margin-top: 0px; margin-right: 0px; margin-bottom: 0px; = margin-left: 0px; "><FONT class=3D"Apple-style-span" face=3D"Arial" = size=3D"3"><SPAN class=3D"Apple-style-span" style=3D"font-size: = 13px;">Apparently this University had the enlightened system that = experts on analysis should actually</SPAN></FONT></DIV><DIV = style=3D"margin-top: 0px; margin-right: 0px; margin-bottom: 0px; = margin-left: 0px; "><FONT class=3D"Apple-style-span" face=3D"Arial" = size=3D"3"><SPAN class=3D"Apple-style-span" style=3D"font-size: = 13px;">teach it! Western systems seem to have drifted away from that = policy.</SPAN></FONT></DIV><DIV style=3D"margin-top: 0px; margin-right: = 0px; margin-bottom: 0px; margin-left: 0px; "><FONT = class=3D"Apple-style-span" face=3D"Arial" size=3D"3"><SPAN = class=3D"Apple-style-span" style=3D"font-size: 13px;">It is also = enlightened that an analyst should not be biased against using category = theory should that be needed.</SPAN></FONT></DIV><DIV style=3D"margin-top:= 0px; margin-right: 0px; margin-bottom: 0px; margin-left: 0px; "><FONT = class=3D"Apple-style-span" face=3D"Arial" size=3D"3"><SPAN = class=3D"Apple-style-span" style=3D"font-size: 13px;"><BR = class=3D"khtml-block-placeholder"></SPAN></FONT></DIV><DIV = style=3D"margin-top: 0px; margin-right: 0px; margin-bottom: 0px; = margin-left: 0px; "><FONT class=3D"Apple-style-span" face=3D"Arial" = size=3D"3"><SPAN class=3D"Apple-style-span" style=3D"font-size: = 13px;">Ross</SPAN></FONT></DIV></BODY></HTML>= --Apple-Mail-41-327834779-- 29-Jul-2005 16:53:26 -0300,3064;000000000000-0000000d

1 0

Sir Saunders
by Ross Street 27 Jul '05

27 Jul '05

An interesting obituary of Saunders Mac Lane appears at arXiv:math.HO/ 0507203. http://xxx.sf.nchc.gov.tw/pdf/math.HO/0507203. Michael Batanin pointed me to it. Professor Kutateladze taught Michael analysis in Novosibirsk. Apparently this University had the enlightened system that experts on analysis should actually teach it! Western systems seem to have drifted away from that policy. It is also enlightened that an analyst should not be biased against using category theory should that be needed. Ross 28-Jul-2005 11:50:46 -0300,6805;000000000001-0000000c

1 0

Call for participation: GETCO 2005
by Uli Fahrenberg 21 Jul '05

21 Jul '05

Seventh workshop on Geometric and Topological Methods in Concurrency GETCO 2005 Affiliated with CONCUR 2005 Venue: San Francisco, California Conference dates: CONCUR: 23-26 August 2005 GETCO: 21 August 2005 Call for Participation NOTE: Early registration closes 27 July Scope The main mathematical disciplines that have been used in computer science are discrete mathematics (especially graph theory and ordered structures), logics (mostly proof theory for all kinds of logics, classical, intuitionistic, modal etc.) and category theory (cartesian closed categories, topoi etc.). General Topology has also been used for instance in denotational semantics, with relations to ordered structures in particular. Recently, ideas and notions from mainstream "geometric" topology and algebraic topology have entered the scene in Concurrency Theory and Distributed Systems Theory (some of them based on older ideas). They have been applied in particular to problems dealing with coordination of multi-processor and distributed systems (see the historical note ). Among those are techniques borrowed from algebraic and geometric topology: Simplicial techniques have led to new theoretical bounds for coordination problems. Higher dimensional automata have been modeled as cubical complexes with a partial order reflecting the time flows, and their homotopy properties allow to reason about a system's global behaviour. The GETCO workshops aim at bringing together researchers from both the mathematical (geometry, topology, algebraic topology etc.) and computer scientific side (concurrency theorists, semanticians, algorithmicians, researchers in distributed systems etc.) with an active interest in these or related developments. Workshop Programme (preliminary) 9:00 OPENING 9:05-10:00 E. Haucourt: Comparing Topological Models for Concurrency 10:00-10:30 COFFEE BREAK 10:30-11:30 S. Krishnan: A Convenient Category of Locally Ordered Spaces 11:30-12:30 P. Gaucher: T-Homotopy and Refinement of Observation 12:30-14:15 LUNCH 14:15-15:30 Invited Talk: P. Panangaden: TBA 15:30-16:00 COFFEE BREAK 16:00-17:00 U. Fahrenberg: Bisimulations of Higher-Dimensional Automata Lift Directed Paths 17:00 DISCUSSION Programme Committee * Patrick Cousot, Ecole Normale Supérieure, France * Lisbeth Fajstrup, Aalborg University, Denmark * Eric Goubault, Commissariat à l'Energie Atomique, France * Maurice Herlihy, Brown University, Providence, RI, USA * Kim G. Larsen, Aalborg University, Denmark * Martin Raussen, Aalborg University, Denmark Contact Additional information can be obtained from the GETCO website at http://www.math.aau.dk/~uli/getco05 or by taking contact to Ulrich Fahrenberg Department of Mathematical Sciences, Aalborg University Fredrik Bajers Vej 7G 9220 Aalborg East Phone: +45 96 35 88 00 Fax: +45 98 15 81 29 Email: uli(a)math.aau.dk 24-Jul-2005 17:01:31 -0300,3948;000000000000-0000000a

1 0

None
by Markus Roggenbach 21 Jul '05

21 Jul '05

4 X-Accept-Language: en-us, en MIME-Version: 1.0 Subject: categories: CALCO: 3rd Call for Participation Content-Type: text/plain; charset=3DISO-8859-1; format=3Dflowed Content-Transfer-Encoding: 8bit To: undisclosed-recipients:; Sender: cat-dist(a)mta.ca Precedence: bulk *--------------------------------------------------------------------* * 3rd Call for Participation * * * * CALCO 2005 * * * * =091st Conference on Algebra and Coalgebra in Computer Science * * * * September 3-6, 2005, Swansea, Wales, UK * * * *--------------------------------------------------------------------* * http://www.cs.swan.ac.uk/calco/ * *--------------------------------------------------------------------* * With the support of IFIP WG 1.3 * *--------------------------------------------------------------------* CALCO 2005 is an exciting new conference that brings together researchers and practitioners to exchange new results related to foundational aspects and both traditional and emerging uses of algebras and coalgebras in computer science. Registration and fees: ---------------------- Registration is open now on http://www.cs.swan.ac.uk/calco/registration.php Late registration: 220 GBP The fee includes a volume of Springer's Lecture Notes in Computer Science with the proceedings. CALCO-jnr ---------- CALCO 2005 is preceded by a Young Researchers Workshop, dedicated to presentations by PhD students and people who completed their doctoral studies within the past few years (see www.cs.swan.ac.uk/calco-jnr/ for details). Venue and Accommodation ----------------------- CALCO 2005 is held in the Department of Computer Science at the University of Wales Swansea. Swansea is Wales' second largest city, situated in the centre of the South Wales coast. It has a long maritime history. Swansea is a growth centre for high tech. industry. It is next to the Gower Peninsula with its dramatic coastal scenery. On campus accommodation is available in newly-built en-suite residences. In addition, a range of quality hotels has been selected. The social programme for CALCO 2005 includes a conference dinner, an excursion, as well as an "alternative" beach party. Invited Speakers: ----------------- Professor Samson Abramsky, Christopher Strachey Professor of Computing, University of Oxford, UK Professor Gordon Plotkin, School of Informatics, University of Edinburgh, UK. Professor Vladimiro Sassone, Professor of Informatics, University of Sussex, UK. Accepted Papers: ----------------- "Bisimilarity is not Finitely Based over BPA with Interrupt" Luca Aceto, Wan Fokkink, Anna Ingolfsdottir, Sumit Nain "The Intersection of Algebra and Coalgebra" Jiri Adamek "On the Semantics of Coinductive Types in Martin-Lof Type Theory" Federico De Marchi "Look: simple stochastic systems are just, well, simple" Ernst-Erich Doberkat "An Algebraic Framework for Verifying the Correctness of Hardware with Input and Output: A Formalization in HOL" Anthony Fox "Using Proofs by Coinduction to Find 'Traditional' Proofs" Clemens Grabmayer "From T-coalgebras to filter structures and transition systems" H. Peter Gumm "Context-free Languages via Coalgebraic Trace Semantics" Ichiro Hasuo, Bart Jacobs "A Coalgebraic Approach to the Semantics of the Ambient Calculus" Daniel Hausmann, Till Mossakowski, Lutz Schr=F6der "The Least Fibred Lifting and the Expressivity of Coalgebraic Modal Logic" Bartek Klin "Ultrafilter Extensions for Coalgebras" Clemens Kupke, Alexander Kurz, Dirk Pattinson "Complete axioms for stateless connectors" Ivan Lanese, Roberto Bruni, Ugo Montanari "Equational Logic of Recursive Program Schemes" John G Mersch "Strong Splitting Bisimulation Equivalence" Kees Middelburg, Jan Bergstra "The Category Theoretic Solution of Recursive Program Schemes" Stefan Milius, Lawrence S. Moss "A categorical approach to simulations" Miguel Palomino, Jose Meseguer, Narciso Marti-Oliet "Behavioral Extensions of Institutions" Andrei Popescu, Grigore Rosu "Discrete Lawvere Theories" John Power "Final Semantics for Event-Pattern Reactive Programs" Cesar Sanchez, Henny B. Sipma, Matteo Slanina, Zohar Manna "Parametrized Exceptions" Lutz Schr=F6der, Dennis Walter, Till Mossakowski "Complete Symbolic Reachability Analysis Using Back-and-Forth Narrowing" Prasanna Thati, Jose Meseguer "Modelling Fusion Calculus Using HD-automata" Emilio Tuosto, Gianluigi Ferrari, Ugo Montanari, Bjorn Victor, Kidane Yeman= e "Final Sequences and Final Coalgebras for Measurable Spaces" Ignacio Viglizzo "Bireachability and final multialgebras" Michal Walicki "Property Preserving Redesign of Specifications" Artur Zawlocki, Grzegorz Marczynski, Piotr Kosiuczenko --=20 ------------------------------------------------------------------- Markus Roggenbach Phone +44-1792-51-3578 Dept. of Computer Science Fax +44-1792-295708 University of Wales Swansea M.Roggenbach(a)Swan.ac.uk Singleton Park http://www.cs.swan.ac.uk/~csmarkus Swansea SA2 8PP, United Kingdom -------------------------------------------------------------------- 24-Jul-2005 17:01:30 -0300,4009;000000000001-00000009

1 0

LICS 2006 Call for Workshops
by Kreutzer + Schweikardt 19 Jul '05

19 Jul '05

Dear Members of the LICS Community. As many of you know, LICS 2006 is being held in conjunction with the FLoC'06 Federated Logic Conference in Seattle in August 12-15, 2006. Because of the large number of simultaneous events, it is important that we have any workshop proposals by JULY 31, 2005 (We will also consider interesting preliminary proposals at that time, with a final proposal due a couple of weeks after, but the more complete your proposal, the better the chances of being accepted for LICS/FLOC). The potential Workshop Dates for LICS are 2 days before, and 2 days after LICS: August 10-11 and August 15-16, 2006. The "middle time" August 15-16 is intermediate between the first group of conferences: LICS,RTA, and SAT and the second group CAV, ICLP, and IJCAR, so if there are workshops that you think might interest more than one group, please let us know in the proposal. I enclose the LICS 2006 Call for Workshops below. Please note that Workshop proposals (or enquiries) should be submitted to: Phil Scott Workshops Chair, LICS 2006 phil at site.uottawa.ca with a cc of any submitted proposals to the overall FLOC workshop chair: Gopal Gupta (FLoC'06 Workshop Chair) gupta at utdallas.edu For more information on FLOC '06 see: http://research.microsoft.com/floc06/ ------------------ LICS 2006 Workshop Announcement ----------- Researchers and practitioners are invited to submit proposals for workshops on topics relating logic - broadly construed - to computer science or related fields. Typically, LICS workshops feature a number of invited speakers and a smaller number of contributed presentations. LICS workshops do not produce formal proceedings. However, in the past there have been special issues of journals based in part on certain LICS workshops. Proposals should include: * A short scientific summary and justification of the proposed topic. This should include a discussion of the particular benefits of the topic to the LICS community. * A discussion of the proposed format and agenda and the proposed duration, which may vary from half a day to two days,and preferred dates. * Procedures for selecting participants and papers. * Expected number of participants. * Potential invited speakers. * Plans for dissemination (for example, special issues of journals). * Please note that it is expected that LICS workshop organizers should be present to run their workshops. It is also assumed that normally workshop organizers (though not necessarily participants) will register for the LICS conference. Full proposals are due July 31, 2005 and will be considered by a joint FLOC workshop committee (we will also accept interesting preliminary proposals with a final formal proposal due a couple of weeks later; however early complete formal proposals enhance the chances of FLOC acceptance.) Proposals and/or enquiries should be submitted electronically to: Philip Scott Workshops Chair, LICS 2006 Email: phil at site.uottawa.ca with a cc of any proposal to the overall FLOC workshop chair: Gopal Gupta (FLoC'06 Workshop Chair) gupta at utdallas.edu For more information on FLOC '06 see: http://research.microsoft.com/floc06/ 27-Jul-2005 10:10:48 -0300,1207;000000000001-0000000b

1 0

Announcement of paper on differential categories
by Robert Seely 15 Jul '05

15 Jul '05

Differential categories by R.F. Blute, J.R.B. Cockett and R.A.G. Seely This paper is available at http://www.math.mcgill.ca/rags/difftl/difftl.ps.gz Abstract Following work of Ehrhard and Regnier, we introduce the notion of a differential category: an additive symmetric monoidal category with a comonad (a "coalgebra modality") and a differential combinator, satisfying a number of coherence conditions. In such a category, one should imagine the morphisms in the base category as being linear maps and the morphisms in the coKleisli category as being smooth (infinitely differentiable). Although such categories do not necessarily arise from models of linear logic, one should think of this as replacing the usual dichotomy of linear vs. stable maps established for coherence spaces. After establishing the basic axioms, we give a number of examples. The most important example arises from a general construction, a comonad on the category of vector spaces. This comonad and associated differential operators fully capture the usual notion of derivatives of smooth maps. Finally, we derive additional properties of differential categories in certain special cases, especially when the differential comonad is a storage modality, as in linear logic. In particular, we introduce the notion of categorical model of the differential calculus, and show that it captures the not-necessarily-closed fragment of Ehrhard-Regnier differential lambda-calculus. It is important to note that differential categories in our sense are strictly more general than the Ehrhard-Regnier structures. For example, by developing them without monoidal closed structure, we capture various "standard models" of differentiation which do not have these properties (principly our examples over vector spaces). Type theorists should notice that although the emphasis of the paper is on the categorical semantics, the category theory is presented in a way that makes the underlying type theory very transparent; the analogy with linear logic is naturally striking, as it provides one of the intuitions, although our models are not necessarily models of linear logic. -- <rags(a)math.mcgill.ca> <www.math.mcgill.ca/rags> 24-Jul-2005 17:01:30 -0300,6237;000000000000-00000008

1 0

list interruption
by Bob Rosebrugh 15 Jul '05

15 Jul '05

The categories moderator will be out of email contact July 16-24, 2004. Postings submitted to Categories during that period will be distributed July 25. Best wishes, Bob Rosebrugh 17-Jul-2005 10:59:47 -0300,2947;000000000001-00000007

1 0