June 2008 - Categories - categories.org.au

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

ESSLLI 2009 Call for Proposals
by Richard Moot 25 Jun '08

25 Jun '08

%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% 21st European Summer School in Logic, Language and Information ESSLLI 2009 Monday, 20 July --- Friday, 31 July 2009 Bordeaux, France %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% CALL FOR COURSE and WORKSHOP PROPOSALS -------------------------------------- The European Summer School in Logic, Language and Information (ESSLLI) is organized every year by the Association for Logic, Language and Information (FoLLI, http://www.folli.org) in different sites around Europe. The main focus of ESSLLI is on the interface between linguistics, logic and computation. ESSLLI offers foundational, introductory and advanced courses, as well as workshops, covering a wide variety of topics within the three areas of interest: Language and Computation, Language and Logic, and Logic and Computation. Previous summer schools have been highly successful, attracting up to 500 students from Europe and elsewhere. The school has developed into an important meeting place and forum for discussion for students and researchers interested in the interdisciplinary study of Logic, Language and Information. The ESSLLI 2009 Program Committee invites proposals for foundational, introductory, and advanced courses, and for workshops for the 21st annual Summer School in the broad interdisciplinary area connecting logic, linguistics, computer science and the cognitive sciences. The Summer School program is organized around the components. - Language and Computation - Language and Logic - Logic and Computation We also welcome proposals that do not exactly fit one of these there categories. PROPOSAL SUBMISSION: Proposals should be submitted through a web form available at http://www.folli.org/submission.php All proposals should be submitted no later than ******* Monday, September 1, 2008 ******* Authors of proposals will be notified of the committee's decision no later than Wednesday October 15, 2008. Proposers should follow the guidelines below while preparing their submissions; proposals that deviate can not be considered. GUIDELINES FOR SUBMISSION: Anyone interested in lecturing or organizing a workshop during ESSLLI-2009, please read the following information carefully. ALL COURSES: Courses consists of five sessions (a one-week course), each session lasting 90 minutes. Lecturers who want to offer a long, two-week course should submit two independent one-week courses (for example an introductory course in the first week of ESSLLI, and a more advanced course during the second). The ESSLLI program committee has the right to select only one of the two proposed courses. Timetable for Course Proposal Submission: Sept 1, 2008: Proposal Submission Deadline Oct 15, 2008: Notification June 1, 2009: Deadline for receipt of camera-ready course material (by ESSLLI Local Organizers) FOUNDATIONAL COURSES: These are strictly elementary courses not assuming any background knowledge. They are intended for people to get acquainted with the problems and techniques of areas new to them. Ideally, they should allow researchers from other fields to acquire the key competences of neighboring disciplines, thus encouraging the development of a truly interdisciplinary research community. Foundational courses may presuppose some experience with scientific methods in general, so as to be able to concentrate on the issues that are germane to the area of the course. INTRODUCTORY COURSES: Introductory courses are central to the activities of the Summer School. They are intended to equip students and young researchers with a good understanding of a field's basic methods and techniques. Introductory courses in, for instance, Language and Computation, can build on some knowledge of the component fields; e.g., an introductory course in computational linguistics should address an audience which is familiar with the basics of linguistics and computation. Proposals for introductory courses should indicate the level of the course as compared to standard texts in the area (if available). ADVANCED COURSES: Advanced courses should be pitched at an audience of advanced Masters or PhD students. Proposals for advanced courses should specify the prerequisites in detail. WORKSHOPS: The aim of the workshops is to provide a forum for advanced Ph.D. students and other researchers to present and discuss their work. Workshops should have a well defined theme, and workshop organizers should be specialists in the theme of the workshop. It is a strict requirement that organizers give a general introduction to the theme during the first session of the workshop. They are also responsible for the organization and program of the workshop including inviting the submission of papers, reviewing, expenses of invited speakers, etc. In particular, each workshop organizer will be responsible for sending out a Call for Papers for the workshop by November 17, 2008. The call must make it clear that the workshop is open to all members of the ESSLLI community. It should also note that all workshop contributors must register for the Summer School. Timetable for Workshop Proposal Submissions Sept 1, 2008: Proposal Submission Deadline Oct 15, 2008: Notification Nov 10, 2008: Deadline for receipt of Call for Papers (by ESSLLI PC chair) Nov 17, 2008: Workshop organizers send out (First) Call for Papers Jan 7, 2008: Workshop organizers send out Second Call for Papers Feb 2, 2008: Workshop organizers send out Third Call for Papers Feb 15, 2009: Deadline for Papers Apr 15, 2009: Notification of Workshop Contributors June 1, 2009: Deadline for receipt of camera-ready copy of Workshop Proceedings (by ESSLLI Local Organizers) Notice that workshop speakers will be required to register for the Summer School; however, they will be able to register at a reduced rate to be determined by the Local Organizers. FORMAT FOR PROPOSALS: The web-based form for submitting course and workshop proposals is accessible at http://www.folli.org/submission.php. You will be required to submit the following information: * Name (name(s) of proposed lecturer(s)/organizer) * Address (contact addresses of proposed lecturer(s)/organizer; where possible, please include phone and fax numbers) * Title (title of proposed course/workshop) * Type (is this a workshop, a foundational course, an introductory course, or an advanced course?) * Section (does your proposal fit in Language & Computation, Language & Logic or Logic & Computation? name only one) * Description (in at most 150 words, describe the proposed contents and substantiate timeliness and relevance to ESSLLI) * External funding (will you be able to find external funding to help fund your travel and accommodation expenses? if so, how?) * Further particulars (any further information that is required by the above guidelines should be included here; in particular, indicate here your teaching experience in an interdisciplinary field as the one addressed by ESSLLI.) FINANCIAL ASPECTS: Prospective lecturers and workshop organizers should be aware that all teaching and organizing at the summer schools is done on a voluntary basis in order to keep the participants fees as low as possible. Lecturers and organizers are not paid for their contribution, but are reimbursed for travel and accommodation (up to a fixed, maximum amount that will be notified to lecturers when courses are accepted). It should be stressed that while proposals from all over the world are welcomed, the Summer School cannot guarantee full reimbursement of travel costs, specially from destinations outside Europe. Please note the following: In case a course is to be taught by multiple lecturers, a lump sum is reimbursed to cover travel and accommodation expenses for one lecturer. The splitting of the sum is up to the lecturers. The local organizers highly appreciate it if, whenever possible, lecturers and workshop organizers find alternative funding to cover travel and accommodation expenses, and such issues might be taken into account when selecting courses. PROGRAM COMMITTEE: Chair: Uwe Moennich (SfS, Tuebingen) Seminar fuer Sprachwissenschaft Universitat Tuebingen Arbeitsbereich Theoretische Computerlinguistik Wilhelmstrasse 19 D-72074 Tübingen, Germany phone : +49-7071-29-74035 e-mail : um(a)sfs.uni-tuebingen www : http://tcl.sfs.uni-tuebingen.de/~um/ Local co-chair: Richard Moot (LaBRI, Bordeaux) Area Specialists: Marco Baroni and Claire Gardent (Language and Computation) Paul Egre and Kjell Johan Saeboe (Language and Logic) Alex Rabinovich and Ulrike Sattler (Logic and Computation) ORGANIZING COMMITTEE: Christian Retore FURTHER INFORMATION: The website for ESSLLI 2009 will become operational in the second half of 2008. For this year's summer school, please see the web site at http://www.illc.uva.nl/ESSLLI2008/.

1 0

Conference: Cats3, Pisa, September 1-5
by cat-dist＠mta.ca 25 Jun '08

25 Jun '08

********* CONFERENCE ANNOUNCEMENT ************* CATS-3 Centro di Ricerca Matematica Ennio De Giorgi Pisa, Italy September 1-5, 2008 CATS3 is the third part of a series of conferences devoted to higher categorical structures in algebraic geometry. The meeting is intended to bring together experts in various subjects related to higher categorical and homotopical techniques in the context of algebraic geometry, as well as mathematicians from other fields who desire to learn about the recent advances in this area. The subjects covered by the conference will include: foundations of the theory of higher categories and homotopical algebra, stacks and higher stacks, derived and dg-categories, strong homotopy algebras, non-commutative geometry, derived deformation theory and derived algebraic geometry, non-abelian Hodge theory, string topology and string theory, CY-categories and homological mirror symmetry. SPEAKERS: M. Anel, R. Bezrukavnikov, K. Costello, D. Fiorenza, D. Gaitsgory, M. Hopkins, A. Joyal, D. Kaledin, L. Katzarkov, M. Kontsevich, T. Leinster, J. Pridham, J. Morava, D. Spivak, G. Tabuada, M. Van den Bergh, M. Vaquie. ORGANIZING COMMITTEE: Tony Pantev tpantev(a)math.upenn.edu Carlos Simpson carlos(a)unice.fr Bertrand Toen toen(a)picard.ups-tlse.fr Gabriele Vezzosi gabriele.vezzosi(a)gmail.com If you would like to attend, please contact Dr. Ilaria Gabbani i.gabbani(a)sns.it Tel.: +39 (050) 509178 Fax: +39 (050) 509177 or Dr. Antonella Gregorace a.gregorace(a)sns.it Tel./Fax: +39 (050) 509177 (preferably with a copy to the organizing committee). Main conference web page: http://tinyurl.com/6fhf2t http://www.crm.sns.it/cgi-bin/pagina.pl?Id=87&Tipo=evento&Sezione=Aims%20an… ******************************

1 0

PhD position at University of Strathclyde, Glasgow -- additional opportunity
by Patricia Johann 21 Jun '08

21 Jun '08

New information about the PhD position mentioned below has just become available. We are pleased to announce that the post will indeed include a stipend for an EU student. (The ad below says that no stipend is available for such students, but this is no longer the case.) Ideally, potential applicants should contact me directly by email by 1 July, since this extra funding requires us to meet a couple of internal deadlines. Since the group is in the process of moving, it is best to send email to both the address in the ad and this one: pjohann(a)crab.rutgers.edu Best wishes, Patricia Johann PhD Position in Operational and Categorical Approaches to Parametricity Department of Computer and Information Sciences University of Strathclyde, Scotland Applications are invited for one PhD position within the newly-formed Mathematically Structured Programming group at the University of Strathclyde. The group comprises Prof. Neil Ghani, Dr. Patricia Johann, and Dr. Conor McBride. The funded PhD project centers around operational and categorical approaches to relational parametricity, which serves as the basis for deriving both structured tools for programming with, and effective techniques for reasoning about, functional programs, solely from their (polymorphic) types. The project aims to develop the theoretical foundations of parametricity for languages supporting advanced datatypes --- such as nested types, GADTs, and their mixed-variance versions --- as well as to apply these foundations to program transformations and other applications. The project is under the direction of Patricia Johann. The successful applicant will have an MSc in Mathematics or Computing Science or a related subject with a strong Mathematics or Computing Science component. Ideally, they will also have a strong, documented interest in doing research. Strong mathematical background and problem-solving skills are essential; good programming skills are a plus. Prior knowledge in the areas of operational semantics, category theory, and/or parametricity is an advantage, but is not required. The PhD position is for 3 years; the start date is negotiable. The position is a fully-funded post for a home (i.e., UK) student, and includes both coverage of fees and an EPSRC-level stipend for each of the three years. For European students, the post covers only fees (i.e., no stipend is available). More information about the department is available at http://www.strath.ac.uk/cis The University of Strathclyde (http://www.strath.ac.uk) is located in the heart of Glasgow, which Lonely Planet Travel Guides hail as "one of Britain's largest, liveliest and most interesting cities" (see http://www.lonelyplanet.com/worldguide/scotland/glasgow/) Southern Scotland provides a particularly stimulating environment for researchers in theoretical computer science, with active groups in this area at Heriot-Watt University, the University of Edinburgh, the University of Glasgow, the University of St. Andrews, and the University of Strathclyde. Requests for further information and other informal enquiries can be sent to: Patricia Johann Patricia.Johann at cis.strath.ac.uk (The group is currently in the process of moving to the University of Strathclyde, so the above is the best contact address for the duration of the summer. Students interested in joining the group to work on other topics should contact Prof. Ghani at Neil.Ghani at cis.strath.ac.uk, since further positions are expected soon. Those interested in the position are asked to send e-mail to the address given above. Full Details of the application process are available upon request, but an application will include: 1. A cover letter stating the applicant's specific interest in the project. 2. A full curriculum vitae, including an abstract of the applicant's graduate thesis and the name of their supervisor. 3. Letters of recommendation or references from at least two scientific staff members. (Letters of recommendation should either be included along with the application, or should arrive separately promptly.) 4. A completed application for postgraduate study at the University of Strathclyde. Applications, forms for letters of recommendation, and instructions are available at http://www.strath.ac.uk/prospectus/postgraduateapplications/ Applications will be considered until the position is filled, but those received on or before 15 August 2008 will have priority.

1 0

PhD position at University of Strathclyde, Glasgow
by Patricia Johann 20 Jun '08

20 Jun '08

PhD Position in Operational and Categorical Approaches to Parametricity Department of Computer and Information Sciences University of Strathclyde, Scotland Applications are invited for one PhD position within the newly-formed Mathematically Structured Programming group at the University of Strathclyde. The group comprises Prof. Neil Ghani, Dr. Patricia Johann, and Dr. Conor McBride. The funded PhD project centers around operational and categorical approaches to relational parametricity, which serves as the basis for deriving both structured tools for programming with, and effective techniques for reasoning about, functional programs, solely from their (polymorphic) types. The project aims to develop the theoretical foundations of parametricity for languages supporting advanced datatypes --- such as nested types, GADTs, and their mixed-variance versions --- as well as to apply these foundations to program transformations and other applications. The project is under the direction of Patricia Johann. The successful applicant will have an MSc in Mathematics or Computing Science or a related subject with a strong Mathematics or Computing Science component. Ideally, they will also have a strong, documented interest in doing research. Strong mathematical background and problem-solving skills are essential; good programming skills are a plus. Prior knowledge in the areas of operational semantics, category theory, and/or parametricity is an advantage, but is not required. The PhD position is for 3 years; the start date is negotiable. The position is a fully-funded post for a home (i.e., UK) student, and includes both coverage of fees and an EPSRC-level stipend for each of the three years. For European students, the post covers only fees (i.e., no stipend is available). More information about the department is available at http://www.strath.ac.uk/cis The University of Strathclyde (http://www.strath.ac.uk) is located in the heart of Glasgow, which Lonely Planet Travel Guides hail as "one of Britain's largest, liveliest and most interesting cities" (see http://www.lonelyplanet.com/worldguide/scotland/glasgow/) Southern Scotland provides a particularly stimulating environment for researchers in theoretical computer science, with active groups in this area at Heriot-Watt University, the University of Edinburgh, the University of Glasgow, the University of St. Andrews, and the University of Strathclyde. Requests for further information and other informal enquiries can be sent to: Patricia Johann Patricia.Johann at cis.strath.ac.uk (The group is currently in the process of moving to the University of Strathclyde, so the above is the best contact address for the duration of the summer. Students interested in joining the group to work on other topics should contact Prof. Ghani at Neil.Ghani at cis.strath.ac.uk, since further positions are expected soon. Those interested in the position are asked to send e-mail to the address given above. Full Details of the application process are available upon request, but an application will include: 1. A cover letter stating the applicant's specific interest in the project. 2. A full curriculum vitae, including an abstract of the applicant's graduate thesis and the name of their supervisor. 3. Letters of recommendation or references from at least two scientific staff members. (Letters of recommendation should either be included along with the application, or should arrive separately promptly.) 4. A completed application for postgraduate study at the University of Strathclyde. Applications, forms for letters of recommendation, and instructions are available at http://www.strath.ac.uk/prospectus/postgraduateapplications/ Applications will be considered until the position is filled, but those received on or before 15 August 2008 will have priority.

1 0

Collogicum Logicum 2008, Darmstadt (Germany), 10-12 September 2008
by Benno van den Berg 19 Jun '08

19 Jun '08

Call for participation: Colloquium Logicum 2008 (Biennial meeting of the German Society for Mathematical Logic DVMLG), September 10-12, TU Darmstadt, Germany. Electronic registration is possible at http:/www.mathematik.tu-darmstadt.de/fbereiche/logik/events/collogicum and follow the link "Registration". Deadline for registration: June 30. The scientific programme comprises * Herbrand Centenary Lecture: Georg Kreisel, F.R.S., Salzburg * invited plenary lectures by * Hans Adler (Leeds) * Sergei Goncharov (Novosibirsk) * Joel David Hamkins (New York) * Robert Lubarsky (Florida) * Nicole Schweikardt (Frankfurt) * Michiel van Lambalgen (Amsterdam) plus a PhD Colloquium with the presentation of selected recent PhD Theses in Logic as well as contributed talks. At the site mentioned above one can also propose a contributed talk and submit an abstract (only a limited number of slots will be available for the contributed talks).

1 0

research positions
by Jiri Rosicky 18 Jun '08

18 Jun '08

Eduard Cech center had been established in 2005 as the national research center focusing its attention to interactions between algebra, geometry, and logic (and their applications in cryptology, computer science, etc.). It is jointly operated by mathematicians from Masaryk University in Brno, Charles University in Prague and Academy of Sciences of the Czech Republic, with offices both in Brno and Prague. The Center invites applications for several research positions for the year 2009, commencing at the date depending on mutual agreement. The candidates must be recent PhD's that obtained their degree not earlier than 2 years before the beginning of their contract with the Eduard Cech Center. Candidates should submit a letter of application accompanied by a CV, list of publications and an outline of their research project to Professor Jan Slovak (slovak(a)muni.cz) not later than August 10, 2008. They should also arrange for at least 2 letters of recommendation (at most one can be from a Czech mathematician) to be mailed directly to slovak(a)muni.cz before August 10, 2008. The successful applicants will be notified as soon as possible but not later than September 20, 2008. Further information about the Eduard Cech Center can be found at http://ecc.sci.muni.cz

1 0

CFP: 12th International Conference on Database Theory (ICDT 2009)
by Alexandre Evfimievski 18 Jun '08

18 Jun '08

-------------------------------------------------------------- Apologies if you received multiple copies of this posting. -------------------------------------------------------------- *** CALL FOR PAPERS *** The 12th International Conference on Database Theory (ICDT 2009) St. Petersburg, Russia, 23-25 March 2009 http://www.math.spbu.ru/edbticdt/ The series of ICDT conferences provides a biennial, international forum for the communication of research advances on the principles of database systems. This year, for the first time, ICDT will be held jointly with EDBT (The 12th International Conference on Extending Database Technology). ICDT will be on 23-25 March 2009, and EDBT will be on 24-26 March 2009, in St. Petersburg, Russia. ICDT 2009 - Important Dates: - Abstract Submission Deadline . 7 Aug. 2008 - Paper Submission Deadline . . . 14 Aug. 2008 - Notification Deadline . . . . . 6 Nov. 2008 - Camera Ready Deadline . . . . . 8 Dec. 2008 - Conference . . . . . . . . 23-25 Mar. 2009 Suggested, but not exclusive, topics of interest for ICDT submissions include: - Access methods and physical design - Active databases - Complexity and performance - Constraint databases - Data exchange, data integration and interoperability - Data mining - Data models - Database programming and query languages - Databases and information retrieval - Probabilistic Databases - Databases and workflow - Databases and the Semantic Web - Databases in e-commerce - Databases in e-services - Deductive databases and knowledge bases - Distributed databases - Integrity and security - Logic and databases - Multimedia databases - Query optimization - Query processing - Real-time databases - Semi-structured, XML, and Web data - Spatial data - Temporal data - Concurrency and recovery - Transaction management - Views and data warehousing Submissions: Paper submission will be electronic. Authors are required to submit a paper title and short abstract (about 100 words) before submitting the paper. The deadline for abstract submissions is August 7, 2008. Papers should be submitted in LNCS format (style files are available at http://www.springer.de/comp/lncs/authors.html ) and may not exceed 15 pages. Papers not conforming to the above requirements concerning format and length may be rejected without further consideration. The deadline for paper submission is August 14, 2008. Both deadlines are firm; late submissions will not be considered. Authors will be notified of acceptance or rejection by November 6, 2008; accepted papers formatted for the proceedings will be due by December 8, 2008. Submission website: http://www.easychair.org/conferences/?conf=icdt2009 The first page should include the title of the paper, names and affiliations of authors, a brief synopsis, and the contact author's name, address, phone number, fax number, and email address. Papers must be in English and provide sufficient detail to allow the program committee to assess their merits. They should begin with a succinct statement of the issues, a summary of the main results, and a brief explanation of their significance and relevance to the conference, all phrased for the non-specialist. Technical development directed to the specialist should follow. References and comparisons with related work should be included. If the authors believe more details are necessary to substantiate the main claims of the paper, they may include a clearly marked appendix to be read at the discretion of the committee. Submissions departing significantly from these guidelines risk rejection. The results must be unpublished and not submitted for publication elsewhere, including the formal proceedings of other symposia or workshops. All authors of accepted papers will be expected to sign copyright release forms. One author of each accepted paper will be expected to present it at the conference. It is anticipated that the proceedings of the conference will be published by Springer-Verlag in Lecture Notes in Computer Science. Awards: An award will be given to the best paper. Also, an award will be given to the best paper written by newcomers to the field of database theory. The latter award will preferentially be given to a paper written only by students; in that case the award will be called "Best Student Paper Award". The program committee reserves the following rights: not to give an award; to split an award among several papers; and to define the notion of a newcomer. Papers authored or co-authored by Program Committee members are not eligible for an award. Program Chair: - Ronald Fagin (IBM Almaden) Keynote Speakers: - Georg Gottlob (Oxford University) - Victor Vianu (UC San Diego) Program Committee: - Albert Atserias (UPC Barcelona) - Denilson Barbosa (University of Calgary) - Pablo Barcelo (University of Chile) - Leopoldo Bertossi (Carleton University) - Mikolaj Bojanczyk (Warsaw University) - Diego Calvanese (FU Bozen-Bolzano) - Rada Chirkova (NC State University) - Sara Cohen (Hebrew University) - Cynthia Dwork (Microsoft Research) - Alexandre Evfimievski (IBM Almaden) - Ronald Fagin (chair, IBM Almaden) - Floris Geerts (University of Edinburgh) - Sanjeev Khanna (University of Pennsylvania) - Ravi Kumar (Yahoo! Research) - Leonid Libkin (University of Edinburgh) - Sebastian Maneth (National ICT Australia) - Renee Miller (University of Toronto) - Kenneth Ross (Columbia University) - Yehoshua Sagiv (Hebrew University) - Nicole Schweikardt (Frankfurt University) - Kyuseok Shim (Seoul National University) - Balder ten Cate (University of Amsterdam) - Jan Van den Bussche (Hasselt University) - Stijn Vansummeren (Hasselt University) - Erik Vee (Yahoo! Research) Publicity Chair: - Alexandre Evfimievski (IBM Almaden) EDBT/ICDT Local Organizer: - Boris Novikov ICDT Council: Thomas Eiter, Ronald Fagin, Maurizio Lenzerini, Leonid Libkin, Tova Milo, Marc Scholl, Nicole Schweikardt, Thomas Schwentick, Dan Suciu, Jan Van den Bussche (chair). Conference Website: http://www.math.spbu.ru/edbticdt/ ICDT 2009 Call For Papers in PDF: http://www.math.spbu.ru/edbticdt/icdt09cfp.pdf Submission website: http://www.easychair.org/conferences/?conf=icdt2009

1 0

Octoberfest 2008 in Montreal
by Robert Seely 16 Jun '08

16 Jun '08

Category Theory OctoberFest Concordia University, Montreal Saturday - Sunday, October 4 - 5, 2008 ----------------------------------------------------------------------- We invite you to join us in Montreal next October for a weekend meeting in Category Theory, a reincarnation of the the "not-so-annual" OctoberFest. A more formal announcement will be sent in early September; at this time we just want to allow you to prepare your schedule to include a visit to Montreal if you wish to participate. It is planned to hold the meeting at Concordia University. Michael Barr Robert Raphael Robert Seely -- <rags(a)math.mcgill.ca> <www.math.mcgill.ca/rags>

1 0

Call for Participation: Conferences on Intelligent Computer Mathematics
by Volker Sorge 14 Jun '08

14 Jun '08

[Apologies if you receive multiple copies] ******************************************************** * CALL FOR PARTICIPATION * * * * CICM 2008 * * Conferences in Intelligent Computer Mathematics * * --- * * [AISC - Calculemus - MKM] * * * * 27 July - 1 August 2008 * * * * http://events.cs.bham.ac.uk/cicm08/ * * * * Workshops: 27,29-31 July, 2008 * * Doctoral Programme: 29-31 July, 2008 * * * ******************************************************** The Conferences on Intelligent Computer Mathematics (CICM) brings together researchers working in the intersection of Mathematics, Computer Science, and Artificial Intelligence. CICM 2008 combine three of the leading events in the area: MKM 2008: 6th International Conference on Mathematical Knowledge Management (28 July - 30 July) Calculemus 2008: 15th Symposium on the Integration of Symbolic and Mechanized Reasoning (30 July - 1 August) AISC 2008: 9th International Conference on Artificial Intelligence and Symbolic Computation (31 July - 1 August) INVITED SPEAKERS: Alan Bundy (University of Edinburgh, UK) Thierry Bouche (Universite de Grenoble I, France) Annie Cuyt (Universiteit Antwerpen, Belgium) Thierry Coquand (Goteborg University, Sweeden) Steve Linton (University of St. Andrews, UK) Jochen Pfalzgraf (Universitaet Salzburg, Austria) WORKSHOPS: DML: Towards Digital Mathematics Library (27 July,2008) ESARM: Empirically Successful Automated Reasoning for Mathematics (27 July, 2008) MathUI: Mathematical User-Interfaces Workshop (27 July, 2008) PLMMS: Programming Languages for Mechanized Mathematics Systems (29 July, 2008) ARW: 15th Workshop on Automated Reasoning: Bridging the Gap between Theory and Practice (30-31 July, 2008) DOCTORAL PROGRAMME: http://events.cs.bham.ac.uk/cicm08/doctoral/ (29-31 July, 2008) REGISTRATION: http://events.cs.bham.ac.uk/cicm08/registration.php TRAVEL Information: http://events.cs.bham.ac.uk/cicm08/travel.php ACCOMMODATION: http://events.cs.bham.ac.uk/cicm08/accommodation.php

1 0