Calls for participation: 2010-08

2010-08-31

[Caml-list] Call for Participation

CALL FOR PARTICIPATION

RV 2010 : 1st International Conference on Runtime Verification
November 1-4, 2010, St. Julians, Malta

http://www.rv2010.org

** Early registration deadline: September 30, 2010 **

The 2010 Runtime Verication conference is a forum for researchers and industrial
practitioners for presenting theories and tools for monitoring and analyzing
system (software and hardware) executions, as well as forum for presenting
applications of such tools to practical problems. The field of runtime verification
is often referred to under different other names, including dynamic analysis, runtime
analysis, and runtime monitoring, to mention a few. Runtime verification
can be applied during the development of a system for the purpose of program
understanding, debugging, and testing, or it can be applied as part of a running
system, for example for security or safety monitoring, and can furthermore
be part of a fault protection framework.

RV 2010 is conducted over 4 days. The first day offers 6 tutorials in parallel
sessions. The remaining three days offer 6 invited talks, and presentation of
27 regular papers, short papers and tool demonstrations.

INVITED SPEAKERS:

- Mike Barnett
Principal RSDE, Microsoft Research, Redmond, WA, USA
"Code Contracts for .NET: Runtime Verification and So Much More"

- Rance Cleaveland
Professor, Department of Computer Science, University of Maryland, MD, USA
Co-founder of Reactive Systems, Inc.
"Automatic Requirement Extraction from Test Cases"

- Matthew Dwyer
Professor, Department of Computer Science, University of Nebraska, NE, USA
"Optimizing Runtime Monitors : Combining Static and Dynamic Techniques"

- Martin Odersky
Professor, Programming Methods Group, EPFL, Lausanne, Switzerland
"Contracts in Scala"

- Wim De Pauw
Researcher, IBM T.J. Watson Research Center, New York, USA
"Visualizing Complex IT Systems"

- R. Sekar
Professor, Department of Computer Science
Director, Center for Cyber-security, Stony Brook University, NY, USA
"Runtime Analysis and Instrumentation for Securing Software"

TUTORIALS:

- Run-time Verification of Networked Software
by: Cyrille Valentin Artho

- Clara: Partially Evaluating Runtime Monitors at Compile Time
by: Eric Bodden and Patrick Lam

- You should Better Enforce than Verify
by: Ylies Falcone

- Runtime Verification for the Web
by: Sylvain Halle and Roger Villemaire

- Statistical Model Checking: Present and Future
by: Axel Legay

- Runtime Verification with the RV System
by: Patrick Meredith and Grigore Rosu.

VENUE:

The conference takes place in St. Julians on Malta, and is hosted by the
University of Malta. Malta lies at almost the exact geographical heart of the
Mediterranean Sea. With Sicily some 95 kms to the North, Tripoli 350 kms to
the South and Tunis 320 kms to the West, Malta is virtually at the crossroads
between continents. Malta's pre-history dates back to 5000 B.C. The official
languages of Malta are Maltese and English, so getting by with English is
not a problem. Italian is also widely spoken.

The accommodation and conference venue is the 5 star Le Meridien Hotel,
located on the ground of a 19th century Villa in St Julians, overlooking Balluta Bay.

The climate is typically Mediterranean. The average temperature in November is
20C (70F) during the day and around 14C (60F) at night.

REGISTRATION:

The registration is open at:

http://www.um.edu.mt/events/rv2010/registration

- Early registration fee, before or on 30 september: 380 Euros
- Late registration fee, after 30 September: 450 Euros

STUDENTS:

RV 2010 is supporting a limited number of registrations for students at 190 Euros.
Students can apply by sending an email to Gordon Pace (gordon.pace@um.edu.mt)
with evidence of student status.

ORGANIZATION:

General Chairs:
- Howard Barringer, University of Manchester, UK
- Klaus Havelund, NASA/Jet Propulsion Laboratory, USA
- Insup Lee, University of Pennsylvania, USA

Program Chairs:
- Grigore Rosu, University of Illinois, Urbana-Champaign, USA
- Oleg Sokolsky, University of Pennsylvania, USA

Local Organization Chair:
- Gordon Pace, University of Malta, Malta

Tutorials Chair:
- Bernd Finkbeiner, Saarland University, Germany

Tool Demonstrations Chair:
- Nikolai Tillmann, Microsoft Research, USA

Publicity Chair:
- Ylies Falcone, INRIA Rennes, France

SPONSORS:

RV 2010 is sponsored by:
- The International Federation for Computational Logic
- The ARTIST Network of Excellence on Embedded Systems Design
- Microsoft Research
- University of Illinois

We look forward to welcoming you at the 1st International Conference on Runtime Verification.

_______________________________________________
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

2010-08-28

[Caml-list] HLPP 2010 Call for participation

Fourth International Workshop on
High-level Parallel Programming and Applications (HLPP 2010)
Baltimore, Maryland, September 25, 2010
Affiliated to ICFP 2010
http://www.icfpconference.org/icfp2010
Sponsored by ACM SIGPLAN

Aims and Scope

As processor and system manufacturers adjust their roadmaps towards
increasing levels of both inter and intra-chip parallelism, so the
urgency of reorienting the mainstream software industry towards these
architectures grows.

At present, popular parallel and distributed programming methodologies
are dominated by low-level techniques such as send/receive message
passing, or equivalently unstructured shared memory mechanisms.

Higher-level, structured approaches offer many possible advantages and
have a key role to play in the scalable exploitation of ubiquitous
parallelism.

This workshop provides a forum for discussion and research about such
high-level approaches to parallel programming.

Workshop Program

08:00-08:45: Continental Breakfast
09:00-10:00: Invited Talk
Zhenjiang Hu (National Institute of Informatics)
Calculational Parallel Programming
10:00-10:30: Break
10:30-12:00: Session "Skeletal Parallelism"
Johan Enmyren and Christoph Kessler
SkePU: A Multi-Backend Skeleton Programming Library for Multi-GPU Systems
Kiminori Matsuzaki and Kento Emoto
Lessons from Implementing the BiCGStab Method with SkeTo Library
Oleg Lobachev and Rita Loogen
Estimating Parallel Performance, A Skeleton-Based Approach
12:00-12:30: Session "Verification of High-Level Parallel Programs"
Frédéric Gava and Jean Fortin
BSP-Why: an intermediate language for deductive verification of BSP programs
12:30-02:00: Lunch
02:00-03:00: Invited Talk
Phil Trinder (Heriot-Watt University)
SymGrid-Par: A Standard Skeleton-Based Framework for Computational
Algebra Systems
03:00-03:30: Break
03:30-04:30: Session "Bulk Synchronous Parallelism"
Md. Mostofa Ali Patwary, Rob H. Bisseling and Fredrik Manne
Parallel Greedy Graph Matching using an Edge Partitioning Approach
Joel Falcou, Khaled Hammidouche and Daniel Etiemble
Hybrid Bulk Synchronous Parallelism Library for Clustered SMP Architectures
04:30-05:00: Break

Programme Committee

Anne Benoit (ENS Lyon, France)
Murray Cole (University of Edinburgh, UK)
Alexandros Gerbessiotis (New Jersey Institute of Technology, USA)
Christoph Kessler (Linköpings Universitet, Sweden)
Herbert Kuchen (University of Muenster, Germany)
Rita Loogen (University of Marburg, Germany)
Frédéric Loulergue (University of Orléans, France), chair
Kiminori Matsuzaki (Kochi University of Technology, Japan)
Samuel Midkiff (Purdue University, USA)
Susanna Pelagatti (University of Pisa, Italy)
Sukyoung Ryu (Korea Advanced Institute of Science and Technology, Korea)
Kazunori Ueda (Waseda University, Japan)

2010-08-23

[Caml-list] ICFP '10: Final call for participation

=====================================================================
Final Call for Participation

The 15th ACM SIGPLAN International Conference
on Functional Programming (ICFP 2010)

http://www.icfpconference.org/icfp2010/
Baltimore, Maryland September 25 – October 2
=====================================================================

ICFP 2010 provides a forum for researchers and developers to hear
about the latest work on the design, implementations, principles, and
uses of functional programming. The conference covers the entire
spectrum of work, from practice to theory, including its peripheries.

** Not that the early registration deadline and discount hotel rates
expire next week. **

* Program:
http://www.icfpconference.org/icfp2010/program.html
* Invited speakers:
- Mike Gordon
ML: Metalanguage or Object Language?
- Matthias Felleisen
TeachScheme!: A Checkpoint
- Guy Blelloch
Functional Parallel Algorithms

Schedule including related events:
* September 25:
Workshop on Mechanizing Metatheory (WMM)
Workshop on Mathematically Structured Functional Programming (MSFP)
Workshop on High-Level Parallel Programming and Applications (HLPP)
* September 26:
Workshop on ML
Workshop on Generic Programming (WGP)
* September 27-29:
ICFP 2010
* September 30:
Haskell Symposium
Erlang Workshop
* October 1:
Commercial Users of Functional Programming – Day 1 (CUFP Tutorials)
Haskell Implementors' Workshop
* October 2:
Commercial Users of Functional Programming – Day 2 (CUFP Talks)

This year there will also be a special series of Birds-of-a-Feather
sessions associated with CUFP.
More information can be found at: http://cufp.org/bofs-2010

Registration information:
* Registration link: https://regmaster3.com/2010conf/ICFP10/register.php

Local arrangements (including travel and accommodation):
* http://www.icfpconference.org/icfp2010/local.html
* Conference reservation/rate deadline: September 1st

Conference organizers:
* General Chair:
Paul Hudak, Yale University
* Program Chair:
Stephanie Weirich, University of Pennsylvania
* Local Arrangements Chair:
Michael Hicks, University of Maryland
* Workshop Co-Chairs:
Derek Dreyer, Max Planck Institute for Software Systems
Christopher Stone, Harvey Mudd College
* Programming Contest Chair:
Johannes Waldmann, Hochschule für Technik, Wirtschaft und Kultur, Leipzig
* Video Chair:
Scott Smith, Johns Hopkins University
* Publicity Chair:
Wouter Swierstra, Vector Fabrics

=====================================================================

2010-08-10

[Caml-list] Workshop on ML 2010 - Call for Participation

The 2010 ACM SIGPLAN Workshop on ML
http://www.cs.rit.edu/~mtf/ml2010
Baltimore, Maryland, United States
Sunday, September 26, 2010
co-located with ICFP 2010

Call for Participation

ML is a family of programming languages that includes dialects known
as Standard ML, Objective Caml, and F#. The development of these
languages has inspired a large amount of computer science research,
both practical and theoretical. This workshop aims to provide a forum
to encourage discussion and research on ML and related technology
(higher-order, typed, or strict languages).

The format of the 2010 Workshop on ML will be different than that of
recent years, returning to a more informal model: a workshop with
presentations selected from submitted abstracts but without published
proceedings. We hope that this format will encourage the presentation
of more exciting (if unpolished) research and deliver a more lively
workshop atmosphere.

Invited Speaker
~~~~~~~~~~~~~~

Luke Hoban (Microsoft) -- Bringing F# to Visual Studio 2010

Program
~~~~~~

9:00 Invited Talk
Visual F#: Bringing F# to Visual Studio 2010
Luke Hoban (Microsoft Research)
10:00 Break
10:30 Probabilistic programming using first-class stores and
first-class continuations
Oleg Kiselyov (FNMOC); Chung-chieh Shan (Rutgers University)
10:55 Effective progamming in ML
Daan Leijen (Microsoft Research); Ross Tate (University of
California, San Diego)
11:20 Discussion
11:30 First-class modules and composable signatures in Objective
Caml 3.12
Alain Frisch (LexiFi); Jacques Garrigue (Nagoya University
Graduate School of Mathematics)
11:55 First-class modules: hidden power and tantalizing promises
Jeremy Yallop (Applicative Ltd); Oleg Kiselyov (FNMOC)
12:20 Discussion
12:30 Lunch break
14:00 Deriving a Typed Implementation for Coroutines in ML
Konrad Anton (Universitat Freiburg); Peter Thiemann (Universitat
Freiburg)
14:25 The Design Rationale for Multi-MLton
Suresh Jagannathan (Purdue University); Armand Navabi (Purdue
University); KC Sivaramakrishnan (Purdue University);
Lukasz Ziarek (Purdue University)
14:50 Discussion
15:00 Mirage: high-performance ML kernels in the cloud
Anil Madhavapeddy (University of Cambridge); Thomas Gazagnaire
(INRIA Sophia Antipolis)
15:25 Hosting a Standard ML compiler in a Web Browser: Status Report
Martin Elsman
15:50 Discussion
16:00 Break
16:30 A simple and effective method for assigning blame for type errors
David MacQueen (University of Chicago)
16:55 The MetaOCaml files: Status report and research proposal
Oleg Kiselyov (FNMOC); Chung-chieh Shan (Rutgers University)
17:20 Discussion
17:30 Closing

Registration and Local Arrangements
~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~

* https://regmaster3.com/2010conf/ICFP10/register.php
* http://www.icfpconference.org/icfp2010/local.html

Program Chair
~~~~~~~~~~~~
Matthew Fluet Rochester Institute of Technology

Program Committee
~~~~~~~~~~~~~~~~
Kathleen Fisher AT&T Labs Research
Adam Granicz IntelliFactory
Daan Leijen Microsoft Research
Johan Nordlander Lulea University of Technology
Sungwoo Park Pohang University of Science and Technology
Daniel Spoonhower Google

2010-08-07

[Caml-list] CUFP 2010

CUFP is a venue for people who use functional programming for practical
applications, and this year's program (in my very biased opinion) is
particularly good. CUFP is two days this year, a full day of tutorials
(including a tutorial on Camlp4 and Template Haskell which should be of
particular interest here), and a day of shorter experience reports and
technical talks.

CUFP is co-located with ICFP, and you can register through ICFP's
registration page, which is now up.

Without further ado:

Commercial Users of Functional Programming Workshop
(CUFP) 2010

Call for Participation

Sponsored by SIGPLAN
Co-located with ICFP 2010

_________________________________________________________

1 - 2 October 2010
Baltimore (MD), USA

http://cufp.org/conference/schedule/2010

Reservation will be available through
ICFP's website: http://www.icfpconference.org/icfp2010

_________________________________________________________

Functional programming languages have been a hot topic of academic
research for over 35 years, and have seen an ever larger practical
impact in settings ranging from tech startups to financial firms to
biomedical research labs. At the same time, a vigorous community of
practically-minding functional programmers has come into existence.

CUFP is designed to serve this community. The annual CUFP workshop is
a place where people can see how others are using functional
programming to solve real world problems; where practitioners meet and
collaborate; where language designers and users can share ideas about
the future of their favorite language; and where one can learn
practical techniques and approaches for putting functional programming
to work.

CUFP 2010 will feature three hour Functional Programming tutorials
given by language experts on the first day and Experience and
Technical Talks on day two. Attendees may attend either or both days.

Talks Program, October 2nd 2010

Luke Hoban (Microsoft)
Keynote: F#: Embracing Functional Programming in
"Visual Studio 2010"

Sally A Browning (Galois Inc)
Cryptol, a DSL for Cryptographic Algorithms

Marius Eriksen (Twitter)
Scaling Scala at Twitter

Michael Fogus (Science Applications International Corporation)
Naïveté vs. Experience - or, How We Thought We Could Use Scala and
Clojure, and How We Actually Did It

Neal Glew & Leaf Petersen (Intel)
Functional Language Compiler Experiences at Intel

Warren Harris (Metaweb)
Functional Programming at Freebase

Warren A. Hunt, Jr. (U. of Texas)
Eating One's Own Dog Food

Rusty Klophaus (Basho Technologies)
Riak Core: Building Distributed Applications Without Shared State

Howard Mansell (Credit Suisse)
Eden: An F#/WPF frameworok for building GUI tools

Erik Meijer (Microsoft)
Reactive Extensions (Rx): Curing Your Asynchronous Programming
Blues

Tutorial Program, October 1st 2010

Morning:
Clojure (Aaron Bedra)
Building robust servers with Erlang (Martin Logan)
High Performance Haskell (Johan Tibell)
Afternoon:
F# 2.0 - A day at the beach (Rick Minerich)
Implementing web sites with Scala and Lift (David Pollak)
Camlp4 and Template Haskell (Nicolas Pouillard, Jake Donham)

There will be no published proceedings, as the meeting is intended to
be more a discussion forum than a technical interchange. For more
information, for more information, including presentation abstracts
and the most recent schedule information, visit

http://cufp.org

See you there!

--
Yaron Minsky

2010-08-03

[Caml-list] MSFP call for participation

CALL FOR PARTICIPATION

Third Workshop on
MATHEMATICALLY STRUCTURED FUNCTIONAL PROGRAMMING
25 September 2010, Baltimore, Maryland, USA
A satellite workshop of ICFP 2010

PRESENTATION
The workshop on Mathematically Structured Functional Programming is
devoted to the derivation of functionality from structure. It is a
celebration of the direct impact of Theoretical Computer Science on
programs as we write them today. Modern programming languages, and in
particular functional languages, support the direct expression of
mathematical structures, equipping programmers with tools of remarkable
power and abstraction. Monadic programming in Haskell is the
paradigmatic example, but there are many more mathematical insights
manifest in programs and in programming language design:
Freyd-categories in reactive programming, symbolic differentiation
yielding context structures, and comonadic presentations of dataflow, to
name but three. This workshop is a forum for researchers who seek to
reflect mathematical phenomena in data and control.

The first MSFP workshop was held in Kuressaare, Estonia, in July 2006.
Selected papers were published as a special issue of the Journal of
Functional Programming (volume 19, issue 3-4).
The second MSFP workshop was held in Reykjavik, Iceland as part of ICALP
2008.

PROGRAM

9:00 - 10:00 Invited talk: Amy Felty,
"Hybrid: Reasoning with Higher-Order Abstract Syntax
in Coq and Isabelle"
10:00 - 10:30 break
10:30 - 11:00 Chantal Keller and Thorsten Altenkirch,
"Normalization by hereditary substitutions"
11:00 - 11:30 Paul Tarau,
"Hereditarily finite representations of natural numbers
and self delimiting codes"
11:30 - 12:30 Tutorial: Adam Chlipala,
"Foundational Program Verification
in Coq with Automated Proofs"
12:30 - 2:00 lunch break
2:00 - 3:00 Invited talk: Martín Escardó,
"What Tic-Tac-Toe, the Tychonoff Theorem,
and the Double-Negation Shift have in common"
3:00 - 3:30 break
3:30 - 4:00 Kazuyuki Asada, "Arrows are Strong Monads"
4:00 - 4:30 Adam Gundry, Conor McBride and James McKinna,
"Type inference in context"
4:30 - 5:00 break
5:00 - 6:00 Tutorial: Peter Morris, "Epigram Prime: A Demonstration"

Workshop homepage:
http://cs.ioc.ee/msfp/msfp2010/
Registration link:
https://regmaster3.com/2010conf/ICFP10/register.php
Local arrangements:
http://www.icfpconference.org/icfp2010/local.html

[Caml-list] ICFP 2010: Call for participation

=====================================================================
Call for Participation