November 2003 - Categories - categories.org.au

Preprint: Equilogical spaces, homology and noncommutative geometry
by Marco Grandis 27 Nov '03

27 Nov '03

The following preprint is available (in pdf and ps): Marco Grandis Equilogical spaces, homology and noncommutative geometry Dip. Mat. Univ. Genova, Preprint 491 (2003), 24 p. Abstract. After introducing singular homology for D. Scott's equilogical spaces, we show how these structures can express 'formal quotients' of topological spaces, which do not exist as ordinary spaces and are related with well-known noncommutative C*-algebras. This study also uses a wider notion of local maps between equilogical spaces, which might be of interest for the general theory of the latter. MSC: 18B30, 54A05, 55U10, 55Nxx, 46L80. Keywords: Equilogical spaces, cubical sets, singular homology, noncommutative C*-algebras. http://www.dima.unige.it/~grandis/Eql.pdf http://www.dima.unige.it/~grandis/Eql.ps Marco Grandis Dipartimento di Matematica Universita` di Genova Via Dodecaneso 35 16146-Genova, Italy e-mail: grandis(a)dima.unige.it home page: http://www.dima.unige.it/~grandis/

1 0

CMCS'04: 2nd call for papers
by Jiri Adamek 25 Nov '03

25 Nov '03

+ + + CMCS 2004 + + + SECOND ANNOUNCEMENT + + + CALL FOR PAPERS + + +++++++++++++++++ SUBMISSION DEADLINE: JANUARY 1, 2004 ++++++++++++++++ Excuse multiple copies +----------------------------------------------------------+ | | | | | 7th International Workshop on | | Coalgebraic Methods in Computer Science | | | | C M C S 2004 | | | | | | Barcelona, March 27-29, 2004 | | http://www.iti.cs.tu-bs.de/~cmcs/ | | | +----------------------------------------------------------+ The workshop is held in conjunction with ETAPS 2004 (7th European Joint Conferences on Theory Theory and Practice of Software, March 27- April 4,2004) http://www.lsi.upc.es/etaps04/ AIMS AND SCOPE During the last few years, it is becoming increasingly clear that a great variety of state-based dynamical systems, like transition systems, automata, process calculi and class-based systems can be captured uniformly as coalgebras. Coalgebra is developing into a field of its own interest presenting a deep mathematical foundation, a growing field of applications and interactions with various other fields such as reactive and interactive system theory, object oriented and concurrent programming, formal system specification, modal logic, dynamical systems, control systems, category theory, algebra, analysis, etc. The aim of the workshop is to bring together researchers with a common interest in the theory of coalgebras and its applications. The topics of the workshop include, but are not limited to: - the theory of coalgebras (including set theoretic and categorical approaches); - coalgebras as computational and semantical models (for programming languages, dynamical systems, etc.); - coalgebras in (functional, object-oriented, concurrent) programming; - coalgebras and data types; - (coinductive) definition and proof principles for coalgebras (with bisimulations or invariants); - coalgebras and algebras; - coalgebraic specification and verification; - coalgebras and (modal) logic; - coalgebra and control theory (notably of discrete event and hybrid systems). The workshop will provide an opportunity to present recent and ongoing work, to meet colleagues, and to discuss new ideas and future trends. Previous workshops of the same series have been organized in Lisbon, Amsterdam, Berlin, Genova, Grenoble, and Warsaw. The proceedings appeared as "Electronic Notes in Theoretical Computer Science (ENTCS)", Volumes 11, 19, 33, 41, 65.1 and 82.1. Selected papers have been/are being published in Theoretical Computer Science, Theoretical Informatics and Applications, and Mathematical Structures in Computer Science. You can get an idea of the types of papers presented at previous meetings by looking at the tables of content of the above ENTCS volumes from these meetings. They are available via the ENTCS page http://www.elsevier.nl/gej-ng/31/29/23/show/Products/notes/contents.htt PROGRAM COMMITTEE Jiri Adamek, chair (Braunschweig), Corina Cirstea (Southampton), H. Peter Gumm (Marburg), Alexander Kurz (Leicester), Ugo Montanari (Pisa), Larry Moss (Bloomington, IN), Ataru T. Nakagawa (Tokyo), Dirk Pattinson (Muenchen) Grigore Rosu (Urbana, ILL), Jan Rutten (Amsterdam), James Worrell (New Orleans). LOCATION CMCS 2004 will be held in Barcelona on March 27-29, 2004. It is a satellite workshop of ETAPS 20034, the European Joint Conferences on Theory and Practice of Software. For venue, registration and suggested accommodation see the ETAPS 2004 Web page: http://www.lsi.upc.es/etaps04/ INVITED SEPAKERS Prakash Panangaden (McGill University, Montreal) Alex Simpson (University of Edinburgh) SUBMISSIONS Submissions will be evaluated by the Program Committee for inclusion in the proceedings, which will be published in the ENTCS series. Papers must contain original contribution, be clearly written, and include appropriate reference to and comparison with related work. Papers (of at most 15 pages) should be submitted electronically as PostScript files at the address J.Adamek(a)tu-bs.de. A separate message should also be sent, with a text-only one-page abstract and with mailing addresses (both postal and electronic), telephone number and fax number of the corresponding author. IMPORTANT DATES Deadline for submission: January 1, 2004 Notification of acceptance: February 1, 2004 Final version due: February 16, 2004 Workshop dates: March 27-29, 2004 For more information, please contact: Jiri Adamek, Technical University of Braunschweig phone: (0049) 5319521 fax: (0049) 5319529 e-mail: J.Adamek(a)tu-bs.de + + + CMCS '04 + + + SECOND ANNOUNCEMENT + + + CALL FOR PAPERS + +

1 0

SPIN 2004 - Call for contributions - Deadline 2003/12/06
by etaps02 VERIMAG 24 Nov '03

24 Nov '03

SPIN 2004 11th International SPIN Workshop on Model Checking of Software April 1-3, 2004, Barcelona, Spain Associated with ETAPS 2004 CALL for PAPERS ************************************************************************* ******** Submission Deadline: Abstracts December 6, 2003 ******* ******** Full versions December 14, 2003 **** ************************************************************************* ------------------------------------------------------------------------- Solicited Contributions: Technical Papers, Tutorials, Tool Demonstrations ------------------------------------------------------------------------- Complete Call for Papers (up-to-date information and deadlines): http://www-verimag.imag.fr/SPIN-2004/ Paper Submission Web Site: http://sttt.cs.uni-dortmund.de/spin04/servlet/Conference ------------------------------------------------------------------------- Preliminary list of invited speakers (ETAPS): Robin Milner (Cambridge, GB), Mary Lou Soffa (Pittsburgh, USA) Antti Valmari (Tampere, Finland) ------------------------------------------------------------------------- Themes: The SPIN workshop is a forum for practitioners and researchers interested in model checking based techniques for the validation and analysis of communication protocols and software systems. Techniques based on explicit representations of state spaces, as implemented in the SPIN model checker or other tools, or techniques based on combination of explicit representations with symbolic representations, is the focus of this workshop.It has proven to be particularly suitable to analyze concurrent asynchronous systems. The workshop will focus on topics including theoretical and algorithmic foundations and tools, model derivation from code and code derivation from models, techniques for dealing with large and infinite state spaces, timing and applications. The workshop aims to encourage interactions and exchanges of ideas with all related areas in software engineering. ------------------------------------------------------------------------- Solicited Contributions: SPIN 2004 solicits previously unpublished, currently unsubmitted, original contributions addressing theoretical, experimental and applied problems in model checking of software artifacts. Particular topics include: - model checking based tools, tool extensions and comparative studies - theoretical & algorithmic foundations of model checking based analysis - combination of model-checking techniques with other analysis techniques - model checking of programming languages and code analysis - techniques for analyzing and testing large and infinite state systems - model checking in the system life-cycle - innovative applications of model checking, including * model checking of object-oriented and component based systems * model checking of security systems * model checking of real-time systems - engineering of model checking tools and platforms - convincing case study which apply model-checking to real sw systems ------------------------------------------------------------------------- We solicit submissions of three categories: Full papers: submissions are limited to 18 pages Tool presentations: SPIN 2004 solicits proposals for the demonstration of tools pertinent to the technical objective of this workshop. Submissions are limited to 5 pages. The title should clearly indicate that this is a tool demonstration summary. Longer tool related contributions should be submitted as technical papers. Tutorials: SPIN 2004 solicits proposals for introductory, advanced and industrial application tutorials on all topics pertinent to the technical objective of this workshop. Tutorial proposals should detail intended contents, audience and presentation length. A 1-page abstract of tutorials can be included in the proceedings. All submissions should adhere to Springer Verlag's LNCS format, preferably using LaTeX. The format of the submissions should be either pdf or postscript. ------------------------------------------------------------------------- Programme Committee: ------------------- Bernard Boigelot (Li=E8ge, B) Dragan Bosnacki (Eindhoven, NL) David Dill (Stanford, USA) Javier Esparza (Stuttgart, D) Patrice Godefroid (Bell Labs, USA) Susanne Graf (Verimag, F, chair) John Hatcliff (Kansas State, USA), Gerard Holzmann (Bell Labs, USA), Stefan Leue (Freiburg, D) Pedro Merino (M=E1laga, E) Laurent Mounier (Verimag, F) Mooly Sagiv (Tel-Aviv, Il) Scott Stoller (Stony Brook, USA) Antti Valmari (Tampere, Finnland) ------------------------------------------------------------------------- ----------- you received this e-mail via the individual or collective address categories(a)mta.ca to unsubscribe from ETAPS list: contact spin04(a)imag.fr -----------

1 0

Returned mail: see transcript for details
by Mail Delivery Subsystem 23 Nov '03

23 Nov '03

The original message was received at Fri, 21 Nov 2003 16:31:08 -0500 from sammy.science.uottawa.ca [137.122.43.76] ----- The following addresses had permanent fatal errors ----- <iti(a)castor.mathstat.uottawa.ca> ----- Transcript of session follows ----- <iti(a)castor.mathstat.uottawa.ca>... Deferred: Connection timed out with castor.mathstat.uottawa.ca. Message could not be delivered for 1 day Message will be deleted from queue

1 0

Graduate student positions, Ottawa
by Peter Selinger 20 Nov '03

20 Nov '03

Dear colleagues, we're seeking applications for graduate students at the University of Ottawa (see ad below). If you know any bright students who might be interested, please encourage them to apply! Thanks, -- Peter * Graduate Student Positions in Logic, Category Theory, and Foundations of Computation, University of Ottawa, Canada The Logic Group in the Department of Mathematics and Statistics at the University of Ottawa is seeking applications from prospective graduate students for the M.Sc. and Ph.D. program, beginning in September 2004. Graduate students will be part of the activities of the Logic and Foundations of Computation Group. This group includes faculty and students from several different Ottawa-area universities. In the Math Department, the Logic Group currently includes 4 faculty members (R. Blute, A. Felty, P. Scott, P. Selinger), 3 postdocs (V. Capretta, P. Hofstra, M. Weber), and 9 graduate students. For more information about our team, see http://www.mathstat.uottawa.ca/lfc/ Members of our logic group work in the following areas: category theory, type theory, linear logic, quantum programming languages, semantics of computation, lambda calculus, proof theory, proof carrying code, theorem proving, monoidal categories in physics and computing, probabilistic concurrent systems, realizability toposes and constructive mathematics, higher-dimensional categories. Ph.D. students receive funding which covers academic fees and living expenses. The funding available for M.Sc. students varies. For further information about our graduate program and how to apply, please see http://www.mathstat.uottawa.ca/grad/. The deadline for applications for international students is January 15. Philip Scott (phil(a)site.uottawa.ca) Richard Blute (rblute(a)mathstat.uottawa.ca) Amy Felty (afelty(a)site.uottawa.ca) Peter Selinger (selinger(a)mathstat.uottawa.ca)

2 1

WRLA 2004 - Last call for papers (EXTENDED DEADLINE)
by alberto＠sip.ucm.es 19 Nov '03

19 Nov '03

[[ -- Apologies for multiple copies of this message -- ]] +----------------------------------------------------------+ | | | 5th International Workshop on | | Rewriting Logic and its Applications | | | | W R L A 2004 | | | | Barcelona, Spain, March 27-28, 2004 | | | | http://www.fdi.ucm.es/wrla2004 | +----------------------------------------------------------+ The workshop will be held in conjunction with ETAPS 2004 7th European Joint Conferences on Theory and Practice of Software March 27 - April 4, 2004 http://www.lsi.upc.es/etaps04 IMPORTANT DATES December 1, 2003 Deadline for submission (EXTENDED!) January 15, 2004 Notification of acceptance February 18, 2004 Final version in electronic form March 27-28, 2004 Workshop in Barcelona AIMS AND SCOPE Rewriting logic (RL) is a natural model of computation and an expressive semantic framework for concurrency, parallelism, communication and interaction. It can be used for specifying a wide range of systems and languages in various application fields. It also has good properties as a metalogical framework for representing logics. In recent years, several languages based on RL (ASF+SDF, CafeOBJ, ELAN, Maude) have been designed and implemented. The aim of the workshop is to bring together researchers with a common interest in RL and its applications, and to give them the opportunity to present their recent works, discuss future research directions, and exchange ideas. The topics of the workshop comprise, but are not limited to, * foundations and models of RL; * languages based on RL, including implementation issues; * RL as a logical framework; * RL as a semantic framework, including applications of RL to - object-oriented systems, - concurrent and/or parallel systems, - interactive, distributed, open ended and mobile systems, - specification of languages and systems; * extensions of RL, including - real-time and probabilistic extensions, - tile logic, - rewriting approaches to behavioral specifications; * verification techniques for RL specifications, including - equational and coherence methods, and - verification of properties expressed in modal and temporal logics; * comparisons of RL with existing formalisms having analogous aims, including - rho-calculus, - structural operational semantics, - concurrency calculi, - dynamic algebras. PAST EVENTS Previous WRLA workshops have been organized in - Asilomar, California, September 3-6, 1996, - Pont-a-Mousson, France, September 1-4, 1998, - Kanazawa, Japan, September 18-20, 2000, - Pisa, Italy, September 19-21, 2002. The proceedings of the WRLA workshops have been published as volumes 4, 15, 36, and 71 in the Elsevier ENTCS series, available at http://www.elsevier.nl/locate/entcs Selected papers from WRLA'96 have been published in a special issue of Theoretical Computer Science, Volume 285(2), 2002. LOCATION WRLA 2004 will be held in Barcelona, Spain in March 27-28, 2004. It is a satellite workshop of ETAPS 2004, the European Joint Conferences on Theory and Practice of Software. For venue, registration and suggested accommodation see the ETAPS 2004 web page http://www.lsi.upc.es/etaps04 For information about Barcelona, see among others the city web page http://www.bcn.es/english/ihome.htm PROGRAM COMMITTEE David Basin ETH Zurich Manuel Clavel Universidad Complutense de Madrid Steven Eker SRI International, Menlo Park Kokichi Futatsugi JAIST, Tatsunokuchi Fabio Gadducci Universita di Pisa Alexander Knapp LMU, Muenchen Claude Kirchner INRIA Lorraine & LORIA, Nancy Salvador Lucas Universidad Politecnica de Valencia Narciso Marti-Oliet Universidad Complutense de Madrid (Chair) Jose Meseguer University of Illinois at Urbana-Champaign Ugo Montanari Universita di Pisa Pierre-Etienne Moreau INRIA Lorraine & LORIA, Nancy Grigore Rosu University of Illinois at Urbana-Champaign Carolyn Talcott SRI International, Menlo Park SUBMISSIONS Submissions will be evaluated by the Program Committee for inclusion in the proceedings, which will be available at the time of the workshop and are expected to be published in the Elsevier ENTCS series. Papers must contain original contributions, be clearly written, and include appropriate reference to and comparison with related work. They must be unpublished and not submitted simultaneously for publication elsewhere. Papers (of at most 15 pages) should be submitted electronically, preferably as PDF files, to the workshop email address wrla2004(a)sip.ucm.es providing also a text-only abstract, and detailed contact information of the corresponding author. The final program of the workshop will also include system demonstrations and two invited presentations by Gilles Dowek Ecole Polytechnique & INRIA, Palaiseau Mario Rodriguez-Artalejo Universidad Complutense de Madrid Based on the quality and interest of the accepted papers, the program committee will study the possibility of preparing a special issue of a scientific journal in the field. ORGANIZING COMMITTEE Narciso Marti-Oliet, Manuel Clavel, and Alberto Verdejo Departamento de Sistemas Informaticos y Programacion Universidad Complutense de Madrid, Spain CONTACT INFORMATION For more information, please contact the organizers wrla2004(a)sip.ucm.es or visit the workshop web page http://www.fdi.ucm.es/wrla2004 IMPORTANT DATES December 1, 2003 Deadline for submission (EXTENDED!) January 15, 2004 Notification of acceptance February 18, 2004 Final version in electronic form March 27-28, 2004 Workshop in Barcelona + + + + + WRLA'04 + + + + + LAST CALL FOR PAPERS + + + + + WRLA'04 + + + + +

1 0

many object version of promonoidal category?
by Stefan Forcey 19 Nov '03

19 Nov '03

Hello, In the following reference [1] B.J. Day, On closed categories of functors, Lecture Notes in Math 137 (Springer, 1970) 1-38 are defined promonoidal, or monoidal enriched categories. It seems that there should be some well known many object version of this, in the sense that a bicategory is the many object version of a monoidal category. Does anyone know a definition or, even better, a reference? A much later related definition is in the appendix of [2] V. Lyubashenko, Category of $A_{\infty}$--categories, Homology, Homotopy and Applications 5(1) (2003), 1-48. Here are defined enriched 2-categories. This seems to be the strict case of what I'm looking for, since a promonoidal category is a monoid in the category of enriched categories, or a one-object category enriched over V-Cat. In [2] enriched 2-categories are defined as enriched over V-Cat. Thanks, Stefan Forcey

2 1

Postdoc and PhD positions at CWI, Amsterdam
by Farhad.Arbab＠cwi.nl 13 Nov '03

13 Nov '03

Position Description ==================== The Coordination and Component Based Software group in SEN3 at CWI has two open positions for: (1) a postdoc for a period of four years, and (2) a PhD student (OIO) for four years. Both positions are within the project number 600.065.120.03N02 Compositional Construction of Component Connectors (C-Quattro), recently funded by the NWO (the Dutch government's funding agency for academic scientific research), with F. Arbab (CWI) and J. Rutten (CWI and VUA) as Principal Investigators. The project C-Quattro is in fact a collaboration of SEN3 at CWI with the Section Theoretical Computer Science at the Free University of Amsterdam (VUA). The postdoc will be employed by CWI; the PhD student will be employed by the VUA but will spend part of his or her time at CWI. The main goal of the C-Quattro project is to develop an operational semantics based on a calculus of component connectors, as the foundation for further development of practical tools and programming environments for the actual deployment of Reo. Reo is a recently introduced channel-based coordination model wherein complex coordinators, called connectors, are compositionally built out of simpler ones. Reo is intended as a ``glue language'' for construction of connectors that orchestrate component instances in a component-based system. The emphasis in Reo is on connectors and their composition only, not on the components that are being connected. The activities under C-Quattro involve both system oriented and theoretical work. On the systems side, we develop tools supporting visual connector programming, as well as the automation of equivalence proofs, e.g., for optimization. On the theoretical side, the semantic modeling is based on the coalgebraic methodology, and coinduction, with its potential for automation, will be the main reasoning principle. The candidate for the postdoc position is expected to have a strong background in Software Engineering, maturity in formal methods and their practical applications, familiarity with component-based software, concurrency, and coordination. Teamwork and leadership, as well as the ability to work effectively with academic colleagues and PhD students, are all important qualifications for this position. The candidate for the PhD position should have a master degree in computer science or mathematics, with a clear interest in questions from theoretical computer science. Ideally, the candidate has a background both in mathematical disciplines such as algebra, analysis and discrete mathematics, and in such elements of theoretical computer science as automata theory and semantics. The Theme SEN3 (http://www.cwi.nl/sen3) at CWI is a dynamic group of internationally recognized researchers who work on Coordination Models and Languages and Component-Based Software Composition. The activity in SEN3 is a productive, healthy mix of theoretical, foundational, and experimental work in Computer Science, ranging in a spectrum covering mathematical foundations of models of computation, formal methods and semantics, implementation of advanced research software systems, as well as their real-life applications. General information =================== CWI is an internationally renowned research institute in mathematics and computer science, located in Amsterdam, The Netherlands. The focus is on fundamental research problems, derived from societal needs. Research is carried out in 15 research themes. More information about these themes can be found on the website www.cwi.nl where you can also take a look at our Annual Report. A substantial part of this research is carried out in the framework of national or international programs. CWI maintains excellent relations with industry and the academic world, at home as well as abroad. After their research careers at CWI, an increasing number of young staff members find employment in these sectors, for example in spin-off companies that are based on research results from CWI. Of course, library and computing facilities are first-rate. CWI's non-scientific services to its personnel include career planning, training & courses, assistance in finding housing, and tailor-made solutions to problems that may occasionally arise. Terms of employment =================== The salary is in accordance with the "CAO-onderzoekinstellingen" and is commensurate with experience. For instance, the postdoc base salary for a fresh PhD with no additional experience in scale 10 is around 2800 Euros/month, and for an experienced PhD in scale 12 it is around 4500 Euros/month. The current starting salary for a first year PhD student is around 1500 Euros/month with an incremental raise for each subsequent year. (Note: a considerable increase in the salaries of all PhD students is currently under negotiation). Besides the salary, CWI offers very attractive and flexible terms of employment, like a collective health insurance, pension-fund, etc. Application =========== For more information on these vacancies you can contact either of the PIs: F. Arbab, telephone +31-20-5924056, e-mail Farhad.Arbab(a)cwi.nl J. Rutten, telephone +31-20-592-4116, email Jan.Rutten(a)cwi.nl Official applications, together with curriculum vitae, letters of references, and lists of publications must be sent to Mrs. J. Koster, head of Personnel Department, P.O. box 94079, 1090 GB Amsterdam, The Netherlands.

1 0

Book announcement
by Walter Tholen 08 Nov '03

08 Nov '03

The following book has just appeared with Cambridge University Press: Maria Cristina Pedicchio, Walter Tholen (editors): Categorical Foundations Special Topics in Order, Topology, Algebra, and Sheaf Theory The Publisher's information blurb is at http://us.cambridge.org/titles/catalogue.asp?isbn=0521834147 The book grew out of an exchange and cooperation project ("Atlantis") between two consortia of universities in Canada and Europe. It has eight independently readable chapters, as follows: 1 Ordered Sets via Adjunction (R. J. Wood) 2 Locales (J. Picado, A. Pultr, A. Tozzi) 3 A Functional Approach to General Topology (M. M. Clementino, E. Giuli, W. Tholen) 4 Regular, Protomodular, and Abelian Categories (D. Bourn, M. Gran) 5 Aspects of Monads (J. MacDonald, M. Sobral) 6 Algebraic Categories (M.C. Pedicchio, F. Rovatti) 7 Sheaf Theory (C. Centazzo, E. M. Vitale) 8 Beyond Barr Exactness: Effective Descent Morphisms (G. Janelidze, M. Sobral, W. Tholen)

1 0

"Algebraic Topological Methods in Computer Science, II"
by Rick Jardine 05 Nov '03

05 Nov '03

Conference Announcement: Algebraic Topological Methods in Computer Science, II Department of Mathematics University of Western Ontario London, Ontario, Canada July 16-20, 2004 This is the second installment of a conference series; the first was held at Stanford University in the summer of 2001. The main areas to be covered by this conference include computational geometry and topology, networks and concurrency theory. The meeting will consist of twenty invited lectures, with additional sessions for shorter lectures. The following mathematical scientists have been invited to speak: Saugata Basu (Georgia Tech) Marshall Bern (Xerox PARC) Herbert Edelsbrunner (CS, Duke) Robin Forman (Rice) Eric Goubault (Commissariat a l'Energie Atomique, France) Joel Hass (Math, UC Davis) Maurice Herlihy (CS, Brown) Kathryn Hess (Lausanne) Michael Joswig (Berlin) Reinhard Laubenbacher (Virginia Bioinformatics Institute) Martin Raussen (Aalborg) Vin de Silva (Stanford) Michael Stillman (Cornell) This conference has been funded by grants from the National Science Foundation and the Fields Institute. All conference announcements and information will be available at the web page http://www.math.uwo.ca/~jardine/at-csII.html. The organizers for this meeting are: Gunnar Carlsson, gunnar(a)math.stanford.edu Rick Jardine, jardine(a)uwo.ca

1 0