March 2005 - Categories - categories.org.au

Preliminary announcement of events 2006
by robin＠cpsc.ucalgary.ca 31 Mar '05

31 Mar '05

Preliminary announcement of Categorical events -- PLEASE PLAN TO COME! Where: Calgary, Alberta, Canada When: June 3rd - 9th What: (1) Canadian Mathematical Society Summer Meeting 2006 Calgary, June 3-5th 2006 (Saturday - Monday) Category Theory Session: (local organizer: Robin Cockett) We are proposing three general themes: Session 1: Algebraic Set theory (Steve Awodey) Session 2: Applications of Categorical Proof Theory and Logic (Phil Scott/Rick Blute) Session 3: Partial Maps, Inverse Semigrous, and Restriction Categories (Ernie Manes) These themes should not be regarded as being exclusive and the organizers will be happy to host talks in Category Theory which would be of general interest. If we cannot accomodate you in this meeting please stay on and participate in: (2) FMC2006: Foundational Methods in Computer Science 2006 (local organizer: Robin Cockett) Planned in the Kananaskis (at a forestry field station) immediately after the CMS meeting (transport from Calgary available). June 7-9th 2004 (Wednesday - Friday) This workshop is an informal meeting to bring together researchers in Mathematics and Computer Science with a focus on the applications of Category Theory in Computer Science. It is a three day meeting starting with a day of tutorials followed by a day and a half of contributed research talks. Student participation is strongly encouraged. [NOTE: FMCS2006 year will *not* be a weekend meeting ....] Enquiries to any of the above including robin(a)cpsc.ucalgary.ca.

1 0

FLoC 2006 Preliminary Announcement
by Kreutzer + Schweikardt 31 Mar '05

31 Mar '05

Preliminary Announcement --- FLoC'06 The 2006 Federated Logic Conference Seattle, Washington, USA August 10 -- August 22, 2006 http://research.microsoft.com/projects/FLoC2006/home.html http://research.microsoft.com/floc06/ In 1996, as part of its Special Year on Logic and Algorithms, DIMACS hosted the first Federated Logic Conference (FLoC). It was modeled after the successful Federated Computer Research Conference (FCRC), and synergetically brought together conferences that apply logic to computer science. The second Federated Logic Conference (FLoC'99) was held in Trento, Italy, in 1999, and the third (FLoC'02) was held in Copenhagen, Denmark, in 2002. We are pleased to announce the fourth Federated Logic Conference (FLoC'06) to be held in Seattle, Washington, in August 2006, at the Seattle Sheraton (http://www.sheraton.com/seattle) The following conferences will participate in FLoC. Int'l Conference on Computer-Aided Verification (CAV) Int'l Conference on Rewriting Techniques and Applications (RTA) IEEE Symposium on Logic in Computer Science (LICS) Int'l Conference on Logic Programming (ICLP) Int'l Conference on Theory and Applications of Satisfiability Testing (SAT) Int'l Joint Conference on Automated Reasoning (IJCAR) Pre-conference workshops will be held on August 10-11. LICS, RTA, and SAT will be held in parallel on August 12-15, to be followed by mid-conference workshops and excursions on August 15-16. CAV, ICLP, and IJCAR will be held in parallel on August 16-21, to be followed by post-conference workshops on August 21-22. Plenary events involving all the conferences are planned. Calls for papers and call for workshop proposals will be issued in the near future. For additional information regarding the participating meetings, please check the FLoC web page (see above) later this summer. FLoC'06 Steering Committee Moshe Y. Vardi (General Chair) Jakob Rehof (Conference Chair) Edmund Clarke (CAV) Reiner Hahnle (IJCAR) Manuel Hermenegildo (ICLP) Phokion Kolaitis (LICS) Henry Kautz (SAT) Aart Middeldorp (RTA) Andrei Voronkov (IJCAR) 31-Mar-2005 17:20:23 -0400,1097;000000000000-00000000

1 0

Enriching over a promonoidal base
by Robin Houston 31 Mar '05

31 Mar '05

Dear Categorists, Who first defined categories enriched over a _promonoidal_ base? I'd particularly like references, but any information would be welcome. Robin 28-Mar-2005 11:19:48 -0400,1613;000000000001-00000000

2 4

Postdoctoral Research Positions
by Maria Manuel Clementino 30 Mar '05

30 Mar '05

Postdoctoral Research Positions The Centre for Mathematics of the University of Coimbra (CMUC) accepts applications for one-year postdoctoral positions in all areas of Mathematics. CMUC has been recently classified as a research unit of excellence by an international funding panel. In particular, the Centre welcomes applications in the following areas: Computational Mathematics & Scientific Computing. Group and Algebras Representations. Category Theory. Multilinear Algebra, Matrix Theory & Combinatorics. Nonparametric Statistics. Nonlinear Time-Series Modelling. Partial Differential Equations. Quantum Groups. Symplectic and Poisson Geometry. Stochastic Analysis. Mathematics of Finance. The positions obey to the portuguese scholarship system (http//www.fct.mces.pt). The salary will be determined by the candidate's qualifications and experience and can vary between 17940 and 24720 EUR a year (tax free). The positions include benefits and a professional travel allowance. There are no teaching duties associated to the positions, which should start by September/October 2005. Applicants must have (or soon have) a Ph.D. in Mathematics and a good command of english. Applications will be accepted until April 30, 2005. Applicants should send a curriculum vitae (publication list included), a statement of research interests (one page maximum), and at least two letters of recommendation (or names of references) by regular mail or e-mail to: Centre for Mathematics - University of Coimbra Apartado 3008, 3001-454 Coimbra, Portugal cmuc(a)mat.uc.pt http://www.mat.uc.pt/~cmuc

1 0

FMCS05
by John MacDonald 28 Mar '05

28 Mar '05

First Announcement FMCS05 Foundational Methods in Computer Science JUNE 2nd - 5th, 2005 The Department of Mathematics at the University of British Columbia in cooperation with the Pacific Institute for Mathematical Sciences is hosting the Foundational Methods in Computer Science workshop from June 2nd to June 5th, 2005, on the University of British Columbia Campus in Vancouver, B.C., Canada The workshop is an informal meeting to bring together researchers in mathematics and computer science with a focus on the application of category theory in computer science. The meeting begins with a reception at 6pm in the Ruth Blair room in Walter Gage Towers on the UBC campus on Thursday June 2, 2005. This is followed by a day of tutorials aimed at students and newcomers to computer science applications of category theory, followed by a day and a half of research talks. The meeting ends at 1pm on Sunday June 5. There will be a few invited presentations, but the majority of the talks are solicited from the participants. Student participation is particularly encouraged at FMCS. There are still a few places on the program left for research presentations of 20 to 30 minutes. To receive further information about FMCS05 as it becomes available, including information about housing and registration, please send email to johnm(a)math.ubc.ca with subject heading FMCS05 - WILL ATTEND or FMCS05 - MAY ATTEND. John MacDonald Local organizer, FMCS05

1 1

[LACL] Call For participation
by maxime ambard 24 Mar '05

24 Mar '05

Apologies for multiple copies / please redistribute ************************************************** L A C L 2 0 0 5 Fifth International Conference on Logical Aspects of Computational Linguistics --- 28-29-30 april 2005, Bordeaux (France) http://lacl.labri.fr/ CNRS - INRIA - University of Bordeaux 1 & 3 ************************************************** CALL FOR PARTICIPATION 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. Student Session ---------------------- A student session will be organize. For more informations, see our web site http://lacl.labri.fr/student_session Registration ------------ Registration for LACL 2005 is open. You can access the registration form from the LACL website http://lacl.labri.fr/registration.html Travel ------ Bordeaux has an airport with direct flights from Paris (both Charles de Gaulle and Orly), Amsterdam, London Gatwick and several other major European destinations. There is also an hourly TGV service from Paris Montparnasse. Accommodation ------------- We have reserved rooms in serveral hotels close to the conference site. You can find information and a booking form at. http://lacl.labri.fr/hotels.html Conference Site --------------- LACL will take place at the conference room of the Musee d'Aquitaine, a few steps away from the stop `Musee d'Aquitaine' of tramline B. Practical inquiries ------------------- Joan Busquets busquets(a)u-bordeaux3.fr Richard Moot moot(a)labri.fr Brigitte Larue-Bourdon +33 5 40 00 69 30 Preliminary Program ------------------- Thursday 28 April 09:00-09:30 Coffee/Registration 09:30-10:30 Invited Talk: Ruth Kempson - A Grammar Formalism for Dialogue Modelling? 10:30-10:45 Coffee Break 10:45-11:15 Ryo Yoshinaka and Makoto Kanazawa - The Complexity and Generative Capacity of Lexicalized Abstract Categorial Grammars 11:15-11:45 Allan Third - The Expressive Power of Restricted Fragments of English 11:45-12:15 Peter Ljunglof - A Polynomial Time Extension of Parallel Multiple Context-Free Grammar 12:15-14:00 Lunch 14:00-14:30 Roberto Bonato - Towards a Computational Treatment of Binding Theory 14:30-15:00 Joachim Niehren and Mateu Villaret - Describing Lambda Terms in Context Unification 15:00-15:30 Bassam Haddad and Mustafa Yaseen - A Compositional Approach Towards Semantic Representation and Construction of Arabic 15:30-16:00 Benoit Sagot - Linguistic facts as predicates over ranges of the sentence 16:00-16:30 Coffee Break 16:30-17:00 Evelyne Jacquey - Un cas de "polysemie logique" 17:00-18:00 Industrial Session - APIL 18:00-20:00 Wine Tasting Friday 29 April 09:00-09:30 Coffee 09:30-10:30 Invited Talk: Gerard Huet - TBA 10:30-10:45 Coffee Break 10:45-11:15 Erwan Moreau - Learnable classes of general combinatory grammar 11:15-11:45 Isabelle Tellier - When Categorial Grammar meet Regular Grammatical Inference 11:45-12:15 Denis Bechet and Annie Foret - k-Valued Non-Associative Lambek Grammars (without Product) Form a Strict Hierarchy of Languages 12:15-14:00 Lunch 14:00-14:30 Richard Zuber - More algebras for determiners 14:30-15:00 Nissim Francez - Lambek-Calculus with General Elimination rules and Continuation Semantics 15:00-15:30 Areski Nait Abdallah and Alain Lecomte - On expressing vague quantification and scalar implicatures in the logic of partial information 15:30-16:00 Marcelo da S. Correa and E. Hermann Haeusler - On the Selective Lambek Calculus 16:00-16:15 Coffee Break 16:15-16:45 Student Session 16:45-17:15 Djame Seddah and Bertrand Gaiffe - How to Build Argumental graphs Using TAG Shared Forest : a view from control verbs 17:15-17:45 Claire Gardent and Yannick Parmentier - Large scale semantic construction for Tree Adjoining Grammars 21:00-23:00 Conference Diner Saturday 30 April 09:00-09:30 Coffee 09:30-10:00 Anne Preller and Joachim Lambek - Categorical semantics for pregroup grammars 10:00-10:30 Denis Bechet, Alexander Dikovsky and Annie Foret - Dependency Structure Grammars 10:30-10:45 Coffee Break 10:45-11:15 Veit Reuer and Kai-Uwe Kuehnberger - Feature Constraint Logic and Error Detection in ICALL Systems 11:15-11:45 David A. Burke and Kristofer Johannisson - Translating Formal Software Specifications to Natural Language. A Grammar-Based Approach 11:45-12:15 Benoit Crabbe - Grammatical Development with XMG 12:15-14:00 Lunch 14:00-14:30 John T. Hale and Edward P. Stabler - Strict Deterministic Aspects of Minimalist Grammars 14:30-15:00 Jens Michaelis and Hans-Martin Gaertner - A Note on the Complexity of Constraint Interaction: Locality Conditions and Minimalist Grammars 15:00-16:00 Invited Talk: Carl Pollard - TBA ======================================================================== LACL 2005 web site: http://lacl.labri.fr 25-Mar-2005 09:32:41 -0400,802;000000000000-00000000

1 0

Preprint: Modelling fundamental 2-categories for directed homotopy
by Marco Grandis 23 Mar '05

23 Mar '05

The following preprint is available. It is a sequel of my previous work on the fundamental category of a directed space, announced on this list in May 2004. M. Grandis Modelling fundamental 2-categories for directed homotopy Dip. Mat. Univ. Genova, Preprint 527 (2005), 34 p. Abstract. Directed Algebraic Topology is a recent field, deeply linked with ordinary and higher dimensional Category Theory. A 'directed space', e.g. an ordered topological space, has directed homotopies (generally non reversible) and fundamental n-categories (replacing the fundamental n-groupoids of the classical case). Finding a simple model of the latter is a non-trivial problem, whose solution gives relevant information on the given 'space'; a problem which is also of interest in general Category Theory, as it requires equivalence relations wider than categorical equivalence. Taking on a previous work on "The shape of a category up to directed homotopy", we study now the fundamental 2-category of a directed space. All the notions of 2-category theory used here are explicitly reviewed. http://www.dima.unige.it/~grandis/Shp2.pdf http://www.dima.unige.it/~grandis/Shp2.ps ________________ The first paper, "The shape of a category up to directed homotopy", can also be downloaded: Abstract: http://www.dima.unige.it/~grandis/Shp.Abs.html Paper: http://www.dima.unige.it/~grandis/Shp.pdf http://www.dima.unige.it/~grandis/Shp.ps ________________ Marco Grandis Dipartimento di Matematica Universita` di Genova via Dodecaneso 35 16146 GENOVA, Italy e-mail: grandis(a)dima.unige.it tel: +39.010.353 6805 fax: +39.010.353 6752 http://www.dima.unige.it/~grandis/ 24-Mar-2005 13:53:44 -0400,6340;000000000001-00000000

1 0

First CfP: GETCO 2005
by Uli Fahrenberg 22 Mar '05

22 Mar '05

Seventh workshop on Geometric and Topological Methods in Concurrency GETCO 2005 Affiliated with CONCUR 2005 Venue: San Francisco, California Conference dates: CONCUR: 23-26 August 2005 GETCO: 21 August 2005 Call for Papers Scope The main mathematical disciplines that have been used in computer science are discrete mathematics (especially graph theory and ordered structures), logics (mostly proof theory for all kinds of logics, classical, intuitionistic, modal etc.) and category theory (cartesian closed categories, topoi etc.). General Topology has also been used for instance in denotational semantics, with relations to ordered structures in particular. Recently, ideas and notions from mainstream "geometric" topology and algebraic topology have entered the scene in Concurrency Theory and Distributed Systems Theory (some of them based on older ideas). They have been applied in particular to problems dealing with coordination of multi-processor and distributed systems (see the historical note ). Among those are techniques borrowed from algebraic and geometric topology: Simplicial techniques have led to new theoretical bounds for coordination problems. Higher dimensional automata have been modeled as cubical complexes with a partial order reflecting the time flows, and their homotopy properties allow to reason about a system's global behaviour. The GETCO workshops aim at bringing together researchers from both the mathematical (geometry, topology, algebraic topology etc.) and computer scientific side (concurrency theorists, semanticians, algorithmicians, researchers in distributed systems etc.) with an active interest in these or related developments. Topics include (but are not limited to): * Algorithmics for Concurrent or Distributed Systems * Fault-tolerant Protocols for Distributed Systems * Semantics * Concurrency Theory * Model-checking * Abstract Interpretation * Geometric/Topological models * Applications of algebraic topology * Category theory Paper submission Submissions to the workshop may be of two forms: * Short abstracts: up to 4 pages, in format A4, typeset 11 points * Full papers: up to 12 pages, in format A4, typeset 11 points (excluding bibliography and technical appendices) Both forms of submission should include a separate page with the following information: title, author(s), corresponding author, contact information and a 12-15 lines summary. Simultaneous submission to other conferences or journals is only allowed for short abstracts. Electronic submission is strongly encouraged. The paper or abstract should be sent by e-mail in the form of a postscript or PDF file to both the addresses uli(a)math.aau.dk and Haucourt(a)cea.fr. The accompanying page should be sent in a separate email message. If surface mail has to be used, then 3 copies of the paper/abstract should be sent to: Emmanuel Haucourt, DTSI/SLA, bat. 528, CEA Saclay, 91191 Gif-sur-Yvette, France. The deadline for submissions is 1 June 2005. Important Dates * Deadline for submission: 1 June 2005 * Notification of acceptance: 7 July 2005 * Final version (for the preproceedings): 27 July 2005 * CONCUR: 23-26 August 2005 * GETCO: 27 August 2005 Publication We expect that as in the years before, the preliminary proceedings of the workshop will published in the BRICS Notes series, and the proceedings with Electronic Notes in Theoretical Computer Science. Programme Committee * Patrick Cousot, Ecole Normale Supérieure, France * Lisbeth Fajstrup, Aalborg University, Denmark * Eric Goubault, Commissariat à l'Energie Atomique, France * Maurice Herlihy, Brown University, Providence, RI, USA * Kim G. Larsen, Aalborg University, Denmark * Martin Raussen, Aalborg University, Denmark Contact Additional information can be obtained from the GETCO website at http://www.math.aau.dk/~uli/getco05 or by taking contact to Ulrich Fahrenberg Department of Mathematical Sciences, Aalborg University Fredrik Bajers Vej 7G 9220 Aalborg East Phone: +45 96 35 88 00 Fax: +45 98 15 81 29 Email: uli(a)math.aau.dk 23-Mar-2005 21:52:32 -0400,4687;000000000000-00000000

1 0

81st PSSL: reminder
by Jorge Picado 21 Mar '05

21 Mar '05

81st Peripatetic Seminar on Sheaves and Logic University of Coimbra, Portugal April 9-10, 2005 Abstract submission deadline: March 22, 2005 Web page: http://www.mat.uc.pt/~categ/events/pssl.html The organisers, Manuela Sobral Maria Manuel Clementino Jorge Picado Lurdes Sousa 23-Mar-2005 21:52:32 -0400,5344;000000000000-00000000

1 0

CSL'05 Final Call for Papers
by Andrzej Murawski 21 Mar '05

21 Mar '05

CALL FOR PAPERS CSL'05, University of Oxford, 22-25 August 2005 http://web.comlab.ox.ac.uk/oucl/conferences/CSL05/ THE EVENT Computer Science Logic (CSL) is the annual conference of the European Association for Computer Science Logic (EACSL). The 14th Annual Conference (and 19th International Workshop), CSL2005, will take place in the week 22 - 25 August 2005; it will be organised by the Computing Laboratory at the University of Oxford. SCOPE The conference is intended for computer scientists whose research activities involve logic, as well as for logicians working on issues significant for computer science. Suggested topics of interest include: automated deduction and interactive theorem proving, constructive mathematics and type theory, equational logic and term rewriting, modal and temporal logic, model checking, logical aspects of computational complexity, finite model theory, computational proof theory, logic programming and constraints, lambda calculus and combinatory logic, categorical logic and topological semantics, domain theory, database theory, specification, extraction and transformation of programs, logical foundations of programming paradigms, linear logic, higher-order logic. INVITED SPEAKERS Matthias Baaz (U. of Technology, Vienna) Ulrich Berger (U. of Wales, Swansea) Maarten Marx (U. of Amsterdam) Anatol Slissenko (Universit� Paris 12) SUBMISSION The proceedings will be published in the Springer Lecture Notes in Computer Science. Papers accepted by the Programme Committee must be presented at the conference by one of the authors, and final copy prepared according to Springer's guidelines. Submitted papers must be in Springer's LNCS style and of no more than 15 pages, presenting work not previously published. They must not be submitted concurrently to another conference with refereed proceedings. The PC chair should be informed of closely related work submitted to a conference or journal by 1 April 2005. Papers authored or coauthored by members of the Programme Committee are not allowed. Submitted papers must be in English and provide sufficient detail to allow the programme committee to assess the merits of the paper. Full proofs may appear in a technical appendix which will be read at the reviewer's discretion. The title page must contain: title and author(s), physical and e-mail addresses, identification of the corresponding author, an abstract of no more than 200 words, and a list of keywords. IMPORTANT DATES Deadline for abstracts 25 March, 2005 Deadline for papers 1 April, 2005 Notification 15 May, 2005 Final versions due 1 June, 2005 ACKERMANN AWARD The EACSL Board has decided to launch the Ackermann Award: The EACSL Outstanding Dissertation Award for Logic in Computer Science. The first awards will be presented to the recipients at CSL'05. Further details of the Award can be found at http://www.dimi.uniud.it/~eacsl/award.html PROGRAMME COMMITTEE Albert Atserias (Universitat Polit�cnica de Catalunya) David Basin (Eidgen�ssische Technische Hochschule Z�rich) Martin Escardo (U. of Birmingham) Zoltan Esik (U. of Szeged) Martin Grohe (Humboldt-Universitat zu Berlin) Ryu Hasegawa (U. of Tokyo) Martin Hofmann (Ludwig-Maximilians-Universit�t M�nchen) Ulrich Kohlenbach (Darmstadt U. of Technology) Orna Kupferman (Hebrew U. of Jerusalem) Paul-Andre Mellies (CNRS / Universit� Paris 7) Aart Middeldorp (U. of Innsbruck, Austria) Dale Miller (INRIA / Ecole Polytechnique) Damian Niwinski (U. of Warsaw) Peter O'Hearn (Queen Mary, U. of London) Luke Ong (U. of Oxford, Chair) Alexander Rabinovich (U. of Tel Aviv) Thomas Schwentick (Philipps-Universit�t Marburg) Alex Simpson (U. of Edinburgh) Nicolai Vorobjov (U. of Bath) Andrei Voronkov (U. of Manchester) 23-Mar-2005 21:52:32 -0400,2349;000000000000-00000000

1 0