皆様
東京大学の河村です いつもお世話になっております
以前御案内させて頂きました欧洲計算可能性会議CiE 2013（7月1〜5日ミラノ）は このほど査読を経た採録論文が発表されましたが これとは別に論文なしの講演（Informal Presentation）を5月末まで募集致します http://cie2013.disco.unimib.it/ 詳細は下記またはウェブ頁を御覧下さい 御発表や参加を検討頂ければ幸いです
-- 河村彰星 東京大学大学院情報理工学系研究科コンピュータ科学専攻 助教（今井研究室） 03-5841-4097 http://www-imai.is.s.u-tokyo.ac.jp/~kawamura/index_j.html
---------------------------------------------------------------------------- COMPUTABILITY IN EUROPE 2013: The Nature of Computation Milan, Italy July 1 - 5, 2013 http://cie2013.disco.unimib.it
----------------------------------------------------------------------------
CALL FOR INFORMAL PRESENTATIONS
There is a remarkable difference in conference style between computer science and mathematics conferences. Mathematics conferences allow for informal presentations that are prepared very shortly before the conference and inform the participants about current research and work in progress. The format of computer science conferences with pre-conference proceedings is not able to accommodate this form of scientific communication.
Continuing the tradition of past CiE conferences, this year's CiE conference endeavours to get the best of both worlds. In addition to the formal presentations based on our LNCS proceedings volume, we invite researchers to present informal presentations. For this, please send us a brief description of your talk (between one paragraph and one page) by the DEADLINE:
MAY 31, 2013
Please submit your abstract electronically, via EasyChair https://www.easychair.org/login.cgi?conf=cie2013, selecting the category "Informal Presentation".
You will be notified whether your talk has been accepted for informal presentation usually within a week after your submission.
If you intend to apply for the ASL Student Travel Award, you might need us to confirm that your are going to give a presentation at CiE 2013 (applications of students who are presenting get higher priority). Therefore, we would like to ask you to submit your informal presentations by 26 March so that we can send you the notification before the ASL deadline of 1 April 2013.
GRANTS:
Grants for students, members of the ASL:
The Association for Symbolic Logic <http://www.aslonline.org has decided to sponsor some students that are ASL members and willing to attend CiE2013. The eligible students may apply for ASL travel funds that are available for sponsored meetings, see http://www.aslonline.org/studenttravelawards.html for detailed instructions on the application process. Applications should be received at least three months prior to the conference.
Elsevier
Under the name Elsevier Women in Computability (WiC), the publisher Elsevier (more precisely, the journals 'Annals of Pure and Applied Logic' and 'Theoretical Computer Science') is continuing the programme 'Increasing representation of female researchers in the computability community' originally funded by the Elsevier Foundation (2008-2010).
This programme will fund the WiC workshop at CiE 2013, with the traditional WiC dinner for workshop participants afterwards, and offer up to four grants with modest support (up to 200 EUR) for junior female researchers to attend CiE 2013. Every registered junior female researcher is eligible to apply. Preference will be given to researchers who present a paper (contributed paper or informal talk).
Applications should contain a short CV (max 1 page) and contact information for an academic reference. The application should be sent to Mariya Soskova <[email protected] <http://[email protected] > before the deadline of April 1, 2013.
EACTS Students
The European Association for Theoretical Computer Science has decided to sponsor all students that are EATCS members and willing to attend CiE2013. The early registration fee for EATCS students is 30 cheaper than the one for non-members.
On H.25/01/06, at 14:06, Akitoshi Kawamura wrote:
皆様
東京大の河村と申します お世話になっております
メーリングリストをお借りして 七月に伊ミラノで開催されます欧洲計算可能性会議CiE 2013の御案内をさせていただきます 投稿締切が二週間後に迫っておりますが 御投稿・御参加を検討頂ければ幸いです
-- 河村彰星 東京大学大学院情報理工学系研究科コンピュータ科学専攻 助教（今井研究室） 03-5841-4097 http://www-imai.is.s.u-tokyo.ac.jp/~kawamura/index_j.html
CiE13 CALL FOR PAPERS AND SPECIAL AWARDS:
CiE 2013: The Nature of Computation: Logic, Algorithms, Applications Milan, Italy July 1 - 5, 2013 http://cie2013.disco.unimib.itIMPORTANT DATES:
Submission Deadline for LNCS: 20 January 2013 Notification of authors: 4 March 2013 Deadline for final revisions: 1 April 2013
CiE 2013 is the ninth conference organised by CiE (Computability in Europe), a European association of mathematicians, logicians, computer scientists, philosophers, physicists and others interested in new developments in computability and their underlying significance for the real world. Previous meetings have taken place in Amsterdam (2005), Swansea (2006), Siena (2007), Athens (2008), Heidelberg (2009), Ponte Dalgada (2010), Sofia (2011) and Cambridge (2012).
The Nature of Computation is meant to emphasize the special focus of CIE13 on the unexpected and strong changes that studies on Nature have brought in several areas of mathematics, biology, physics, and computer science. Starting from Alan Turing, research on Nature with a computational perspective has produced novel contributions, giving rise even to new disciplines.
AWARDS:
Springer-Verlag has graciously funded two awards that will be given during the CiE 2013 Conference.
Best student paper:
This prize will be awarded for the best student paper presented at CiE 2013, as judged by the Program Committee. A prize of 500 euros will be given to the author(s) of the best student-authored paper (or split between more than one paper if there is a tie). In order to be considered, a paper has to be submitted in the category 'Regular paper (eligible for best student paper award)' on EasyChair. Papers are eligible if all of its authors are full-time students at the time of submission.
Best paper on Natural Computing:
The prize consists of the four volumes of the Handbook of Natural Computing (see http://cie2013.disco.unimib.it/awards/). This prize will be awarded to the best paper on Natural Computing presented at CiE 2013, as judged by the Program Committee. A paper is eligible if its main topic falls within the scope of Natural Computing, roughly defined as the set of fields studied in the above handbook. The Program Committee is the only judge of the relevance of a paper within the Natural Computing scope. The authors of a paper eligible for the award must indicate this in the submission notes.
INVITED SPEAKERS
Ulle Endriss (University of Amsterdam) Lance Fortnow (Georgia Institute of Technology) Anna Karlin (University of Washington) Bernard Moret (Ecole Polytechnique Federale de Lausanne) Mariya Soskova (Sofia University) Endre Szemeredi (Hungarian Academy of Sciences, Rutgers University)
TUTORIAL SPEAKERS Gilles Brassard (Universite de Montreal) Grzegorz Rozenberg (Leiden Institute of Advanced Computer Science and University of Colorado at Boulder)
SPECIAL SESSIONS on
Algorithmic Randomness organizers: Mathieu Hoyrup, Andre Nies Data Streams and Compression organizers: Paolo Ferragina, Andrew McGregor Computational Complexity in the Continuous World organizers: Akitoshi Kawamura, Robert Rettinger Computational Molecular Biology organizers: Alessandra Carbone, Jens Stoye Computation in Nature organizers: Mark Delay, Natasha Jonoska History of Computation organizers: Gerard Alberts, Liesbeth De Mol
PROGRAM COMMITTEE:
- Gerard Alberts (Amsterdam) * Luis Antunes (Porto)
- Arnold Beckmann (Swansea) * Laurent Bienvenu (Paris)
- Paola Bonizzoni (Milan, co-chair) * Vasco Brattka (Munich and Cape
Town, co-chair)
- Cameron Buckner (Houston TX) * Bruno Codenotti (Pisa)
- Stephen Cook (Toronto ON) * S Barry Cooper (Leeds)
- Ann Copestake (Cambridge) * Erzsebet Csuhaj-Varju (Budapest)
- Anuj Dawar (Cambridge) * Gianluca Della Vedova (Milan)
- Liesbeth De Mol (Gent) * Jerome Durand-Lose (Orleans)
- Viv Kendon (Leeds) * Bjoern Kjos-Hanssen (Honolulu, HI)
- Antonina Kolokolova (St. John's NF) * Benedikt Loewe (Amsterdam)
- Giancarlo Mauri (Milan) * Rolf Niedermeier (Berlin)
- Geoffrey Pullum (Edinburgh) * Nicole Schweikardt (Frankfurt)
- Sonja Smets (Amsterdam) * Susan Stepney (York)
- S. P. Suresh (Chennai) * Peter van Emde Boas (Amsterdam)
The PROGRAMME COMMITTEE cordially invites all researchers (European and non-European) in computability related areas to submit their papers (in PDF format, max 10 pages using the LNCS style) for presentation at CiE 2013. The submission site https://www.easychair.org/conferences/?conf=cie2013 is open. We particularly invite papers that build bridges between different parts of the research community.
The CONFERENCE PROCEEDINGS will be published by LNCS, Springer Verlag.
Contact: Paola Bonizzoni - bonizzoni at disco.unimib.it Website: http://cie2013.disco.unimib.it