From sweirich at cis.upenn.edu Wed Jan 4 15:40:40 2006 From: sweirich at cis.upenn.edu (Stephanie Weirich) Date: Wed, 04 Jan 2006 15:40:40 -0500 Subject: [TYPES/announce] A new year, a new mailing list for announcements Message-ID: <43BC32C8.40109@cis.upenn.edu> Happy new year, everyone! I'm happy to announce the creation of a new mailing list: types-announce at lists.seas.upenn.edu This list is intended for conference and other announcements that are usually sent to TYPES. Anyone who is currently a member of the TYPES forum has been automatically subscribed to this list. If you do nothing, you will continue to get all of the same messages that normally appear in the TYPES forum. However, the headers of the two lists will be different. Normal types discussion will have the usual [TYPES] in the subject line and start with: [The Types Forum, http://lists.seas.upenn.edu/mailman/listinfo/types-list]. Posts to the announcement list will have [TYPES/announce] in the subject line and will start with: [The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce] Both lists are moderated and only list members may post. In either case, messages must be related to types and programming languages. If they are not obviously related, they should be prefaced by a short description of their relevance. Duplicate announcements will be rejected unless changes are highlighted at the top of the message. I will be using the same (somewhat lax) criteria as before to decide if an announcement, etc. is relevant. (Recently, 20 people told me that they were happy with the current policy vs.12 who wished for more stricter moderation.) To ease the transition to the new mailing list, for the next six months, all posts for either the TYPES discussion list or types-announce may be sent to the usual address: types at cis.upenn.edu. I will make sure that the messages are directed to the appropriate list. After that time, announcements must be sent only to types-announce at lists.seas.upenn.edu, so update your address books and publicity lists. Thanks, Stephanie Weirich TYPES Forum moderator From svb at doc.ic.ac.uk Thu Jan 5 12:08:19 2006 From: svb at doc.ic.ac.uk (Steffen van Bakel) Date: Thu, 5 Jan 2006 17:08:19 +0000 Subject: [TYPES/announce] Call for papers CL&C Message-ID: <1136480899.43bd528394c38@www.doc.ic.ac.uk> Call for Papers International Workshop on Classical Logic and Computation Associated to: ICALP 2006, S. Servolo, Venice - Italy (exact date to be announced) CL&C'06 is the first of a new conference series on "Classical Logic and Computation". It intends to cover all work aiming to propose a programming language inspired by classical logic, and a semantics for it. The fact that classical mathematical proofs of simply existential statements can be read as programs was established by Godel and Kreisel some 50 years ago. But the possibility of programming using a style inspired by Classical Logic (much as functional programming is inspired by Intuitionistic Logic) was taken seriously only after the seminal work of Griffin about typing continuations. There are today two main lines of research. The first studies some (version of lambda) calculus adapted to represent classical logic, like the symmetric mu-calculs, or the X-calculus. The second studies semantics for programs inspired by classical proofs, like game semantic or learning algorithms. These two directions are often independent. This workshop aims to start a fruitful exchange of ideas in the field. CL&C'06 is part of ICALP 2006. Publication: This is intended to be an informal workshop. Participants are encouraged to present work in progress, overviews of more extensive work, and programmatic/position papers, as well as completed projects. We therefore ask for submission both of short abstracts outlining what will be presented at the workshop and of longer papers describing completed work, either published or unpublished, in the following areas: - types for calculi with continuations - design of programming languages inspired by classical logic, - witness extraction from classical proofs, - constructive semantics for classical logic (e.g. game semantics), - case studies (for any of the previous points) In order to make a submission: - Format your file in PS or PDF using the Springer LNCS Proceedings format (http://www.springer.com/sgw/cda /frontpage/0,11855,5-164-2-72376-0,00.html); we suggest a 20 page limit. - Use the submission links from http://www.doc.ic.ac.uk/~svb /CLaC Submissions will be refereed at normal standards. A participants' proceedings will be distributed at the workshop. A special issue of APAL associated with the workshop is being considered; this will be discussed at the workshop. Important dates: - Deadline for submission: April, 1. - Notification of acceptance: May, 15. - Final version due: June, 1. - Workshop dates: EITHER July 9 OR 15 OR 16. Programme committee: - Steffen van Bakel (Imperial College London): co-chair - Stefano Berardi (Turin): co-chair - Ulrich Berger (Swansea) - Theirry Coquand (Chalmers) - Pierre-Louis Curien (Paris VII) - Roy Dyckhoff (St Andrews) - Herman Geuvers (Nijmegen) - Hugo Herbelin (Inria) - Luke Ong (Oxford) - Michel Parigot (Paris VII) - Helmut Swichtenberg (Muenchen) - Phil Wadler (Edinburgh) Kind regards, Steffen van Bakel -------- Department of Computing, Imperial College London, 180 Queen's Gate, London SW7 2BZ, tel: + 44 20 7594 8263 fax: + 44 20 7581 8024 email: svb @ doc.ic.ac.uk http://www.doc.ic.ac.uk/~svb From ajp at inf.ed.ac.uk Fri Jan 6 01:35:30 2006 From: ajp at inf.ed.ac.uk (ajp@inf.ed.ac.uk) Date: Fri, 6 Jan 2006 06:35:30 +0000 Subject: [TYPES/announce] CMCS 06 Final CFP: deadline 8 January Message-ID: <1136529330.43be0fb2a6bce@mail.inf.ed.ac.uk> *** Final Call for Papers: Deadline 8 January (but do ask if you need another few days) *** CMCS 2006 8th International Workshop on Coalgebraic Methods in Computer Science http://conferences.inf.ed.ac.uk/cmcs06/cmcs06.html Vienna, Austria March 25-27, 2006 The workshop will be held in conjunction with the 9th European Joint Conferences on Theory and Practice of Software ETAPS 2006 March 25 - April 2, 2006 Aims and Scope During the last few years, it has become increasingly clear that a great variety of state-based dynamical systems, like transition systems, automata, process calculi and class-based systems, can be captured uniformly as coalgebras. Coalgebra is developing into a field of its own interest presenting a deep mathematical foundation, a growing field of applications and interactions with various other fields such as reactive and interactive system theory, object oriented and concurrent programming, formal system specification, modal logic, dynamical systems, control systems, category theory, algebra, analysis, etc. The aim of the workshop is to bring together researchers with a common interest in the theory of coalgebras and its applications. The topics of the workshop include, but are not limited to: the theory of coalgebras (including set theoretic and categorical approaches); coalgebras as computational and semantical models (for programming languages, dynamical systems, etc.); coalgebras in (functional, object-oriented, concurrent) programming; coalgebras and data types; (coinductive) definition and proof principles for coalgebras (with bisimulations or invariants); coalgebras and algebras; coalgebraic specification and verification; coalgebras and (modal) logic; coalgebra and control theory (notably of discrete event and hybrid systems). The workshop will provide an opportunity to present recent and ongoing work, to meet colleagues, and to discuss new ideas and future trends. Previous workshops of the same series have been organized in Lisbon, Amsterdam, Berlin, Genova, Grenoble, Warsaw and Barcelona. The proceedings appeared as Electronic Notes in Theoretical Computer Science (ENTCS) Volumes 11,19, 33, 41, 65.1, 82.1 and 106. You can get an idea of the types of papers presented at the meeting by looking at the tables of contents of the ENTCS volumes from those workshops ENTCS Location CMCS 2006 will be held in Vienna on March 25-27, 2006. It will be a satellite workshop of ETAPS 2006, the European Joint Conferences on Theory and Practice of Software. Programme Committee John Power (chair,Edinburgh), Luis Barbosa (Minho), Neil Ghani (Nottingham), H. Peter Gumm (Marburg), Marina Lenisa (Udine), Stefan Milius (Braunschweig), Larry Moss (Bloomington), Jan Rutten (Amsterdam), Hendrik Tews (Dresden), Tarmo Uustalu (Tallinn), Hiroshi Watanabe (Osaka). Keynote Speaker: Peter O'Hearn (Queen Mary, University of London) Invited Speakers: Corina Cirstea (University of Southampton) Alexander Kurz (University of Leicester) Submissions Two sorts of submissions will be possible this year: Papers to be evaluated by the programme committee for inclusion in the ENTCS proceedings: These papers must be written using ENTCS style files and be of length no greater than 20 pages. They must contain original contributions, be clearly written, and include appropriate reference to and comparison with related work. If a submission describes software, software tools, or their use, it should include all source code that is needed to reproduce the results but is not publicly available. If the additional material exceeds 5 MB, URL's of publicly available sites should be provided in the paper. Short contributions: These will not be published but will be compiled into a technical report of the University of Nottingham. They should be no more than two pages and may describe work in progress, summarise work submitted to a conference or workshop elsewhere, or in some other way appeal to the CMCS audience. Both sorts of submission should be submitted in postscript or pdf form as attachments to an email to cmcs06 at cs.nott.ac.uk. The email should include the title, corresponding author, and, for the first kind of submission, a text-only one-page abstract. After the workshop, we expect to produce a journal proceedings of extended versions of selected papers to appear in Theoretical Computer Science. Important Dates Deadline for submission of regular papers: January 8, 2006. Notification of acceptance of regular papers: February 6, 2006. Final version for the preliminary proceedings: February 13, 2006. Deadline for submission of short contributions: February 28, 2006. Notification of acceptance of short contributions: March 6, 2006. For more information, please write to cmcs06 at cs.nott.ac.uk. From stevez at cis.upenn.edu Fri Jan 6 14:51:23 2006 From: stevez at cis.upenn.edu (Steve Zdancewic) Date: Fri, 06 Jan 2006 14:51:23 -0500 Subject: [TYPES/announce] CFP: Programming Languages and Analysis for Security (PLAS 2006) Message-ID: <43BECA3B.2080703@cis.upenn.edu> Call for Papers PLAS 2006 ACM SIGPLAN Workshop on Programming Languages and Analysis for Security http://www.cis.upenn.edu/~stevez/plas06.html co-located with ACM SIGPLAN PLDI 2006 Conference on Programming Language Design and Implementation Ottawa, Canada, June 10, 2006 The goal of PLAS 2006 is to provide a forum for researchers and practitioners to exchange and understand ideas and to seed new collaboration on the use of programming language and program analysis techniques that improve the security of software systems. The scope of PLAS includes, but is not limited to: -- Language-based techniques for security -- Program analysis and verification (including type systems and model checking) for security properties -- Compiler-based and program rewriting security enforcement mechanisms -- Security policies for information flow and access control -- High-level specification languages for security properties -- Model-driven approaches to security -- Applications, examples, and implementations of these security techniques Submission: The deadline for submissions of technical papers is March 03, 2006. Papers must be formatted according the ACM proceedings format and should be no longer than 10 pages in this format. This 10 page limit includes everything (i.e., it is the total length of the paper). Email the submissions to stevez AT cis.upenn.edu. Submissions should be in PDF (preferably) or Postscript that is interpretable by Ghostscript and printable on US Letter and A4 sized paper. Templates for SIGPLAN-approved LaTeX format can be found at http://www.acm.org/sigs/sigplan/authorInformation.htm. We recommend using this format, which improves greatly on the ACM LaTeX format. Submitted papers must describe work unpublished in refereed venues, and not submitted for publication elsewhere (including journals and formal proceedings of conferences and workshops). See the SIGPLAN republication policy for more details http://www.acm.org/sigs/sigplan/republicationpolicy.htm Important dates: Submission deadline March 03, 2006 Notification of acceptance April 03, 2006 Final papers due April 24, 2006 Workshop June 10, 2006 Organizers: Steve Zdancewic, University of Pennsylvania, stevez AT cis.upenn.edu Vugranam C. Sreedhar, IBM T.J. Watson Research Center vugranam AT us.ibm.com Program Committee: Amal Ahmed, Harvard University, USA Anindya Banerjee, Kansas State University, USA Adriana Compagnoni, Stevens Institute of Technology, USA Elena Ferrari, University of Insubria at Como, Italy Michael Hicks, University of Maryland, USA Annie Liu, State University of New York at Stony Brook, USA Brigitte Pientka, McGill University, Canada Sriram Rajamani, Microsoft Research, India, Vugranam Sreedhar, IBM TJ Watson Research Center, USA Westley Weimer, University of Virginia, USA Steve Zdancewic, University of Pennsylvania, USA From martini at cs.unibo.it Mon Jan 9 04:51:42 2006 From: martini at cs.unibo.it (Simone Martini) Date: Mon, 9 Jan 2006 10:51:42 +0100 Subject: [TYPES/announce] Ackermann Award: Logic in Computer Science Message-ID: Call for submission The ACKERMANN AWARD EACSL Outstanding Dissertation Award for Logic in Computer Science. Deadline for submission: January 31, 2006 Eligible for the 2006 Ackermann Award are PhD dissertations in topics specified by the EACSL and LICS conferences, which were formally accepted as PhD theses at a university or equivalent institution between 1.1.2004 and 31.12.2005. Full details can be found on http://www.dimi.uniud.it/~eacsl/award.html Thesis on type theory are welcome. ==================================================================== The Award The award consists of a diploma, an invitation to present the thesis at the CSL conference, the publication of the abstract of the thesis and the laudatio in the CSL proceedings, travel support to attend the conference. Jury The jury consists of seven members: The president of EACSL, J. Makowsky (Haifa); The vice-president of EACSL, D. Niwinski (Warsaw); One member of the LICS organizing committee (to be announced later); B. Courcelle (Bordeaux); E. Graedel (Aachen); M. Hyland (Cambridge); A. Razborov (Moscow and Princeton); From tarmo at cs.ioc.ee Sat Jan 7 06:13:38 2006 From: tarmo at cs.ioc.ee (Tarmo Uustalu) Date: Sat, 07 Jan 2006 13:13:38 +0200 Subject: [TYPES/announce] MPC 2006 2nd Call for Papers Message-ID: <20060107111331.9E6F1BF08F@sool.cc.ioc.ee> MPC welcomes papers on dependently typed programming and types as guidance in program construction. NEWS: - Invited speakers: Robin Cockett, University of Calgary Olivier Danvy, Aarhus Universitet Oege de Moor, University of Oxford - The paper submission system is open. - Two satellite workshops: Constructive Methods for Parallel Programming, CMPP Mathematically Structured Functional Programming, MSFP SECOND CALL FOR PAPERS 8th International Conference on Mathematics of Program Construction MPC '06 Kuressaare, Estonia, 3-5 July 2006 http://cs.ioc.ee/mpc-amast06/mpc/ colocated with AMAST '06 Background The biennial MPC conferences aim to promote the development of mathematical principles and techniques that are demonstrably useful and usable in the process of constructing computer programs. Topics of interest range from algorithmics to support for program construction in programming languages and systems. The previous conferences were held in Twente, The Netherlands (1989), Oxford, UK (1992), Kloster Irsee, Germany (1995), Marstrand, Sweden (1998), Ponte de Lima, Portugal (2000), Dagstuhl, Germany (2002) and Stirling, UK (2004, colocated with AMAST '04). The 2006 conference will be held at Kuressaare, Estonia, colocated with AMAST '06. Invited speakers Robin Cockett, University of Calgary Olivier Danvy, Aarhus Universitet Oege de Moor, University of Oxford Important dates * Submission of abstracts: 27 January 2006 * Submission of full papers: 3 February 2006 * Notification of authors: 17 March 2006 * Camera-ready version: 14 April 2006 Topics Papers are solicited on mathematical methods and tools put to use in program construction. Topics of interest range from algorithmics to support for program construction in programming languages and systems. Some typical areas are type systems, program analysis and transformation, programming language semantics, program logics. Theoretical contributions are welcome provided their relevance for program construction is clear. Reports on applications are welcome provided their mathematical basis is evident. Submission and publication Submission is in two stages. Abstracts (plain text) must be submitted by 27 January 2006. Full papers (pdf) adhering to the llncs style must be submitted by 3 February 2006. There is no official page limit, but authors should strive for brevity. The web-based submission system is open. Papers must report previously unpublished work and not be submitted concurrently to another conference with refereed proceedings. PC members may submit. Accepted papers must be presented at the conference by one of the authors. The proceedings of MPC '06 will be published in the Lecture Notes in Computer Science series of Springer-Verlag. After the conference, the authors of the best papers will be invited to submit revised versions to a special issue of the Science of Computer Programming journal of Elsevier. Programme committee Tarmo Uustalu, Institute of Cybernetics, Tallinn (chair) Roland Backhouse, University of Nottingham Eerke Boiten, University of Kent Venanzio Capretta, University of Ottawa Sharon Curtis, Oxford Brookes University Jules Desharnais, Universit? de Laval Jeremy Gibbons, University of Oxford Lindsay Groves, Victoria University of Wellington Ian Hayes, University of Queensland William Harrison, University of Missouri Johan Jeuring, Universiteit Utrecht Dexter Kozen, Cornell University Christian Lengauer, Universit?t Passau Lambert Meertens, Kestrel Institute Bernhard M?ller, Universit?t Augsburg Shin-Cheng Mu, University of Tokyo Jos? Oliveira, Universidade do Minho Alberto Pardo, Universidad de la Rep?blica Ross Paterson, City University London Ingrid Rewitzky, University of of Stellenbosch Varmo Vene, University of Tartu Satellite workshops Two workshops will be held in conjunction with MPC 2006 as satellites on 2 July 2006: 5th International Workshop on Constructive Methods for Parallel Programming, CMPP 2006 Workshop on Mathematically Structured Functional Programming, MSFP 2006 Venue Kuressaare (pop. 16000) is the main town on Saaremaa, the second-largest island of the Baltic Sea. Kuressaare is a charming seaside resort on the shores of the Gulf of Riga highly popular with Estonians as well as visitors to Estonia. The scientific sessions of MPC/AMAST 2006 will take place at Saaremaa Spa Hotel Meri, one among the several new spa hotels in the town. The social events will involve a number of sites, including the 14th-century episcopal castle. Accommodation will be at Saaremaa Spa Hotels Meri and R??tli. To get to Kuressaare and away, one must pass through Tallinn (pop. 402000), Estonia's capital city. Tallinn is famous for its picturesque medieval Old Town, inscribed on UNESCO's World Heritage List. Local organizers MPC/AMAST 2006 is organized by Institute of Cybernetics, a research institute of Tallinn University of Technology. The local organizers are Tarmo Uustalu (chair), Monika Perkmann, Juhan Ernits, Ando Saabas, Olha Shkaravska, Kristi Uustalu. Contact email address: mpc06(at)cs.ioc.ee. From pg at doc.ic.ac.uk Mon Jan 9 13:19:14 2006 From: pg at doc.ic.ac.uk (Philippa Gardner) Date: Mon, 09 Jan 2006 18:19:14 +0000 Subject: [TYPES/announce] research position at Imperial, process models for systems biology Message-ID: <43C2A922.9000701@doc.ic.ac.uk> Luca Cardelli and I have a three-year postdoctoral research position available at Imperial, to apply process-modelling techniques to the signalling of phagocytosis (the process of ingesting and destroying a bacteria or other foreign matter by certain kinds of cells). This position complements two other positions: one for a biologist, the other for a mathematician. Our difficult challenge is to bridge the gap between the experimental work, a predictive analysis using process models, and the very different analysis using differential equations. The details are given below: the deadline for applications is 10th February; please send informal enquiries to me. I'd be grateful if you would forward this email to candidates you think might be suitable. In particular, we are looking for someone with either a background in biology or at least a strong interest in the subject. Best wishes, Philippa Gardner pg at doc.ic.ac.uk -------------------------------------------------------------- Research Assistant/Associate Department of Computing, Imperial College London Title: Computational Modelling of Biological Processes Salary: ?26,120 - ?33,330 inclusive of London Allowance per annum Deadline for Applications: 10th February 2006 Applications are invited for the position of a research assistant/associate for up to three years to work on the application of process-modelling techniques to the signalling of phagocytosis. This position has been awarded to Dr Philippa Gardner and Dr Luca Cardelli (Microsoft Research Cambridge), funded by a large BBSRC/EPSRC grant to support a new Centre for Systems Biology at Imperial. It complements two equivalent positions (one for a biologist, one for a mathematician) in Centre for Molecular Microbiology and Infection & Division of Cell and Molecular Biology, to investigate the spatio-temporal control of phagocytic signalling during uptake of bacteria. We expect the three researchers to work closely together. Formal applications should be sent to the address at the end of this message. Please send informal enquiries to Philippa Gardner, email: pg at doc.ic.ac.uk Background of Project ---------------------- Recognition and uptake of bacteria, parasites and encapsulated DNA vaccines by professional phagocytes - macrophages, dendritic cells - is crucial for the induction of protective immunity. Live attenuated strains of intracellular pathogens such as Salmonella and Shigella have been shown to act as oral human and animal vaccines and as heterologous vaccine carriers capable of inducing protective responses to antigens from other viral, bacterial and eukaryotic pathogens. The mechanism of attenuation is crucial in determining vaccine efficacy, but the biology of this is unknown; in practice multiple mutants are screened in an empirical trial and error manner. It would be a major scientific advance if we were able to engineer improved vaccine strains on the basis of a rational understanding of the factors that determine their ability to stimulate a protective, lasting immune response. This may now be possible through a systems biology approach that can directly inform on logical targets for mutagenesis studies. Goals ----- The project has the objective of modeling such a biological system via process calculus techniques, and to augment the model as new knowledge is gathered via experiments. Information derived from modeling will be used to design new hypotheses to be tested in the experimental system. We will use process calculi to build a computer simulation of the uptake event, feeding in information from the biology relating to regulatory sequences, localization, and hierarchical issues. The general approach of process calculi modeling consists in first identifying appropriate discrete interactions that need to be modeled; these can be as detailed as individual chemical events or as abstract as membrane evolutions, or a combination of these. The basic interactions are embedded, in a fairly systematic and well-understood way, in a process language that also includes other general modeling operators (such as concurrent or stochastic interactions). The resulting modeling language can be used to describe and analyze complex biochemical systems, particularly emphasizing discrete and combinatorial aspects, in much the same way that a programming language can be used to describe complex software systems. We will build on previous work that uses stochastic process calculi for modeling both ordinary biochemical interactions and the dynamic evolution of compartments, particularly during endocytosis. The modeling component of the project will involve identifying a suitable modeling language, using it to encode the experimental knowledge of pathogen uptake as it is being acquired, and running simulations of the whole process, from the input stimuli to the formation and evolution of the phagosome. Applicants should complete an application form, downloadable from http://www.imperial.ac.uk/employment/academicform.htm. Applications will not be accepted unless they are on the correct form and clearly marked with the Job Reference Number PG Bio 05. The application form should be accompanied by a full CV with names and addresses of 3 referee and should be sent to: Mrs Nicola Rogers Department of Computing Imperial College London South Kensington Campus London, SW7 2AZ UK Email: n.c.rogers at imperial.ac.uk From sweirich at cis.upenn.edu Tue Jan 10 09:12:51 2006 From: sweirich at cis.upenn.edu (Stephanie Weirich) Date: Tue, 10 Jan 2006 09:12:51 -0500 Subject: [TYPES/announce] Workshop on Mechanizing Metatheory Message-ID: <43C3C0E3.1060607@cis.upenn.edu> 1st ACM SIGPLAN Workshop on Mechanizing Metatheory Portland, Oregon, USA Co-located with ICFP'06. Exact date TBA. Important Dates Submission deadline: June 3, 2006 Author Notification: July 1, 2006 Workshop: TBA Workshop Description Researchers in programming languages have long felt the need for tools to help formalize and check their work. With advances in language technology demanding deep understanding of ever larger and more complex languages, this need has become urgent. There are a number of automated proof assistants being developed within the theorem proving community that seem ready or nearly ready to be applied in this domain---yet, despite numerous individual efforts in this direction, the use of proof assistants in programming language research is still not commonplace: the available tools are confusingly diverse, difficult to learn, inadequately documented, and lacking in specific library facilities required for work in programming languages. The goal of this workshop is to bring together researchers who have experience using automated proof assistants for programming language metatheory and those who are interested in using tool support for formalizing their work. One starting point for discussion will be the POPLmark challenge: a set of challenge problems intended to assess the state of the art in this area. More information about the POPLmark challenge is available from http://www.cis.upenn.edu/proj/plclub/mmm. Format The workshop will consist of presentations by the participants, selected from submitted abstracts. It will focus on providing a fruitful environment for interaction and presentation of ongoing work. Participants are invited to submit working notes, source files, and abstracts for distribution to the attendees, but as the workshop has no formal proceedings, contributions may still be submitted for publication elsewhere. (See the SIGPLAN republication policy for more details http://www.acm.org/sigs/sigplan/republicationpolicy.htm) Scope The scope of the workshop includes, but is not limited to: * Tool demonstrations: proof assistants, logical frameworks, visualizers, etc. * Libraries for programming language metatheory. * Formalization techniques, especially with respect to binding issues. * Analysis and comparison of solutions to the POPLmark challenge * Examples of formalized programming language metatheory * Proposals for new challenge problems that benchmark programming language work Submission Guidelines The deadline for submissions of abstracts is June 3, 2006. Email submissions to sweirich AT cis.upenn.edu. Submissions should be no longer than one page and in PDF (preferably) or Postscript that is interpretable by Ghostscript and printable on US Letter or A4 sized paper. Program Committee Karl Crary, Carnegie Mellon University Xavier Leroy, INRIA Rocquencourt Peter Sewell, Cambridge University Michael Norrish, Canberra Research Lab, National ICT Australia Stephanie Weirich, University of Pennsylvania (chair) Workshop Organizers Benjamin Pierce, University of Pennsylvania Stephanie Weirich, University of Pennsylvania Steve Zdancewic, University of Pennsylvania From ms at informatik.uni-kiel.de Tue Jan 10 10:47:00 2006 From: ms at informatik.uni-kiel.de (Martin Steffen) Date: 10 Jan 2006 16:47:00 +0100 Subject: [TYPES/announce] FMOODS 06: deadline extended: 22. Jan.! Message-ID: In response to authors' requests, the forthcoming deadlines for Fmoods'06 are extended as follows: ======================================================== 15. January: abstract submission 22. January: paper submission The new deadlines are _strict_! ======================================================== ------------------------------------------------------------ CALL FOR PAPERS FMOODS 2006 8th IFIP International Conference on Formal Methods for Open Object-Based Distributed Systems Bologna, Italy, 14 - 16 June, 2006 http://www.discotec06.cs.unibo.it/FMOODS06 In conjunction with DAIS 2006 and Coordination 2006 http://www.discotec06.cs.unibo.it/ o Invited speakers: - Jan Bosch, Software and Application Technologies Lab. Nokia Research Center - Jos? Luiz Fiadeiro, Department of Computer Science University of Leicester - Chris Hankin, Department of Computing Imperial College o 3 pre-conference workshops: - 2nd International Workshop on Methods and Tools for Coordinating Concurrent, Distributed and Mobile Systems (MTCoord'06). - Security, Privacy, and Trust in Web Services. - 2nd International Workshop on Coordination and Organization (CoOrg'06). **************************************************************** IMPORTANT DATES: NEW 15 January 2006: Abstract submission NEW 22. January 2006: Paper submission 7. March 2006: Author notification 28. March 2006: Camera-ready copy 13. June 2006: pre-conference workshops 14. - 16. June 2006: FMOODS 2006 The 8th IFIP International Conference on Formal Methods for Open Object-based Distributed Systems (FMOODS) is part of the federated conferences DisCoTec (Distributed Computing Techniques), together with the 8th International Conference on Coordination Models and Languages (COORDINATION) and the 6th IFIP International Conference on Distributed Applications and Interoperable Systems (DAIS). It will be organised by the Department of Computer Science of the University of Bologna. OBJECTIVES AND SCOPE: Established in 1996, the FMOODS series of conferences aims to provide an integrated forum for research on formal aspects of Open Object-based Distributed Systems. The conference will especially welcome novel contributions reflecting recent developments in the area, in particular component- and model-based design, service-oriented computing and software quality. Areas of interest include but are not limited to: - Semantics and implementation of object-oriented programming and (visual) modelling languages - Formal techniques for specification, design, analysis, verification, validation and testing - Model checking, theorem proving and deductive verification - Type systems and behavioural typing - Formal methods for service-oriented computing - Formal techniques for security and trust in global computing - Multiple viewpoint modelling and consistency between different views - Model transformations and refactorings - Software architectures - Integration of quality of service requirements into formal models - Component-based design - Applications (e.g.\ web services, multimedia, telecommunications) - Experience report on best practices and tools ORGANISERS: General chair: Gianluigi Zavattaro (U. of Bologna, IT) PC chairs: Roberto Gorrieri (U. of Bologna, IT) Heike Wehrheim (U. of Paderborn, DE) Publicity Chair: Martin Steffen (CAU Kiel, DE) Steering Committee: John Derrick (U. of Sheffield, UK) Roberto Gorrieri (U. of Bologna, IT) Elie Najm (ENST, Paris, FR) Program Committee: Lynne Blair (U. of Lancaster, UK) Eerke Boiten (U. of Kent, UK) Nadia Busi (U. of Bologna, IT) John Derrick (U. of Sheffield, UK) Alessandro Fantechi (U. of Firenze, IT) Colin Fidge (U. of Queensland, AUS) Robert France (Colorado State U., USA) Roberto Gorrieri (U. of Bologna, IT) Reiko Heckel (U. of Leicester, UK) Einar Broch Johnsen (U. of Oslo, N) Doug Lea (State U. of New York, USA) Elie Najm (ENST Paris, FR) Uwe Nestmann (TU Berlin, D) Erik Poll (U. of Nijmegen, NL) Arend Rensink (U. Twente, NL) Ralf Reussner (U. of Oldenburg, D) Bernhard Rumpe (TU Braunschweig, D) Martin Steffen (CAU Kiel, D) Carolyn Talcott (SRI International, USA) Andrzej Tarlecki (Warsaw University, PL) Vasco Vasconcelos (U. of Lisbon, P) Heike Wehrheim (U. of Paderborn, D) Elena Zucca (U. of Genova, IT) SUBMISSION GUIDELINES: The FMOODS 2006 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. Submission will be 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. From skalka at cs.uvm.edu Tue Jan 10 23:50:28 2006 From: skalka at cs.uvm.edu (Christian Skalka) Date: Tue, 10 Jan 2006 23:50:28 -0500 Subject: [TYPES/announce] PhD assistantships available at UVM Message-ID: <00b401c6166a$8b442040$0300000a@Pers> The Department of Computer Science (http://www.cs.uvm.edu) at the University of Vermont has open assistantship positions for PhD studies in 2006-07, in the form of Graduate Research Assistantships (GRAs) and Graduate Teaching Assistantships (GTAs). These assistantships are for incoming students studying towards the PhD degree in Computer Science. More information about applying for these positions is available online at: http://www.cs.uvm.edu/gradinfo/info/PhDOpportunities-06-07.shtml Successful applicants will have demonstrated interest in active research areas at UVM CS. Ongoing research projects of likely interest to readers of this mailing list include: - Static language-based access control. - Static enforcement of temporal program logics. - Distributed authorization logic. More information about these projects is available at: http://www.cs.uvm.edu/~skalka/skalka-pubs/skalka-projects.html The application deadline for Fall 2006 assistantship opportunities is February 1, 2006. ============================== Christian Skalka Assistant Professor Department of Computer Science University of Vermont http://www.cs.uvm.edu/~skalka ============================== From rene.david at univ-savoie.fr Thu Jan 12 03:01:11 2006 From: rene.david at univ-savoie.fr (=?ISO-8859-1?Q?Ren=E9_David?=) Date: Thu, 12 Jan 2006 09:01:11 +0100 Subject: [TYPES/announce] CLA'05 call for paper Message-ID: <43C60CC7.3060705@univ-savoie.fr> This is a reminder : the deadline for submission is January 31th. R David +==============================================+ CLA 2005 CALL FOR PAPERS +==============================================+ A proceedings volume of the best presentations of the "Computational Logic and Applications" workshop (Chamb?ry, June 20-21 2005) will be published electronically in "Discrete Mathematics and Theoretical Computer Science" (DMTCS). See http://www.dmtcs.org/proceedings/ Together with those papers, the editors wish to present recent work on connected topics and ask interested authors to submit short communications fitting with the topics of the workshop (see below). The 2005 CLA workshop was the third one on that topics (see program at www.lama.univ-savoie.fr/~david/CLA05). It was the occasion for 25 researchers from Krakow, Chamb?ry and Lyon to meet in a friendly atmosphere to present their recent work. The first CLA workshop took place in Krakow in 2002, the second one in Lyon in 2004. CALL FOR SUBMISSION Authors are invited to submit papers presenting original research on computational logic and theoretical aspects of computer science. The main (but not the only ones) topics of the workshop were - Probablistic aspects of computations and proofs - Asymptotic analysis of boolean functions - Analysis of online algorithms. SUBMISSIONS Authors are invited to submit a full paper of 5 to 10 pages on original research. The submissions will be refereed according to the usual rules based on an international panel of referees. The papers should be sent electronically as a pdf or dvi file to rene.david at univ-savoie.fr. IMPORTANT DATES Deadline for submission: January 31, 2006 Notification to authors: March 15, 2006 Final version: April 17, 2006 PUBLICATIONS Accepted papers will be published as an issue of DMTCS together with an account of lectures on "random boolean expressions" given by Daniele Gardy (Versailles). PROGRAM COMMITTEE Ren? David (Chamb?ry) Daniele Gardy (Versailles) Pierre Lescanne (Lyon) Marek Zaionc (Krakow) From lund.ketil at gmail.com Fri Jan 13 08:19:47 2006 From: lund.ketil at gmail.com (DAIS'06) Date: Fri, 13 Jan 2006 14:19:47 +0100 Subject: [TYPES/announce] DAIS'06 - EXTENDED DEADLINE Message-ID: In response to authors' requests, the forthcoming deadlines for DAIS'06 are extended as follows: ======================================================== 15. January: abstract submission 22. January: paper submission The new deadlines are *firm*! ======================================================== CALL FOR PAPERS 6th IFIP WG 6.1 International Conference on Distributed Applications and Interoperable Systems DAIS 2006 "From service-oriented architectures to self-managing applications" Bologna, Italy June 13-16, 2006 http://www.discotec06.cs.unibo.it/DAIS06/ To be held in conjunction with FMOODS 2006 and Coordination 2006 http://discotec06.cs.unibo.it ******** NEW ********** Abstract and paper submission is now open: http://conferences.cs.unibo.it/DAIS06 Invited speakers now ready http://discotec06.cs.unibo.it/invited.htm IMPORTANT DATES: NEW 15 January 2006: Abstract submission NEW 22. January 2006: Paper submission 31. January 2006: Work-in-progress papers: 7. March 2006: Author notification 28. March 2006: Camera-ready copy 13. June 2006: pre-conference workshops 14. - 16. June 2006: DAIS 2006 ABOUT THE CONFERENCE In recent years, distributed applications have indeed gained a practical and widely-known footing in everyday computing. Use of new communication technologies have brought up divergent application areas, including mobile computing, inter-enterprise collaborations, and ubiquitous services, just to name a few. New challenges include the need for service-oriented archi- tectures, autonomous and self-managing systems, peer-to-peer systems, grid computing, sensor networks, semantic enhancements, and adaptivity and dyna- micity of distribution constellations. The DAIS conference series addresses all aspects of distributed applications, including their design, implementation and operation, the supporting middleware, appropriate software engineering methodologies and tools, as well as experi- mental studies and practice reports. This time we welcome in particular contri- butions on architectures, models, technologies and platforms for interoperable, scalable and adaptable systems that are related to the latest trends towards service orientation and self-* properties. DAIS'06 is the sixth event in a series of successful international conferences which started in 1997. It will provide a forum for researchers, application and platform service vendors and users, to review, discuss and learn about new approaches, trends, concepts and experiences in the fields of distributed computing. Due to the success of the predecessor conferences and the emergence of many interesting and relevant new topics, DAIS has recently switched to a one-year-rhythm. CONFERENCE THEMES DAIS'06 solicits high quality papers reporting research results and/or experience reports. All papers must be original, unpublished, and not submitted simultaneously for publication elsewhere. DAIS'06 especially encourages submissions addressing the following topics: - novel and innovative applications in the areas of * enterprise computing * peer-to-peer systems and platforms * mobile computing * ubiquitous and pervasive computing * sensor networks - distributed application infrastructures * service-oriented frameworks, SOA, Web Services * component frameworks, such as CORBA Components, J2EE, .NET * peer-to-peer computing * mobile and wireless computing * Grid computing - software architectures supporting * autonomous systems * context-awareness * reconfiguration and adaptation * self-management * dependability - application integration and interoperability * enterprise-wide and inter-enterprise integration * integration vs. interoperability * semantic interoperability and semantic web services - life-cycle of distributed applications * modelling, specifying, monitoring and management * model-driven development and testing * tuning and re-engineering - dependability of distributed applications * trust and security * safety * fault-tolerance * dependability coordination in SOA SUBMISSION GUIDELINES Submissions must be done electronically as postscript or PDF, using the Springer LNCS style. DAIS'06 seeks: - Full technical papers in no more than 14 pages, - Work-in-progress papers, describing on-going work and interim results, in no more than 6 pages. Both categories of papers will be reviewed thoroughly by the DAIS'06 Program Committee. Accepted papers will appear in the conference proceedings published by Springer Verlag in the LNCS series. More specific guidelines on the preparation of papers can be found on the conference website. IMPORTANT DATES Abstract submission January 15, 2006 Full paper submission: January 22, 2006 Work-in-progress papers: January 31, 2006 Notification of acceptance: March 7, 2006 Camera ready version: March 28, 2006 Conference dates: June 14-16, 2006 VENUE & EVENT DAIS'06 will be held in the beautiful city of Bologna, Italy, colocated with the 8th IFIP Formal Methods for Open Object-Based Distributed Systems (FMOODS'06) and Coordination'06. Attendants of DAIS'06 will have the opportunity to attend the sessions of the two colocated conferences. Bologna, a historical capital of culture, was founded by the Etruscans in the VI century B.C. Bologna sits in the southern part of the historically and gastronomically famous Po River plain, a natural crossroads in northern Italy. Bologna's location was important not only for the trading of goods but also for the exchanging of ideas and the disseminating of culture. The Universit? di Bologna, founded in 1088 is the oldest university in the western world. Bologna is famous for its porticoes. Dating back to the 12th century the porticoes were used to enlarge houses to support the growing University community. Today 350,000 people call Bologna their home, of which 100,000 are students. Bologna, Italy's culinary capital, is also famous for its food. Furthermore, Bologna is surrounded by the famous food/wine regions of Parma, Modena, and Tuscany. Bologna is very accessible, being served by an international airport and one of the main hubs of the Italian railway system. Within easy access is Florence (1 hour), Milan (1.5 hours), Venice (1.5 hours), Rome (2.4 hours) and the ubiquitous Italian countryside of Emilia-Romagna and Tuscany. ORGANISERS General chair: Gianluigi Zavattaro, University of Bologna, Italy Steering committee: Lea Kutvonen, University of Helsinki, Finland Hartmut Koenig, BTU Cottbus, Germany Kurt Geihs, University of Kassel, Germany Elie Najm, ENST, Paris, France PC Chairs: Frank Eliassen, University of Oslo, Norway Alberto Montresor, University of Trento, Italy Publicity chair: Ketil Lund, Simula Research Laboratory, Norway Program committee: N. Alonistioti, University of Athens, Greece D. Bakken, Washington State University, USA A. Bartoli, University of Trieste, Italy Y. Berbers, Yolande, Katholieke Universiteit Leuven, Belgium A. Beugnard, ENST-Bretagne, France G. Blair, Lancaster University, UK A. Corsaro, Alenia Marconi System, Italy I. Demeure, ENST, France F. Eliassen, University of Oslo, Norway P. Felber, Universit? de Neuch?tel, Switzerland, K. Geihs, University of Kassel, Germany K. M. Goschka, Technical University of Vienna, Austria S. Graupner, HP Labs, USA R. Gr?nmo, SINTEF ICT, Norway D. Hagimont, INP Toulouse, France S. Hallsteinsen, SINTEF ICT, Norway S. Haridi, SICS, Sweden J. Indulska, University of Queensland, Australia E. Jul, Microsoft Research, Cambridge, UK A. Keller, IBM Thomas J. Watson Research Center, USA H. Koenig, BTU Cottbus, Germany R. Kroeger, Univeristy of Applied Sciences Wiesbaden, Germany H. Krumm, University of Dortmund, Germany L. Kutvonen, University of Helsinki, Finland W. Lamersdorf, University of Hamburg, Germany C. Linnhof-Popien, University of Munich, Germany K. Lund, Simula Research Laboratory, Norway R. Meier, Trinity College Dublin, Ireland A. Montresor, University of Trento, Italy E. Najm, ENST, France R. Oliveira, Universidade do Minho, Portugal K. Raymond, University of Queensland, Australia R. Schantz, BBN Technologies, USA A. Romanovsky, University of Newcastle upon Tyne, UK W. Schreiner, Johannes Kepler University Linz, Austria T. Senivongse, Chulalongkorn University, Thailand K. Sere, ?bo Akademi University, Finland J.-B. Stefani, INRIA, France N. Wang, Tech-X Corporation, USA -- Ketil Lund Publicity chair DAIS'06 From j.huitink at phil.ru.nl Sun Jan 15 14:15:19 2006 From: j.huitink at phil.ru.nl (J. Huitink) Date: Sun, 15 Jan 2006 14:15:19 -0500 Subject: [TYPES/announce] Final CfP: ESSLLI 2006 STUDENT SESSION Message-ID: <8dfbb5b7f467.43ca58f7@ru.nl> Final CALL FOR PAPERS ESSLLI 2006 STUDENT SESSION July 31 ? August 11, Malaga, Spain http://www.science.uva.nl/~katrenko/stus06 ---- apologies for multiple copies ---- We are pleased to announce the Student Session of the 18th European Summer School in Logic, Language and Information (ESSLLI), which will be held July 31 ? August 11, in M?laga, Spain. We invite papers for oral and poster presentation from the areas of Logic, Language and Computation. The aim of the Student Session is to provide students with the opportunity to present their work in progress and get feedback from senior researchers and fellow-students. The ESSLLI Student Session invites students at any level, undergraduates as well as graduates, to anonymously submit a full paper, no longer than 7 pages (including references). Papers should be submitted with clear indication of the selected modality of presentation, i.e. oral or poster. Accepted papers will be published in the Student Session Proceedings. Papers should describe original, unpublished work, complete or in progress, that demonstrates insight, creativity and promise. Previously published papers should not be submitted. As in previous years, the Student Session program committee will select the best paper in the oral session and the best paper in the poster session. The winner from each session may choose 500 euros worth of Springer books! The preferred format of submission is PDF. All submissions must be accompanied by a plain text identification page, and sent to esslli at science.uva.nl. Deadline for submission: February 1st, 2006. For more information about the Student Session, and for the technical details concerning submission, please visit our website at http://www.science.uva.nl/~katrenko/stus06. You may also contact the chairs (Janneke Huitink and Sophia Katrenko) at esslli at science.uva.nl. Important Dates: Deadline for Submission: February 1st, 2006 Notification of authors: April 1st, 2006 Proceedings Deadline: May 1st, 2006 ESSLLI: July 31 ? August 11, 2006 From types-list at m-strasser.de Mon Jan 16 09:13:08 2006 From: types-list at m-strasser.de (types-list@m-strasser.de) Date: Mon, 16 Jan 2006 15:13:08 +0100 Subject: [TYPES/announce] Int. Conference on Emerging Trends in Information and Communication Security 2006 - Submission deadline: January 22, 2006 Message-ID: <000e01c61aa6$fa4fe0b0$c710e684@tpc167> Apologies if you receive multiple copies of this message. To fulfil a desire of several authors we extend the submission deadline to 22.01.2006! Please take a look at the workshops offerd - http://www.etrics.org/workshops ============================== Call for Papers ============================= International Conference on Emerging Trends in Information and Communication Security /\ ||__^_ /\ ETRICS 2006 _/\_| \_||______________________________________________________________ Submission deadline: January 22, 2006 June 6-9, 2006, FREIBURG, GERMANY http://www.etrics.org ---------------------------------------------------------------------------- IN COOPERATION WITH: ACM SIGSAC IEEE DFG (German Research Foundation) GI (German Society for Computer Science) ---------------------------------------------------------------------------- CONFERENCE SCOPE: Protecting information and communication systems and services from malicious use is essential for their deployment and acceptance. In addition to applying techniques from traditional security research and security engineering, it is necessary to take into account the vulnerabilities originating from increased mobility at application level and the integration of security requirements into business processes. ETRICS solicits research contributions focusing on emerging trends in security and privacy. Submissions may present foundational research in security and privacy, report experiences from novel applications of security technologies, as well as discuss their changing impact on society and economy. ---------------------------------------------------------------------------- TOPICS of interest include but are not limited to: - Access control and secure audit - Analysis of security protocols - Anonymity services - Cryptographic primitives - Electronic payment systems - Enforcement of security policies - Language-based security - Privacy and identity management - Secure mobile code - Secure operating systems - Security requirements engineering - Security verification - Vulnerability and threat analysis ---------------------------------------------------------------------------- PAPER SUBMISSION: Papers submitted to ETRICS will be peer-reviewed and accepted papers will be published in a volume of Springer?s Lecture Notes in Computer Science. Submissions should clearly state the research contribution, their relevance to the conference theme, as well as their relation to prior research. Authors are invited to submit original, unpublished research papers limited to 15 pages following Springer?s guidelines. Papers must be submitted electronically in PDF format through the online submission system at http://www.etrics.org/PC/ and be received by January 6, 2006. Authors of accepted papers must sign a copyright statement and guarantee that their paper will be presented at the conference. ---------------------------------------------------------------------------- IMPORTANT DATES: Submission deadline: EXTEND TO January 22, 2006 Notification of authors: March 7, 2006 Final Submission due: March 17, 2006 ETRICS takes place: June 6-9, 2006 ---------------------------------------------------------------------------- PROGRAM COMMITTEE: - G?nter M?ller, U of Freiburg, Germany (Chair) - Gerhard Schneider, U of Freiburg, Germany (Co-Chair) Vijay Atluri, Rutgers University, USA Tuomas Aura, Microsoft Research, Cambridge, UK David Basin, ETHZ, Switzerland Elisa Bertino, Purdue University, USA Joachim Biskup, University of Dortmund, Germany Johannes Bl?mer, University of Paderborn, Germany Manfred Broy, TU M?nchen, Germany Jeremy Bryans, University of Newcastle, UK Johannes Buchmann, TU Darmstadt, Germany Jan Camenisch, IBM Research Lab., Switzerland Clemens Cap, University of Rostock, Germany David Chadwick, University of Kent, UK Richard Clayton, Cambridge University, UK Bruno Crispo, Vrije Universiteit Amsterdam, NL Frederic Cuppens, ?cole Nationale Sup?rieure des T?l?communications de Bretagne, France Mads Dam, Swedish Institute of Computer Science, Sweden Yves Deswarte, LAAS-CNRS, France Claudia Eckert, TU Darmstadt, Germany Simone Fischer-H?bner, Karlstad University, Sweden Willi Geiselmann, TH Karlsruhe, Germany Dieter Hutter, DFKI, Germany Sushil Jajodia, George Mason University, USA Matthias Jarke, RWTH Aachen, Germany Jan J?rjens, TU M?nchen, Germany George Kesidis, Pennsylvania State University, USA Hiroaki Kikuchi, Tokai University, Japan Hartmut K?nig, BTU Cottbus, Germany Kaoru Kurosawa, Ibaraki University, Japan Klaus-Peter L?hr, FU Berlin, Germany Norbert Luttenberger, Christian-Albrechts University, Germany Patrick McDaniel, Pennsylvania State University, USA Chris Mitchell, Royal Holloway University of London, UK Yuko Murayama, Iwate Prefectural University, Japan Andreas Pfitzmann, TU Dresden, Germany Birgit Pfitzmann, IBM Research Lab., Switzerland Reinhard Posch, Graz University of Technology, Austria Jean-Jaques Quisquater, Universit? Catholique de Louvain, Belgium Kai Rannenberg, Goethe University of Frankfurt, Germany Erwin Rathgeb, University of Duisburg-Essen, Germany Wolfgang Reif, University of Ausgburg, Germany Yves Roudier, Institut Eur?com, France Ryoichi Sasaki, Tokyo Denki University, Japan Andreas Schaad, SAP Research, Germany Christoph Schuba, SUN Microsystems Inc., USA Wolfram Schulte, Microsoft Research, USA Rainer Steinwandt, Florida Atlantic University, USA Werner Stephan, DFKI, Germany Stuart Stubblebine, Stubblebine Consultings LLC, USA Joachim Swoboda, TU M?nchen, Germany Tsuyoshi Takagi, Future University Hakodate, Japan Kazuo Takaragi, Hitachi Ltd., Japan Masato Terada, Hitachi Ltd., Japan Dirk Timmermann, University of Rostock, Germany Anna Vaccarelli, Istituto di informatica e Telematica-Consiglio Nazionale delle Ricerche, Italy Marianne Winslett, University of Illinois at Urbana-Champaign, USA Eric Yu, University of Toronto, Canada Alf Zugenmaier, Docomo Lab, M?nchen, Germany ---------------------------------------------------------------------------- Affiliated WORKSHOPS: (http://www.etrics.org/workshops) Workshop on Long-term Security This workshop aims at the discussion of recent advances in organizational and technical means to provide long-term security of digital data and communication. Submission deadline: 31 January 2006 URL: Workshop on Management of Security in Dynamic Systems Ubiquitous computing provides a capacity to reflect organizational and societal change in the supporting IT systems. This workshop focuses primarily on modern, outstanding approaches to provide security guarantees in dynamic systems, as well as practical experiences on deploying secure ubiquitous computing applications. Submission deadline: 15 April 2006 URL: Workshop on Security and Privacy in Future Business Services This workshop focuses on technical and economic mechanisms addressing the trade-off between privacy and individualization. It aims to bring together privacy experts on an international level to discuss recent advances in trust-promoting mechanisms. Submission deadline: 15 February 2006 URL: Workshop UbiComp and RFID today - Breakthrough or still on hold? This workshop is to discuss the current spreading and the future of RFID and Ubiquitous Computing by addressing amongst others the following issues: Successful applications; Emerging application areas; Deployment hurdles; and Technical progress. Submission deadline: 1 May 2006 URL: ---------------------------------------------------------------------------- ORGANIZING COMMITTEE: Markus Ruch (Organization Chair) Stefan Sackmann (Vice Organization Chair) Rafael Accorsi (Workshops) Lutz Lowis (Web) Oliver Prokein (Finance) Moritz Strasser (Exhibition & Events) Dirk von Suchodoletz (Equipment & Infrastructure) Sven Wohlgemuth (Program) ---------------------------------------------------------------------------- IN COOPERATION WITH: - DaimlerChrysler - Deutsche Bank - Deutsche Telekom - DoCoMo Euro-Labs - Endress + Hauser - Novartis - SAP - Siemens - Sparkasse Freiburg ? N?rdlicher Breisgau ---------------------------------------------------------------------------- CONTACT: Albert-Ludwigs-Universitaet Freiburg, Telematics - http://www.telematik.uni-freiburg.de Friedrichstr. 50 - D-79098 Freiburg, Germany E-mail: info at etrics.org Web: http://www.etrics.org ============================================================================ From suresh at cs.purdue.edu Mon Jan 16 13:44:15 2006 From: suresh at cs.purdue.edu (Suresh Jagannathan) Date: Mon, 16 Jan 2006 13:44:15 -0500 Subject: [TYPES/announce] Call for papers: Transact'06 Message-ID: <4C68FB22-3130-4807-9A1A-6650675A880C@cs.purdue.edu> [ Papers describing type systems for software transactions are most welcome. ] Call for Papers: ================ TRANSACT: First ACM SIGPLAN Workshop on Languages, Compilers, and Hardware Support for Transactional Computing PLDI 2006 Ottawa, Canada, June 11, 2006 The goal of this workshop is to provide a forum for the presentation of research on all aspects of transactional computing. There has been much recent interest on extending programming languages, systems, and hardware with support for transactions, speculation, and related abstractions that provide alternatives to classical lock-based concurrency mechanisms. The goals of this workshop should be construed broadly to include any novel software or hardware techniques, algorithms, or implementations for transactional concurrency abstractions applicable to multi-core, multithreaded, or high- performance parallel systems. This workshop is intended to cover foundations of concurrent programming as it relates to all forms of transactional computing, as well as tools, techniques, and applications that leverage these principles. Experience reports are also welcome. The workshop seeks papers on topics related to all areas of software and hardware for new concurrency abstractions, models, and implementations. Topics of interest include (but are not limited to): * Transactional Memory * Debugging * Hardware support * Semantics and verification * Atomicity * Static analysis and * Non-blocking algorithms compiler optimizations * Memory models * Runtime implementations * Checkpointing * Persistence and I/O * Speculative concurrency * Applications Papers should present original research relevant to any of these areas of concurrent programming and should provide sufficient background material to make them accessible to the broader community. Papers focussed on foundations should indicate how the work can be used to advance practice; papers on experiences and applications should indicate how the experiments reinforce principles. Submissions due: March 1, 2006 Notification: April 15, 2006 Final version: May 15, 2006 Papers must be submitted in Postscript or PDF format. Hard copies of all research presentations and position papers will be distributed at the meeting. The conference web page will make available all slides from presentations given by the attendees, but the conference web page will not host papers. This is to ensure that the workshop is correctly understood to be an informal workshop, and that presentation of research at the workshop is not considered a barrier to republication of that research in conferences. Papers should be clearly labeled as either: 1. Research papers: These papers present new results which have not appeared and are not under submission elsewhere. These papers should not exceed 10 pages in ACM double column format. 2. Position/Experience papers: Short papers (<5 pages in ACM format). A special journal issue is being considered with a selection of the best research papers. Program Committee: Cliff Click, Azul Christos Kozyrakis, Stanford Laurent Daynes, Sun Peter O'Hearn, Queen Mary, U. of London Rick Hudson, Intel Bill Pugh, UMaryland Stephen Freund, Williams Ravi Rajwar, Intel Dan Grossman, Washington Nir Shavit, Sun Suresh Jagannathan, Purdue David Tarditi, Microsoft Mandana Vaziri, IBM General Chair: Jan Vitek, Purdue Program Chair: Suresh Jagannathan, Purdue Steering Committee: Tim Harris, Microsoft Doug Lea, SUNY Oswego Maurice Herlihy, Brown Eliot Moss, UMass Tony Hosking, Purdue Jan Vitek, Purdue -------------- next part -------------- An HTML attachment was scrubbed... URL: http://lists.seas.upenn.edu/pipermail/types-announce/attachments/20060116/df57223d/attachment.html From pasalic at cs.rice.edu Tue Jan 17 17:25:49 2006 From: pasalic at cs.rice.edu (Emir Pasalic) Date: Tue, 17 Jan 2006 16:25:49 -0600 Subject: [TYPES/announce] Call for Papers - GPCE'06 Message-ID: ------------------------------------------------------------------------ -- CALL FOR TECHNICAL PAPERS Fifth International Conference on Generative Programming and Component Engineering (GPCE'06) http://www.gpce.org/06/ October 22-26, 2006 Portland, Oregon (co-located with OOPSLA'06) Sponsored by ACM SIGPLAN, in cooperation with ACM SIGSOFT. Proceedings to be published by ACM Press. ------------------------------------------------------------------------ -- IMPORTANT DATES * Pre-submission: April 30, 2006 * Submission: May 5, 2006, 23:59, Apia time (firm deadline, no extensions) * Notification: June 28, 2005 SCOPE Generative and component approaches are revolutionizing software development similar to how automation and components revolutionized manufacturing. Generative Programming (developing programs that synthesize other programs), Component Engineering (raising the level of modularization and analysis in application design), and Domain-Specific Languages (elevating program specifications to compact domain-specific notations that are easier to write, maintain, and analyze) are key technologies for automating program development. GPCE provides a venue for researchers and practitioners interested in foundational techniques for enhancing the productivity, quality, and time-to-market in software development that stems from deploying standard componentry and automating program generation. In addition to exploring cutting-edge techniques for developing generative and component-based software, our goal is to foster further cross-fertilization between the software engineering research community and the programming languages community. ------------------------------------------------------------------------ -- SUBMISSIONS 10 pages in SIGPLAN proceedings style (sigplanconf.cls) reporting research results and/or experience related to the topics above (PC co-chairs can advise on appropriateness). We particularly encourage original high-quality reports on applying GPCE technologies to real-world problems, relating ideas and concepts from several topics, or bridging the gap between theory and practice. ------------------------------------------------------------------------ -- TOPICS GPCE seeks contributions in software engineering and in programming languages related (but not limited) to: * Generative programming Reuse, meta-programming, partial evaluation, multi-stage and multi-level languages, and step-wise refinement Semantics, type systems, symbolic computation, linking and explicit substitution, in-lining and macros, templates, and program transformation Runtime code generation, compilation, active libraries, synthesis from specifications, development methods, generation of non-code artifacts, formal methods, and reflection * Generative techniques for Product-line architectures Distributed, real-time and embedded systems Model-driven development and architecture * Component-based software engineering Reuse, distributed platforms and middleware, distributed systems, evolution, patterns, development methods, deployment and configuration techniques, and formal methods * Integration of generative and component-based approaches * Domain engineering and domain analysis Domain-specific languages (DSLs) including visual and UML-based DSLs * Separation of concerns Aspect-oriented and feature-oriented programming, Intentional programming and multi-dimensional separation of concerns * Industrial applications Reports on applications of these techniques to real-world problems are especially encouraged, as are submissions that relate ideas and concepts from several of these topics, or bridge the gap between theory and practice. The program committee is happy to advise on the appropriateness of a particular subject. ------------------------------------------------------------------------ -- General Chair Stanislaw Jarzabek (National University of Singapore, Singapore) Program Committee Program Chairs: Douglas Schmidt (Vanderbilt University, USA) Todd Veldhuizen (Indiana University, USA) Program Committee Members: Giuseppe Attardi (University of Pisa, Italy) Elisa Baniassad (Chinese University of Hong Kong, China) Don Batory (University of Texas at Austin, USA) Ira Baxter (Semantic Designs, USA) Shigeru Chiba (Tokyo Institute of Technology, Japan) Charles Consel (INRIA/LaBRI, France) Krzysztof Czarnecki (University of Waterloo, Canada) Aniruddha Gokhale (Vanderbilt University, USA) Jeff Gray (U. of Alabama Birmingham, USA) George Heineman (Worcester Polytechnic Institute, USA) Zhenjiang Hu (University of Tokyo, Japan) H.-Arno Jacobsen (University of Toronto, Canada) Oleg Kiselyov (FNMOC, USA) Fabio Kon (University of S?o Paolo, Brazil) Karl Lieberherr (Northeastern University, USA) Joe Loyall (BBN Technologies, USA) Mira Mezini (Darmstadt University of Technology, Germany) Torben ?. Mogensen (DIKU, Denmark) Emir Pasalic (Rice University, USA) Calton Pu (Georgia Tech, USA) Tim Sheard (Portland State University, USA) Yannis Smaragdakis (Georgia Tech, USA) Michael Stal (Siemens, Germany) Peri Tarr (IBM TJ Watson, USA) Peter Thiemann (Freiburg University, Germany) Eelco Visser (Utrecht University, The Netherlands) Workshops/Tutorials chairs: Christa Schwanninger (Siemens, Germany) Arno Jacobsen (University of Toronto, Canada) Publicity chair: Emir Pasalic (Rice University, USA) Steering Committee: Don Batory (University of Texas at Austin, USA) Krzysztof Czarnecki (University of Waterloo, Canada) Ulrich Eisenecker (University of Leipzig, Germany) Stanislaw Jarzabek (National University of Singapore, Singapore) Eugenio Moggi (University of Genoa, Italy) Greg Morrisett (Harvard University, USA) Frank Pfenning (Carnegie Mellon University, USA) Tim Sheard (Portland State University, USA) Yannis Smaragdakis (Georgia Tech, USA) Walid Taha (Rice University, USA) For additional information, clarification, or questions please feel free to contact the Program Committee Co-chairs (Gpce06-chairs-l at mailman.rice.edu). ------------------------------------------------------------------------ -- GPCE Tutorials and Workshops GPCE Tutorials, extending over a half or full day, give a deeper or broader insight than conventional lectures. GPCE Workshops provide intensive collaborative environments, where generative and component technologists meet to discuss and resolve challenging problems in the field. Tutorial and workshop proposals are due Mar 18, 2006. From gustun at fing.edu.uy Wed Jan 18 09:24:45 2006 From: gustun at fing.edu.uy (Gustavo Betarte - INCO) Date: Wed, 18 Jan 2006 12:24:45 -0200 Subject: [TYPES/announce] Workshop on Formal Methods and Security In-Reply-To: References: Message-ID: <20060118122445.q2ufni7aos0ocgs0@www.fing.edu.uy> [- Apologies for multiple messages; - Pls note that the deadline for submission is March 31 ] Call for Papers Workshop on Formal Techniques for Specification and Analysis of Security (FTSAS 2006) http://www.fing.edu.uy/ftsas06 World Computer Congress - Security Stream August 20-25, Santiago de Chile Information technology is set to experience in the coming decades a massive and unprecedented increase in system complexity, leading to systems that integrate a vast spectrum of diverse technologies and heterogeneous intelligent devices by the billions in connected networks. The increasing complexity and distributed nature of systems will require the development of methodologies, languages, tools, and standards that facilitate interoperability and integration, and generalize deployment scenarios such as remote maintenance of devices. At the same time, the need for secure code will become more prominent, because the distinction between applications and systems will gradually disappear and most code will have consequences as regards security, and the task of writing secure code will become tremendously more difficult, because of the lack of effective support to integrate security considerations in system development. IT security is an area which involves important technical challenges because of the very high expectations of the market regarding the security properties information systems are expected to meet. The deployment of security mechanisms, though, is often done in an ad-hoc manner and lacking a precise security specification. Formal techniques provide a means to pinpoint precisely and analyze formally security requirements that arise in complex systems. Security is by its nature a global concern, the definition and the application of rigorous methodologies and the design and use of appropriate innovative tools should cover all the steps of the design, development and validation of IT products. The objective of the workshop is to bring together security experts and formal methods practitioners, who are interested in the application of formal methods in the design and validation of information systems. Topic of interest include: o specification and verification of security policies o language-based security for information flow and resource control o security based on verifiable evidence, Proof Carrying Code o system-wide security, security for concurrent and distributed systems o formal specification and verification of cryptographic protocols o cryptographic algorithms and provable security o trust management o digital rights management o case studies Paper Submission Authors are invited to submit an extended abstract explaining recent research results, work in progress or system descriptions. Papers shall not exceed 10 pages, inclusive of bibliography and appendices. They should be formatted for A4 or US letter paper with reasonable margins and fonts. The first page should include the title, the names and addresses of the authors, an abstract and a list of keywords. Accepted formats are limited to portable postscript and PDF. Please do not send files formatted for word processing packages (e.g., Microsoft Word or WordPerfect files). The workshop has no formal proceedings. Nevertheless, informal proceedings will be made available in electronic format and they will be distributed to all participants of the workshop. The authors of the best papers might be invited to submit an extended revision for inclusion in formal proceedings. Important dates o Paper Submission due: March 31, 2006 o Notification: April 21, 2006 o Final papers due: May 30, 2006 Program Committe o Tom?s Barros Universidad Diego Portales, Chile o Gilles Barthe INRIA Sophia-Antipolis, France o Gustavo Betarte Universidad de la Rep?blica, Uruguay o Ricardo Corin University of Twente, Netherlands o Pedro D'Argenio Universidad Nacional de Cordoba, Argentine o Benjamin Gr?goire INRIA Sophia-Antipolis, France o German Puebla Universidad Polit?cnica de Madrid, Spain o Gerardo Schneider University of Oslo, Norway ---------------------------------------------------------------- This message was sent using IMP, the Internet Messaging Program. From scd at doc.ic.ac.uk Wed Jan 18 13:29:44 2006 From: scd at doc.ic.ac.uk (Sophia Drossopoulou) Date: Wed, 18 Jan 2006 18:29:44 +0000 Subject: [TYPES/announce] research position at Imperial; types for program verification Message-ID: <43CE8918.8020505@doc.ic.ac.uk> salary: ? 22.870 - ? 33,330 per annum, fixed term appointment up to 30 months supervisor: Sophia Drossopoulou Deadline for applications: 10th February 2006 We are looking for a Research Associate to work on the EU funded project Mobius to develop ownership (universe) type systems to be used for proof carrying code. The post involves - development of ownership type systems to support verification of object oriented programs - development of this type system for the JVM - concurrency - a prototype implementation - type inference More information at http://www.jobs.ac.uk/jobfiles/PY888.html Please email me with any further questions Sophia Drossopoulou http://www.doc.ic.ac.uk/~scd/index.html From terkel at imm.dtu.dk Sat Jan 21 06:27:30 2006 From: terkel at imm.dtu.dk (terkel@imm.dtu.dk) Date: Sat, 21 Jan 2006 12:27:30 +0100 (CET) Subject: [TYPES/announce] GLOBAN 2006 Summer School Message-ID: <61411.80.167.153.234.1137842850.squirrel@www2.imm.dtu.dk> [ Several lectures are on types and related topics. ] GLOBAN 2006 The Global Computing Approach to Analysis of Systems International Summer School at DTU, August 21-25, 2006 http://www.imm.dtu.dk/globan The one-week GLOBAN summer school will give doctoral students and other young researchers a comprehensive overview of contemporary techniques for analysis and verification of models of global computing systems characterized by concurrency, communication, heterogeneity and distribution. The school is organised by IMM/DTU in association with the SENSORIA project. LECTURERS Process Algebras and Concurrent Systems Rocco De Nicola, University of Florence, Italy Equality of processes: equivalences and proof techniques Davide Sangiorgi, University of Bologna, Italy Flow Logics Flemming Nielson, Technical University of Denmark Computing with relations using Horn clauses Helmut Seidl, Technical University of Munich, Germany Type systems Vasco Vasconcelos, University of Lisbon, Portugal Modal logics Lu?s Caires, New University of Lisbon, Portugal Model checking Kim Guldstrand Larsen, University of Aalborg, Denmark Stochastic modelling Stephen Gilmore, University of Edinburgh, Scotland IMPORTANT DATES 1 March 2006 Details of registration, participant fees and a grant scheme will be posted on webpage 1 May 2006 Deadline for registration 21 August 2006 Summer school starts 25 August 2006 Summer school ends VENUE The school will be held at the DTU campus in Lyngby near Copenhagen, Denmark. ORGANIZERS Hanne Riis Nielson Flemming Nielson Terkel K. Tolstrup Henning Makholm Eva Bing From michele at dsi.unive.it Sun Jan 22 15:27:14 2006 From: michele at dsi.unive.it (Michele Bugliesi) Date: Sun, 22 Jan 2006 21:27:14 +0100 Subject: [TYPES/announce] ICALP 2006 -- Call For Papers Message-ID: <43D3EAA2.8030503@dsi.unive.it> *** Apologies for multiple copies *** _______________________________________________________________________ 33rd International Colloquium on Automata, Languages and Programming ICALP'06 - CALL FOR PAPERS SUBMISSION DEADLINE: February 10, 2006 Conference July 9-16, 2006, Venice, Italy http://icalp06.dsi.unive.it ______________________________________________________________________ The 33rd 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 9th to the 16th of July 2006 in Venice, Italy. Following the successful experience of the 32nd edition in Lisbon, ICALP'06 will complement the established structure of the scientific program based on Tracks on Algorithms, Automata, Complexity and Games (A), and on Logic, Semantics, and Theory of Programming (B), corresponding to the two main streams of the journal Theoretical Computer Science, with a special Track (C). 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): Ingo Wegener, University of Dortmund, Germany (PC Chair) * Algorithmic Aspects of Networks * Algorithmic Game Theory * Analysis of Heuristics * Automata Theory * Combinatorics in Computer Science * Computational Biology * Computational Complexity * Computational Geometry * Data Structures * Design and Analysis of Algorithms * Internet Algorithmics * Machine Learning * Parallel and Distributed Computing * Quantum Computing Track B (Logic, Semantics, and Theory of Programming): Vladimiro Sassone, University of Southampton, UK (PC Chair) * 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): Bart Preneel Katholieke Universiteit Leuven, Belgium (PC Chair) * 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 SUBMISSIONS 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. To submit, please login at http://www.easychair.org/ICALP2006/ and follow the instructions. IMPORTANT DATES *************** * Submissions: February 10, 2006 * Notification: April 9, 2006 * Final version due: April 30, 2006 INVITED SPEAKERS ****************** * Cynthia Dwork (Microsoft Research, Silicon Valley, USA) * Alon Noga (Tel Aviv University, Israel) * Prakash Panangaden (McGill University, Canana) * Simon Peyton Jones (Microsoft Research, Cambridge, UK) PROGRAM COMMITTEE ****************** Track A * Harry Buhrman (University of Amsterdam, The Netherlands) * Mark de Berg (TU Eindhoven, The Netherlands) * Uriel Feige (Weizmann Institute, Isreal) * Anna Gal (University of Texas at Austin, USA) * Johan Hastad (KTH Stockholm, Sweden) * Edith Hemaspaandra (Rochester Institute of Technology, USA) * Kazuo Iwama (Kyoto University, Japan) * Mark Jerrum (University of Edinburgh, UK) * Stefano Leonardi (UniversitSpeakers di Roma, Italy) * Friedhelm Meyer auf der Heide (Univrsitat Paderborn, Germany) * Ian Munro (University of Waterloo, Canada) * Sotiris Nikoletseas (Patras University, Greece) * Rasmus Pagh (IT Univerisy of Copenhagen, Denmark) * Tim Roughgarden (Stanford University, USA) * Jacques Sakarovitch (CRNS Paris, France) * Jiri Sgall (Academy of Sciences, Prague, Czech Republic) * Hans Ulrich Simon (Ruhr-Universitat Bochum, Germany) * Alistair Sinclair (University of Berkeley, USA) * Angelika Steger (ETH Zurich, Switzerland) * Denis Therien ((McGill University, Canada) * Ingo Wegener (Universitat, Germany - PC Chair) * Emo Welzl (ETH Zurich, Switzerland) Track B * Roberto Amadio (Universite Paris 7, France) * Lars Birkedal (IT University of Copenhagen, Denmark) * Roberto Bruni (Universita di Pisa, Italy) * Mariangiola Dezani (Universita di Torino, Italy) * Volker Diekert (University of Stuttgart, Germany) * Abbas Edalat (Imperial College, UK) * Jan Friso Groote Eindhoven University of Technology, The Nederlands * Tom Henzinger (EPFL, Switzerland) * Madhavan Mukund (Chennai Mathematical Institute, INDIA) * Jean-Eric Pin (L.I.A.F.A, France) * Julian Rathke (University of Sussex, UK) * Jakob Rehof (Microsoft Research, Redmont, USA) * Vladimiro Sassone (Univerisity of Southampton, UK - PC chair) * Don Sannella (Univeriity of Edinburgh, UK) * Nicole Schweikardt (Humboldt-Universitat zu Berlin, Germany) * Helmut Seidl (Technische Universitat Munchen, Germany) * Peter Selinger (Dalhousie University, Canada) * Jerzy Tiuryn (Warsaw University, Poland) * Victor Vianu (U. C. San Diego, USA) * David Walker (Princeton University, USA) * Igor Walukiewicz (Labri, Universite Bordeaux, France) Track C * Martin Abadi (University of California at Santa Cruz, USA) * Christian Cachin (IBM Research, Switzerland) * Ronald Cramer (CWI and Leiden University, The Netherlands) * Ivan Damgard (University of Aarhus, Denmark) * Giovanni Di Crescenzo (Telcordia, USA) * Marc Fischlin (ETH Zurich, Switzerland) * Dieter Gollmann (University of Hamburg-Harburg, Germany) * Andrew D. Gordon (Microsoft Research, UK) * Aggelos Kiayias (University of Connecticut, USA) * Joe Kilian (Rutgers University, USA) * Cathy Meadows (Naval Research Laboratory, USA) * John Mitchell (Stanford University, USA) * Mats Naslund (Ericsson, Sweden) * Tatsuaki Okamoto (Kyoto University, Japan) * Rafael Ostrovksy (University of California at Los Angeles, USA) * Pascal Paillier (Gemplus, France) * Giuseppe Persiano (University of Salerno, Italy) * Benny Pinkas (HP Labs, Israel) * Bart Preneel (Katholieke Universiteit Leuven, Belgium - PC Chair) * Vitaly Shmatikov (University of Texas at Austin, USA) * Victor Shoup (New York University, USA) * Jessica Staddon (PARC, USA) * Frederik Vercauteren (Katholieke Universiteit Leuven, Belgium) Contact ADDRESSES: ****************** For further information see: http://icalp06.dsi.unive.it/ From fermin.reig at cs.nott.ac.uk Mon Jan 23 04:43:03 2006 From: fermin.reig at cs.nott.ac.uk (Fermin Reig) Date: Mon, 23 Jan 2006 09:43:03 +0000 Subject: [TYPES/announce] Spring School on "Datatype-generic programming", Call for Participation Message-ID: <1138009383.24731.5.camel@kiwi.cs.nott.ac.uk> ( The lecturers will discuss recent developments in type systems and programming languages. Apologies for multiple copies) Call for Participation Spring School on Datatype-Generic Programming http://www.cs.nott.ac.uk/ssdgp2006/ University of Nottingham, UK 24-27 April 2006 ************ Background and objectives ************ Generic programming is a thriving research area aimed at making programming more effective by making it more general. This school aims to give participants insights into the applications of datatype-generic programming and the current research challenges in the area. This school is a successor to the Summer School and Workshop on Generic Programming, held in Oxford in August 2002 (lecture notes appeared as volume 2793 of LNCS). ************ Technical programme ************ The lectures will be tutorial-style (as opposed to conference-style) and will be accessible to beginning computing science postgraduates. The scientific programme consists of six courses given by renowned specialists, and a student session. The list of courses is the following: * Thorsten Altenkirch (University of Nottingham): (in collaboration with Conor McBride and Peter Morris) Generic programming with dependent types * Jeremy Gibbons (University of Oxford): Design Patterns as Higher-Order Datatype-Generic Programs * Ralf Hinze (Universitat of Bonn): Generic Programming, Now! (in collaboration with Andres Loeh) * Johan Jeuring (Universiteit Utrecht): Comparing Approaches to Generic Programming (in collaboration with Ralf Hinze and Andres Loeh) * Ralf Laemmel (Microsoft) The next 700 traversal approaches * Tim Sheard (Portland State University): Putting the Curry-Howard Isomorphism to work. Copies of the draft lecture notes will be provided to all participants. The purpose of the student session is to give students an opportunity to present their work and get feedback. Registrants are invited to propose short talks (15-20 min). The selection will be based on abstracts of 150-400 words. ************ Social programme ************ A conference dinner will be organised (attendance at which will be charged seperately). ************ Organisers ************ Roland Backhouse (University of Nottingham) Jeremy Gibbons (University of Oxford) Ralf Hinze (Universitat Bonn) Johan Jeuring (Universiteit Utrecht) Fermin Reig (University of Nottingham) ************ Co-location ************ The Symposium on Trends in Functional Programming (TFP 2006), and the Conference of the Types Project (TYPES 2006) will be held in Nottingham the week before this spring school. ************ Registration and cost ************ To register, send an email to the following address: gp2006(at)cs.nott.ac.uk A small fee will be charged to cover photocopying of the draft proceedings, coffee, etc. ************ Accommodation ************ Participants are expected to arrange their own accommodation. See the school's web site for information about accommodation in the campus and its vicinity. ************ APPSEM ************ This is an APPSEM affiliated event. APPSEM funds can be used to support participants from APPSEM affiliated sites. ************ Further information ************ Web: http://www.cs.nott.ac.uk/ssdgp2006/ Email: gp2006(at)cs.nott.ac.uk 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. From stevez at cis.upenn.edu Mon Jan 23 13:19:32 2006 From: stevez at cis.upenn.edu (Steve Zdancewic) Date: Mon, 23 Jan 2006 13:19:32 -0500 Subject: [TYPES/announce] 2nd CFP: Programming Languages and Analysis for Security (PLAS) 2006 Message-ID: <43D51E34.2060000@cis.upenn.edu> Note the revised submission & publication guidelines. ----------------------------------------------------------------------- Call for Papers PLAS 2006 ACM SIGPLAN Workshop on Programming Languages and Analysis for Security http://www.cis.upenn.edu/~stevez/plas06.html co-located with ACM SIGPLAN PLDI 2006 Conference on Programming Language Design and Implementation Ottawa, Canada, June 10, 2006 The goal of PLAS 2006 is to provide a forum for researchers and practitioners to exchange and understand ideas and to seed new collaboration on the use of programming language and program analysis techniques that improve the security of software systems. The scope of PLAS includes, but is not limited to: -- Language-based techniques for security -- Program analysis and verification (including type systems and model checking) for security properties -- Compiler-based and program rewriting security enforcement mechanisms -- Security policies for information flow and access control -- High-level specification languages for security properties -- Model-driven approaches to security -- Applications, examples, and implementations of these security techniques Submission: We invite papers of two kinds: (1) Technical papers for "long" presentations during the workshop, and (2) papers for "short" presentations (10 minutes). Papers submitted for the long format should contain relatively mature content; short format papers can present more preliminary work, position statements, or work that is more exploratory in nature. The deadline for submissions of technical papers (for both the short and long presentations) is March 03, 2006. Papers must be formatted according the ACM proceedings format: "long" submissions should not exceed 10 pages in this format; "short" submissions should not exceed 4 pages. These page limits include everything (i.e., they are the total length of the paper). Papers submitted for the "long" category may be accepted as short presentations at the program committee's discretion. Email the submissions to stevez AT cis.upenn.edu. Submissions should be in PDF (preferably) or Postscript that is interpretable by Ghostscript and printable on US Letter and A4 sized paper. Templates for SIGPLAN-approved LaTeX format can be found at http://www.acm.org/sigs/sigplan/authorInformation.htm. We recommend using this format, which improves greatly on the ACM LaTeX format. Publication options: Authors of accepted papers may choose whether they would like their work published in a planned special issue of SIGPLAN Notices. Those papers that are not published in SIGPLAN Notices will only be considered part of the informal workshop proceedings and are therefor suitable for future publication in journal or other conference venues. Submitted papers must describe work unpublished in refereed venues, and not submitted for publication elsewhere (including journals and formal proceedings of conferences and workshops). See the SIGPLAN republication policy for more details http://www.acm.org/sigs/sigplan/republicationpolicy.htm Important dates: Submission deadline March 03, 2006 Notification of acceptance April 03, 2006 Final papers due April 24, 2006 Workshop June 10, 2006 Organizers: Steve Zdancewic, University of Pennsylvania, stevez AT cis.upenn.edu Vugranam C. Sreedhar, IBM T.J. Watson Research Center vugranam AT us.ibm.com Program Committee: Amal Ahmed, Harvard University, USA Anindya Banerjee, Kansas State University, USA Adriana Compagnoni, Stevens Institute of Technology, USA Elena Ferrari, University of Insubria at Como, Italy Michael Hicks, University of Maryland, USA Annie Liu, State University of New York at Stony Brook, USA Brigitte Pientka, McGill University, Canada Sriram Rajamani, Microsoft Research, India, Vugranam Sreedhar, IBM TJ Watson Research Center, USA Westley Weimer, University of Virginia, USA Steve Zdancewic, University of Pennsylvania, USA From wrla06 at csl.sri.com Tue Jan 24 01:32:24 2006 From: wrla06 at csl.sri.com (WRLA Acct (Denker)) Date: Mon, 23 Jan 2006 22:32:24 -0800 Subject: [TYPES/announce] WRLA 2006: accepted papers and call for system/tool demos Message-ID: <200601240632.k0O6WOId003285@fury.csl.sri.com> We are pleased to announce that the papers listed below have been accepted for presentation at the Workshop on Rewriting Logic and Applications, April 1-2, 2006 in Vienna Austria (an ETAPS 2006 workshop). Workshop url: http://www-formal.stanford.edu/clt/WRLA06 In addition to the accepted papers the workshop will feature Invited Speaker: Arvind A system and tools demo session (proposals due February 6, see WRLA06 website for instructions) And, for the first time, a rewrite engine competition will take place at WRLA. Its goal is to test the effectiveness of the various rewrite engines on different types of problems. The ultimate goal of the rewrite engine competition is to help colleagues that use term rewriting in their applications to choose the right rewrite engine. It is expected that some rewrite engines will outperform others on specific types of problems, but none will outperform all the others on all types of problems. More details will be made available on the WRLA06 website soon. ***************************************************************************** "Making Partial Order Reduction Tools Language-Independent", Azadeh & Meseguer "Maude MSOS Tool", Chalub & Braga "Distributive Rho-Calculus", Cirstea & Houtmann & Wack "Implementation of Mobile Maude", Duran & Verdejo & Riesco "A Rewrite Framework for Language Definitions and for Generation of Efficient Interpreters", Hill & Serbanuta & Rosu "A Rewriting Semantics for ABEL with Applications to Hardware/Software Co-Design and Analysis", Katelman & Meseguer "Abstraction and Model Checking of Core Erlan Programs in Maude", Neuhaeusser & Noll "Abstraction and Completeness for Real-Time Maude", Olvecky & Meseguer "Canonical Abstract Syntax Trees", Reilles "Solving Sudoku Puzzles with Rewriting Rules", Santos-Garcia & Palomino "Java+ITP: A Verification Tool Based on Hoare Logic and Algebraic Semantics", Sasse & Meseguer "On Modelling Sensor Networks in Maude", Rodriguez "A Rewriting Logic Framework for Soft Constraints", Wirsing, Denker, Talcott, Poggio, & Briesemeister From akama at math.tohoku.ac.jp Tue Jan 24 04:44:58 2006 From: akama at math.tohoku.ac.jp (akama@math.tohoku.ac.jp) Date: Tue, 24 Jan 2006 18:44:58 +0900 Subject: [TYPES/announce] CFP:Fourth Workshop on Learning with Logics and Logics for Learning Message-ID: <43D5F71A.3050705@math.tohoku.ac.jp> CALL for PAPERS and PARTICIPATION Fourth Workshop on Learning with Logics and Logics for Learning (LLLL, L4) http://www.i.kyoto-u.ac.jp/~akihiro/LLLL2006.html Scope of the workshop : Logic is a fundamental and useful representation method in Artificial Intelligence. In the area of Machine Learning, various types of computational logic, such as logic programs, first-order logic, description logic, higher-order logic, have been used for representing knowledge obtained with various types of learning mechanisms including identification in the limit, PAC learning, on-line learning, EXACT learning, machine discovery, and learning based on Bayesian networks. On the other hand, machine learning procedures are used in giving semantics to logic and foundations of some procedures in mathematics. This workshop is proposed to bring together researchers who are interested in both of the areas of machine learning and computational logic, and to have intensive discussions on various relations between the two with making their interchange more active. Potential (but not exclusive) topics include : Learning and knowledge discovery using logics Algorithmic aspects of learning based on logics Logics for machine learning and knowledge discovery Logics using machine learning Machine learning as a foundation of mathematics/mathematical procedures Amalgamation of logic-based learning and statistical/information theoretical learning Learning and knowledge discovery from relational data Learning and knowledge discovery from structured/semi-structured data Learning and knowledge discovery from real-valued data Deadline of (first) paper submission: March 22, 2006 Notification of Acceptance: April 10, 2006 Deadline of camera ready submission: April 21, 2006 Workshop date: June 5 (Monday) or 6 (Tuesday), 2006 Workshop site: Tower Hall Funabori, Edogawa, Tokyo JAPAN http://www.city.edogawa.tokyo.jp/shisetsu/bunka/bunka1.html The working note (proceedings) will be published by JSAI for the workshop, and some outstanding papers will be published in a post proceedings book as a volume in Lecture Notes in Artificial Intelligence from Springer, with such papers from other collocated workshops. Workshop organizers : Akihiro Yamamoto (Kyoto University) Kouichi Hirata (Kyushu Institute of Technology) Ken Satoh (National Institute of Informatics) Workshop Web Page http://www.i.kyoto-u.ac.jp/~akihiro/LLLL2006.html Program Committee Yoji Akama (Tohoku University, Japan) Marta Arias (Columbia University, USA) Hiroki Arimura (Hokkaido University, Japan) Kouichi Hirata (Kyushu Institute of Technology, Japan) Eiju Hirowatari(The University of Kitakyushu, Japan) Tamas Horvath (Fraunhofer Institute, Germany) Katsumi Inoue (National Institute of Informatics, Japan) Roni Khardon (Tufts University, USA) Eric Martin (University of New South Wales, Australia) Shin-ichi Minato (Hokkaido University, Japan) Tetsuhiro Miyahara (Hiroshima City University, Japan) Luc de Raedt (University of Freiburg, Germany) M.R.K. Krishna Rao (King Fahd University of Petroleum and Minerals, Saudi Arabia) Ken Satoh (National Institute of Informatics, Japan) Joe Suzuki (Osaka University, Japan) Gyorgy Turan (University of Illinois at Chicago, USA) Hiroaki Watanabe(Imperial College London, UK) Akihiro Yamamoto (Kyoto University, Japan) Contact: Postal addess : Akihiro Yamamoto Graduate School of Informatics Kyoto University Yoshida-Honmachi, Sakyo-ku, Kyoto 606-8501 JAPAN Email : akihiro at i.kyoto-u.ac.jp Tel: +81 75 753 5995 Fax: +81 75 753 5628 From padovani.luca at gmail.com Wed Jan 25 04:10:03 2006 From: padovani.luca at gmail.com (Luca Padovani) Date: Wed, 25 Jan 2006 10:10:03 +0100 Subject: [TYPES/announce] ANN: PiDuce Language Message-ID: <38F514A2-A1D6-421A-80FB-0798B6312D6D@gmail.com> We are pleased to announce the availability of the PiDuce programming language and its runtime environment. PiDuce is a concurrent, distributed language intended for experimenting emerging Web Services technologies. PiDuce can be used as a target language for compilers and processors of business languages such as BizTalk and BPel. It is a general guideline for the development of PiDuce to make extensive use of standard technologies for Web Services: PiDuce relies on the eXtensible Markup Language (XML) for data communication, it describes documents and patterns using XML Schema, it imports and exports Web Services using the Web Service Description Language (WSDL), and it supports the SOAP-over-HTTP method for physical communication. Underneath this technological cover, PiDuce builds on solid theoretical foundations: it integrates the communication primitives of the Pi calculus, the synchronization patterns of the Join calculus, and an expressive type system that extends XML datatypes with first-class channels and that retains a notion of subtyping. PiDuce is a type-safe language: well-typed process cannot fail. PiDuce has been developed in C# (version 2.0) and can run on Windows, MacOS, Linux and all the other operating systems supporting the free Mono implementation of the .NET framework. Further information, papers, the source code of the PiDuce compiler and runtime environment, as well as some examples of PiDuce programs accessing real-world Web services, can be found at http://www.cs.unibo.it/PiDuce/ We will be glad to receive comments and feedback about PiDuce. -- Samuele Carpineti, Cosimo Laneve, Leonardo Mezzina Department of Computer Science, University of Bologna. Luca Padovani Information Science and Technology Institute, University of Urbino. From kurz at mcs.le.ac.uk Mon Jan 30 06:17:35 2006 From: kurz at mcs.le.ac.uk (Alexander Kurz) Date: Mon, 30 Jan 2006 11:17:35 +0000 Subject: [TYPES/announce] MGS 2006 Message-ID: <43DDF5CF.5030702@mcs.le.ac.uk> [Apologies for multiple copies] ************************************************************* Midlands Graduate School 2006 in the Foundations of Computing ************************************************************* http://www.cs.le.ac.uk/~mgs2006 The Midlands Graduate School is taking place 8 - 12 April 2006 at the University of Leicester, UK. The School provides an intensive course of lectures on the Foundations of Computing. It is very well established, having run annually for the past six years, and has always proved a popular and successful event. This year we have Luke Ong, Oxford University and Thomas Streicher, Darmstadt University as guest lecturers. The lectures are aimed at graduate students, typically in their first or second year of study for a PhD. However, the school is open to anyone who is interested in learning more about mathematical computing foundations, and we especially invite participants from UK universities and from sites participating in the APPSEM working group. Foundational courses: R Crole Leicester Operational Semantics P Levy Birmingham Typed Lambda Calculus D Pattinson Leicester Category Theory Advanced courses: T Altenkirch Nottingham Quantum Programming M Escardo Birmingham Operational Domain Theory & Topology H Nilsson Nottingham Advanced Functional Programming L Ong Oxford Game Semantics T Streicher Darmstadt Constructive Logic E Tuosto Leicester Concurrency We expect to have some grants for UK students, while APPSEM funds can be used to support students from APPSEM affiliated sites. For further details and registration please visit http://www.cs.le.ac.uk/~mgs2006 Please register soon! Places and accommodation will be allocated on a first-come, first-serve basis. Roy Crole Alexander Kurz Dirk Pattinson From mir at ruc.dk Mon Jan 30 08:04:30 2006 From: mir at ruc.dk (Morten Rhiger) Date: Mon, 30 Jan 2006 14:04:30 +0100 Subject: [TYPES/announce] Third CFP: Trends in Functional Programming (TFP 2006) Message-ID: <1138626270.43de0edede6d9@webmail.ruc.dk> TFP 2006 Seventh Symposium on Trends in Functional Programming Nottingham, UK, 19 - 21 April, 2006 http://www.cs.nott.ac.uk/~nhn/TFP2006 Co-located with Types 2006 and Spring School on Datatype-Generic Programming CALL FOR PAPERS The Symposium on Trends in Functional Programming (TFP) is an international forum for researchers with interests in all aspects of functional programming languages, focusing on providing a broad view of current and future trends in Functional Programming. It aspires to be a lively environment for presenting the latest research results through acceptance by extended abstracts. A formal post-symposium refereeing process then selects the best papers presented at the symposium for publication in a high-profile volume. TFP 2006 is going to be held in Nottingham, UK, 19 - 21 April. Note that this is significantly earlier in the year than past TFPs that generally were held in August - September. TFP 2006 is co-located with Types 2006 (18 - 21 April). The TFP symposium is the successor to the successful series of Scottish Functional Programming Workshops. Previous TFP symposia were held in Edinburgh, Scotland in 2003, in Munich, Germany in 2004, and in Tallinn, Estonia in 2005 (co-located with ICFP and GPCE). For further general information about TFP, see http://www.tifp.org/. SCOPE OF THE SYMPOSIUM The Symposium recognises that new trends may arise through various routes. As part of the Symposium's focus on trends we therefore identify the following five categories of paper. High-quality papers are solicited in any of these categories: Research Papers: leading-edge, previously unpublished research work Position Papers: on what new trends should or should not be Project Papers: descriptions of recently started new projects Evaluation Papers: what lessons can be drawn from a finished project Overview Papers: summarising work with respect to a trendy subject Papers must be original, and not submitted for simultaneous publication in any other forum. They may consider any aspect of functional programming: theoretical, implementation-oriented, or more experience-oriented. Also applications of functional programming techniques to other languages may be considered. Papers on the following subject areas are particularly welcome: o dependently typed functional programming o validation and verification of functional programs o debugging for functional languages o functional programming and security o functional programming and mobility o functional programming and formally motivated computing o functional languages for telecommunications applications o functional languages for embedded systems o functional programming applied to global computing o functional GRIDs o functional languages for reasoning about imperative/object- oriented programs o interoperability with imperative programming languages o any new emerging trend in the functional programming area If you are in doubt on whether your paper is within the scope of TFP, please contact the TFP 2006 programme chair, Henrik Nilsson, nhn at cs.nott.ac.uk. BEST STUDENT PAPER AWARD TFP traditionally pays special attention to research students, acknowledging that students are almost by definition part of new subject trends. To acknowledge this, a prize for the best student paper is awarded each year. CO-LOCATION WITH TYPES 2006 AND DATATYPE-GENERIC PROGRAMMING 2006 TFP 2006 is co-located with Types 2006 (to be held 18 - 21 April). To take advantage of the synergies offered by these two complementary events, we will invite a number of joint keynote speakers, hold joint sessions on topics of mutual interest, such as dependently typed functional programming, and run common social events. The schedule will be arranged so that participants may freely move between parallel sessions of the two events. See http://www.cs.nott.ac.uk/types06/ for further details. TFP 2006 and Types 2006 are immediately followed by the Spring School on Datatype-Generic Programming 2006 (24 - 27 April), which should be of direct interest to many of the TFP and Types Participants. See http://www.cs.nott.ac.uk/ssdgp2006/ for further details. SUBMISSION AND LOCAL PROCEEDINGS Acceptance to the symposium is by extended abstracts of between 6 and 10 pages. Accepted abstracts are to be completed to full papers before the symposium for publication in the local symposium proceedings and on-line. Important dates: Deadline for abstract submission: 17 February, 2006 Notification of acceptance: 27 February, 2006 Registration deadline: 17 March, 2006 Camera-ready copy of full paper: 24 March, 2006 The submission must clearly indicate to which category it belongs: research, position, project, evaluation or overview paper. It should also indicate whether the main author or authors are research students. Abstracts and full papers must be written in English. Papers for the symposium proceedings must adhere to the formatting instructions provided on the TFP 2006 site. Papers must not exceed 16 pages; papers in some categories may comprise considerably fewer pages. The papers of the local proceedings will also be made available on-line under the following conditions, with which all authors are asked to agree: The documents distributed by this server have been provided by the contributing authors as a means to ensure timely dissemination of scholarly and technical work on a noncommercial basis. Copyright and all rights therein are maintained by the authors or by other copyright holders, notwithstanding that they have offered their works here electronically. It is understood that all persons copying this information will adhere to the terms and constraints invoked by each author's copyright. These works may not be reposted without the explicit permission of the copyright holder. See the TFP 2006 website for further instructions to authors and details on how to submit. POST SYMPOSIUM REFEREEING AND PUBLICATION In addition to the local symposium proceedings, we intend to continue the TFP tradition of publishing a high-quality subset of contributions in the Intellect series on Trends in Functional Programming (see http://www.intellectbooks.co.uk/series.php?series=1). All TFP authors will be invited to submit revised papers after the symposium. These will will be refereed to normal conference standards, and a subset of the best papers over all categories will be selected for publication. Papers will be judged on their contribution to the research area, with appropriate criteria applied to each category of paper. Papers submitted for publication by Intellect must follow formatting and any other instructions provided by the Programme Chair. For TFP 2005, in order to enhance the quality of student submissions, a process where student papers were given extra feedback was tried out. A similar process might be put in place for this TFP, contingent on the outcome of that trial. ORGANISATION Symposium Chair: Marko van Eekelen, Radboud University Nijmegen, NL Programme Chair: Henrik Nilsson, University of Nottingham, UK Treasurer: Greg Michaelson, Heriot-Watt University, UK Local Arrangements: Joel Wright, University of Nottingham, UK PROGRAMME COMMITTEE: o Kenichi Asai, Ochanomizu University o Gilles Barthes, INRIA, Sophia Antipolis o Olaf Chitil, University of Kent at Canterbury o Catherine Dubois, IIE, Evry o Marko van Eekelen, Radboud Universiteit Nijmegen o Jeremy Gibbons, Oxford University o Kevin Hammond, University of St Andrews o Zolt?n Horv?th, E?tv?s Lor?nd University o Frank Huch, Christian-Albrechts-University of Kiel o Johan Jeuring, Universiteit Utrecht o Greg Michaelson, Heriot-Watt University o Henrik Nilsson, University of Nottingham o Ricardo Pe?a, Universidad Complutense de Madrid o Morten Rhiger, Roskilde University o Colin Runciman, University of York o Carsten Sch?rmann, IT University of Copenhagen o Zhong Shao, Yale University o Phil Trinder, Heriot-Watt University SPONSORS We are actively looking for additional TFP sponsors, who may help to subsidise attendance by research students, for example. If you or your organisation might be willing to sponsor TFP, or if you know someone who might be willing to do so, please do not hesitate to contact the Symposium chair: Marko van Eekelen. Your students will be grateful! From zucker at cas.mcmaster.ca Mon Jan 30 10:12:57 2006 From: zucker at cas.mcmaster.ca (Jeffery Zucker) Date: Mon, 30 Jan 2006 10:12:57 -0500 (EST) Subject: [TYPES/announce] FM'06: 2nd CFP Message-ID: <200601301512.k0UFCvTU014775@birkhoff.cas.mcmaster.ca> FM'06: 14TH INTERNATIONAL SYMPOSIUM ON FORMAL METHODS 21 - 27 August 2006 McMaster University, Hamilton, Ontario, Canada http://fm06.mcmaster.ca/ SECOND CALL FOR PAPERS NOTE: SUBMISSIONS CAN NOW BE MADE THROUGH THE SUBMISSION SITE AT http://fm06.mcmaster.ca/submission.htm FM'06 is the fourteenth in a series of symposia organized by Formal Methods Europe, http://www.fmeurope.org, an independent association whose aim is to stimulate the use of, and research on, formal methods for software development. The symposia have been notably successful in bringing together innovators and practitioners in precise mathematical methods for software development, industrial users as well as researchers. Submissions are welcomed in the form of original papers on research and industrial experience, proposals for workshops and tutorials, entries for the exhibition of software tools and projects, and reports on ongoing doctoral work. FM'06 welcomes all aspects of formal methods research, both theoretical and practical. We are particularly interested in the experience of applying formal methods in practice. The broad topics of interest of this conference are: * Tools for formal methods: tool support and software engineering, environments for formal methods. * Theoretical foundations: specification and modelling, refining, static analysis, model-checking, verification, calculation, reusable domain theories. * Formal methods in practice: experience with introducing formal methods in industry, case studies. * Role of formal methods: formal methods in hardware and system design, method integration, development process. TECHNICAL PAPERS Full papers should be submitted via the web site. Papers will be evaluated by the Program Committee according to their originality, significance, soundness, quality of presentation and relevance with respect to the main issues of the symposium. Accepted papers will be published in the Symposium Proceedings, to appear in Springer's Lecture Notes in Computer Science series, http://www.springeronline.com/lncs . Submitted papers should have not been submitted elsewhere for publication, should be in Springer's format, (see Springer's web site), and should not exceed 16 pages including appendices. A prize for the best technical paper will be awarded at the symposium. INDUSTRIAL USAGE REPORTS One day will be dedicated to sharing the experience -- both positive and negative -- with using formal methods in industrial environments. The Industry Day is organized by ForTIA, the Formal Techniques Industry Association, http://www.fortia.org . This year's Industry Day investigates the use of formal methods in security and trust. Invited papers on organizational and technical issues will be presented. Inquiries should be directed to the Industry Day Chairs; see the web site for details. WORKSHOPS We welcome proposals for one-day or one-and-a-half-day workshops related to FM'06. In particular, but not exclusively, we encourage proposals for workshops on various application domains. Proposals should be directed to the Workshop Chair. TUTORIALS We are soliciting proposals for full-day or half-day tutorials. The tutorial contents can be selected from a wide range of topics that reflect the conference themes and provide clear utility to practitioners. Each proposal will be evaluated on importance, relevance, timeliness, audience appeal and past experience and qualification of the instructors. Proposals should be directed to the Tutorial Chair. POSTER AND TOOL EXHIBITION An exhibition of both research projects and commercial tools will accompany the technical symposium, with the opportunity of holding scheduled presentations of commercial tools. Proposals should be directed to the Poster and Tools Exhibition Chair. DOCTORAL SYMPOSIUM For the first time, FM'06 will feature a doctoral symposium. Students are invited to submit work in progress and to defend it in front of "friendly examiners". Participation for students who are accepted will be subsidized. Submissions should be directed to the Doctoral Symposium Chair. SUBMISSION DATES Technical Papers, Workshops, Tutorials: Friday, February 24, 2006 Posters and Tools, Doctoral Symposium: Friday, May 26, 2006 NOTIFICATION DATES Technical Papers: Friday, April 28, 2006 Workshops, Tutorials: Friday, March 10, 2006 Posters and Tools, Doctoral Symposium: Friday, June 9, 2006 ORGANIZATION General Chair: Emil Sekerinski (McMaster) Program Chairs: Jayadev Misra (U. Texas, Austin), Tobias Nipkow (TU Munich) Workshop Chair: Tom Maibaum (McMaster) Tutorial Chair: Jin Song Dong (NUS) Tools and Poster Exhibition Chair: Marsha Chechik (U. Toronto) Industry Day Chairs: Volkmar Lotz (SAP France), Asuman Suenbuel (SAP US) Doctoral Symposium Chair: Augusto Sampaio (U. Pernambuco) Sponsorship Chair: Juergen Dingel (Queens U.) PROGRAM COMMITTEE Jean-Raymond Abrial (ETH Zurich) Alex Aiken (Stanford U.) Keijiro Araki (Kyushu U.) Ralph Back (Abo Akademi) Gilles Barthe (INRIA) David Basin (ETH Zurich) Ed Brinksma (U. Twente) Michael Butler (U. Southampton) Rance Cleaveland (U. Stony Brook) Jorge Cuellar (Siemens) Werner Damm (U. Oldenburg) Frank de Boer (U. Utrecht) Javier Esparza (U. Stuttgart) Jose Fiadeiro (U. Leicester) Susanne Graf (VERIMAG) Ian Hayes (U. Queensland) Gerard Holzmann (JPL) Cliff Jones (U. Newcastle) Gary T. Leavens (Iowa State U.) Rustan Leino (Microsoft) Xavier Leroy (INRIA) Dominique Mery (LORIA) Carroll Morgan (UNSW) David Naumann (Stevens) E.-R. Olderog (U. Oldenburg) Paritosh Pandya (TIFR) Sriram Rajamani (Microsoft) John Rushby (SRI) Steve Schneider (U. Surrey) Vitaly Shmatikov (U. Texas, Austin) Bernhard Steffen (U. Dortmund) P.S. Thiagarajan (NUS) Axel van Lamsweerde (U. Louvain) Martin Wirsing (LMU Munich) Pierre Wolper (U. Liege) LOCAL ORGANIZATION Publicity: Wolfram Kahl, Alan Wassyng, Jeff Zucker Tools, Posters, Book Exhibition: Spencer Smith Social Events: Ridha Khedri Local Arrangements:: William Farmer, Mark Lawford Events Co-ordinator: Ryszard Janicki From cortesi at unive.it Mon Jan 30 10:23:16 2006 From: cortesi at unive.it (Agostino Cortesi) Date: Mon, 30 Jan 2006 16:23:16 +0100 (CET) Subject: [TYPES/announce] ACM PPDP'06 Call for Papers Message-ID: ................................................................ PPDP 2006 Preliminary Call For Papers 8th ACM-SIGPLAN International Symposium on Principles and Practice of Declarative Programming Venice, Italy, July 10-12, 2006 http://www.dsi.unive.it/ppdp2006/ ................................................................ IMPORTANT DATES Submission 15 March 2006 Notification 22 April 2006 SCOPE: PPDP 2006 is a forum for the declarative programming communities, gathering researchers working on logic, constraint and functional programming, but also on other programming language paradigms like visual programming, executable specification languages, database languages, AI and knowledge representation languages for the "semantic web". MAIN TOPICS: Logic, Constraint, and Functional Programming; Database, AI and Knowledge Representation Languages; Visual Programming; Executable Specification for Languages; Applications of Declarative Programming; Methodologies Program Design and Development; Declarative Aspects of Object-Oriented Programming; Concurrent Extensions to Declarative Languages; Declarative Mobile Computing; Paradigm Integration; Proof Theoretic and Semantic Foundations; Type and Module Systems; Program Analysis and Verification; Program Transformation; Abstract Machines and Compilation; Programming Environments. PROCEEDINGS: Proceedings will be published by ACM Press. RELATED EVENTS: PPDP 2006 will be co-located with the 33rd International Colloquium on Automata, Languages and Programming (ICALP 2006), which will take place on July 9-16, 2006 (http://icalp06.dsi.unive.it) CONFERENCE CHAIR: Annalisa Bossi, U. Ca' Foscari di Venezia PROGRAM CHAIR: Michael Maher, National ICT Australia PROGRAM COMMITTEE: Nick Benton (Microsoft Research, UK) Annalisa Bossi (U. Ca' Foscari di Venezia, Italy) Manuel Chakravarty (U. NSW, Australia) Bart Demoen (K. U. Leuven, Belgium) Moreno Falaschi (U. Udine, Italy) Radha Jagadeesan (DePaul U., USA) Bharat Jayaraman (SUNY Buffalo, USA) Yukiyoshi Kameyama (U. Tsukuba, Japan) Andy King (U. Kent, UK) Francois Laburthe (Bouyges, France) David Sands (Chalmers U., Sweden) Christian Schulte (KTH, Sweden) Pascal Van Hentenryck (Brown U., USA) Roland Yap (NUS, Singapore) =-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=- prof. agostino cortesi tel. 0039 041 234.8450 dipartimento di informatica fax 0039 041 234.8419 universita' ca' foscari mail cortesi at dsi.unive.it via torino 155 url www.dsi.unive.it/~cortesi 30170 Venezia location: studio n.1 From mael at itu.dk Tue Jan 31 07:26:31 2006 From: mael at itu.dk (Martin Elsman) Date: Tue, 31 Jan 2006 13:26:31 +0100 Subject: [TYPES/announce] MLKit 4.3.0 Release Message-ID: Dear all, We are happy to announce the release of MLKit 4.3.0, a compiler for the programming language Standard ML. The MLKit provides the following features: * All of SML'97: The MLKit covers all of Standard ML, as defined in the 1997 edition of the Definition of Standard ML. The MLKit implements most of the latest Standard ML Basis Library specification. * ML Basis Files: The support for ML Basis Files makes it easy to compile large programs with different Standard ML compilers. Currently, both MLton and the MLKit supports the concept of ML Basis Files. The MLKit has a system, based on MLB-files, for avoiding unnecessary recompilation upon changes of source code. * Region-Based Memory Management: The MLKit integrates reference-tracing garbage collection with region-based memory management. Memory allocation directives (both allocation and deallocation) are inferred by the compiler, which uses a number of program analyses concerning lifetimes and storage layout. * Native backend for the x86 architecture. * Documentation. An updated comprehensive guide on programming with the MLKit is available from the MLKit wiki home page: http://www.itu.dk/research/mlkit The MLKit is available for download for the Linux operating system from the download section of the home page. Both binary and source packages are available. Contributions in terms of packages for various Linux distributions are welcome. Best Regards, Carsten Varming and Martin Elsman On behalf of the MLKit Team From txa at cs.nott.ac.uk Wed Feb 1 05:20:17 2006 From: txa at cs.nott.ac.uk (Thorsten Altenkirch) Date: Wed, 01 Feb 2006 10:20:17 +0000 Subject: [TYPES/announce] [types06] TYPES 2006 workshop Message-ID: <43E08B61.1040901@cs.nott.ac.uk> Registration for TYPES 2006 is now open. Early registration until 15/3/2006. Cheers, Thorsten -------------------------------------------------------------------------- TYPES 2006 Main Conference of the Types Project Nottingham, UK, 18-24 April 2006 http://www.cs.nott.ac.uk/types06/ This is the latest meeting in a series that started 1992, the last conference was in December 2004 in Paris. The topic of the meeting is formal reasoning and computer programming based on Type Theory : languages and computerised tools for reasoning, and applications in several domains such as analysis of programming languages, certified software, formalisation of mathematics and mathematics education. TYPES 2006 is colocated with TFP 2006 (Trends in Functional Programming) and we plan to hold a joint session on Dependently Typed Programming. The conference takes place at Jubilee campus of the University of Nottingham, on-site accomodation will be available together with the registration. For more information see: http://www.cs.nott.ac.uk/types06/ We will open registration early next year. You will be able to submit your talk and abstract together with your registration. We will try to accomodate all talks which f