December 2008 - Categories - categories.org.au

Research positions
by Maria Manuel Clementino 26 Feb '14

26 Feb '14

5-YEAR RESEARCH POSITIONS The Centre for Mathematics of the University of Coimbra (CMUC) invites applications for five 5-year research positions in all areas of Mathematics. Applicants should have a PhD in Mathematics and at least three years of post-doctoral experience, with an international-level publication record and demonstrated ability to perform independent research. Preference will be given to candidates working in one of the areas in which the members of CMUC are currently active. A very good command of English is required. The appointments will be made for three years, renewable for two more. Successful applicants are expected to develop research within the areas of interest of CMUC. They should also contribute to graduate studies, supervising students from the Department of Mathematics. The basic salary is equivalent to the index 195 of the Portuguese research career (in the order of 42 500 euros a year), in accordance with the Ciência 2008 guidelines http://alfa.fct.mctes.pt/apoios/contratacaodoutorados/edital2008 Benefits include private health insurance and social security. Applicants should send • cover sheet (available from www.mat.uc.pt/cmuc/coversheet.pdf) including names and contact information of three persons who can provide a letter of recommendation • curriculum vitae (publication list included) • a 5-year research proposal (2 pages max), emphasizing their own research goals as pdf files to cmuc(a)mat.uc.pt. The subject of the e-mail message must include the job reference C2008 FCTUC CMUC v15-v19. The deadline for applications is *September 10, 2008.* ------------------------------ More information can be found at www.mat.uc.pt

1 1

Foundations?
by F W Lawvere 03 Sep '10

03 Sep '10

Down with "Foundations"! Up with algebra! Dear Friends, Presumably I am among those who are being "vilified" as "lovers of categories as foundation". By avoiding any precise definition, such a formulation might appeal to the widespread justified boredom induced by the past hundred years of "foundations as justification". Whenever I used the word "foundation" in my writings over the past forty years, I have explicitly rejected that reactionary use of the term and instead used the definition implicit in the work of my teachers Truesdell and Eilenberg. Namely, an important component of mathematical practice is the careful study of historical and contemporary analysis, geometry, etc. to extract the essential recurring concepts and constructions; making those concepts and constructions (such as homomorphism, functional, adjoint functor, etc.) explicit provides powerful guidance for further unified development of all mathematical subjects, old and new. What is the primary tool for such summing up of the essence of ongoing mathematics? Algebra! Nodal points in the progress of this kind of research occur when, as is the case with the finite number of axioms for the metacategory of categories, all that we know so far can be expressed in a single sort of algebra. I am proud to have participated with Eilenberg, Mac Lane, Freyd, and many others, in bringing about the contemporary awareness of Algebra as Category Theory Had it not been for the century of excessive attention given to the alleged possibility that mathematics is inconsistent, with the accompanying degradation of the F-word, we would still be using it in the sense known to the general public: the search for what is "basic". We, who supposedly know the explicit algebra of homomorphisms, functionals, etc. are long remiss in our duty to find ways to utilize those concepts also in guiding high school calculus. Best wishes, Bill Bibliography: - The Category of Categories as a Foundation for Mathematics, La Jolla conference 1965, Springer (1966) - Adjointness in Foundations, Dialectica, (1969), to be reprinted in TAC - Foundations and Applications: Axiomatization and Education, Bulletin of Symbolic Logic, (2003) vol 9, pp 213-224 - Sets for Mathematics, w/ Bob Rosebrugh, Cambridge Univ. Press, (2003) ************************************************************ F. William Lawvere Mathematics Department, State University of New York 244 Mathematics Building, Buffalo, N.Y. 14260-2900 USA Tel. 716-645-6284 HOMEPAGE: http://www.acsu.buffalo.edu/~wlawvere ************************************************************

2 1

Elsevier quality control... (fwd)
by Michael Barr 01 Jan '09

01 Jan '09

My daughter (who works for the Nature Publishing Group) sent me the following, which is worth reading for knowing the kind of journals Elsevier publishes. Follow the link to John Baez' blog (from which the comments are taken): http://golem.ph.utexas.edu/category/2008/11/the_case_of_m_s_el_naschie.html or just go directly there and save the middle man. I assume that this journal is indexed by ISI. Good grief, imagine that granting agencies are taking that crock of dung seriously. Michael ---------- Forwarded message ---------- Date: Tue, 30 Dec 2008 16:34:16 -0500 (EST) From: Rebecca Barr <rmbarr(a)pipeline.com> To: Michael Barr <barr(a)math.mcgill.ca> Subject: Elsevier quality control... http://pipeline.corante.com/archives/2008/12/22/publish_your_work_the_easy_…

3 2

Second Announcement of CT2009
by George Janelidze 31 Dec '08

31 Dec '08

SECOND ANNOUNCEMENT OF CT2009 IN CAPE TOWN Dear Colleagues, Wishing you a Happy New Year, and we - the organizers of CT2009 - look forward to seeing you in Cape Town: Please could you confirm your attendance at the conference as soon as possible and certainly before February 1 by answering the following questions by email to registration(a)ct2009.info 1. Name, Address/Affiliation, Email Address? (As you would like it to appear in the list of participants) 2. Arrival and Departure dates? (There will be a reception on the evening of Sunday, June 28. The opening and conference talks will begin at 9:00 on Monday, June 29. The conference will close at 13:00 on Saturday, July 4. However, we expect that Cape Town with all its attractions will entice many participants to prolong their stay by either arriving early or staying on after the conference. In particular, depending on the weather, we plan to organize excursions on Table Mountain and/or Cape Point and Cape of Good Hope on Saturday, July 4, and on Sunday, July 5. And any additional information about your plans and wishes would be helpful) 3. Would you like to give a talk? (If yes, please submit your abstract before April 15. If you are familiar with TeX please submit your abstract in the following form: \documentclass[12pt]{article} \def\references#1{\vspace*{5mm}\noindent{\sc References}\list {[\arabic{enumi}]}{\settowidth\labelwidth{[#1]}\leftmargin\labelwidth \advance\leftmargin\labelsep \usecounter{enumi}} \def\newblock{\hskip .11em plus .33em minus .07em} \sloppy\clubpenalty4000\widowpenalty4000 \sfcode`\.=1000\relax} \let\endthebibliog=\endlist \begin{document} \begin{center} {\LARGE Title} \bigskip {\large Author\\\small joint work with Coauthor(s)} \end{center} \medskip Abstract \begin{references}{99} \bibitem{1} Reference 1 \bibitem{2} Reference 2 \end{references} \bigskip\bigskip\noindent{\it Address/Affiliation\\ Email} \end{document} We hope that the selection process will end up with all submitted abstracts accepted with enough time for everyone to give either a 30 min or a 15 min talk. Accordingly, there will be up to three parallel sessions.) 4. Would you like to stay at a residence on campus? (The preferred residence is the recently built Graca Machel Hall, normally used as a residence for female students. It has "clusters" of rooms: each such cluster consists of two double rooms, four single rooms, shared bathroom, and one or two shared toilets. The price per day per person should be 181 Rands (at today's exchange rate this is less than 14 Euros) + 37 Rands (less than 3 Euros) for breakfast. Walking from Graca Machel Hall to the conference venue will take about 15 minutes but there will also be a shuttle bus. Our lunches will be organized at the University Club, but other meals can be organized at Graca Machel Hall. A hotel would be more comfortable of course, and Internet will show you infinitely many hotels and small guest houses in Cape Town with infinite (but not below 500 Rands) range of prices. The only problems with a hotel are: (a) higher prices; (b) non-walking distances from the conference venue; (c) public transport is not easily convenient. Those of you who prefer a hotel and do not intend to rent a car, might prefer to stay near the Waterfront (see http://www.waterfront.co.za ), or near the city centre. The city centre is about 15 minutes by car from the University. If you choose to do this then further information on transport will be forthcoming) 5. Number of accompanying persons? (And small children among them?) The Conference Fee does not have to be paid by February, but it is: Regular: 2250 Rands by April 15, or 3000 Rands after April 15; Student: 1500 Rands by April 15, or 2000 Rands after April 15; Accompanying person (if it is not a small child): 1200 Rands by April 15, or 1600 Rands after April 15 The conference fee includes the cost of the Reception, Lunches, Conference Dinner, and Wednesday Excursion. The payment details are Account Holder: University of Cape Town Name of Bank: Standard Bank of S.A LTD Address: Riverside Centre, Belmont Road, Rondebosch 7700, South Africa Bank Telephone: +27 21 689 8353 Fax: +27 21 686 8025 Branch: Rondebosch Bank Account Number: 071503854 Branch Code Number: 025009 Bank Swift Code: SBZAZAJJ Reference: CT2009 and name of Conference participant Please note that in order for the University to be able to track your payment the following is essential: 1. You reference the payment with CT2009 and your name, and 2. Immediately after you make the payment please send the proof of payment by email to registration(a)ct2009.info or by fax to +27216502334 The First Announcement is copied below for your convenience. Please also see http://ct2009.info Please do not hesitate to ask any questions, also by email to questions(a)ct2009.info George Janelidze ----- Original Message ----- From: "George Janelidze" <janelg(a)telkomsa.net> To: ""Categories"" <categories(a)mta.ca> Sent: Monday, October 06, 2008 11:14 PM Subject: categories: First Announcement of CT2009 FIRST ANNOUNCEMENT OF CT2009 AT CAPE TOWN Dear Colleagues, As many of you know from several preliminary announcements, The International Conference in Category Theory CT2009 will be held at the University of Cape Town (South Africa) during the week June 29-July 4 of 2009, which is approved by International Steering Committee in Category Theory. The conference will be dedicated to Saunders Mac Lane, who would turn 100 years old on 4 August 2009. INVITED SPEAKERS: Dominique Bourn Marino Gran Peter T. Johnstone F. William Lawvere Ross H. Street Walter Tholen SCIENTIFIC COMMITTEE: Jiri Adamek Dominique Bourn Marino Gran Marco Grandis George Janelidze Peter T. Johnstone Stephen Lack A. John Power Manuela Sobral Ross H. Street Walter Tholen Richard J. Wood Each member of this committee will choose 30 min and 15 min talks for a particular section (although for the first two sections it will be teams of four and three respectively) as follows : GENERAL CATEGORY THEORY: D. Bourn, M. Gran, G. Janelidze, M. Sobral TWO-DIMENSIONAL CATEGORICAL ALGEBRA: S. Lack, A. J. Power, R. J. Wood MONOIDAL AND HIGHER DIMENSIONAL CATEGORIES: R. H. Street TOPOS THEORY AND POINTFREE TOPOLOGY: P. T. Johnstone CATEGORICAL TOPOLOGY - Section dedicated to G. C. L. Brummer's 75th Birthday: W. Tholen HOMOTOPICAL ALGEBRA - Section dedicated to K. A. Hardie's 80th Birthday: M. Grandis APPLICATION OF CATEGORIES IN PHYSICS AND COMPUTER SCIENCE: J. Adámek ORGANIZING COMMITTEE: Dharmanand Baboolal Bruce Bartlett Guillaume C. L. Brummer Themba Dube John L. Frith Partha Pratim Ghosh Christopher R. A. Gilmour James R. A. Gray Keith A. Hardie David Holgate George Janelidze Tamar Janelidze Zurab Janelidze Hans-Peter A. Kunzi Zechariah Mushaandja Inderasan Naidoo Peter Ouwehand Ingrid Rewitzky Anneliese Schauerte Peter J. Witbooi This large committee includes almost everyone from the Universities of Cape Town, Stellenbosch, KwaZulu-Natal, Western Cape, South Africa (UNISA), and Witwatersrand, working or interested in category theory, from senior professors to PhD students. The website of the conference with all relevant information will be made before December 2008. George Janelidze

1 0

PSI 2009 Call For Papers
by Perspectives of System Informatics 29 Dec '08

29 Dec '08

[apologies for cross-posting] CALL FOR PAPERS Seventh International Andrei Ershov Memorial Conference PERSPECTIVES OF SYSTEM INFORMATICS 15-19 June, 2009, Novosibirsk, Akademgorodok, Russia http://psi.nsc.ru/psi09/index.shtml [AIMS AND SCOPE] PSI is a forum for academic and industrial researchers, developers and users working on topics relating to computer, software and information sciences. The conference serves to bridge the gaps between different communities whose research areas are covered by but not limited to foundations of program and system development and analysis, programming methodology and software engineering, and information technologies. The PSI forum provides a venue for such communities at which common problems, methods and methodologies can be discussed and explored. In doing so, PSI aims to support researchers in their quest to improve the reliability, flexibility and efficiency of methods, algorithms and tools for developing computer, software and information systems. The first six conferences were held in 1991, 1996, 1999, 2001, 2003 and 2006, respectively, and proved to be significant international events. The PSI 2009 Conference is dedicated to the memory of a prominent scientist academician A.P. Ershov and to a significant date in the history of computer science in the country, namely, to the 50th anniversary of the Programming Department (http://pd.iis.nsk.su/, in Russian) founded by him. Initially, the Department was a part of the Institute of Mathematics and later, in 1964, it joined the newly established Computing Center of the Siberian Branch of the USSR Academy of Sciences. A.P. Ershov, who was responsible for forming the Department, gathered a team of young graduates from the leading Soviet universities. The first significant project of the Department was aimed at the development of ALPHA system, an optimizing compiler for an extension of Algol 60 implemented on a Soviet computer M-20. Later the researchers of the Department created the Algibr, Epsilon, Sigma, and Alpha-6 programming systems for the BESM-6 computers. The list of their achievements also includes the first Soviet time-sharing system AIST-0, the multi-language system BETA, research projects in artificial intelligence and parallel programming, the integrated tools for text processing and publishing, and many others. The scope of problems facing the Programming Department was widening in time, its organizational structure changed and there appeared new research directions, school informatics and mixed computation among them. Founded in 1990, the Institute of Informatics Systems is justly considered to be a successor of the Programming Department keeping its main research directions and maintaining its best traditions. [CONFERENCE CHAIR] Alexander Marchuk A. P. Ershov Institute of Informatics Systems & Novosibirsk State University, Novosibirsk, Russia [STEERING COMMITTEE] Manfred Broy Institut fuer Informatik, Technische Universitaet Muenchen, Germany Bertrand Meyer ETH Zurich, Switzerland, and Eiffel Software, USA Andrei Voronkov The University of Manchester, UK [HONORARY MEMBERS] Tony Hoare Microsoft Research, Cambridge, UK Niklaus Wirth Departement Informatik, ETH Zurich, Switzerland [PROGRAMME COMMITTEE CO-CHAIRS] Amir Pnueli New York University, USA & The Weizmann Institute of Science, Israel Irina Virbitskaite A.P. Ershov Institute of Informatics Systems & Novosibirsk State University, Novosibirsk, Russia Andrei Voronkov The University of Manchester, UK [CONFERENCE SECRETARY] Natalia Cheremnykh A.P. Ershov Institute of Informatics Systems 6, Acad. Lavrentiev pr., 630090 Novosibirsk, Russia tel.: +7-383-3307352 fax: +7-383-3323494 e-mail: cher(a)iis.nsk.su psi09(a)iis.nsk.su [CONFERENCE TOPICS] Conference topics include: 1. Foundations of Program and System Development and Analysis - specification, validation, and verification techniques, - program analysis, transformation and synthesis, - semantics, logic and formal models of programs, - partial evaluation, mixed computation, abstract interpretation, compiler construction, - theorem proving and model checking, - concurrency theory, - modeling and analysis of real-time and hybrid systems, - computer models and algorithms for bioinformatics. 2. Programming Methodology and Software Engineering - object-oriented, aspect-oriented, component-based and generic programming, - programming by contract, - program and system construction for parallel and distributed computing, - constraint programming, - multi-agent technology, - system re-engineering and reuse, - integrated programming environments, - software architectures, - software development and testing, - model-driven system/software development, - agile software development, - software engineering methods and tools, - program understanding and visualization. 3. Information Technologies - data models, - database and information systems, - knowledge-based systems and knowledge engineering, - bioinformatics engineering - ontologies and semantic Web, - digital libraries, collections and archives, Web publishing, - peer-to-peer data management. In addition to papers in the above list of topics, papers both bridging the gap between different directions and promoting mutual understanding of researchers are welcome. Papers defining the general prospects in computer science are also encouraged. [PROGRAMME COMMITTEE MEMBERS] Konstantin Avrachenkov, HP Labs Russia Janis Barzdins, Univ. of Latvia, Riga, Latvia Igor Belousov, HP Labs Russia Frederic Benhamou, Univ. Nantes, France Eike Best, Univ. Oldenburg, Germany Stefan Brass, Univ. Halle, Germany Kim Bruce, Pomona College, California, USA Mikhail Bulyonkov, IIS SB RAS, Novosibirsk, Russia Hans-Dieter Burkhard, Humboldt Univ., Berlin, Germany Albertas Caplinskas, IMI, Vilnius, Lithuania Gabriel Ciobanu, Inst. Comp. Sc. RA, Iasi, Romania Javier Esparza, TUM, Muenchen, Germany Jean Claude Fernandez, Univ. J. Fourier, Grenoble, France Chris George, UNU/IIST, Macau Jan Friso Groote, Eindhoven Univ. of Tech., The Netherlands Heinrich Herre, University of Leipzig, Germany Victor Ivannikov, IPS RAS, Moscow, Russia Victor Kasyanov, IIS SB RAS, Novosibirsk, Russia Joost-Pieter Katoen, RWTH Aachen Univ., Germany Alexander Kleshchev, IACP RAS, Vladivostok, Russia Nikolay Kolchanov, IC&G, Novosibirsk, Russia Gregory Kucherov, CNRS/LIFL/INRIA, Lille, France Rustan Leino, Microsoft Research, Redmond, USA Johan Lilius, Abo Akademi Univ., Turku, Finland Pericles Loucopoulos, Loughborough Univ., UK Audrone Lupeikiene, IMI, Vilnius, Lithuania Andrea Maggiolo-Schettini, Univ. Pisa, Italy Klaus Meer, Cottbus, Germany Dominique Mery, Univ. Henri Poincare, Nancy, France Torben Mogensen, Univ. Copenhagen, Denmark Bernhard Moeller, Univ. Augsburg, Germany Hanspeter Moessenboeck, JK Univ. Linz, Austria Peter Mosses, Swansea Univ., Wales, UK Peter Mueller, Microsoft Research, Redmond, USA Fedor Murzin, IIS SB RAS, Novosibirsk, Russia Valery Nepomniaschy, IIS SB RAS, Russia Nikolaj Nikitchenko, Nat. Univ. Kiev, Ukraine Jose R. Parama, Univ. A Coruna, Spain Francesco Parisi-Presicce, Univ. "La Sapienza", Rome, Italy Wojciech Penczek, Inst. Comp. Sci., Warsaw, Poland Jaan Penjam, Tallinn Tech. Univ., Estonia Peter Pepper, Tech. Univ. Berlin, Germany Alexander Petrenko, IPS RAS, Moscow, Russia Jaroslav Pokorny, Charles U., Prague, Czech Republic Vladimir Polutin, HP Labs Russia Wolfgang Reisig, Humboldt Univ., Berlin, Germany Viktor Sabelfeld, Swisscom Schweiz AG, Bern, Switzerland Donald Sannella, University of Edinburgh, UK Timos Sellis, Nat. Tech. Univ. Athens, Greece Alexander Semenov, Intel, Novosibirsk, Russia Klaus-Dieter Schewe, Massey Univ, PN, New Zealand David Schmidt, Kansas State Univ., Manhattan, USA Nikolay Shilov, IIS SB RAS, Novosibirsk, Russia Alexander Tomilin, IPS RAS, Moscow, Russia Mark Trakhtenbrot, Holon Inst. of Technology, Israel Alexander L. Wolf, Imperial College, London, UK Tatyana Yakhno, Dokuz Eylul Univ., Izmir, Turkey Wang Yi, Uppsala Univ., Sweden [INVITED SPEAKERS] Samson Abramsky (Oxford University, UK) Dines Bjorner (Technical University of Denmark, Denmark) John McCarthy (Stanford University, USA) Kim Guldstrand Larsen (Aalborg University, Denmark) Wolfram Schulte (Microsoft Research, USA) Lothar Thiele (ETH Zurich, Switzerland) [SUBMISSIONS] Paper submissions must: - Contain original contributions that have not been published or submitted to other conferences/journals in parallel with this conference. - Clearly state the problem being addressed, the goal of the work, the results achieved, and the relation to other works. - Be in PS or PDF and formatted according to Springer LNCS Instructions for Authors: http://www.springeronline.com - Have a length that does not exceed 12 pages for a regular paper and 7 pages for a short paper. - Be in English and in a form that can be immediately included in the proceedings without major revision. - Be sent electronically (as a PostScript or PDF file) using website http://www.easychair.org/conferences/?conf=psi09 not later than January 23, 2009. [CONFERENCE PROCEEDINGS] A preliminary book of tutorials, invited and accepted contributions will be available at the conference. The final versions of the papers presented at the conference will be published by Springer-Verlag in the Lecture Notes in Computer Science series after the conference. One can find the proceedings of the previous five conferences in LNCS, Vol. 1181, 1755, 2244, 2890 and 4378, respectively. Information on the previous conference and some pictures can be found at the conference web site: http://psi.nsc.ru/psi06/index_e.shtml [LOCATION] The conference will be held in Akademgorodok (Academy town), 30 km South from Novosibirsk, the largest city of Siberia. Akademgorodok is located in a picturesque place near the Ob lake. It is surrounded with birch and pine forests and pleasant not only for work but for recreation as well. Silence, beautiful landscape, and pure air are the factors promoting scientific activity and creativity. [TRAVELLING] You can fly to Novosibirsk via Moscow by Aeroflot, Transaero or S7. Direct S7 flights will bring you from Frankfurt, Hannover, Seoul or Beijing to Novosibirsk and back. Now you can buy electronic tickets on Aeroflot, S7 and Transaero flights via the websites and pay by VISA and other popular cards. All participants will be met at the Novosibirsk airport and brought to Akademgorodok by a special transport. [WEATHER] The weather in Novosibirsk in the middle of June is normally quite warm and sunny with the temperatures in the range of 25-30 C. Night swimming in the Ob lake is guaranteed. [SATELLITE WORKSHOPS] N.B. Four satellite workshops will be held in conjunction with PSI'09: - Science Intensive Applied Software, - Informatics of Education, - Program Understanding, - History of Computer Science in Siberia (commemorating the 50th Anniversary of Programming Department, Computing Center, Novosibirsk) They will be announced later. [IMPORTANT DATES] January 16, 2009: submission deadline of abstracts January 23, 2009: submission deadline of papers April 7, 2009: notification of acceptance 15-19 June, 2009: the conference dates September 1, 2009: final papers due

1 0

topological closure of a category
by Gaucher Philippe 27 Dec '08

27 Dec '08

Dear all, I have the following situation and I'd like to know whether there is a name for it, or whether someone knows examples like that. That would be helpful. 1) a locally presentable category C 2) a topological locally presentable category D 3) a left adjoint F:C-->D 4) F is faithful but not full (i.e. one-to-one on morphisms) and essentially surjective. So F is not an equivalence of categories. Could D be a kind of "topological closure" of C ? Thanks in advance. pg.

1 0

Call for abstracts: Quantum Physics and Logic (QPL VI), Oxford, April 8-9, 2009.
by Bob Coecke 27 Dec '08

27 Dec '08

6th QPL workshop on Quantum Physics and Logic April 8-9, 2009, Oxford, UK This event has as its goal to bring together researchers working on mathematical foundations of quantum physics, quantum computing and spatio-temporal causal structures, and in particular those that use logical tools, ordered algebraic and category-theoretic structures, formal languages, semantical methods and other computer science methods for the study physical behaviour in general. Over the past couple of years there has been a growing activity in these foundational approaches together with a renewed interest in the foundations of quantum theory, which complement the more mainstream research in quantum computation. A predecessor of this event, with the same acronym, called Quantum Programming Languages, was held in Ottawa (2003), Turku (2004), Chicago (2005) and Oxford (2006). The first QPL under the new name Quantum Physics and Logic was held in Reykjavik (2008); with the change of name and a new program committee we emphasise the intended much broader scope of this event, aiming to nourish interaction between modern computer science logic, quantum computation and information, models of spatio-temporal causality, and quantum foundations, which resulted in an attractive program. The event proceeds MFPS 2009, also in Oxford, at which there will a series of tutorials to enable MFPS participants to also attend and comprehend the QPL talks. Invited speakers: Reinhard Werner (Braunschweig) Giacomo Mauro D'Ariano (Pavia) TBA (-) Workshop co-chairs: Bob Coecke (Oxford) Prakash Panangaden (McGill) Peter Selinger (Dalhousie) Program Committee: Howard Barnum (Los Alamos) Dan Browne (UCL - Londen) Paul Busch (York) Bob Coecke (Oxford) Andreas Doering (Imperial) John Harding (NMSU) Viv Kendon (Leeds) Keye Martin (NRL) Prakash Panangaden (McGill) Peter Selinger (Dalhousie) TBA (-) Deadlines: February 13: Submission February 27: Notification of authors March 20: Corrected papers due Webpage: http://web.comlab.ox.ac.uk/people/Bob.Coecke/QPL_09.html Webpage of previous Quantum Physics and Logic: http://web.comlab.ox.ac.uk/people/Bob.Coecke/DCM_QPL_08.html Papers at previous Quantum Physics and Logic: http://www.comlab.ox.ac.uk/people/bob.coecke/DCM_QPL_08_accepted.html Webpage of MFPS XXV: http://www.math.tulane.edu/~mfps/mfps25.htm Submission procedure. Prospective speakers are invited to submit a 2-5 pages abstract which provides sufficient evidence of results of genuine interest and provides sufficient detail to allows the program committee to assess the merits of the work. Submissions of works in progress are encouraged but must be more substantial than a research proposal. We both encourage submissions of original research as well as research submitted elsewhere. Authors of accepted original research contributions will be invited to submit a full paper to a special issue of a journal yet to be decided on. Submissions should be in Postscript or PDF format and should be sent to Bob Coecke by February 13, with as subject line QPL Submission. Receipt of all submissions will be acknowledged by return email. Accepted contributors will be able to publish extended versions of their 2-5 abstracts in Electronic Notes in Theoretical Computer Science. The workshop enjoys support from: EPSRC Network Semantics of Quantum Computation (EP/E006833/1) EPSRC ARF The Structure of Quantum Information and its Applications to IT (EP/D072786/1) EC Foundational Structures for Quantum Information and Computation (FP6 STREP QICS)

1 0

GALOP IV @ ETAPS 2009 CfP
by Andrzej Murawski 25 Dec '08

25 Dec '08

---------------------------------------------------------------------- GaLoP IV 4th Workshop on Games for Logic and Programming Languages (satellite event of ETAPS 2009) *** CALL FOR PAPERS *** York, United Kingdom 28-29 March 2009 http://web.comlab.ox.ac.uk/galop09/ ---------------------------------------------------------------------- GaLoP is an annual international workshop on game-semantic models for logics and programming languages and their applications. This is an informal workshop that welcomes work in progress, overviews of more extensive work, programmatic or position papers and tutorials as well as contributed papers. Accordingly, we ask for submission of both short abstracts outlining what will be presented at the workshop and longer papers describing completed work, either published or unpublished. The fourth GaLoP will be held in York (UK) between March 28 and 29 and will be part of the European Joint Conferences on Theory and Practice of Software (ETAPS 2009). Contributions are invited on all pertinent subjects. Typical (but not exclusive) areas are: - games and categorical semantics, - algorithmic aspects of games, - programming languages and full abstraction, - semantics of logics and proof systems, - proof search, - program verification and model checking, - program analysis, - theories of concurrency. There will be no formal proceedings. In previous years, a special issue of the Annals of Pure and Applied Logic has been produced, and this possibility will be pursued again this year. * Submission Link http://www.easychair.org/conferences/?conf=galop09 * Important Dates Submission deadline: January 25 Notification date: February 6 Workshop: March 28-29 * Program Committee Ugo Dal Lago, Bologna Paul Levy, Birmingham Guy McCusker, Bath (co-chair) Dale Miller, Palaiseau Andrzej Murawski, Oxford (co-chair) Olivier Serre, Paris Nicolas Tabareau, Paris

1 0

CFP: 6th workshop on "Methods for Modalities" (M4M-6)
by Thomas Bolander 24 Dec '08

24 Dec '08

==================================================================== FIRST CALL FOR PAPERS 6th Workshop on "Methods for Modalities" (M4M-6) http://m4m.loria.fr/M4M6 Copenhagen, Denmark November 12-14, 2009 ==================================================================== Scope ----- The workshop "Methods for Modalities" (M4M) aims to bring together researchers interested in developing algorithms, verification methods and tools based on modal logics. Here the term "modal logics" is conceived broadly, including temporal logic, description logic, guarded fragments, conditional logic, temporal and hybrid logic, etc. To stimulate interaction and transfer of expertise, M4M will feature a number of invited talks by leading scientists, research presentations aimed at highlighting new developments, and submissions of system demonstrations. We strongly encourage young researchers and students to submit papers, especially for experimental and prototypical software tools which are related to modal logics. More information about the previous editions can be found at http://m4m.loria.fr/ M4M-6 will be preceded by a two-day mini-course aimed at preparing PhD students and other researchers for participation in the workshop. The mini-course is associated with the FIRST research school (http://first.dk) Paper Submissions ------------------ Authors are invited to submit papers in the following three categories. - Regular papers up to 15 pages, describing original research. - System descriptions of up to 12 pages, describing new systems or significant upgrades of existing ones. - Presentation-only papers, describing work recently published or submitted (no page limit). These will not be included in the proceedings, but pre-prints or post-prints can be made available to participants. Submissions should be made via EasyChair at the following address: http://www.easychair.org/conferences/?conf=m4m6 Final versions of accepted papers will be published online in a volume of Elsevier Electronic Notes in Theoretical Computer Science (ENTCS). A preliminary version of the proceedings will also be available at the workshop. Invited speakers ----------------- To be announced. Important dates --------------- Deadline for submissions: August 24, 2009 Notification: October 5, 2009 Camera ready versions: October 26, 2009 Workshop dates: November 12-14, 2009 Program Committee ----------------- Carlos Areces, INRIA Lorraine Lars Birkedal, IT University of Copenhagen Patrick Blackburn, INRIA Lorraine Thomas Bolander (co-chair), Technical University of Denmark Julian Bradfield, University of Edinburgh Torben Braüner (co-chair), Roskilde University Balder ten Cate, University of Amsterdam Stephane Demri, ENS de Cachan Hans van Ditmarsch, University of Otago Melvin Fitting, City University of New York John Gallagher, Roskilde University Mai Gehrke, Radboud University Nijmegen Silvio Ghilardi, University of Milano Valentin Goranko, University of the Witwatersrand Rajeev Goré, ANU, NICTA Michael R. Hansen, Technical University of Denmark Andreas Herzig, IRIT Wiebe van der Hoek, University of Liverpool Martin Lange, LMU München Carsten Lutz, Dresden University of Technology Angelo Montanari, University of Udine Valeria de Paiva, Cuill Inc. Renate Schmidt, University of Manchester Thomas Schneider, University of Manchester Carsten Schürmann, IT University of Copenhagen Gert Smolka, Saarland University Anders Søgaard, University of Copenhagen Jørgen Villadsen, Technical University of Denmark Frank Wolter, University of Liverpool Thomas Ågotnes, Bergen University College ==================================================================

1 0

reference to Grothendieck and n-categories?
by mail.btinternet.com 23 Dec '08

23 Dec '08

There will be a conference in Paris to celebrate the 80th birhday of Alexander Grothendieck http://www.ihes.fr/jsp/site/Portal.jsp?document_id=1661&portlet_id=14 and the publication of Pursuing Stacks and the associated correspondence will be announced. There is from my point of view one lacuna which I would like to fill. My memory is that I read in 1982 in a SLNM paper on category theory, I think by Jack Duskin, in which he referred to Grothendieck's interest in n-categories. This suggested to me to write to Grothendieck with lots of papers and asking for a meeting, since I was going to Marseilles-Luminy that summer. I have been unable to identify this paper. Help would be appreciated! Ronnie

1 0