Calls for participation

2008-12-09

[Caml-list] TLDI 2009 Call for Participation

*********************************************************************
CALL FOR PARTICIPATION

TLDI 2009

ACM SIGPLAN Workshop on
Types in Language Design and Implementation

24 January 2009
Savannah, Georgia, USA

To be held in conjunction with POPL 2009

http://ttic.uchicago.edu/~amal/tldi2009/
*********************************************************************

IMPORTANT DATES

Hotel reservation deadline: December 18, 2008
Early registration deadline: December 19, 2008

VENUE

TLDI'09 and all POPL'09 affiliated events will take place at the
Hyatt Regency Savannah.

SCOPE

The role of types in all aspects of language design, compiler
construction, and software development has expanded greatly in recent
years. Type systems, type analyses, and formal deduction have led to
new concepts in compilation techniques for modern programming
languages, verification of safety and security properties of programs,
program transformation and optimization, and many other areas. The
TLDI Workshop series aims to bring together researchers in all these
areas to share novel ideas and stimulate interaction and discussion on
the ever expanding use of types.

INVITED TALK

Ulf Norell, Chalmers University of Technology, Sweden
Title: Dependently Typed Programming in Agda

PRELIMINARY PROGRAM

A preliminary program can be found at the end of this email, or it can
be found here:

http://ttic.uchicago.edu/~amal/tldi2009/program.html

GENERAL CHAIR

Andrew Kennedy Microsoft Research, Cambridge

PROGRAM CHAIR

Amal Ahmed Toyota Technological Institute, Chicago

PROGRAM COMMITTEE

Amal Ahmed Toyota Technological Institute, Chicago (Chair)
Juan Chen Microsoft Research
Peter Dybjer Chalmers University of Technology
Jeff Foster University of Maryland, College Park
Neal Glew Intel
Robert Harper Carnegie Mellon University
Andrew Myers Cornell University
Atsushi Ohori Tohoku University
Matthew Parkinson University of Cambridge
Didier Remy INRIA Paris-Rocquencourt
Andreas Rossberg Max Planck Institute for Software Systems

PRELIMINARY PROGRAM

* SATURDAY, January 24, 2009

** Opening remarks: 8:50-9:00

** Invited talk 9:00-10:00

Ulf Norell, Chalmers University of Technology, Sweden
Title: Dependently Typed Programming in Agda

----------------------
** Session I 10:30-12:00

*** Compiling Functional Types to Relational Specifications for Low
Level Imperative Code
Nick Benton and Nicolas Tabareau

*** Typed Transformations of Typed Abstract Syntax
Arthur Baars, S. Doaitse Swierstra and Marcos Viera

*** Secure Compilation of a Multi-Tier Web Language
Ioannis Baltopoulos and Andrew Gordon

----------------------
** Session II 1:30-3:00

*** A Generic Type-and-Effect System
Daniel Marino and Todd Millstein

*** Static Extraction of Sound Hierarchical Runtime Object Graphs
Marwan Abi-Antoun and Jonathan Aldrich

*** Opis: Reliable Distributed Systems in OCaml
Pierre-Evariste Dagand, Dejan Kostic and Viktor Kuncak

----------------------
** Session III 3:30-5:00

*** Type-theoretic semantics for transactional concurrency
Aleksandar Nanevski, Paul Govereau and Greg Morrisett

*** Relational Parametricity for References and Recursive Types
Lars Birkedal, Kristian Støvring and Jacob Thamsborg

*** Design Patterns in Separation Logic
Neelakantan R. Krishnaswami, Jonathan Aldrich, Lars Birkedal, Kaspar
Svendsen and Alexandre Buisse

_______________________________________________
Caml-list mailing list. Subscription management:
http://yquem.inria.fr/cgi-bin/mailman/listinfo/caml-list
Archives: http://caml.inria.fr
Beginner's list: http://groups.yahoo.com/group/ocaml_beginners
Bug reports: http://caml.inria.fr/bin/caml-bugs

2008-12-05

[Caml-list] Finall Call For Papers (DSL WC)

*** IFIP Working Conference on Domain Specific Languages (DSL WC) ***
     July 15-17, 2009, Oxford

http://www.hope.cs.rice.edu/twiki/bin/view/WG211/DSLWC

* Call for Papers
Domain-specific languages are emerging as a fundamental component of software engineering practice. DSLs are often introduced when new domains such as web-scripting or markup come into existence, but it is also common to see DSLs being introduced and adopted for traditional domains such as parsing and data description. Developing software using DSLs has many benefits. DSLs are often designed based on existing notations that are already in use by experts in a given domain. As such, successful DSLs often reduce or eliminate the effort needed to transform the concept or innovation produced by the domain expert into an executable artifact or even a deliverable software product. DSL implementations can capture and mechanize a significant portion of the repetitive and mechanical tasks that a domain expert traditionally needed to perform in order to produce an executable. DSLs can in many cases capture and make widely available special expertise that only top specialists in a given domain might have. By capturing expert knowledge and reducing repetitive tasks, DSLs often also lead to software that is significantly more portable, more reliable and more understandable than it would otherwise be.

DSLs can be viewed as having a dual role to general-purpose languages: whereas general purpose languages try to do everything as well as possible, DSLs are designed to find a domain where they can solve some class of problems -- no matter how small -- in the best possible way. Widely known examples of DSLs include Matlab, Verilog, SQL, LINQ, JavaScript, PERL, HTML, Open GL, Tcl/Tk, Macromedia Director, Mathematica/Maple, AutoLisp/AutoCAD, XSLT, RPM, Make, lex/yacc, LaTeX, PostScript, Excel, among many others. But while these tools have been widely successful, they still fall short of realizing the full idea behind them. The goal of this conference is to explore the extent to which incorporating modern principles of language design and software engineering can benefit existing and future domain-specific languages.

The ultimate goal of using DSLs is to improve programmer productivity and software quality. Often, this is achieved by reducing the cost of initial software development as well as maintenance costs. These improvements - programs being easier to write and maintain - materialize as a result of domain-specific guarantees, analyses, testing techniques, verification techniques, and optimizations.

* Paper Criteria
Papers are sought addressing the research problems, fundamental principles, and practical techniques of DSLs, including but not limited to:
      - Foundations, including semantics, formal methods, type theory, and complexity theory
      -   Language design, ranging from concrete syntax to semantic and typing issues
      -   Software engineering, including domain analysis, software design, and   round-trip engineering
      -   Software processes, including metrics for software and language evaluation
      -   Implementation techniques, including parsing, compiling, and program   generation
      -   Program analysis and automated transformation
      - Reverse engineering, re-engineering, design discovery, automated refactoring
      - Hardware/software codesign
      - Programming environments, including visual languages, debuggers, and testing infrastructure
      -   Teaching DSLs and the use of DSLs in teaching

Case studies, including engineering, bioinformatics, hardware specification languages, parallel computing languages, real-time and embedded systems, and networked and distributed domains
Papers will be judged on the depth of their insight and the extent to which they translate specific experience into general lessons for domain-specific language designers and implementers, and software engineers. Papers can range from the practical to the theoretical; where appropriate, they should refer to actual languages, tools, and techniques, provide pointers to full definitions and implementations, and include empirical data on results.

  * Important Dates
      - July 23rd, 2008: First Call for Papers
      - November 12th, 2008: Final Call for Papers
      - December 14th, 2008: Abstract submission due.
      - December 21st, 2008: Paper submission deadline.
      - February 23rd, 2009: Author notification of decisions
      - March 22nd, 2009: Camera ready manuscripts due

  * Instructions for Authors
Proceedings will be published in the Springer LNCS series. Submissions and final manuscripts are to follow the LNCS stylesheet formatting guidelines, and are not to exceed 25 pages. Please submit your manuscripts online using the EasyChair conference management system.

  * Program Committee
Jon Bentley, Avayalabs
Martin Erwig, Oregon State University
Jeff Gray, University of Alabama at Birmingham
Robert Grimm, New York University
Jim Grundy, Intel Strategic CAD Labs
Tom Henzinger, EPFL
Sam Kamin, UIUC
Dick Kieburtz, Portland State University
Ralf Lämmel, University of Koblenz
Julia Lawall, University of Copenhagen
Benjamin Pierce, University of Pennsylvania
Vivek Sarkar, Rice University
Jeremy Siek, University of Colorado at Boulder
José Nuno Oliveira, University of Minho
Doaitse Swierstra, Utrecht University
Walid Taha (Chair), Rice University
Eelco Visser, Delft University
William Waite, University of Colorado at Boulder
Stephanie Weirich, University of Pennsylvania

  * Organizers
General Chair: Jeremy Gibbons, Oxford University
Publicity Chair: Emir Pasalic, LogicBlox

2008-11-14

[Caml-list] ECOOP 2009 Call for Tutorials

ECOOP'2009
23rd European Conference on Object Oriented Programming
July 6th - 10th 2009, Genova, Italy
http://2009.ecoop.org

CALL FOR TUTORIALS

http://2009.ecoop.org/summer-school.html

The ECOOP 2009 Summer School will consist of prestigious tutorials on
exciting current topics in software, systems, and languages research.
The scope of the ECOOP Summer School is the same as the conference
itself: all areas relevant to object technology, including work that
takes inspiration from or builds connections to areas not commonly
considered object-oriented. Tutorials should introduce researchers
to current research in an area, and/or to show important new tools
that can be used in research.

The ECOOP 2009 Summer School will consist of tutorials that will last
90 minutes, and will be free to all attendees, scheduled during the
main conference.

Tutorial presenters will receive a tutorial room, standard AV equipment
during a 90 minute session during the ECOOP conference, which will take
place between 6-10 July 2009.

Tutorials presenters must register themselves for participation in
ECOOP --- the summer school cannot in general reimburse fees, but
instead offers presenters a once-in-a-lifetime chance to interest
ECOOP attendees, graduate students, and other researchers in your
research area or tools (and undying fame). So, if you think ECOOP
people need to know more about the area you work in, or could
benefit from the great new tool you have developed, then you should
propose an ECOOP summer school tutorial on this topic.

A tutorial proposal (2 pages in LNCS format) should contain the names
and email address of all presenters; the proposed topic to be covered
by the tutorial; a tutorial outline; and a rationale explaining why
ECOOP cannot be without your tutorial in 2009, and why you are the
best people in the world to present this tutorial!

Proposals should be submitted via the ECOOP submission system (tutorials
category). For any other questions, contact the ECOOP 2009 summer school
committee: http://2009.ecoop.org/committees.html#summer-school-committee

Important dates

Tutorial proposals January, 15, 2009
Notification of acceptance February 16, 2009

Summer School Committee

Antonio Cisternino (University of Pisa, Italy)
Paola Giannini (University of Piemonte Orientale, Italy)
James Noble (Victoria University of Wellington, New Zealand)

2008-11-12

[Caml-list] First Call for Papers: TASE 2009

TASE 2009 - FIRST CALL FOR PAPERS

******************************************
* 3rd IEEE International Symposium on
* Theoretical Aspects of Software Engineering
* (TASE 2009)
* 29-31 July 2009, Tianjin, China
* http://www.dur.ac.uk/ieee.tase2009
*
* For more information email: IEEE.TASE2009@durham.ac.uk
**********************************************************

Large scale software systems and the Internet are of growing concern
to academia and industry. This poses new challenges to the various
aspects of software engineering, for instance, the reliability of
software development, web-oriented software architecture and aspect
and object-orientation techniques. As a result, new concepts and
methodologies are required to enhance the development of software
engineering from theoretical aspects. TASE 2009 is a forum for
researchers from academia, industry and government to present ideas,
results, and ongoing research on theoretical advances in software
engineering.

TASE 2009 is the third in a series of conference, sponsored by IEEE CS
and IFIP. The first TASE conference was held in Shanghai, China, in
June 2007. The second TASE conference was held in Nanjing, China, in
June 2008.

Topics of Interest:

Authors are invited to submit high quality technical papers describing
original and unpublished work in all theoretical aspects of software
engineering. Topics of interest include, but are not limited to:

* Requirements Engineering
* Specification and Verification
* Program Analysis
* Software Testing
* Model-Driven Engineering
* Software Architectures and Design
* Aspect and Object Orientation
* Embedded and Real-Time Systems
* Software Processes and Workflows
* Component-Based Software Engineering
* Software Safety, Security and Reliability
* Reverse Engineering and Software Maintenance
* Service-Oriented Computing
* Semantic Web and Web Services
* Type System and Theory
* Program Logics and Calculus
* Dependable Concurrency
* Software Model Checking

Program Co-Chairs
-----------------
Wei-Ngan Chin           (National Univ. of Singapore, Singapore)
Shengchao Qin           (Durham University, UK)

Program Committee
-----------------
Bernhard Aichernig      (Graz University of Technology, Austria) .
Stefan Andrei           (Lamar University, USA)
Keijiro Araki           (Kyushu University, Japan)
Farhad Arbab            (CWI and Leiden University, Netherlands)
Jonathan Bowen         (King's College London, UK)
Michael Butler         (University of Southampton, UK)
Juan Chen               (Microsoft Research, USA)
Tyng-Ruey Chuang        (Academica Sinica, Taiwan)
Jim Davies              (University of Oxford, UK)
Zhenhua Duan            (Xidian University, China)
Xinyu Feng              (Toyota Technological Inst. at Chicago, USA)
Dieter Gollmann         (Hamburg University of Technology, Germany)
Tetsuo Ida              (University of Tsukuba, Japan)
Radu Iosif              (Verimag, CNRS, France)
Xuandong Li             (Nanjing University, China)
Kung-Kiu Lau            (University of Manchester, UK)
Shaoying Liu            (Hosei University, Japan)
Dorel Lucanu            (University of Iasi, Romania)
Tom Maibaum             (McMaster University, Canada)
Darko Marinov           (Univ. of Illinois at Urbana-Champaign, USA)
Huaikou Miao            (Shanghai University, China)
Peter Mueller           (ETH Zurich, Switzerland)
Viet Ha Nguyen         (Vietnam National University, Vietnam)
Sungwoo Park            (Pohang Univ. of Science and Technology, Korea)
Corneliu Popeea         (MPI-SW, Germany)
Geguang Pu              (East China Normal University, China)
Zongyan Qiu             (Peking University, China)
Volker Stolz            (UNU/IIST, Macau)
Jing Sun                (University of Auckland, New Zealand)
Jun Sun                 (National Univ. of Singapore, Singapore)
Kenji Taguchi           (National Institute of Informatics, Japan)
Yih-Kuen Tsay           (National Taiwan University, Taiwan)
Linzhang Wang           (Nanjing University, China)
Xianbing Wang           (Wuhan University, China)
Wang Yi                 (Uppsala University, Sweden)
Jim Woodcock            (University of York, UK)
Hongyu Zhang            (Tsinghua University, China)
Jian Zhang              (Chinese Academy of Sciences, China)
Jianjun Zhao            (Shanghai Jiao Tong University, China)
Hong Zhu                (Oxford Brookes University, UK)
Huibiao Zhu             (East China Normal University, China)

Important Dates:
        Feburary 20, 2009:      Title and abstract submission deadline
        Feburary 27, 2009:      Paper submission deadline
        April 20, 2009:         Acceptance/rejection notification
        May 11, 2009:         Camera-ready version due
        July 29 - 31, 2009:     TASE 2009

2008-11-04

[Caml-list] ECOOP 2009 Call for Papers

ECOOP'2009
23rd European Conference on Object Oriented Programming
July 6th - 10th 2009, Genova, Italy
http://2009.ecoop.org

CALL FOR PAPERS

The ECOOP 2009 conference invites high quality papers presenting research
results or experience in all areas relevant to object technology, including
work that takes inspiration from, or builds connections to, areas not
commonly considered object-oriented. ECOOP wishes to embrace a broad
range of topics, therefore the following list of topics is by no means
exclusive:

* Analysis, design methods and design patterns
* Concurrent, real-time or parallel systems
* Databases, persistence and transactions
* Distributed and mobile systems
* Frameworks, product lines and software architectures
* Language design and implementation
* Testing and metrics
* Programming environments and tools
* Theoretical foundations, type systems, formal methods
* Versioning, compatibility, software evolution
* Aspects, Components, Modularity, Reflection
* Collaboration, Workflow

Research papers should advance the current state of the art, and both
experimentally based work and mathematical results are welcome. Experience
papers should describe novel insight gained from the practical application
of object technology, in such a way that it is of interest to a broad group
of researchers and practitioners.

A paper should explain its contributions in both general and technical terms,
identifying what has been accomplished, explaining why it is significant, and
comparing it with previous work. Authors should strive to make their papers
understandable to a broad audience. Papers will be evaluated according to
originality and significance, precision and correctness, presentation and
clarity, and relevance.

Papers must be written in English, and be no longer than 25 pages, including
references, appendices and figures, and written using the LNCS style. For
more information about formatting please consult the Springer LNCS web site
at http://www.springer.de/comp/lncs/authors.html.

Important Dates
Paper submission: 20 December 2008
Authors' response period: 16-18 February 2009
Notification of Acceptance: 13 March 2009
ECOOP conference: 6-10 July 2009

During the author response period, authors will be given the opportunity
to read and respond to the reviews of their papers. Responses will be at
most 500 words, and should be used to answer explicit questions in reviews,
or correct factual mistakes.

Program Chair
Sophia Drossopoulou (Imperial College, London, UK)

Program Committee
Elisa Baniassad (The Chinese University of Hong Kong, China)
Francoise Baude (University of Nice Sophia Antipolis, France)
Bernhard Beckert (University of Koblenz, Germany )
Lodewijk Bergmans (University of Twente, The Netherlands )
John Tang Boyland (University of Wisconsin-Milwaukee, USA)
Siobhán Clarke (Trinity College Dublin, Ireland)
William Cook (University of Texas at Austin, USA)
Eric Eide (University of Utah, USA)
Erik Ernst (University of Aarhus, Denmark )
Cormac Flanagan (University of California at Santa Cruz, USA)
Yossi Gil (Google Haifa and Technion, Israell)
Neal Glew (Intel, USA)
Kathryn E. Gray (University of Cambridge, UK)
Görel Hedin (Lund University, Sweden)
Atsushi Igarashi (Kyoto University, Japan)
Richard Jones (University of Kent, UK)
Viktor Kuncak (École Polytechnique Fédérale de Lausanne, Switzerland)
Doug Lea (State University of New York at Oswego, USA)
Gary T. Leavens (University of Central Florida, USA)
Oscar Nierstrasz (University of Bern, Switzerland)
James Noble (University of Wellington, New Zealand)
Nathaniel Nystrom (IBM Research, USA )
Awais Rashid (Lancaster University, UK)
Diomidis Spinellis (Athens University of Economics and Business, Greece)
Peter Sewell (University of Cambridge, UK)
Laurence Tratt (Bournemouth University, UK)
Jan Vitek (Purdue University, USA)
Matthias Zenger (Google, Switzerland)
Elena Zucca (University of Genova, Italy)

2008-10-02

[Caml-list] ACSD 2009 First Call for Papers

*** FIRST CALL FOR PAPERS ***

ACSD 2009
9th International Conference on
Application of Concurrency to System Design

1-3 July 2009
University of Augsburg, Germany
acsd[at]informatik[dot]uni-augsburg[dot]de
http://www.informatik.uni-augsburg.de/acsd/

*** Paper deadline: 4 January 2009 ***
Notification of acceptance: 10 March 2009
Final version due: 10 April 2009

The International Conference on Application of Concurrency to System Design (ACSD) serves as a forum for disseminating theoretical results with application potential and advanced methods and tools for the design of complex concurrent systems. While there are already quite a few success stories in the field, there is still a strong need to bring theory and practice closer together. The conference aims at cross-fertilizing both theoretical and applied research on topics including, but not limited to, the following:

* Design methods, tools and techniques based on models of computation and concurrency (data-flow models, communicating automata, Petri nets, process algebras, state charts, MSCs, etc.), (performance) analysis, verification, testing and synthesis.

* Hardware / software co-design, platform-based design, component-based design, refinement techniques, hardware / software abstractions, co-simulation and verification.

* Synchronous and asynchronous design, asynchronous circuits, globally asynchronous locally synchronous systems, interface design, multi-clock systems, functional and timing verification.

* Concurrency issues in Systems on Chips, massively parallel architectures, networks on chip, task and communication scheduling, resource, memory and power management, fault-tolerance and Quality of Service issues.

* (Industrial) case studies of general interest, gaming applications, consumer electronics and multimedia, automotive systems, (bio-)medical applications, internet and grid computing, etc.

* Concurrency issues in ad-hoc, mobile and wireless networking, sensor networks, communication protocols, cross-layer optimization, resource and power management, fault-tolerance, concurrency-related security issues.

* Business process modelling, simulation and verification, (distributed) workflow execution, business process (de-)composition, interorganisational and heterogeneous workflow systems, computer-supported collaborative work systems, web services.

* Synthesis and control of concurrent systems, (compositional) modelling and design, (modular) synthesis and analysis, distributed simulation and implementation, (distributed) controller synthesis, adaptive systems, supervisory control.

Programme Committee Co-Chairs

Stephen Edwards (Columbia University, USA)
Walter Vogler (Augsburg University, Germany)

Organizing Chair

Robert Lorenz (Augsburg Unversity, Germany)

Steering Committee

Alex Yakovlev (University of Newcastle upon Tyne, UK), Chair
Benoit Caillaud (IRISA, France)
Jordi Cortadella (Universitat Politecnica de Catalunya, Spain)
J�rg Desel (Katholische Universit�t Eichst�tt-Ingolstadt, Germany)
Alex Kondratyev (Cadence, USA)
Luciano Lavagno (Politecnico di Torino, Italy)
Antti Valmari (Tampere University of Technology, Finland)

Programme Committee

Wil van der Aalst (TU Eindhoven, The Netherlands)
Twan Basten (TU Eindhoven, The Netherlands)
Marius Bozga (VERIMAG, France)
Manfred Broy (Technische Universit�t M�nchen, Germany)
Benoit Caillaud (IRISA, France)
Gianfranco Ciardo (University of California at Riverside, USA)
Zhenhua Duan (Xidian University, China)
Stephen Edwards (Columbia University, USA), co-chair
Marc Geilen (TU Eindhoven, The Netherlands)
Keijo Heljanko (Helsinki University of Technology, Finland)
Petr Jancar (Technical University of Ostrava, Czech Republic)
Ryszard Janicki (McMaster University, Canada)
Mark Josephs (London South Bank University, UK)
Gabriel Juhas (Slovak University of Technology, Slovakia)
Victor Khomenko (University of Newcastle upon Tyne, UK)
Erwin de Kock (NXP Semiconductors, The Netherlands)
Fabrice Kordon (Universite Paris 6, France)
Maciej Koutny (Newcastle University, UK)
Antonin Kucera (Masaryk University in Brno, Czech Republic)
Charles Lakos (University of Adelaide, Australia)
Elizabeth Leonard (Naval Research Labs, Washington, DC, USA)
Johan Lilius (TUCS and Abo Akademi University, Finland)
Lin Liu (University of South Australia, Australia)
Robert Lorenz (Universit�t Augsburg, Germany), organizing chair
Ricardo Machado (Universidade do Minho, Portugal)
Mohammad Mousavi (Eindhoven University of Technology, The Netherlands)
Rocco De Nicola (Universita degli Studi di Firenze, Italy)
Jens Palsberg (University of California, Los Angeles, USA)
Doron Peled (University of Warwick, UK)
Elisabeth Pelz (Universite Paris 12, France)
Wojciech Penczek (Polish Acad of Science and Univ of Podlasie)
Laure Petrucci (Universite Paris 13, France)
S. Ramesh (GM Research Lab, India)
Jean-Francois Raskin (Universite Libre de Bruxelles, Belgium)
Anders Ravn (Aalborg University, Denmark)
Sandeep Shukla (Virginia Tech, USA)
Jean-Pierre Talpin (IRISA, France)
Irek Ulidowski (Leicester University, UK)
Antti Valmari (Tampere University of Technology, Finland)
Walter Vogler (Universit�t Augsburg, Germany), co-chair
Karsten Wolf (Universit�t Rostock, Germany)
Tomohiro Yoneda (National Institute of Informatics, Japan)
Wenhui Zhang (ISCAS, China)
Wlodek Zuberek (Memorial University of Newfoundland, Canada)

Regular Papers

Regular papers should be in IEEE Computer Society Press 2-column format (ftp://pubftp.computer.org/Press/Outgoing/proceedings/instruct8.5x11.pdf, see also the Formatting section from Information for Authors of the webpage http://www.computer.org/cps/), and should be submitted via Easychair. Both long papers (7 to 10 pages) and short papers (5 to 6 pages) can be submitted. Authors submitting long papers should indicate in their submission whether they would be prepared to reduce the length of their submissions to 6 pages on the recommendation of the programme committee.The cover page should include the corresponding author, physical and e-mail addresses, phone and FAX numbers, and an abstract of at most 60 words. The deadline for submission of regular papers is 4 January 2008. Papers will also be accepted up to 10 January 2008, so long as the cover page (including title and abstract) is submitted by 4 January 2008. Submitted papers should describe original work that has not been previously published and is not under review for publication elsewhere. More information can be obtained through the conference web-pages.

Tool Papers

Tool papers should be in IEEE Computer Society Press 2-column format (ftp://pubftp.computer.org/Press/Outgoing/proceedings/instruct8.5x11.pdf, see also the Formatting section from Information for Authors of the webpage http://www.computer.org/cps/), with no more than 5 pages, and should be submitted via Easychair.The cover page should include the corresponding author, physical and e-mail addresses, phone and FAX numbers, and an abstract of at most 60 words. The references should include a link to the tool-homepage, where it can be downloaded. The deadline for submission of tool papers is 4 January 2008. Papers will also be accepted up to 10 January 2008, so long as the cover page (including title and abstract) is submitted by 4 January 2008. Acceptance of a tool paper implies that a tool demonstration should be given at the conference. For facility arrangements and questions, please contact acsd@informatik.uni-augsburg.de.

Proceedings

Proceedings containing accepted regular papers, tool papers and invited papers are planned to be published by IEEE Computer Society Press.

Best Paper Award

A best paper award will be given to the author(s) of the best regular paper presented at ACSD 2009.

Special Issue Fundamenta Informaticae

Best papers of ACSD will be considered for publication in extended and revised form in a special issue of the journal Fundamenta Informaticae.

Organizing Committee

Robert Lorenz (organizing chair)
Christian K�lbl (secretary, web pages)
Markus Huber (technical support, communication)

2008-10-01

[Caml-list] TLDI 2009: call for papers

[Just a quick reminder that the TLDI deadline is Oct 8th...]

*********************************************************************
CALL FOR PAPERS

TLDI 2009

ACM SIGPLAN Workshop on
Types in Language Design and Implementation

24 January 2009
Savannah, Georgia, USA

To be held in conjunction with POPL 2009

http://ttic.uchicago.edu/~amal/tldi2009/
*********************************************************************

IMPORTANT DATES

Submission: 8 Oct 2008, 5PM EDT (Wed)
Notification: 8 Nov 2008 (Sat)
Camera ready: 19 Nov 2008 (Wed)
TLDI'09: 24 January 2009 (Sat)

SCOPE

The role of types and proofs in all aspects of language design,
compiler construction, and software development has expanded greatly
in recent years. Type systems, type analyses, and formal deduction
have led to new concepts in compilation techniques for modern
programming languages, verification of safety and security properties
of programs, program transformation and optimization, and many other
areas. In light of this expanding role of types, the ACM SIGPLAN
Workshop on Types in Language Design and Implementation (TLDI'09)
follows six previous International Workshops on types in compilation
and language design (TIC'97, TIC'98, TIC'00, TLDI'03, TLDI'05, and
TLDI'07), with the hope of bringing together researchers to share new
ideas and results in this area.

Submissions for this event are invited on all interactions of types
with language design, implementation, and programming methodology.
This includes both practical applications and theoretical aspects.
TLDI'09 specifically encourages papers from a broad field of
programming language and compiler researchers, including those working
in object-oriented, dynamically-typed, late-binding, systems
programming, and mobile-code paradigms, as well as traditional
fully-static type systems. Topics of interest include:

- Typed intermediate languages and type-directed compilation
- Type-based language support for safety and security
- Types for interoperability
- Type systems for system programming languages
- Type-based program analysis, transformation, and optimization
- Dependent types and type-based proof assistants
- Types for security protocols, concurrency, and distributed computing
- Type inference and type reconstruction
- Type-based specifications of data structures and program invariants
- Type-based memory management
- Proof-carrying code and certifying compilation

This is not meant to be an exhaustive list; papers on novel
utilizations of type information are welcome. Authors concerned about
the suitability of a topic are encouraged to inquire via electronic
mail to the program chair prior to submission.

SUBMISSION GUIDELINES

Authors should submit a full paper of no more than 12 pages (including
bibliography and appendices) by Wednesday, October 8, 2008 5PM Eastern
Daylight Savings Time. The submission deadline and length limitations
are firm. Submissions that do not meet these guidelines will not be
considered.

All submissions should be in standard ACM SIGPLAN conference format:
two columns, nine-point font on a ten-point baseline. Detailed
formatting guidelines are available on the SIGPLAN Author Information
page, along with a LaTeX class file and template:

http://www.sigplan.org/authorInformation.htm

Papers must be submitted in Adobe Portable Document Format (PDF) and
must be formatted for US Letter size (8.5"x11") paper. Authors for
whom this is a hardship should contact the program chair before the
deadline.

Submitted papers must adhere to the SIGPLAN Republication Policy:

http://www.sigplan.org/republicationpolicy.htm

Submissions should contain original research not published or
submitted for publication elsewhere.

The URL for submission will be announced closer to the deadline.