May 2005 - Categories - categories.org.au

Philosopia Mathematica on categories
by Michael Barr 31 May '05

31 May '05

You might want to circulate this on the list. Mike ---------- Forwarded message ----------

2 3

Jobs in formal foundations available at UCD
by Simon Dobson 31 May '05

31 May '05

(Some of the following posts may be of interest to categories readers -- Simon.) Systems Research Group School of Computer Science and Informatics University College, Belfield, Dublin 4, Ireland. http://www.cs.ucd.ie/ Systems Research ================ Autonomic and pervasive computing encompasses tools and techniques for building highly responsive and self-adaptive systems that are used in areas as diverse as consumer applications, smart buildings, gaming, healthcare, and environmental monitoring. This cutting-edge research domain provides a unique opportunity to work with a combination of state-of-the-art software systems, reasoning systems, user interfaces, content management, embedded sensors and communications systems, in close collaboration with users and researchers in other disciplines. We are seeking well-qualified, motivated candidates who want to be part of the foundation of a world-class research group in systems and software technology. The group has secured over EUR3.5m in funding from a variety of sources in the area of pervasive computing, systems, semantics and software tools. Positions ========= We currently have openings for 10 PhD students and two post-doctoral researchers. PhD candidates should have an interest in one or more of the following areas: * Pervasive computing * Scalability and resource discovery * Trust management and maintenance * Proof theory and theorem provers * Software verification and proof-carrying code * Software development and support environments * Semantics and adaptive systems * Visualisation and novel user interfaces * Novel programming languages * Self-managing systems * Design and evaluation of pervasive computing systems Post-doctoral candidates should have an established research record to PhD or above in one or more of: * Proof theory and theorem proving * Software verification and proof-carrying code * Software development and support environments * Trust management and maintenance * Human factors and adaptive interfaces * Relational information and software visualisation Our ideal candidate will be able to demonstrate an ability to both undertake basic research and be able to build high-quality prototype systems to demonstrate their research, as well as making a strong contribution to the group's publication activities. PhD candidates should have achieved (or expect to achieve) at least a 2.1 BSc or equivalent in Computer Science, Computer Engineering, Mathematics, or a closely related discipline, and have a keen interest in research. Staff will be supervised by one or more of the group's academic staff. Applicants should return a completed application form with referee reports and CV to Dr Simon Dobson at the address above. Informal inquiries prior a full application are welcomed and may be made to any of the staff below. Application form: http://www.cs.ucd.ie/forms/UCD-CS-PGrad- Application.pdf Referee form: http://www.cs.ucd.ie/forms/UCD-CS-PGrad-Referee.pdf SRG academic staff ================== Professor Paddy Nixon (paddy.nixon(a)ucd.ie) holds the chair of Distributed Systems in UCD and has edited 6 books and over 100 refereed publications in the areas of pervasive computing, distributed systems, software engineering, parallel processing, and object orientation. Dr Joe Kiniry (joseph.kiniry(a)ucd.ie) is a Lecturer in Computer Science in UCD. His primary research focuses on software engineering with applied formal methods. He has published extensively, has founded a number of companies, and is very active in the Free/Open Source community. Dr Aaron Quigley (aaron.quigley(a)ucd.ie) is a Lecturer in Computer Science in UCD and has over 30 refereed publications in the areas of pervasive computing, visualisation and software engineering. He is on the Editorial Board of Journal of Pervasive Computing and Communications. Dr Simon Dobson (simon.dobson(a)ucd.ie) is a Lecturer in Computer Science in UCD. He is co-chair of the Autonomic Communications Forum working group on network semantics and has published broadly on context-aware and adaptive systems, programming languages and distributed systems. Computer Science at UCD ======================= The Computer Science Department at UCD is one of the largest and longest established departments in the country. It is the top-ranking Computer Science research department in all of Ireland (SFI/Forfas Baseline Study). Computer Science at UCD is noted as having a very strong impact internationally in its research. This research excellence is further reflected in the large number of prestigious Science Foundation Ireland (SFI) funded projects won by members of the Department. The department currently occupies just over three buildings and has over half a dozen laboratories for students equipped with the latest computers and software. Since 1999 it has received over EUR15m research funding (Science Foundation Ireland, European Union, Enterprise Ireland, US Office of Naval Research, Ericsson, IBM, Xilinx, and others) and published over 650 peer-reviewed publications since. It has established academic partnerships with Stanford, Princeton, Berkeley, Columbia, Georgia Tech., Cambridge, EPFL, Bologna, Fudan (China) and Sydney, and industrial partnerships with Philips, Agilent, Infineon, Siemens, Analog Devices, Iona, Microsoft, Intel, Ericsson, IBM, Apple, Smart Internet CRC and Mitsubishi.

1 0

Re: Visit
by Grace Orzech 30 May '05

30 May '05

By the way, are you aware that the latest issue of Philosophia Mathematica is devoted to articles about Category Theory? 31-May-2005 13:41:34 -0300,6268;000000000000-00000012

1 0

Workshop announcement for Categories List
by Jonathan Scott 27 May '05

27 May '05

You are cordially invited to participate in the Alpine Operad Workshop, to be held at the Swiss ski resort of Villars-sur-Ollon, from March 6 through March 9, 2006. The workshop will consist of 15 lectures on recent research in operad theory, with plenty of time for informal mathematical discussion and skiing. Confirmed speaker thus far are: Clemens Berger (Nice) Michael Ching (MIT) Beno=EEt Fresse (Lille) Muriel Livernet (Paris XIII) Martin Markl (Prague) Peter May (Chicago) Ieke Moerdijk (Utrecht) Dev Sinha (Oregon) Jeff Smith (Purdue) For futher information and to register for the workshop, please visit the workshop web page at http://www.mathstat.uottawa.ca/~ppare779/AlpOperadW.htm . Since the number of places available is limited to 40, we encourage you to register as soon as possible, if you are interested. Kathryn Hess Paul-Eug=E8ne Parent Jonathan Scott 31-May-2005 13:41:34 -0300,1005;000000000000-00000011

1 0

About Prof. Mac Lane's Ph.D. Thesis
by Hiroyuki Miyoshi 26 May '05

26 May '05

> Dear all, > > I have just finished translating S. Mac Lane's "Categories for the > Working Mathematician" in Japanese and it will be published in > June or > July. However, my publisher (Springer-Verlag Tokyo) ask me to explain > the title and short summary of his PhD thesis "Abbreviated Proofs in > the Logical Calculus" in Japanese for his biographical note within a > week. It is very old and I don't have enough time to explore it. Does > anyone know information about it? > > Best regards, > > ---- > Hiroyuki Miyoshi > Professor of Computer Science, Ph.D. > Department of Computer Science, Kyoto Sangyo University > Kyoto 603-8555, Japan > +81-75-705-1463 (tel), +81-75-705-1640 (fax) > hxm(a)cc.kyoto-su.ac.jp > > > 18-May-2005 16:59:34 -0300,925;000000000000-0000000b

3 4

Octoberfest announcement
by Richard Blute 23 May '05

23 May '05

Preliminary Announcement-Octoberfest '05 ======================================== The "not-quite-annual" Octoberfest has been a great tradition among category theorists for several decades now. This weekend conference has always been held at McGill University, but this year is moving down the highway to the University of Ottawa. It will be hosted by the Logic and Foundations of Computing group (LFC). See our website at www.mathstat.uottawa.ca/lfc. The conference will be held on the weekend of October 22nd-23rd. As always, we will be inviting talks from the participants. We will also be having a special lecture from Rick Jardine (Western). Rick will also be giving a special Distinguished CRM lecture to the Ottawa-Carleton Mathematics Institute, at 3:30 Friday afternoon, October 21, and early arriving Octoberfest participants are cordially invited to attend There will be subsequent announcements closer to the time of the conference containing lodging information and so on. We look forward to seeing you there, Rick Blute & Phil Scott -- 27-May-2005 12:21:49 -0300,1647;000000000000-0000000f

1 0

PhD Position
by N Ghani 23 May '05

23 May '05

Please pass on to interested students. Apologies for multiple copies. --------------------------------------------------------------------- PhD Position School of Computer Science and Information Technology University of Nottingham United Kingdom Applications are invited for a PhD position on the recently funded EPSRC project "Theory and Applications of Containers" whose aim is to advance our ability to compute efficiently and correctly with advanced data structures using our recently developed theory of containers. You will join an expanding research group working on these ideas and will have the freedom to explore either more practical or theoretical aspects of the project. Applicants must have a very good undergraduate degree in Mathematics, Computing Science or in a related subject. Interest in functional programming, type theory and/or category theory are most welcome. Applicants must also have a strong interest in doing research. Any interested applicants should contact Dr Neil Ghani at the following address for further information Dr Neil Ghani ng13(a)mcs.le.ac.uk 23-May-2005 19:32:11 -0300,1791;000000000000-0000000e

1 0

Revised version of "The word problem for computads"
by Michael Makkai 18 May '05

18 May '05

A revised version of the paper, originally announced on April 20 this year, has been placed on my web site (www.math.mcgill.ca/makkai) The major change is an expanded introduction. The paper is in a WinZip file that unzips to 11 POSTSCIPT files. Michael Makkai 18-May-2005 16:59:34 -0300,1476;000000000000-0000000c

1 0

None
by Markus Roggenbach 17 May '05

17 May '05

5 X-Accept-Language: en-us, en MIME-Version: 1.0 To: categories(a)mta.ca Subject: categories: CALCO: 1st call for Participation Content-Type: text/plain; charset=3DISO-8859-1; format=3Dflowed Content-Transfer-Encoding: 8bit Sender: cat-dist(a)mta.ca Precedence: bulk *--------------------------------------------------------------------* * 1st 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 WG1.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 Early registration (till June 15): 160 GBP Normal registration: 180 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 "Normal forms 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 -------------------------------------------------------------------- 18-May-2005 11:30:42 -0300,1351;000000000000-00000009

1 0

Announcement : five new preprints
by Philippe Gaucher 16 May '05

16 May '05

Dear categorists, Here are five new preprints. The fith one is actually an updated version of a "old" thing with an application added. Url : ArXiv and http://www.pps.jussieu.fr/~gaucher/ Sincerely yours. pg. ------------------------------------------------------------------------------------------------------------------ Title: T-homotopy and refinement of observation (I) : Introduction Author: Philippe Gaucher Abstract: This paper is the extended introduction of a serie of papers about modelling T-homotopy by refinement of observation. The notion of T-homotopy equivalence is discussed. A new one is proposed and its behaviour with respect to other construction in dihomotopy theory is explained. ------------------------------------------------------------------------------------------------------------------ Title: T-homotopy and refinement of observation (II) : Adding new T-homotopy equivalences Author: Philippe Gaucher Abstract: It is proved that the old definition of T-homotopy equivalence does not allow the identification of the directed segment with the $3$-dimensional cube. This contredicts a paradigm of dihomotopy theory. A new definition of T-homotopy equivalence is proposed, following the intuition of refinement of observation. And it is proved that up to weak S-homotopy, a old T-homotopy equivalence is a new T-homotopy equivalence. ------------------------------------------------------------------------------------------------------------------ Title: T-homotopy and refinement of observation (III) : Invariance of the branching and merging homologies Author: Philippe Gaucher Abstract: It is proved that the generalized T-homotopy equivalences preserve the branching and merging homology theories of a flow. ------------------------------------------------------------------------------------------------------------------ Title: T-homotopy and refinement of observation (IV) : Invariance of the underlying homotopy type Author: Philippe Gaucher Abstract: It is proved that the generalized T-homotopy equivalences preserve the underlying homotopy type of a flow. ------------------------------------------------------------------------------------------------------------------ Title: T-homotopy and refinement of observation (V) : Strom model structure for branching and merging homologies Author: Philippe Gaucher Abstract: We check that there exists a model structure on the category of flows whose weak equivalences are the S-homotopy equivalences. As an application, we prove that the generalized T-homotopy equivalences preserve the branching and merging homology theories of a flow. The method of proof is completely different from the one of the third part of this series of papers. ------------------------------------------------------------------------------------------------------------------ 16-May-2005 15:02:53 -0300,5422;000000000000-00000007

1 0