From dirk at doc.ic.ac.uk Wed Jan 2 08:46:10 2008 From: dirk at doc.ic.ac.uk (Dirk Pattinson) Date: Wed, 02 Jan 2008 13:46:10 +0000 Subject: [TYPES/announce] Postdoc: Coalgebraic Logics at Imperial Message-ID: <477B95A2.8070404@doc.ic.ac.uk> 36 Months Postdoctoral Position in Colagebraic Logics Department of Computing, Imperial College London A three year postdoctoral position is available from March 1, 2008 (or as soon as possible thereafter) to work on an EPSRC-funded project in the area of coalgebras and modal logic. Coalgebraic semantics allows the representation of a large class of structurally different modal logics in a uniform semantic framework where the particular type of observations that determines a specific model class is parameterized by an endofunctor. The aim of the project is to study fixpoint logics and logics axiomatized with nested modalities in this setting. More information on the project and the position advert can be found at http://www.doc.ic.ac.uk/~dirk/CML/ or email me (dirk at doc.ic.ac.uk) regarding further queries. With best wishes for 2008, Dirk Pattinson. From gvidal at dsic.upv.es Wed Jan 2 04:07:38 2008 From: gvidal at dsic.upv.es (German Vidal) Date: Wed, 2 Jan 2008 10:07:38 +0100 (CET) Subject: [TYPES/announce] SAS 2008 Third Call for Papers Message-ID: PLEASE POST --> SAS 2008 at the Technical University of Valencia We are happy to announce that SAS 2008, the Static Analysis Symposium, will take place at the Technical University of Valencia: Submission of abstract: January 12, 2008 Submission of full paper: January 19, 2008 Notification: March 7, 2008 Camera-ready version: April 5, 2008 Conference: July 16-18, 2008 Please see: http://www.dsic.upv.es/~sas2008/ ** The submission site is now open ** Maria Alpuente, German Vidal (PC co-chairs) --------------------------------------------------------------------------- Call for papers Static Analysis Symposium - SAS 2008 16-18 July 2008, Valencia, Spain (co-located with LOPSTR 2008) url http://www.dsic.upv.es/~sas2008 email sas2008 at dsic.upv.es Static Analysis is increasingly recognized as a fundamental tool for high performance implementations and verification of programming languages and systems. The series of Static Analysis Symposia has served as the primary venue for presentation of theoretical, practical, and application advances in the area. The technical programme for SAS 2008 will consist of invited lectures and presentations of refereed papers. Contributions are welcome on all aspects of static analysis, including, but not limited to: abstract domains abstract interpretation abstract testing compiler optimizations control flow analysis data flow analysis model checking program specialization security analysis theoretical analysis frameworks type based analysis verification systems Submissions can address any programming paradigm, including concurrent, constraint, functional, imperative, logic, and object-oriented programming. Survey papers, that present some aspect of the above topics from a new perspective, and application papers, that describe experience with industrial applications, are also welcome. Papers must describe original work, be written and presented in English, and must not substantially overlap with papers that have been published, or that are simultaneously submitted to a journal or a conference with refereed proceedings. Submitted papers should be at most 15 pages formatted in LNCS style (excluding bibliography and well-marked appendices not intended for publication). PC members are not required to read the appendices, and thus papers should be intelligible without them. The conference proceedings is planned to be published by Springer-Verlag in the Lecture Notes in Computer Science series. Invited Speakers Roberto Giacobazzi (Universita' degli Studi di Verona, Italy) Ben Liblit (University of Wisconsin-Madison, USA) PC co-chairs Maria Alpuente (Technical University of Valencia, Spain) German Vidal (Technical University of Valencia, Spain) PC members Elvira Albert (Complutense University of Madrid, Spain) Roberto Bagnara (University of Parma, Italy) Maurice Bruynooghe (Katholieke Universiteit Leuven, Belgium) Radhia Cousot (CNRS & Ecole Polytechnique, France) Javier Esparza (Technical University of Munchen, Germany) Sandro Etalle (University of Twente, The Netherlands) Moreno Falaschi (University of Siena, Italy) Stephen Fink (IBM T.J. Watson Research Center, USA) John Gallagher (Roskilde University, Denmark) Maria del Mar Gallardo (University of Malaga, Spain) Chris Hankin (Imperial College, UK) Manuel Hermenegildo (Technical University of Madrid, Spain) Julia Lawall (University of Copenhagen, Denmark) Alexey Loginov (IBM T.J. Watson Research Center, USA) Hanne Riis Nielson (Technical University of Denmark, Denmark) David Schmidt (Kansas State University, USA) Harald Sondergaard (University of Melbourne, Australia) Tachio Terauchi (Tohoku University, Japan) Ji Wang (National Laboratory for Parallel and Distributed Processing, China) Organizing committee chair Alicia Villanueva (Technical University of Valencia, Spain) Important dates Submission of abstract: January 12, 2008 Submission of full paper: January 19, 2008 Notification: March 7, 2008 Camera-ready version: April 5, 2008 Conference: July 16-18, 2008 --------------------------------------------------------------------------- From daniel.lohmann at informatik.uni-erlangen.de Wed Jan 2 12:20:23 2008 From: daniel.lohmann at informatik.uni-erlangen.de (Daniel Lohmann) Date: Wed, 2 Jan 2008 18:20:23 +0100 Subject: [TYPES/announce] Second CfP: ACP4IS at AOSD 2008 Message-ID: <91BCE3D8-CCDC-412D-AD5A-5F7176039F72@informatik.uni-erlangen.de> ******************************************************************** Seventh AOSD Workshop on Aspects, Components, and Patterns for Infrastructure Software (ACP4IS) March 31, 2008 Brussels, Belgium http://aosd.net/workshops/acp4is/2008 A one-day workshop to be held in conjunction with the Seventh International Conference on Aspect-Oriented Software Development (AOSD'08), March 31 - April 4, 2008, Brussels, Belgium http://aosd.net/conference ******************************************************************** DESCRIPTION ACP4IS provides a highly interactive forum for researchers and developers to discuss the application of and relationships between aspects, components, and patterns within modern "systems infrastructure" software: e.g., application servers, middleware, virtual machines, compilers, operating systems, embedded systems, web services and other software that provides general services for higher-level applications. Topics of interest include: - Approaches that combine or relate component-, pattern-, and aspect-based techniques - Aspect languages for infrastructure software - Container-, ORB-, and system-based separation of concerns - Support for Web services in middleware infrastructure - Architectural techniques for particular system concerns, e.g., security, static and dynamic optimization - Aspect mining within infrastructure software - Application- or domain-specific optimization of systems - Reasoning and optimization across architecture layers - Resource consumption of AOP approaches - Timing behavior of AO-code - Aspects and patterns for real-time and embedded systems - Dimensions of infrastructure software quality including comprehensibility, configurability, reliability, evolvability, scalability - Quantitative and qualitative evaluations ELECTRONIC SUBMISSION Invitation to the workshop will be based on accepted position and technical papers, 3-6 pages in length. Papers should be electronically submitted as PDF documents in ACM format through the ACP4IS 2008 online submission system. Paper submissions will be reviewed by the workshop program committee and designated reviewers. Papers will be evaluated based on technical quality, originality, relevance, and presentation. PUBLICATION OF PAPERS Accepted papers will be published as workshop proceedings in the ACM digital library. Excellent contributions will additionally be selected for publication in a special ACP4IS journal issue (IEE) planned for end of 2008. IMPORTANT DATES - Submission Deadline: January 18, 2008 - Notification of Acceptance: February 8, 2008 - Workshop: March 31, 2008 PROGRAM COMMITTEE - Julia Lawall, DIKU - Gilles Muller, Ecole des Mines de Nantes - Olaf Spinczyk, University of Dortmund - Aleksandra Tesanovic, Philips Research Laboratories - Charles Zhang, Hong Kong University of Science and Technology - Hidehiko Masuhara, University of Tokyo - Jeff Gray, University of Alabama - Bram Adams, Ghent University - Michael Haupt, Hasso-Plattner-Institut, University of Potsdam - Shigeru Chiba, Tokyo Institute of Technology - Eddy Truyen, KU Leuven - Robert Grimm, NYU - Hridesh Rajan, Iowa State University ORGANIZERS - Celina Gibbs, University of Victoria, Canada - Daniel Lohmann, FAU Erlangen-Nuernberg, Germany - Eric Wohlstadter, University of British Columbia, Canada STEERING COMMITEE - Eric Eide, University of Utah - Olaf Spinczyk, University of Dortmund - Yvonne Coady, University of Victoria - David Lorenz, University of Virginia From leavens at eecs.ucf.edu Fri Jan 4 14:27:37 2008 From: leavens at eecs.ucf.edu (Gary T. Leavens) Date: Fri, 4 Jan 2008 14:27:37 -0500 (EST) Subject: [TYPES/announce] CFP: FOAL 2008, reminder and revised due dates Message-ID: Note: abstracts only are now due on 11 January, full papers now due 18 January. Call For Papers, FOAL 2008 A workshop affiliated with AOSD 2008 in Brussels, Belgium, on 1 April 2008. Themes and Goals FOAL is a forum for research in foundations of aspect-oriented programming languages. Areas of interest include but are not limited to: * Semantics of aspect-oriented languages * Specification and verification for such languages * Type systems * Static analysis * Theory of testing * Theory of aspect composition * Theory of aspect translation (compilation) and rewriting The workshop aims to foster work in foundations, including formal studies, promote the exchange of ideas, and encourage workers in the semantics and formal methods communities to do research in the area of aspect-oriented programming languages. All theoretical and foundational studies of this topic are welcome. The goals of FOAL are to: * Make progress on the foundations of aspect-oriented programming languages. * Exchange ideas about semantics and formal methods for aspect-oriented programming languages. * Foster interest within the programming language theory and types communities in aspect-oriented programming languages. * Foster interest within the formal methods community in aspect-oriented programming and the problems of reasoning about aspect-oriented programs. Workshop Format The planned workshop format is primarily presentation of papers and group discussion. Talks will come in three categories: long (30 minutes plus 15 minutes of discussion), regular (20 minutes plus 5 minutes of discussion) and short (7 minutes plus 3 minutes of discussion). The short talks will allow for presentations of topics for which results are not yet available, perhaps for researchers who are seeking feedback on ideas or seek collaborations. We also plan to ensure sufficient time for discussion of each presentation by limiting the overall number of talks. Submissions Invitation to the workshop will be based on papers selected by the program committee; those wishing to attend but not having a paper to submit should contact the organizers directly to see if there is sufficient space in the workshop. FOAL solicits long, regular, and short papers on all areas of formal foundations of AOP languages. Submissions will be read by the program committee and designated reviewers. Papers will be selected for long, regular, and short presentation at the workshop based on their length, scientific merit, innovation, readability, and relevance. Papers previously published or already being reviewed by another conference are not eligible. Some papers may not be selected for presentation, and some may be selected for presentation in shorter talks than their paper length would otherwise command. We will limit the length of paper presentations and the number of papers presented to make sure that there is enough time for discussion. Papers presented at the workshop will be included in the ACM Digital Library, hence authors of accepted papers will be asked to transfer copyright to the ACM. However, as FOAL is a workshop, publication of extended versions of the papers in other venues will remain possible. We will also investigate having a special issue of a journal for revisions of selected papers after the workshop. Authors should note the following details: * Submission of an abstract is due no later than 23:00 GMT, 11 January 2008. * Submission of a full paper is due no later than 23:00 GMT, 18 January 2008. (These are firm deadlines.) * Authors must indicate whether they wish to be considered for a long, regular, or short presentation. * Papers for long presentations must not exceed 10 pages in length; those for regular presentations must not exceed 7 pages in length, and those for short presentations must not exceed 3 pages in length. * We encourage use of the ACM Conference format for submissions, as this will be required for accepted papers. You must add page numbers (which are not part of the standard format) to your submissions, to make adding comments easier. * Submissions are to be made via the following URL: http://continue2.cs.brown.edu/foal08/ We will notify the corresponding author of papers that are selected for presentation at the workshop by 8 February 2008. Early registration for AOSD (you must register for AOSD to attend the workshop) will end on 25 February 2008. Final versions of papers for the proceedings will be due on 1 March 2008. For more information, visit the FOAL Workshop home page (at http://www.eecs.ucf.edu/FOAL). Important Dates Abstract Submission Deadline 23:00 GMT, 11 January 2008 Paper Submission Deadline 23:00 GMT, 18 January 2008 Notification of Acceptance 8 February 2008 Final Versions of Papers Due 1 March 2008 Workshop 1 April 2008 From sweirich at cis.upenn.edu Fri Jan 4 23:00:53 2008 From: sweirich at cis.upenn.edu (Stephanie Weirich) Date: Fri, 04 Jan 2008 23:00:53 -0500 Subject: [TYPES/announce] Coq tutorial materials available Message-ID: <477F00F5.8070509@cis.upenn.edu> Reminder: the Coq Tutorial is next Tuesday in San Francisco, and the schedule is now on the webpage. If you will be attending the tutorial, please download the tutorial materials and try to compile them before coming to the tutorial. If you cannot attend, all of the materials for the tutorial are now available on the webpage and are self contained. You are welcome and encouraged to step through them on your own. Thanks and see you in San Francisco, Stephanie ===================================================================== Tutorial Announcement and Call for Participation Using Proof Assistants for Programming Language Research Or: How to Write Your Next POPL Paper in Coq San Francisco, CA, 8 Jan 2008 Co-located with POPL 2008 Sponsored by ACM SIGPLAN http://plclub.org/popl08-tutorial/ ======================================================================= The University of Pennsylvania PLClub invites you to participate in a tutorial on using the Coq proof assistant to formalize programming language metatheory. This tutorial will be tailored to people who are familiar with syntactic proofs of programming language metatheory (type soundness, etc.), but have never used a proof assistant. At the end of the day, participants will have a reading knowledge of Coq and a running start on using Coq in their own work. This tutorial will be *hands-on*, with breaks for exercises; participants are strongly encouraged to bring a laptop running Coq 8.1 (or a later release) and either Proof General or CoqIDE. Tutorial topics - Defining language semantics in Coq - Abstract syntax - Inductively-defined relations - Derivations - Proving simple results - Fundamental tactics - Automation - Forward and backward reasoning - Scaling up to POPLmark - Semantic functions and conversion - Sets and environments - Representing binding - Locally nameless representation - Freshness through cofinite quantification - Syntactic type soundness Registration will be through the POPL 2008 registration site: http://www.regmaster.com/conf/popl2008.html The tutorial is organized and presented by members of the University of Pennsylvania PLClub: Brian Aydemir, Aaron Bohannon, Benjamin Pierce, Jeffrey Vaughan, Dimitrios Vytiniotis, Stephanie Weirich, and Steve Zdancewic. Questions can be sent to Stephanie Weirich (sweirich at cis.upenn.edu). From jsp at DI.UMINHO.PT Mon Jan 7 07:50:47 2008 From: jsp at DI.UMINHO.PT (Jorge Sousa Pinto) Date: Mon, 7 Jan 2008 12:50:47 +0000 Subject: [TYPES/announce] CFP: RULE 2008 Message-ID: <1740615A-C2BF-4F0B-B104-F2EFD6040F09@DI.UMINHO.PT> ===================================================================== Call for Papers RULE 2008 9th International Workshop on Rule-Based Programming http://sewiki.iai.uni-bonn.de/rule08/ Hagenberg Castle, Austria 18th July 2008 A satellite event of RTA 2008 ====================================================================== IMPORTANT DATES Deadline for electronic submission of papers: April 14, 2008 Author notification: May 26, 2008 Deadline for final versions of accepted papers: June 9, 2008 Workshop: July 18, 2008 The fundamental concepts of rule-based programming are present in many areas of computer science, from theory to practical implementations. In programming languages, term rewriting is used in semantics as well as in implementations that use bottom-up rewriting for code generation. Rules are also used to perform computations in various systems; to describe logical inference in theorem provers; to specify and implement constraint-based algorithms and applications; and to describe and implement program transformations. Rule-based programming provides a common framework for viewing computation as a sequence of transformations on some shared structure such as a term, graph, proof, or constraint store. Rule selection and application is typically governed by a rich set of sophisticated mechanisms for recognizing and manipulating structures. After the development of the principles of rewriting logic and of the rewriting calculus in the nineties, languages and systems such as ASF+SDF, BURG, CHRs, Claire, ELAN, Maude, and Stratego contributed to demonstrate the importance of rule-based programming. The area has since been experiencing a period of growth with the emergence of new concepts, systems, and application domains, such as Domain Specific Languages, Generative and Aspect-Oriented Programming, and Software Engineering activities like maintenance, reverse engineering, and testing. The goal of this workshop is to bring together researchers from the various communities working on rule-based programming to foster advances in the foundations and research on rule-based programming methods and systems; and to promote cross-fertilization between theory and practice, and the application of rule-based programming in various important domains. Rule'08 is the ninth in a series of workshops. The first Rule workshop was held in Montr?al in 2000, and subsequent editions took place in Firenze, Pittsburgh, Val?ncia, Aachen, Nara, Seattle, and Paris. Topics of Interest ------------------ We solicit original papers on all topics related to rule-based programming including: Theory and Languages for rule-based programming: * Advances in the rewriting calculus * Advances in rewriting logic * Complexity results * Static analysis * Semantics * Type Systems * Implementation techniques * Domain-specific Languages Applications: * Software analysis and transformation * Software development and testing * Reengineering * Security Paradigm combinations of Rule-based programming: * with Functional Programming * with Logic Programming * with Object-oriented programming * Language embedding and extensions Tool and System descriptions * Usability engineering for rule-based programming tools * Experience in building or using rule-based programming systems * Practical aspects of rule-based programming systems * Empirical evaluation of rule-based programming Submission and Publication Submissions to the workshop will be judged on the basis of originality, relevance, technical soundness and presentation quality. Papers must be written in English and not exceed 15 pages in ENTCS format (see ENTCS formatting guidelines). Papers should be submitted electronically via the web-based submission site. If you experience any problems with the submission procedure please contact one of the PC chairs: G?nter Kniesel (gk at cs.uni-bonn.de) or Jorge Sousa Pinto (jsp at di.uminho.pt). Publication of the workshop proceedings by Elsevier Science in Electronic Notes in Theoretical Computer Science (ENTCS) is anticipated. Program Committee: Mark van den Brand, TU Eindhoven, Netherlands Horatiu Cirstea, IUT Nancy Charlemagne, France Steven Eker, SRI International, USA Maribel Fernandez, King's College London, UK Jeffrey G. Gray, University of Alabama at Birmingham, USA G?nter Kniesel (co-chair), University of Bonn, Germany Ralf L?mmel, University of Koblenz-Landau, Germany Salvador Lucas, Universidad Polit?cnica de Valencia, Spain Ugo Montanari, Universit? di Pisa, Italy Jorge Sousa Pinto (co-chair), Universidade do Minho, Portugal Joost Visser, Software Improvement Group, The Netherlands Jan Wielemaker, University of Amsterdam, The Netherlands Victor Winter, University of Nebraska at Omaha, USA From Philippe.LAHIRE at unice.fr Wed Jan 9 09:42:21 2008 From: Philippe.LAHIRE at unice.fr (Philippe.LAHIRE@unice.fr) Date: Wed, 09 Jan 2008 15:42:21 +0100 Subject: [TYPES/announce] 31 days to go until TOOLS Europe submission deadline Message-ID: <4784DD4D.30604@unice.fr> ============================================================================ TOOLS EUROPE 2008 46th International Conference Objects, Models, Components, Patterns co-located with *** International Conference on Model Transformation 2008 *** *** Software Engineering Approaches for Offshore and Outsourced Development 2008 *** ETH Zurich, Switzerland 30 June-4 July 2008 http://tools.ethz.ch/ ============================================================================ Call for Papers TOOLS EUROPE 2008 will focus on the combination of technologies that have emerged through objects and object technology becoming mainstream. TOOLS EUROPE 2008 combines an emphasis on quality with a strong practical focus. This is the 46th TOOLS conference. Started in 1989, TOOLS conferences, held in Europe, the USA, Australia, China and Eastern Europe, have played a major role in the development of object technology field; many of the seminal concepts were first presented at TOOLS. The TOOLS series was successfully restarted in 2007. Contributions are solicited on all aspects of object technology and neighbouring fields, in particular model-based development, component-based development, and patterns (design, analysis and other applications); more generally, any contribution addressing topics in advanced software technology fall within the scope of TOOLS. Reflecting the practical emphasis of TOOLS, contributions showcasing applications along with a sound conceptual contribution are particularly welcome. For a non-exclusive list of potential topic areas see the TOOLS Web site. In 2008, TOOLS EUROPE will be co-located with several other events, including SEAFOOD 2008 and the International Conference on Model Transformation (ICMT) 2008. Details of co-located events can be found on the TOOLS web site. Submission Guidelines All contributions will be subject to a rigorous selection process by the international Program Committee, with a stress on originality, practicality and overall quality. Every paper will be reviewed by at least 4 committee members. The acceptance rate will be published in the conference proceedings; TOOLS is committed to a fair and extensive peer-review process establishing a high standard in the area of modern practices in software engineering. By submitting a paper to TOOLS, authors warrant that the work is original and that the paper or a similar contribution is neither published nor considered for publication elsewhere. The TOOLS proceedings will be a volume in the new Springer LNBIP series, and papers should be formatted accordingly. Final camera-ready submissions should be at most 20 pages in length in LNBIP format. We recommend that you use this format for preparing your initial submission. Important Dates Deadline for technical papers: February 8, 2008, midnight Zurich time Author notification: April 1, 2008 Camera-ready copy due: April 16, 2008 TOOLS EUROPE will also include workshops and tutorials. See the corresponding calls for contributions. Chairpersons Conference chair: Bertrand Meyer Program chair: Richard Paige Publicity chairs: Laurence Tratt, Philippe Lahire Workshop chairs: Stephane Ducasse, Alexandre Bergel Tutorial Chairs: Manuel Oriol, Phil Brooke Program committee Patrick Albert, Uwe Assmann, Balbir Barn, Mike Barnett, Claude Baudoin, Bernhard Beckert, Jean Bezivin, Jean-Pierre Briot, Phil Brooke, Dave Clarke, Marsha Chechik, Bernard Coulette, Jin Song Dong, Gregor Engels, Patrick Eugster, Jose Fiadeiro, Judit Nyekyne Gaizler, Benoit Garbinato, Carlo Ghezzi, Martin Glinz, Martin Gogolla, Jeff Gray, Pedro Guerreiro, Alan Hartman, Valerie Issarny, Gerti Kappel, Joseph Kiniry, Ivan Kurtev, Philippe Lahire, Ralf Laemmel, Mingshu Li, Tiziana Margaria, Erik Meijer, Peter Mueller, David Naumann, Oscar Nierstrasz, Manuel Oriol, Jonathan Ostroff, Alfonso Pierantonio, Awais Rashid, Nicolas Rouquette, Anthony Savidis, Doug Schmidt, Bran Selic, Jim Steel, Dave Thomas, Laurence Tratt, T.H. Tse, Antonio Vallecillo, Amiram Yehudai, Andreas Zeller. From pierre.courtieu at cnam.fr Tue Jan 8 11:54:29 2008 From: pierre.courtieu at cnam.fr (Pierre Courtieu) Date: Tue, 08 Jan 2008 16:54:29 -0000 Subject: [TYPES/announce] 12-18 months post-doc position in CEDRIC, CNAM Paris Message-ID: <20071015112857.5f6e3b33@centaur.cnam.fr> The CEDRIC laboratory of the Conservatoire National des Arts et M?tiers (CNAM) in Paris is offering a post-doctoral position on "formal proofs on security policies" in the CPR team. Starting date: as soon as possible from january 2008. Duration: 12 to 18 months. Place: CNAM, Paris. Contact: Pierre Courtieu The work will consist in developing a methodology for the verification of security properties of access control policies. This will be done with the Coq proof assistant or/and the focal certified programming tool. This position is financed by the project FC? on federation of circles of trust. FC? is financed by DGE (french General Business Directorate, "Direction g?n?rale des entreprises") and is labeled by the french "p?le system at tic". The work will also be in collaboration with the SSURF ANR project (Safety and Security UndeR Focal). http://www.industrie.gouv.fr/portail/une/dgesom.html http://www.systematic-paris-region.org/index.php http://www-spi.lip6.fr/~jaume/ssurf.html ------------------------------------------------------------------ Le laboratoire CEDRIC du CNAM Paris propose un stage post-doctoral sur le sujet "Preuves formelles sur les politiques de s?curit?" dans l'?quipe CPR (conception et programmation raisonn?es). D?but: ? partir de janvier 2008. Dur?e: 12 ? 18 mois. Lieu: CNAM, Paris. Contact: Pierre Courtieu Le travail consistera ? d?velopper une m?thodologie de v?rification de propri?t?s de s?curit? sur des politiques de contr?le d'acc?s. On utilisera l'outil de preuve Coq et/ou l'atelier de programmation certifi?e Focal. Ce stage est financ? par le projet FC? sur la f?d?ration de cercles de confiance. FC? est financ? par la DGE (direction g?n?rale des ?quipements) et labellis? par le p?le system at tic. Le travail se fera aussi en collaboration avec le projet ANR SSURF (Safety and Security UndeR Focal) http://www.industrie.gouv.fr/portail/une/dgesom.html http://www.systematic-paris-region.org/index.php http://www-spi.lip6.fr/~jaume/ssurf.html ------------------------------------------------------------------ From pmt6sbc at maths.leeds.ac.uk Sat Jan 5 12:26:05 2008 From: pmt6sbc at maths.leeds.ac.uk (S B Cooper) Date: Sat, 5 Jan 2008 17:26:05 +0000 (GMT) Subject: [TYPES/announce] CiE 2008 - EXTENDED DEADLINE Message-ID: Due to the high level of requests, we have extended the paper submission deadline to January 14th, 2008: ******************************************************************** Computability in Europe 2008: Logic and Theory of Algorithms University of Athens, June 15-20 2008 http://www.cs.swan.ac.uk/cie08/ EXTENDED SUBMISSION DEADLINE: JANUARY 14th, 2008 We cordially invite all researchers (European and non-European) in computability related areas to submit their papers (in PDF-format, max 10 pages) for presentation at CiE 2008. We particularly invite papers that build bridges between different parts of the research community. The CONFERENCE PROCEEDINGS will be published by LNCS, Springer-Verlag. There will also be journal special issues, collecting invited contributions related to the conference. Special issues will be published in the journals "Theory of Computing Systems", the "Archive for Mathematical Logic", and the "Journal of Algorithms". See http://www.cs.swan.ac.uk/cie08/publications.php for more informations on publications. CiE 2008 CONFERENCE TOPICS include, but not exclusively: * Admissible sets * Analog computation * Artificial intelligence * Automata theory * Classical computability and degree structures * Complexity classes * Computability theoretic aspects of programs * Computable analysis and real computation * Computable structures and models * Computational and proof complexity * Computational learning and complexity * Concurrency and distributed computation * Constructive mathematics * Cryptographic complexity * Decidability of theories * Derandomization * DNA computing * Domain theory and computability * Dynamical systems and computational models * Effective descriptive set theory * Finite model theory * Formal aspects of program analysis * Formal methods * Foundations of computer science * Games * Generalized recursion theory * History of computation * Hybrid systems * Higher type computability * Hypercomputational models * Infinite time Turing machines * Kolmogorov complexity * Lambda and combinatory calculi * L-systems and membrane computation * Mathematical models of emergence * Molecular computation * Neural nets and connectionist models * Philosophy of science and computation * Physics and computability * Probabilistic systems * Process algebra * Programming language semantics * Proof mining * Proof theory and computability * Quantum computing and complexity * Randomness * Reducibilities and relative computation * Relativistic computation * Reverse mathematics * Swarm intelligence * Type systems and type theory * Uncertain reasoning * Weak systems of arithmetic and applications PROGRAMME COMMITTEE: L. Aiello (Roma) T. Altenkirch (Nottingham) K. Ambos-Spies (Heidelberg) G. Ausiello (Roma) A. Beckmann (Swansea, co-chair) L. Beklemishev (Moscow) P. Bonizzoni (Milano) S. A. Cook (Toronto ON) B. Cooper (Leeds) C. Dimitracopoulos (Athens, co-chair) R. Downey (Wellington) E. Koutsoupias (Athens) O. Kupferman (Jerusalem) S. Laplante (Orsay) H. Leitgeb (Bristol) B. Loewe (Amsterdam) E. Mayordomo Camara (Zaragoza) F. Montagna (Siena) M. Mytilinaios (Athens) (+) M. Nielsen (Aarhus) I. Oitavem (Lisboa) C. Palamidessi (Palaiseau) T. Pheidas (Heraklion) Ramanujam (Chennai) A. Schalk (Manchester) U. Schoening (Ulm) H. Schwichtenberg (Muenchen) A. Selman (Buffalo NY) A. Sorbi (Siena) I. Soskov (Sofia) C. Timpson (Leeds) S. Zachos (New York NY) ******************************************************************** From silvia at imft.ftn.ns.ac.yu Sun Jan 6 09:00:38 2008 From: silvia at imft.ftn.ns.ac.yu (Silvia Ghilezan) Date: Sun, 06 Jan 2008 15:00:38 +0100 Subject: [TYPES/announce] ITRS'08 - Call for Papers Message-ID: <4780DF06.90600@imft.ftn.ns.ac.yu> -------------- next part -------------- An embedded and charset-unspecified text was scrubbed... Name: call-for-papers08.txt Url: http://lists.seas.upenn.edu/pipermail/types-announce/attachments/20080106/c588058c/call-for-papers08.txt From venanzio at cs.ru.nl Wed Jan 9 06:46:33 2008 From: venanzio at cs.ru.nl (Venanzio Capretta) Date: Wed, 09 Jan 2008 12:46:33 +0100 Subject: [TYPES/announce] MSFP call for papers Message-ID: <4784B419.3060206@cs.ru.nl> CALL FOR PAPERS Second Workshop on MATHEMATICALLY STRUCTURED FUNCTIONAL PROGRAMMING 6 July 2008, Reykjavik - Iceland A satellite workshop of ICALP 2008 PRESENTATION The workshop on Mathematically Structured Functional Programming is devoted to the derivation of functionality from structure. It is a celebration of the direct impact of Theoretical Computer Science on programs as we write them today. Modern programming languages, and in particular functional languages, support the direct expression of mathematical structures, equipping programmers with tools of remarkable power and abstraction. Monadic programming in Haskell is the paradigmatic example, but there are many more mathematical insights manifest in programs and in programming language design: Freyd-categories in reactive programming, symbolic differentiation yielding context structures, and comonadic presentations of dataflow, to name but three. This workshop is a forum for researchers who seek to reflect mathematical phenomena in data and control. The first MSFP workshop was held in Kuressaare, Estonia, in July 2006. An associated special issue of the Journal of Functional Programming is in preparation. SUBMISSIONS Electronic Notes in Theoretical Computer Science have provisionally agreed to publish the proceedings of MSFP 2008. ENTCS require submissions in LaTeX, formatted according to their guidelines (http://www.entcs.org/prelim.html). Papers must report previously unpublished work and not be submitted concurrently to another conference with refereed proceedings. Programme Committee members, barring the co-chairs, may (and indeed are encouraged) to contribute. Accepted papers must be presented at the workshop by one of the authors. There is no specific page limit, but authors should strive for brevity. We are using the EasyChair software to manage submissions. To submit a paper, please log in at: http://www.easychair.org/conferences/?conf=msfp2008. TIMELINE: Submission of abstracts: 4 April Submission of papers: 11 April Notification: 16 May Final versions due: 13 June Workshop: 6 July For more information about the workshop, go to: http://msfp.org.uk/ Programme Committee * Yves Bertot, INRIA, Sophia-Antipolis, France * Venanzio Capretta (co-chair), Radboud University, Nijmegen, The Netherlands * Jacques Carette, McMaster University, Hamilton, Ontario, Canada * Thierry Coquand, Chalmers University, G?teborg, Sweden * Andrzej Filinski, DIKU, University of Copenhagen, Denmark * Jean-Christophe Filli?tre, LRI, Universit? Paris Sud, France * Jeremy Gibbons, Oxford University, England * Andy Gill, Galois Inc., Portland, Oregon, USA * Peter Hancock, University of Nottingham, England * Oleg Kiselyov, FNMOC, Monterey, California, USA * Paul Blain Levy, University of Birmingham, England * Andres L?h, Utrecht University, The Netherlands * Marino Miculan, Universit? di Udine, Italy * Conor McBride (co-chair), Alta Systems, Northern Ireland * James McKinna, Radboud University, Nijmegen, The Netherlands * Alex Simpson, University of Edinburgh, Scotland * Tarmo Uustalu, Institute of Cybernetics, Tallinn, Estonia From gvidal at dsic.upv.es Thu Jan 10 04:26:36 2008 From: gvidal at dsic.upv.es (German Vidal) Date: Thu, 10 Jan 2008 10:26:36 +0100 (CET) Subject: [TYPES/announce] SAS 2008 - Final CFP Message-ID: 15th International Static Analysis Symposium - SAS 2008 Valencia, Spain - July 16-18 >>Just 2 days to go to the abstract submission deadline<< Important dates: Submission of abstract: January 12, 2008 Submission of full paper: January 19, 2008 Notification: March 7, 2008 Camera-ready version: April 5, 2008 Conference: July 16-18, 2008 Please see: http://www.dsic.upv.es/~sas2008/ Maria Alpuente, German Vidal (PC co-chairs) Email: sas2008 at dsic.upv.es From nordio at dc.exa.unrc.edu.ar Fri Jan 11 11:02:27 2008 From: nordio at dc.exa.unrc.edu.ar (=?ISO-8859-1?Q?Mart=EDn_Nordio?=) Date: Fri, 11 Jan 2008 13:02:27 -0300 Subject: [TYPES/announce] LASER Summer School on Software Engineering Message-ID: <20080111160140.M20584@dc.exa.unrc.edu.ar> LASER Summer School on Software Engineering Concurrency and Correctness September 7 - 13, 2008 Elba Island, Italy http://laser.inf.ethz.ch Registration Open Early Application deadline: February 28th Goals The LASER school is intended both for researchers (including PhD students) and for professional software engineers and managers who want to benefit from the best in software technology advances. The focus of LASER is resolutely practical, although theory is welcome to establish solid foundations. The format of the school favors extensive interaction between participants and speakers. Topics and speakers The IT industry, and with it the software research community, are at a crossroads: the end of Moore's law as we know it. The only way to continue delivering needed advances in computational power is to rely on concurrent techniques, such as multicore architectures. But while extensive research has been conducted on concurrent programming for decades, it remains extremely hard to guarantee the correctness of realistic concurrent computations. The 2008 LASER summer school examines issues and solutions in depth. The speakers are among the most respected experts in the field: * Tryggve Fossum, Director of Microarchitecture Development at Intel * Maurice Herlihy, Brown University * Robin Milner, Cambridge University * Peter O'Hearn, Queen Mary University of London * Daniel A. Reed, Microsoft Research and UNC Chapel Hill with Tony Hoare for a special guest lecture. How to apply? Use the online registration form available on the LASER website http://laser.inf.ethz.ch. Registration is open, early registration deadline February 28th. The number of participants is strictly limited to ensure quality interaction with the lecturers and the rest of the audience. For more information, visit our website or contact the organizers at laser at se.inf.ethz.ch. Venue As in previous years, LASER is held in the magnificent setting of the Elba island off the coast of Tuscany, easily reachable by plane (Pisa) and train. Time is set aside to avoid the amenities of the 4-star Hotel del Golfo (private beach, tennis court etc.) as well as the natural and cultural riches of Elba, a history-laden jewel of the Mediterranean. Martin Nordio From herbert at doc.ic.ac.uk Fri Jan 11 11:24:35 2008 From: herbert at doc.ic.ac.uk (Herbert Wiklicky) Date: Fri, 11 Jan 2008 16:24:35 +0000 (GMT) Subject: [TYPES/announce] COORDINATION'08: deadline extension Message-ID: --------------------------------------------------------------------- CALL FOR PAPERS NEW: Deadlines extended !!! COORDINATION 2008 10th International Conference on Coordination Models and Languages Member of the Confederated Conferences on Distributed Computing Techniques (DisCoTec 2008) Oslo, Norway 4 - 6 June 2008 --------------------------------------------------------------------- ----> Abstract submission: 15 January 2008 (extended) ----> Paper submission: 22 January 2008 (extended) Author notification: 7 March 2008 Camera-ready copy: 26 March 2008 --------------------------------------------------------------------- http://discotec08.ifi.uio.no/Coordination08/ --------------------------------------------------------------------- Modern information systems rely increasingly on combining concurrent, distributed, real-time, reconfigurable and heterogeneous components. New models, architectures, languages, and verification techniques are necessary to cope with the complexity induced by the demands of today's software development. COORDINATION aims to explore the spectrum of languages, middleware, services, and algorithms that separate behavior from interaction, therefore increasing modularity, simplifying reasoning, and ultimately enhancing software development. Topics of interest: - MODELS AND FOUNDATIONS: models for distributed and concurrent interaction, component composition, service orchestration, workflow management. - SPECIFICATION AND VERIFICATION: modeling and analysis of properties related to security, dependability, resource-awareness, real-time. - DYNAMIC SOFTWARE ARCHITECTURES: software composition and scripting languages, dynamic software evolution and update, configuration and deployment languages. - PROGRAMMING ABSTRACTIONS AND LANGUAGES: techniques that support orchestration and control of distributed and concurrent interaction. - MIDDLEWARE ARCHITECTURES: shared spaces, publish-subscribe, event-based. - DECENTRALIZED AND DISTRIBUTED ARCHITECTURES: P2P, mobile ad-hoc and sensor networks. - CASE STUDIES: application of coordination techniques in business process modelling, e-commerce, factory automation, collaboration, command and control. INVITED SPEAKERS: The invited lectures will be given in joint sessions among Coordination'08 and the two confederated conferences Distributed Applications and Interoperable Systems (DAIS'08) and Formal Methods for Open Object-based Distributed Systems (FMOODS'08): - Matt Welsh, Harvard University, USA (invited by Coordination'08) - Alexander Wolf, Imperial College London, UK (invited by DAIS'08) - Andrew Myers, Cornell University, USA (invited by FMOODS'08) DisCoTec'08 ORGANISERS: General chairs: Frank Eliassen, University of Oslo, Norway Einar Broch Johnsen, University of Oslo, Norway COORDINATION'08 ORGANIZERS: PC chairs: Doug Lea, State University of New York at Oswego, USA Gianluigi Zavattaro, University of Bologna, Italy Publicity Chair: Herbert Wiklicky, Imperial College London, UK Steering Committee: Farhad Arbab, CWI, The Netherlands Paolo Ciancarini, University of Bologna, Italy Rocco De Nicola, University of Florence, Italy (CHAIR) Chris Hankin, Imperial College London, UK Jean-Marie Jacquet, University of Namur, Belgium Amy L. Murphy, ITC-IRST, Italy & University of Lugano, Switzerland Gian Pietro Picco, University of Trento, Italy Gruia-Catalin Roman, Washington University in Saint Louis, USA Carolyn Talcott, SRI International, USA Jan Vitek, Purdue University, USA Herbert Wiklicky, Imperial College London, UK Program Committee : Gul Agha, Univ. Illinois at Urbana Champaign, USA Farhad Arbab, CWI, NL Roberto Bruni, Univ. PISA, IT William Cook, University of Texas, Austin, USA Rocco De Nicola, University of Florence, IT John Field, IBM, USA Aniruddha Gokhale, Vanderbilt, USA Mike Hicks, University of Maryland, USA Kohei Honda, Queen Mary, UK Jean-Marie Jacquet, University of Namur, BE Doug Lea, State University of New York at Oswego, USA (CHAIR) Amy L. Murphy, ITC-IRST, IT & U. of Lugano, CH Peter O'Hearn, Queen Mary, UK Gruia-Catalin Roman, Washington University in Saint Louis, USA Vijay Saraswat, Penn State/IBM, USA Carolyn Talcott, SRI International, USA Wil van der Aalst, Eindhoven/Queensland, NL/AU Jan Vitek, Purdue University, USA Franco Zambonelli, Univ. Modena e Reggio Emilia, IT Gianluigi Zavattaro, University of Bologna, Italy (CHAIR) SUBMISSION GUIDELINES: The Coordination 2008 conference solicits high quality papers reporting research results and/or experience reports related to the topics mentioned above. All papers must be original, unpublished, and not submitted for publication elsewhere. Contributions should be submitted electronically as postscript or PDF, using the SPRINGER LNCS style. Papers should not exceed 15 pages in length. Each paper will undergo a thorough process of review and the conference proceedings will be published by Springer-Verlag in the LNCS series. Proceedings will be made available at the conference. Selected papers will be invited to a special issue of The Science of Computer Programming journal. Only electronic submission is admitted through the conference web site. -- -------------------------------------------------------- Herbert Wiklicky Department of Computing Tel +44-20-75948206 Imperial College Fax +44-20-75818024 Huxley Building herbert at doc.ic.ac.uk 180 Queen's Gate http://www.doc.ic.ac.uk/~herbert London SW7 2AZ, UK -------------------------------------------------------- From U.Berger at swansea.ac.uk Fri Jan 11 12:29:50 2008 From: U.Berger at swansea.ac.uk (Ulrich Berger) Date: Fri, 11 Jan 2008 17:29:50 +0000 Subject: [TYPES/announce] Small Types Workshop in Swansea Message-ID: <4787A78E.90107@swansea.ac.uk> Russell'08 Proof Theory meets Type Theory A "Small Workshop" of the European TYPES Project Swansea, Wales, 15-16 March 2008 http://cs.swan.ac.uk/~csetzer/russell08/index.html In 1908 the British Philosopher and Mathematician Bertrand Russell, who was born and died in Wales, published the article "Mathematical Logic as based on the Theory of Types" which contained a first matured exposition of Type Theory. In the same year, Ernst Zermelo's "Untersuchungen ueber die Grundlagen der Mengenlehre I" introduced the basis of current axiomatic set theory as an alternative approach to the foundations of Mathematics. A central theme of Proof Theory is to compare these different foundations. Proof Theory uses as its main tool ordinal notation systems, the basis of which was laid by Oswald Veblen in his paper "Continuous Increasing Functions of Finite and Transfinite Ordinals", again in 1908. A century later, Proof Theory and Type Theory are flourishing more than ever before, and their manifold interconnections are driving important developments in Mathematics and Computer Science. At this workshop we meet and discuss cutting edge research at the interface of Proof Theory and Type Theory. Topics of interest include, but are not limited to: - Proof Theory of Type Theory - Relationship between Type Theory and Set Theory - Program extraction from proofs - Normalisation and Cut-elimination - New approaches to ordinal analysis - Universes and reflection principles - Equality in Type Theory - Philosophical and historical aspects of Proof Theory and Type Theory Invited Speakers: To be confirmed. Participation and Contributed Talks: Please send an email to Anton Setzer (a.g.setzer at swansea.ac.uk) as soon as possible, but no later than the 29th of February 2008. From pschust at mathematik.uni-muenchen.de Mon Jan 14 08:53:42 2008 From: pschust at mathematik.uni-muenchen.de (Peter Schuster) Date: Mon, 14 Jan 2008 14:53:42 +0100 (CET) Subject: [TYPES/announce] 3WFTop proceedings: EXTENDED DEADLINE 29 Feb 2008 Message-ID: ------------------------------------------------------------------------- Extended Deadline: Proceedings Third Workshop on Formal Topology ------------------------------------------------------------------------- Special Issue of Annals of Pure and Applied Logic ------------------------------------------------------------------------- ======== EXTENDED DEADLINE ===== Friday 29 February 2008 ================ ------------------------------------------------------------------------- Submissions by email to: Andrej.Bauer at andrej.com ------------------------------------------------------------------------ The Third Workshop on Formal Topology was held in Padua in May 2007: www.3wftop.math.unipd.it The proceedings of this workshop will be published as a special issue of the Annals of Pure and Applied Logic, with the following guest editors: Andrej Bauer, Thierry Coquand, Giovanni Sambin, Peter Schuster. These proceedings are open for high-level research papers on topics from or closely related to formal topology: that is, from constructive and/or point-free topology including applications. ------------------------------------------------------------------------- From luis.caires at di.fct.unl.pt Sat Jan 12 11:44:11 2008 From: luis.caires at di.fct.unl.pt (=?ISO-8859-1?Q?Lu=EDs_Caires?=) Date: Sat, 12 Jan 2008 16:44:11 +0000 Subject: [TYPES/announce] Assistant Professorships Available In-Reply-To: References: Message-ID: <8FC3C2C5-BBF0-4FC9-845D-B7698444D8A5@di.fct.unl.pt> Dear colleague, Please forward to potentially interested candidates. ======================================= Departamento de Informatica, Universidade Nova de Lisboa, Portugal Applications are invited for Assistant Professor positions in the Section of Science and Technology of Programming (CTP) at the Departamento de Informatica (http://www.di.fct.unl.pt/) Universidade Nova de Lisboa (http://www.fct.unl.pt/) Candidates must hold a PhD in Computer Science / Informatics, in some software related area (programming languages, algorithms, software engineering, theory, computer graphics, ...). Typical assistant professor duties at Nova include teaching at the undergraduate and/or graduate level, between six and nine contact hours per week, and research work. The research activities will be expected to take place at CITI, in topics related to Software Science and Technology. Please consult the CITI web site for more detailed information about the research teams and current projects, in particular about the software related research streams. http://citi.di.fct.unl.pt/ Interested candidates should send a detailed CV to secretaria at di.fct.unl.pt and also by surface mail to Director da Faculdade de Ci?ncias e Tecnologia da UNL Quinta da Torre 2829-516 CAPARICA Portugal Deadline: 18 January 2008. Please contact us for extra information. From ko at daimi.au.dk Mon Jan 14 07:39:46 2008 From: ko at daimi.au.dk (Klaus Ostermann) Date: Mon, 14 Jan 2008 13:39:46 +0100 Subject: [TYPES/announce] Postdoc position at University of Aarhus Message-ID: <478B5812.1030607@daimi.au.dk> A postdoctoral position within programming languages and software technology is available at the Department of Computer Science, University of Aarhus, Denmark. The position is funded by a generous grant from the European Research Council. It enables the successful applicant to concentrate on research only, without teaching obligations (but possibility), project deadlines or deliverables and the like. The Department of Computer Science at the University of Aarhus has an exceptional line-up of strong researchers in the areas relevant for this position. We look for candidates with interests in programming languages and software technology. More specifically, he or she should have publications in major conferences/journals in one or more of the following areas: - Domain-specific languages - Library and Framework Design - Modularity - Programming Language Semantics - Type Theory - Programming Language Design and Implementation The position is for three years, with possibility of extension. To apply, please send a letter of interest, research statement, and your CV by email to Klaus Ostermann (contact data given below). To be assured of full consideration, all material must arrive by February 15, 2008. Applications will be considered until the position is filled. Contact: Klaus Ostermann Dep. of Computer Science University of Aarhus, Denmark http://www.daimi.au.dk/~ko/ From gvidal at dsic.upv.es Tue Jan 15 03:56:37 2008 From: gvidal at dsic.upv.es (German Vidal) Date: Tue, 15 Jan 2008 09:56:37 +0100 (CET) Subject: [TYPES/announce] DEADLINE EXTENSION - SAS 2008 Message-ID: 15th International Static Analysis Symposium - SAS 2008 Valencia, Spain - July 16-18 >>DEDLINE EXTENSION<< New important dates: Submission of abstract: January 19, 2008 (changed) Submission of full paper: January 26, 2008 (changed) Notification: March 7, 2008 Camera-ready version: April 5, 2008 Conference: July 16-18, 2008 Please see: http://www.dsic.upv.es/~sas2008/ Maria Alpuente, German Vidal (PC co-chairs) Email: sas2008 at dsic.upv.es From areces at loria.fr Tue Jan 15 18:09:36 2008 From: areces at loria.fr (Carlos Areces) Date: Tue, 15 Jan 2008 18:09:36 -0500 (EST) Subject: [TYPES/announce] AiML-2008: Second Call for Papers Message-ID: <20080115230936.23864574F1@loria1.loria.fr> ======================================================= Please circulate. Apologies for multiple copies []<>[]<>[]<>[]<>[]<>[]<>[]<>[]<>[]<>[]<>[]<>[]<>[]<>[]<>[]<>[]<> SECOND CALL FOR PAPERS AiML-2008 ADVANCES in MODAL LOGIC 9-12 September 2008, LORIA, Nancy, France http://aiml08.loria.fr DEADLINE: 31 March 2008 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. TOPICS We invite submission on all aspects of modal logics, including the following: - history of modal logic - philosophy of modal logic - applications of modal logic - computational aspects of modal logic + complexity and decidability of modal and temporal logics + modal and temporal logic programming + model checking + theorem proving for modal logics - theoretical aspects of modal logic + algebraic and categorical perspectives on modal logic + coalgebraic modal logic + completeness and canonicity + correspondence and duality theory + many-dimensional modal logics + modal fixed point logics + model theory of modal logic + proof theory of modal logic - specific instances and variations of modal logic + description logics + dynamic logics and other process logics + epistemic and deontic logics + modal logics for agent-based systems + modal logic and game theory + modal logic and grammar formalisms + provability and interpretability logics + spatial and temporal logics + hybrid logic + intuitionistic logic + monotonic modal logic + substructural logic Papers on related subjects will also be considered. INVITED SPEAKERS Invited speakers at AiML-2008 will include the following: - Mai Gehrke, Radboud Universiteit Nijmegen http://www.math.ru.nl/mgehrke/ - Guido Governatori, The University of Queensland http://www.itee.uq.edu.au/~guido/ - Agi Kurucz, King's College London http://www.dcs.kcl.ac.uk/staff/kuag/ - Lawrence Moss, Indiana University http://www.indiana.edu/~iulg/moss/ - Michael Zakharyaschev, Birkbeck College http://www.dcs.bbk.ac.uk/~michael/ PAPER SUBMISSIONS In a change from previous AiML's, there will be two types of paper: (1) Full papers for publication and presentation at the conference. (2) Abstracts for short presentation only. Both types of paper should be submitted electronically using the submission page at http://www.easychair.org/AiML08/ The online submission system will be opened a few weeks before the submission deadline of 31 March 2008. (1) FULL PAPERS These will be published by College Publications http://www.collegepublications.co.uk in a volume to be made available at the meeting. Authors are invited to submit for review a full paper, not submitted elsewhere. It should be at most 15 pages plus optionally a technical appendix of up to 5 pages, together with a plain-text abstract of say 100-200 words. To appear in the conference volume, papers must be prepared in LaTeX using the style files to be provided at http://aiml08.loria.fr . At least one author of each accepted paper must register for and attend the conference to present the paper. (2) ABSTRACTS These should at most 5 pages. They may describe preliminary results, work in progress etc., and will be subject to light review. They may be made available at the conference, and authors should indicate if they would like to make a short presentation of their abstract of up to 15 minutes. 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 sfischme at seas.upenn.edu Tue Jan 15 11:20:17 2008 From: sfischme at seas.upenn.edu (Sebastian N. Fischmeister) Date: Tue, 15 Jan 2008 11:20:17 -0500 Subject: [TYPES/announce] APRES'08 - Adaptive and Reconfigurable Embedded Systems Message-ID: <3C78B342-0682-43B3-80A0-24FD1C456F82@seas.upenn.edu> Workshop on Adaptive and Reconfigurable Embedded Systems **** APRES 2008 **** http://www.artist-embedded.org/artist/APRES08.html St. Louis, MO, USA -- April 21, 2008 A satellite event of RTAS 2008, integrated in the CPSWEEK http://www.rtas.org/ http://www.cpsweek.org/ With support from the ARTIST European Network of Excellence on Embedded Systems Design http://www.artist-embedded.org/artist/ Adaptive systems can respond to environmental changes including hardware/software defects, resource changes, and non-continual feature usage. As such, adaptive systems can extend the area of operations and improve efficiency in the use of system resources. However, adaptability also incurs overhead in terms of system complexity and resource requirements. For example, an adaptive system requires some means for reconfiguration. These means and their mechanisms introduce additional complexity to the design and the architecture, and they also require additional resources such as computation, power, and communication bandwidth. Consequently, adaptive systems must be diligently planned, designed, analyzed, and built to find the right tradeoffs between too much and too little flexibility. The issue is how to provide the adaptability to the application, because it affects all aspects of the development process (e.g., capturing, methodologies, modeling, analysis, testing, and implementation), the chosen system technologies (e.g., computation and communication models, interfaces, component-based design, programming languages, dependability, and design patterns) and the system itself (e.g., operating system, middleware, network protocols, and application frameworks). In many systems, flexibility and the resulting tradeoffs is usually ignored until a very late stage. Many try to retrofit existing prototypes, middleware, operating systems, and protocols with concepts and means for flexibility such as run-time system reconfiguration or reflexive diagnostics and steering methods. Such retrofitting typically leads to disproportionate overhead, unusual tradeoffs, and in general it leads to less satisfactory results. The purpose of the workshop is to discuss new and on-going research that is centered on the idea of adaptability as first class citizen and consider the involved tradeoffs. The workshop will provide an open forum to discuss ideas and approaches, and intends to give the attendees a chance to discuss them in a relaxed environment. The target audience includes people from academia, tool vendors, system suppliers, and users in industry interested in the all aspects of the mentioned topics. The workshop will be based on presentations of selected works with sufficient time for feedback from the audience and discussions. We encourage all the prospective participants to submit short papers, workin-progress reports, or position papers. Topics - Capturing and modeling of flexible application and reconfiguration requirements - Tradeoff analysis and modeling - Programming-language support for adaptability - Middleware support for adaptability - Operating system support for adaptability - Computation and communication models for adaptability - Policies and algorithms for single and multi-resource reconfiguration - Verification and certification of reconfigurable systems - Case studies and success stories - Taxonomies and comparative studies - Diagnostic and steering of embedded systems - System architecture and design patterns for adaptability - Probabilistic reconfiguration techniques - Scalability, reusability, and modularity of reconfiguration mechanisms - Dependability and adaptability across the architectural levels - Quality of service management - Application frameworks for reconfigurable embedded systems Submission Guidelines Prospective participants should submit a 4 page paper in PDF format. The submissions should conform to the proceedings publication format (IEEE Conference style). They should explain the intention of the work, the prospective results, and make clear the current status of the work. The submissions will be reviewed by at least three members of the Program Committee. The papers will be published in a supplemental volume of the RTAS Proceedings that will be distributed at the workshop to all participants. They will also be published on- line, in the web page of the workshop. Important Dates Deadline: Feb. 1, 2008 Notification: March 5, 2008 Final versions: March 24, 2008 Workshop: April 21, 2008 Organizers Luis Almeida, Univ. of Aveiro, Portugal Sebastian Fischmeister, Univ. of Pennsylvania, USA Insup Lee, Univ. of Pennsylvania, USA Julian Proenza, Univ. of the Balearic Islands, Spain Program Committee Anton Cervin, Lund University, Sweden Antonio Casimiro, University of Lisbon, Portugal Arnaldo Oliveira, University of Aveiro, Portugal Carlos Eduardo Pereira, UFRG, Brazil Chang-Gun Lee, Seoul National University, Korea Christoph Kirsch, University of Salzburg, Austria Eric Rutten, INRIA Grenoble, France Jane Liu, Academia Sinica, Taiwan Jean-Dominique Decotignie, CSEM, Switzerland Jorg Kaiser, University of Magdeburg, Germany Joseph Sifakis, VERIMAG, Grenoble, France Lucia Lo Bello, University of Catania, Italy Marco Caccamo, University of Illinois UC, USA Marga Marcos, University of the Basque Country, Spain Marisol Garcia-Valls, Univ. Carlos III in Madrid, Spain MoonZoo Kim, KAIST, Korea Neil Audsley, University of York, UK Pau Marti, Technical University of Catalonia, Spain Paulo Pedreiras, University of Aveiro, Portugal Raj Rajkumar, Carnegie Mellon University, USA Robert Trausmuth, Univ. of Applied Sciences WN, Austria Roman Obermaisser, Technical University Vienna, Austria Stefan Petters, NICTA, Australia Thomas Nolte, Malardalen University, Sweden Xue Liu, McGill University, Canada -------------- next part -------------- An HTML attachment was scrubbed... URL: http://lists.seas.upenn.edu/pipermail/types-announce/attachments/20080115/c6825087/attachment.htm From txa at Cs.Nott.AC.UK Wed Jan 16 17:49:47 2008 From: txa at Cs.Nott.AC.UK (Thorsten Altenkirch) Date: Wed, 16 Jan 2008 22:49:47 +0000 Subject: [TYPES/announce] Small Workshop: DEPENDENTLY TYPED PROGRAMMING Message-ID: <7BE443C9-9559-48BB-915F-4E648DF81D2C@cs.nott.ac.uk> Hi everybody, it is now possible to register for the small workshop on Dependently Typed Programming in Nottingham - see http://sneezy.cs.nott.ac.uk/ darcs/DTP08/ The workshop is taking place 18-20 February in Nottingham at the NCSL conference centre. This is on campus but much nicer than the usual student accomodation! We have two invited speakers: Lennart Augustsson and Xavier Leroy. For more details see the webpage: http://sneezy.cs.nott.ac.uk/darcs/ DTP08/ Please register soon, there is a limit of accomodation at NCSL - we will have to confirm our reservation Monday, 21/1/07. Cheers, Thorsten ------------------------------------------------------------------------ --------------------------------------------------- REGISTRATION FORM FOR "Dependently Typed Programming 08" Name : Affiliation : I would like to give a talk / I would not like to give a talk. If you would like to give a talk: Long Talk (ca 30 minutes) / Short talk (ca 10 minutes) Title : Abstract: Nights at NCSL : 17-18, 18-19, 19-20 Payment : ?125 x nights + ?50 (including meals and accomodation) Default: ?425 *If you want to stay additional nights please let us know, we will try to book them* *If you prefer to use alternative accomodation, you will have to pay the rate for day delegates: ?50/day + ? 50* ? 50 x day + ? 50 (including meals but without accomodation) PAYMENT You can either pay - by credit card Fill out the form below and either send it to dtpnott08 at cs.nott.ac.uk by email OR fax it to F:+44 (0) 115 951 4254 (Attn: Elizabeth Clunie) This message has been checked for viruses but the contents of an attachment may still contain software viruses, which could damage your computer system: you are advised to perform your own checks. Email communications with the University of Nottingham may be monitored as permitted by UK legislation. -------------- next part -------------- A non-text attachment was scrubbed... Name: card-payment-form.doc Type: application/msword Size: 52224 bytes Desc: not available Url : http://lists.seas.upenn.edu/pipermail/types-announce/attachments/20080116/e013d3ed/card-payment-form.doc -------------- next part -------------- - by bank transfer Bank Name : NatWest Bank Address : University Park, Nottingham NG7 2AG, UK Branch Sort Code : 60-15-49 Branch Swift : NWBKGB2L IBAN Number : GB42NWBK6015 4988 9700 00 Bank Account Number : 88970000 Bank Account Name : University of Nottingham VAT Number : 690 3912 25 Reference :DTP-08 (Please let us know by email that you have authorized the bank transfer). From katoen at cs.rwth-aachen.de Fri Jan 18 03:19:41 2008 From: katoen at cs.rwth-aachen.de (Joost-Pieter Katoen) Date: Fri, 18 Jan 2008 09:19:41 +0100 Subject: [TYPES/announce] Call for Satellite Events ETAPS'09 Message-ID: <4790611D.6050403@cs.rwth-aachen.de> ETAPS 2009 Call for Proposals for Satellite Events Extension York, 2009 We have had a small number of people telling us they were not aware of the closing date for proposals for satellite workshops and tutorials at ETAPS 2009 (to be held in York, England). Because of this we are prepared to accept proposals until 2008 Jan 30. Full details are on the web site: http://www.cs.york.ac.uk/etaps09/ +---------------------------------------------------------------+ | Joost-Pieter Katoen email: my_last_name[at]cs.rwth-aachen.de | | RWTH Aachen URL: www-i2.cs.rwth-aachen.de/~katoen | | LS2: Software Modeling and Verification tel: +49 241 8021200 | | D-52056 Aachen, Germany fax: +49-241 8022217 | +---------------------------------------------------------------+ From bernhard at sussex.ac.uk Fri Jan 18 03:34:05 2008 From: bernhard at sussex.ac.uk (Bernhard Reus) Date: Fri, 18 Jan 2008 08:34:05 +0000 Subject: [TYPES/announce] Workshop DOMAINS IX Message-ID: <9FC32FBC-6BD5-43EC-9820-2A508A8AFC59@sussex.ac.uk> W o r k s h o p A n n o u n c e m e n t D O M A I N S IX http://www.informatics.sussex.ac.uk/events/domains9/ University of Sussex, Brighton, 22-24 September 2008 INTRODUCTION The Workshop on Domains is aimed at computer scientists and mathematicians alike who share an interest in the mathematical foundations of computation. The workshop will focus on domains, their applications and related topics. Previous meetings were held in Darmstadt (94,99,04), Braunschweig (96), Munich (97), Siegen (98), Birmingham (02) and Novosibirsk (07). FORMAT The emphasis is on the exchange of ideas between participants similar in style to Dagstuhl seminars. In particular, talks on subjects presented at other conferences and workshops are acceptable. INVITED SPEAKERS (confirmed) Jean Goubault-Larrecq LSV/ENS Cachan & CNRS Martin Hyland Cambridge University John Longley University of Edinburgh Andrew Pitts Cambridge University More invited speakers to be announced soon! SCOPE Domain theory has had applications to programming language semantics and logics (lambda-calculus, PCF, LCF), recursion theory (Kleene-Kreisel countable functionals), general topology (injective spaces, function spaces, locally compact spaces, Stone duality), topological algebra (compact Hausdorff semilattices) and analysis (measure, integration, dynamical systems). Moreover, these applications are related - for example, Stone duality gives rise to a logic of observable properties of computational processes. As such, domain theory is highly interdisciplinary. Topics of interaction with domain theory for this workshop include, but are not limited to: program semantics program logics probabilistic computation exact computation over the real numbers lambda calculus games models of sequential computation constructive mathematics recursion theory realizability real analysis and computability topology, metric spaces and domains locale theory category theory topos theory type theory SUBMISSION OF ABSTRACTS One-page abstracts need to be submitted to domains9 at sussex.ac.uk Shortly after an abstract is submitted (usually two or three weeks), the authors will be notified by the programme committee. The criterion for acceptance is relevance to the meeting. In particular, talks on subjects presented at other conferences and workshops are acceptable. DEADLINE Abstracts will be dealt with on a first-come/first-served basis. We expect potential speakers to express the intention to give a talk by the end of June. REGISTRATION Further details about the local arrangements will be provided soon. ACCOMMODATION The workshop will be held at the University of Sussex at Falmer, Brighton (UK). Newly built halls of residence will be available to workshop participants. Further information on travel, accommodation and places of local interest will be announced closer to the workshop. PROGRAMME COMMITTEE Martin Escardo University of Birmingham Achim Jung University of Birmingham (Co-Chair) Klaus Keimel TU Darmstadt (Co-Chair) Bernhard Reus University of Sussex (Co-Chair) Thomas Streicher TU Darmstadt ORGANIZATION COMMITTEE Bernhard Reus University of Sussex PUBLICATION We plan to publish proceedings of the workshop in a special volume of a journal. There will be a call for papers after the workshop. The papers will be refereed according to normal publication standards. URL http://www.informatics.sussex.ac.uk/events/domains9/ -------------- next part -------------- An HTML attachment was scrubbed... URL: http://lists.seas.upenn.edu/pipermail/types-announce/attachments/20080118/292d2e1f/attachment.htm From luca at ru.is Fri Jan 18 08:32:05 2008 From: luca at ru.is (Luca Aceto) Date: Fri, 18 Jan 2008 13:32:05 -0000 Subject: [TYPES/announce] ICALP 2008: Last Call for Papers Message-ID: <07D05A69A3D0C14FAEA60C3ACE8E55640BDDF929@nike.hir.is> *** We apologize for multiple postings *** ___________________________________________________________________ FINAL CALL FOR PAPERS - ICALP'08 35th International Colloquium on Automata, Languages and Programming July 6-13, 2008, Reykjavik, Iceland http://www.ru.is/icalp08 ___________________________________________________________________ The 35th International Colloquium on Automata, Languages and Programming, the main conference and annual meeting of the European Association for Theoretical Computer Science EATCS will take place from the 6th to the 13th of July 2008 in Reykjavik, Iceland. The main conference will take place from the 7th till the 11th of July, and will be preceded and followed by 13 co-located events. (See http://www.ru.is/icalp08/workshops.html for the list of events affiliated with ICALP 2008.) In addition, the ETACS award 2008 and the Goedel prize 2008 will be awarded at the conference. Following the successful experience of the last three editions, ICALP 2008 will complement the established structure of the scientific program based on Track A on Algorithms, Automata, Complexity and Games, and Track B on Logic, Semantics, and Theory of Programming, corresponding to the two main streams of the journal Theoretical Computer Science, with a special Track C on Security and Cryptography Foundations The aim of Track C is to allow a deeper coverage of a particular topic, to be specifically selected for each year's edition of ICALP on the basis of its timeliness and relevance for the theoretical computer science community. Papers presenting original research on all aspects of theoretical computer science are sought. Typical but not exclusive topics of interest are: Track A - Algorithms, Automata, Complexity and Games: * Algorithmic Aspects of Networks * Algorithmic Game Theory * Approximation Algorithms * Automata Theory * Combinatorics in Computer Science * Computational Biology * Computational Complexity * Computational Geometry * Data Structures * Design and Analysis of Algorithms * Internet Algorithmics * Machine Learning * Parallel, Distributed and External Memory Computing * Randomness in Computation * Quantum Computing Track B - Logic, Semantics, and Theory of Programming: * Algebraic and Categorical Models * Automata and Formal Languages * Emerging and Non-standard Models of Computation * Databases, Semi-Structured Data and Finite Model Theory * Principles of Programming Languages * Logics, Formal Methods and Model Checking * Models of Concurrent, Distributed, and Mobile Systems * Models of Reactive, Hybrid and Stochastic Systems * Program Analysis and Transformation * Specification, Refinement and Verification * Type Systems and Theory, Typed Calculi Track C - Security and Cryptography Foundations: * Cryptographic Notions, Mechanisms, Systems and Protocols * Cryptographic Proof Techniques, Lower bounds, Impossibilities * Foundations of Secure Systems and Architectures * Logic and Semantics of Security Protocols * Number Theory and Algebraic Algorithms (Primarily in Cryptography) * Pseudorandomness, Randomness, and Complexity Issues * Secure Data Structures, Storage, Databases and Content * Security Modeling: Combinatorics, Graphs, Games, Economics * Specifications, Verifications and Secure Programming * Theory of Privacy and Anonymity * Theory of Security in Networks and Distributed Computing * Quantum Cryptography and Information Theory SUBMISSION GUIDELINES Authors are invited to submit an extended abstract of no more than 12 pages in LNCS style presenting original research on the theory of Computer Science. Submissions should indicate to which track (A, B, or C) the paper is submitted. No simultaneous submission to other publication outlets (either a conference or a journal) is allowed. The proceedings will be published in the Lecture Notes in Computer Science Series by Springer-Verlag. It is recommended that submissions adhere to the specified format and length. Submissions that are clearly too long may be rejected immediately. Additional material intended for the referee but not for publication in the final version - for example details of proofs - may be placed in a clearly marked appendix that is not included in the page limit. All submissions to ICALP, including those to track C, should include authors' names and affiliations. Submissions to ICALP 2008 are now open. To submit a paper to the conference, please visit the URL http://www.ru.is/icalp08/submissions.html. INVITED SPEAKERS (Preliminary list) * Ran Canetti (IBM T.J. Watson Research Center and MIT, USA) * Bruno Courcelle (Labri, Universite Bordeaux, France) * Javier Esparza (Technische Universitaet Muenchen, Germany) * Muthu Muthukrishnan (Google, USA) * Peter Winkler (Dartmouth, USA) IMPORTANT DATES * Submission: 23:59 GMT, February 10, 2008. * Notification: April 9, 2008 * Final version due: April 30, 2008 PROGRAM COMMITTEE Track A * Michael Bender (State Univ of New York at Stony Brook, USA) * Magnus Bordewich (Durham University, UK) * Peter Bro Miltersen (Aarhus University, Denmark) * Lenore Cowen (Tufts University, USA) * Pierluigi Crescenzi (Universita' di Firenze, Italy) * Artur Czumaj (University of Warwick, UK) * Edith Elkind (University of Southampton, UK) * David Eppstein (University of California at Irvine, USA) * Leslie Ann Goldberg (University of Liverpool, UK) (chair) * Martin Grohe (Humboldt-Universitaet zu Berlin, Germany) * Giuseppe Italiano (Universita' di Roma "Tor Vergata", Italy) * Christos Kaklamanis (University of Patras, Greece) * Michael Mitzenmacher (Harvard University, USA) * Ian Munro (University of Waterloo, Canada) * Ryan O'Donnell (Carnegie Mellon University, USA) * Dana Ron (Tel-Aviv University, Israel) * Tim Roughgarden (Stanford University, US) * Christian Scheideler (Technische Universitaet Muenchen, Germany) * Christian Sohler (University of Paderborn, Germany) * Luca Trevisan (University of California at Berkeley, USA) * Berthold Vocking (RWTH Aachen University, Germany) * Gerhard Woeginger (Eindhoven University of Technology, the Netherlands) Track B * Parosh Abdulla (Uppsala University, Sweden) * Luca de Alfaro (University of California, Santa Cruz, USA * Christel Baier (Technische Universitaet Dresden, Germany) * Giuseppe Castagna (Universite Paris 7, France) * Rocco de Nicola (Universita' di Firenze, Italy) * Javier Esparza (Technische Universitaet Muenchen, Germany) * Marcelo Fiore (University of Cambridge, UK) * Erich Graedel (RWTH Aachen, Germany) * Jason Hickey (California Institute of Technology, USA) * Martin Hofmann (Ludwig-Maximilians-Universitdt M|nchen, Germany) * Hendrik Jan Hoogeboom (Leiden University, NL) * Radha Jagadeesen (DePaul University, USA) * Madhavan Mukund (Chennai Mathematical Institute, India) * Luke Ong (Oxford University, UK) * Dave Schmidt (Kansas State University, USA) * Philippe Schnoebelen (ENS Cachan, France) * Igor Walukiewicz (Labri, Universite Bordeaux, France) (chair) * Mihalis Yannakakis (Columbia University, USA) * Wieslaw Zielonka (Universite Paris 7, France) Track C * Christian Cachin (IBM Research Zurich, CH) * Jan Camenisch (IBM Research Zurich, CH) * Ivan Damgaard, (Aarhus University, Denmark) (chair) * Stefan Dziembowski ((Universita' di Roma "La Sapienza", Italy) * Dennis Hofheinz (CWI Amsterdam, the Netherlands) * Susan Hohenberger (Johns Hopkins University, USA) * Yuval Ishai (Technion Haifa, Israel) * Lars Knudsen (DTU Copenhagen, Denmark) * Arjen Lenstra (EPFL Lausanne, CH) * Anna Lysyanskaya (Brown University, USA) * Rafael Pass (Cornell University, USA) * David Pointcheval (ENS Paris, France) * Dominique Unruh (Saarland University, Germany) * Serge Vaudenay (EPFL Lausanne, CH) * Bogdan Warinschi (Bristol University, UK) * Douglas Wikstroem (KTH Stockholm, Sweden) * Stefan Wolf (ETH Zurich, CH) ORGANIZING COMMITTEE: ********************* Luca Aceto Magnus M. Halldorsson Anna Ingolfsdottir CONTACT ADDRESSES: ****************** Email: icalp08 at ru.is For further information see: http://www.ru.is/icalp08/ From ruy at cin.ufpe.br Fri Jan 18 09:04:17 2008 From: ruy at cin.ufpe.br (ruy@cin.ufpe.br) Date: Fri, 18 Jan 2008 12:04:17 -0200 (BRST) Subject: [TYPES/announce] WoLLIC 2008 - Call for Papers Message-ID: <1490.172.17.149.28.1200665057.squirrel@webmail.cin.ufpe.br> [** sincere apologies for duplicates **] Call for Papers 15th Workshop on Logic, Language, Information and Computation (WoLLIC 2008) Edinburgh, Scotland July 1-4, 2008 (There will be a screening of George Csicsery's "Julia Robinson and Hilbert's Tenth Problem" http://zalafilms.com/films/juliarobinson.html with kind permission of the film director) WoLLIC is an annual international forum on inter-disciplinary research involving formal logic, computing and programming theory, and natural language and reasoning. Each meeting includes invited talks and tutorials as well as contributed papers. The Fifteenth WoLLIC will be held in Edinburgh, Scotland, from July 1 to July 4, 2008. It is sponsored by the Association for Symbolic Logic (ASL), the Interest Group in Pure and Applied Logics (IGPL), the European Association for Logic, Language and Information (FoLLI), the European Association for Theoretical Computer Science (EATCS), the Sociedade Brasileira de Computacao (SBC), and the Sociedade Brasileira de Logica (SBL). PAPER SUBMISSION Contributions are invited on all pertinent subjects, with particular interest in cross-disciplinary topics. Typical but not exclusive areas of interest are: foundations of computing and programming; novel computation models and paradigms; broad notions of proof and belief; formal methods in software and hardware development; logical approach to natural language and reasoning; logics of programs, actions and resources; foundational aspects of information organization, search, flow, sharing, and protection. Proposed contributions should be in English, and consist of a scholarly exposition accessible to the non-specialist, including motivation, background, and comparison with related works. They must not exceed 10 pages (in font 10 or higher), with up to 5 additional pages for references and technical appendices. The paper's main results must not be published or submitted for publication in refereed venues, including journals and other scientific meetings. It is expected that each accepted paper be presented at the meeting by one of its authors. Papers must be submitted electronically at www.cin.ufpe.br/~wollic/wollic2008/instructions.html A title and single-paragraph abstract should be submitted by February 24, and the full paper by March 2 (firm date). Notifications are expected by April 13, and final papers for the proceedings will be due by April 27 (firm date). PROCEEDINGS The proceedings of WoLLIC 2008, including both invited and contributed papers, will be published in advance of the meeting as a volume in Springer's Lecture Notes in Computer Science (tbc). In addition, abstracts will be published in the Conference Report section of the Logic Journal of the IGPL, and selected contributions will be published as a special post-conference WoLLIC 2008 issue of the Journal of Logic and Computation (tbc). INVITED SPEAKERS Olivier Danvy (BRICS) Anuj Dawar (Cambridge, UK) Makoto Kanazawa (Nat Inst of Informatics, Japan) Sam Lomonaco (U Maryland Baltimore) Mark Steedman (Edinburgh U) Henry Towsner (CMU) Nikolay Vereshchagin (Moscow) STUDENT GRANTS ASL sponsorship of WoLLIC 2008 will permit ASL student members to apply for a modest travel grant (deadline: April 1, 2008). See www.aslonline.org/studenttravelawards.html for details. IMPORTANT DATES February 24, 2008: Paper title and abstract deadline March 2, 2008: Full paper deadline (firm) April 13, 2008: Author notification April 27, 2008: Final version deadline (firm) PROGRAM COMMITTEE Lev Beklemishev (Utrecht) Eli Ben-Sasson (Technion) Xavier Caicedo (U Los Andes, Colombia) Mary Dalrymple (Oxford) Martin Escardo (Birmingham) Wilfrid Hodges (Queen Mary, U London) (Chair) Achim Jung (Birmingham) Louis Kauffman (Maths, U Ill at Chicago) Ulrich Kohlenbach (Darmstadt) Leonid Libkin (Edinburgh U) Giuseppe Longo (Ecole Normal Superieure, Paris) Michael Moortgat (Utrecht) Valeria de Paiva (PARC, USA) Andre Scedrov (Maths, U Penn) Valentin Shehtman (Inst for Information Transmission Problems, Moscow) Joe Wells (Heriot-Watt U, Scotland) ORGANISING COMMITTEE Mauricio Ayala-Rincon (U Brasilia, Brazil) Fairouz Kamareddine (Heriot-Watt U, Scotland, co-chair) Anjolina de Oliveira (U Fed Pernambuco, Brazil) Ruy de Queiroz (U Fed Pernambuco, Brazil, co-chair) STEERING COMMITTEE J. van Benthem, J. Halpern, W. Hodges, D. Leivant, A. Macintyre, G. Mints, R. de Queiroz WEB PAGE www.cin.ufpe.br/~wollic/wollic2008/ --- From daniel.lohmann at informatik.uni-erlangen.de Fri Jan 18 07:01:19 2008 From: daniel.lohmann at informatik.uni-erlangen.de (Daniel Lohmann) Date: Fri, 18 Jan 2008 13:01:19 +0100 Subject: [TYPES/announce] Deadline Extension: ACP4IS at AOSD 2008 Message-ID: Due to several requests, the deadline has been extended by one week. The new submission deadline is Friday, 25th of January. Take your chance to submit for this great workshop :-) ******************************************************************** Seventh AOSD Workshop on Aspects, Components, and Patterns for Infrastructure Software (ACP4IS) March 31, 2008 Brussels, Belgium http://aosd.net/workshops/acp4is/2008 A one-day workshop to be held in conjunction with the Seventh International Conference on Aspect-Oriented Software Development (AOSD'08), March 31 - April 4, 2008, Brussels, Belgium http://aosd.net/conference ******************************************************************** DESCRIPTION ACP4IS provides a highly interactive forum for researchers and developers to discuss the application of and relationships between aspects, components, and patterns within modern "systems infrastructure" software: e.g., application servers, middleware, virtual machines, compilers, operating systems, embedded systems, web services and other software that provides general services for higher-level applications. Topics of interest include: - Approaches that combine or relate component-, pattern-, and aspect-based techniques - Aspect languages for infrastructure software - Container-, ORB-, and system-based separation of concerns - Support for Web services in middleware infrastructure - Architectural techniques for particular system concerns, e.g., security, static and dynamic optimization - Aspect mining within infrastructure software - Application- or domain-specific optimization of systems - Reasoning and optimization across architecture layers - Resource consumption of AOP approaches - Timing behavior of AO-code - Aspects and patterns for real-time and embedded systems - Dimensions of infrastructure software quality including comprehensibility, configurability, reliability, evolvability, scalability - Quantitative and qualitative evaluations ELECTRONIC SUBMISSION Invitation to the workshop will be based on accepted position and technical papers, 3-6 pages in length. Papers should be electronically submitted as PDF documents in ACM format through the ACP4IS 2008 online submission system found at: http://www.easychair.org/conferences/?conf=acp4is08. Paper submissions will be reviewed by the workshop program committee and designated reviewers. Papers will be evaluated based on technical quality, originality,relevance, and presentation. PUBLICATION OF PAPERS Accepted papers will be published as workshop proceedings in the ACM digital library. Excellent contributions will additionally be selected for publication in a special ACP4IS journal issue (IEE) planned for end of 2008. IMPORTANT DATES - Submission Deadline: January 25, 2008 (extended) - Notification of Acceptance: February 15, 2008 (extended) - Workshop: March 31, 2008 PROGRAM COMMITTEE - Julia Lawall, DIKU - Gilles Muller, Ecole des Mines de Nantes - Olaf Spinczyk, University of Dortmund - Aleksandra Tesanovic, Philips Research Laboratories - Charles Zhang, Hong Kong University of Science and Technology - Hidehiko Masuhara, University of Tokyo - Jeff Gray, University of Alabama at Birmingham - Bram Adams, Ghent University - Michael Haupt, Hasso-Plattner-Institut, University of Potsdam - Shigeru Chiba, Tokyo Institute of Technology - Eddy Truyen, KU Leuven - Robert Grimm, NYU - Hridesh Rajan, Iowa State University ORGANIZERS - Celina Gibbs, University of Victoria, Canada - Daniel Lohmann, FAU Erlangen-Nuernberg, Germany - Eric Wohlstadter, University of British Columbia, Canada STEERING COMMITEE - Eric Eide, University of Utah - Olaf Spinczyk, University of Dortmund - Yvonne Coady, University of Victoria - David Lorenz, University of Virginia From E.Ritter at cs.bham.ac.uk Fri Jan 18 10:11:47 2008 From: E.Ritter at cs.bham.ac.uk (Eike Ritter) Date: Fri, 18 Jan 2008 15:11:47 +0000 Subject: [TYPES/announce] Midlands Graduate School 2008 Message-ID: <4790C1B3.4050906@cs.bham.ac.uk> Call for Participation Midlands Graduate School in Computer Science 14-18 April 2008 School of Computer Science, University of Birmingham The Midlands Graduate School (MGS) in the Foundations of Computing Science provides an intensive course of lectures on the Mathematical Foundations of Computing. It has run annually since 1999, and is hosted by the Universites of Birmingham, Leicester, and Nottingham in rotation. The lectures are aimed at PhD students, typically in their first or second year of study. However, the school is open to anyone who is interested in learning more about the mathematical foundations of computing, and all such participants are warmly welcomed. We also very much welcome students from abroad. We gratefully acknowledge financial support by ESPRC. The following courses will be offered: Basic Courses: Category Theory (Neil Ghani, University of Nottingham) Operational Semantics (Roy Crole, University of Leicester) Typed Lambda Calculus (Paul Levy, University of Birmingham) Advanced Courses: The Mathematical Structure of Information Flow, in Physics, Geometry, Logic and Computation. (Samson Abramsky, University of Oxford) Coq (Thorsten Altenkirch, University of Nottingham) Denotational Semantics (Martin Escardo, University of Birmingham) Games for Software Verification (Dan Ghica, University of Birmingham) Proof Theory (Peter Hancock, University of Nottingham) Algebraic Methods (Georg Struth, University of Sheffield) LOCATION The school will be held in the School of Computer Science, University of Birmingham. Birmingham is centrally located in the UK, and is easily reachable by road, rail and air (Birmingham International Airport). REGISTRATION The deadline for registration is 8 March 2008, and the registration fee is 350 UK pounds, including accomodation. We also have a number of free places for UK-based PhD students. The deadline for applying for these free places is 15 February 2008. The number of places is limited, so early registration is advised. FURTHER DETAILS Google search - MGS 2008 Web page - http://events.cs.bham.ac.uk/mgs2008 -- ------------------------------------ Dr Eike Ritter Tel.: (+44) 121 41 44772 School of Computer Science Sec.: (+44) 121 41 43711 The University of Birmingham Fax.: (+44) 121 41 44281 Edgbaston Email: E.Ritter at cs.bham.ac.uk BIRMINGHAM, B15 2TT Web: http://www.cs.bham.ac.uk England ------------------------------------ From Bob.Coecke at comlab.ox.ac.uk Fri Jan 18 11:42:46 2008 From: Bob.Coecke at comlab.ox.ac.uk (Bob Coecke) Date: Fri, 18 Jan 2008 16:42:46 +0000 (GMT) Subject: [TYPES/announce] Call for contributions: QUANTUM PHYSICS AND LOGIC (QPL'08) & DEVELOPMENTS IN COMPUTATIONAL MODELS (DCM'08) Message-ID: ANNOUNCEMENT/CALL FOR CONTRIBUTIONS: --------------------------------------- Joint International Workshop on: QUANTUM PHYSICS AND LOGIC (QPL'08) DEVELOPMENTS IN COMPUTATIONAL MODELS (DCM'08) July 12-13, 2008, Reykjavik, Iceland. http://web.comlab.ox.ac.uk/oucl/work/bob.coecke/DCM_QPL_08.html --------------------------------------- This to ICALP 2008 affiliated joint event combines two (established) workshop series: QUANTUM PHYSICS AND LOGIC (QPL'08): This event has as its goal to bring together researchers working on mathematical foundations of quantum computing and the use of logical tools, new structures, formal languages, semantical methods and other computer science methods for the study quantum behaviour in general. Over the past couple of years there has been a growing activity in these foundational approaches together with a renewed interest in the foundations of quantum theory, which complement the more mainstream research in quantum computation. A predecessor of this event, with the same acronym, called Quantum Programming Languages, was held in Ottawa (2003), Turku (2004), Chicago (2005) and Oxford (2006); with the change of name and a new program committee we wish to emphasise the intended much broader scope of this event, aiming to nourish interaction between modern computer science logic, quantum computation and information, and structural foundations for quantum physics. DEVELOPMENTS IN COMPUTATIONAL MODELS (DCM'08): Besides quantum computing, several new models of computation have emerged in the last few years, and many developments of traditional computational models have been proposed with the aim of taking into account the new demands of computer systems users and the new capabilities of computation engines. A new computational model, or a new feature in a traditional one, usually is reflected in new structural paradigms. The aim of this workshop is to bring together researchers who are currently developing new computational models or new features for traditional computational models, in order to foster their interaction, to provide a forum for presenting new ideas and work in progress, and to enable newcomers to learn about current activities in this area. Previous editions in 2005, 2006 and 2007 were also affiliated to ICALP. Invited speakers: Terry Rudolph (Imperial College London) TBA Programme Committee: Howard Barnum (Los Alamos) Dan Browne (University College London) Bob Coecke (Oxford) Co-Chair Vincent Danos (Paris VII) Andreas Doering (Imperial College London) Annick Lesne (IHS Paris) Ian Mackie (Sussex) Prakash Panangaden (McGill) Co-Chair Jon Yard (Los Alamos) Dates: - Submission deadline: March 31 - Acceptance/rejection notification: April 21 - Pre-proceedings versions due: June 15 - Workshop: July 12-13 2007 Submission format: Prospective speakers are invited to submit a 2-5 pages abstract which provides sufficient evidence of results of genuine interest and provides sufficient detail to allows the program committee to assess the merits of the work. Submissions of works in progress are encouraged but must be more substantial than a research proposal. We both encourage submissions of original research as well as research submitted elsewhere. Authors of accepted original research contributions will be invited to submit a full paper to a special issue of a journal yet to be decided on. Submissions should be in Postscript or PDF format and should be sent to Bob Coecke by March 15. Receipt of all submissions will be acknowledged by return email. Accepted contributors will be able to publish extended versions of their abstracts in Electronic Notes in Theoretical Computer Science. Financial support. The workshop enjoys support from: EPSRC Network Semantics of Quantum Computation (EP/E006833/1) EPSRC ARF The Structure of Quantum Information and its Applications to IT (EP/D072786/1) From R.E.Jones at kent.ac.uk Fri Jan 18 13:29:33 2008 From: R.E.Jones at kent.ac.uk (R.E.Jones) Date: Fri, 18 Jan 2008 18:29:33 +0000 Subject: [TYPES/announce] ISMM 2008: Call for papers deadline extended Message-ID: International Symposium on Memory Management 2008 http://www.cs.kent.ac.uk/~rej/ismm2008 Call for Papers DEADLINE EXTENDED Abstracts: 16 January 2008 (5pm PST) Full papers: 23 January 2008 (5pm PST) PLDI authors: Authors who have already submitted a paper to PLDI'08 are encouraged to submit the abstract to ISMM as well. However, if the paper is accepted by PLDI, then the abstract should be withdrawn and no full paper submitted. From R.E.Jones at kent.ac.uk Fri Jan 18 14:09:54 2008 From: R.E.Jones at kent.ac.uk (R.E.Jones) Date: Fri, 18 Jan 2008 19:09:54 +0000 Subject: [TYPES/announce] ISMM 2008: Call for papers deadline extended (CORRECTED) Message-ID: [Apologies for previous mail which still had the old dates] International Symposium on Memory Management 2008 http://www.cs.kent.ac.uk/~rej/ismm2008 Call for Papers DEADLINE EXTENDED Abstracts: 3 February 2008 (5pm PST) Full papers: 10 February 2008 (5pm PST) PLDI authors: Authors who have already submitted a paper to PLDI'08 are encouraged to submit the abstract to ISMM as well. However, if the paper is accepted by PLDI, then the abstract should be withdrawn and no full paper submitted. From icfp.publicity at googlemail.com Mon Jan 21 10:54:25 2008 From: icfp.publicity at googlemail.com (Matthew Fluet (ICFP Publicity Chair)) Date: Mon, 21 Jan 2008 09:54:25 -0600 Subject: [TYPES/announce] ICFP2008 Call for Papers Message-ID: <53ff55480801210754r5cf5300ct576aaf946be17b38@mail.gmail.com> Call for Papers ICFP 2008: International Conference on Functional Programming Victoria, BC, Canada, 22-24 September 2008 http://www.icfpconference.org/icfp2008 Submission deadline: 2 April 2008 ICFP 2008 seeks original papers on the art and science of functional programming. Submissions are invited on all topics from principles to practice, from foundations to features, from abstraction to application. The scope includes all languages that encourage functional programming, including both purely applicative and imperative languages, as well as languages with objects and concurrency. Particular topics of interest include * Applications and Domain-Specific Languages: systems programming; scientific and numerical computing; symbolic computing; artificial intelligence; databases; graphical user interfaces; multimedia programming; scripting; system administration; distributed-systems and web programming; XML processing; security * Foundations: formal semantics; lambda calculus; type theory; monads; continuations; control; state; effects * Design: algorithms and data structures; modules; type systems; concurrency and distribution; components and composition; relations to object-oriented or logic programming * Implementation: abstract machines; compile-time and run-time optimization; just-in-time compilers; memory management; parallel hardware; interfaces to foreign functions, services, components or low-level machine resources * Transformation and Analysis: abstract interpretation; partial evaluation; program transformation * Software-development Techniques: design patterns; specification; verification; validation; debugging; test generation; tracing; profiling * Functional Pearls: elegant, instructive, and fun essays on functional programming * Practice and Experience: novel results drawn from experience in education or industry. Experience Reports are also solicited, which are short papers (2-4 pages) that provide evidence that functional programming really works or describe obstacles that have kept it from working in a particular application. Functional Pearls and Experience Reports are separate categories of papers that need not report original research results and must be marked as such at the time of submission. Detailed guidelines on both categories are below. What's different this year? ~~~~~~~~~~~~~~~~~~~~~~~~~~~ * No double blind reviewing. Instructions for authors ~~~~~~~~~~~~~~~~~~~~~~~~ By Wednesday, 2 April 2008, 09:00 AM Apia time, submit an abstract of at most 300 words and a full paper of at most 12 pages (4 pages for an Experience Report), including bibliography and figures. The deadline will be strictly enforced and papers not meeting the page limits are summarily rejected. Authors have the option to attach supplementary material to a submission, on the understanding that reviewers are not expected to read it. A submission will be evaluated according to its relevance, correctness, significance, originality, and clarity. It should explain its contributions in both general and technical terms, clearly identifying what has been accomplished, explaining why it is significant, and comparing it with previous work. The technical content should be accessible to a broad audience. Each submission must adhere to SIGPLAN's republication policy, as explained on the web. Violation risks summary rejection of the offending submission. Proceedings will be published by ACM Press. Authors of accepted submissions are expected to transfer the copyright to ACM. They may have the option to have their presentation videotaped and published along with the conference proceedings in the ACM Digital Library. Video recordings will only be released at the consent of the presenter, which is expressed by signing an additional copyright release/permission form. Formatting ~~~~~~~~~~ Submissions must be in PDF format printable in black and white on US Letter sized paper and interpretable by Ghostscript. If this requirement is a hardship, make contact with the program chair at least one week before the deadline. ICFP proceedings are printed in black and white. It is permissible to include color in a submission, but you risk annoying reviewers who will have to decide if your final paper will be understandable without it. Papers must adhere to the standard ACM conference format: two columns, nine-point font on a ten-point baseline, with columns 20pc (3.33in) wide and 54pc (9in) tall, with a column gutter of 2pc (0.33in). A suitable document template for LaTeX is available from SIGPLAN. Submission ~~~~~~~~~~ Submissions will be accepted electronically; the submission page is not yet ready. The deadline is set at Samoan time, so if your submission is in by 09:00 AM Wednesday according to your local time, wherever you are, the submission will be on time. The world clock (http://www.timeanddate.com/worldclock/fixedtime.html?month=4&day=2&year=2008&hour=9&min=0&sec=0&p1=282) can give you the equivalent in your local time, e.g.,1:00 PM Wednesday in Seattle, 4:00 PM Wednesday in New York, and 9:00 PM Wednesday in London. Citation ~~~~~~~~ We recommend (but do not require) that you put your citations into author-date form. This procedure makes your paper easier to review. For example, if you cite a result on testing as ``(Claessen and Hughes 2000)'', many reviewers will recognize the result instantly. On the other hand, if you cite it as ``[4]'', even the best-informed reviewer has to page through your paper to find the reference. By using author-date form, you enable a knowledgeable reviewer to focus on content, not arbitrary numbering of references. LaTeX users can simply use the natbib package along with the plainnat bibliography style. Author response ~~~~~~~~~~~~~~~ You will have a 48-hour period, starting at 09:00 on 21 May 2008 Apia time, to read and respond to reviews. Special categories of papers ~~~~~~~~~~~~~~~~~~~~~~~~~~~~ In addition to research papers, ICFP solicits two kinds of papers that do not require original research contributions: Functional Pearls, which are full papers, and Experience Reports, which are limited to four pages. Authors submitting such papers may wish to consider the following advice. Functional Pearls ~~~~~~~~~~~~~~~~~ A Functional Pearl is an elegant essay about something related to functional programming. It might offer: * a new and thought-provoking way of looking at an old idea * an instructive example of program calculation or proof * a nifty presentation of an old or new data structure * an interesting application of functional programming techniques * a novel use or exposition of functional programming in the classroom Functional Pearls are not restricted to the above varieties, however. While pearls often demonstrate an idea through the development of a short program, there is no requirement or expectation that they do so. Thus, they encompass the notions of theoretical and educational pearls. A pearl should be concise, instructive, and entertaining. Your pearl is likely to be rejected if your readers get bored, if the material gets too complicated, if too much specialized knowledge is needed, or if the writing is inelegant. The key to writing a good pearl is polishing. Some advice from Richard Bird: * Throw away the rule book for writing research papers. * Get in quick; get out quick. * Be self-contained; don't go deep into related work, with lengthy references. * You are telling a story, so some element of surprise is welcome. * Above all, be engaging. * Give a talk on the pearl to non-specialists, your students, or your department. If you changed the order of presentation for the talk, consider using the new order in the next draft. * Put the pearl away for a while, then take it out and polish it again. Experience Reports ~~~~~~~~~~~~~~~~~~ ICFP has long solicited submissions on the practice and experience of functional programming. But reports of experience are inherently different from research papers, and when judged by the criteria of scientific merit, novelty, or research contribution, they have not competed well against traditional ICFP submissions. Yet we believe that the functional-programming community would benefit from being able to draw on and cite the experience of others. For this reason, we have introduced the ICFP Experience Report. Unlike a normal ICFP paper, the purpose of an Experience Report is not to add to the body of knowledge of the functional-programming community. Rather, the purpose of an Experience Report is to help create a body of published, refereed, citable evidence that functional programming really works---or to describe what obstacles prevent it from working. An Experience Report is distinguished from a normal ICFP paper by its title, by its length, and by the criteria used to evaluate it. * Both in the proceedings and in any citations, the title of each accepted Experience Report must begin with the words ``Experience Report'' followed by a colon. * An Experience Report is at most 4 pages long. Each accepted Experience Report will be presented at the conference, but depending on the number of Experience Reports and regular papers accepted, authors of Experience reports may be asked to give shorter talks. * Because the purpose of Experience Reports is to enable our community to accumulate a body of evidence about the efficacy of functional programming, an acceptable Experience Report need not present novel results or conclusions. It is sufficient if the Report states a clear thesis and provides supporting evidence. The thesis must be relevant to ICFP, but it need not be novel. The program committee will accept or reject Experience Reports based on whether they judge the evidence to be convincing. Anecdotal evidence will be acceptable provided it is well argued and the author explains what efforts were made to gather as much evidence as possible. Typically, more convincing evidence is obtained from papers which show how functional programming was used than from papers which only say that functional programming was used. The most convincing evidence often includes comparisons of situations before and after the introduction or discontinuation of functional programming. Evidence drawn from a single person's experience may be sufficient, but more weight will be given to evidence drawn from the experience of groups of people. Possible topics for an Experience Report include, but are not limited to * Insights gained from real-world projects using functional programming * Comparison of functional programming with conventional programming in the context of an industrial project or a university curriculum * Project-management, business, or legal issues encountered when using functional programming in a real-world project * Curricular issues encountered when using functional programming in education * Real-world constraints that created special challenges for an implementation of a functional language or for functional programming in general An Experience Report should be short and to the point: make a claim about how well functional programming worked on your project and why, and produce evidence to substantiate your claim. If functional programming worked for you in the same ways it has worked for others, you need only to summarize the results---the main part of your paper should discuss how well it worked and in what context. Most readers will not want to know all the details of your project and its implementation, but please characterize your project and its context well enough so that readers can judge to what degree your experience is relevant to their own projects. Be especially careful to highlight any unusual aspects of your project. Also keep in mind that specifics about your project are more valuable than generalities about functional programming; for example, it is more valuable to say that your team delivered its software a month ahead of schedule than it is to say that functional programming made your team more productive. If your paper not only describes experience but also presents new technical results, or if your experience refutes cherished beliefs of the functional-programming community, you may be better off submitting it as a full paper, which will be judged by the usual criteria of novelty, originality, and relevance. If you are unsure in which category to submit, the program chair will be happy to help you decide. Other information ~~~~~~~~~~~~~~~~~ Conference Chair ~~~~~~~~~~~~~~~~ James Hook (Portland State University) Program Chair ~~~~~~~~~~~~~ Peter Thiemann Albert-Ludwigs-Universit?t Georges-K?hler-Allee 079 79110 Freiburg, Germany Email: icfp08 at informatik.uni-freiburg.de Phone: +49 761 203 8051 Fax: +49 761 203 8052 Mail sent to the address above is filtered for spam. If you send mail and do not receive a prompt response, particularly if the deadline is looming, feel free to telephone and reverse the charges. Program Committee ~~~~~~~~~~~~~~~~~ Derek Dreyer (Max Planck Institute for Software Systems) Robert Ennals (Intel Research) Kathleen Fisher (AT&T Research) Zhenjiang Hu (University of Tokyo) Frank Huch (University of Kiel) Andrew Kennedy (Microsoft Research) Kevin Millikin (Google) Henrik Nilsson (University of Nottingham) Chris Okasaki (United States Military Academy) Brigitte Pientka (McGill University) Rinus Plasmeijer (University of Nijmegen) Alan Schmitt (INRIA) Chung-chieh Shan (Rutgers) Mitchell Wand (Northeastern University) Stephen Weeks (Jane Street Capital) Important Dates (at 09:00 Apia time, UTC-11) ~~~~~~~~~~~~~~~ Submission: 2 April 2008 Author response: 21 May 2008 Notification: 16 June 2008 Final papers due: 7 July 2008 ICFP 2008 Web Site ~~~~~~~~~~~~~~~~~~ http://www.icfpconference.org/icfp2008/ Special Journal Issue ~~~~~~~~~~~~~~~~~~~~~ There will be a special journal issue with papers from ICFP 2008. The program committee will invite the authors of select accepted papers to submit a journal version to this issue. From dallago at cs.unibo.it Tue Jan 22 05:59:49 2008 From: dallago at cs.unibo.it (Ugo Dal Lago) Date: Tue, 22 Jan 2008 11:59:49 +0100 Subject: [TYPES/announce] CSL 2008 - first call for papers Message-ID: <4795CCA5.6000508@cs.unibo.it> --------------------------------------------------------------------- CALL FOR PAPERS Computer Science Logic 2008 CSL 2008 17th Annual Conference of the European Association for Computer Science Logic Bertinoro (Bologna), Italy 15 - 20 September 2008 --------------------------------------------------------------------- Abstract submission: March 28, 2008 Paper submission: April 7, 2008 Author notification: May 19, 2008 --------------------------------------------------------------------- http://csl2008.cs.unibo.it --------------------------------------------------------------------- Computer Science Logic (CSL) is the annual conference of the European Association for Computer Science Logic (EACSL). The conference is intended for computer scientists whose research activities involve logic, as well as for logicians working on issues significant for computer science. Topics of interest include: automated deduction and interactive theorem proving, constructive mathematics and type theory, equational logic and term rewriting, automata and games, modal and temporal logics, model checking, logical aspects of computational complexity, finite model theory, computational proof theory, logic programming and constraints, lambda calculus and combinatory logic, categorical logic and topological semantics, domain theory, database theory, specification, extraction and transformation of programs, logical foundations of programming paradigms, verification and program analysis, linear logic, higher-order logic, nonmonotonic reasoning. Proceedings will be published in the LNCS series. Each paper accepted by the Programme Committee must be presented at the conference by one of the authors, and final copy be prepared according to Springer's guidelines. Submitted papers must be in Springer's LNCS style and of no more than 15 pages, presenting work not previously published. They must not be submitted concurrently to another conference with refereed proceedings. Any closely related work submitted by the authors to a conference or journal before March 28, 2008 must be reported to the PC chairs. Papers authored or coauthored by members of the Programme Committee are not allowed. Submitted papers must be in English and provide sufficient detail to allow the Programme Committee to assess the merits of the paper. Full proofs may appear in a technical appendix which will be read at the reviewer's discretion. The title page must contain: title and author(s), physical and e-mail addresses, identification of the corresponding author, an abstract of no more than 200 words, and a list of keywords. ACKERMANN AWARD: The Ackermann Award is the EACSL Outstanding Dissertation Award for Logic in Computer Science. The Ackermann Award 2008 will be presented to the recipients at CSL2008. Deadline for nominations is March 15, 2008. Details at: http://www.dimi.uniud.it/~eacsl/submissionsAck.html For the three years 2007-2009, the Award is sponsored by Logitech, S.A., Romanel, Switzerland, the world's leading provider of personal peripherals. INVITED SPEAKERS: Luca Cardelli, Microsoft Research, Cambridge Pierre Louis Curien, PPS, Paris Jean-Pierre Jouannaud, Ecole Polytechnique, Palaiseau Wolfgang Thomas, RWTH, Aachen PROGRAM COMMITTEE: Michael Kaminski (co-chair), Technion, Haifa Simone Martini (co-chair), Universit? di Bologna Zena Ariola, University of Oregon, Eugene Patrick Baillot, CNRS and Universit? Paris 13 Patrick Cegielski, Universit? Paris 12 Gilles Dowek, ?cole Polytechnique, Palaiseau Amy Felty, University of Ottawa Marcelo Fiore, University of Cambridge Alan Jeffrey, Bell Labs, Alcatel-Lucent Leonid Libkin, University of Edinburgh Zoran Majkic, University of Beograd Dale Miller, INRIA-Futurs, Palaiseau Luke Ong, University of Oxford David Pym, HP Labs, Bristol and University of Bath Alexander Rabinovich, Tel Aviv University Antonino Salibra, Universit? Ca' Foscari, Venezia Thomas Schwentick, Universit?t Dortmund Valentin Shehtman, Moscow University and King's College London Alex Simpson, University of Edinburgh Gert Smolka, Universit?t des Saarlandes, Saarbr?cken Kazushige Terui, National Institute of Informatics, Tokyo Thomas Wilke, Universit?t Kiel ORGANIZATION: Ugo Dal Lago, Universit? di Bologna Simone Martini, Universit? di Bologna --------------------------------------------------------------------- From jesper_types at math.su.se Thu Jan 24 02:42:03 2008 From: jesper_types at math.su.se (=?ISO-8859-1?Q?Jesper_Carlstr=F6m?=) Date: Thu, 24 Jan 2008 08:42:03 +0100 Subject: [TYPES/announce] Summer School and Conference "Mathematics, Algorithms, and Proofs" Message-ID: <4798414B.5000403@math.su.se> ------------------------------------------------------------------- Summer School and Conference "Mathematics, Algorithms, and Proofs" The Abdus Salam International Centre for Theoretical Physics (ICTP) Trieste, Italy, 11-29 August 2008 http://cdsagenda5.ictp.trieste.it/full_display.php?smr=0&ida=a07167 Deadline for applications: 25 March 2008 ------------------------------------------------------------------- From carlos.martin at urv.cat Sat Jan 26 14:50:44 2008 From: carlos.martin at urv.cat (carlos.martin@urv.cat) Date: Sat, 26 Jan 2008 19:50:44 GMT Subject: [TYPES/announce] 6th International Summer School in Formal Languages andApplications Message-ID: Apologies for multiple posting! Please, forward the announcement to whoever may be interested in it. Thanks. ------------------ 6th INTERNATIONAL SUMMER SCHOOL IN FORMAL LANGUAGES AND APPLICATIONS (formerly International PhD School in Formal Languages and Applications) Tarragona, Spain, July 21 - August 2, 2008 Organized by: Research Group on Mathematical Linguistics Rovira i Virgili University http://www.grlmc.com ADDRESSED TO: Graduate students from around the world. Most appropriate degrees include: Computer Science and Mathematics. Other graduate students (for instance, from Linguistics, Electrical Engineering, Molecular Biology or Logic) as well undergraduate students can attend too provided they have a good background in discrete mathematics. All courses will be compatible in terms of the schedule. (There will be no courses in parallel.) COURSES AND PROFESSORS JULY 21-26: Martyn Amos (Manchester), Synthetic Biology: Biological Engineering [6 hours] Erzsebet Csuhaj-Varju (Budapest), Language Theoretic Models of Multi-Agent Systems [14 hours] Zoltan Esik (Tarragona), An Axiomatic Theory of Automata [6 hours] Rusins Freivalds (Riga), Elliptic Curves [6 hours] Max Garzon (Memphis), Biomolecular Nanotechnology [6 hours] Masami Ito (Kyoto), Regular Grammars [6 hours] Martin Kutrib (Giessen), Cellular Automata [6 hours] Claudio Moraga (Mieres), Fuzzy Formal Languages [6 hours] Kenichi Morita (Hiroshima), Two-Dimensional Languages [6 hours] Mitsunori Ogihara (Rochester), Computational Complexity and Molecular Computation Models [6 hours] Friedrich Otto (Kassel), Restarting Automata [6 hours] COURSES AND PROFESSORS JULY 28 - AUGUST 2: Francine Blanchet-Sadri (Greensboro), Partial Words [6 hours] Henning Bordihn (Potsdam), Mildly Context-Sensitive Grammars [8 hours] Wojciech Buszkowski (Poznan), Type Logics and Grammars [8 hours] Manfred Droste (Leipzig), Weighted Automata [8 hours] Joerg Flum (Freiburg, Germany), Parameterized Complexity [6 hours] Tom Head (Binghamton), Computing with Light Using Transparency and Opacity [6 hours] Satoshi Kobayashi (Tokyo), Grammatical Models and Algorithms for Biological Sequence Analysis [6 hours] Mark-Jan Nederhof (St.-Andrews), Probabilistic Parsing [6 hours] Alexander Okhotin (Turku), Language Equations [6 hours] Detlef Wotschke (Frankfurt), Descriptional Complexity of Automata and Grammars [12 hours] Sheng Yu (London, Canada), Finite Automata [16 hours] REGISTRATION: It has to be done on line at: http://www.grlmc.com FEES: They are variable for each student, depending on the number of courses each one takes. The rule is: 1 hour = - 10 euros (for payments until March 24, 2008), - 12 euros (for payments after March 24, 2008). The fees must be paid to the School's bank account: IBAN code: ES13 0073 0100 5104 0350 6598 Please mention SSFLA'08 and your full name in the subject. An invoice will be provided on site. To check the eligibility for early registration, what counts is the date of the bank order for payment (not the date when the registration form was filled in). People registering on site at the beginning of the School must pay in cash. ACCOMMODATION: Information about accommodation will be provided through the website of the School in due time. IMPORTANT DATES: Announcement of the programme: January 26, 2008 Starting of the registration: February 4, 2008 Early registration deadline: March 24, 2008 Starting of the School: July 21, 2008 End of the School: August 2, 2008 QUESTIONS AND FURTHER INFORMATION: Carlos Martin-Vide: carlos.martin at urv.cat WEBSITE: http://www.grlmc.com POSTAL ADDRESS: SSFLA'08 Research Group on Mathematical Linguistics Rovira i Virgili University Plaza Imperial Tarraco, 1 43005 Tarragona, Spain Phone: +34-977-559543 Fax: +34-977-559597 From katoen at cs.rwth-aachen.de Mon Jan 28 04:56:25 2008 From: katoen at cs.rwth-aachen.de (Joost-Pieter Katoen) Date: Mon, 28 Jan 2008 10:56:25 +0100 Subject: [TYPES/announce] ETAPS 2008 Call for Participation Message-ID: <479DA6C9.4060806@cs.rwth-aachen.de> [Apologies for multiple copies.] ***************************************************************** *** *** *** ETAPS 2008 *** *** March 29 - April 6, 2008 *** *** Budapest, Hungary *** *** *** *** http://www.etaps.org/ *** *** http://etaps08.mit.bme.hu/ *** *** *** *** CALL FOR PARTICIPATION *** *** *** *** Early Registration Deadline: February 10th, 2007 *** *** Normal Registration Deadline: February 29th, 2007 *** *** *** ***************************************************************** The European Joint Conferences on Theory and Practice of Software (ETAPS) is the primary European forum for academic and industrial researchers working on topics relating to Software Science. ETAPS, established in 1998, is a confederation of five main annual conferences, accompanied by satellite workshops and other events. ETAPS 2008 is already the eleventh event in the series. ============================================================================ Location ============================================================================ ETAPS 2008 will be hosted in Budapest, capital of Hungary, which was founded in 1873 as the unification of the separate historic to