November 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

In addition to the First Announcement of CT2009
by George Janelidze 30 Nov '08

30 Nov '08

Dear Colleagues, http://ct2009.info is a very preliminary form of Website of CT2009. Sorry to say, at the moment it is far from containing all relevant information as it was promised in the First Announcement sent to you on October 6; we hope, however, to complete it very soon and certainly during this month. George Janelidze

1 0

ACKERMANN AWARD 2009: CALL FOR NOMINATIONS
by Carlos Areces 28 Nov '08

28 Nov '08

========================================================================= ACKERMANN AWARD 2009 - THE EACSL OUTSTANDING DISSERTATION AWARD FOR LOGIC IN COMPUTER SCIENCE CALL FOR NOMINATIONS * Eligible for the 2009 Ackermann Award are PhD dissertations in topics specified by the EACSL and LICS conferences, which were formally accepted as PhD theses at a university or equivalent institution between 1.1.2007 and 31.12. 2008. * The deadline for submission is 15.3.2009. * Submission details are available at www.dimi.uniud.it/eacsl/award.html www.cs.technion.ac.il/eacsl * The award consists of - a diploma, - an invitation to present the thesis at the CSL conference, - the publication of the abstract of the thesis and the laudation in the CSL proceedings, - travel support to attend the conference. * The 2009 Ackermann Award will be presented to the recipients at the annual conference of the EACSL (CSL'09). * The jury consists of nine members: - The president of EACSL, J. Makowsky (Haifa); - The borad-member of EACSL, A. Dawar (Cambridge); - One member of the LICS organizing committee, G. Plotkin (Edinburgh); - P.-L. Curien (Paris) - A. Durand (Paris) - J. van Benthem (Amsterdam) - M. Grohe (Berlin); - M. Hyland (Cambridge); - A. Razborov (Moscow and Princeton). * The jury is entitled to give more than one award per year. * The previous Ackermann Award recipients were: 2005: Mikolaj Bojanczyk, Konstantin Korovin, Nathan Segerlind; 2006: Stefan Milius and Balder ten Cate; 2007: Dietmar Berwanger, Stephane Lengrand and Ting Zhang. 2008: Krishnendu Chatterjee * For the three years 2007-2009, the Award is sponsored by Logitech, S.A., Romanel, Switzerland, the worlds leading provider of personal peripherals. =========================================================================

1 0

Job announcement: Post-doc position at ILLC Amsterdam
by Clemens Kupke 27 Nov '08

27 Nov '08

================ POSTDOC POSITION ================ At the Institute for Logic, Language and Computation of the University of Amsterdam, there is a vacancy for a post-doctoral researcher in the field of Logic and Theoretical Computer Science. This position will form part of the NWO-funded VICI project ``Algebra and Coalgebra: the mathematical environment of modal logic", directed by Dr. Yde Venema. Job description -------------- The successful candidate is expected to do research related to the theory of modal logic. The investigations will preferably be in the following area: modal fixpoint logics, coalgebra and automata theory, but other proposals linking modal logic and (co)algebra will be considered as well. The position may include minor teaching duties in logic-related courses. Requirements ------------ We are looking for candidates with a strong background in mathematical logic and/or theoretical computer science, witnessed by publications in international journals and/or accepted papers at conferences. Candidates should have (almost) finished a PhD in an area closely related to modal logic, coalgebra or automata theory. Appointment ----------- The appointment will be for a period of two years, with the envisaged starting date being as soon as possible, but at the latest in September 2009. The gross monthly salary will be in accordance with the University regulations for academic personnel, and will, depending on experience, range from € 2,916 to a maximum of € 3,247. More information ---------------- Further information about the positions, or about the VICI project ``Algebra and Coalgebra'' can be obtained from Dr. Y. Venema, e-mail: Y.Venema(a)uva.nl, URL: http://staff.science.uva.nl/~yde Job application --------------- Applications should include o a detailed CV including a list of publications o two letters of reference, one of which should be from the PhD thesis supervisor (referents should send their recommendation letters directly to the email address below). Applications should be sent by email to Dr. Y. Venema, Y.Venema(a)uva.nl, before December 12, 2008. ============================================================================

1 0

[Calco'09] 2nd cfp: calco'09 (3rd Conference on Algebra and Coalgebra in Computer Science), Udine, Italy
by calco09 26 Nov '08

26 Nov '08

*------------------------------------------------------------------* * Call for Papers * * * * CALCO 2009 * * * * 3rd Conference on Algebra and Coalgebra in Computer Science * * CALCO Tools Day * * CALCO-jnr * * * September 6-10 2009, Udine, Italy * * * *------------------------------------------------------------------* * Abstract submission: February 2, 2009 * * Technical paper submission: February 7, 2009 * * Tools Day submission: February 24, 2009 * * Author notification: April 22, 2009 * *------------------------------------------------------------------* * http://www.dimi.uniud.it/calco09/ * *------------------------------------------------------------------* CALCO brings together researchers and practitioners to exchange new results about both traditional and emerging uses of algebras and coalgebras in computer science. This is a high-level, bi-annual conference formed by joining the forces and reputations of CMCS (the International Workshop on Coalgebraic Methods in Computer Science), and WADT (the Workshop on Algebraic Development Techniques). The first and second CALCO conferences took place 2005 in Swansea, Wales (http://www.cs.swan.ac.uk/calco/index.php) and 2007 in Bergen, Norway (http://www.ii.uib.no/calco07/) The second event will take place September 2009 in Udine, Italy. CALCO 2009 will be preceded by two events on September 6, 2009. * CALCO-jnr - a CALCO Young Researchers Workshop dedicated to presentations by PhD students and by those who completed their doctoral studies within the past few years. * CALCO Tools Day - providing the opportunity to give system demonstrations. See below for more information. There are separate submission procedures for the CALCO main conference, CALCO-jnr and CALCO Tools Day, respectively. Topics of Interest ------------------ We invite submissions of technical papers that report results of theoretical work on the mathematics of algebras and coalgebras, the way these results can support methods and techniques for software development, as well as experience with the transfer of resulting technologies into industrial practice. We encourage submissions in topics included or related to those in the lists below. * Abstract models and logics - Automata and languages, - Categorical semantics, - Modal logics, - Relational systems, - Graph transformation, - Term rewriting, - Adhesive categories * Specialised models and calculi - Hybrid, probabilistic, and timed systems, - Calculi and models of concurrent, distributed, mobile, and context-aware computing, - General systems theory and computational models (chemical, biological, etc) * Algebraic and coalgebraic semantics - Abstract data types, - Inductive and coinductive methods, - Re-engineering techniques (program transformation), - Semantics of conceptual modelling methods and techniques, - Semantics of programming languages * System specification and verification - Algebraic and coalgebraic specification, - Formal testing and quality assurance, - Validation and verification, - Generative programming and model-driven development, - Models, correctness and (re)configuration of hardware/middleware/architectures, - Process algebra Submission Guidelines --------------------- Prospective authors are invited to submit full papers in English presenting original research. Submitted papers must be unpublished and not submitted for publication elsewhere. Experience papers are welcome, but they must clearly present general lessons learned that would be of interest and benefit to a broad audience of both researchers and practitioners. As in 2005 and 2007, it is planned to publish the proceedings in the Springer LNCS series. Final papers will be no more than 15 pages long in the format specified by Springer. It is recommended that submissions adhere to that format and length (see http://www.springer.de/comp/lncs/authors.html) Submissions that are clearly too long may be rejected immediately. Proofs omitted due to space limitations may be included in a clearly marked appendix. Both an abstract and the full paper must be submitted by their respective submission deadlines. A special issue of the new high-quality open access journal Logical Methods in Computer Science (http://www.lmcs-online.org) consisting of extended versions of selected papers will be produced after the conference if there are enough good papers that can be extended and revised to the standards of this journal. Important Dates (all in 2009) ----------------------------- February 2 Abstract submission due February 7 Technical paper submission due February 24 Submissions to CALCO Tools Day, see below April 22 Author notification May 22 Camera ready due ----------------------------- September 6 CALCO-jnr and CALCO Tools Day September 6-10 CALCO technical programme Programme Committee ------------------- Luca Aceto, Reykjavik University, IS Stephen Bloom, Stevens Institute of Technology, Hoboken, USA Marcello Bonsangue, Leiden University, NL Corina Cirstea, University of Southampton, UK Andrea Corradini, University of Pisa, I José Fiaderio, University of Leicester, UK Rolf Hennicker, University of Munich, D Furio Honsell, University of Udine, I Bart Jacobs, University of Nijmegen, NL Bartek Klin, University of Warsaw, PL Alexander Kurz, University of Leicester, UK (co-chair) Stefan Milius, University of Braunschweig, D Ugo Montanari, University of Pisa, I Larry Moss, Indiana University, Bloomington, USA Till Mossakowski, DFKI Lab Bremen and University of Bremen, D Dirk Pattinson, Imperial College London, UK Dusko Pavlovic, Kestrel Institute, USA Jean-Eric Pin, CNRS-LIAFA Paris, F John Power, University of Bath, UK Grigore Rosu, University of Illinois, Urbana, USA Jan Rutten, CWI and Free University, Amsterdam, NL Davide Sangiorgi, University of Bologna, I Lutz Schröder, DFKI Lab Bremen and University of Bremen, D Eugene Stark, State University of New York, USA Andrzej Tarlecki, Warsaw University, PL (co-chair) Yde Venema, University of Amsterdam, NL James Worrell, University of Oxford, UK Steering Committee ------------------ Jiri Adamek, Michel Bidoit, Corina Cirstea, Jose Fiadeiro (co-chair, http://www.cs.le.ac.uk/people/jfiadeiro/) H.Peter Gumm, Magne Haveraaen, Bart Jacobs, Hans-Joerg Kreowski, Alexander Kurz, Marina Lenisa, Ugo Montanari, Larry Moss, Till Mossakowski, Peter Mosses, Fernando Orejas, Francesco Parisi-Presicce, John Power, Horst Reichel, Markus Roggenbach, Jan Rutten (co-chair, http://homepages.cwi.nl/ ~janr/), Andrzej Tarlecki Organising Committee -------------------- Fabio Alessi, Alberto Ciaffaglione, Pietro Di Gianantonio, Davide Grohmann, Furio Honsell, Marina Lenisa (chair, http://www.dimi.uniud.it/~lenisa) Marino Miculan, Ivan Scagnetto, University of Udine, Italy Location ------------------------- The conference will be held in the city of Udine, the capital of the historical region of Friuli, Italy. Located between the Adriatic sea and the Alps, close to Venice, Austria and Slovenia, Udine is a city of Roman origins, funded by Emperor Otto in 983. Rich of historical sites, Udine is also famous for its outstanding wine and culinary traditions. CALCO Tools Day --------------- A special day at CALCO'09 is dedicated to tools based on algebraic and coalgebraic principles. These include systems/prototypes/tools developed specifically for design, checking, execution, and verification of (co)algebraic specifications, but also tools targeting different application domains but making core or interesting use of (co)algebraic techniques. Tool submissions should be no longer than 5 pages in the LNCS format; the accepted tool papers will be included in the final LNCS proceedings of the conference. The tools should be available on the web for download and evaluation. Each submission will be evaluated by at least three reviewers; one or more of the reviewers will be asked to download and run the tool. At least one of the authors of each tool paper must attend the conference to demo the tool. Submissions by e-mail to grosu(a)cs.uiuc.edu. Important Dates (all in 2009) February 24 Tools software and paper submissions due March 28 Author notification May 16 Camera ready due September 6 CALCO Tools Day Program Committee Luigi Liquori, INRIA, Sophia Antipolis, France http://www.ucm.es/info/dsip/directorio/NMO.html Grigore Rosu, University of Illinois, Urbana, USA http://fsl.cs.uiuc.edu/index.php/Grigore_Rosu http://www.dimi.uniud.it/calco09/ --Apple-Mail-5-284690376 Content-Type: text/html; charset=ISO-8859-1 Content-Transfer-Encoding: quoted-printable <html><body style="word-wrap: break-word; -webkit-nbsp-mode: space; -webkit-line-break: after-white-space; "><div style="word-wrap: break-word; -webkit-nbsp-mode: space; -webkit-line-break: after-white-space; "><div style="word-wrap: break-word; -webkit-nbsp-mode: space; -webkit-line-break: after-white-space; "><div style="word-wrap: break-word; -webkit-nbsp-mode: space; -webkit-line-break: after-white-space; "><div style="word-wrap: break-word; -webkit-nbsp-mode: space; -webkit-line-break: after-white-space; "><div style="margin-top: 0px; margin-right: 0px; margin-bottom: 0px; margin-left: 0px; font: normal normal normal 16px/normal Times; ">*------------------------------------------------------------------*</div><div style="margin-top: 0px; margin-right: 0px; margin-bottom: 0px; margin-left: 0px; font: normal normal normal 16px/normal Times; ">*                         Call for Papers                          *</div><div style="margin-top: 0px; margin-right: 0px; margin-bottom: 0px; margin-left: 0px; font: normal normal normal 16px/normal Times; ">*                                                                  *</div><div style="margin-top: 0px; margin-right: 0px; margin-bottom: 0px; margin-left: 0px; font: normal normal normal 16px/normal Times; ">*                           CALCO 2009                             *</div><div style="margin-top: 0px; margin-right: 0px; margin-bottom: 0px; margin-left: 0px; font: normal normal normal 16px/normal Times; ">*                                                                  *</div><div style="margin-top: 0px; margin-right: 0px; margin-bottom: 0px; margin-left: 0px; font: normal normal normal 16px/normal Times; ">*   3rd Conference on Algebra and Coalgebra in Computer Science    *</div><div style="margin-top: 0px; margin-right: 0px; margin-bottom: 0px; margin-left: 0px; font: normal normal normal 16px/normal Times; ">*                          CALCO Tools Day                          *</div><div style="margin-top: 0px; margin-right: 0px; margin-bottom: 0px; margin-left: 0px; font: normal normal normal 16px/normal Times; ">*        <span class="Apple-tab-span" style="white-space: pre; "> </span>    CALCO-jnr </div><div style="margin-top: 0px; margin-right: 0px; margin-bottom: 0px; margin-left: 0px; font: normal normal normal 16px/normal Times; ">*                                                                  *</div><div style="margin-top: 0px; margin-right: 0px; margin-bottom: 0px; margin-left: 0px; font: normal normal normal 16px/normal Times; ">*             September 6-10 2009, Udine, Italy                     *</div><div style="margin-top: 0px; margin-right: 0px; margin-bottom: 0px; margin-left: 0px; font: normal normal normal 16px/normal Times; ">*                                                                  *</div><div style="margin-top: 0px; margin-right: 0px; margin-bottom: 0px; margin-left: 0px; font: normal normal normal 16px/normal Times; ">*------------------------------------------------------------------*</div><div style="margin-top: 0px; margin-right: 0px; margin-bottom: 0px; margin-left: 0px; font: normal normal normal 16px/normal Times; ">*          Abstract submission:        February 2, 2009           *</div><div style="margin-top: 0px; margin-right: 0px; margin-bottom: 0px; margin-left: 0px; font: normal normal normal 16px/normal Times; ">*          Technical paper submission: February  7, 2009           *</div><div style="margin-top: 0px; margin-right: 0px; margin-bottom: 0px; margin-left: 0px; font: normal normal normal 16px/normal Times; ">*           Tools Day submission:      February 24, 2009           *</div><div style="margin-top: 0px; margin-right: 0px; margin-bottom: 0px; margin-left: 0px; font: normal normal normal 16px/normal Times; ">*          Author notification:        April    22, 2009           *</div><div style="margin-top: 0px; margin-right: 0px; margin-bottom: 0px; margin-left: 0px; font: normal normal normal 16px/normal Times; ">*------------------------------------------------------------------*</div><div style="margin-top: 0px; margin-right: 0px; margin-bottom: 0px; margin-left: 0px; font: normal normal normal 16px/normal Times; ">*                 <a href="http://www.dimi.uniud.it/calco09/">http://www.dimi.uniud.it/calco09/</a>                    *</div><div style="margin-top: 0px; margin-right: 0px; margin-bottom: 0px; margin-left: 0px; font: normal normal normal 16px/normal Times; ">*------------------------------------------------------------------*</div><div style="margin-top: 0px; margin-right: 0px; margin-bottom: 0px; margin-left: 0px; font: normal normal normal 16px/normal Times; min-height: 19px; "><br></div><div style="margin-top: 0px; margin-right: 0px; margin-bottom: 0px; margin-left: 0px; font: normal normal normal 16px/normal Times; ">CALCO brings together researchers and practitioners to exchange new</div><div style="margin-top: 0px; margin-right: 0px; margin-bottom: 0px; margin-left: 0px; font: normal normal normal 16px/normal Times; ">results about both traditional and emerging uses of algebras and coalgebras </div><div style="margin-top: 0px; margin-right: 0px; margin-bottom: 0px; margin-left: 0px; font: normal normal normal 16px/normal Times; ">in computer science. </div><div style="margin-top: 0px; margin-right: 0px; margin-bottom: 0px; margin-left: 0px; font: normal normal normal 16px/normal Times; min-height: 19px; "><br></div><div style="margin-top: 0px; margin-right: 0px; margin-bottom: 0px; margin-left: 0px; font: normal normal normal 16px/normal Times; ">This is a high-level, bi-annual conference formed by joining the forces</div><div style="margin-top: 0px; margin-right: 0px; margin-bottom: 0px; margin-left: 0px; font: normal normal normal 16px/normal Times; ">and reputations of CMCS (the International Workshop on Coalgebraic Methods</div><div style="margin-top: 0px; margin-right: 0px; margin-bottom: 0px; margin-left: 0px; font: normal normal normal 16px/normal Times; ">in Computer Science), and WADT (the Workshop on Algebraic Development</div><div style="margin-top: 0px; margin-right: 0px; margin-bottom: 0px; margin-left: 0px; font: normal normal normal 16px/normal Times; ">Techniques). The first and second CALCO conferences took place 2005 in </div><div style="margin-top: 0px; margin-right: 0px; margin-bottom: 0px; margin-left: 0px; font: normal normal normal 16px/normal Times; ">Swansea, Wales (<a href="http://www.cs.swan.ac.uk/calco/index.php">http://www.cs.swan.ac.uk/calco/index.php</a>), and 2007 in</div><div style="margin-top: 0px; margin-right: 0px; margin-bottom: 0px; margin-left: 0px; font: normal normal normal 16px/normal Times; ">Bergen, Norway (<a href="http://www.ii.uib.no/calco07/">http://www.ii.uib.no/calco07/</a>).</div><div style="margin-top: 0px; margin-right: 0px; margin-bottom: 0px; margin-left: 0px; font: normal normal normal 16px/normal Times; ">The second event will take place September 2009 in Udine, Italy.</div><div style="margin-top: 0px; margin-right: 0px; margin-bottom: 0px; margin-left: 0px; font: normal normal normal 16px/normal Times; min-height: 19px; "><br></div><div style="margin-top: 0px; margin-right: 0px; margin-bottom: 0px; margin-left: 0px; font: normal normal normal 16px/normal Times; ">CALCO 2009 will be preceded by two events on September 6, 2009.</div><div style="margin-top: 0px; margin-right: 0px; margin-bottom: 0px; margin-left: 0px; font: normal normal normal 16px/normal Times; min-height: 19px; "><br></div><div style="margin-top: 0px; margin-right: 0px; margin-bottom: 0px; margin-left: 0px; font: normal normal normal 16px/normal Times; "> * CALCO-jnr - a CALCO Young Researchers Workshop dedicated to</div><div style="margin-top: 0px; margin-right: 0px; margin-bottom: 0px; margin-left: 0px; font: normal normal normal 16px/normal Times; ">   presentations by PhD students and by those who completed</div><div style="margin-top: 0px; margin-right: 0px; margin-bottom: 0px; margin-left: 0px; font: normal normal normal 16px/normal Times; ">   their doctoral studies within the past few years.</div><div style="margin-top: 0px; margin-right: 0px; margin-bottom: 0px; margin-left: 0px; font: normal normal normal 16px/normal Times; min-height: 19px; "><br></div><div style="margin-top: 0px; margin-right: 0px; margin-bottom: 0px; margin-left: 0px; font: normal normal normal 16px/normal Times; "> * CALCO Tools Day - providing the opportunity to give</div><div style="margin-top: 0px; margin-right: 0px; margin-bottom: 0px; margin-left: 0px; font: normal normal normal 16px/normal Times; ">   system demonstrations. See below for more information.</div><div style="margin-top: 0px; margin-right: 0px; margin-bottom: 0px; margin-left: 0px; font: normal normal normal 16px/normal Times; min-height: 19px; "><br></div><div style="margin-top: 0px; margin-right: 0px; margin-bottom: 0px; margin-left: 0px; font: normal normal normal 16px/normal Times; ">There are separate submission procedures for the CALCO main conference, </div><div style="margin-top: 0px; margin-right: 0px; margin-bottom: 0px; margin-left: 0px; font: normal normal normal 16px/normal Times; ">CALCO-jnr and CALCO Tools Day, respectively.</div><div style="margin-top: 0px; margin-right: 0px; margin-bottom: 0px; margin-left: 0px; font: normal normal normal 16px/normal Times; min-height: 19px; "><br></div><div style="margin-top: 0px; margin-right: 0px; margin-bottom: 0px; margin-left: 0px; font: normal normal normal 16px/normal Times; min-height: 19px; "><br></div><div style="margin-top: 0px; margin-right: 0px; margin-bottom: 0px; margin-left: 0px; font: normal normal normal 16px/normal Times; ">Topics of Interest</div><div style="margin-top: 0px; margin-right: 0px; margin-bottom: 0px; margin-left: 0px; font: normal normal normal 16px/normal Times; ">------------------</div><div style="margin-top: 0px; margin-right: 0px; margin-bottom: 0px; margin-left: 0px; font: normal normal normal 16px/normal Times; ">We invite submissions of technical papers that report results of</div><div style="margin-top: 0px; margin-right: 0px; margin-bottom: 0px; margin-left: 0px; font: normal normal normal 16px/normal Times; ">theoretical work on the mathematics of algebras and coalgebras, the</div><div style="margin-top: 0px; margin-right: 0px; margin-bottom: 0px; margin-left: 0px; font: normal normal normal 16px/normal Times; ">way these results can support methods and techniques for software</div><div style="margin-top: 0px; margin-right: 0px; margin-bottom: 0px; margin-left: 0px; font: normal normal normal 16px/normal Times; ">development, as well as experience with the transfer of resulting</div><div style="margin-top: 0px; margin-right: 0px; margin-bottom: 0px; margin-left: 0px; font: normal normal normal 16px/normal Times; ">technologies into industrial practice. We encourage submissions in</div><div style="margin-top: 0px; margin-right: 0px; margin-bottom: 0px; margin-left: 0px; font: normal normal normal 16px/normal Times; ">topics included or related to those in the lists below.</div><div style="margin-top: 0px; margin-right: 0px; margin-bottom: 0px; margin-left: 0px; font: normal normal normal 16px/normal Times; min-height: 19px; "><br></div><div style="margin-top: 0px; margin-right: 0px; margin-bottom: 0px; margin-left: 0px; font: normal normal normal 16px/normal Times; "> * Abstract models and logics</div><div style="margin-top: 0px; margin-right: 0px; margin-bottom: 0px; margin-left: 0px; font: normal normal normal 16px/normal Times; ">   - Automata and languages,</div><div style="margin-top: 0px; margin-right: 0px; margin-bottom: 0px; margin-left: 0px; font: normal normal normal 16px/normal Times; ">   - Categorical semantics,</div><div style="margin-top: 0px; margin-right: 0px; margin-bottom: 0px; margin-left: 0px; font: normal normal normal 16px/normal Times; ">   - Modal logics,</div><div style="margin-top: 0px; margin-right: 0px; margin-bottom: 0px; margin-left: 0px; font: normal normal normal 16px/normal Times; ">   - Relational systems,</div><div style="margin-top: 0px; margin-right: 0px; margin-bottom: 0px; margin-left: 0px; font: normal normal normal 16px/normal Times; ">   - Graph transformation,</div><div style="margin-top: 0px; margin-right: 0px; margin-bottom: 0px; margin-left: 0px; font: normal normal normal 16px/normal Times; ">   - Term rewriting,</div><div style="margin-top: 0px; margin-right: 0px; margin-bottom: 0px; margin-left: 0px; font: normal normal normal 16px/normal Times; ">   - Adhesive categories</div><div style="margin-top: 0px; margin-right: 0px; margin-bottom: 0px; margin-left: 0px; font: normal normal normal 16px/normal Times; min-height: 19px; "><br></div><div style="margin-top: 0px; margin-right: 0px; margin-bottom: 0px; margin-left: 0px; font: normal normal normal 16px/normal Times; "> * Specialised models and calculi</div><div style="margin-top: 0px; margin-right: 0px; margin-bottom: 0px; margin-left: 0px; font: normal normal normal 16px/normal Times; ">   - Hybrid, probabilistic, and timed systems,</div><div style="margin-top: 0px; margin-right: 0px; margin-bottom: 0px; margin-left: 0px; font: normal normal normal 16px/normal Times; ">   - Calculi and models of concurrent, distributed,</div><div style="margin-top: 0px; margin-right: 0px; margin-bottom: 0px; margin-left: 0px; font: normal normal normal 16px/normal Times; ">     mobile, and context-aware computing,</div><div style="margin-top: 0px; margin-right: 0px; margin-bottom: 0px; margin-left: 0px; font: normal normal normal 16px/normal Times; ">   - General systems theory and computational models</div><div style="margin-top: 0px; margin-right: 0px; margin-bottom: 0px; margin-left: 0px; font: normal normal normal 16px/normal Times; ">     (chemical, biological, etc)</div><div style="margin-top: 0px; margin-right: 0px; margin-bottom: 0px; margin-left: 0px; font: normal normal normal 16px/normal Times; min-height: 19px; "><br></div><div style="margin-top: 0px; margin-right: 0px; margin-bottom: 0px; margin-left: 0px; font: normal normal normal 16px/normal Times; "> * Algebraic and coalgebraic semantics</div><div style="margin-top: 0px; margin-right: 0px; margin-bottom: 0px; margin-left: 0px; font: normal normal normal 16px/normal Times; ">   - Abstract data types,</div><div style="margin-top: 0px; margin-right: 0px; margin-bottom: 0px; margin-left: 0px; font: normal normal normal 16px/normal Times; ">   - Inductive and coinductive methods,</div><div style="margin-top: 0px; margin-right: 0px; margin-bottom: 0px; margin-left: 0px; font: normal normal normal 16px/normal Times; ">   - Re-engineering techniques (program transformation),</div><div style="margin-top: 0px; margin-right: 0px; margin-bottom: 0px; margin-left: 0px; font: normal normal normal 16px/normal Times; ">   - Semantics of conceptual modelling methods and techniques,</div><div style="margin-top: 0px; margin-right: 0px; margin-bottom: 0px; margin-left: 0px; font: normal normal normal 16px/normal Times; ">   - Semantics of programming languages</div><div style="margin-top: 0px; margin-right: 0px; margin-bottom: 0px; margin-left: 0px; font: normal normal normal 16px/normal Times; min-height: 19px; "><br></div><div style="margin-top: 0px; margin-right: 0px; margin-bottom: 0px; margin-left: 0px; font: normal normal normal 16px/normal Times; "> * System specification and verification</div><div style="margin-top: 0px; margin-right: 0px; margin-bottom: 0px; margin-left: 0px; font: normal normal normal 16px/normal Times; ">   - Algebraic and coalgebraic specification,</div><div style="margin-top: 0px; margin-right: 0px; margin-bottom: 0px; margin-left: 0px; font: normal normal normal 16px/normal Times; ">   - Formal testing and quality assurance,</div><div style="margin-top: 0px; margin-right: 0px; margin-bottom: 0px; margin-left: 0px; font: normal normal normal 16px/normal Times; ">   - Validation and verification,</div><div style="margin-top: 0px; margin-right: 0px; margin-bottom: 0px; margin-left: 0px; font: normal normal normal 16px/normal Times; ">   - Generative programming and model-driven development,</div><div style="margin-top: 0px; margin-right: 0px; margin-bottom: 0px; margin-left: 0px; font: normal normal normal 16px/normal Times; ">   - Models, correctness and (re)configuration of</div><div style="margin-top: 0px; margin-right: 0px; margin-bottom: 0px; margin-left: 0px; font: normal normal normal 16px/normal Times; ">     hardware/middleware/architectures,</div><div style="margin-top: 0px; margin-right: 0px; margin-bottom: 0px; margin-left: 0px; font: normal normal normal 16px/normal Times; ">   - Process algebra</div><div style="margin-top: 0px; margin-right: 0px; margin-bottom: 0px; margin-left: 0px; font: normal normal normal 16px/normal Times; min-height: 19px; "><br></div><div style="margin-top: 0px; margin-right: 0px; margin-bottom: 0px; margin-left: 0px; font: normal normal normal 16px/normal Times; min-height: 19px; "><br></div><div style="margin-top: 0px; margin-right: 0px; margin-bottom: 0px; margin-left: 0px; font: normal normal normal 16px/normal Times; ">Submission Guidelines</div><div style="margin-top: 0px; margin-right: 0px; margin-bottom: 0px; margin-left: 0px; font: normal normal normal 16px/normal Times; ">---------------------</div><div style="margin-top: 0px; margin-right: 0px; margin-bottom: 0px; margin-left: 0px; font: normal normal normal 16px/normal Times; ">Prospective authors are invited to submit full papers in English</div><div style="margin-top: 0px; margin-right: 0px; margin-bottom: 0px; margin-left: 0px; font: normal normal normal 16px/normal Times; ">presenting original research. Submitted papers must be unpublished</div><div style="margin-top: 0px; margin-right: 0px; margin-bottom: 0px; margin-left: 0px; font: normal normal normal 16px/normal Times; ">and not submitted for publication elsewhere. Experience papers</div><div style="margin-top: 0px; margin-right: 0px; margin-bottom: 0px; margin-left: 0px; font: normal normal normal 16px/normal Times; ">are welcome, but they must clearly present general lessons learned</div><div style="margin-top: 0px; margin-right: 0px; margin-bottom: 0px; margin-left: 0px; font: normal normal normal 16px/normal Times; ">that would be of interest and benefit to a broad audience of both</div><div style="margin-top: 0px; margin-right: 0px; margin-bottom: 0px; margin-left: 0px; font: normal normal normal 16px/normal Times; ">researchers and practitioners. As in 2005 and 2007, it is planned to publish</div><div style="margin-top: 0px; margin-right: 0px; margin-bottom: 0px; margin-left: 0px; font: normal normal normal 16px/normal Times; ">the proceedings in the Springer LNCS series. Final papers will be</div><div style="margin-top: 0px; margin-right: 0px; margin-bottom: 0px; margin-left: 0px; font: normal normal normal 16px/normal Times; ">no more than 15 pages long in the format specified by Springer. It</div><div style="margin-top: 0px; margin-right: 0px; margin-bottom: 0px; margin-left: 0px; font: normal normal normal 16px/normal Times; ">is recommended that submissions adhere to that format and length</div><div style="margin-top: 0px; margin-right: 0px; margin-bottom: 0px; margin-left: 0px; font: normal normal normal 16px/normal Times; ">(see <a href="http://www.springer.de/comp/lncs/authors.html)">http://www.springer.de/comp/lncs/authors.html)</a>. Submissions that</div><div style="margin-top: 0px; margin-right: 0px; margin-bottom: 0px; margin-left: 0px; font: normal normal normal 16px/normal Times; ">are clearly too long may be rejected immediately. Proofs omitted due</div><div style="margin-top: 0px; margin-right: 0px; margin-bottom: 0px; margin-left: 0px; font: normal normal normal 16px/normal Times; ">to space limitations may be included in a clearly marked appendix.</div><div style="margin-top: 0px; margin-right: 0px; margin-bottom: 0px; margin-left: 0px; font: normal normal normal 16px/normal Times; ">Both an abstract and the full paper must be submitted by their respective</div><div style="margin-top: 0px; margin-right: 0px; margin-bottom: 0px; margin-left: 0px; font: normal normal normal 16px/normal Times; ">submission deadlines.  </div><div style="margin-top: 0px; margin-right: 0px; margin-bottom: 0px; margin-left: 0px; font: normal normal normal 16px/normal Times; min-height: 19px; "><br></div><div style="margin-top: 0px; margin-right: 0px; margin-bottom: 0px; margin-left: 0px; font: normal normal normal 16px/normal Times; ">A special issue of the new high-quality open access journal Logical</div><div style="margin-top: 0px; margin-right: 0px; margin-bottom: 0px; margin-left: 0px; font: normal normal normal 16px/normal Times; ">Methods in Computer Science (<a href="http://www.lmcs-online.org/">http://www.lmcs-online.org</a>), consisting of</div><div style="margin-top: 0px; margin-right: 0px; margin-bottom: 0px; margin-left: 0px; font: normal normal normal 16px/normal Times; ">extended versions of selected papers will be produced after the conference</div><div style="margin-top: 0px; margin-right: 0px; margin-bottom: 0px; margin-left: 0px; font: normal normal normal 16px/normal Times; ">if there are enough good papers that can be extended and revised to the</div><div style="margin-top: 0px; margin-right: 0px; margin-bottom: 0px; margin-left: 0px; font: normal normal normal 16px/normal Times; ">standards of this journal.</div><div style="margin-top: 0px; margin-right: 0px; margin-bottom: 0px; margin-left: 0px; font: normal normal normal 16px/normal Times; min-height: 19px; "><br></div><div style="margin-top: 0px; margin-right: 0px; margin-bottom: 0px; margin-left: 0px; font: normal normal normal 16px/normal Times; ">Important Dates (all in 2009)</div><div style="margin-top: 0px; margin-right: 0px; margin-bottom: 0px; margin-left: 0px; font: normal normal normal 16px/normal Times; ">-----------------------------</div><div style="margin-top: 0px; margin-right: 0px; margin-bottom: 0px; margin-left: 0px; font: normal normal normal 16px/normal Times; ">February 2    Abstract submission due</div><div style="margin-top: 0px; margin-right: 0px; margin-bottom: 0px; margin-left: 0px; font: normal normal normal 16px/normal Times; ">February 7      Technical paper submission due</div><div style="margin-top: 0px; margin-right: 0px; margin-bottom: 0px; margin-left: 0px; font: normal normal normal 16px/normal Times; ">February 24     Submissions to CALCO Tools Day, see below</div><div style="margin-top: 0px; margin-right: 0px; margin-bottom: 0px; margin-left: 0px; font: normal normal normal 16px/normal Times; ">April 22        Author notification</div><div style="margin-top: 0px; margin-right: 0px; margin-bottom: 0px; margin-left: 0px; font: normal normal normal 16px/normal Times; ">May 22          Camera ready due</div><div style="margin-top: 0px; margin-right: 0px; margin-bottom: 0px; margin-left: 0px; font: normal normal normal 16px/normal Times; ">-----------------------------</div><div style="margin-top: 0px; margin-right: 0px; margin-bottom: 0px; margin-left: 0px; font: normal normal normal 16px/normal Times; ">September 6       CALCO-jnr and CALCO Tools Day</div><div style="margin-top: 0px; margin-right: 0px; margin-bottom: 0px; margin-left: 0px; font: normal normal normal 16px/normal Times; ">September 6-10    CALCO technical programme</div><div style="margin-top: 0px; margin-right: 0px; margin-bottom: 0px; margin-left: 0px; font: normal normal normal 16px/normal Times; min-height: 19px; "><br></div><div style="margin-top: 0px; margin-right: 0px; margin-bottom: 0px; margin-left: 0px; font: normal normal normal 16px/normal Times; min-height: 19px; "><br></div><div style="margin-top: 0px; margin-right: 0px; margin-bottom: 0px; margin-left: 0px; font: normal normal normal 16px/normal Times; ">Programme Committee</div><div style="margin-top: 0px; margin-right: 0px; margin-bottom: 0px; margin-left: 0px; font: normal normal normal 16px/normal Times; ">-------------------</div><div style="margin-top: 0px; margin-right: 0px; margin-bottom: 0px; margin-left: 0px; font: normal normal normal 16px/normal Times; ">Luca Aceto, Reykjavik University, IS</div><div style="margin-top: 0px; margin-right: 0px; margin-bottom: 0px; margin-left: 0px; font: normal normal normal 16px/normal Times; ">Stephen Bloom, Stevens Institute of Technology, Hoboken, USA</div><div style="margin-top: 0px; margin-right: 0px; margin-bottom: 0px; margin-left: 0px; font: normal normal normal 16px/normal Times; ">Marcello Bonsangue, Leiden University, NL</div><div style="margin-top: 0px; margin-right: 0px; margin-bottom: 0px; margin-left: 0px; font: normal normal normal 16px/normal Times; ">Corina Cirstea, University of Southampton, UK</div><div style="margin-top: 0px; margin-right: 0px; margin-bottom: 0px; margin-left: 0px; font: normal normal normal 16px/normal Times; ">Andrea Corradini, University of Pisa, I</div><div style="margin-top: 0px; margin-right: 0px; margin-bottom: 0px; margin-left: 0px; font: normal normal normal 16px/normal Times; ">José Fiaderio, University of Leicester, UK</div><div style="margin-top: 0px; margin-right: 0px; margin-bottom: 0px; margin-left: 0px; font: normal normal normal 16px/normal Times; ">Rolf Hennicker, University of Munich, D</div><div style="margin-top: 0px; margin-right: 0px; margin-bottom: 0px; margin-left: 0px; font: normal normal normal 16px/normal Times; ">Furio Honsell, University of Udine, I</div><div style="margin-top: 0px; margin-right: 0px; margin-bottom: 0px; margin-left: 0px; font: normal normal normal 16px/normal Times; ">Bart Jacobs, University of Nijmegen, NL</div><div style="margin-top: 0px; margin-right: 0px; margin-bottom: 0px; margin-left: 0px; font: normal normal normal 16px/normal Times; ">Bartek Klin, University of Warsaw, PL</div><div style="margin-top: 0px; margin-right: 0px; margin-bottom: 0px; margin-left: 0px; font: normal normal normal 16px/normal Times; ">Alexander Kurz, University of Leicester, UK (co-chair)</div><div style="margin-top: 0px; margin-right: 0px; margin-bottom: 0px; margin-left: 0px; font: normal normal normal 16px/normal Times; ">Stefan Milius, University of Braunschweig, D</div><div style="margin-top: 0px; margin-right: 0px; margin-bottom: 0px; margin-left: 0px; font: normal normal normal 16px/normal Times; ">Ugo Montanari, University of Pisa, I</div><div style="margin-top: 0px; margin-right: 0px; margin-bottom: 0px; margin-left: 0px; font: normal normal normal 16px/normal Times; ">Larry Moss, Indiana University, Bloomington, USA</div><div style="margin-top: 0px; margin-right: 0px; margin-bottom: 0px; margin-left: 0px; font: normal normal normal 16px/normal Times; ">Till Mossakowski, DFKI Lab Bremen and University of Bremen, D</div><div style="margin-top: 0px; margin-right: 0px; margin-bottom: 0px; margin-left: 0px; font: normal normal normal 16px/normal Times; ">Dirk Pattinson, Imperial College London, UK</div><div style="margin-top: 0px; margin-right: 0px; margin-bottom: 0px; margin-left: 0px; font: normal normal normal 16px/normal Times; ">Dusko Pavlovic, Kestrel Institute, USA</div><div style="margin-top: 0px; margin-right: 0px; margin-bottom: 0px; margin-left: 0px; font: normal normal normal 16px/normal Times; ">Jean-Eric Pin, CNRS-LIAFA Paris, F</div><div style="margin-top: 0px; margin-right: 0px; margin-bottom: 0px; margin-left: 0px; font: normal normal normal 16px/normal Times; ">John Power, University of Bath, UK</div><div style="margin-top: 0px; margin-right: 0px; margin-bottom: 0px; margin-left: 0px; font: normal normal normal 16px/normal Times; ">Grigore Rosu, University of Illinois, Urbana, USA</div><div style="margin-top: 0px; margin-right: 0px; margin-bottom: 0px; margin-left: 0px; font: normal normal normal 16px/normal Times; ">Jan Rutten, CWI and Free University, Amsterdam, NL</div><div style="margin-top: 0px; margin-right: 0px; margin-bottom: 0px; margin-left: 0px; font: normal normal normal 16px/normal Times; ">Davide Sangiorgi, University of Bologna, I</div><div style="margin-top: 0px; margin-right: 0px; margin-bottom: 0px; margin-left: 0px; font: normal normal normal 16px/normal Times; ">Lutz Schröder, DFKI Lab Bremen and University of Bremen, D</div><div style="margin-top: 0px; margin-right: 0px; margin-bottom: 0px; margin-left: 0px; font: normal normal normal 16px/normal Times; ">Eugene Stark, State University of New York, USA</div><div style="margin-top: 0px; margin-right: 0px; margin-bottom: 0px; margin-left: 0px; font: normal normal normal 16px/normal Times; ">Andrzej Tarlecki, Warsaw University, PL (co-chair)</div><div style="margin-top: 0px; margin-right: 0px; margin-bottom: 0px; margin-left: 0px; font: normal normal normal 16px/normal Times; ">Yde Venema, University of Amsterdam, NL</div><div style="margin-top: 0px; margin-right: 0px; margin-bottom: 0px; margin-left: 0px; font: normal normal normal 16px/normal Times; ">James Worrell, University of Oxford, UK</div><div style="margin-top: 0px; margin-right: 0px; margin-bottom: 0px; margin-left: 0px; font: normal normal normal 16px/normal Times; min-height: 19px; "><br></div><div style="margin-top: 0px; margin-right: 0px; margin-bottom: 0px; margin-left: 0px; font: normal normal normal 16px/normal Times; ">Steering Committee</div><div style="margin-top: 0px; margin-right: 0px; margin-bottom: 0px; margin-left: 0px; font: normal normal normal 16px/normal Times; ">------------------</div><div style="margin-top: 0px; margin-right: 0px; margin-bottom: 0px; margin-left: 0px; font: normal normal normal 16px/normal Times; ">Jiri Adamek, Michel Bidoit, Corina Cirstea, Jose Fiadeiro (co-chair,</div><div style="margin-top: 0px; margin-right: 0px; margin-bottom: 0px; margin-left: 0px; font: normal normal normal 16px/normal Times; "><a href="http://www.cs.le.ac.uk/people/jfiadeiro/)">http://www.cs.le.ac.uk/people/jfiadeiro/)</a>, H.Peter Gumm, Magne</div><div style="margin-top: 0px; margin-right: 0px; margin-bottom: 0px; margin-left: 0px; font: normal normal normal 16px/normal Times; ">Haveraaen, Bart Jacobs, Hans-Joerg Kreowski, Alexander Kurz, Marina</div><div style="margin-top: 0px; margin-right: 0px; margin-bottom: 0px; margin-left: 0px; font: normal normal normal 16px/normal Times; ">Lenisa, Ugo Montanari, Larry Moss, Till Mossakowski, Peter Mosses, </div><div style="margin-top: 0px; margin-right: 0px; margin-bottom: 0px; margin-left: 0px; font: normal normal normal 16px/normal Times; ">Fernando Orejas, Francesco Parisi-Presicce, John Power, Horst Reichel, </div><div style="margin-top: 0px; margin-right: 0px; margin-bottom: 0px; margin-left: 0px; font: normal normal normal 16px/normal Times; ">Markus Roggenbach, Jan Rutten (co-chair, <a href="http://homepages.cwi.nl/~janr/)">http://homepages.cwi.nl/~janr/)</a>, </div><div style="margin-top: 0px; margin-right: 0px; margin-bottom: 0px; margin-left: 0px; font: normal normal normal 16px/normal Times; ">Andrzej Tarlecki</div><div style="margin-top: 0px; margin-right: 0px; margin-bottom: 0px; margin-left: 0px; font: normal normal normal 16px/normal Times; min-height: 19px; "><br></div><div style="margin-top: 0px; margin-right: 0px; margin-bottom: 0px; margin-left: 0px; font: normal normal normal 16px/normal Times; ">Organising Committee</div><div style="margin-top: 0px; margin-right: 0px; margin-bottom: 0px; margin-left: 0px; font: normal normal normal 16px/normal Times; ">--------------------</div><div style="margin-top: 0px; margin-right: 0px; margin-bottom: 0px; margin-left: 0px; font: normal normal normal 16px/normal Times; ">Fabio Alessi, Alberto Ciaffaglione, Pietro Di Gianantonio, Davide Grohmann,</div><div style="margin-top: 0px; margin-right: 0px; margin-bottom: 0px; margin-left: 0px; font: normal normal normal 16px/normal Times; ">Furio Honsell, Marina Lenisa (chair, <a href="http://www.dimi.uniud.it/~lenisa)">http://www.dimi.uniud.it/~lenisa)</a>, </div><div style="margin-top: 0px; margin-right: 0px; margin-bottom: 0px; margin-left: 0px; font: normal normal normal 16px/normal Times; ">Marino Miculan, Ivan Scagnetto,</div><div style="margin-top: 0px; margin-right: 0px; margin-bottom: 0px; margin-left: 0px; font: normal normal normal 16px/normal Times; ">University of Udine, Italy</div><div style="margin-top: 0px; margin-right: 0px; margin-bottom: 0px; margin-left: 0px; font: normal normal normal 16px/normal Times; min-height: 19px; "><br></div><div style="margin-top: 0px; margin-right: 0px; margin-bottom: 0px; margin-left: 0px; font: normal normal normal 16px/normal Times; ">Location</div><div style="margin-top: 0px; margin-right: 0px; margin-bottom: 0px; margin-left: 0px; font: normal normal normal 16px/normal Times; ">-------------------------</div><div style="margin-top: 0px; margin-right: 0px; margin-bottom: 0px; margin-left: 0px; font: normal normal normal 16px/normal Times; ">The conference will be held in the city of Udine, the capital of the historical </div><div style="margin-top: 0px; margin-right: 0px; margin-bottom: 0px; margin-left: 0px; font: normal normal normal 16px/normal Times; ">region of Friuli, Italy. Located between the Adriatic sea and the Alps, close to </div><div style="margin-top: 0px; margin-right: 0px; margin-bottom: 0px; margin-left: 0px; font: normal normal normal 16px/normal Times; ">Venice, Austria and Slovenia, Udine is a city of Roman origins, funded by </div><div style="margin-top: 0px; margin-right: 0px; margin-bottom: 0px; margin-left: 0px; font: normal normal normal 16px/normal Times; ">Emperor Otto in 983. Rich of historical sites, Udine is also famous for its </div><div style="margin-top: 0px; margin-right: 0px; margin-bottom: 0px; margin-left: 0px; font: normal normal normal 16px/normal Times; ">outstanding wine and culinary traditions.</div><div style="margin-top: 0px; margin-right: 0px; margin-bottom: 0px; margin-left: 0px; font: normal normal normal 16px/normal Times; min-height: 19px; "><br></div><div style="margin-top: 0px; margin-right: 0px; margin-bottom: 0px; margin-left: 0px; font: normal normal normal 16px/normal Times; min-height: 19px; "><br></div><div style="margin-top: 0px; margin-right: 0px; margin-bottom: 0px; margin-left: 0px; font: normal normal normal 16px/normal Times; ">CALCO Tools Day</div><div style="margin-top: 0px; margin-right: 0px; margin-bottom: 0px; margin-left: 0px; font: normal normal normal 16px/normal Times; ">---------------</div><div style="margin-top: 0px; margin-right: 0px; margin-bottom: 0px; margin-left: 0px; font: normal normal normal 16px/normal Times; ">A special day at CALCO'09 is dedicated to tools based on algebraic</div><div style="margin-top: 0px; margin-right: 0px; margin-bottom: 0px; margin-left: 0px; font: normal normal normal 16px/normal Times; ">and coalgebraic principles. These include systems/prototypes/tools</div><div style="margin-top: 0px; margin-right: 0px; margin-bottom: 0px; margin-left: 0px; font: normal normal normal 16px/normal Times; ">developed <span style="font: normal normal normal 17px/normal Times; ">specifically</span> for design, checking, execution, and verification</div><div style="margin-top: 0px; margin-right: 0px; margin-bottom: 0px; margin-left: 0px; font: normal normal normal 16px/normal Times; ">of (co)algebraic specifications, but also tools targeting different</div><div style="margin-top: 0px; margin-right: 0px; margin-bottom: 0px; margin-left: 0px; font: normal normal normal 16px/normal Times; ">application domains but making core or interesting use of (co)algebraic</div><div style="margin-top: 0px; margin-right: 0px; margin-bottom: 0px; margin-left: 0px; font: normal normal normal 16px/normal Times; ">techniques. Tool submissions should be no longer than 5 pages in the</div><div style="margin-top: 0px; margin-right: 0px; margin-bottom: 0px; margin-left: 0px; font: normal normal normal 16px/normal Times; ">LNCS format; the accepted tool papers will be included in the final</div><div style="margin-top: 0px; margin-right: 0px; margin-bottom: 0px; margin-left: 0px; font: normal normal normal 16px/normal Times; ">LNCS proceedings of the conference.  The tools should be available on</div><div style="margin-top: 0px; margin-right: 0px; margin-bottom: 0px; margin-left: 0px; font: normal normal normal 16px/normal Times; ">the web for download and evaluation. Each submission will be evaluated</div><div style="margin-top: 0px; margin-right: 0px; margin-bottom: 0px; margin-left: 0px; font: normal normal normal 16px/normal Times; ">by at least three reviewers; one or more of the reviewers will be asked</div><div style="margin-top: 0px; margin-right: 0px; margin-bottom: 0px; margin-left: 0px; font: normal normal normal 16px/normal Times; ">to download and run the tool. At least one of the authors of each tool</div><div style="margin-top: 0px; margin-right: 0px; margin-bottom: 0px; margin-left: 0px; font: normal normal normal 16px/normal Times; ">paper must attend the conference to demo the tool.</div><div style="margin-top: 0px; margin-right: 0px; margin-bottom: 0px; margin-left: 0px; font: normal normal normal 16px/normal Times; ">Submissions by e-mail to <a href="mailto:grosu@cs.uiuc.edu">grosu(a)cs.uiuc.edu</a>.</div><div style="margin-top: 0px; margin-right: 0px; margin-bottom: 0px; margin-left: 0px; font: normal normal normal 16px/normal Times; min-height: 19px; "><br></div><div style="margin-top: 0px; margin-right: 0px; margin-bottom: 0px; margin-left: 0px; font: normal normal normal 16px/normal Times; ">Important Dates (all in 2009)</div><div style="margin-top: 0px; margin-right: 0px; margin-bottom: 0px; margin-left: 0px; font: normal normal normal 16px/normal Times; ">February 24      Tools software and paper submissions due       </div><div style="margin-top: 0px; margin-right: 0px; margin-bottom: 0px; margin-left: 0px; font: normal normal normal 16px/normal Times; ">March 28         Author notification    </div><div style="margin-top: 0px; margin-right: 0px; margin-bottom: 0px; margin-left: 0px; font: normal normal normal 16px/normal Times; ">May 16           Camera ready due       </div><div style="margin-top: 0px; margin-right: 0px; margin-bottom: 0px; margin-left: 0px; font: normal normal normal 16px/normal Times; ">September 6        CALCO Tools Day        </div><div style="margin-top: 0px; margin-right: 0px; margin-bottom: 0px; margin-left: 0px; font: normal normal normal 16px/normal Times; min-height: 19px; "><br></div><div style="margin-top: 0px; margin-right: 0px; margin-bottom: 0px; margin-left: 0px; font: normal normal normal 16px/normal Times; ">Program Committee</div><div style="margin-top: 0px; margin-right: 0px; margin-bottom: 0px; margin-left: 0px; font: normal normal normal 16px/normal Times; ">Luigi Liquori, INRIA, Sophia Antipolis, France</div><div style="margin-top: 0px; margin-right: 0px; margin-bottom: 0px; margin-left: 0px; font: normal normal normal 16px/normal Times; "><a href="http://www.ucm.es/info/dsip/directorio/NMO.html">http://www.ucm.es/info/dsip/directorio/NMO.html</a></div><div style="margin-top: 0px; margin-right: 0px; margin-bottom: 0px; margin-left: 0px; font: normal normal normal 16px/normal Times; ">Grigore Rosu, University of Illinois, Urbana, USA </div><div style="margin-top: 0px; margin-right: 0px; margin-bottom: 0px; margin-left: 0px; font: normal normal normal 16px/normal Times; "><a href="http://fsl.cs.uiuc.edu/index.php/Grigore_Rosu">http://fsl.cs.uiuc.edu/index.php/Grigore_Rosu</a></div><div><font class="Apple-style-span" face="Times" size="4"><span class="Apple-style-span" style="font-size: 16px; "><br></span></font></div><div><font class="Apple-style-span" face="Times" size="4"><span class="Apple-style-span" style="font-size: 16px; "><a href="http://www.dimi.uniud.it/calco09/">http://www.dimi.uniud.it/calco09/</a> </span></font></div></div></div></div></div></body></html> --Apple-Mail-5-284690376--

1 0

Welcome to categories
by Majordomo＠mta.ca 24 Nov '08

24 Nov '08

-- Welcome to the categories mailing list! Please save this message for future reference. Thank you. If you ever want to remove yourself from this mailing list, you can send mail to <Majordomo(a)mta.ca> with the following command in the body of your email message: unsubscribe categories or from another account, besides Peter Selinger <selinger(a)mathstat.dal.ca>: unsubscribe categories Peter Selinger <selinger(a)mathstat.dal.ca> If you ever need to get in contact with the owner of the list, (if you have trouble unsubscribing, or have questions about the list itself) send email to <owner-categories(a)mta.ca> . This is the general rule for most mailing lists when you need to contact a human. [Last updated on: Fri Feb 13 13:47:58 1998] ------------------------------------------------------------------------ This is the routine distribution for the categories mailing list. It was last updated on February 13, 1998 Access to archives of categories postings and other useful pointers is available on the World Wide Web; the URL is http://www.mta.ca/~cat-dist/ The archives of postings on categories are held at the ftp site tac.mta.ca in the directory pub/categories. The postings are filed in yearly subdirectories called 90, 91 etc. Within those subdirectories there are monthly files, and an annual list of dates and subjects of postings. Please send information about WWW/ftp sites with holdings of interest to categories-request(a)mta.ca, or to me. Bob Rosebrugh Phone: +1-506-364-2538 Department of Mathematics and Computer Science Mount Allison University Sackville, N. B. E0A 3C0 InterNet: rrosebrugh(a)mta.ca Canada

1 0

Majordomo results: change subscription
by Majordomo＠mta.ca 24 Nov '08

24 Nov '08

-- >>>> Hi Bob, **** Command 'hi' not recognized. >>>> >>>> I just realized I am still subscribed to categories under my U. Ottawa **** Command 'i' not recognized. >>>> email address. Could you change this to selinger(a)mathstat.dal.ca? **** Command 'email' not recognized. >>>> >>>> Thanks, -- Peter **** Command 'thanks,' not recognized. >>>> **** No valid commands found. **** Commands must be in message BODY, not in HEADER. **** Help for Majordomo(a)mta.ca: This help message is being sent to you from the Majordomo mailing list management system at Majordomo(a)mta.ca. This is version 1.94.5 of Majordomo. If you're familiar with mail servers, an advanced user's summary of Majordomo's commands appears at the end of this message. Majordomo is an automated system which allows users to subscribe and unsubscribe to mailing lists, and to retrieve files from list archives. You can interact with the Majordomo software by sending it commands in the body of mail messages addressed to "Majordomo(a)mta.ca". Please do not put your commands on the subject line; Majordomo does not process commands in the subject line. You may put multiple Majordomo commands in the same mail message. Put each command on a line by itself. If you use a "signature block" at the end of your mail, Majordomo may mistakenly believe each line of your message is a command; you will then receive spurious error messages. To keep this from happening, either put a line starting with a hyphen ("-") before your signature, or put a line with just the word end on it in the same place. This will stop the Majordomo software from processing your signature as bad commands. Here are some of the things you can do using Majordomo: I. FINDING OUT WHICH LISTS ARE ON THIS SYSTEM To get a list of publicly-available mailing lists on this system, put the following line in the body of your mail message to Majordomo(a)mta.ca: lists Each line will contain the name of a mailing list and a brief description of the list. To get more information about a particular list, use the "info" command, supplying the name of the list. For example, if the name of the list about which you wish information is "demo-list", you would put the line info demo-list in the body of the mail message. II. SUBSCRIBING TO A LIST Once you've determined that you wish to subscribe to one or more lists on this system, you can send commands to Majordomo to have it add you to the list, so you can begin receiving mailings. To receive list mail at the address from which you're sending your mail, simply say "subscribe" followed by the list's name: subscribe demo-list If for some reason you wish to have the mailings go to a different address (a friend's address, a specific other system on which you have an account, or an address which is more correct than the one that automatically appears in the "From:" header on the mail you send), you would add that address to the command. For instance, if you're sending a request from your work account, but wish to receive "demo-list" mail at your personal account (for which we will use "jqpublic(a)my-isp.com" as an example), you'd put the line subscribe demo-list jqpublic(a)my-isp.com in the mail message body. Based on configuration decisions made by the list owners, you may be added to the mailing list automatically. You may also receive notification that an authorization key is required for subscription. Another message will be sent to the address to be subscribed (which may or may not be the same as yours) containing the key, and directing the user to send a command found in that message back to Majordomo(a)mta.ca. (This can be a bit of extra hassle, but it helps keep you from being swamped in extra email by someone who forged requests from your address.) You may also get a message that your subscription is being forwarded to the list owner for approval; some lists have waiting lists, or policies about who may subscribe. If your request is forwarded for approval, the list owner should contact you soon after your request. Upon subscribing, you should receive an introductory message, containing list policies and features. Save this message for future reference; it will also contain exact directions for unsubscribing. If you lose the intro mail and would like another copy of the policies, send this message to Majordomo(a)mta.ca: intro demo-list (substituting, of course, the real name of your list for "demo-list"). III. UNSUBSCRIBING FROM MAILING LISTS Your original intro message contains the exact command which should be used to remove your address from the list. However, in most cases, you may simply send the command "unsubscribe" followed by the list name: unsubscribe demo-list (This command may fail if your provider has changed the way your address is shown in your mail.) To remove an address other than the one from which you're sending the request, give that address in the command: unsubscribe demo-list jqpublic(a)my-isp.com In either of these cases, you can tell Majordomo(a)mta.ca to remove the address in question from all lists on this server by using "*" in place of the list name: unsubscribe * unsubscribe * jqpublic(a)my-isp.com IV. FINDING THE LISTS TO WHICH AN ADDRESS IS SUBSCRIBED To find the lists to which your address is subscribed, send this command in the body of a mail message to Majordomo(a)mta.ca: which You can look for other addresses, or parts of an address, by specifying the text for which Majordomo should search. For instance, to find which users at my-isp.com are subscribed to which lists, you might send the command which my-isp.com Note that many list owners completely or fully disable the "which" command, considering it a privacy violation. V. FINDING OUT WHO'S SUBSCRIBED TO A LIST To get a list of the addresses on a particular list, you may use the "who" command, followed by the name of the list: who demo-list Note that many list owners allow only a list's subscribers to use the "who" command, or disable it completely, believing it to be a privacy violation. VI. RETRIEVING FILES FROM A LIST'S ARCHIVES Many list owners keep archives of files associated with a list. These may include: - back issues of the list - help files, user profiles, and other documents associated with the list - daily, monthly, or yearly archives for the list To find out if a list has any files associated with it, use the "index" command: index demo-list If you see files in which you're interested, you may retrieve them by using the "get" command and specifying the list name and archive filename. For instance, to retrieve the files called "profile.form" (presumably a form to fill out with your profile) and "demo-list.9611" (presumably the messages posted to the list in November 1996), you would put the lines get demo-list profile.form get demo-list demo-list.9611 in your mail to Majordomo(a)mta.ca. VII. GETTING MORE HELP To contact a human site manager, send mail to Majordomo-Owner(a)mta.ca. To contact the owner of a specific list, send mail to that list's approval address, which is formed by adding "-approval" to the user-name portion of the list's address. For instance, to contact the list owner for demo-list(a)mta.ca, you would send mail to demo-list-approval(a)mta.ca. To get another copy of this help message, send mail to Majordomo(a)mta.ca with a line saying help in the message body. VIII. COMMAND SUMMARY FOR ADVANCED USERS In the description below items contained in []'s are optional. When providing the item, do not include the []'s around it. Items in angle brackets, such as <address>, are meta-symbols that should be replaced by appropriate text without the angle brackets. It understands the following commands: subscribe <list> [<address>] Subscribe yourself (or <address> if specified) to the named <list>. unsubscribe <list> [<address>] Unsubscribe yourself (or <address> if specified) from the named <list>. "unsubscribe *" will remove you (or <address>) from all lists. This _may not_ work if you have subscribed using multiple addresses. get <list> <filename> Get a file related to <list>. index <list> Return an index of files you can "get" for <list>. which [<address>] Find out which lists you (or <address> if specified) are on. who <list> Find out who is on the named <list>. info <list> Retrieve the general introductory information for the named <list>. intro <list> Retrieve the introductory message sent to new users. Non-subscribers may not be able to retrieve this. lists Show the lists served by this Majordomo server. help Retrieve this message. end Stop processing commands (useful if your mailer adds a signature). Commands should be sent in the body of an email message to "Majordomo(a)mta.ca". Multiple commands can be processed provided each occurs on a separate line. Commands in the "Subject:" line are NOT processed. If you have any questions or problems, please contact "Majordomo-Owner(a)mta.ca".

1 2

change subscription
by selinger 24 Nov '08

24 Nov '08

Hi Bob, I just realized I am still subscribed to categories under my U. Ottawa email address. Could you change this to selinger(a)mathstat.dal.ca? Thanks, -- Peter

1 2

url correction
by Rene Guitart 24 Nov '08

24 Nov '08

As pointed out by Vaughan Pratt and Albert Burroni, the first url below should be http://pagesperso-orange.fr/rene.guitart Rene Guitart ---------- Forwarded message ---------- Date: Sun, 23 Nov 2008 18:09:57 -0400 (AST) From: Rene Guitart <rene.guitart(a)orange.fr> To: categories <categories(a)mta.ca> Subject: categories: ma page perso I would like to inform you that now you can find on-line almost all my papers in mathematics and in philosophy, at the two url : http://pageperso-orange.fr/rene.guitart and http://people.math.jussieu.fr/~guitart/ There are now about 110 papers which are accessible, and for the rest (of about 20 papers) they will be scannned and added progressively. Kindest regards, Ren� Guitart

1 0