[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)

_______________________________________________
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

[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

[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)

_______________________________________________
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

[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)

_______________________________________________
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

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

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

STEERING COMMITTEE

Craig Chambers University of Washington
Robert Harper Carnegie Mellon University (Chair)
Xavier Leroy INRIA Paris-Rocquencourt
Greg Morrisett Harvard University
George Necula Rinera Networks and UC Berkeley
Atsushi Ohori Tohoku University
Francois Pottier INRIA Paris-Rocquencourt
Zhong Shao Yale University

_______________________________________________
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

[Caml-list] DAMP 2009: Call for Papers

C a l l f o r P a p e r s

DAMP 2009: Workshop on Declarative Aspects of Multicore
Programming

Savannah, Georgia, USA --- January 20, 2009
(co-located with POPL 2009)

DAMP 2009 is the fourth in a series of one-day workshops seeking to
explore
ideas in programming language design that will greatly simplify
programming
for multicore architectures, and more generally for tightly coupled
parallel
architectures. DAMP 2009 is co-located with the ACM SIGPLAN - SIGACT
Symposium on Principles of Programming Languages (POPL 2009).

The emphasis will be on functional and (constraint-)logic
programming, but
any programming language ideas that aim to raise the level of
abstraction
are welcome. DAMP seeks to gather together researchers in
declarative
approaches to parallel programming and to foster cross
fertilization across
different approaches.

For further information, a CFP flyer, and details on paper
submissions, see

http://www.cse.unsw.edu.au/~pls/damp09/

Paper submission deadline is 10th October 2008!

_______________________________________________
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

[Caml-list] Workshop on Generic Programming: Call for Participation (co-located w/ ICFP08)

Dear all,

the Workshop on Generic Programming is only a few days away: 20th
September 2008 (http://www.regmaster.com/conf/icfp2008.html).

==> Invited talk: The Generic Paradigm
==> Lambert Meertens (Utrecht University)

==> We have reserved 20 minutes for *lightning talks*. If you plan to
==> attend and if you would like to give a short talk (about half-baked,
==> exciting, new stuff) please drop me a short note. Slots will be
==> reserved on a first-come-first-serve basis.

Looking forward to seeing you in Victoria, Ralf Hinze

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

CALL FOR PARTICIPATION

Workshop on Generic Programming 2008

Victoria, Canada, 20th September 2008

http://www.comlab.ox.ac.uk/ralf.hinze/wgp2008/cfp.{html,pdf,ps,txt}

The Workshop on Generic Programming is sponsored by ACM SIGPLAN
and forms part of ICFP 2008. Previous Workshops on Generic
Programming have been held in Marstrand (affiliated with MPC),
Ponte de Lima (affiliated with MPC), Nottingham (informal
workshop), Dagstuhl (IFIP WG2.1 Working Conference), Oxford
(informal workshop), Utrecht (informal workshop), and Portland
(affiliated with ICFP).

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

Preliminary program
-------------------

9:00 - 10:00, Session Chair: Ralf Hinze (University of Oxford)

Welcome

Invited talk: The Generic Paradigm
Lambert Meertens (Utrecht University)

10:30 - 12:00, Session Chair: Jeremy Gibbons (University of Oxford)

A Functional Model-View-Controller Software Architecture for
Command-oriented Programs
Alley Stoughton (Kansas State University)

A Lightweight Approach to Datatype-Generic Rewriting
Thomas van Noort (Radboud University Nijmegen), Alexey Rodriguez,
Stefan Holdermans (Utrecht University), Johan Jeuring (Utrecht
University and Open University of the Netherlands), Bastiaan
Heeren (Open University of the Netherlands)

Lightning talks

13:30 - 15:00, Session Chair: Ralf Hinze (University of Oxford)

Report from the program chair
Ralf Hinze (University of Oxford)

Scala for Generic Programmers
Bruno C. d. S. Oliveira, Jeremy Gibbons (University of Oxford)

A Comparison of C++ Concepts and Haskell Type Classes
Jean-Philippe Bernardy, Patrik Jansson, Marcin Zalewski, Sibylle
Schupp, Andreas Priesnitz (Chalmers University of Technology and
University of Gothenburg)

Lightning talks

15:30 - 17:30, Session Chair: Patrik Jansson (Chalmers University of
Technology and University of Gothenburg)

Polytypic Programming in Coq
Wendy Verbruggen, Edsko de Vries, Arthur Hughes (Trinity College
Dublin)

Bialgebra Views: A Way for Polytypic Programming to Cohabit with
Data Abstraction
Pablo Nogueira, Juan Jose Moreno-Navarro (Universidad Politecnica
de Madrid)

Discussion

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

_______________________________________________
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