*mbx* 42cf5a8f00000000 2-Sep-2004 15:09:24 -0300,3034;000000000001-00000000 Return-path: Envelope-to: categories-list@mta.ca Delivery-date: Thu, 02 Sep 2004 15:09:24 -0300 Received: from Majordom by mailserv.mta.ca with local (Exim 4.10) id 1C2vxX-0004x3-00 for categories-list@mta.ca; Thu, 02 Sep 2004 15:05:19 -0300 Date: Thu, 2 Sep 2004 13:39:48 +0200 From: Jiri Rosicky To: categories@mta.ca Subject: categories: Re: Question about wfs Message-ID: <20040902113948.GA708@queen.local> References: <200408241031.51294.gaucher@pps.jussieu.fr> Mime-Version: 1.0 Content-Type: text/plain; charset=iso-8859-2 Content-Disposition: inline In-Reply-To: <200408241031.51294.gaucher@pps.jussieu.fr> Sender: cat-dist@mta.ca Precedence: bulk Gaucher's question has a negative answer: In any locally finitely presentable category K, (Mor(K), Iso) is a weak factorization system which is cofibrantly generated by morphisms h having finitely presentable domains and codomains. It follows from the fact that a morphism g has the right lifting property with respect to such morphisms h iff it is an isomorphism. This can be found in the dual form in J.Dydak, F.R.Ruiz del Portal, Isomorphisms in pro-categories, J. Pure Appl. Alg. 190 (2004), 85-120, Proposition 3.1. Also, this follows from the fact that such g is both a pure monomorphism and a pure epimorphism and thus both a regular monomorphism and an epimorphism. Thus it suffices to find a weak factorization system (L,R) in a locally finitely presentable category which is not cofibrantly generated. This was done, for example, in J.Adamek, H.Herrlich, J.Rosicky and W.Tholen, Weak factorization systems and topological functors, Appl. Categ. Struct. 10 (2002), 237-249 - take the category of posets and (L,R) such that L consists of embeddings. Jiri Rosicky > Dear All > > Let (L1,R1) and (L2,R2) be two weak factorization systems (by weak, it is > usually meant that the diagonal map is not unique) such that L1 \subset L2. > > Example of such a thing: in a locally presentable category, take two sets of > maps I1 and I2 with I1\subset I2, and let (L1,R1)=(cof(I1),inj(I1)) and > (L2,R2)=(cof(I2),inj(I2)). Two such wfs are called cofibrantly generated. > > Now come back to (L1,R1) and (L2,R2) with L1 \subset L2. > > Question: if (L2,R2) is cofibrantly generated, is (L1,R1) cofibrantly > generated ? if we work in a locally presentable category, can one say > something under Vopenka's principle ? > > The only example I have in mind is the wfs (Serre cofibration, trivial Serre > fibration) which is cofibrantly generated by {S^{n-1}->D^n} and (Hurewicz > cofibration, Hurewicz fibration which are homotopy equivalences) which is > probably not cofibrantly generated. Unfortunately, the inclusion is in the > wrong direction : {Serre cofibration}\subset {Hurewicz cofibration} since > {Hurewicz fibration which are homotopy equivalences} \subset {trivial Serre > fibration} so that does not give a counterexample. > > > Thanks in advance. pg. > 6-Sep-2004 13:09:50 -0300,1031;000000000000-00000000 Return-path: Envelope-to: categories-list@mta.ca Delivery-date: Mon, 06 Sep 2004 13:09:50 -0300 Received: from Majordom by mailserv.mta.ca with local (Exim 4.10) id 1C4LyJ-0001Km-00 for categories-list@mta.ca; Mon, 06 Sep 2004 13:03:59 -0300 Date: Thu, 2 Sep 2004 16:22:53 -0400 Mime-Version: 1.0 (Apple Message framework v553) Content-Type: text/plain; charset=US-ASCII; format=flowed Subject: categories: state monads From: Francois Metayer To: categories@mta.ca Content-Transfer-Encoding: 7bit Message-Id: X-Mailer: Apple Mail (2.553) Sender: cat-dist@mta.ca Precedence: bulk Dear Categorists, The following preprint is available on math arxiv: "State monads and their algebras" http://arxiv.org/abs/math/0407251 It presents a proof of monadicity for X -> X^S in regular ccc's provided S is a non empty object. Thanks in advance for comments and pointers to relevant litterature. Francois 6-Sep-2004 13:09:50 -0300,5102;000000000000-00000000 Return-path: Envelope-to: categories-list@mta.ca Delivery-date: Mon, 06 Sep 2004 13:09:50 -0300 Received: from Majordom by mailserv.mta.ca with local (Exim 4.10) id 1C4Lyj-0001Mr-00 for categories-list@mta.ca; Mon, 06 Sep 2004 13:04:25 -0300 Message-Id: <200409030203.i8323aO08301@synaphai.kurims.kyoto-u.ac.jp> X-Authentication-Warning: synaphai.kurims.kyoto-u.ac.jp: hassei@localhost didn't use HELO protocol To: categories@mta.ca Subject: categories: TLCA'05 Second Call for Papers Date: Fri, 03 Sep 2004 11:03:36 +0900 From: Hasegawa Masahito Sender: cat-dist@mta.ca Precedence: bulk Seventh International Conference on Typed Lambda Calculi and Applications (TLCA '05) Nara, Japan 21-23 April 2005 (Colocated with RTA as RDP '05) http://www.kurims.kyoto-u.ac.jp/rdp05/tlca/ SECOND CALL FOR PAPERS ** NEW: INVITED SPEAKERS ** ** IMPORTANT: SUBMISSION DEADLINE 2 NOVEMBER 2004 ** The TLCA series of conferences serves as a forum for presenting original research results that are broadly relevant to the theory and applications of typed lambda calculi and related systems. The following list of topics is non-exhaustive: * Typed and untyped lambda-calculi as models of computation. * Proof-theory: Natural deduction, sequent calculi, cut elimination and normalization. Propositions as types, linear logic and proof nets. * Types: Subtypes, dependent types, type inference, polymorphism, types for security. * Semantics: Denotational semantics, game semantics, realizability, categorical models. * Programming languages: Foundations of functional and object-oriented programming, proof search, logic programming, type checking. * Implementation: Abstract machines, parallel execution, optimal reduction, program optimization. * Computer-aided reasoning. The programme of TLCA'05 will consist of three invited talks and about 25 papers selected from original contributions. Accepted papers will be published as a volume of Springer Lecture Notes in Computer Science series. [http://www.springer.de/comp/lncs/index.html] Invited Speakers: ----------------- Thierry Coquand, Goteborg Amy Felty, Ottawa (joint speaker with RTA) Susumu Hayashi, Kobe Submissions: ------------ The submitted papers should describe original work and should allow the Programme Committee to assess the merits of the contribution: in particular references and comparisons with related work should be included. Submission of material already published or submitted to other conferences with published proceedings is not allowed. Papers should not exceed 15 pages in Springer LNCS format. An abstract (ASCII text) of no more than 150 words should be sent separately at least a week before the paper submission deadline. All submissions should be sent by e-mail to tlca05@mimuw.edu.pl Important dates: ---------------- Authors are required to submit a paper title and a short abstract at least a weak before the paper submission deadline. All deadlines below are at 24:00 Central European time (GMT+1). Titles and abstracts due: October 25, 2004 Paper submission deadline: November 2, 2004 Notification: December 22, 2004 Final versions due: January 31, 2005 Accepted papers should be prepared according to Springer LNCS guidelines as described in http://www.springer.de/comp/lncs/authors.html. Final versions must include all source files. Further information is available from the conference web page http://www.kurims.kyoto-u.ac.jp/rdp05/tlca/ Inquiries concerning submissions and programme should be addressed to tlca05@mimuw.edu.pl. Inquiries concerning the conference organization and participation should be sent to tlca05org@kurims.kyoto-u.ac.jp TLCA Steering Committee: ------------------------ Samson. Abramsky, Oxford, chair Henk Barendregt, Nijmegen Mariangiola Dezani-Ciancaglini, Turin Roger Hindley, Swansea Martin Hofmann, Munich TLCA 05 Programme Committee: ---------------------------- Thorsten Altenkirch, University of Nottingham Stefano Berardi, University of Turin Adriana Compagnoni, Stevens Institute of Technology, Hoboken Herman Geuvers, Nijmegen University Andy Gordon, Microsoft Research, Cambridge Fritz Henglein, Copenhagen University Martin Hofmann, LMU Munich Assaf J. Kfoury, Boston University Atsushi Ohori, JAIST, Tatsunokuchi Laurent Regnier, IML Marseille Pawel Urzyczyn, Warsaw University, chair Marek Zaionc, Jagiellonian University, Cracow TLCA 05 Organizing Committee: ----------------------------- Masahito Hasegawa, Kyoto, chair Ryu Hasegawa, Tokyo Mitsu Okada, Keio Masahiko Sato, Kyoto Masako Takahashi, ICU ------------------------------------------------------------------------------ 6-Sep-2004 13:09:50 -0300,3841;000000000001-00000000 Return-path: Envelope-to: categories-list@mta.ca Delivery-date: Mon, 06 Sep 2004 13:09:50 -0300 Received: from Majordom by mailserv.mta.ca with local (Exim 4.10) id 1C4LzA-0001Pa-00 for categories-list@mta.ca; Mon, 06 Sep 2004 13:04:52 -0300 Date: Mon, 6 Sep 2004 13:19:23 +0200 Message-Id: <200409061119.i86BJNm22682@tin.liacs.nl> To: categories@mta.ca Subject: categories: Call for Participation: FMCO 2004 Sender: cat-dist@mta.ca Precedence: bulk From: cat-dist@mta.ca Apologize if you receive multiple copies of this e-mail. ********************* CALL FOR PARTICIPATION ******************** Third International Symposium on Formal Methods for Components and Objects (FMCO 2004) The objective of this symposium is to bring together top researchers in the area of software engineering to discuss the state-of-the-art and future applications of formal methods in the development of large component-based and object-oriented software systems. DATES 2 - 5 November 2004 PLACE Lorentz Center, Leiden University, Leiden, The Netherlands URL http://fmco.liacs.nl/fmco04.html Early registration fee applies for registration before 20/09/2004 !!! Participation is limited to about 80 people, based on a first-in first-served policy. For more information about participation and registration see the FMCO site at http://fmco.liacs.nl/fmco04.html or consult either F.S. de Boer (frb@cwi.nl) or M.M. Bonsangue (marcello@liacs.nl). PRELIMINARY PROGRAM TUESDAY 2nd, November 2004 8:45 - 9:00 Welcome 9:00 - 10:00 Keynote: Robin Milner (Cambridge University, UK) 10:00 - 10:30 Break 10:30 - 11:15 Rocco de Nicola (University of Firenze, IT) 11:15 - 12:00 Eugenio Moggi (Genova University, IT) 12:00 - 13:30 Lunch break 13:30 - 14:30 Keynote: Kim Bruce (Williams College, USA) 14:30 - 15:00 Break 15:00 - 15:45 Julian Rathke (Sussex University, UK) 15:45 - 16:00 Break 16:00 - 16:45 Martin Steffen (Kiel University, DE) 16:45 - 17:30 Marcello Bonsangue (LIACS, NL) WEDNESDAY 3rd, November 2004 9:00 - 10:00 Keynote: Tom Henzinger (University of California, Berkeley, USA) 10:00 - 10:30 Break 10:30 - 11:15 Susanne Graf (Verimag, FR) 11:15 - 12:00 Wang Yi (Uppsala University, SE) 12:00 - 13:15 Lunch break 13:15 - 14:15 Keynote: Thomas Ball (Microsoft Research at Redmond, USA) 14:15 - 14:30 Break 14:30 - 15:15 Frits Vaandrager (Nijmegen University, NL) 15:15 - 16:00 Wolfgang Weck (Oberon Microsystems, CH) 17:00 - 19:15 Social Event 19:30 - Dinner THURSDAY 4th, November 2004 9:00 - 10:00 Keynote: Kim Larsen (Aalborg University, DK) 10:00 - 10:30 Break 10:30 - 11:15 Ed Brinksma (University of Twente, NL) 11:15 - 12:00 Andreas Podelski (Max Plank Inst. for Informatics, DE) 12:00 - 13:30 Lunch break 13:30 - 14:30 Keynote: Chris Hankin (Imperial College, UK) 14:30 - 15:00 Break 15:00 - 15:45 David Naumann (Stevens Institute of Technology, USA) 15:45 - 16:30 Tobias Nipkow (Munchen University, DE) 16:30 - 16:45 Break 16:45 - 17:30 Liu Zhiming (UNU-IIST, Macao) FRIDAY 5th, November 2004 9:00 - 10:00 Keynote: Samson Abramsky (Oxford University, UK) 10:00 - 10:30 Break 10:30 - 11:15 Luca de Alfaro (UC Santa Cruz, USA) 11:15 - 12:00 Luis Barbosa (Minho University, PT) 12:00 - 13:30 Lunch break 13:30 - 14:30 Keynote: Reinhard Wilhelm (Saarland University, DE) 14:30 - 15:00 Break 15:00 - 15:45 Olaf Owe (University of Oslo, NO) 15:45 - 16:30 Pierre Cointe (Ecole des Mines de Nantes, FR) ORGANIZING COMMITTEE F.S. de Boer (CWI and Utrecht University) M.M. Bonsangue (LIACS-Leiden University) S. Graf (Verimag) W.P. de Roever (CAU) 8-Sep-2004 19:58:25 -0300,3321;000000000001-00000000 Return-path: Envelope-to: categories-list@mta.ca Delivery-date: Wed, 08 Sep 2004 19:58:25 -0300 Received: from Majordom by mailserv.mta.ca with local (Exim 4.10) id 1C5BJs-0003NM-00 for categories-list@mta.ca; Wed, 08 Sep 2004 19:53:40 -0300 X-Organisation: Faculty of Science, University of Amsterdam, The Netherlands X-URL: http://www.science.uva.nl/ Date: Mon, 6 Sep 2004 18:56:21 +0200 From: Carlos Areces To: areces@loria.fr Subject: categories: CFP: Special Issue M4M Message-ID: <20040906165621.GA28815@remote.science.uva.nl> Mime-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Disposition: inline User-Agent: Mutt/1.5.5i X-Virus-Scanned: by amavisd-new Sender: cat-dist@mta.ca Precedence: bulk Call for Papers for "Methods for Modalities" A Special Issue of the Journal of Applied Logic (http://www.sciencedirect.com/science/journal/15708683) The workshop `Methods for Modalities' (M4M) organized every two years aims to bring together researchers interested in developing proof tools and decision methods for modal logic broadly conceived, including description logic, hybrid logic, temporal logic, etc. During 1993 M4M-3, the third instance of the workshop was organized in Nancy, France. We have been invited by the Journal of Applied Logic to prepare a Special Issue containing selected publications from the workshop, in addition to other articles that might fit within the topics of interest of M4M. For that reason we are now distributing this Call for Papers. TOPICS OF INTEREST OF M4M The following list is provided as an example of suitable topics for the Special Issue. All topics should concern modal-like logics, broadly conceived. The list is by no means exhaustive and is given in an arbitrary order: * Automated theorem proving * Decision methods * Proof methods * Standard and non-standard inference problems * Model checking * Testing * Expressive power * Modelling * Applications * Successful uses of modal-like languages in other fields * Knowledge representation SUBMISSION DETAILS The final version of accepted papers has to follow the standard layout guidelines of the Journal of Applied Logic. Instructions for authors and the latex style files are available from http://staff.science.uva.nl/~m4m/SI/ Although not mandatory, we suggest to use the corresponding style files from that web-page also for your initial submission. The issue aims at high quality papers with a length around 20 to max. 30 pages. Please send your submission in postscript or pdf no later than October 31th, 2004 to areces@loria.fr. Notice that all papers will be refereed to ensure that their suitability for journal publication. IMPORTANT DATES Deadline for Submissions: October 31th, 2004 Reviews Due : November 21th, 2004 Final Versions Due : December 19th, 2004 GUEST EDITORS of the Special Issue Dr. Carlos Areces INRIA Lorraine 615, rue du Jardin Botanique 54602 Villers les Nancy Cedex, France phone : +33 (0)3 83 58 17 90 fax : +33 (0)3 83 41 30 79 e-mail : carlos.areces@loria.fr www : http://www.loria.fr/~areces 10-Sep-2004 20:43:21 -0300,1106;000000000000-00000000 Return-path: Envelope-to: categories-list@mta.ca Delivery-date: Fri, 10 Sep 2004 20:43:21 -0300 Received: from Majordom by mailserv.mta.ca with local (Exim 4.10) id 1C5uyv-0000lt-00 for categories-list@mta.ca; Fri, 10 Sep 2004 20:39:05 -0300 X-Authentication-Warning: triples.math.mcgill.ca: barr owned process doing -bs Date: Fri, 10 Sep 2004 11:00:04 -0400 (EDT) From: Michael Barr X-X-Sender: barr@triples.math.mcgill.ca To: Categories list Subject: categories: Where are Message-ID: MIME-Version: 1.0 Content-Type: TEXT/PLAIN; charset=US-ASCII Sender: cat-dist@mta.ca Precedence: bulk I am trying to find email addresses for Sjoerd Crans, Bob Coeke, and Boris Ischi, all of whom were postdocs here during the last six years. I am filling out a grant application and they want to know the names of all those students and post-docs I supervised and in some kind of privacy-gone-berserk, I cannot mention them by name unless I have their permission. 11-Sep-2004 14:45:05 -0300,818;000000000001-00000000 Return-path: Envelope-to: categories-list@mta.ca Delivery-date: Sat, 11 Sep 2004 14:45:05 -0300 Received: from Majordom by mailserv.mta.ca with local (Exim 4.10) id 1C6Bt6-0001bd-00 for categories-list@mta.ca; Sat, 11 Sep 2004 14:42:12 -0300 X-Authentication-Warning: triples.math.mcgill.ca: barr owned process doing -bs Date: Sat, 11 Sep 2004 08:22:43 -0400 (EDT) From: Michael Barr X-X-Sender: barr@triples.math.mcgill.ca To: Categories list Subject: categories: Thanks to all Message-ID: MIME-Version: 1.0 Content-Type: TEXT/PLAIN; charset=US-ASCII Sender: cat-dist@mta.ca Precedence: bulk I would like to thank the many people who supplied with addresses. Michael 18-Sep-2004 18:33:43 -0300,3813;000000000000-00000000 Return-path: Envelope-to: categories-list@mta.ca Delivery-date: Sat, 18 Sep 2004 18:33:43 -0300 Received: from Majordom by mailserv.mta.ca with local (Exim 4.10) id 1C8mkT-0000Si-00 for categories-list@mta.ca; Sat, 18 Sep 2004 18:28:01 -0300 Date: Thu, 16 Sep 2004 15:48:05 -0400 (EDT) From: Robert Seely To: Categories List Subject: categories: Update: Octoberfest meeting (Montreal, Oct04) Message-ID: MIME-Version: 1.0 Content-Type: TEXT/PLAIN; charset=US-ASCII Sender: cat-dist@mta.ca Precedence: bulk Category Theory OctoberFest McGill University, Montreal Saturday - Sunday, October 16 - 17, 2004 Second Notice We repeat our earlier invitation to join us in Montreal for this weekend meeting. At this time, we would like to encourage all interested participants to let us know AS SOON AS POSSIBLE of your intention to attend - we are at the point where we need to make some significant financial decisions, and it would be reassuring to know at least roughly what the attendance might be. We also hope to make this meeting as "student-friendly" as possible, within the time constraints of a day-and-a-half meeting. Any concrete suggestions are welcome, but we hope at least to be able to make time for some specifically student sessions - both for talks given by students, and perhaps for either tutorial or Q&A sessions. In particular, if you are (or have) a student who wishes to give a talk, please let us know as soon as you can. Some hotel suggestions are made below - note that for some of the major hotels, you will need to specifically ask for the McGill rate, and in some cases even provide a code (as specified below). Let me know if you need some help. The first notice, updated to include this information, is available on the triples website: http://www.math.mcgill.ca/triples/octoberfest04.html ................................ Hotels: (all about $CAN 110, possibly more if you want a double) We have some "deals" with major hotels near McGill - you ought to book these early, and mention that you are attending a mathematics conference at McGill. In a couple of cases there is a "code" you must give when booking to get the discounted rate. (Montreal area code = 514) - Mariott Courtyard , 410 Sherbrooke W, 844-8851 (1-800-321-2211) (CODE: MATC) (http://marriott.com/property/propertyPage.mi?marshaCode=YULCY) - Holiday Inn, 420 Sherbrooke W, 842-6111 (CODE: 5-MCGI) (http://www.ichotelsgroup.com/h/d/hi/1/en/hd/YULDT) - L'Appartement, 455 Sherbrooke W, 284-3634 (http://www.appartementhotel.com/) - Sheraton FourPoints, 475 Sherbrooke W, 842-3961 (1-800-842-3961) (http://fourpoints.com) - Quality Hotel, 3440 Park Ave, 849-1413 (http://www.choicehotels.ca/cn329) - Versailles*, 1659 Sherbrooke W, 933-3611 (http://www.versailleshotels.com/) Tourist Rooms: (prices range from $CAN 60 and up, depending on single, double, shared or private bath, etc) Again, book early, as these rooms go quickly. (Prices vary depending on choice of single/double room, private/shared bathroom.) - Ambrose, 3422 Stanley, 288-6922, (excellent) (http://www.manoirambrose.com) - Casa Bella, 258 Sherbrooke W, 849-2777 - Bienvenue B&B** 3950 Laval, 844-5897 (1-800-227-5897) (http://www.bienvenuebb.com) - Centre Ville B&B*, 3458 Laval, 289-9749 (http://www.bbmontreal.qc.ca/) - Pierre*, 169 Sherbrooke E, 288-8519 - Armor*, 157 Sherbrooke E, 285-0140 *15 minute walk from McGill **30 minute walk from McGill -- 22-Sep-2004 14:05:58 -0300,3084;000000000000-00000000 Return-path: Envelope-to: categories-list@mta.ca Delivery-date: Wed, 22 Sep 2004 14:05:58 -0300 Received: from Majordom by mailserv.mta.ca with local (Exim 4.10) id 1CAAQC-0001pz-00 for categories-list@mta.ca; Wed, 22 Sep 2004 13:56:48 -0300 Date: Tue, 21 Sep 2004 11:28:26 +0100 Message-Id: <200409211028.i8LASQrG016508@aberdour.inf.ed.ac.uk> X-Authentication-Warning: aberdour.inf.ed.ac.uk: als set sender to als+lics-replies-ignored@inf.ed.ac.uk using -f To: categories@mta.ca From: Alex Simpson Subject: categories: LICS 2005: Call for Workshop Proposals Reply-To: als+lics-replies-ignored@dcs.ed.ac.uk Sender: cat-dist@mta.ca Precedence: bulk The Twentieth IEEE Symposium on Logic In Computer Science (LICS 2005) Call for Workshop Proposals Chicago, Illinois Conference Dates: June 26-29, 2005 Workshop Dates: June 25, 2005 and June 30-July 1,2005 The Twentieth IEEE Symposium on Logic In Computer Science (LICS 2005) will be held in Chicago, Illinois, USA, June 26-29, 2005. The organizers have made arrangements for pre- and post-LICS workshops to be run in conjunction with the main conference. Possible dates are June 25 (the day before LICS) and June 30 and July 1 (the two days after LICS). Researchers and practitioners are invited to submit proposals for workshops on topics relating logic - broadly construed - to computer science or related fields. Typically, LICS workshops feature a number of invited speakers and a smaller number of contributed presentations. LICS workshops do not produce formal proceedings. However, in the past there have been special issues of journals based in part on certain LICS workshops. Proposals should include: * A short scientific summary and justification of the proposed topic. This should include a discussion of the particular benefits of the topic to the LICS community. * A discussion of the proposed format and agenda and the proposed duration, which may vary from half a day to two days,and preferred dates. * Procedures for selecting participants and papers. * Expected number of participants. * Potential invited speakers. * Plans for dissemination (for example, special issues of journals). * Please note that it is expected that LICS workshop organizers should be present to run their workshops. It is also assumed that normally workshop organizers (though not necessarily participants) will register for the LICS conference. Proposals are due Nov. 15, 2004 and should be submitted electronically to: Philip Scott Workshops Chair, LICS 2005 Email: phil@site.uottawa.ca The selections will be chosen by a committee consisting of Phokion Kolaitis (LICS General Chair), Prakash Panangaden (LICS 2005 Program Committee Chair), Phil Scott (LICS Workshop Chair) and Alan Jeffrey and Radha Jagadeesan (LICS 2005 Conference co-chairs). The results will be announced by Nov 30th, 2004. 24-Sep-2004 11:48:56 -0300,4977;000000000000-00000000 Return-path: Envelope-to: categories-list@mta.ca Delivery-date: Fri, 24 Sep 2004 11:48:56 -0300 Received: from Majordom by mailserv.mta.ca with local (Exim 4.10) id 1CArEj-0003M5-00 for categories-list@mta.ca; Fri, 24 Sep 2004 11:39:49 -0300 Date: Fri, 24 Sep 2004 15:52:00 +0200 From: Ralf Treinen Message-Id: <200409241352.i8ODq0sw024676@figue.lsv.ens-cachan.fr> To: categories@mta.ca Subject: categories: RTA'05: 2nd Call for Papers X-Virus-Scanned: by amavisd-new-20030616-p10 (Debian) at ens-cachan.fr Sender: cat-dist@mta.ca Precedence: bulk ****************************** * * * RTA'05 CALL FOR PAPERS * * * ****************************** http://www-i2.informatik.rwth-aachen.de/RTA05/ April 19--21, 2005 Nara, Japan The 16th Int. Conf. on Rewriting Techniques and Applications (RTA'05) will collocate with the 7th International Conference on Typed Lambda Calculi and Applications (TLCA'05) as part of the Federated Conference on Rewriting, Deduction and Programming (RDP'05). IMPORTANT DATES: Nov 12, 2004: Deadline for electronic submission of title and abstract Nov 19, 2004: Deadline for electronic submission of papers Jan 14, 2005: Notification of acceptance of papers Feb 4, 2005: Deadline for final versions of accepted papers Apr 19-21, 2005: Conference The deadlines are strict. RTA is the major forum for the presentation of research on all aspects of rewriting. Typical areas of interest include (but are not limited to): * APPLICATIONS: case studies; rule-based (functional and logic) programming; symbolic and algebraic computation; theorem proving; system synthesis and verification; proof checking. * FOUNDATIONS: matching and unification; narrowing; completion techniques; strategies; constraint solving; explicit substitutions; tree automata. * FRAMEWORKS: string, term, and graph rewriting; lambda-calculus and higher-order rewriting; proof nets; constrained rewriting/deduction; categorical and infinitary rewriting. * IMPLEMENTATION: compilation techniques; parallel execution; rewriting tools. * SEMANTICS: equational logic; rewriting logic. INVITED TALKS will be given at RTA'05 by: * Amy Felty (Ottawa) * Yoshihito Toyama (Sendai) * Philip Wadler (Edinburgh) BEST PAPER AWARDS AND TRAVEL GRANTS: An award of 100,000 Yen will be given to the best paper or papers as decided by the PC. A limited number of student travel grants is available. Preference will be given to students whose papers are accepted at RTA and who do not have alternative funding. Students applying for travel support should indicate this by sending an e-mail to the PC chair (giesl@informatik.rwth-aachen.de) together with their submission. RTA'04 PROGRAM COMMITTEE: * Franz Baader (Dresden) * Mariangiola Dezani (Torino) * Juergen Giesl (Aachen, Chair) * Bernhard Gramlich (Vienna) * Florent Jacquemard (Cachan) * Claude Kirchner (Nancy) * Pierre Lescanne (Lyon) * Aart Middeldorp (Innsbruck) * Hitoshi Ohsaki (Amagasaki) * Vincent van Oostrom (Utrecht) * Christine Paulin-Mohring (Orsay) * Frank Pfenning (Pittsburgh) * Femke van Raamsdonk (Amsterdam) * Mark-Oliver Stehr (Urbana) * Rakesh Verma (Houston) * Andrei Voronkov (Manchester) RTA'05 SUBMISSIONS: Submissions must be original and not submitted for publication elsewhere. Submission categories include regular research papers and system descriptions. Also problem sets and submissions describing interesting applications of rewriting techniques will be very welcome. The page limit is 15 pages (10 pages for system descriptions). As usual, accepted papers will appear in the Springer-Verlag Lecture Notes in Computer Science series. More information about paper submission is available at the RTA'05 web page. http://www-i2.informatik.rwth-aachen.de/RTA05/ LOCATION, TRAVEL, ACCOMMODATION, AND REGISTRATION The conference takes place in Nara park, which is one of the most important cultural sights of Japan with some of the oldest and most impressive temples and shrines. Airfares from Europe or the US to Japan are not expensive in mid-April and the conference will offer reasonably priced accommodation and low registration fees. RTA'05 PROGRAM CHAIR: Juergen Giesl LuFG Informatik II RWTH Aachen Ahornstr. 55 52074 Aachen Germany giesl@informatik.rwth-aachen.de RTA'05 CONFERENCE CHAIR: Hitoshi Ohsaki AIST Japan ohsaki@ni.aist.go.jp 24-Sep-2004 11:48:56 -0300,3064;000000000000-00000000 Return-path: Envelope-to: categories-list@mta.ca Delivery-date: Fri, 24 Sep 2004 11:48:56 -0300 Received: from Majordom by mailserv.mta.ca with local (Exim 4.10) id 1CArEL-0003Jc-00 for categories-list@mta.ca; Fri, 24 Sep 2004 11:39:25 -0300 Date: Fri, 24 Sep 2004 11:31:30 +0100 (BST) From: "Prof. Peter Johnstone" To: Categories mailing list Subject: categories: Summer School on Topos Theory Message-ID: MIME-Version: 1.0 Content-Type: TEXT/PLAIN; charset=US-ASCII X-DPMMS-Scan-Signature: 624c182ed856fcb5682c9742331391c3 Sender: cat-dist@mta.ca Precedence: bulk SUMMER SCHOOL ON TOPOS THEORY Haute-Bodeux, Belgium 29 May -- 5 June 2005 A Summer School on Topos Theory will be held in Haute-Bodeux, a village in the Ardennes region of south-east Belgium, between 29 May 2005 (arrival day) and 5 June 2005 (departure day). The primary aim of the meeting is to provide students and young researchers who already have a working knowledge of categories with an opportunity to learn something of the diversity and richness of topos theory. However, more established researchers in nearby fields who wish to learn more about topos theory are also welcome. Lectures will be given by the following (who constitute the Scientific Committee of the meeting): Steve Awodey Peter Freyd Peter Johnstone Bill Lawvere Ieke Moerdijk Myles Tierney In addition, there will be tutorials and workshops to reinforce the material covered in the lectures, and (if time permits) there will be an opportunity for participants to present talks on their own research. The local organizer of the Summer School is Francis Borceux. It is estimated that the total cost of the meeting will be about 1030 euros per person: this covers the registration fee, transportation from and to the airport or railway station, accommodation and meals (including drinks with meals), social activities and an excursion. Unfortunately, the organizers do not have funds available to provide any financial support. Accommodation in Haute-Bodeux is strictly limited, and attendance at the meeting will be by invitation only. However, anyone who wishes to be considered for invitation, or to propose names of people who might be invited, is asked to send an e-mail to Peter Johnstone before the end of October 2004. (Those who have already responded to the notices distributed at various meetings in summer 2004 need not e-mail again.) It is expected that invitations will be sent out early in November 2004. Those invited will be sent formal letters of invitation to assist them in obtaining funding, and will also be provided with a reading list of material which may be assumed in the Summer School lectures. 26-Sep-2004 17:09:29 -0300,2469;000000000001-00000000 Return-path: Envelope-to: categories-list@mta.ca Delivery-date: Sun, 26 Sep 2004 17:09:29 -0300 Received: from Majordom by mailserv.mta.ca with local (Exim 4.10) id 1CBfE8-0006Py-00 for categories-list@mta.ca; Sun, 26 Sep 2004 17:02:32 -0300 Mime-Version: 1.0 (Apple Message framework v612) Content-Type: text/plain; charset=US-ASCII; delsp=yes; format=flowed Message-Id: <3B557D68-0E56-11D9-B5EE-000393DAA298@pps.jussieu.fr> Content-Transfer-Encoding: 7bit From: Curien Pierre-Louis Subject: categories: professor position at Paris 7 University Date: Fri, 24 Sep 2004 20:19:10 +0200 To: categories@mta.ca, types@cis.upenn.edu X-Mailer: Apple Mail (2.612) X-Miltered: at shiva.jussieu.fr with ID 4154619A.003 by Joe's j-chkmail (http://j-chkmail.ensmp.fr)! X-Antivirus: scanned by sophie at shiva.jussieu.fr Sender: cat-dist@mta.ca Precedence: bulk ****** PLEASE CIRCULATE ********* PROFESSOR POSITION AT PARIS 7 University in 2005 A professor position will be open in 2005 (for position starting in October 2005) for the laboratory Preuves, Programmes et Systemes (www.pps.jussieu.fr) Applications will be received some time early next year. But applicants need to have passed the national so-called qualification procedure, which has now started and will be closed ******* AS EARLY AS October 19, 2004 (see details at the url indicated below). ****** http://www.education.gouv.fr/personnel/enseignant_superieur/ enseignant_chercheur/antares.htm (This is a rather light procedure, it can be initiated, and then abandoned, but conversely, no application for the position itself is possible for anyone who has not gone through qualification. Also, qualification remains valid a few years, so can entitle one to be candidate later to another position anywhere in France.) The profile is open to all areas of programming (including global computing), with particular emphasis on semantics, logics, topological methods, language design and implementation. Depending on candidates, the teaching will be either in the Mathematics Department, or in the Computer Science Department (the laboratory being affiliated to both). A relative fluency in French at interviewing time (that is, May 2005) will be needed, as the language of teaching is French. Interested candidates are welcome to contact Pierre-Louis.Curien@pps.jussieu.fr 29-Sep-2004 15:16:00 -0300,6153;000000000000-00000000 Return-path: Envelope-to: categories-list@mta.ca Delivery-date: Wed, 29 Sep 2004 15:16:00 -0300 Received: from Majordom by mailserv.mta.ca with local (Exim 4.10) id 1CCivG-00042w-00 for categories-list@mta.ca; Wed, 29 Sep 2004 15:11:26 -0300 Message-ID: <1096460200.415aa7a8d7c03@iona.labri.fr> Date: Wed, 29 Sep 2004 14:16:40 +0200 From: amblard@labri.fr Subject: categories: CFP: L A C L 2 0 0 5 MIME-Version: 1.0 Content-Type: text/plain; charset=ISO-8859-1 User-Agent: Internet Messaging Program (IMP) 3.2.6 X-Originating-IP: 147.210.9.22 To: categories@mta.ca Content-Transfer-Encoding: quoted-printable Sender: cat-dist@mta.ca Precedence: bulk Apologies for multiple copies / please redistribute to whom it may concer= n ************************************************* L A C L 2 0 0 5 Logical Aspects of Computational Linguistics -- fifth international confe= rence --- 28-29-30 avril 2005, Bordeaux (France) http://lacl.labri.fr/ CNRS - INRIA -- Universit=E9s Bordeaux 1 & 3 ************************************************* Submission deadline: monday 3 january 2005 LACL conference series ---------------------- LACL-2005 is the 5th edition of a series of international conferences on logical and formal methods in computational linguistics. It addresses in particular the use of proof theoretic and model theoretic methods for describing natural language syntax and semantics, as well as the implementation of natural language processing software relying on such models. A selection of the 1995 articles appeared in a special issue of the Journal of Logic, Language and Information (7:4, 1998). The proceedings of the international conferences LACL`96 ,LACL`97, LACL`98 et LACL`2001 appeared in the series Lecture Notes in Artificial Intelligence (volumes 1328, 1582, 2014, 2099) published by Springer. Topics ------ Computer scientists, linguists, mathematicians and philosophers are invited to present their work on the use of logical methods in computational linguistics and natural language processing, in natural language analysis, generation or acquisition. * logical foundation of syntactic formalisms * categorial grammars * minimalist grammars * dependency grammars * tree adjoining grammars * model theoretic syntax * formal language theory for natural language processing * data-driven approaches * logic for semantics of lexical items, sentences, discourse and d= ialog * discourse representation theory * Montague semantics * compositionality * dynamic logic * game semantics * situation semantics * generative lexicon * applications of these models to natural language processing * software for natural language analysis * software for acquiring linguistic resources * software for natural language generation * software for information extraction * question answering and human computer interaction in natural lan= guage * evaluation * scalability Submission format and publication --------------------------------- Articles should be written in the LaTeX format of LNCS/LNAI by Springer should not exceed 16 pages (including figures, bibliography, possible apendices). Articles, in PDF format, should be sent by email to lacl@labri.fr. Accepted papers, after revision if needed, will be published as a volume of the LNAI/LNCS series by Springer-Verlag. Scientific inquiries: --------------------- Philippe Blache blache@lpl.univ-aix.fr Edward Stabler stabler@ucla.edu Practical inquiries : --------------------- Joan Busquets busquets@u-bordeaux-3.fr Richard Moot moot@labri.fr Brigitte Larue-Bourdon +33 5 40 00 69 30 Important dates: ---------------- Paper submission deadline : monday 3rd january 2005 Notification of acceptance : monday 14th february 2005 Camera-ready papers due : monday 28th february 2005 LACL conference : thursday 28th, friday 29th, and saturday 30th april 200= 5 Program committee : ------------------- Philippe Blache (co-chair)(CNRS LPL Aix-en-Provence) Edward Stabler (co-chair) (University of California, Los A= ngeles CA) Johan Bos (University of Edinburgh) Joan Busquets (Universit=E9 Bordeaux 3 & ERSS-CNRS & INRIA-Futurs) Henning Christiansen (Roskilde Universitetscenter, Roskilde) Veronica Dahl Simon Fraser University, Vancouver) Denys Duchier (INRIA-Lorraine & LORIA, Nancy) Marc Dymetman (Xerox Research Center Europe Grenoble) Sandiway Fong (University of Arizona, Tucson AZ) Kim Gerdes (Universit=E9 Bordeaux 3 & ERSS-CNRS & INRIA-Futurs) Philippe de Groote (INRIA-Lorraine & LORIA,Nancy) Gerhard J=E4ger (Universit=E4t Potsdam) Marcus Kracht (University of California, Los Angeles CA) Alain Lecomte (Universit=E9 Grenoble 2) Uwe M=F6nnich (Universit=E4t T=FCbingen) Michael Moortgat (Universiteit Utrecht) Richard Moot (CNRS LaBRI & INRIA-Futurs) Glyn Morrill (Universitat Polit=E8cnica de Catalunya, Barcelona) Gerald Penn (University of Toronto) Christian Retor=E9 (Universit=E9 Bordeaux 1 & LaBRI-CNRS & INRIA-Futurs) Maarten de Rijke (Universiteit van Amsterdam) James Rogers (Earlham College, Richmond IN) Vijay Shanker (University of Delaware, Newark DE) Mark Steedman (University of Edinburgh) Organizing committee : ---------------------- Joan Busquets (co-chair) (Universit=E9 Bordeaux 3 & ERSS-CNRS & INRIA-Fut= urs) Richard Moot (co-chair) (CNRS LABRI & INRIA-Futurs) Maxime Amblard (Universit=E9 Bordeaux 1 & LaBRI-CNRS & INRI= A-Futurs) Catherine Girard (INRIA-Futurs) Patrick Henry (CNRS LaBRI & INRIA-Futurs) Brigitte Larue-Bourdon (INRIA-Futurs) Jean-Louis Lassartesses (Universit=E9 Bordeaux 1) Christian Retor=E9 (Universit=E9 Bordeaux 1& LaBRI-CNRS & INRIA-Futurs) LACL 2005 web site: http://lacl.labri.fr