[Agda] Deadline extension: (August 31): SPLST'11

[James Chapman]

Dear list,

The paper deadline for SPLST’11 (12th Symposium on Programming Languages and Software Tools - http://www.cs.ioc.ee/splst11/) has been extended until August 31. There's still almost a week left to prepare a short paper on work in progress!

The programme committee (and I in particular) would be delighted to receive submissions related to or using Agda.

If you would like to visit us in Estonia please consider submitting something. The workshop is timed to coincide with the Estonian Theory Days meeting which SPLST attendees are also welcome to attend.

Best wishes,

James Chapman

Begin forwarded message:

> From: Jaan Penjam <jaan at cs.ioc.ee>
> Subject: [excs] Deadline extension: (August 31): SPLST'11
> 
> Dear colleagues,
> 
> On behalf of the organizers and Program Committee I inform you that due to several requests the paper submission deadline for SPLST’11  (12th Symposium on Programming Languages and Software Tools - http://www.cs.ioc.ee/splst11/) has been extended to August 31. 
> 
> Apologies for multiple copies.
> 
> Jaan Penjam
> 
> x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x 
> 
>                   CALL for PAPERS
>                          SPLST'11
> 
> 12th Symposium on Programming Languages and Software Tools
>                  http://cs.ioc.ee/splst11/
> 
>             October 5-7, 2011, Tallinn, Estonia
> 
> 
> IMPORTANT DATES (EXTENDED)
> 
> Submission Deadline:
>         Wed, August 31
>         Author Notification:  Wed, September 14
>        Camera ready manuscript:  Wed, September 21
>         Registration:  Mon, 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 31st. Submissions should be written in English and formatted using the easychair.cls LaTeX class (can be obtained fromhttp://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
> 
> 
> CONTINUATION EVENT
> 
> SPLST’11 symposium will be followed by the Estonian Computer Science Theory Days (http://cs.ioc.ee/excs/tdays/) on October 7-9, 2011. The SPLST participants interested in that topics may consider to continue with this scientific meeting. More information about this event can be found on the Theory Days’ web-pages.
> 
> -------------------
> Jaan Penjam, Prof                                                                                  [Phone: +372 620 4214]
> Senior Research Fellow of the Institute of Cybernetics at              [GSM:    +372 514 7798]
> Tallinn University of Technology                                                         [Fax:       +372 620 4151]
> Akadeemia tee 21, room B404                                                            [email:   jaan at cs.ioc.ee]
> Tallinn 12618, Estonia
> 
> 
> 

-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://lists.chalmers.se/pipermail/agda/attachments/20110825/97359e8c/attachment.html