Re: [Caml-list] OUD - call for participation

Dear OCaml users,

We have now updated the OUD website with the abstracts of all the
speakers: http://oud.ocaml.org/2012/#schedule

As a reminder, early registration is on August 9th, so be sure to
register soon. All of the student applications will receive a
response shortly, so thank you for all the applications.

There is a lot going on during the week of ICFP in addition to the
OCaml workshop, and you might want to also attend some of the other
events that are co-located (including the ML workshop the day before).
I have written an overview of the week here:
http://anil.recoil.org/2012/07/31/the-functional-week.html

We had a lot of fun last year in Japan, and I hope to see you all
in Copenhagen in September for an equally memorable get-together!
Feel free to contact myself or Didier with any queries.

-anil

On 13 Jul 2012, at 15:14, Didier Remy <Didier.Remy@inria.fr> wrote:

>
> OCAML USERS AND DEVELOPERS WORKSHOP (OUD)
>
> http://oud.ocaml.org
>
> CALL FOR PARTICIPATION
>
> Copenhagen, Denmark
>
> Fri, Sep 14th, 2012
>
> Co-located with ICFP
>
> Sponsored by SIGPLAN and the OCaml Consortium
>
>
> This year, the OCaml Meeting is renamed the OCaml Users and Developers
> workshop (OUD), and is colocated with ICFP in Copenhagen, Denmark. It
> will be held on Friday September 14, after the ML workshop (Thu 13)
> and before the Commercial Users of Functional Programming (Sat 15).
>
> The OCaml Users and Developers Workshop will bring together industrial
> users of OCaml with academics and hackers who are working on extending the
> language, type system and tools. Discussion will focus on the practical
> aspects of OCaml programming and the nitty gritty of the tool-chain and
> upcoming improvements and changes.
>
> The program is available at http://oud.ocaml.org/2012/#program
>
> ----------------
>
> Please, register to OUD via the ICFP conference registration site at
> http://icfpconference.org/icfp2012/registration.html and don't miss the
> early registration deadline on *August 1st*!
>
> There is some support for students to travel to ICFP as well as specific
> support for OUD. See http://icfpconference.org/icfp2012/students.html
>
> See the OUD homepage http://oud.ocaml.org for more information.
> If you have any other questions, please e-mail us:
>
> Didier Remy <didier.remy@inria.fr>
> Anil Madhavapeddy <avsm2@cl.cam.ac.uk>
>
>
>
>
> --
> Caml-list mailing list. Subscription management and archives:
> https://sympa-roc.inria.fr/wws/info/caml-list
> Beginner's list: http://groups.yahoo.com/group/ocaml_beginners
> Bug reports: http://caml.inria.fr/bin/caml-bugs
>


--
Caml-list mailing list. Subscription management and archives:
https://sympa-roc.inria.fr/wws/info/caml-list
Beginner's list: http://groups.yahoo.com/group/ocaml_beginners
Bug reports: http://caml.inria.fr/bin/caml-bugs

[Caml-list] PLPV 2013 First Call for Papers

The Seventh ACM SIGPLAN Workshop
on
Programming Languages meets Program Verification (PLPV 2013)

http://plpv.tcs.ifi.lmu.de/

22nd January, 2013
Rome, Italy
(Affiliated with POPL 2013)

Call for Papers

Overview

The goal of PLPV is to foster and stimulate research at the
intersection of programming languages and program verification, by
bringing together experts from diverse areas like types, contracts,
interactive theorem proving, model checking and program analysis. Work
in this area typically attempts to reduce the burden of program
verification by taking advantage of particular semantic or structural
properties of the programming language. One example are dependently
typed programming languages, which leverage a language's type system
to specify and check rich specifications. Another example are
extended static checking systems which incorporate contracts with
either static or dynamic contract checking.

We invite submissions on all aspects, both theoretical and practical,
of the integration of programming language and program verification
technology. To encourage interaction between different
communities, we seek a broad scope for PLPV. In particular,
submissions may have diverse foundations for verification (based on
types, Hoare-logic, abstract interpretation, etc), target
different kinds of programming languages (functional, imperative,
object-oriented, etc), and apply to diverse kinds of program
properties (data structure invariants, security properties, temporal
protocols, resource constraints, etc).

Important Dates

Submission 8th October, 2012 (Monday)
Notification 1st November, 2012 (Thursday)
Final Version 8th November, 2012 (Thursday)
Workshop 22nd January, 2013 (Tuesday)

Submissions

We seek submissions of up to 12 pages related to the above
topics; shorter submissions are also welcome. Submissions may describe
new work, propose new challenge problems for language-based
verification techniques, or present a known idea in an elegant way
(i.e., a pearl).

Submissions should be prepared with SIGPLAN two-column conference
format. Submitted papers must adhere to the SIGPLAN republication
policy. Concurrent submissions to other workshops, conferences,
journals, or similar forums of publication are not allowed.

To submit a paper, access the online submission site at
http://www.easychair.org/conferences/?conf=plpv2013.

Publication

Accepted papers will be published by the ACM and will appear in the
ACM Digital library.

Program Committee

Andreas Abel Ludwig-Maximilians-University Munich (co-chair)
Robert Atkey University of Strathclyde
Harley Eades The University of Iowa
Chung-Kil Hur Max Planck Institute for Software Systems
Brigitte Pientka McGill University
Andrew Pitts University of Cambridge
François Pottier INRIA
Tim Sheard Portland State University (co-chair)
Makoto Takeyama Advanced Industrial Science and Technology


--
François Pottier
Francois.Pottier@inria.fr
http://gallium.inria.fr/~fpottier/

--
Caml-list mailing list. Subscription management and archives:
https://sympa-roc.inria.fr/wws/info/caml-list
Beginner's list: http://groups.yahoo.com/group/ocaml_beginners
Bug reports: http://caml.inria.fr/bin/caml-bugs

[Caml-list] ML workshop 2012: call for participation

=======================================================================
CALL FOR PARTICIPATION

ACM SIGPLAN Workshop on ML
Thursday, September 13, 2012, Copenhagen, Denmark
(co-located with ICFP)

http://www.lexifi.com/ml2012
=======================================================================

The ML workshop is the annual event where users, developers and
researchers of ML languages (SML, OCaml, F#) can interact and discuss
ongoing research, open problems and innovative applications.

ML2012 will be held in Copenhagen on September 13, just after the ICFP
conference, and close to other exciting events, like OUD (OCaml Users
and Developers), CUFP (Commercial users of Functional Programming),
and more.

Program:
http://www.lexifi.com/ml2012

Registration (early registration deadline: August 9!):
http://icfpconference.org/icfp2012/registration.html

--
Caml-list mailing list. Subscription management and archives:
https://sympa-roc.inria.fr/wws/info/caml-list
Beginner's list: http://groups.yahoo.com/group/ocaml_beginners
Bug reports: http://caml.inria.fr/bin/caml-bugs

[Caml-list] OUD - call for participation

OCAML USERS AND DEVELOPERS WORKSHOP (OUD)

http://oud.ocaml.org

CALL FOR PARTICIPATION

Copenhagen, Denmark

Fri, Sep 14th, 2012

Co-located with ICFP

Sponsored by SIGPLAN and the OCaml Consortium


This year, the OCaml Meeting is renamed the OCaml Users and Developers
workshop (OUD), and is colocated with ICFP in Copenhagen, Denmark. It
will be held on Friday September 14, after the ML workshop (Thu 13)
and before the Commercial Users of Functional Programming (Sat 15).

The OCaml Users and Developers Workshop will bring together industrial
users of OCaml with academics and hackers who are working on extending the
language, type system and tools. Discussion will focus on the practical
aspects of OCaml programming and the nitty gritty of the tool-chain and
upcoming improvements and changes.

The program is available at http://oud.ocaml.org/2012/#program

----------------

Please, register to OUD via the ICFP conference registration site at
http://icfpconference.org/icfp2012/registration.html and don't miss the
early registration deadline on *August 1st*!

There is some support for students to travel to ICFP as well as specific
support for OUD. See http://icfpconference.org/icfp2012/students.html

See the OUD homepage http://oud.ocaml.org for more information.
If you have any other questions, please e-mail us:

Didier Remy <didier.remy@inria.fr>
Anil Madhavapeddy <avsm2@cl.cam.ac.uk>




--
Caml-list mailing list. Subscription management and archives:
https://sympa-roc.inria.fr/wws/info/caml-list
Beginner's list: http://groups.yahoo.com/group/ocaml_beginners
Bug reports: http://caml.inria.fr/bin/caml-bugs

[Caml-list] CICM 2012: Programme details on-line, last call for participation

The detailed programme of CICM 2012 is now on-line.

http://www.informatik.uni-bremen.de/cicm2012/cicm.php?event=&menu=detailed-programme

If you want to attend CICM 2012, and haven't registered yet, please do so as soon as possible:

http://www.informatik.uni-bremen.de/cicm2012/cicm.php?event=&menu=registration

Johan Jeuring
General program chair for CICM 2012


--
Caml-list mailing list. Subscription management and archives:
https://sympa-roc.inria.fr/wws/info/caml-list
Beginner's list: http://groups.yahoo.com/group/ocaml_beginners
Bug reports: http://caml.inria.fr/bin/caml-bugs

[Caml-list] ICFP 2012: Call for participation

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

The 17th ACM SIGPLAN International Conference
on Functional Programming (ICFP 2012) and
affiliated events

http://www.icfpconference.org/icfp2012/
Copenhagen, Denmark, Sep 9-15, 2012
=====================================================================

ICFP 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.

A full week dedicated to functional programming:
1 conference, 1 symposium, 9 workshops, 8 tutorials,
programming contest results, student research contest

* Accepted Papers:
http://www.icfpconference.org/icfp2012/accepted.html

* Local arrangements (including travel and accommodation):
http://icfpconference.org/icfp2012/local.html
Conference hotel reservation cutoff: July 9, 2012

* Registration is available via:
http://icfpconference.org/icfp2012/
Electronic registration will open shortly.

* Follow @icfp_conference on twitter for the latest news:
http://twitter.com/#!/icfp_conference

There are several events affiliated with ICFP:

September 9
Workshop on Cross-paradigm Language Design and Implementation
Workshop on Generic Programming
Workshop on Higher-Order Programming with Effects
Workshop on Logical Frameworks and Meta-languages: Theory and Practice
September 10-12
ICFP - main conference
September 13
Commercial Users of Functional Programming – Day 1 (CUFP Tutorials)
Haskell Symposium
Workshop on ML
September 14
Commercial Users of Functional Programming – Day 2 (CUFP Tutorials)
Erlang Workshop
Haskell Implementors' Workshop
OCaml Users and Developers Workshop
September 15
Commercial Users of Functional Programming – Day 3 (CUFP Talks)
Workshop on Functional High-Performance Computing
Tutorial on Compiler Construction in Haskell
Tutorial on the Grammatical Framework

Conference organizers:

* General Chair:
Peter Thiemann, University of Freiburg
* Program Chair:
Robby Findler, Northwestern University
* Local Arrangements Chair:
Fritz Henglein, University of Copenhagen
* Industrial Relations Chair:
Andy Adams-Moran, Galois
* Workshop Co-Chairs:
Patrik Jansson, Chalmers University of Technology
Gabriele Keller, University of New South Wales
* Programming Contest Chair:
Edwin Brady, University of St. Andrews
Kevin Hammond, University of St. Andrews
* Publicity Chair:
Wouter Swierstra, Utrecht University
* Video Chair:
Malcolm Wallace, Standard Chartered Bank
* Student Research Competition Chair:
Doaitse Swierstra, Utrecht University

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

--
Caml-list mailing list. Subscription management and archives:
https://sympa-roc.inria.fr/wws/info/caml-list
Beginner's list: http://groups.yahoo.com/group/ocaml_beginners
Bug reports: http://caml.inria.fr/bin/caml-bugs