From MAILER-DAEMON Wed Dec 17 21:37:27 2008 Date: 17 Dec 2008 21:37:27 -0400 From: Mail System Internal Data Subject: DON'T DELETE THIS MESSAGE -- FOLDER INTERNAL DATA Message-ID: <1229564247@mta.ca> X-IMAP: 1225723661 0000000022 Status: RO This text is part of the internal format of your mail folder, and is not a real message. It is created automatically by the mail system software. If deleted, important folder data will be lost, and it will be re-created with the data reset to initial values. From rrosebru@mta.ca Mon Nov 3 09:59:27 2008 -0400 Return-path: Envelope-to: categories-list@mta.ca Delivery-date: Mon, 03 Nov 2008 09:59:27 -0400 Received: from Majordom by mailserv.mta.ca with local (Exim 4.61) (envelope-from ) id 1Kwzqq-0003XZ-EY for categories-list@mta.ca; Mon, 03 Nov 2008 09:52:16 -0400 Date: Mon, 3 Nov 2008 08:44:50 +0100 (CET) From: Johannes Huebschmann To: categories@mta.ca Subject: categories: Group cohomology via monads or triple cohomology MIME-Version: 1.0 Content-Type: TEXT/PLAIN; charset=US-ASCII; format=flowed Sender: categories@mta.ca Precedence: bulk Reply-To: Johannes Huebschmann Message-Id: Status: RO X-Status: X-Keywords: X-UID: 1 Dear All Let $R$ be a commutative ring, $G$ a group, $\mathrm{Mod}_R$ the category of $R$-modules, $\mathrm{Mod}_{RG}$ that of right $RG$-modules, let \[ \mathcal G\colon \mathrm{Mod}_{R}\longrightarrow \mathrm{Mod}_{RG} \] be the familiar functor which assigns to the $R$-module $V$ the right $RG$-module $\mathrm{Map}(G, V)$, with right $G$-structure being given by left translation in $G$, and let \[ \square \colon \mathrm{Mod}_{RG}\longrightarrow \mathrm{Mod}_{R} \] be the forgetful functor. The unit of the resulting adjunction is well known to be given by the assignment to the right $RG$-module $V$ of \[ \eta_V\colon V \longrightarrow \mathrm{Map}(G, \square V), \ v \longmapsto \eta_v:G \to \square V,\ \eta_v(x) =vx, \ v \in V, x \in G. \] Given the $RG$-module $V$, the standard construction associated with $V$ and the resulting monad $(T,\eta,\mu)$ yields an injective resolution of $V$ in the category of right $RG$-modules. All this is entirely standard and classical. Consider instead the functor \[ \mathrm{Mod}_{RG}\longrightarrow \mathrm{Mod}_{RG} \] which assigns to the right $RG$-module $V$ the right $RG$-module $\mathrm{Map}(G, V)$, with right $G$-structure being given by diagonal action relative to left translation in $G$ and replace $\eta$ with $\omega$ given by the assignment to the right $RG$-module $V$ of \[ \omega_V\colon V \longrightarrow \mathrm{Map}(G, V), \ v \longmapsto \omega_v:G \to V,\ \omega_v(x) =v, \ v \in V, x \in G. \] These data, together with the appropriate natural transformation replacing the composition $\mu$, yield an alternate description of the monad $(T,\eta,\mu)$. This has certainly been discussed in detail in the literature. I am looking for a precise reference. Many thanks in advance Johannes HUEBSCHMANN Johannes Professeur de Mathematiques USTL, UFR de Mathematiques UMR 8524 Laboratoire Paul Painleve F-59 655 Villeneuve d'Ascq Cedex France http://math.univ-lille1.fr/~huebschm TEL. (33) 3 20 43 41 97 (33) 3 20 43 42 33 (secretariat) (33) 3 20 43 48 50 (secretariat) Fax (33) 3 20 43 43 02 e-mail Johannes.Huebschmann@math.univ-lille1.fr From rrosebru@mta.ca Mon Nov 3 09:59:27 2008 -0400 Return-path: Envelope-to: categories-list@mta.ca Delivery-date: Mon, 03 Nov 2008 09:59:27 -0400 Received: from Majordom by mailserv.mta.ca with local (Exim 4.61) (envelope-from ) id 1Kwzq2-0003Q9-VV for categories-list@mta.ca; Mon, 03 Nov 2008 09:51:27 -0400 Date: Sun, 02 Nov 2008 23:54:24 -0600 (CST) From: zackluo@j4.com Subject: categories: preprint available To: categories MIME-version: 1.0 Content-type: text/plain; charset=us-ascii Content-transfer-encoding: 7bit Sender: categories@mta.ca Precedence: bulk Reply-To: zackluo@j4.com Message-Id: Status: RO X-Status: X-Keywords: X-UID: 2 Clone Theory: Its Syntax and Semantics, Applications to Universal Algebra, Lambda Calculus and Algebraic Logic Author: Zhaohua Luo Abstract: The primary goal of this paper is to present a unified way to transform the syntax of a logic system into certain initial algebraic structure so that it can be studied algebraically. The algebraic structures which one may choose for this purpose are various clones over a full subcategory of a category. We show that the syntax of equational logic, lambda calculus and first order logic can be represented as clones or right algebras of clones over the set of positive integers. The semantics is then represented by structures derived from left algebras of these clones. URL: http://www.algebraic.net/cag/ct.pdf From rrosebru@mta.ca Sun Nov 9 10:55:10 2008 -0400 Return-path: Envelope-to: categories-list@mta.ca Delivery-date: Sun, 09 Nov 2008 10:55:10 -0400 Received: from Majordom by mailserv.mta.ca with local (Exim 4.61) (envelope-from ) id 1KzBc5-0004ww-2S for categories-list@mta.ca; Sun, 09 Nov 2008 10:50:05 -0400 Date: Sat, 8 Nov 2008 21:42:15 -0500 (EST) From: Brigitte Pientka To: Brigitte Pientka Subject: categories: CFP: Special issue: Intuitionistic Modal Logics and Applications (IMLA) MIME-Version: 1.0 Content-Type: TEXT/PLAIN; charset=US-ASCII; format=flowed Sender: categories@mta.ca Precedence: bulk Reply-To: Brigitte Pientka Message-Id: Status: O X-Status: X-Keywords: X-UID: 3 Call for Papers Special Issue of Information and Computation on Intuitionistic Modal Logics and Applications (IMLA) Guest Editors: Valeria de Paiva, Brigitte Pientka and Aleks Nanevski Submission deadline: 31. May, 2009 Constructive modal logics and type theories are of increasing foundational and practical relevance in computer science. Applications are in type disciplines for programming languages, and meta-logics for reasoning about a variety of computational phenomena. Theoretical and methodological issues center around the question of how the proof-theoretic strengths of constructive logics can best be combined with the model-theoretic strengths of modal logics. Practical issues center around the question of which modal connectives with associated laws or proof rules capture computational phenomena accurately and at the right level of abstraction and how to implement these efficiently. There have been a series of LICS-affiliated workshops devoted to the theme. The first one was held as part of FLoC1999, Trento, Italy, the second was part of FLoC2002, Copenhagen, Denmark, the third was associated with LiCS2005, Chicago, USA and the last one was associated with LICS 2008 in Pittsburgh, PA, USA. Two special issues of journals on the theme have already appeared, a Mathematical Structures in Computer Science volume edited by Matt Fairtlough, Michael Mendler and Eugenio Moggi ( Modalities in type theory) in 2001, and a special issue of the Journal of Logic and Computation in 2004 (Intuitionistic Modal Logics and Application, eds. Valeria de Paiva, R. Gore ad M. Mendler). We are hereby soliciting papers for a further special volume of Information and Computation, devoted to Intuitionistic Modal Logics and Applications. We hope to cover the novel applications presented in the last two workshops, especially applications to computer security, automated deduction and computational linguistics, but also to include work not presented at the workshops. The proposed timeline of events is as follows: * Papers (preferably under 20 pages long) should be submitted by 31st May 2009 * Reviews will be provided until the end of August 2009 and the volume should be ready by the end of the Fall. Topics of interest include, but are not limited to: * applications of intuitionistic necessity and possibility * monads and strong monads * constructive belief logics and type theories * applications of constructive modal logic and modal type theory to formal verification, foundations of security, abstract interpretation, and program analysis and optimization * modal types for integration of inductive and co-inductive types, higher-order abstract syntax, strong functional programming * models of constructive modal logics such as algebraic, categorical, Kripke, topological, and realizability interpretations * notions of proof for constructive modal logics * extraction of constraints or programs from modal proofs * proof search methods for constructive modal logics and their implementations. Please contact one of the editors (Valeria de Paiva valeria@cuill.com or Brigitte Pientka bpientka@cs.mcgill.ca) if you're not sure that your paper is within the scope of this special volume. Submissions should be 10 to 20 pages long and sent in PostScript or PDF format to one of the editors, before the 31st May 2009. From rrosebru@mta.ca Tue Nov 11 09:57:08 2008 -0400 Return-path: Envelope-to: categories-list@mta.ca Delivery-date: Tue, 11 Nov 2008 09:57:08 -0400 Received: from Majordom by mailserv.mta.ca with local (Exim 4.61) (envelope-from ) id 1Kztf0-0002oh-RB for categories-list@mta.ca; Tue, 11 Nov 2008 09:52:02 -0400 Date: Mon, 10 Nov 2008 20:46:15 -0600 (CST) From: Tom Fiore To: categories@mta.ca Subject: categories: January Joint Meetings MIME-Version: 1.0 Content-Type: TEXT/PLAIN; charset=US-ASCII; format=flowed Sender: categories@mta.ca Precedence: bulk Reply-To: Tom Fiore Message-Id: Status: O X-Status: X-Keywords: X-UID: 4 Dear Category Theorists, We are pleased to announce the AMS Special Session on Homotopy Theory and Higher Categories at the Joint Meetings, January 5-8 in Washington DC. The Special Session will be on January 7th and 8th. More information is below, and on the website. Please note that November 14th is the deadline for hotel reservations at the discounted rate. Speakers: Maia Averett, Mills College John Baez, University of California at Riverside Martin Bendersky, Hunter College CUNY Julie Bergner, University of California at Riverside Thomas M. Fiore, University of Chicago Mike Hill, University of Virginia Niles Johnson, University of Chicago Valentina Joukhovitski, University of Michigan Bill Kronholm, Swarthmore College Aaron Leeman, University of Oregon Xiaouxue Li, Emory and Henry College Peter May, University of Chicago Jack Morava, Johns Hopkins University Son Phuc Nguyen, Wayne State University Kyle Ormsby, University of Michigan Paul Pearson, University of Rochester David Pengelley, New Mexico State University Daniel Ramras, Vanderbilt University Rekha Santhanam, Johns Hopkins University Armira Shkembi, Johns Hopkins University Michael Shulman, University of Chicago Barry Walker, Northwestern University Dinner: 6:30, Wednesday, January 7th, Nam Viet Restaurant, 3419 Connecticut Avenue, N.W. Washington D.C. 20008. The restaurant is approximately 9/10 of a mile north along Connecticut Ave, right outside Cleveland Park Station. This restaurant has meat dishes and vegetarian dishes. Note that there are two locations, we will be at the one in Washington next to Cleveland Park Station. The schedule, titles, and abstracts are on the website: http://www.math.uchicago.edu/~fiore/1/JointMeeting.htm Hotel reservations (deadline November 14th for discounted rate!): http://www.ams.org/amsmtgs/2110_hsg.html https://www.ams.org/meetreg?meetnum=2110 Best greetings, Tom Fiore, Mark Johnson, Jim Turner, Donald Yau, Steve Wilson From rrosebru@mta.ca Tue Nov 11 21:13:48 2008 -0400 Return-path: Envelope-to: categories-list@mta.ca Delivery-date: Tue, 11 Nov 2008 21:13:48 -0400 Received: from Majordom by mailserv.mta.ca with local (Exim 4.61) (envelope-from ) id 1L04BY-0000hq-UX for categories-list@mta.ca; Tue, 11 Nov 2008 21:06:20 -0400 From: Michael Mislove To: categories@mta.ca Content-Type: text/plain; charset=ISO-8859-1; format=flowed; delsp=yes Content-Transfer-Encoding: quoted-printable Mime-Version: 1.0 (Apple Message framework v929.2) Subject: categories: MFPS XXV First Call for Papers Date: Tue, 11 Nov 2008 15:23:00 -0600 Sender: categories@mta.ca Precedence: bulk Reply-To: Michael Mislove Message-Id: Status: RO X-Status: X-Keywords: X-UID: 5 Dear Colleagues, Below is the first Call for Papers for MFPS 25, which will be held =20= at Oxford, UK from April 3 - 7, 2009. We encourage submissions in all =20= areas relating to the topics of the meeting. Best regards, Mike MIslove =3D=20 =3D=20 =3D=20 =3D=20 =3D=20 =3D=20 =3D=20 =3D=20 =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D FIRST CALL FOR PAPERS MFPS XXV http://www.math.tulane.edu/~mfps/mfps25 Twenty-fifth Conference on the Mathematical Foundations of Programming Semantics University of Oxford Oxford, UK April 3 - 7, 2009 =09 Partially Supported by US Office of Naval Research In commemoration of the founding of denotational semantics in the work =20= of Dana Scott and Christopher Strachey, the Twenty-fifth Conference on =20= the Mathematical Foundations of Programming Semantics will take place =20= on the campus of the University of Oxford, Oxford UK from April 3 - 7, =20= 2009. MFPS conferences are devoted to those areas of mathematics, =20 logic, and computer science that are related to models of computation, =20= in general, and to the semantics of programming languages, in =20 particular. The series has particularly stressed providing a forum =20 where researchers in mathematics and computer science can meet and =20 exchange ideas about problems of common interest. As the series also =20 strives to maintain breadth in its scope, the conference strongly =20 encourages participation by researchers in neighboring areas. TOPICS include, but are not limited to, the following: biocomputation; =20= concurrent and distributed computation; constructive mathematics; =20 domain theory and categorical models; formal languages; formal =20 methods; game semantics; lambda calculus; logic; probabilistic =20 systems; process calculi; programming-language theory; quantum =20 computation; security; topological models; type systems; type theory. The INVITED SPEAKERS for MFPS XXV are Neil Ghani, Strathclyde Marta Kwiatkowska, Oxford Catherine Meadows, Naval Research Lab Michael Mislove, Tulane Dana Scott, CMU David Schmidt, Kansas State In addition, there will be four SPECIAL SESSIONS: - A Session Honoring Bob Tennent on the occasion of his 65th birthday =20= year, which is being organized by Dan Ghica (Birmingham) and Pete =20 O'Hearn (QMW). - A Session on Security will be held in conjunction with Catherine =20 Meadow's plenaary talk. It is being organized by Catherine Meadows =20 and A. W. Roscoe (Oxford). - A Session Honoring Michael Mislove on the occasion of his 65th =20 birthday year, which is being organized by Achim Jung (Birmingham), =20 Samson Abramsky (Oxford) and Steve Brookes (CMU). It will be held in =20 conjunction with Dana Scott's plenary address. - A Session on Mathematical Structured Programming will be held in =20 conjunction with Neil Ghani's plenary address. It is being organized =20 by Neil Ghani and Achim Jung. In addition, there will be five TUTORIAL TALKS on Quantum Information =20= and Quantum Computing. These are being organized by Samson Abramsky =20 (Oxford) and Bob Coecke (Oxford). The talks will be given at the =20 start of each day of the meeting. These talks are aimed at providing =20 background for participants to take part in the Workshop on Quantum =20 Physics and Logic (QPL VI) immediately following MFPS in Oxford. The remainder of the program will consist of papers selected by the following PROGRAM COMMITTEE Andrej Bauer, University of Ljubljana, Slovenia Stephen Brookes, CMU, USA Kostas Chatzikokolakis, TUE, The Netherlands Yuxin Deng, Shanghai Jiao Tong University, China Derek Dreyer, MPI-SWS, Germany Daniele Gorla, Sapienza Universit=E0 di Roma, Italy Jean Goubault-Larrecq, ENS Cachan, France Joshua Guttman, MITRE, USA Matthew Hennessy, TCD, Ireland Jean Krivine, Harvard Medical School, USA Achim Jung, University of Birmingham, UK Pasquale Malacaria, Queen Mary University of London, UK Keye Martin NRL, USA Catherine Meadows, NRL, USA Mike Mislove, Tulane University, USA MohammadReza Mousavi, TUE, The Netherlands Catuscia Palamidessi, INRIA, France (chair) Prakash Panangaden, McGill University, Canada Peter Selinger, Dalhousie University, Canada Daniele Varacca, Universit=E9 Paris Diderot, France from submissions received in response to this Call for Papers. The =20 submissions will be organized through EasyChair, and further =20 information will be sent out nearer the time that submissions are =20 being accepted. IMPORTANT DATES: - January 9 Title and Short Abstract submission deadline - January 16 Paper submission deadline - February 20 Notification to authors - March 13 Preliminary proceedings version due =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D Professor Michael Mislove Phone: +1 504 862-3441 Department of Mathematics FAX: +1 504 865-5063 Tulane University URL: http://www.math.tulane.edu/~mwm New Orleans, LA 70118 USA =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D From rrosebru@mta.ca Wed Nov 12 15:42:11 2008 -0400 Return-path: Envelope-to: categories-list@mta.ca Delivery-date: Wed, 12 Nov 2008 15:42:11 -0400 Received: from Majordom by mailserv.mta.ca with local (Exim 4.61) (envelope-from ) id 1L0LS2-0005fL-6d for categories-list@mta.ca; Wed, 12 Nov 2008 15:32:30 -0400 Date: Tue, 11 Nov 2008 17:46:43 -0800 From: "Mike Stay" To: categories Subject: categories: Electronic copy of a paper by Walters? MIME-Version: 1.0 Content-Type: text/plain; charset=WINDOWS-1252 Content-Transfer-Encoding: quoted-printable Content-Disposition: inline Sender: categories@mta.ca Precedence: bulk Reply-To: "Mike Stay" Message-Id: Status: O X-Status: X-Keywords: X-UID: 6 Does anyone know where I can find an electronic version of R.F.C. Walters, Sheaves on sites as Cauchy-complete categories. J. Pure Appl. Algebra 24 (1982), 95=96102. ? Elsevier's archive only goes back to 2004. --=20 Mike Stay - metaweta@gmail.com http://math.ucr.edu/~mike http://reperiendi.wordpress.com From rrosebru@mta.ca Thu Nov 13 21:31:21 2008 -0400 Return-path: Envelope-to: categories-list@mta.ca Delivery-date: Thu, 13 Nov 2008 21:31:21 -0400 Received: from Majordom by mailserv.mta.ca with local (Exim 4.61) (envelope-from ) id 1L0nPU-0002vz-S9 for categories-list@mta.ca; Thu, 13 Nov 2008 21:23:44 -0400 From: Bjorn_Gohla?= To: categories@mta.ca Subject: categories: next pssl Date: Thu, 13 Nov 2008 17:06:14 +0000 MIME-Version: 1.0 Content-Type: text/plain; charset="us-ascii" Content-Transfer-Encoding: 7bit Content-Disposition: inline Sender: categories@mta.ca Precedence: bulk Reply-To: Bjorn_Gohla?= Message-Id: Status: RO X-Status: X-Keywords: X-UID: 7 hello categorists, just out of curiosity, has anything been decided as to where and when the next pssl might be? -- cheers, bjoern From rrosebru@mta.ca Thu Nov 13 21:31:21 2008 -0400 Return-path: Envelope-to: categories-list@mta.ca Delivery-date: Thu, 13 Nov 2008 21:31:21 -0400 Received: from Majordom by mailserv.mta.ca with local (Exim 4.61) (envelope-from ) id 1L0nQK-00031w-MO for categories-list@mta.ca; Thu, 13 Nov 2008 21:24:36 -0400 Date: Thu, 13 Nov 2008 09:59:34 -0800 From: "Mike Stay" To: categories Subject: categories: Re: Electronic copy of a paper by Walters? MIME-Version: 1.0 Content-Type: text/plain; charset=WINDOWS-1252 Content-Transfer-Encoding: quoted-printable Content-Disposition: inline Sender: categories@mta.ca Precedence: bulk Reply-To: "Mike Stay" Message-Id: Status: O X-Status: X-Keywords: X-UID: 8 On Tue, Nov 11, 2008 at 5:46 PM, Mike Stay wrote: > Does anyone know where I can find an electronic version of > > R.F.C. Walters, Sheaves on sites as Cauchy-complete categories. J. > Pure Appl. Algebra 24 (1982), 95=96102. Got it! Thanks to all those who responded. --=20 Mike Stay - metaweta@gmail.com http://math.ucr.edu/~mike http://reperiendi.wordpress.com From rrosebru@mta.ca Sun Nov 16 11:15:28 2008 -0400 Return-path: Envelope-to: categories-list@mta.ca Delivery-date: Sun, 16 Nov 2008 11:15:28 -0400 Received: from Majordom by mailserv.mta.ca with local (Exim 4.61) (envelope-from ) id 1L1jFu-0005U3-W7 for categories-list@mta.ca; Sun, 16 Nov 2008 11:09:43 -0400 From: "R Brown" To: Subject: categories: The Archimedes Palimpsest Date: Fri, 14 Nov 2008 11:16:31 -0000 MIME-Version: 1.0 Content-Type: text/plain; charset="iso-8859-1" Content-Transfer-Encoding: quoted-printable Sender: categories@mta.ca Precedence: bulk Reply-To: "R Brown" Message-Id: Status: O X-Status: X-Keywords: X-UID: 9 This email has nothing to do with category theory directly but I am sure = it will interest list members. (The word `categories' is on the web site = below!) Yesterday I went to a talk at the Bangor Classical Society on the orator = Hypereides by Professor Stephen Todd of Manchester. What was new on this = orator (a barrister, in our terms) came from the discovery of the = Archimedes Palimpsest. All you need to do is look on http://www.archimedespalimpsest.org/ Fascinating in terms of discovery and the technology to reveal the = scraped off and overwritten text!=20 Ronnie From rrosebru@mta.ca Tue Nov 18 22:38:46 2008 -0400 Return-path: Envelope-to: categories-list@mta.ca Delivery-date: Tue, 18 Nov 2008 22:38:46 -0400 Received: from Majordom by mailserv.mta.ca with local (Exim 4.61) (envelope-from ) id 1L2crJ-0007a3-Tw for categories-list@mta.ca; Tue, 18 Nov 2008 22:32:01 -0400 Date: Tue, 18 Nov 2008 22:33:40 +0100 From: "Bockermann Bockermann" To: categories@mta.ca Subject: categories: Symmetric monoidal closed categories MIME-Version: 1.0 Content-Type: text/plain; charset=ISO-8859-1 Content-Transfer-Encoding: 7bit Content-Disposition: inline Sender: categories@mta.ca Precedence: bulk Reply-To: "Bockermann Bockermann" Message-Id: Status: O X-Status: X-Keywords: X-UID: 10 Dear mathematicians, I wonder if the following is true. Has anybody a reference, if this is the case? For a complete and co-complete symmetric monoidal closed category C and a small category D the functor category Fun(D,C) is pointwise a symmetric monoidal category. Is this a closed symmetric monoidal structure? This is true for simplicial sets and simplicial abelian groups for example. Thank you for any help. Tony From rrosebru@mta.ca Wed Nov 19 16:45:36 2008 -0400 Return-path: Envelope-to: categories-list@mta.ca Delivery-date: Wed, 19 Nov 2008 16:45:36 -0400 Received: from Majordom by mailserv.mta.ca with local (Exim 4.61) (envelope-from ) id 1L2toA-0005kX-SB for categories-list@mta.ca; Wed, 19 Nov 2008 16:37:54 -0400 From: vs27@mcs.le.ac.uk To: categories@mta.ca Subject: categories: Re: Symmetric monoidal closed categories Date: 19 Nov 2008 08:12:20 +0000 Mime-Version: 1.0 Content-Type: text/plain; format=flowed; charset=ISO-8859-1 Sender: categories@mta.ca Precedence: bulk Reply-To: vs27@mcs.le.ac.uk Message-Id: Status: RO X-Status: X-Keywords: X-UID: 13 [From moderator: apologies to Vincent Schmitt. He posted the answer below and the second item which will be reposted. The correct From: field was inadvertently omitted.] On Nov 19 2008, Bockermann Bockermann wrote: >Dear mathematicians, > >I wonder if the following is true. Has anybody a reference, if this is >the case? > >For a complete and co-complete symmetric monoidal closed category C >and a small category D the functor category Fun(D,C) is pointwise a >symmetric monoidal category. Is this a closed symmetric monoidal >structure? This is true for simplicial sets and simplicial abelian >groups for example. > >Thank you for any help. What is true is the following: if D,C are symmetric monoidal then the category of symmetric monoidal functors D->C admits a symmetric monoidal structure given pointwise by that of C. The crucial point is the symmetry. >Tony > > > From rrosebru@mta.ca Wed Nov 19 16:46:05 2008 -0400 Return-path: Envelope-to: categories-list@mta.ca Delivery-date: Wed, 19 Nov 2008 16:46:05 -0400 Received: from Majordom by mailserv.mta.ca with local (Exim 4.61) (envelope-from ) id 1L2tpP-0005tZ-BV for categories-list@mta.ca; Wed, 19 Nov 2008 16:39:11 -0400 From: vs27@mcs.le.ac.uk To: categories@mta.ca Subject: categories: Re: Symmetric monoidal closed categories Date: 19 Nov 2008 08:39:29 +0000 Mime-Version: 1.0 Content-Type: text/plain; format=flowed; charset=ISO-8859-1 Sender: categories@mta.ca Precedence: bulk Reply-To: vs27@mcs.le.ac.uk Message-Id: Status: O X-Status: X-Keywords: X-UID: 14 [From moderator: apologies to Vincent Schmitt. He posted the answer below and the first item recently reposted. The correct From: field was inadvertently omitted.] A bit more. You may be interested by the V-category of V-functors [A,B] for V-categories A and B -- Take care of the sizes though. V= SSet, Ab etc... References for this: Day and Kelly certainly. Kelly's "Basic concepts of enriched category theory" or Day's thesis and early papers. Best, V. On Nov 19 2008, Bockermann Bockermann wrote: >Dear mathematicians, > >I wonder if the following is true. Has anybody a reference, if this is >the case? > >For a complete and co-complete symmetric monoidal closed category C >and a small category D the functor category Fun(D,C) is pointwise a >symmetric monoidal category. Is this a closed symmetric monoidal >structure? This is true for simplicial sets and simplicial abelian >groups for example. > >Thank you for any help. > >Tony > > > From rrosebru@mta.ca Wed Nov 19 21:32:03 2008 -0400 Return-path: Envelope-to: categories-list@mta.ca Delivery-date: Wed, 19 Nov 2008 21:32:03 -0400 Received: from Majordom by mailserv.mta.ca with local (Exim 4.61) (envelope-from ) id 1L2yHE-0001fz-5w for categories-list@mta.ca; Wed, 19 Nov 2008 21:24:12 -0400 Mime-Version: 1.0 (Apple Message framework v753.1) Content-Type: text/plain; charset=US-ASCII; delsp=yes; format=flowed To: Categories Content-Transfer-Encoding: 7bit From: Ross Street Subject: categories: Re: Symmetric monoidal closed categories Date: Thu, 20 Nov 2008 12:14:13 +1100 Sender: categories@mta.ca Precedence: bulk Reply-To: Ross Street Message-Id: Status: RO X-Status: X-Keywords: X-UID: 15 Dear Tony Yes, this is true. It is a case of Brian Day's convolution theorem: see [Thesis2] Construction of Biclosed Categories (PhD Thesis, University of New South Wales, 1970) http://www.math.mq.edu.au/~street/DayPhD.pdf. [3] Day, Brian. On closed categories of functors. 1970 Reports of the Midwest Category Seminar, IV pp. 1--38 Lecture Notes in Mathematics, Vol. 137 Springer, Berlin Brian deals with enriched categories. For ordinary categories, your D is a symmetric comonoidal category via the "cotensor product" defined by diagonal D --> D x D; so it becomes a promonoidal category with P (a,b;c) = D(a,c) x D(b,c). The convolution tensor product on Fun(D,C) reduces to the pointwise one. For enriched categories, D would need to be symmetric comonoidal (e.g. if D were a free V-category on an ordinary category). When V = Vect, each "cosymmetric" bialgebra is a one-object such D. However, there are presumably other references for the particular case you have in mind as there are for the bialgebra case. Ross On 19/11/2008, at 8:33 AM, Bockermann Bockermann wrote: > For a complete and co-complete symmetric monoidal closed category C > and a small category D the functor category Fun(D,C) is pointwise a > symmetric monoidal category. Is this a closed symmetric monoidal > structure? This is true for simplicial sets and simplicial abelian > groups for example. From rrosebru@mta.ca Fri Nov 21 15:27:23 2008 -0400 Return-path: Envelope-to: categories-list@mta.ca Delivery-date: Fri, 21 Nov 2008 15:27:23 -0400 Received: from Majordom by mailserv.mta.ca with local (Exim 4.61) (envelope-from ) id 1L3bVq-00035C-7z for categories-list@mta.ca; Fri, 21 Nov 2008 15:17:54 -0400 Date: Fri, 21 Nov 2008 11:35:42 +0000 (GMT Standard Time) From: Eugenia Cheng To: categories@mta.ca Subject: categories: PSSL 88 for Hyland and Johnstone: 2nd announcement MIME-Version: 1.0 Content-Type: TEXT/PLAIN; format=flowed; charset=US-ASCII Sender: categories@mta.ca Precedence: bulk Reply-To: Eugenia Cheng Message-Id: Status: O X-Status: X-Keywords: X-UID: 16 PSSL 88 - Second announcement 21/11/08 Dear All, We are pleased to invite you to register for the 88th Peripatetic Seminar on Sheaves and Logic in honour of the 60th birthdays of Martin Hyland and Peter Johnstone. This will be held on the weekend of 4th-5th April 2009 in Cambridge, UK. The conference will be based at Newnham College, with talks taking place at the Centre for Mathematical Sciences. We have received generous support from the Morgan-Phoa Family Fund, and the Department of Pure Mathematics and Mathematical Statistics of the University of Cambridge. Therefore we are delighted to be able to invite all conference participants to a special celebration dinner at Gonville and Caius College on the evening of Friday 3rd April. We hope that you will be able to make travel arrangements that allow you to join us for this dinner. In addition, we are pleased to be able to offer some financial support. In the first instance, we will make this available to graduate students; depending on demand, we may also be able to offer funding to young researchers and others without grants. We also aim to keep the costs low for all participants. If you would like to attend the PSSL please send an e-mail to Eugenia Cheng, using the form attached below. TALKS We look forward to having a full programme of talks celebrating the enormous contributions of Martin Hyland and Peter Johnstone to a wide range of subjects. We will fit in as many talks as time allows, but in the event of an excess of offers we will give priority to current and former students of Martin and Peter. DEADLINES If you are applying for funding, please reply by 31st January, 2009. To guarantee accommodation and/or your place at dinner, please reply by February 28th, 2009. COST The residential cost will be 35 pounds per night. This includes bed, breakfast and lunch at Newnham College, and of course the celebration dinner on Friday. Please note that Newnham has single student accommodation with shared facilities. If you prefer en suite accommodation, we can book en suite rooms at St Catharine's college, for around 60 pounds per night plus tax (subject to availability). All participants are invited to lunch at Newnham on Saturday and Sunday, wherever they are staying. In addition, for Saturday evening we have organised a large group booking with a special menu at a restaurant in the centre of Cambridge, serving Tapas and Paella. There will be a set menu for 20 pounds. PAYMENT Payment will be by cash (British pounds) or credit card upon registration. Alternatively, if you prefer to pay in advance, please ask for details. This information can be found at the PSSL88 website: http://cheng.staff.shef.ac.uk/pssl88/ Here you can also find information about travel to Cambridge and to Newnham College. The list of participants will be updated regularly and the schedule will be available in due course. We look forward to seeing you in April. With best regards, The organisers, Eugenia Cheng , Andy Pitts. ----------------------------------------------------------- REGISTRATION FORM (please delete as appropriate) I, __________________________________________, would like to attend the 88th PSSL. I will not be giving a talk / I would like to give a talk entitled _________________________________________. My affiliation is _____________________________________ (University etc). I would like accommodation in Newnham College for the nights of _____________ April / I will not require accommodation in Newnham College. I would like to attend the celebration dinner at Gonville and Caius College on Friday / I will not be attending the celebration dinner on Friday. I would like to bring a guest to the celebration dinner [*please enquire]. I would like to attend the dinner on Saturday for 20 pounds / I would like to bring a guest / I will not be attending the dinner on Saturday. I have the following special dietary requirements: _________________________________________________________ I expect that the amount payable will be: ____ night(s) @ 35 pounds ____ Saturday dinner(s) @ 20 pounds TOTAL _________________ I will pay upon registration / I would like to pay in advance / I would like to apply for financial support* / I am Martin Hyland or Peter Johnstone. *If you are a PhD student applying for funding, please give your supervisor's name: ___________________. ------------------------------------------------------------ From rrosebru@mta.ca Sun Nov 23 19:24:04 2008 -0400 Return-path: Envelope-to: categories-list@mta.ca Delivery-date: Sun, 23 Nov 2008 19:24:04 -0400 Received: from Majordom by mailserv.mta.ca with local (Exim 4.61) (envelope-from ) id 1L4OCO-0002Mv-Sa for categories-list@mta.ca; Sun, 23 Nov 2008 19:17:04 -0400 Date: Sun, 23 Nov 2008 18:09:57 -0400 (AST) From: "Rene Guitart" To: categories Subject: categories: ma page perso MIME-Version: 1.0 Content-Type: TEXT/PLAIN; charset=ISO-8859-1 Content-Transfer-Encoding: QUOTED-PRINTABLE Sender: categories@mta.ca Precedence: bulk Reply-To: "Rene Guitart" Message-Id: Status: RO X-Status: X-Keywords: X-UID: 17 I would like to inform you that now you can find on-line almost all my papers in mathematics and in philosophy, at the two url : =09=09http://pageperso-orange.fr/rene.guitart =09=09=09and =09=09http://people.math.jussieu.fr/~guitart/ There are now about 110 papers which are accessible, and for the rest (of about 20 papers) they will be scannned and added progressively. Kindest regards, Ren=E9 Guitart From rrosebru@mta.ca Mon Nov 24 10:19:14 2008 -0400 Return-path: Envelope-to: categories-list@mta.ca Delivery-date: Mon, 24 Nov 2008 10:19:14 -0400 Received: from Majordom by mailserv.mta.ca with local (Exim 4.61) (envelope-from ) id 1L4cAT-0004ZH-Sx for categories-list@mta.ca; Mon, 24 Nov 2008 10:12:01 -0400 Date: Mon, 24 Nov 2008 08:44:51 -0400 (AST) From: Rene Guitart To: categories Subject: categories: url correction MIME-Version: 1.0 Content-Type: TEXT/PLAIN; charset=X-UNKNOWN Content-Transfer-Encoding: QUOTED-PRINTABLE Sender: categories@mta.ca Precedence: bulk Reply-To: Rene Guitart Message-Id: Status: O X-Status: X-Keywords: X-UID: 18 As pointed out by Vaughan Pratt and Albert Burroni, the first url below should be http://pagesperso-orange.fr/rene.guitart Rene Guitart ---------- Forwarded message ---------- Date: Sun, 23 Nov 2008 18:09:57 -0400 (AST) From: Rene Guitart To: categories Subject: categories: ma page perso I would like to inform you that now you can find on-line almost all my papers in mathematics and in philosophy, at the two url : =09=09http://pageperso-orange.fr/rene.guitart =09=09=09and =09=09http://people.math.jussieu.fr/~guitart/ There are now about 110 papers which are accessible, and for the rest (of about 20 papers) they will be scannned and added progressively. Kindest regards, Ren=E9 Guitart From rrosebru@mta.ca Thu Nov 27 09:39:50 2008 -0400 Return-path: Envelope-to: categories-list@mta.ca Delivery-date: Thu, 27 Nov 2008 09:39:50 -0400 Received: from Majordom by mailserv.mta.ca with local (Exim 4.61) (envelope-from ) id 1L5gyk-0000s1-Qi for categories-list@mta.ca; Thu, 27 Nov 2008 09:32:22 -0400 Date: Thu, 27 Nov 2008 11:02:25 +0000 From: Clemens Kupke MIME-Version: 1.0 To: categories@mta.ca Subject: categories: Job announcement: Post-doc position at ILLC Amsterdam Content-Type: text/plain; charset=windows-1252; format=flowed Content-Transfer-Encoding: quoted-printable Sender: categories@mta.ca Precedence: bulk Reply-To: Clemens Kupke Message-Id: Status: O X-Status: X-Keywords: X-UID: 19 =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D POSTDOC POSITION =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D At the Institute for Logic, Language and Computation of the University of Amsterdam, there is a vacancy for a post-doctoral researcher in the field of Logic and Theoretical Computer Science. This position will form part of the NWO-funded VICI project ``Algebra and Coalgebra: the mathematical environment of modal logic", directed by Dr. Yde Venema. Job description -------------- The successful candidate is expected to do research related to the theory of modal logic. The investigations will preferably be in the following=20 area: modal fixpoint logics, coalgebra and automata theory, but other proposals linking modal logic and (co)algebra will be considere= d as well. The position may include minor teaching duties in logic-related courses. Requirements ------------ We are looking for candidates with a strong background in mathematical logic and/or theoretical computer science, witnessed by publications in international journals and/or accepted papers at conferences. Candidates should have (almost) finished a PhD in an area closely related to modal logic, coalgebra or automata theory. Appointment ----------- The appointment will be for a period of two years, with the envisaged starting date being as soon as possible, but at the latest in September 2009. The gross monthly salary will be in accordance with the University regulations for academic personnel, and will, depending on experience, range from =80 2,916 to a maximum of =80 3,247. More information ---------------- Further information about the positions, or about the VICI project ``Algebra and Coalgebra'' can be obtained from Dr. Y. Venema, e-mail: Y.Venema@uva.nl, URL: http://staff.science.uva.nl/~yde Job application --------------- Applications should include o a detailed CV including a list of publications o two letters of reference, one of which should be from the PhD thesis supervisor (referents should send their recommendation letters directly to the email address below). Applications should be sent by email to Dr. Y. Venema, Y.Venema@uva.nl, before December 12, 2008. =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=20 From rrosebru@mta.ca Fri Nov 28 17:07:55 2008 -0400 Return-path: Envelope-to: categories-list@mta.ca Delivery-date: Fri, 28 Nov 2008 17:07:55 -0400 Received: from Majordom by mailserv.mta.ca with local (Exim 4.61) (envelope-from ) id 1L6ARZ-0004Bo-09 for categories-list@mta.ca; Fri, 28 Nov 2008 17:00:05 -0400 From: calco09 To: categories@mta.ca Mime-Version: 1.0 (Apple Message framework v929.2) Subject: categories: [Calco'09] 2nd cfp: calco'09 (3rd Conference on Algebra and Coalgebra in Computer Science), Udine, Italy Date: Wed, 26 Nov 2008 12:46:33 +0100 Content-Type: text/plain;charset=ISO-8859-1;format=flowed;delsp=yes Content-Transfer-Encoding: quoted-printable Sender: categories@mta.ca Precedence: bulk Reply-To: calco09 Message-Id: Status: RO X-Status: X-Keywords: X-UID: 20 *------------------------------------------------------------------* * Call for Papers * * * * CALCO 2009 * * * * 3rd Conference on Algebra and Coalgebra in Computer Science * * CALCO Tools Day * * CALCO-jnr * * * September 6-10 2009, Udine, Italy * * * *------------------------------------------------------------------* * Abstract submission: February 2, 2009 * * Technical paper submission: February 7, 2009 * * Tools Day submission: February 24, 2009 * * Author notification: April 22, 2009 * *------------------------------------------------------------------* * http://www.dimi.uniud.it/calco09/ * *------------------------------------------------------------------* CALCO brings together researchers and practitioners to exchange new results about both traditional and emerging uses of algebras and =20 coalgebras in computer science. This is a high-level, bi-annual conference formed by joining the forces and reputations of CMCS (the International Workshop on Coalgebraic =20 Methods in Computer Science), and WADT (the Workshop on Algebraic Development Techniques). The first and second CALCO conferences took place 2005 in Swansea, Wales (http://www.cs.swan.ac.uk/calco/index.php), and 2007 in Bergen, Norway (http://www.ii.uib.no/calco07/). The second event will take place September 2009 in Udine, Italy. CALCO 2009 will be preceded by two events on September 6, 2009. * CALCO-jnr - a CALCO Young Researchers Workshop dedicated to presentations by PhD students and by those who completed their doctoral studies within the past few years. * CALCO Tools Day - providing the opportunity to give system demonstrations. See below for more information. There are separate submission procedures for the CALCO main conference, CALCO-jnr and CALCO Tools Day, respectively. Topics of Interest ------------------ We invite submissions of technical papers that report results of theoretical work on the mathematics of algebras and coalgebras, the way these results can support methods and techniques for software development, as well as experience with the transfer of resulting technologies into industrial practice. We encourage submissions in topics included or related to those in the lists below. * Abstract models and logics - Automata and languages, - Categorical semantics, - Modal logics, - Relational systems, - Graph transformation, - Term rewriting, - Adhesive categories * Specialised models and calculi - Hybrid, probabilistic, and timed systems, - Calculi and models of concurrent, distributed, mobile, and context-aware computing, - General systems theory and computational models (chemical, biological, etc) * Algebraic and coalgebraic semantics - Abstract data types, - Inductive and coinductive methods, - Re-engineering techniques (program transformation), - Semantics of conceptual modelling methods and techniques, - Semantics of programming languages * System specification and verification - Algebraic and coalgebraic specification, - Formal testing and quality assurance, - Validation and verification, - Generative programming and model-driven development, - Models, correctness and (re)configuration of hardware/middleware/architectures, - Process algebra Submission Guidelines --------------------- Prospective authors are invited to submit full papers in English presenting original research. Submitted papers must be unpublished and not submitted for publication elsewhere. Experience papers are welcome, but they must clearly present general lessons learned that would be of interest and benefit to a broad audience of both researchers and practitioners. As in 2005 and 2007, it is planned to =20 publish the proceedings in the Springer LNCS series. Final papers will be no more than 15 pages long in the format specified by Springer. It is recommended that submissions adhere to that format and length (see http://www.springer.de/comp/lncs/authors.html). Submissions that are clearly too long may be rejected immediately. Proofs omitted due to space limitations may be included in a clearly marked appendix. Both an abstract and the full paper must be submitted by their =20 respective submission deadlines. A special issue of the new high-quality open access journal Logical Methods in Computer Science (http://www.lmcs-online.org), consisting of extended versions of selected papers will be produced after the =20 conference if there are enough good papers that can be extended and revised to the standards of this journal. Important Dates (all in 2009) ----------------------------- February 2 Abstract submission due February 7 Technical paper submission due February 24 Submissions to CALCO Tools Day, see below April 22 Author notification May 22 Camera ready due ----------------------------- September 6 CALCO-jnr and CALCO Tools Day September 6-10 CALCO technical programme Programme Committee ------------------- Luca Aceto, Reykjavik University, IS Stephen Bloom, Stevens Institute of Technology, Hoboken, USA Marcello Bonsangue, Leiden University, NL Corina Cirstea, University of Southampton, UK Andrea Corradini, University of Pisa, I Jos=E9 Fiaderio, University of Leicester, UK Rolf Hennicker, University of Munich, D Furio Honsell, University of Udine, I Bart Jacobs, University of Nijmegen, NL Bartek Klin, University of Warsaw, PL Alexander Kurz, University of Leicester, UK (co-chair) Stefan Milius, University of Braunschweig, D Ugo Montanari, University of Pisa, I Larry Moss, Indiana University, Bloomington, USA Till Mossakowski, DFKI Lab Bremen and University of Bremen, D Dirk Pattinson, Imperial College London, UK Dusko Pavlovic, Kestrel Institute, USA Jean-Eric Pin, CNRS-LIAFA Paris, F John Power, University of Bath, UK Grigore Rosu, University of Illinois, Urbana, USA Jan Rutten, CWI and Free University, Amsterdam, NL Davide Sangiorgi, University of Bologna, I Lutz Schr=F6der, DFKI Lab Bremen and University of Bremen, D Eugene Stark, State University of New York, USA Andrzej Tarlecki, Warsaw University, PL (co-chair) Yde Venema, University of Amsterdam, NL James Worrell, University of Oxford, UK Steering Committee ------------------ Jiri Adamek, Michel Bidoit, Corina Cirstea, Jose Fiadeiro (co-chair, http://www.cs.le.ac.uk/people/jfiadeiro/), H.Peter Gumm, Magne Haveraaen, Bart Jacobs, Hans-Joerg Kreowski, Alexander Kurz, Marina Lenisa, Ugo Montanari, Larry Moss, Till Mossakowski, Peter Mosses, Fernando Orejas, Francesco Parisi-Presicce, John Power, Horst Reichel, Markus Roggenbach, Jan Rutten (co-chair, http://homepages.cwi.nl/=20 ~janr/), Andrzej Tarlecki Organising Committee -------------------- Fabio Alessi, Alberto Ciaffaglione, Pietro Di Gianantonio, Davide =20 Grohmann, Furio Honsell, Marina Lenisa (chair, http://www.dimi.uniud.it/~lenisa), Marino Miculan, Ivan Scagnetto, University of Udine, Italy Location ------------------------- The conference will be held in the city of Udine, the capital of the =20 historical region of Friuli, Italy. Located between the Adriatic sea and the =20 Alps, close to Venice, Austria and Slovenia, Udine is a city of Roman origins, funded =20= by Emperor Otto in 983. Rich of historical sites, Udine is also famous =20 for its outstanding wine and culinary traditions. CALCO Tools Day --------------- A special day at CALCO'09 is dedicated to tools based on algebraic and coalgebraic principles. These include systems/prototypes/tools developed specifically for design, checking, execution, and verification of (co)algebraic specifications, but also tools targeting different application domains but making core or interesting use of (co)algebraic techniques. Tool submissions should be no longer than 5 pages in the LNCS format; the accepted tool papers will be included in the final LNCS proceedings of the conference. The tools should be available on the web for download and evaluation. Each submission will be evaluated by at least three reviewers; one or more of the reviewers will be asked to download and run the tool. At least one of the authors of each tool paper must attend the conference to demo the tool. Submissions by e-mail to grosu@cs.uiuc.edu. Important Dates (all in 2009) February 24 Tools software and paper submissions due March 28 Author notification May 16 Camera ready due September 6 CALCO Tools Day Program Committee Luigi Liquori, INRIA, Sophia Antipolis, France http://www.ucm.es/info/dsip/directorio/NMO.html Grigore Rosu, University of Illinois, Urbana, USA http://fsl.cs.uiuc.edu/index.php/Grigore_Rosu http://www.dimi.uniud.it/calco09/=20= --Apple-Mail-5-284690376 Content-Type: text/html; charset=ISO-8859-1 Content-Transfer-Encoding: quoted-printable
* =             &n= bsp;           Call= for Papers =             &n= bsp;           &nbs= p;*
* =             &n= bsp;           &nbs= p;            =             &n= bsp;           &nbs= p;   *
* =             &n= bsp;           &nbs= p; CALCO 2009 =             &n= bsp;           &nbs= p;   *
* =             &n= bsp;           &nbs= p;            =             &n= bsp;           &nbs= p;   *
*   3rd Conference on Algebra and = Coalgebra in Computer Science    *
* =             &n= bsp;            = CALCO Tools Day =             &n= bsp;           &nbs= p;*
*         =     CALCO-jnr 
* =             &n= bsp;           &nbs= p;            =             &n= bsp;           &nbs= p;   *
* =             Se= ptember 6-10 2009, Udine, = Italy           &nb= sp;         *
* =             &n= bsp;           &nbs= p;            =             &n= bsp;           &nbs= p;   *
* =          Abstract = submission:        February 2, 2009 =           *
* =          Technical paper = submission: February  7, 2009 =           *
* =           Tools Day = submission:      February 24, 2009 =           *
* =          Author = notification:        April =    22, 2009 =           *
* =             &n= bsp;   http://www.dimi.uniud.it/calco0= 9/           &n= bsp;        *

CALCO brings together researchers and = practitioners to exchange new
results about both traditional and = emerging uses of algebras and coalgebras 
in = computer science. 

This = is a high-level, bi-annual conference formed by joining the = forces
and reputations of CMCS (the International Workshop = on Coalgebraic Methods
in Computer Science), and WADT (the Workshop on = Algebraic Development
Techniques). The first and second CALCO conferences = took place 2005 in 
Swansea, Wales (http://www.cs.swan.ac.uk= /calco/index.php), and 2007 in
Bergen, Norway (http://www.ii.uib.no/calco07/).=

CALCO 2009 will be preceded by = two events on September 6, 2009.

   their doctoral studies within the = past few years.

 * CALCO Tools Day - = providing the opportunity to give
   system = demonstrations. See below for more information.

There are separate submission = procedures for the CALCO main conference, 


Topics = of Interest
------------------
We invite submissions of = technical papers that report results of
theoretical work on the = mathematics of algebras and coalgebras, the
way these results can support = methods and techniques for software
development, as well as experience = with the transfer of resulting
technologies into industrial = practice. We encourage submissions in
topics included or related to = those in the lists below.

   - Automata and = languages,
   - Categorical = semantics,
   - Modal logics,
   - Graph = transformation,
   - Term rewriting,
 * Specialised models and calculi
   - Calculi and models of = concurrent, distributed,
     mobile, = and context-aware computing,
   - General systems = theory and computational models

 * Algebraic and coalgebraic = semantics
   - Abstract data types,
   - Semantics of conceptual = modelling methods and techniques,
   - Semantics of = programming languages

 * System specification = and verification
   - Algebraic and coalgebraic = specification,
   - Formal testing and quality = assurance,
   - Validation and = verification,
   - Generative programming and = model-driven development,
   - Models, = correctness and (re)configuration of

Submission = Guidelines
---------------------
Prospective authors are = invited to submit full papers in English
presenting original research. = Submitted papers must be unpublished
and not submitted for publication = elsewhere. Experience papers
are welcome, but they must clearly = present general lessons learned
that would be of interest and benefit = to a broad audience of both
researchers and practitioners. As in = 2005 and 2007, it is planned to publish
the proceedings in the = Springer LNCS series. Final papers will be
no more than 15 pages long in = the format specified by Springer. It
is recommended that submissions = adhere to that format and length
are = clearly too long may be rejected immediately. Proofs omitted = due
to space limitations may be included in a clearly = marked appendix.
Both an abstract and the full paper must be = submitted by their respective
submission deadlines. =  

A special issue of the new = high-quality open access journal Logical
Methods in Computer Science = (http://www.lmcs-online.org), = consisting of
extended versions of selected papers will be = produced after the conference
if there are enough good papers that = can be extended and revised to the
standards of this journal.

Important Dates (all in = 2009)
-----------------------------
February 24     Submissions to = CALCO Tools Day, see below
April 22 =        Author notification
May 22 =          Camera ready = due
-----------------------------
September 6-10    CALCO technical = programme

Programme Committee
-------------------
Luca = Aceto, Reykjavik University, IS
Stephen Bloom, Stevens Institute of = Technology, Hoboken, USA
Marcello Bonsangue, Leiden = University, NL
Corina Cirstea, University of Southampton, = UK
Jos=E9 Fiaderio, University of = Leicester, UK
Rolf Hennicker, University of Munich, D
Furio = Honsell, University of Udine, I
Bart Jacobs, University of Nijmegen, = NL
Alexander Kurz, University of = Leicester, UK (co-chair)
Stefan Milius, University of = Braunschweig, D
Ugo Montanari, University of Pisa, I
Larry = Moss, Indiana University, Bloomington, USA
Till Mossakowski, DFKI Lab = Bremen and University of Bremen, D
Dirk Pattinson, Imperial College = London, UK
Dusko Pavlovic, Kestrel Institute, USA
John Power, University of Bath, = UK
Jan = Rutten, CWI and Free University, Amsterdam, NL
Davide = Sangiorgi, University of Bologna, I
Lutz Schr=F6der, DFKI Lab Bremen and = University of Bremen, D
Eugene Stark, State University of New = York, USA
Andrzej Tarlecki, Warsaw University, PL = (co-chair)
Yde Venema, University of Amsterdam, NL
James = Worrell, University of Oxford, UK

------------------
Jiri Adamek, Michel Bidoit, = Corina Cirstea, Jose Fiadeiro (co-chair,
Haveraaen, Bart Jacobs, = Hans-Joerg Kreowski, Alexander Kurz, Marina
Lenisa, Ugo Montanari, Larry = Moss, Till Mossakowski, Peter Mosses, 
Fernando Orejas, Francesco = Parisi-Presicce, John Power, Horst Reichel, 
Markus = Roggenbach, Jan Rutten (co-chair, http://homepages.cwi.nl/~janr/), 
Marino Miculan, Ivan Scagnetto,

-------------------------
The = conference will be held in the city of Udine, the capital of the = historical 
region of Friuli, Italy. Located between the = Adriatic sea and the Alps, close to 
Venice, Austria and Slovenia, = Udine is a city of Roman origins, funded by 
outstanding wine and culinary traditions.


CALCO = Tools Day
---------------
A special day at CALCO'09 is = dedicated to tools based on algebraic
and coalgebraic principles. = These include systems/prototypes/tools
developed of (co)algebraic specifications, but also tools = targeting different
application domains but making core or interesting = use of (co)algebraic
techniques. Tool submissions should be no longer = than 5 pages in the
LNCS format; the accepted tool papers will be = included in the final
LNCS proceedings of the conference.  The tools = should be available on
the web for download and evaluation. Each = submission will be evaluated
by at least three reviewers; one or = more of the reviewers will be asked
to download and run the tool. At = least one of the authors of each tool
paper must attend the = conference to demo the tool.
Submissions by e-mail to grosu@cs.uiuc.edu.

Important Dates (all in = 2009)
February 24      Tools = software and paper submissions due =       
March 28 =         Author notification =    
May 16 =           Camera ready = due       
September 6 =        CALCO Tools Day =        
Program Committee
Luigi Liquori, INRIA, Sophia = Antipolis, France
Grigore Rosu, University of Illinois, = Urbana, USA 

= --Apple-Mail-5-284690376-- From rrosebru@mta.ca Fri Nov 28 17:09:15 2008 -0400 Return-path: Envelope-to: categories-list@mta.ca Delivery-date: Fri, 28 Nov 2008 17:09:15 -0400 Received: from Majordom by mailserv.mta.ca with local (Exim 4.61) (envelope-from ) id 1L6ATC-0004KD-0c for categories-list@mta.ca; Fri, 28 Nov 2008 17:01:46 -0400 Date: Fri, 28 Nov 2008 19:11:07 +0100 From: Carlos Areces Subject: categories: ACKERMANN AWARD 2009: CALL FOR NOMINATIONS Content-type: text/plain To: undisclosed-recipients:; Sender: categories@mta.ca Precedence: bulk Reply-To: Carlos Areces Message-Id: Status: RO X-Status: X-Keywords: X-UID: 21 ========================================================================= ACKERMANN AWARD 2009 - THE EACSL OUTSTANDING DISSERTATION AWARD FOR LOGIC IN COMPUTER SCIENCE CALL FOR NOMINATIONS * Eligible for the 2009 Ackermann Award are PhD dissertations in topics specified by the EACSL and LICS conferences, which were formally accepted as PhD theses at a university or equivalent institution between 1.1.2007 and 31.12. 2008. * The deadline for submission is 15.3.2009. * Submission details are available at www.dimi.uniud.it/eacsl/award.html www.cs.technion.ac.il/eacsl * The award consists of - a diploma, - an invitation to present the thesis at the CSL conference, - the publication of the abstract of the thesis and the laudation in the CSL proceedings, - travel support to attend the conference. * The 2009 Ackermann Award will be presented to the recipients at the annual conference of the EACSL (CSL'09). * The jury consists of nine members: - The president of EACSL, J. Makowsky (Haifa); - The borad-member of EACSL, A. Dawar (Cambridge); - One member of the LICS organizing committee, G. Plotkin (Edinburgh); - P.-L. Curien (Paris) - A. Durand (Paris) - J. van Benthem (Amsterdam) - M. Grohe (Berlin); - M. Hyland (Cambridge); - A. Razborov (Moscow and Princeton). * The jury is entitled to give more than one award per year. * The previous Ackermann Award recipients were: 2005: Mikolaj Bojanczyk, Konstantin Korovin, Nathan Segerlind; 2006: Stefan Milius and Balder ten Cate; 2007: Dietmar Berwanger, Stephane Lengrand and Ting Zhang. 2008: Krishnendu Chatterjee * For the three years 2007-2009, the Award is sponsored by Logitech, S.A., Romanel, Switzerland, the worlds leading provider of personal peripherals. ========================================================================= From rrosebru@mta.ca Sun Nov 30 21:40:58 2008 -0400 Return-path: Envelope-to: categories-list@mta.ca Delivery-date: Sun, 30 Nov 2008 21:40:58 -0400 Received: from Majordom by mailserv.mta.ca with local (Exim 4.61) (envelope-from ) id 1L6xfH-0007el-DC for categories-list@mta.ca; Sun, 30 Nov 2008 21:33:31 -0400 From: "George Janelidze" To: "\"Categories\"" Subject: categories: In addition to the First Announcement of CT2009 Date: Mon, 1 Dec 2008 00:06:47 +0200 MIME-Version: 1.0 Content-Type: text/plain;charset="iso-8859-1" Content-Transfer-Encoding: 7bit Sender: categories@mta.ca Precedence: bulk Reply-To: "George Janelidze" Message-Id: Status: RO X-Status: X-Keywords: X-UID: 22 Dear Colleagues, http://ct2009.info is a very preliminary form of Website of CT2009. Sorry to say, at the moment it is far from containing all relevant information as it was promised in the First Announcement sent to you on October 6; we hope, however, to complete it very soon and certainly during this month. George Janelidze