From MAILER-DAEMON Thu Jul 3 14:52:12 2008 Date: 03 Jul 2008 14:52:12 -0300 From: Mail System Internal Data Subject: DON'T DELETE THIS MESSAGE -- FOLDER INTERNAL DATA Message-ID: <1215107532@mta.ca> X-IMAP: 1212583611 0000000014 Status: RO This text is part of the internal format of your mail folder, and is not a real message. It is created automatically by the mail system software. If deleted, important folder data will be lost, and it will be re-created with the data reset to initial values. From rrosebru@mta.ca Wed Jun 4 09:40:38 2008 -0300 Return-path: Envelope-to: categories-list@mta.ca Delivery-date: Wed, 04 Jun 2008 09:40:38 -0300 Received: from Majordom by mailserv.mta.ca with local (Exim 4.61) (envelope-from ) id 1K3s5q-000062-PJ for categories-list@mta.ca; Wed, 04 Jun 2008 09:27:54 -0300 From: "George Janelidze" To: "Categories list" Subject: categories: Max Kelly Volume of "Applied Categorical Structures" submission deadline Date: Tue, 3 Jun 2008 20:42:30 +0200 MIME-Version: 1.0 Content-Type: text/plain; charset="iso-8859-1" Content-Transfer-Encoding: 7bit Sender: cat-dist@mta.ca Precedence: bulk Message-Id: Status: O X-Status: X-Keywords: X-UID: 1 Dear Colleagues, The deadline for the submissions for the Max Kelly Volume of APCS is now 1 July 2008 SHARP. On behalf of the Editorial Board, George Janelidze From rrosebru@mta.ca Fri Jun 6 09:57:21 2008 -0300 Return-path: Envelope-to: categories-list@mta.ca Delivery-date: Fri, 06 Jun 2008 09:57:21 -0300 Received: from Majordom by mailserv.mta.ca with local (Exim 4.61) (envelope-from ) id 1K4bGB-0003DU-8C for categories-list@mta.ca; Fri, 06 Jun 2008 09:41:35 -0300 From: Sam Staton To: categories@mta.ca Content-Type: text/plain; charset=US-ASCII; format=flowed; delsp=yes Content-Transfer-Encoding: 7bit Mime-Version: 1.0 (Apple Message framework v924) Subject: categories: Re: General notions of equivalence and exactness Date: Thu, 5 Jun 2008 19:54:57 +0100 Sender: cat-dist@mta.ca Precedence: bulk Message-Id: Status: O X-Status: X-Keywords: X-UID: 2 Many thanks to all who replied to my message, in private and publicly. I notice that these concerns also arose on this mailing list back in 1992: http://www.mta.ca/~cat-dist/archive/1992/92-06.txt At that time, Michael Barr was asking, amongst other things, about the exactness property that "every Mal'cev [=difunctional=z-closed] relation is a pullback", which holds both in toposes and in abelian categories (as I mentioned below). I wonder if anything more came out of that. He mentioned a possible connection with "effective unions", but I haven't been able to get anything to work there. By the way, following the comments about Mal'cev operators, and Peter Freyd's "Mal'cev allegories", I note that (exact) categories in which every relation is difunctional have been called "Mal'cev categories" [see e.g. the book by Bourn and Borceux on the topic (pointed out by Peter Lumsdaine), or Carboni, Lambek, Pedicchio, Diagram chasing in Mal'cev categories, JPAA 69]. Sam On 29 May 2008, at 10:01, Sam Staton wrote: > Hello. In a category with pullbacks, say that a binary relation > X <- R -> Y > is "z-closed" if it satisfies the following axiom (interpreted as > usual): > > If x R y and x' R y and x' R y' then x R y'. > > (The "z" in "z-closed" refers to the pattern of variables in the > premise.) > > Z-closedness seems to be a sensible generalization of "equivalence" > to relations between two different objects. (e.g. In computer > science, it is common to relate the state spaces of two different > systems.) Note that an endorelation is an equivalence relation if and > only if it is z-closed and reflexive. Also note that, in an abelian > category, every relation is z-closed. > > The [z-closed v. equivalence] connection seems to extend to > [pullbacks v. kernel pairs]. Every span that arises from a pullback > is a z-closed relation. Say that a category is "z-effective" if every > z-closed relation arises as a pullback. > > - every abelian category is straightforwardly z-effective; > - in a topos, every z-closed relation arises as a pullback span. > Indeed, an extensive regular category has effective equivalence > relations if and only if it is z-effective. > > These notions and ideas seem quite elementary, even fundamental, and > I would be surprised if no-one had thought of them before. I borrowed > the terminology "z-closed" from a paper by Erik de Vink and Jan > Rutten (Theoret Comput Sci, 221:271-293, 1999) but I couldn't find > any other references. > > Have I missed something? I'd be grateful for any observations or > suggestions. > > Sam > > PS. I'd like to take the opportunity to acknowledge the helpful > replies (public and private) to my question about W-types, a few > months ago. > > From rrosebru@mta.ca Tue Jun 10 19:27:00 2008 -0300 Return-path: Envelope-to: categories-list@mta.ca Delivery-date: Tue, 10 Jun 2008 19:27:00 -0300 Received: from Majordom by mailserv.mta.ca with local (Exim 4.61) (envelope-from ) id 1K6C6o-00053T-3Y for categories-list@mta.ca; Tue, 10 Jun 2008 19:14:30 -0300 Date: Tue, 10 Jun 2008 22:20:13 +0200 (CEST) From: Johannes Huebschmann To: categories@mta.ca Subject: categories: injective modules over a Lie groupoid MIME-Version: 1.0 Content-Type: TEXT/PLAIN; charset=US-ASCII; format=flowed Sender: cat-dist@mta.ca Precedence: bulk Message-Id: Status: O X-Status: X-Keywords: X-UID: 3 Dear All For a Lie group G and a vector space V, C^{\infty}(G,V) is a differentiably injective G-module (Hochschild-Mostow). Is there an analoguous construction for a Lie groupoid or, in the algebraic setting, cogroupoid object in the category of commutative algebras? Let G be a Lie groupoid, with object manifold G_o, source and target maps being supposed surjective submersions. A G-module is a vector bundle V \to G_o on G_o with a G-structure (pairing G x_G_o V to V over G_o satisfying the obvious compatiblity conditions). If we start with a vector bundle V to G_o on G_o, what corresponds to the construction C^{\infty}(G,V) for the special case where G is an ordinary Lie group? More generally, G being a Lie groupoid, does the category of G-modules have enough injectives? Where in the literature can I find answers to these questions if any? Many thanks in advance Regards Johannes HUEBSCHMANN Johannes Professeur de Mathematiques USTL, UFR de Mathematiques UMR 8524 Laboratoire Paul Painleve F-59 655 Villeneuve d'Ascq Cedex France http://math.univ-lille1.fr/~huebschm TEL. (33) 3 20 43 41 97 (33) 3 20 43 42 33 (secretariat) (33) 3 20 43 48 50 (secretariat) Fax (33) 3 20 43 43 02 e-mail Johannes.Huebschmann@math.univ-lille1.fr From rrosebru@mta.ca Wed Jun 11 19:42:40 2008 -0300 Return-path: Envelope-to: categories-list@mta.ca Delivery-date: Wed, 11 Jun 2008 19:42:40 -0300 Received: from Majordom by mailserv.mta.ca with local (Exim 4.61) (envelope-from ) id 1K6Yq3-0000rR-7U for categories-list@mta.ca; Wed, 11 Jun 2008 19:30:43 -0300 Date: Wed, 11 Jun 2008 14:44:28 +0200 From: Carlos Areces Subject: categories: AiML 2008: Registration now open Content-type: text/plain To: undisclosed-recipients:; Sender: cat-dist@mta.ca Precedence: bulk Message-Id: Status: RO X-Status: X-Keywords: X-UID: 4 ======================================================= Please circulate. Apologies for multiple copies []<>[]<>[]<>[]<>[]<>[]<>[]<>[]<>[]<>[]<>[]<>[]<>[]<>[]<>[]<>[]<> CALL FOR PARTICIPATION AiML-2008 ADVANCES in MODAL LOGIC 9-12 September 2008, LORIA, Nancy, France http://aiml08.loria.fr --- REGISTRATION IS NOW OPEN --- Advances in Modal Logic is an initiative aimed at presenting an up-to-date picture of the state of the art in modal logic and its many applications. The initiative consists of a conference series together with volumes based on the conferences. AiML-2008 is the seventh conference in the series. REGISTRATION Registration to AiML is now open at: http://aiml08.loria.fr/registration.php INVITED SPEAKERS Invited speakers at AiML-2008 will include the following: - Mai Gehrke, Radboud Universiteit Nijmegen http://www.math.ru.nl/~mgehrke/ Using duality theory to export methods from modal logic - Guido Governatori, The University of Queensland http://www.itee.uq.edu.au/~guido/ Labelled modal tableaux - Agi Kurucz, King's College London http://www.dcs.kcl.ac.uk/staff/kuag/ Axiomatising many-dimensional modal logics - Lawrence Moss, Indiana University http://www.indiana.edu/~iulg/moss/ Relational syllogistic logics, and other connections between modal logic and natural logic - Michael Zakharyaschev, Birkbeck College http://www.dcs.bbk.ac.uk/~michael/ Topology, connectedness, and modal logi Further information available at: http://aiml08.loria.fr/invited.php ACCEPTED PAPERS Complete list of accepted papers and abstracts is now available at: http://aiml08.loria.fr/accepted.php PROGRAMME COMMITTEE Alessandro Artale (Free University of Bolzano, Italy) Philippe Balbiani (IRIT, Toulouse, France) Alexandru Baltag (University of Oxford, UK) Guram Bezhanishvili (New Mexico State University, USA) Patrick Blackburn (LORIA, France) Stephane Demri (CNRS, Cachan, France) Melvin Fitting (City University of New York, USA) Guido Governatori (University of Queensland, Australia) Silvio Ghilardi (University of Milano, Italy) Valentin Goranko (University of the Witwatersrand, South Africa) Rajeev Gore (The Australian National University, Australia) Andreas Herzig (IRIT, Toulouse, France) Ian Hodkinson (Imperial College London, UK) Ramon Jansana (University of Barcelona, Spain) Alexander Kurz (University of Leicester, UK) Carsten Lutz (Dresden University of Technology, Germany) Edwin Mares (Victoria University of Wellington) Larry Moss (Indiana University, USA) Dirk Pattinson (Imperial College London, UK) Mark Reynolds (University of Western Australia, Australia) Ildiko Sain (Hungarian Academy of Sciences) Ulrike Sattler (University of Manchester, UK) Renate Schmidt (University of Manchester, UK) Jerry Seligman (University of Auckland, New Zealand) Valentin Shehtman (Moscow State University, Russia) Nobu-Yuki Suzuki (Shizuoka University, Japan) Yde Venema (ILLC, University of Amsterdam, The Netherlands) Heinrich Wansing (Dresden University of Technology, Germany) Frank Wolter (University of Liverpool, UK) Michael Zakharyaschev (Birkbeck College, London, UK) PROGRAMME CO-CHAIRS Carlos Areces LORIA, Nancy carlos.areces(at)loria.fr Rob Goldblatt Victoria University of Wellington rob.goldblatt(at)mcs.vuw.ac.nz LOCAL ORGANIZER Patrick Blackburn LORIA, Nancy patrick.blackburn(at)loria.fr IMPORTANT DATES Submission deadline: 31 March 2008 Acceptance notification: 31 May 2008 Final version of full papers due: 30 June 2008 Conference: 9-12 September 2008 CONFERENCE LOCATION Advances in Modal Logic 2008 will be held at LORIA (Laboratoire Lorrain de Recherche en Informatique et ses Applications) in Nancy, in the Lorraine, in the east of France. FURTHER INFORMATION Information about AiML-2008 will be available at the conference website: http://aiml08.loria.fr E-mail enquiries should be directed to the local organizer or the program co-chairs. Information about AiML itself can be obtained at http://www.aiml.net From rrosebru@mta.ca Wed Jun 11 19:42:40 2008 -0300 Return-path: Envelope-to: categories-list@mta.ca Delivery-date: Wed, 11 Jun 2008 19:42:40 -0300 Received: from Majordom by mailserv.mta.ca with local (Exim 4.61) (envelope-from ) id 1K6YrC-0000uL-4e for categories-list@mta.ca; Wed, 11 Jun 2008 19:31:54 -0300 Content-Type: text/plain; charset=US-ASCII; delsp=yes; format=flowed To: categories@mta.ca, Content-Transfer-Encoding: 7bit From: Francois Lamarche Subject: categories: Last Call, Nancy Workshop on Deep Inference Date: Wed, 11 Jun 2008 18:21:27 +0200 To: Frogs Sender: cat-dist@mta.ca Precedence: bulk Message-Id: Status: O X-Status: X-Keywords: X-UID: 5 (this looks better with a fixed width font) DEEP INFERENCE, ITS ALGEBRA, GEOMETRY AND SYNTAX June 18 Salle du conseil (C005, on the ground floor of Building C) at the Loria, Nancy. PRELIMINARY SCHEDULE (The talks are 45min + 5min question period) 10:00 - 10:30 Greetings and coffee 10:30 - 11:20 Lutz Strassburger Extension without cut 11:20 - 12:10 Bruno W. Paleo Algorithms for Herbrand Sequent Extraction 12:10 - 13:00 Tom Gundersen TBA 13:00 - 14:30 Lunch at the Loria Cafeteria 14:30 - 15:20 Jim Laird Games Semantics for deep inference 15:20 - 16:10 Kai Bruenller Towards Curry-Howard for deep inference 16:10 - 16:30 Coffe Break 16:30 - 17:20 Robert Hein The Conduche condition and dependent products 17:20 - 18:10 Paola Bruscoli TBA PRELIMINATY LIST OF PARTICIPANTS (you are welcome too) Paola Bruscoli University of Bath Guillaume Burel Loria Kai Bruenller Bern Matteo Capeletti LiX, Ecole Polytechnique Daniel de Carvalho Loria Tom Gundersen University of Bath Robert Hein Loria Jim Laird University of Bath Francois Lamarche Loria Stephane Lengrand LiX, Ecole Polytechnique Richard McKinley University of Bath Laurent Mehats LiX, Ecole Polytechnique Novak Novakovic Loria Bruno W. Paleo TU Wien Michel Parigot PPS, Paris Sylvain Pogodalla Loria Lutz Strassburger LiX, Ecole Polytechnique ****************** Getting to the loria from the train station: Take the tram in the "CHU Brabois" direction and get off at the Callot stop. Look at http://www.loria.fr/access/acceder/plan-campus for a more precise view of the Loria's location on the science campus. Note: the visitor's entrance is in the A Building again so entering the premises if you don't have a badge is quite intuitive. From rrosebru@mta.ca Fri Jun 13 16:55:23 2008 -0300 Return-path: Envelope-to: categories-list@mta.ca Delivery-date: Fri, 13 Jun 2008 16:55:23 -0300 Received: from Majordom by mailserv.mta.ca with local (Exim 4.61) (envelope-from ) id 1K7F9D-0002Pd-Em for categories-list@mta.ca; Fri, 13 Jun 2008 16:41:19 -0300 To: categories@mta.ca Subject: categories: Call for Participation: Conferences on Intelligent Computer Mathematics Date: Fri, 13 Jun 2008 19:09:31 +0100 From: Volker Sorge Sender: cat-dist@mta.ca Precedence: bulk Message-Id: Status: O X-Status: X-Keywords: X-UID: 6 [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 From rrosebru@mta.ca Fri Jun 13 22:44:16 2008 -0300 Return-path: Envelope-to: categories-list@mta.ca Delivery-date: Fri, 13 Jun 2008 22:44:16 -0300 Received: from Majordom by mailserv.mta.ca with local (Exim 4.61) (envelope-from ) id 1K7KiE-0001x7-SA for categories-list@mta.ca; Fri, 13 Jun 2008 22:37:50 -0300 Date: Fri, 13 Jun 2008 15:20:41 +0100 From: Michel Schellekens MIME-Version: 1.0 To: categories@mta.ca, Michel Schellekens Subject: categories: PhD positions and Post Doc position at CEOL Content-Type: text/plain; charset=ISO-8859-1 Content-Transfer-Encoding: 7bit Sender: cat-dist@mta.ca Precedence: bulk Message-Id: Status: O X-Status: X-Keywords: X-UID: 7 Science Foundation Ireland funded PhD and Post Doc positions Centre for Efficiency-Oriented Languages, CEOL CEOL, Department of Computer Science, University College Cork and the Department of Microelectronics, University College Cork have five PhD openings and one Post Doc position. PhD positions: Salary: 16,000 Euro per annum (tax free) (Tuition fees will be paid by centre) Duration up to four years, subject to performance. Post Doc position: Salary: 40,000 - 48,600 Euro per annum (Exclusive of pension contribution which is provided separately by UCC) Salary in relation to prior experience. Duration to be discussed with candidates. Project duration: Four years. Starting date: August to October, 2008. (To be discussed with candidates.) Institute/Centre Background: University College Cork, UCC, is one of the top universities in Ireland. It has a large Computer Science department, including a variety of research groups, several of which are funded by Science Foundation Ireland (www.sfi.ie). The Centre for Efficiency Oriented Languages developed the novel programming paradigm MOQA (MOdular Quantiative Analysis). Information on MOQA can be found in the Springer book: A Modular Calculus for the Average Cost of Data Structuring (abstract copied below): http://www.springer.com/computer/foundations/book/978-0-387-73383-8 Further information is available from www.ceol.ucc.ie The CEOL project started in 2003 following a Science Foundation Ireland award and continues with renewed funding from SFI. CEOL attracted funding from other sources, including the Industrial Development Agency and collaborates with various industries, including Sun, Synopsys and Xilinx. Project Background: Expanding the scope and applicability of static average-case analysis via MOQA. The current project is in collaboration with the Department of Microelectronics. Principal Investigator: Michel Schellekens Co-Principal Investigator: Emanuel Popovici The project builds on fundamental advances in static average-case analysis to expand the scope and applicability of static average-case analysis tools, with a focus on average timing and average power analysis for hardware-software systems. PhD candidates are sought with one or more of the following backgrounds: Analysis of algorithms Static and dynamic time/power analysis Programming skills (language/tool implementation) Digital design Semantics Average-case and worst-case analysis of Hardware-Software systems Mathematics (in conjuction with Computer Science background): preference on probability background/discrete methods. Post Doc candidate is sought with one or more of the following backgrounds: Asynchronous Digital Design, average-case, worst-case analysis for Hardware-Software Systems, Real-Time systems and applications. Candidates should send their CV's to the CEOL Administrator: Caitriona Walsh Email address: cw7@cs.ucc.ie Background Information: Springer Book in relation to CEOL project (Due: August 2008) A Modular Calculus for the Average Cost of Data Structuring Schellekens, Michel 2008, 20 illus. With CD-ROM., Hardcover ISBN: 978-0-387-73383-8 A Modular Calculus for the Average Cost of Data Structuring introduces MOQA, a new domain-specific programming language which guarantees the average-case time analysis of its programs to be modular. "Time" in this context refers to a broad notion of cost, which can be used to estimate the actual running time, but also other quantitative information such as power consumption, while modularity means that the average time of a program can be easily computed from the times of its constituents--something that no programming language of this scope has been able to guarantee so far. MOQA principles can be incorporated in any standard programming language. MOQA supports tracking of data and their distributions throughout computations, based on the notion of random bag preservation. This allows a unified approach to average-case time analysis, and resolves fundamental bottleneck problems in the area. The main techniques are illustrated in an accompanying Flash tutorial, where the visual nature of this method can provide new teaching ideas for algorithms courses. This volume, with forewords by Greg Bollella and Dana Scott, presents novel programs based on the new advances in this area, including the first randomness-preserving version of Heapsort. Programs are provided, along with derivations of their average-case time, to illustrate the radically different approach to average-case timing. The automated static timing tool applies the Modular Calculus to extract the average-case running time of programs directly from their MOQA code. A Modular Calculus for the Average Cost of Data Structuring is designed for a professional audience composed of researchers and practitioners in industry, with an interest in algorithmic analysis and also static timing and power analysis--areas of growing importance. It is also suitable as an advanced-level text or reference book for students in computer science, electrical engineering and mathematics. -- Prof. M. P. Schellekens Science Foundation Ireland Investigator Director of Centre for Efficiency-Oriented Languages (CEOL) National University of Ireland, Cork (UCC) Department of Computer Science Center for Efficiency-Oriented Languages (CEOL) Lancaster Hall Little Hanover Street 6 Cork, Ireland WWW: http://www.ceol.ucc.ie/ Tel. + 353 (0)21 490 1917 From rrosebru@mta.ca Mon Jun 16 04:07:36 2008 -0300 Return-path: Envelope-to: categories-list@mta.ca Delivery-date: Mon, 16 Jun 2008 04:07:36 -0300 Received: from Majordom by mailserv.mta.ca with local (Exim 4.61) (envelope-from ) id 1K88Xg-0005tw-Ac for categories-list@mta.ca; Mon, 16 Jun 2008 03:50:16 -0300 Date: Sun, 15 Jun 2008 14:04:34 -0400 (EDT) From: Robert Seely To: Categories List Subject: categories: Octoberfest 2008 in Montreal MIME-Version: 1.0 Content-Type: TEXT/PLAIN; charset=US-ASCII; format=flowed Sender: cat-dist@mta.ca Precedence: bulk Message-Id: Status: RO X-Status: X-Keywords: X-UID: 8 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 -- From rrosebru@mta.ca Wed Jun 18 09:43:53 2008 -0300 Return-path: Envelope-to: categories-list@mta.ca Delivery-date: Wed, 18 Jun 2008 09:43:53 -0300 Received: from Majordom by mailserv.mta.ca with local (Exim 4.61) (envelope-from ) id 1K8wpP-0006HO-Rh for categories-list@mta.ca; Wed, 18 Jun 2008 09:31:55 -0300 Date: Tue, 17 Jun 2008 17:45:53 -0700 From: Alexandre Evfimievski MIME-Version: 1.0 To: categories@mta.ca Subject: categories: CFP: 12th International Conference on Database Theory (ICDT 2009) Content-Type: text/plain; charset=KOI8-R; format=flowed Content-Transfer-Encoding: 7bit Sender: cat-dist@mta.ca Precedence: bulk Message-Id: Status: O X-Status: X-Keywords: X-UID: 9 -------------------------------------------------------------- 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 From rrosebru@mta.ca Wed Jun 18 09:43:53 2008 -0300 Return-path: Envelope-to: categories-list@mta.ca Delivery-date: Wed, 18 Jun 2008 09:43:53 -0300 Received: from Majordom by mailserv.mta.ca with local (Exim 4.61) (envelope-from ) id 1K8wml-00064k-HS for categories-list@mta.ca; Wed, 18 Jun 2008 09:29:11 -0300 Date: Wed, 18 Jun 2008 12:55:20 +0200 From: Jiri Rosicky To: cat-dist@mta.ca Subject: categories: research positions Sender: cat-dist@mta.ca Precedence: bulk Message-Id: Status: O X-Status: X-Keywords: X-UID: 10 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@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@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 From rrosebru@mta.ca Fri Jun 20 06:19:34 2008 -0300 Return-path: Envelope-to: categories-list@mta.ca Delivery-date: Fri, 20 Jun 2008 06:19:34 -0300 Received: from Majordom by mailserv.mta.ca with local (Exim 4.61) (envelope-from ) id 1K9cZo-0005uf-10 for categories-list@mta.ca; Fri, 20 Jun 2008 06:06:36 -0300 Date: Thu, 19 Jun 2008 15:51:05 -0400 (EDT) From: Patricia Johann To: categories@mta.ca Subject: categories: PhD position at University of Strathclyde, Glasgow MIME-Version: 1.0 Content-Type: TEXT/PLAIN; charset=US-ASCII; format=flowed Sender: cat-dist@mta.ca Precedence: bulk Message-Id: Status: O X-Status: X-Keywords: X-UID: 11 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. From rrosebru@mta.ca Fri Jun 20 06:19:34 2008 -0300 Return-path: Envelope-to: categories-list@mta.ca Delivery-date: Fri, 20 Jun 2008 06:19:34 -0300 Received: from Majordom by mailserv.mta.ca with local (Exim 4.61) (envelope-from ) id 1K9cZ8-0005qH-4M for categories-list@mta.ca; Fri, 20 Jun 2008 06:05:54 -0300 Date: Thu, 19 Jun 2008 11:54:06 +0200 From: "Benno van den Berg" To: categories@mta.ca Subject: categories: Collogicum Logicum 2008, Darmstadt (Germany), 10-12 September 2008 MIME-Version: 1.0 Content-Type: text/plain; charset=ISO-8859-1 Content-Transfer-Encoding: 7bit Content-Disposition: inline Sender: cat-dist@mta.ca Precedence: bulk Message-Id: Status: O X-Status: X-Keywords: X-UID: 12 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). From rrosebru@mta.ca Thu Jun 26 11:58:15 2008 -0300 Return-path: Envelope-to: categories-list@mta.ca Delivery-date: Thu, 26 Jun 2008 11:58:15 -0300 Received: from Majordom by mailserv.mta.ca with local (Exim 4.61) (envelope-from ) id 1KBskU-0003Hi-HG for categories-list@mta.ca; Thu, 26 Jun 2008 11:46:58 -0300 From: Richard Moot To: Richard Moot Content-Type: text/plain; charset=ISO-8859-1; format=flowed; delsp=yes Content-Transfer-Encoding: quoted-printable Subject: categories: ESSLLI 2009 Call for Proposals Mime-Version: 1.0 (Apple Message framework v924) Date: Wed, 25 Jun 2008 13:45:15 +0200 Sender: cat-dist@mta.ca Precedence: bulk Message-Id: Status: RO X-Status: X-Keywords: X-UID: 13 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% 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 =20= 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 =20 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, =20 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=FCbingen, Germany phone : +49-7071-29-74035 e-mail : um@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 =20 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/.= From rrosebru@mta.ca Thu Jun 26 11:58:15 2008 -0300 Return-path: Envelope-to: categories-list@mta.ca Delivery-date: Thu, 26 Jun 2008 11:58:15 -0300 Received: from Majordom by mailserv.mta.ca with local (Exim 4.61) (envelope-from ) id 1KBsjO-000394-RZ for categories-list@mta.ca; Thu, 26 Jun 2008 11:45:50 -0300 Date: Tue, 24 Jun 2008 16:58:05 +0200 MIME-Version: 1.0 To: categories@mta.ca Subject: categories: Conference: Cats3, Pisa, September 1-5 Content-Type: text/plain; charset=ISO-8859-1; format=flowed Content-Transfer-Encoding: 7bit Sender: cat-dist@mta.ca Precedence: bulk Message-Id: From: cat-dist@mta.ca Status: RO X-Status: X-Keywords: X-UID: 14 ********* 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@math.upenn.edu Carlos Simpson carlos@unice.fr Bertrand Toen toen@picard.ups-tlse.fr Gabriele Vezzosi gabriele.vezzosi@gmail.com If you would like to attend, please contact Dr. Ilaria Gabbani i.gabbani@sns.it Tel.: +39 (050) 509178 Fax: +39 (050) 509177 or Dr. Antonella Gregorace a.gregorace@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%20and%20Research%20Directions&TipoEvento=workshops&Periodo=present ******************************