[logic-ml] Computability in Europe 2013

[Akitoshi Kawamura]

皆様

東京大学の河村です
いつもお世話になっております

以前御案内させて頂きました欧洲計算可能性会議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
<msoskova at gmail.com <http://msoskova@gmail.com > 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.it
> 
> IMPORTANT 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
> 
> 
>