October 2003 - Categories - categories.org.au

terminology
by James Stasheff 18 Oct '03

18 Oct '03

In `higher homotopy theory', terminology has not setled down nor is it transparent homotopy ___________ algebra can mean a variety of things letting ______________ = associative it can mean JUST that there is a homtopy for associaitivity or some authors use it to mean A_\infty which I initially tried to indicate by strongly homtopy associative _\infty seems to have caught on to mean the presence of higher homtopies of all orders in most but not all cases, such algebras have a homtopy invariant defintion so I would suggest the following revisionist terminology 1-homotopy associative means JUST that there is a homotopy for associaitivity similarly n-homotopy associative would mean homotopies of homotopies of... homotopy invariant ___ algebra would mean just what it says so far so good but now what about e.g. 1-homotopy associaitve satisfying a STRICT pentagon?? perhaps strict 1-homotopy open to suggestions Jim Stasheff jds(a)math.upenn.edu Home page: www.math.unc.edu/Faculty/jds As of July 1, 2002, I am Professor Emeritus at UNC and I will be visiting U Penn but for hard copy the relevant address is: 146 Woodland Dr Lansdale PA 19446 (215)822-6707

2 1

Final call: Formal Methods for Components and Objects
by M.M. Bonsangue 17 Oct '03

17 Oct '03

(We apologize for the reception of multiple copies) ********************LAST CALL FOR PARTICIPATION ********************** Second International Symposium on Formal Methods for Components and Objects (FMCO 2003) DATES 4 - 7 November 2003 PLACE Lorentz Center, Leiden University, Leiden, The Netherlands REGISTRATION FORM http://fmco.liacs.nl/fmco03.html REGISTRATION FEES 400 euro for regular participants and 275 euro for students FINAL PROGRAM TUESDAY 4th, November 2003 8:45 - 9:00 Welcome 9:00 - 10:00 Keynote: David Parnas (University of Limerick, IE) Mathematical Documentation of Software 10:00 - 10:30 Break 10:30 - 11:15 Razvan Diaconescu (IMAR, RO) Behavioural specification for hierarchical object composition 11:15 - 12:00 Heike Wehrheim (University of Oldenburg, DE) Preserving Properties under Change 12:00 - 13:30 Lunch break 13:30 - 14:30 Keynote: Andrew D. Gordon (Microsoft Research, UK) Formal Tools for Securing Web Services 14:30 - 15:00 Break 15:00 - 15:45 Jeannette Wing (Carnegie Mellon University, USA) Vulnerability Analysis Using Attack Graphs 15:45 - 16:30 Yassine Lakhnech (University of Grenoble, FR) Security protocols, their modes and analysis: a survey 16:30 - 16:45 Break 16:45 - 17:30 Albert Benveniste (IRISA/INRIA - Rennes, FR) Heterogeneous reactive systems formal modeling WEDNESDAY 5th, November 2003 9:00 - 10:00 Keynote: Tony Hoare (Microsoft Research Cambridge, UK) The Verifying Compiler: a Grand Challenge for Computing Research 10:00 - 10:30 Break 10:30 - 11:15 Willem-Paul de Roever (University of Kiel, DE) Data Refinement: model-oriented proof methods and their comparison 11:15 - 12:00 Frank de Boer (CWI, Amsterdam, NL) Hoare Logics for Object-Oriented Programming: State of the Art 12:00 - 13:30 Lunch break 13:30 - 14:15 Jean-Marc Jezequel (IRISA, Rennes, FR) Model-Driven Engineering: Basic Principles and Open Problems 14:15 - 15:00 Jan Friso Groote (Eindhoven University, NL) Visualisation of HUGE state spaces 17:00 - 19:15 Social Event 19:30 - Dinner THURSDAY 6th, November 2003 9:00 - 10:00 Keynote: Yuri Gurevich (Microsoft Research Redmond, USA) The Semantics of AsmL 10:00 - 10:30 Break 10:30 - 11:15 Egon Boerger (Pisa University, IT) Exploiting the "A" in Abstract State Machines for Specification Reuse. A Java/C# Case Study. 11:15 - 12:00 Werner Damm (University of Oldenburg, DE) t.b.a. 12:00 - 13:30 Lunch break 13:30 - 14:30 Keynote: Joseph Sifakis (Verimag, FR) Component-based construction of deadlock-free systems 14:30 - 15:00 Break 15:00 - 15:45 Philippe Schnoebelen (CNRS, Cachan, FR) The Verification of Lossy Channel Systems 15:45 - 16:30 Bengt Jonsson (Uppsala University, SE) t.b.a. 16:30 - 16:45 Break 16:45 - 17:30 Jan Rutten (CWI, Amsterdam, NL) A case study in coinductive stream calculus: signal flow graphs for dummies FRIDAY 7th, November 2003 9:00 - 10:00 Keynote: E. Allen Emerson (University of Texas, USA) Model checking many components 10:00 - 10:30 Break 10:30 - 11:15 Amir Pnueli (The Weizmann Institute of Science, ISR) t.b.a. 11:15 - 12:00 Natalia Sidorova (Eindhoven University, NL) Practical approaches for the verification of asynchronous components: model checking, abstraction and static analysis 12:00 - 13:30 Lunch break 13:30 - 14:30 Keynote: Desmond D'Souza (Kinetium, Austin, USA) Component Architectures - Some meeting points of practice, trend, and theory 14:30 - 15:00 Break 15:00 - 15:45 Jose Luiz Fiadeiro (University of Leicester, UK) CommUnity on the move: architectures for distribution and mobility 15:45 - 16:30 Gregor Engels (University of Paderborn, DE) Consistent interaction of components 16:30 - 17:15 Rob van Ommering (Philips Research Laboratories, NL) Component Based Architectures and Formalization MOBI-J AFFILIATED WORKSHOP On Monday 3rd, November 2003 from 13:30 till 17:00 there will at the Lorentz Center be a half-day Mobi-J workshop on "Assertional Methods for Java and its Extension with Mobile Asynchronous Channels". REGISTRATION Participation is limited to about 80 people, using a first-in first-served policy. To register, please fill in the registration form at http://fmco.liacs.nl/fmco03.html. The registration fee is 400 euro for regular participants and 275 euro for students It includes the participation to the symposium, a copy of the proceedings, all lunches and refreshments, and a social event (with dinner). ORGANIZING COMMITTEE F.S. de Boer (CWI and Utrecht University) M.M. Bonsangue (LIACS-Leiden University) S. Graf (Verimag) W.P. de Roever (CAU) For more information about participation and registration see the FMCO site above or consult either F.S. de Boer (frb(a)cwi.nl) or M.M. Bonsangue (marcello(a)liacs.nl)

1 0

CFP: 17th IEEE Computer Security Foundations Workshop
by Riccardo Focardi 16 Oct '03

16 Oct '03

(Apologies for multiple copies) ----------------------------------------------------------------------- First Call For Papers 17th IEEE Computer Security Foundations Workshop June 28 - 30, 2004 Asilomar, Pacific Grove, CA, USA ----------------------------------------------------------------------- Sponsored by the Technical Committee on Security and Privacy of the IEEE Computer Society This workshop series brings together researchers in computer science to examine foundational issues in computer security. We are interested both in new results in theories of computer security and also in more exploratory presentations that examine open questions and raise fundamental concerns about existing theories. Both papers and panel proposals are welcome. Possible topics include, but are not limited to: Access control Authentication Data and system integrity Database security Network security Distributed systems security Anonymity Intrusion detection Security for mobile computing Security protocols Security models Decidability issues Privacy Executable content Formal methods for security Information flow Language-based security For background information about the workshop, and an html version of this Call for Papers, see http://www.csl.sri.com/csfw/index.html (the CSFW home page). This year the workshop will be held in Pacific Grove, CA, USA. Information about the location and the organization will be soon available on the web page. (http://www.csl.sri.com/csfw/csfw17) The proceedings are published by the IEEE Computer Society Press and will be available at the workshop. Selected papers will be invited for submission to the Journal of Computer Security. Instructions for Participants ----------------------------- Submission is open to anyone. Workshop attendance is limited to about 50 participants. Submitted papers must not substantially overlap papers that have been published or that are simultaneously submitted to a journal or a conference with proceedings. Papers should be at most 20 pages long excluding the bibliography and well-marked appendices (using 11-point font, single column format, and reasonable margins on 8.5"x11" paper), and at most 25 pages total. Alternatively, papers can be submitted using the two-column IEEE Proceedings style available for various document preparation systems at ftp://pubftp.computer.org/Press/Outgoing/proceedings/. Papers in this style should be at most 12 pages long (at most 15 pages including bibliography and appendices). The page limit will be strictly adhered to. Committee members are not required to read the appendices, and so the paper should be intelligible without them. Proposals for panels should be no more than five pages in length and should include possible panelists and an indication of which of those panelists have confirmed participation. Instructions about how to submit a paper will be soon available on the web page (http://www.csl.sri.com/csfw/csfw17) If for any reason you cannot conform to those submission guidelines, please contact the program chair at focardi(a)dsi.unive.it. Papers should be submitted in Postscript or Portable Document Format (PDF). Papers submitted in a proprietary word-processor format such as Microsoft Word cannot be considered. At least one coauthor of each accepted paper is expected to attend CSFW-17. Papers that do not adhere to this policy will be removed from the proceedings. Important Dates --------------- Submission deadline: January 27, 2004 Notification of acceptance: March 12, 2004 Camera-ready papers: April 6, 2004 Program Committee ----------------- Michael Backes, IBM Zurich Research Lab, Switzerland Agostino Cortesi, University of Venice, Italy Pierpaolo Degano, University of Pisa, Italy Riccardo Focardi (chair), University of Venice, Italy Dieter Gollmann, TU Hamburg-Harburg, Germany Andrew Gordon, Microsoft Research, UK Joshua Guttman, The MITRE Corporation, USA Masami Hagiya, University of Tokyo, Japan Chris Hankin, Imperial College London, UK Gavin Lowe, Oxford University, UK Heiko Mantel, ETH Zürich, Switzerland Catherine Meadows, Naval Research Laboratory, USA Jonathan Millen, SRI International, USA John Mitchell, Stanford University, USA Andrew Myers, Cornell University, USA Mike Reiter, Carnegie Mellon University, USA Pierangela Samarati, University of Milan, Italy Andre Scedrov, University of Pennsylvania, USA Andrei Serjantov, University of Cambridge, UK Geoffrey Smith, Florida International University, USA Workshop Location ----------------- The 17th IEEE Computer Security Foundations workshop will be held at the Asilomar Conference Center, located on the beautiful Monterey Peninsula in Pacific Grove California. Asilomar, meaning "refuge by the sea", is a tranquil environment surrounded by forest and white sand beaches. As a member of the California State Park system, it offers 107 extraordinary acres of forests, dunes, and coastline situated on the Monterey Bay National Marine Sanctuary. Founded in 1913 as the western conference center for the Young Women's Christian Association (YWCA), it is the ideal conference setting. Asilomar offers secluded guest rooms with forest or marine views. Rooms are clustered into quaint lodges, some of which feature fireplaces. Sunset walks along the beach and coastal trails are a great way to unwind. On-site recreation includes a heated swimming pool, volleyball and billiard tables. Just minutes away is Pebble Beach, featuring world-class golf courses and scenic 17-Mile Drive. And some of the most breathtaking coastline in the world can be found just 20 minutes to the south toward Big Sur along Hwy 1. Also nearby is the Monterey Bay Aquarium, featuring spectacular, deep-sea and kelp forest exhibits. Monterey Bay hosts a unique deep-sea environment close to shore. There is an underwater canyon over 2km deep at around 15km from shore. Asilomar is 2.3 hours by car from San Francisco International Airport (SFO). There are direct flights between San Francisco and most major European and American cities. The Monterey regional airport (MRY) is 10 minutes by car from Asilomar. There are direct flights to MRY from Los Angeles International Airport (LAX) and SFO about every 2 hours until 10pm. More travel information can be found on the CSFW17 website. Additional Information ---------------------- For further information contact: General Chair George Dinolt Naval Postgraduate School 1 University Circle Monterey, CA 93943-5001, USA gwdinolt(a)nps.navy.mil Program Chair Riccardo Focardi Dipartimento di Informatica Universita' di Venezia via Torino 155, I-30172 Mestre (Ve), Italy +39-041-2348438 focardi(a)dsi.unive.it Publications Chair Jonathan Herzog The MITRE Corporation 202 Burlington Road Bedford, MA 01730-1420 USA jherzog(a)mitre.org

1 0

2nd announcement: Workshop and Symposium RAMIFICATIONS OF CATEGORY THEORY
by Alberto Peruzzi 10 Oct '03

10 Oct '03

Re: Workshop and Symposium RAMIFICATIONS OF CATEGORY THEORY, November 18-22, 2003 At the University of Florence, Italy The abstracts of talks and the time table can be found on the web page http://ramcat.scform.unifi.it/ Alberto Peruzzi Departmento of Philosophy Via Bolognese 52 50139 Florence Italia

1 0

FMCO 2003: CALL FOR PARTICIPATION
by etaps02 VERIMAG 10 Oct '03

10 Oct '03

(We apologize for the reception of multiple copies) *********************** CALL FOR PARTICIPATION ********************** Second International Symposium on Formal Methods for Components and Objects (FMCO 2003) DATES 4 - 7 November 2003 PLACE Lorentz Center, Leiden University, Leiden, The Netherlands REGISTRATION FORM http://fmco.liacs.nl/fmco03.html REGISTRATION FEES 400 euro for regular participants and 275 euro for students PRELIMINARY PROGRAM Tuesday 4th, November 2003 8:45 - 9:00 Welcome 9:00 - 10:00 Keynote: David Parnas (University of Limerick, IE) Mathematical Documentation of Software 10:00 - 10:30 Break 10:30 - 11:15 Razvan Diaconescu (IMAR, RO) Behavioural specification for hierarchical object composition 11:15 - 12:00 Heike Wehrheim (University of Oldenburg, DE) Preserving Properties under Change 12:00 - 13:30 Lunch break 13:30 - 14:30 Keynote: Andrew D. Gordon (Microsoft Research, UK) Formal Tools for Securing Web Services 14:30 - 15:00 Break 15:00 - 15:45 Jeannette Wing (Carnegie Mellon University, USA) Vulnerability Analysis Using Attack Graphs 15:45 - 16:00 Break 16:00 - 16:45 Albert Benveniste (IRISA/INRIA - Rennes, FR) Heterogeneous reactive systems formal modeling 16:45 - 17:30 Yassine Lakhnech (University of Grenoble, FR) t.b.a. WEDNESDAY 5th, November 2003 9:00 - 10:00 Keynote: Tony Hoare (Microsoft Research Cambridge, UK) The Verifying Compiler: a Grand Challenge for Computing Research 10:00 - 10:30 Break 10:30 - 11:15 Willem-Paul de Roever (University of Kiel, DE) Data Refinement: model-oriented proof methods and their comparison 11:15 - 12:00 Frank de Boer (CWI, Amsterdam, NL) Hoare Logics for Object-Oriented Programming: State of the Art 12:00 - 13:30 Lunch break 13:30 - 14:15 Jean-Marc Jezequel (IRISA, Rennes, FR) Model-Driven Engineering: Basic Principles and Open Problems 14:15 - 15:00 Jan Friso Groote (Eindhoven University, NL) Visualisation of HUGE state spaces 17:00 - 19:15 Social Event 19:30 - Dinner THURSDAY 6th, November 2003 9:00 - 10:00 Keynote: Yuri Gurevich (Microsoft Research Redmond, USA) The Semantics of AsmL 10:00 - 10:30 Break 10:30 - 11:15 Egon Boerger (Pisa University, IT) Exploiting the "A" in Abstract State Machines for Specification Reuse. A Java/C# Case Study. 11:15 - 12:00 Werner Damm (University of Oldenburg, DE) t.b.a. 12:00 - 13:30 Lunch break 13:30 - 14:30 Keynote: Joseph Sifakis (Verimag, FR) Component-based construction of deadlock-free systems 14:30 - 15:00 Break 15:00 - 15:45 Philippe Schnoebelen (CNRS, Cachan, FR) The Verification of Lossy Channel Systems 15:45 - 16:30 Bengt Jonsson (Uppsala University, SE) t.b.a. 16:30 - 16:45 Break 16:45 - 17:30 Jan Rutten (CWI, Amsterdam, NL) A case study in coinductive stream calculus: signal flow graphs for dummies FRIDAY 7th, November 2003 9:00 - 10:00 Keynote: E. Allen Emerson (University of Texas, USA) Model checking many components 10:00 - 10:30 Break 10:30 - 11:15 Amir Pnueli (The Weizmann Institute of Science, ISR) t.b.a. 11:15 - 12:00 Natalia Sidorova (Eindhoven University, NL) Practical approaches for the verification of asynchronous components: model checking, abstraction and static analysis 12:00 - 13:30 Lunch break 13:30 - 14:30 Keynote: Desmond D'Souza (Kinetium, Austin, USA) Component Architectures - Some meeting points of practice, trend, and theory 14:30 - 15:00 Break 15:00 - 15:45 Jose Luiz Fiadeiro (University of Leicester, UK) CommUnity on the move: architectures for distribution and mobility 15:45 - 16:30 Gregor Engels (University of Paderborn, DE) Consistent interaction of components 16:30 - 17:15 Rob van Ommering (Philips Research Laboratories, NL) Component Based Architectures and Formalization MOBI-J AFFILIATED WORKSHOP On Monday 3rd, November 2003, there will be a one-day Mobi-J workshop on "Assertional Methods for Java and its Extension with Mobile Asynchronous Channels". REGISTRATION Participation is limited to about 80 people, using a first-in first-served policy. To register, please fill in the registration form at http://fmco.liacs.nl/fmco03.html. The registration fee is 400 euro for regular participants and 275 euro for students It includes the participation to the symposium, a copy of the proceedings, all lunches and refreshments, and a social event (with dinner). ORGANIZING COMMITTEE F.S. de Boer (CWI and Utrecht University) M.M. Bonsangue (LIACS-Leiden University) S. Graf (Verimag) W.P. de Roever (CAU) For more information about participation and registration see the FMCO site above or consult either F.S. de Boer (frb(a)cwi.nl) or M.M. Bonsangue (marcello(a)liacs.nl) ----------- you received this e-mail via the address categories(a)mta.ca

1 0

The Calculus
by Peter McBurney 07 Oct '03

07 Oct '03

Hello all -- Apologies for what may be an elementary question: Does anyone know of a fully-worked-through, category-theoretic treatment of the differential calculus? Thanks, -- Peter McBurney University of Liverpool

2 1

email address: Philippe Gaucher
by Philippe Gaucher 06 Oct '03

06 Oct '03

Dear all, I am going to move for Paris in a few days. By the end of October, my email address will be Philippe.Gaucher(a)pps.jussieu.fr and you can already use it if you want to send me an email. pg.

1 0

Question on standard terminology
by Steve Stevenson 06 Oct '03

06 Oct '03

Good Morning: I have a question about "standard terminology" or "standard methodology". Is there a standard technique to generate the closure of a set through generating the next element from the current? The motivating idea is a simple one: generate a free language from the list of characters. This is a standard inductive process seen in lots of automata and formal language books. Seems like there is product followed by a co-product sort of action. best regards, steve -------- D. E. Stevenson, Department of Computer Science Clemson University, Clemson, SC 29634-0974 864.656.6880 http://www.cs.clemson.edu/~steve

1 0

Union College Conference
by Susan Niefield 04 Oct '03

04 Oct '03

UNION COLLEGE MATHEMATICS CONFERENCE Saturday and Sunday November 8-9, 2003 This is an updated announcement for the eleventh Union College Mathematics Conference. This year the conference topics are category theory, algebraic topology, and differential geometry. The plenary speakers for the conference are: Andre Joyal, UQAM Claude LeBrun, SUNY Stony Brook Ulrike Tillmann, Oxford University There will also be shorter contributed talks in parallel sessions. Anyone interested in giving such a talk should indicate this on the registration form on the conference website (see URL below). The deadline for abstract submission is October 17th. The registration deadline is October 24th. For more information about the conference, including registration, submission of abstracts, housing and transportation, please visit our website at: http://www.math.union.edu/~leshk/03Conference/ We hope to see you in November! ORGANIZERS Category Theory Susan Niefield niefiels(a)union.edu Kimmo Rosenthal rosenthk(a)union.edu Algebraic Topology Brenda Johnson johnsonb(a)union.edu Kathryn Lesh leshk(a)union.edu Differential Geometry Christina Tonnesen-Friedman tonnesec(a)union.edu

1 0

Stasheff's question
by Peter May 04 Oct '03

04 Oct '03

The comparison between Segal categories and A infinity categories works in close analogy with the comparison between A infinity spaces (for any A infinity operad) and Segal's special Delta spaces. The topological comparison was worked out in papers of Thomason and Fiedorowicz, themselves analogues of earlier work of Thomason and myself comparing infinite loop space machines. The categorical comparison will appear in a paper I'm writing --- I've talked about it at MSRI and the Newton Institute. Peter May

2 1