[Agda] SPLST 2011 - Call for Papers

[James Chapman]

Dear all,

Please consider submitting a short or long paper to this symposium to
be held in Tallinn in October. The symposium is timed to coincide with
the next (more informal) Estonian Theory Days meeting so authors are
welcome to attend both events.  The symposium is local in a linguistic
sense and alternates between Estonia, Finland and Hungary. After the
symposium selected authors will be invited to revise their papers for
a journal special issue published by the Estonian Academy of Sciences.

We would be delighted to see submissions from the Agda community!

See below for further information.

Regards,

James Chapman


                     Call for Papers

                          SPLST'11
 12th Symposium on Programming Languages and Software Tools

                     http://www.cs.ioc.ee/splst11/
              October 5-7, 2011, Tallinn, Estonia

       IMPORTANT DATES

       Submission Deadline:            Monday,  August 22
       Author Notification:                    Saturday, September 10
       Camera ready manuscript:        Monday, September 19
       Registration:                                   Monday, September 19


       BACKGROUND

This symposium is the twelfth in a series of conferences which started
in 1989 in Szeged, Hungary.
Since then it has been organized biannually. The twelfth symposium
will be hosted by the Institute of
Cybernetics at Tallinn University of Technology (IoC) and organized in
co-operation with the Estonian
Centre of Excellence in Computer Science (EXCS).

       AIMS AND SCOPE

The Symposium on Programming Languages and Software Tools will provide
a forum for software
scientists to present and discuss recent research and development in
computer science.
The scope of the symposium covers ongoing research related to
languages, tools and methods for
software development. Topics of interest include, but are not limited to:

programming and modeling languages and systems,
formal methods and algorithms,
parallel and distributed systems,
techniques for embedded, database, web and ubiquitous systems,
techniques and tools for software engineering,
model-driven software engineering,
software evolution, refactoring  and re-engineering,
software architectures and software processes,
etc.


       PROCEEDINGS

All accepted papers will be published in the conference proceedings as
a report of IoC with ISBN.
The authors of selected talks will be invited to revise their papers
in order to be published as a special
issue of the Proceedings of the Estonian Academy of Sciences
(http://www.eap.ee/proceedings) in
2012. The papers submitted to this special issue will undergo standard
journal referee process.



       SUBMISSIONS

Authors are invited to submit full research papers (at most 12 pages)
or short research papers (4-6
pages) in PDF-format before August 22nd. Submissions should be written
in English and formatted
using the easychair.cls LaTeX class (can be obtained from
http://www.easychair.org/easychair.zip).
All submitted papers will be reviewed by members of the program
committee and the accepted papers
must be presented at the workshop by one of the authors. Submissions
should contain sufficient detail
to allow to evaluate its validity, quality, originality and relevance.
Simultaneous submission to other
conferences with published proceedings or journals is not allowed.
Paper submission and reviewing is
handled via Easychair:
http://www.easychair.org/conferences?conf=splst11


       PROGRAM COMMITTEE

James  Chapman - Institute of Cybernetics, Estonia
Hassan Charaf - Budapest University of Technology and Economics, Hungary
Marlon Dumas - University of Tartu, Estonia
Tibor Gyimóthy - University of Szeged, Hungary
Zoltán Horváth - Eötvös Loránd University, Hungary
Akos Kiss - University of Szeged, Hungary
Kai Koskimies - Tampere University of Technology, Finland
Tamas Kozsik - Eötvös Loránd University, Hungary
Merik Meriste - University of Tartu, Estonia
Erkki Mäkinen - University of Tampere, Finland
Jukka Paakki - University of Helsinki, Finland
András Pataricza - Budapest University of Technology and Economics, Hungary
Jaan Penjam - Institute of Cybernetics, Estonia
Jari Peltonen - Tampere University of Technology, Finland
Attila Pethõ - University of Debrecen, Hungary
Luigia Petre - Åbo Akademi University, Finland
Kari Smolander - Lappeenranta University of Technology, Finland
Tarja Systä - Tampere University of Technology, Finland
Jorma Tarhio - Aalto University, Finland
Kuldar Taveter - Tallinn University of Technology, Estonia
Tarmo Uustalu - Institute of Cybernetics, Estonia
Margus Veanes - Microsoft Research, Redmond USA
Varmo Vene - University of Tartu, Estonia


       STEERING COMMITTEE

Kai Koskimies - Tampere University of Technology, Finland
Zoltán Horváth - Eötvös Loránd University, Hungary
Jaan Penjam - Institute of Cybernetics, Estonia

The SPLSTʼ11 symposium will be followed by the Estonian Computer
Science Theory Days on October 7-
9, 2011. The SPLST participants interested are welcome to join (see
http://cs.ioc.ee/excs/tdays/ ).
-------------- next part --------------
A non-text attachment was scrubbed...
Name: CFP.pdf
Type: application/pdf
Size: 65392 bytes
Desc: not available
Url : http://lists.chalmers.se/pipermail/agda/attachments/20110707/11a2bdfb/CFP-0001.pdf