March 2005 - Categories - categories.org.au

2nd CFP: Quantum Programming Languages Workshop
by Peter Selinger 02 Mar '05

02 Mar '05

SECOND CALL FOR PAPERS 3nd International Workshop on Quantum Programming Languages (QPL2005) June 30 - July 1, 2005, Chicago Affiliated with LICS 2005 http://quasar.mathstat.uottawa.ca/~selinger/qpl2005/ * * * The goal of this workshop is to bring together researchers working on mathematical foundations and programming languages for quantum computing. In the last few years, there has been a growing interest in logical tools, languages, and semantical methods for analyzing quantum computation. These foundational approaches complement the more mainstream research in quantum computation which emphasizes algorithms and complexity theory. Possible topics include the design and semantics of quantum programming languages, new paradigms for quantum programming, specification of quantum algorithms, higher-order quantum computation, quantum data types, reversible computation, axiomatic approaches to quantum computation, abstract models for quantum computation, properties of quantum computing resources and primitives, concurrent and distributed quantum computation, compilation of quantum programs, semantical methods in quantum information theory, and categorical models for quantum computation. Previous workshops in this series were held in Ottawa (2003) and Turku (2004). INVITED SPEAKER: Louis H. Kauffman (Illinois, Chicago) PROGRAM COMMITTEE: Bob Coecke (Oxford) Simon Gay (Glasgow) Philippe Jorrand (Grenoble) Peter Selinger (Ottawa) SUBMISSION PROCEDURE: The workshop will be a 2-day workshop. Prospective speakers should submit a detailed abstract (or extended abstract) of 5-12 pages. Submissions of works in progress are encouraged, but must be more substantial than a research proposal. Submissions must provide sufficient detail to allow the program committee to assess the merits of the paper. Submissions should be in Postscript or PDF format, and should be sent to selinger(a)mathstat.uottawa.ca by April 4 (please put "workshop submission" in the subject line). Receipt of all submissions will be acknowledged by return email. PROCEEDINGS: The workshop proceedings will be published in Electronic Notes in Theoretical Computer Science (ENTCS). A printed copy of the preliminary proceedings will be distributed to participants at the workshop. IMPORTANT DATES/DEADLINES: Submissions: April 4, 2005 Notification of acceptance: April 25, 2005 Paper for printed proceedings: May 9, 2005 Workshop: June 30 - July 1, 2005 ENTCS revised paper: November 1, 2005 (tentative) CONTACT INFORMATION: Organizer: Peter Selinger University of Ottawa, Canada Email: selinger(a)mathstat.uottawa.ca (revised Mar 1, 2005)

1 0

Conference for the 60th birthday of Ross Street
by Stephen Lack 02 Mar '05

02 Mar '05

This is a second announcement of the conferences on Categories in Algebra, Geometry and Mathematical Physics (the "Streetfest") organized to mark the 60th birthday of Ross Street, and taking place at Macquarie University in Sydney, Australia during the period 11-16 July. In order to recognize the broad influence of Ross' work there will be a large number of invited speakers, and consequently only a few contributed talks. People wishing to give a talk should submit a title and abstract before March 15, via the conference website at <http://streetfest.maths.mq.edu.au>. Login by clicking on your name and then using the password "streetfest". If your name is not on the list, you will need to email either Michael Batanin <mbatanin(a)ics.mq.edu.au> or Steve Lack <s.lack(a)uws.edu.au>. It will also be possible to present a poster at the conference. Information on visas and accommodation can be found on the conference website; further enquiries about these matters should be directed to Victoria Benning <vbenning(a)ics.mq.edu.au>. Accommodation not reserved by 15 April will be the responsibility of the individual. Note also that all international participants will need a visa to enter the country. We would also like to announce that we are planning a workshop "Categorical methods in Algebra, Geometry and Mathematical Physics" at the Australian National University (ANU in Canberra, 300 kilometers south from Macquarie) from 18 to 21 July as a satellite event for the Streetfest, and for the workshop on non-commutative geometry and index theory at the ANU. The workshop will be more oriented towards applications, and will cover four basic topics: 1. Categories in algebra and algebraic geometry, derived categories. 2. Categories in topology, homotopy theory and geometry. 3. Categories in mathematical physics. 4. Higher dimensional categories including A_{\infty}-categories, quasicategories, Segal categories. The following people have already expressed their interest in participating in this activity: John Baez, Alexei Bondal, Charles-Denis Cesinski, James Dolan, Jurgen Fuchs, Ezra Getzler, Andre Joyal, Michael Kapranov, Ludmil Katzarkov, Andrey Lazarev, Jean-Louis Loday, Georges Maltsiniotis, Randy McCarthy, Taras Panov, Ingo Runkel, Pedro Resende, Ross Street, Alexander Voronov, Mark Weber. The program for the workshop and the details of accommodation are still being sorted out. If you intend to participate, please let us know about your interest before 15 March. More details about this workshop will appear on our website after 15 March. Michael Batanin, Alexei Davydov, Michael Johnson, Steve Lack, Amnon Neeman. -- Stephen Lack School of Quantitative Methods and Mathematical Sciences University of Western Sydney Locked Bag 1797 Penrith South DC NSW 1797 AUSTRALIA Phone: +61 2 4736 0072 Office: Kingswood I222

1 0

ALGEBRAIC AND TOPOLOGICAL METHODS IN NON-CLASSICAL LOGICS II (Second announcement)
by mathlog＠ub.edu 01 Mar '05

01 Mar '05

(apologies for multiple posting) Second announcement ALGEBRAIC AND TOPOLOGICAL METHODS IN NON-CLASSICAL LOGICS II Barcelona, 15-18 June 2005 This meeting shares the goals of the Tbilisi conference with the same title, held in July 2003, as well as those of the Patras conference on many-valued logics and residuated structures, held in June 2004. In recent years the interest in non-classical logics has been growing. Motivations from computer science, natural language reasoning and linguistics have played a significant role in this development. The semantic study of non-classical logics is a field where no single overarching paradigm has been established, and where a variety of techniques are currently being explored. An important goal of this meeting is to promote the cross-fertilization of the fundamental ideas connected with these approaches. Thus, we aim to bring together researchers from various fields of non-classical logics and applications, as well as from lattice theory, universal algebra, category theory and general topology, in order to foster collaboration and further research. The scientific programme of the congress will include a few invited lectures and will provide ample time for contributed papers and interaction between participants. Researchers whose interests fit the general aims of the conference are encouraged to participate. The featured areas include, but are not limited to, the following (in alphabetical order): - Algebraic logic - Coalgebraic semantics - Categorical semantics in general - Dynamic logic and dynamic algebras - Fuzzy and many-valued logics - Lattices with operators - Modal logics - Ordered topological spaces - Ordered algebraic structures - Residuated structures - Substructural logics - Topological semantics of modal logic INVITED SPEAKERS Guram Bezhanishvili, New Mexico State University, Las Cruces (USA) Robert Goldblatt, Victoria University, Wellington (New Zealand) Ian Hodkinson, King's College London (UK) Peter Jipsen, Chapman University, Orange (USA) Franco Montagna, Università di Siena (Italy) Hilary Priestley, St. Anne's College, University of Oxford (UK) James Raftery, University of Natal, Durban (South Africa) PROGRAMME COMMITTEE Leo Esakia, Georgian Academy of Sciences Mai Gehrke, New Mexico State University Petr Hájek, Academy of Sciences of the Czech Republic Ramon Jansana, Universitat de Barcelona Hiroakira Ono, Japan Advanced Institute for Science and Technology (chair) Constantine Tsinakis, Vanderbilt University Yde Venema, Universiteit van Amsterdam Michael Zacharyaschev, King's College London ORGANIZING COMMITTEE Josep Maria Font, Universitat de Barcelona (chair) Àngel Gil, Universitat Pompeu Fabra (Barcelona) José Gil, Universitat de Barcelona Joan Gispert, Universitat de Barcelona Carles Noguera, Institut d'Investigació en Intel·ligència Artificial (Bellaterra) Antoni Torrens, Universitat de Barcelona Ventura Verdú, Universitat de Barcelona SPONSORING INSTITUTIONS Ministry of Education and Science (Spanish government) Department of Universities, Research and Information Society of the Generalitat de Catalunya (Catalan government) Faculty of Mathematics of the University of Barcelona Faculty of Philosophy of the University of Barcelona Catalan Mathematical Society With the collaboration of IMUB (Institute of Mathematics, University of Barcelona) and IIIA (Artificial Intelligence Research Institute, CSIC). CONTRIBUTED PAPERS Participants who wish to present a talk should submit an abstract through the Atlas service (http://atlas-conferences.com/) before 31 March 2005. The abstract should be written in TeX (or in plain, non-formatted text without formulas) and be at most 2 pages long. Authors will be notified before 30 April 2005 whether their submission has been accepted for presentation. Participants needing early acceptance are advised to submit their abstract as soon as possible and inform the organizers of the situation. TRAVEL GRANTS We hope to provide some funding to partially cover travel expenses of students and recent Ph.D.'s without grant support, as well as of active researchers from countries with developing economies. The number and amount of these grants will depend on the funding available, and will be paid in cash during the meeting. Applications should be sent to mathlog(a)ub.edu before 31 March 2005. To apply send a message with your personal data, a short CV, a description of your research area and its relation with the topics of the meeting. Students and recent Ph.D.'s should also ask their supervisor to send a letter of support to the same address. CONGRESS VENUE The meeting will take place at the Facultat de Matemàtiques of the Universitat de Barcelona, a 19th century building located in the city centre. The address is: Gran Via de les Corts Catalanes 585, 08007 Barcelona, Spain. The building is on the square known as Plaça de la Universitat (University square). The lecture rooms are on the ground floor of the building. Participants will be able to use a nearby computer room with Internet access. No Wi-Fi coverage or free Ethernet plugs are planned. REGISTRATION Participants must register to attend the meeting. The registration fee is Euro 30 (approx. $ 39 as of March 1st), to be paid upon arrival. Registration includes conference materials, coffee breaks and snacks, and a special price for Saturday's dinner. Abstracts of accepted contributed papers by registered participants will be included in the congress' booklet. DEADLINES Submission of contributed papers: 31 March 2005 Acceptance of contributed papers: 30 April 2005 Travel grant applications: 31 March 2005 MORE INFORMATION Further details about registration, hotels, schedule, etc., will be posted at the congress' web page http://www.mat.ub.edu/~logica/meeting2005/ For more information on the meeting, please visit this page, or write to mathlog(a)ub.edu.

1 0