September 2004 - Categories - categories.org.au

CFP: L A C L 2 0 0 5
by amblard＠labri.fr 29 Sep '04

29 Sep '04

Apologies for multiple copies / please redistribute to whom it may concern ************************************************* L A C L 2 0 0 5 Logical Aspects of Computational Linguistics -- fifth international conference --- 28-29-30 avril 2005, Bordeaux (France) http://lacl.labri.fr/ CNRS - INRIA -- Universités 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 dialog * 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 language * 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(a)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(a)lpl.univ-aix.fr Edward Stabler stabler(a)ucla.edu Practical inquiries : --------------------- Joan Busquets busquets(a)u-bordeaux-3.fr Richard Moot moot(a)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 2005 Program committee : ------------------- Philippe Blache (co-chair)(CNRS LPL Aix-en-Provence) Edward Stabler (co-chair) (University of California, Los Angeles CA) Johan Bos (University of Edinburgh) Joan Busquets (Université 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é Bordeaux 3 & ERSS-CNRS & INRIA-Futurs) Philippe de Groote (INRIA-Lorraine & LORIA,Nancy) Gerhard Jäger (Universität Potsdam) Marcus Kracht (University of California, Los Angeles CA) Alain Lecomte (Université Grenoble 2) Uwe Mönnich (Universität Tübingen) Michael Moortgat (Universiteit Utrecht) Richard Moot (CNRS LaBRI & INRIA-Futurs) Glyn Morrill (Universitat Politècnica de Catalunya, Barcelona) Gerald Penn (University of Toronto) Christian Retoré (Université 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é Bordeaux 3 & ERSS-CNRS & INRIA-Futurs) Richard Moot (co-chair) (CNRS LABRI & INRIA-Futurs) Maxime Amblard (Université Bordeaux 1 & LaBRI-CNRS & INRIA-Futurs) Catherine Girard (INRIA-Futurs) Patrick Henry (CNRS LaBRI & INRIA-Futurs) Brigitte Larue-Bourdon (INRIA-Futurs) Jean-Louis Lassartesses (Université Bordeaux 1) Christian Retoré (Université Bordeaux 1& LaBRI-CNRS & INRIA-Futurs) LACL 2005 web site: http://lacl.labri.fr

1 0

professor position at Paris 7 University
by Curien Pierre-Louis 25 Sep '04

25 Sep '04

****** 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(a)pps.jussieu.fr 29-Sep-2004 15:16:00 -0300,6153;000000000000-00000000

1 0

RTA'05: 2nd Call for Papers
by Ralf Treinen 24 Sep '04

24 Sep '04

****************************** * * * 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(a)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(a)informatik.rwth-aachen.de RTA'05 CONFERENCE CHAIR: Hitoshi Ohsaki AIST Japan ohsaki(a)ni.aist.go.jp 24-Sep-2004 11:48:56 -0300,3064;000000000000-00000000

1 0

Summer School on Topos Theory
by Prof. Peter Johnstone 24 Sep '04

24 Sep '04

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 <ptj(a)dpmms.cam.ac.uk> 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

1 0

LICS 2005: Call for Workshop Proposals
by Alex Simpson 21 Sep '04

21 Sep '04

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(a)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

1 0

Update: Octoberfest meeting (Montreal, Oct04)
by Robert Seely 17 Sep '04

17 Sep '04

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 -- <rags(a)math.mcgill.ca> <www.math.mcgill.ca/rags> 22-Sep-2004 14:05:58 -0300,3084;000000000000-00000000

1 0

Thanks to all
by Michael Barr 11 Sep '04

11 Sep '04

I would like to thank the many people who supplied with addresses. Michael 18-Sep-2004 18:33:43 -0300,3813;000000000000-00000000

1 0

Where are
by Michael Barr 11 Sep '04

11 Sep '04

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

1 0

CFP: Special Issue M4M
by Carlos Areces 07 Sep '04

07 Sep '04

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(a)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(a)loria.fr www : http://www.loria.fr/~areces 10-Sep-2004 20:43:21 -0300,1106;000000000000-00000000

1 0

Call for Participation: FMCO 2004
by cat-dist＠mta.ca 06 Sep '04

06 Sep '04

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(a)cwi.nl) or M.M. Bonsangue (marcello(a)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)

1 0