From MAILER-DAEMON Tue Feb 24 21:24:54 2004 Date: 24 Feb 2004 21:24:54 -0400 From: Mail System Internal Data Subject: DON'T DELETE THIS MESSAGE -- FOLDER INTERNAL DATA Message-ID: <1077672294@mta.ca> X-IMAP: 1070292397 0000000012 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 Dec 1 09:16:54 2003 -0400 Return-path: Envelope-to: categories-list@mta.ca Delivery-date: Mon, 01 Dec 2003 09:16:54 -0400 Received: from Majordom by mailserv.mta.ca with local (Exim 4.10) id 1AQnoC-00034p-00 for categories-list@mta.ca; Mon, 01 Dec 2003 09:09:48 -0400 From: Gaucher Philippe Reply-To: gaucher@pps.jussieu.fr Organization: PPS To: categories@mta.ca Subject: categories: question about lambda-filtered colimits Date: Mon, 1 Dec 2003 13:45:04 +0100 User-Agent: KMail/1.5 MIME-Version: 1.0 Content-Type: text/plain; charset="us-ascii" Content-Transfer-Encoding: 7bit Content-Disposition: inline Message-Id: <200312011345.04078.gaucher@pps.jussieu.fr> X-Antivirus: scanned by sophie at shiva.jussieu.fr Sender: cat-dist@mta.ca Precedence: bulk Status: O X-Status: X-Keywords: X-UID: 1 Dear category theorists I would be interested in knowing a proof of the following fact (due to J. Smith): "In a combinatorial model category M (i.e. a locally presentable cofibrantly generated model category), there are functorial factorizations of a map into a trivial cofibration followed by a fibration which preserve lambda-filtered colimits for sufficiently large regular cardinals lambda. The same is true for the factorizations as a cofibration followed by a trivial fibration." As far as I know about the proof, it suffices to apply the small object argument step-by-step and then to use some property of lambda-filtered colimits. The only property I know close to the problem is that a lambda-filtered colimits of lambda-presentable objects is lambda-presentable. But the underlying diagram of a pushout is not lambda-filtered. So I dont understand... Thanks in advance. pg. From rrosebru@mta.ca Tue Dec 2 14:11:00 2003 -0400 Return-path: Envelope-to: categories-list@mta.ca Delivery-date: Tue, 02 Dec 2003 14:11:00 -0400 Received: from Majordom by mailserv.mta.ca with local (Exim 4.10) id 1AREve-00066Y-00 for categories-list@mta.ca; Tue, 02 Dec 2003 14:07:18 -0400 Date: Tue, 2 Dec 2003 16:42:02 +0100 From: Jiri Rosicky To: cat-dist@mta.ca Subject: categories: re: question about lambda-filtered colimits Message-ID: <20031202154202.GA19936@queen.math.muni.cz> Mime-Version: 1.0 Content-Type: text/plain; charset=iso-8859-2 Content-Disposition: inline User-Agent: Mutt/1.4.1i Sender: cat-dist@mta.ca Precedence: bulk Status: O X-Status: X-Keywords: X-UID: 2 The proof can be found in the paper J.Adamek, H.Herrlich, J.Rosicky, W.Tholen, On a generalized small-object argument for the injective subcategory problem, Cah. Top. Geom. Diff. Cat. XLIII (2002), 83-106. ----- Forwarded message from Gaucher Philippe ----- > > > Dear category theorists > > > I would be interested in knowing a proof of the following fact (due to J. > Smith): > > "In a combinatorial model category M (i.e. a locally presentable cofibrantly > generated model category), there are functorial factorizations of a map into > a trivial cofibration followed by a fibration which preserve lambda-filtered > colimits for sufficiently large regular cardinals lambda. The same is true > for the factorizations as a cofibration followed by a trivial fibration." > > As far as I know about the proof, it suffices to apply the small object > argument step-by-step and then to use some property of lambda-filtered > colimits. The only property I know close to the problem is that a > lambda-filtered colimits of lambda-presentable objects is lambda-presentable. > But the underlying diagram of a pushout is not lambda-filtered. So I dont > understand... > > Thanks in advance. pg. > > > > ----- End forwarded message ----- From rrosebru@mta.ca Wed Dec 3 11:54:35 2003 -0400 Return-path: Envelope-to: categories-list@mta.ca Delivery-date: Wed, 03 Dec 2003 11:54:35 -0400 Received: from Majordom by mailserv.mta.ca with local (Exim 4.10) id 1ARZIV-0003vc-00 for categories-list@mta.ca; Wed, 03 Dec 2003 11:52:15 -0400 Message-Id: <5.0.2.1.0.20031203143346.0305a5e0@pop.freeserve.com> X-Sender: ll319dg.fsnet.co.uk@pop.freeserve.com X-Mailer: QUALCOMM Windows Eudora Version 5.0.2 Date: Wed, 03 Dec 2003 15:02:05 +0000 To: categories@mta.ca From: Ronald Brown Subject: categories: Threatened closure of mathematics at Bangor Mime-Version: 1.0 Content-Type: text/plain; charset="us-ascii"; format=flowed Sender: cat-dist@mta.ca Precedence: bulk Status: RO X-Status: X-Keywords: X-UID: 3 Dear All, I am sure the subject matter is news to you all, and I am now asking for help. I am sure you would want to know before the axe falls. Details of the problem are below, but any email or fax expressing support for maths research work at Bangor, and dismay at the proposed threat to the international research reputation of the University of Wales, Bangor, would be welcomed by all of us in maths. It could also say that information on the threat comes from me, since I have no contract with the University, and it should ask for this view to be presented to Council at its meeting on Friday, Oct 4, at 1015 am. The crucial variable is the number of messages received. These would also be helpful as evidence for future plans. Any email or fax should go by tomorrow (Thursday, December 4) at the latest to Professor Roy Evans, Vice Chancellor, University of Wales, Bangor fax: +44 1248 383 296 email: roy.evans@bangor.ac.uk Details: Maths has a declining recruitment over the last few years, and it is in this session under 10. The financial system in place is that maths get less credit for service teaching than for teaching of students registered for a maths degree, and the current situation is worse in that classes of 60 are taught by maths staff with financial credit going wholly to the School of Informatics, and not to the maths group, which is somehow accounted separately. In any case, no recruitment budget for maths has been assigned over the last few years. Also attacked at Senate was the research reputation of Mathematics at Bangor, so this is where you can all really help. I was there as an observer, so did not speak, and am now in a position to argue that Senate had inadequate information in this respect. So if you have contrary views, please ask the VC to present these to Council on Friday morning. I have proposed that Council should reject the Senate motion, and ask that adequate funds should be assigned to recruitment in maths with clear and achievable goals. The Senate motion is actually to sack some staff and then to ask for certain milestones, to be achieved, with apparently zero resources. Ronnie r.brown@bangor.ac.uk http://www.bangor.ac.uk/~mas010 From rrosebru@mta.ca Wed Dec 3 16:51:46 2003 -0400 Return-path: Envelope-to: categories-list@mta.ca Delivery-date: Wed, 03 Dec 2003 16:51:46 -0400 Received: from Majordom by mailserv.mta.ca with local (Exim 4.10) id 1ARduJ-00046W-00 for categories-list@mta.ca; Wed, 03 Dec 2003 16:47:35 -0400 Date: Wed, 3 Dec 2003 10:06:53 +0100 Subject: categories: nominations for Goedel Prize 2004 Content-Type: text/plain; charset=US-ASCII; format=flowed Mime-Version: 1.0 (Apple Message framework v552) To: categories@mta.ca From: Pierre-Louis Curien Content-Transfer-Encoding: 7bit Message-Id: <09B25252-2570-11D8-B021-000393DAA298@local.> X-Mailer: Apple Mail (2.552) X-Antivirus: scanned by sophie at shiva.jussieu.fr Sender: cat-dist@mta.ca Precedence: bulk Status: O X-Status: X-Keywords: X-UID: 4 This message is to draw your attention on the Goedel Prize http://www.math.utu.fi/ICALP04/godel2004.html which is probably still not well-enough known in the communities of programming languages, global computing, semantics, and logical / categorical / probabilistic foundations. The deadline for nominations is Januuary 10, 2004 As a newly appointed member of the jury, I encourage submissions in this general area of researchy! Please do not hesitate to forward this message to other relevant mailing lists. Best regards, Pierre-Louis Curien From rrosebru@mta.ca Thu Dec 4 21:36:19 2003 -0400 Return-path: Envelope-to: categories-list@mta.ca Delivery-date: Thu, 04 Dec 2003 21:36:19 -0400 Received: from Majordom by mailserv.mta.ca with local (Exim 4.10) id 1AS4pH-00019O-00 for categories-list@mta.ca; Thu, 04 Dec 2003 21:32:11 -0400 Date: Thu, 4 Dec 2003 17:21:49 GMT From: Jeremy.Gibbons@comlab.ox.ac.uk Message-Id: <200312041721.hB4HLncH009601@mercury.comlab.ox.ac.uk> To: categories@mta.ca Subject: categories: Mathematics of Program Construction Sender: cat-dist@mta.ca Precedence: bulk Status: O X-Status: X-Keywords: X-UID: 5 [We apologize if you receive multiple copies of this announcement.] MPC 2004 7th International Conference on MATHEMATICS OF PROGRAM CONSTRUCTION ----------------------------------- http://www.cs.cornell.edu/Projects/MPC2004 Organised in conjunction with AMAST '04 12--14 July, 2004 Stirling, Scotland, UK CALL FOR PAPERS This conference aims to promote the development of mathematical principles and techniques that are demonstrably useful in the process of constructing computer programs, whether implemented in hardware or software. The focus of the conference is on techniques that combine precision with conciseness, enabling programs to be constructed by formal calculation. Within this theme, the scope of the conference is very diverse. We welcome contributions to programming methodology (for example, formal methods for program specification and transformation), to programming paradigms (for example, generic programming techniques and type systems) and to language design (for example, programming calculi and programming language semantics). Theoretical contributions are welcome provided their relevance to program construction is evident; discussion of applications is welcome provided the mathematical basis is evident. The conference will be organized in conjunction with the AMAST '04 Conference. There will also be a number of co-located workshops, including CMPP. Proceedings will be published in a volume of Springer-Verlag Lecture Notes in Computer Science. IMPORTANT DATES Deadline for submission of papers: 31st January, 2004 Notification of acceptance/rejection: 5th March, 2004 Final papers due: 26th April, 2004 Full papers should be submitted in Postscript or pdf format by e-mail to patwell@cs.cornell.edu by 31st January, 2004. PROGRAM COMMITTEE Roland Backhouse, Stephen Bloom, Eerke Boiten, Jules Desharnais, Thorsten Ehm, Jeremy Gibbons, Ian Hayes, Eric Hehner, Johan Jeuring, Dexter Kozen (chair), Rustan Leino, Hans Leiss, Christian Lengauer, Lambert Meertens, Bernhard Moeller, David Naumann, Alberto Pardo, Georg Struth, Jerzy Tiuryn, Mark Utting FURTHER INFORMATION Please refer to the web page for further details. http://www.cs.cornell.edu/Projects/MPC2004 From rrosebru@mta.ca Sat Dec 6 20:19:46 2003 -0400 Return-path: Envelope-to: categories-list@mta.ca Delivery-date: Sat, 06 Dec 2003 20:19:46 -0400 Received: from Majordom by mailserv.mta.ca with local (Exim 4.10) id 1ASmX9-0001Xm-00 for categories-list@mta.ca; Sat, 06 Dec 2003 20:12:23 -0400 Message-Id: <200312061722.hB6HMEWY021764@coraki.Stanford.EDU> X-Mailer: exmh version 2.6.3 04/04/2003 with nmh-1.0.4 To: categories@mta.ca Subject: categories: message from Joel Berman (fwd) Reply-To: JBerman@uic.edu Mime-Version: 1.0 Content-Type: text/plain; charset=us-ascii Date: Sat, 06 Dec 2003 09:22:14 -0800 From: Vaughan Pratt Sender: cat-dist@mta.ca Precedence: bulk Status: O X-Status: X-Keywords: X-UID: 6 It is with deep sadness that I announce to you that Professor Willem Blok, a renowned mathematician and Professor at the University of Illinois, died tragically in an automobile accident on November 30. He was 56. In addition to his wife Mary Ogilvie, he is survived by his son Philip, aged 7, mother Yeltge, and brothers Rieuwert, Jan, Cees, and Gerard. Many of us knew Wim as a fine mathematician and colleague. In addition to mathematics, he was an accomplished musician and birder. He traveled the world, lecturing on mathematics, exploring wild and remote areas, and observing animals and birds in their natural habitats. Above all he was a wonderful friend and companion. We will miss him dearly. There will be a memorial service on Monday, December 8, at 5:00 pm at Unity Temple, Unity Temple, 875 Lake Street, Oak Park, IL 60301. Unity Temple is at the corner of Lake and Kenilworth Mary has asked that in lieu of flowers, contributions be made to the Philip Blok Education Fund for the education of Philip and mailed to Ms. Carolyn Eloby, Department of Mathematics, Statistics, and Computer Science, University of Illinois at Chicago, 851 South Morgan, Chicago IL, 60607. Our deepest sympathy and condolences go out to Wim's family. This is a tragedy that will deeply affect many in our field who knew Wim for so many years. Joel Berman From rrosebru@mta.ca Wed Dec 10 17:17:40 2003 -0400 Return-path: Envelope-to: categories-list@mta.ca Delivery-date: Wed, 10 Dec 2003 17:17:40 -0400 Received: from Majordom by mailserv.mta.ca with local (Exim 4.10) id 1AUBe1-0003bm-00 for categories-list@mta.ca; Wed, 10 Dec 2003 17:13:17 -0400 Date: Tue, 9 Dec 2003 23:38:04 -0600 Message-Id: <200312100538.hBA5c4rY001061@linus.math.tulane.edu> From: Michael Mislove To: categories@mta.ca Subject: categories: MFPS XX Sender: cat-dist@mta.ca Precedence: bulk Status: RO X-Status: X-Keywords: X-UID: 7 Dear Colleagues, Below is the first announcement about MFPS XX. The meeting will take place on the CMU campus in May, co-located with the annual ASL meeting that also will be held on the CMU campus. All interested parties are invited to submit contributed talks for the open sessions of the meeting. Best regards, Mike Mislove ======================================================= FIRST ANNOUNCEMENT MFPS 20 Twentieth Workshop on the Mathematical Foundations of Programming Semantics Carnegie Mellon University May 23 - 26, 2004 Co-located with Annual Association of Symbolic Logic Meeting The twentieth workshop on the Mathematical Foundations of Programming Semantics will take place on the campus on Carnegie Mellon University, Pittsburgh, PA USA from May 23 through May 26, 2004. This year, the conference is co-locating with the annual meeting of the Association of Symbolic Logic. For more information about the annual ASL meeting, see http://www.aslonline.org/ The goals of the MFPS series have been to provide a forum for researchers in all areas surrounding semantics to present their latest research results, and to improve communication and interactions between mathematicians, logicians and computer scientists who work in these areas. The areas of relevance include category theory, domain theory, logic and topology on the mathematics side, and type theory, semantics, and the design, verification and implementation of programming languages on the computer science side. The meetings alternate between a large conference format featuring invited speakers and refereed, contributed papers, on the one hand, and more informal workshops featuring survey talks by invited speakers and contributed talks by researchers about their latest research, on the other. MFPS XX is a workshop year, and so we will follow the workshop format, including contributed talks by participants (see below). MFPS XX will feature six invited, plenary talks, each with a complementary special session on a topic closely related to the interests of the speaker. The plenary speakers are: Christel Baier (Bonn) Radha Jagadeesan (DePaul) Pat Lincoln (SRI) Luke Ong (Oxford) Dana Scott (CMU) - Joint ASL/MFPS Lecture Alex Simpson (Edinburgh) As indicated, each of these talks will be followed by a special session. These sessions and their organizers are: Model checking - organized by Professor Baier and Prakash Panagaden (McGill) Hybrid systems - organized by Professor Jagadeesan, Michael Mislove (Tulane) and Prakash Panagaden Security - organized by Dr. Lincoln and Dr. Catherine Meadows (NRL) Game Theory and Semantics - organized by Dr. Ong, Stephen Brookes (CMU) and Michael Mislove Domain Theory - organized by Steve Awodey (CMU) Topology and Domain Theory - organized by Dr. Simpson and Achim Jung (Birmingham) In addition to the plenary talks and sessions, the program will include talks contributed by the participants. Those interested in participating in the meeting by contributing a talk are invited to send a title and short abstract to the email address mfps@math.tulane.edu If a participant believes his or her talk is appropriate to one of the special sessions, then this should be noted in the email message. Slots for talks will be allocated on a first come, first served basis. MFPS is organized by Stephen Brookes (CMU), Achim Jung (Birmingham), Catherine Meadows (NRL), Michael Mislolve (Tulane) and Prakash Panagaden (McGill). The local arrangements for MFPS XX will be overseen by Professor Brookes. More information about MFPS XX will be available on the home page, http://www.math.tulane.edu/~mfps/mfps20.html when it is available. In particular, information about lodging, conference registration, and possible support will be announced there and by additional emails. We anticipate support from the US Office of Naval Research, and component of this usually includes support for women, minorities and graduate students who wish to participate in the meeting. Questions or comments about the meeting can be directed to mfps@math.tulane.edu From rrosebru@mta.ca Wed Dec 10 17:17:40 2003 -0400 Return-path: Envelope-to: categories-list@mta.ca Delivery-date: Wed, 10 Dec 2003 17:17:40 -0400 Received: from Majordom by mailserv.mta.ca with local (Exim 4.10) id 1AUBdQ-0003ZZ-00 for categories-list@mta.ca; Wed, 10 Dec 2003 17:12:40 -0400 Date: Mon, 8 Dec 2003 19:25:34 -0500 (EST) Message-Id: From: Franck van Breugel To: categories@mta.ca Subject: categories: The category of probabilistic mappings Sender: cat-dist@mta.ca Precedence: bulk Status: O X-Status: X-Keywords: X-UID: 8 I am looking for F.W. Lawvere. The category of probabilistic mappings. Preprint, 1962. Does someone have an (electronic) copy? Franck van Breugel York University Department of Computer Science 4700 Keele Street Toronto, Ontario Canada M3J 1P3 From rrosebru@mta.ca Wed Dec 17 17:40:39 2003 -0400 Return-path: Envelope-to: categories-list@mta.ca Delivery-date: Wed, 17 Dec 2003 17:40:39 -0400 Received: from Majordom by mailserv.mta.ca with local (Exim 4.10) id 1AWjK7-0003yV-00 for categories-list@mta.ca; Wed, 17 Dec 2003 17:35:15 -0400 Mime-Version: 1.0 X-Sender: awodey@cyrus.andrew.cmu.edu Message-Id: Date: Wed, 10 Dec 2003 16:59:31 -0500 To: categories@mta.ca From: Steve Awodey Subject: categories: CORRECTION: MFPS XX Content-Type: text/plain; charset="us-ascii" ; format="flowed" Sender: cat-dist@mta.ca Precedence: bulk Status: RO X-Status: X-Keywords: X-UID: 9 In this announcement: > >======================================================= > > FIRST ANNOUNCEMENT > MFPS 20 > Twentieth Workshop on the > Mathematical Foundations of Programming Semantics > Carnegie Mellon University > May 23 - 26, 2004 > > Co-located with Annual Association of Symbolic Logic Meeting the session: > > Domain Theory - organized by Steve Awodey (CMU) > should read: Logical Foundations of Programming Semantics (joint session with ASL) - organized by Steve Awodey (CMU) thanks, Steve From rrosebru@mta.ca Wed Dec 17 17:40:39 2003 -0400 Return-path: Envelope-to: categories-list@mta.ca Delivery-date: Wed, 17 Dec 2003 17:40:39 -0400 Received: from Majordom by mailserv.mta.ca with local (Exim 4.10) id 1AWjKy-00042H-00 for categories-list@mta.ca; Wed, 17 Dec 2003 17:36:08 -0400 Date: Fri, 12 Dec 2003 11:51:28 GMT Message-Id: <200312121151.hBCBpSn05837@cuillin.inf.ed.ac.uk> X-Authentication-Warning: cuillin.inf.ed.ac.uk: als set sender to als+lics-junk@inf.ed.ac.uk using -f To: LICS List From: Alex Simpson Subject: categories: LICS 2004: 2nd CFP Reply-To: als+lics-junk@dcs.ed.ac.uk Sender: cat-dist@mta.ca Precedence: bulk Status: O X-Status: X-Keywords: X-UID: 10 CALL FOR PAPERS Nineteenth Annual IEEE Symposium on LOGIC IN COMPUTER SCIENCE (LICS 2004) July 14th - 17th, 2004, Turku, Finland http://www.lfcs.informatics.ed.ac.uk/lics/ The LICS Symposium is an annual international forum on theoretical and practical topics in computer science that relate to logic in a broad sense. We invite submissions on that theme. Suggested, but not exclusive, topics of interest for submissions include: automata theory, automated deduction, categorical models and logics, concurrency and distributed computation, constraint programming, constructive mathematics, database theory, domain theory, finite model theory, proof theory, formal aspects of program analysis, formal methods, hybrid systems, lambda and combinatory calculi, linear logic, logical aspects of computational complexity, logics in artificial intelligence, logical representation of knowledge, logics of programs, logic programming, modal and temporal logics, model checking, programming language semantics, reasoning about security, rewriting, specifications, type systems and type theory, and verification. Important Dates: Authors are required to submit electronically a paper title and a short abstract of about 100 words before submitting the extended abstract of the paper. Titles & Short Abstracts Due : January 26, 2004 Extended Abstracts Due : February 2, 2004 Author Notification : March 27, 2004 Camera-ready Papers Due : April 25, 2004 All deadlines are firm; late submissions will not be considered. Detailed information about electronic paper submission will be posted at the LICS website. Submission Instructions: Extended abstracts must be submitted electronically in the IEEE Proceedings two-column camera-ready format. Each abstract must be in English and provide sufficient detail to allow the program committee to assess the merits of the paper. It should begin with a succinct statement of the issues, a summary of the main results, and a brief explanation of their significance and relevance to the conference and to computer science, all phrased for the non-specialist. Technical development directed to the specialist should follow. References and comparisons with related work should be included. Extended abstracts may be no longer than 10 pages including references, and must be formatted in the IEEE Proceedings two-column camera-ready style (IEEE style files will be accessible from the LICS website). If necessary, detailed proofs of technical results can be included in a clearly-labelled appendix in the same two-column format following the 10-page extended abstract. This material may be read at the discretion of the program committee. Extended abstracts not conforming to the above requirements concerning format and length may be rejected without further consideration. The results must be unpublished and not submitted for publication elsewhere, including the proceedings of other symposia or workshops. All authors of accepted papers will be expected to sign copyright release forms. One author of each accepted paper will be expected to present it at the conference. Short Presentations: LICS 2004 will have a session of short (5--10 minutes) presentations. This session is intended for descriptions of work in progress, student projects, and relevant research being published elsewhere; other brief communications may be acceptable. Submissions for these presentations, in the form of short abstracts (1 or 2 pages long), should be entered at the LICS 2004 submission site between March 27th and April 4th, 2004. Authors will be notified of acceptance or rejection by April 17th, 2004. Kleene Award for Best Student Paper: An award in honor of the late S.C. Kleene will be given for the best student paper, as judged by the program committee. For a submission to be eligible, the research presented in the paper must have been carried out while all authors were full-time students. The program committee may decline to make the award or may split it among several papers. Affiliated Workshops: As in previous years, there will be a number of workshops affiliated with LICS 2004; information will be posted at the LICS website. Program Chair: Harald Ganzinger MPI Informatik, Saarbruecken, Germany http://www.mpi-sb.mpg.de/~hg/ Program Committee: Rajeev Alur, U. of Pennsylvania Andrew Appel, Princeton U. Albert Atserias, UPC, Barcelona Franz Baader, Dresden U. Samuel Buss, U. of California, San Diego Roberto Di Cosmo, U. de Paris VII Gilles Dowek, Ecole Polytechnique, Paris Harald Ganzinger, MPI, Saarbruecken (chair) Martin Hofmann, LMU Muenchen Achim Jung, U. of Birmingham Kim Larsen, Aalborg U. Leonid Libkin, U. of Toronto Rocco de Nicola, U. di Firenze Damian Niwinski, Warsaw U. Prakash Panangaden, McGill U., Montreal Albert Rubio, UPC, Barcelona Vitaly Shmatikov, SRI International Moshe Vardi, Rice U., Houston Helmut Veith, TU Wien Andrei Voronkov, U. of Manchester Conference Chair: Lauri Hella Department of Math., Stat., and Phil. Kanslerinrinne 1 33014 University of Tampere, Finland Email: lauri.hella@uta.fi Workshops Chair: Phil Scott, U. of Ottawa Email: phil@site.uottawa.ca Publicity Chair: Alex Simpson, U. of Edinburgh Email: Alex.Simpson@ed.ac.uk General Chair: Phokion G. Kolaitis, UC Santa Cruz Email: kolaitis@cse.ucsc.edu Organizing Committee: S. Abramsky, A. Broder, E. Clarke, A. Felty, H. Ganzinger, H. Gabow, J. Halpern, L. Hella, U. Kohlenbach, P. Kolaitis (chair), D. Leivant, G. Longo, H. Mairson, A. Middeldorp, J. Mitchell, M. Nielsen, P. Panangaden, G. Plotkin, F. Pfenning, P. Scott, R. Shore, A. Simpson, I.A. Stewart. Advisory Board: Y. Gurevich, C. Kirchner, D. Kozen, U. Martin, L. Pacholski, V. Pratt, A. Scedrov, M.Y. Vardi, G. Winskel. Sponsorship: The symposium is sponsored by the IEEE Technical Committee on Mathematical Foundations of Computing in cooperation with the Association for Symbolic Logic, and the European Association for Theoretical Computer Science. Invited Speakers: The following distinguished speakers have agreed to give invited talks at LICS 2004 : Samson Abramsky (Oxford U.), Robert Harper (Carnegie Mellon University), Alexander Razborov (IAS, Princeton, and Steklov Math. Inst., Moscow), Davide Sangiorgi (U. di Bologna), Igor Walukiewicz (U. Bordeaux), and Mihalis Yannakakis (Stanford U.). Collocated events: ICALP'04 will be collocated with LICS'04; for details see http://www.math.utu.fi/ICALP04/. From rrosebru@mta.ca Wed Dec 17 17:41:16 2003 -0400 Return-path: Envelope-to: categories-list@mta.ca Delivery-date: Wed, 17 Dec 2003 17:41:16 -0400 Received: from Majordom by mailserv.mta.ca with local (Exim 4.10) id 1AWjOV-0004Ee-00 for categories-list@mta.ca; Wed, 17 Dec 2003 17:39:47 -0400 Date: Tue, 16 Dec 2003 08:53:26 -0500 (EST) From: Richard Blute To: categories@mta.ca Message-ID: MIME-Version: 1.0 Content-Type: TEXT/PLAIN; charset=US-ASCII Subject: categories: Category Theory and Computer Science, TAC Special Volume Sender: cat-dist@mta.ca Precedence: bulk Status: O X-Status: X-Keywords: X-UID: 11 SPECIAL VOLUME OF THEORY AND APPLICATIONS OF CATEGORIES (TAC) Proceedings, Category Theory and Computer Science CTCS'02 Guest Editors - Rick Blute(Ottawa) and Richard Wood (Dalhousie) Second Call for Papers http://www.tac.mta.ca/tac/ This special volume of Theory and Applications of Categories is devoted to the proceedings of the 2002 conference Category Theory and Computer Science, held at the University of Ottawa. The purpose of the conference series is the advancement of the foundations of computing using the tools of category theory. Indeed, category theory provides one of the key tools in the analysis of the interaction between logic and the theory of computation. The extent to which category theory has influenced these areas can be seen from the following list of topics, which are typical of the interests of this conference: -coalgebras and computing -concurrent and distributed systems -constructive mathematics -declarative programming and term rewriting -domain theory and topology -foundations of computer security -linear logic -modal and temporal logics -models of computation -program logics, data refinement, and specification -programming language semantics -type theory The list is by no means exhaustive. This special volume is devoted not just to journal versions of the papers which appeared in the proceedings, but is intended to showcase papers which emphasize any of the above topics. Papers will be refereed to the usual high standards of TAC. * Submission deadline: January 5th, 2004. * Submissions, in pdf or ps format, should be sent to Rick Blute at . * Questions (e.g., about the appropriateness of a submission) and comments should be directed to the same address. * To expedite handling, authors should prepare their manuscripts following the instructions for contributors described in From rrosebru@mta.ca Mon Dec 22 19:55:33 2003 -0400 Return-path: Envelope-to: categories-list@mta.ca Delivery-date: Mon, 22 Dec 2003 19:55:33 -0400 Received: from Majordom by mailserv.mta.ca with local (Exim 4.10) id 1AYZmo-0002g8-00 for categories-list@mta.ca; Mon, 22 Dec 2003 19:48:30 -0400 Date: Mon, 22 Dec 2003 11:59:05 +0000 (GMT) From: "Prof. Peter Johnstone" To: Categories mailing list Subject: categories: 80'th Peripatetic Seminar on Sheaves and Logic Message-ID: MIME-Version: 1.0 Content-Type: TEXT/PLAIN; charset=US-ASCII X-DPMMS-Scan-Signature: fd9e64b254ec2c9582db537390fcb7a6 Sender: cat-dist@mta.ca Precedence: bulk Status: O X-Status: X-Keywords: X-UID: 12 It is proposed to hold the 80th meeting of the Peripatetic Seminar on Sheaves and Logic in Cambridge during the weekend of 3/4 April 2004. Further details of the arrangements will be announced by mid-February; in the meantime, any queries may be addressed to the organizers, Eugenia Cheng , Martin Hyland or Peter Johnstone .