29 May 2011
Novi Sad, Serbia
CALL FOR PARTICIPATION
CALL FOR STUDENT PAPERS
2FC'11
Two Faces of Complexity
http://cl-informatik.uibk.ac.at/events/2fc11/
May 29, 2011, part of RDP'11, Novi Sad, Serbia
In recent years there have been several approaches to the automated
analysis of the complexity of programs. Mostly these approaches have
been developed independently and use a variety of different
techniques. This workshop aims to bring together the leading
researchers working in this area. In particular we are interested in a
transfer of knowledge between researchers working on model-checking
and on rewriting. While these communities essentially solve the same
problems the techniques (and sometimes even the terminology) used is
quite different.
In order to provide the best possible interaction between the
different concerned communities, the workshop is centred around
invited presentations: two tutorial and 6 technical invited talks. In
addition to these, we will invite contributed papers by early
researches. We are happy to announce that the following colleagues
agreed to give invited presentations at this workshop:
*) Amir Ben-Amram, Academic College of Tel-Aviv-Yaffo, Israel
*) Samir Genaim, Complutense University of Madrid, Spain
*) Juergen Giesl, RWTH Aachen, Germany
*) Nao Hirokawa, JAIST, Japan
*) Martin Hofmann, LMU Munich, Germany
*) Daniel Kroening, Oxford University
*) Jean-Yves Marion, Loria-INPL, France
*) Andreas Podelski, University of Freiburg, Germany
In addition to invited presentations we want to give early researchers
(aka PhD students) the opportunity to contribute papers to this
workshop. Thus we invite submissions in the form of extended
abstracts on the topics of the workshop. Mandatory requirement for
acceptance of these short papers is originality, that is, only papers
presenting new ideas (not published or presented elsewhere) will be
accepted. Furthermore we will only accept papers exclusively written
by students. Submissions should be no more than 6 pages and uploaded
to https://www.easychair.org/account/signin.cgi?conf=2fc11.
The workshop will take place on Sunday, May 29, 2011 in Novi Sad,
Serbia as part of the Federated Conference on Rewriting, Deduction,
and Programming (RDP 2011).
Important dates:
*) Early registration deadline: April 10
*) Please register for the workshop via the RDP site.
*) Submission of student papers: April 30
*) Notification of acceptance: May 9
*) Registration deadline: May 10
For further information see the links on the workshop web site,
http://www.rdp2011.uns.ac.rs/workshops/2fc.html,
or directly at http://cl-informatik.uibk.ac.at/events/2fc11/.
Georg Moser and Andrey Rybalchenko