[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