July 2010 - Haskell - Haskell.org

VSTTE 2010: First Call for Participation
by Gudmund Grov 06 Jul '10

06 Jul '10

(Apologies if you receive multiple copies of this announcement) ***************************************************************** *** First Call for Participation *** Third International Conference on Verified Software: Theories, Tools, and Experiments Edinburgh, Scotland August 16th-19th, 2010 http://www.macs.hw.ac.uk/vstte10 SPONSORS: NSF, EPSRC, Microsoft Research, SICSA, Altran Praxis, SSEI, FME, Contemplate, Heriot-Watt University ****************************************************************** The Third International Conference on Verified Software: Theories, Tools, and Experiments follows a successful inaugural working conference at Zurich (2005) and a successful conference in Toronto (2008). This conference is part of the Verified Software Initiative (VSI), a fifteen-year, cooperative, international project directed at the scientific challenges of large-scale software verification. VSI also includes UKCRC's Grand Challenge 6, i.e. Dependable Systems Evolution. PROGRAMME The programme includes keynote presentations by Tom Ball (Microsoft), Gerwin Klein (National ICT Australia), Matthew Parkinson (University of Cambridge). There will also be a Summer School, Invited Tool Demo Presentations, a Verification Competition, Industrial Tool Vendors as wells as two workshops: Theory WS and Tools & Experiments WS. A provisional programme is available at http://www.macs.hw.ac.uk/vstte10/Programme.html VENUE VSTTE 2010 is being hosted by Heriot-Watt University in Edinburgh. The conference dates coincide with the 2010 Edinburgh International Festival and the Edinburgh Festival Fringe -- collectively the largest annual arts festival on the planet! The technical programme will take place in the Edinburgh Conference Centre (Heriot-Watt University campus), where accommodation will be available at very competitive rates for festival time. Social events will be arranged within the city centre, making VSTTE an unique cultural and scholarly event for 2010! SOCIAL EVENTS As well as a welcome reception and conference banquet, SICSA are sponsoring a special drinks reception in the Informatics Forum at the heart of the Festival on August 17th. STUDENT SUPPORT Limited support for students wishing to attend VSTTE 2010 is available. Please contact vstte10(a)macs.hw.ac.uk for more details. REGISTRATION Online registration is available from http://www.macs.hw.ac.uk/vstte10_reg/Registration.php Early registration ends on July 31st. -- The University of Edinburgh is a charitable body, registered in Scotland, with registration number SC005336.

1 0

LOPSTR/PPDP 2010 Final Call for Participation
by Temur Kutsia 05 Jul '10

05 Jul '10

[Apologize for multiple copies] ==================================================================== *** CALL FOR PARTICIPATION *** LOPSTR 2010 20th International Symposium on Logic-Based Program Synthesis and Transformation http://www.risc.jku.at/conferences/lopstr2010/ July 23-25, 2010 PPDP 2010 12th International ACM SIGPLAN Symposium on Principles and Practice of Declarative Programming http://www.risc.jku.at/conferences/ppdp2010/ July 26-28, 2010 Hagenberg, Austria ==================================================================== IMPORTANT INFORMATION Early registration deadline (for both conferences): July 12, 2010 -------------------------------------------------------------------- LOPSTR 2010 INVITED SPEAKERS: - Bruno Buchberger (RISC, Johannes Kepler University Linz, Austria) - Olivier Danvy (University of Aarhus, Denmark) - Johann Schumann (RIACS/NASA Ames Research Center, USA) LOPSTR 2010 PROGRAM: http://www.risc.jku.at/conferences/lopstr2010/program.html -------------------------------------------------------------------- PPDP 2010 INVITED SPEAKERS: - Maria Paola Bonacina (University of Verona, Italy) - Sumit Gulwani (Microsoft Research) PPDP 2010 PROGRAM: http://www.risc.jku.at/conferences/ppdp2010/program.html --------------------------------------------------------------------

1 0

TLDI 2011 Call For Papers
by Stephanie Weirich 02 Jul '10

02 Jul '10

TLDI 2011 CALL FOR PAPERS The Sixth ACM SIGPLAN Workshop on Types in Language Design and Implementation Austin, Texas, USA Tuesday, January 25, 2011 (Co-located with POPL 2011) http://www.mpi-sws.org/~dreyer/tldi2011/ Submission Deadline: October 11, 2010 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-based analyses and type-theoretic deductive systems have been central to advances in compilation techniques for modern programming languages, verification of safety and security properties of programs, program transformation and optimization, and many other areas. The ACM SIGPLAN Workshop on Types in Language Design and Implementation brings researchers together to share new ideas and results concerning all aspects of types and programming, and is now an annual event. TLDI 2011 is the sixth workshop in the series and will be co-located with POPL in Austin, Texas in January 2011. Submissions for TLDI 2011 are invited on all interactions of types with language design, implementation, and programming methodology. This includes both practical applications and theoretical aspects. TLDI 2011 specifically encourages papers from a broad field of programming language and compiler researchers, including those working on object-oriented or dynamic languages, systems programming, mobile-code or security, 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 * Types and objects 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 Monday, October 11, 2010. 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. Papers must be submitted electronically via the workshop website (http://www.mpi-sws.org/~dreyer/tldi2011/) 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. Submissions should contain original research not published or submitted for publication elsewhere. Publication: As in previous years, accepted papers will be published by the ACM and appear in the ACM digital library. A printed proceedings will be available at the workshop. Important Dates: - Submission deadline: October 11, 2010 (Monday), 21:00 Samoa-Apia Time - Notification: November 8, 2010 (Monday) - Final versions due: November 22, 2010 (Monday) - Workshop: January 25, 2011 (Tuesday) General Chair: Stephanie Weirich University of Pennsylvania sweirich at cis dot upenn dot edu Program Chair: Derek Dreyer Max Planck Institute for Software Systems (MPI-SWS) dreyer at mpi-sws dot org Program Committee: Thorsten Altenkirch (University of Nottingham) Fritz Henglein (University of Copenhagen) Michael Hicks (University of Maryland, College Park) Limin Jia (Carnegie Mellon University) Mark Jones (Portland State University) Neel Krishnaswami (Microsoft Research, Cambridge) Paul-André Melliès (CNRS & Université Paris Diderot) Aleks Nanevski (IMDEA Software, Madrid) Benjamin Pierce (University of Pennsylvania) Tachio Terauchi (Tohoku University) Sam Tobin-Hochstadt (Northeastern University) Steering Committee: Amal Ahmed (Indiana University) Nick Benton (Microsoft Research, Cambridge) Derek Dreyer (MPI-SWS) Robert Harper (Carnegie Mellon University, chair) Andrew Kennedy (Microsoft Research, Cambridge) Francois Pottier (INRIA Rocquencourt) Zhong Shao (Yale University) Stephanie Weirich (University of Pennsylvania)

1 0

Delivery reports about your e-mail
by jon.fairbairn＠cl.cam.ac.uk 02 Jul '10

02 Jul '10

The message was undeliverable due to the following reason(s): Your message could not be delivered because the destination server was unreachable within the allowed queue period. The amount of time a message is queued before it is returned depends on local configura- tion parameters. Most likely there is a network problem that prevented delivery, but it is also possible that the computer is turned off, or does not have a mail system running right now. Your message could not be delivered within 1 days: Server 206.198.95.174 is not responding. The following recipients did not receive this message: <haskell(a)haskell.org> Please reply to postmaster(a)cl.cam.ac.uk if you feel this message to be in error.

1 0