caml-list - the Caml user's mailing list
 help / color / Atom feed
* [Caml-list] Computability in Europe 2020 THIRD CALL FOR PAPERS
@ 2019-12-30 17:36 acie
  0 siblings, 0 replies; 2+ messages in thread
From: acie @ 2019-12-30 17:36 UTC (permalink / raw)
  To: acie

[-- Attachment #1: Type: text/plain, Size: 5144 bytes --]

COMPUTABILITY IN EUROPE 2020 THIRD CALL FOR PAPERS: 

CiE 2020: 
Salerno, Italy 

June 29 - July 3, 2020  
https://www.acie.eu/cie-conference-series/cie2020 
https://www.acie.eu  

IMPORTANT DATES: 

Deadline for abstract registration: 17 January 2020 AOE (extended) 
Deadline for article submission: 24 January 2020 AOE  (extended) 
Notification of acceptance: 14 March 2020 
Final versions due: 7 April 2020  

Deadline for informal presentations submission: 10 April 2020 
(The notifications of acceptance for informal presentations will be sent
a few days after submission.)  

Early registration before: 1 May 2020  

CiE 2020 is the 16th conference organized 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), Ponta Delgada (2010),
Sofia (2011), Cambridge (2012), Milan (2013), Budapest (2014), Bucharest
(2015), Paris (2016), Turku (2017), Kiel (2018), and Durham (2019). 

TUTORIAL SPEAKERS: 

- Virginia Vassilevska Williams (MIT) 
- Martin Ziegler (Korea Advanced Institute of Science and Technology) 

INVITED SPEAKERS:  

Paolo Boldi (University of Milan) 
Véronique Bruyère (University of Mons) 
Ekatarina Fokina (Vienna University of Technology) 
Amaury Pouly (CNRS Paris) 
Antonio Restivo (University of Palermo) 
Damien Woods (Maynooth University) 

HOSTED BY: 

Department of Computer Science, University of Salerno 

SPECIAL SESSIONS: 

Algorithmic Learning Theory 

Combinatorial String Matching 

Computable Topology 

History and Philosophy of Computing 

Large scale Bioinformatics and Computational Sciences 

Modern aspects of Formal Languages 

CONTRIBUTED PAPERS: 

Contributed papers will be selected from submissions received by the
PROGRAMME COMMITTEE consisting of:  

Marcella Anselmo          University of Salerno (co-chair) 
Veronica Becher           Universidad de Buenos Aires 
Paola Bonizzoni        University of Milano-Bicocca 
Laura Crosilla         University of Oslo 
Liesbeth De Mol           Université de Lille 3 
Gianluca Della Vedova     University of Milano-Bicocca 
Jérôme Durand-Lose      Université d'Orléans 
Pawel Gawrychowski     University of Wroclaw 
Mathieu Hoyrup           LORIA 
Juliette Kennedy          University of Helsinki 
Karoliina Lehtinen         University of Liverpool 
Benedikt Loewe            Universiteit van Amsterdam 
Florin Manea            Universität Göttingen 
Timothy McNicholl        Iowa State University 
Klaus Meer             BTU Cottbus-Senftenberg 
Turlough Neary            University of Zurich 
Daniel Paulusma         Durham University 
Arno Pauly            Swansea University (co-chair) 
Karin Quaas            University of Leipzig 
Viola Schiaffonati     Politecnico di Milano 
Markus L. Schmid           Humboldt University Berlin 
Alexander Schoenhuth       Bielefeld University 
Thomas Schwentick       Universität Dortmund 
Marinella Sciortino        University of Palermo 
Victor Selivanov        Institute on Informatics Systems 
Mariya Soskova          University of Wisconsin-Madison 
Peter Van Emde Boas    Universiteit van Amsterdam  
Linda Brown Westrick         Pennsylvania State University 

The CiE conferences serve as an interdisciplinary forum for research in
all aspects of computability, foundations of computer science, logic,
and theoretical computer science, as well as the interplay of these
areas with practical issues in computer science and with other
disciplines such as biology, mathematics, philosophy, or physics.  

THE PROGRAMME COMMITTEE cordially invites all researchers (European and
non-European) to submit original research articles in all areas related
to the above for presentation at the conference and inclusion in the
proceedings of CiE 2020 at
https://easychair.org/conferences/?conf=cie2020.  

Papers must be submitted in PDF format, using the LNCS style (available
at
https://www.springer.com/gp/computer-science/lncs/conference-proceedings-guidelines)
and must have a maximum of 12 pages, including references but excluding
a possible appendix in which one can include proofs and other additional
material. Papers building bridges between different parts of the
research community are particularly welcome.  

The CONFERENCE PROCEEDINGS will be published by LNCS, Springer Verlag.  

WOMEN IN COMPUTABILITY TRAVEL GRANTS

We are very happy to announce that within the framework of the Women in
Computability programme sponsored by ACM-W we are able to offer four
grants of up to 250 EUR for junior female researchers who want to
participate in CiE 2020.  
Applications for this grant should be sent to
johanna.franklin@gmail.com, before APRIL 30, 2020 and include a short cv
(at most 2 pages) and contact information for an academic reference.
Preference will be given to junior female researchers who are presenting
a paper (including informal presentations) at CiE 2020.

[-- Attachment #2: Type: text/html, Size: 13234 bytes --]

<html><head><meta http-equiv="Content-Type" content="text/html; charset=UTF-8" /></head><body style='font-size: 10pt; font-family: Verdana,Geneva,sans-serif'>
<h2><span class="">Computability in Europe 2020 THIRD CALL FOR PAPERS:&nbsp;</span></h2>
<div id="magicdomid3" class="">&nbsp;</div>
<div id="magicdomid143" class="ace-line"><span class="">CiE 2020:</span></div>
<div id="magicdomid144" class="ace-line"><span class="">Salerno, Italy</span></div>
<div id="magicdomid6" class="">&nbsp;</div>
<div id="magicdomid145" class="ace-line"><span class="">June 29 - July 3, 2020&nbsp;</span></div>
<div id="magicdomid146" class="ace-line"><span class=" url"><a href="https://www.acie.eu/cie-conference-series/cie2020">https://www.acie.eu/cie-conference-series/cie2020</a></span></div>
<div id="magicdomid147" class="ace-line"><span class=" url"><a href="https://www.acie.eu">https://www.acie.eu</a></span><span class="">&nbsp;</span></div>
<div id="magicdomid10" class="">&nbsp;</div>
<div id="magicdomid148" class="ace-line">
<h2><span class="">IMPORTANT DATES:&nbsp;</span></h2>
</div>
<div id="magicdomid149" class="ace-line"><span class="">Deadline for abstract registration: 17 January 2020 AOE (extended)</span></div>
<div id="magicdomid150" class="ace-line"><span class="">Deadline for article submission: 24 January 2020 AOE&nbsp; (extended)</span></div>
<div id="magicdomid151" class="ace-line"><span class="">Notification of acceptance: 14 March 2020</span></div>
<div id="magicdomid152" class="ace-line"><span class="">Final versions due: 7 April 2020&nbsp;</span></div>
<div id="magicdomid16" class="">&nbsp;</div>
<div id="magicdomid153" class="ace-line"><span class="">Deadline for informal presentations submission: 10 April 2020</span></div>
<div id="magicdomid154" class="ace-line"><span class="">(The notifications of acceptance for informal presentations will be sent a few days after submission.)&nbsp;</span></div>
<div id="magicdomid19" class="">&nbsp;</div>
<div id="magicdomid155" class="ace-line"><span class="">Early registration before: 1 May 2020&nbsp;</span></div>
<div id="magicdomid21" class="">&nbsp;</div>
<div id="magicdomid156" class="ace-line"><span class="">CiE 2020 is the 16th conference organized 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.&nbsp;</span></div>
<div id="magicdomid23" class="">&nbsp;</div>
<div id="magicdomid157" class="ace-line"><span class="">Previous meetings have taken place in Amsterdam (2005), Swansea (2006), Siena (2007), Athens (2008), Heidelberg (2009), Ponta Delgada (2010), Sofia (2011), Cambridge (2012), Milan (2013), Budapest (2014), Bucharest (2015), Paris (2016), Turku (2017), Kiel (2018), and Durham (2019).</span></div>
<div id="magicdomid25" class="">&nbsp;</div>
<div id="magicdomid158" class="ace-line">
<h2><span class="">TUTORIAL SPEAKERS:&nbsp;</span></h2>
</div>
<div id="magicdomid159" class="ace-line"><span class="">- Virginia Vassilevska Williams (MIT)</span></div>
<div id="magicdomid160" class="ace-line"><span class="">- Martin Ziegler (Korea Advanced Institute of Science and Technology)</span></div>
<div id="magicdomid29" class="">&nbsp;</div>
<div id="magicdomid161" class="ace-line">
<h2><span class="">INVITED SPEAKERS:&nbsp;&nbsp;</span></h2>
</div>
<div id="magicdomid162" class="ace-line"><span class="">Paolo Boldi (University of Milan)</span></div>
<div id="magicdomid163" class="ace-line"><span class="">V&eacute;ronique Bruy&egrave;re (University of Mons)</span></div>
<div id="magicdomid164" class="ace-line"><span class="">Ekatarina Fokina (Vienna University of Technology)</span></div>
<div id="magicdomid165" class="ace-line"><span class="">Amaury Pouly (CNRS Paris)</span></div>
<div id="magicdomid166" class="ace-line"><span class="">Antonio Restivo (University of Palermo)</span></div>
<div id="magicdomid167" class="ace-line"><span class="">Damien Woods (Maynooth University)</span></div>
<div id="magicdomid37" class="">&nbsp;</div>
<div id="magicdomid168" class="ace-line">
<h2><span class="">HOSTED BY:&nbsp;</span></h2>
</div>
<div id="magicdomid169" class="ace-line"><span class="">Department of Computer Science, University of Salerno</span></div>
<div id="magicdomid40" class="">&nbsp;</div>
<div id="magicdomid41" class="">&nbsp;</div>
<div id="magicdomid170" class="ace-line">
<h2><span class="">SPECIAL SESSIONS:&nbsp;</span></h2>
</div>
<div id="magicdomid43" class="">&nbsp;</div>
<div id="magicdomid171" class="ace-line"><span class="">Algorithmic Learning Theory</span></div>
<div id="magicdomid47" class="">&nbsp;</div>
<div class="">Combinatorial String Matching</div>
<div class="">&nbsp;</div>
<div id="magicdomid173" class="ace-line"><span class="">Computable Topology</span></div>
<div id="magicdomid49" class="">&nbsp;</div>
<div id="magicdomid174" class="ace-line"><span class="">History and Philosophy of Computing</span></div>
<div id="magicdomid51" class="">&nbsp;</div>
<div id="magicdomid175" class="ace-line"><span class="">Large scale Bioinformatics and Computational Sciences</span></div>
<div id="magicdomid53" class="">&nbsp;</div>
<div id="magicdomid176" class="ace-line"><span class="">Modern aspects of Formal Languages</span></div>
<div id="magicdomid55" class="">&nbsp;</div>
<div id="magicdomid177" class="ace-line">
<h2><span class="">CONTRIBUTED PAPERS:&nbsp;</span></h2>
</div>
<div id="magicdomid57" class="">&nbsp;</div>
<div id="magicdomid178" class="ace-line"><span class="">Contributed papers will be selected from submissions received by the PROGRAMME COMMITTEE consisting of:&nbsp;</span></div>
<div id="magicdomid59" class="">&nbsp;</div>
<div id="magicdomid179" class="ace-line"><span class="">Marcella Anselmo&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; University of Salerno (co-chair)</span></div>
<div id="magicdomid180" class="ace-line"><span class="">Veronica Becher&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; Universidad de Buenos Aires</span></div>
<div id="magicdomid181" class="ace-line"><span class="">Paola Bonizzoni&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; University of Milano-Bicocca</span></div>
<div id="magicdomid182" class="ace-line"><span class="">Laura Crosilla&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; University of Oslo</span></div>
<div id="magicdomid183" class="ace-line"><span class="">Liesbeth De Mol&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; Universit&eacute; de Lille 3</span></div>
<div id="magicdomid184" class="ace-line"><span class="">Gianluca Della Vedova&nbsp;&nbsp;&nbsp;&nbsp; University of Milano-Bicocca</span></div>
<div id="magicdomid185" class="ace-line"><span class="">J&eacute;r&ocirc;me Durand-Lose&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; Universit&eacute; d'Orl&eacute;ans</span></div>
<div id="magicdomid186" class="ace-line"><span class="">Pawel Gawrychowski&nbsp;&nbsp;&nbsp;&nbsp; University of Wroclaw</span></div>
<div id="magicdomid187" class="ace-line"><span class="">Mathieu Hoyrup&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; LORIA</span></div>
<div id="magicdomid188" class="ace-line"><span class="">Juliette Kennedy&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; University of Helsinki</span></div>
<div id="magicdomid189" class="ace-line"><span class="">Karoliina Lehtinen&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; University of Liverpool</span></div>
<div id="magicdomid190" class="ace-line"><span class="">Benedikt Loewe&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; Universiteit van Amsterdam</span></div>
<div id="magicdomid191" class="ace-line"><span class="">Florin Manea&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; Universit&auml;t G&ouml;ttingen</span></div>
<div id="magicdomid192" class="ace-line"><span class="">Timothy McNicholl&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; Iowa State University</span></div>
<div id="magicdomid193" class="ace-line"><span class="">Klaus Meer&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; BTU Cottbus-Senftenberg</span></div>
<div id="magicdomid194" class="ace-line"><span class="">Turlough Neary&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; University of Zurich</span></div>
<div id="magicdomid195" class="ace-line"><span class="">Daniel Paulusma&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; Durham University</span></div>
<div id="magicdomid196" class="ace-line"><span class="">Arno Pauly&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; Swansea University (co-chair)</span></div>
<div id="magicdomid197" class="ace-line"><span class="">Karin Quaas&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; University of Leipzig</span></div>
<div id="magicdomid198" class="ace-line"><span class="">Viola Schiaffonati&nbsp;&nbsp;&nbsp;&nbsp; Politecnico di Milano</span></div>
<div id="magicdomid199" class="ace-line"><span class="">Markus L. Schmid&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; Humboldt University Berlin</span></div>
<div id="magicdomid200" class="ace-line"><span class="">Alexander Schoenhuth&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; Bielefeld University</span></div>
<div id="magicdomid201" class="ace-line"><span class="">Thomas Schwentick&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; Universit&auml;t Dortmund</span></div>
<div id="magicdomid202" class="ace-line"><span class="">Marinella Sciortino&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; University of Palermo</span></div>
<div id="magicdomid203" class="ace-line"><span class="">Victor Selivanov&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; Institute on Informatics Systems</span></div>
<div id="magicdomid204" class="ace-line"><span class="">Mariya Soskova&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; University of Wisconsin-Madison</span></div>
<div id="magicdomid205" class="ace-line"><span class="">Peter Van Emde Boas&nbsp;&nbsp;&nbsp; Universiteit van Amsterdam&nbsp;</span></div>
<div id="magicdomid206" class="ace-line"><span class="">Linda Brown Westrick&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; Pennsylvania State University</span></div>
<div id="magicdomid88" class="">&nbsp;</div>
<div id="magicdomid207" class="ace-line"><span class="">The CiE conferences serve as an interdisciplinary forum for research in all aspects of computability, foundations of computer science, logic, and theoretical computer science, as well as the interplay of these areas with practical issues in computer science and with other disciplines such as biology, mathematics, philosophy, or physics.&nbsp;</span></div>
<div id="magicdomid90" class="">&nbsp;</div>
<div id="magicdomid208" class="ace-line"><span class="">THE PROGRAMME COMMITTEE cordially invites all researchers (European and non-European) to submit original research articles in all areas related to the above for presentation at the conference and inclusion in the proceedings of CiE 2020 at </span><span class=" url"><a href="https://easychair.org/conferences/?conf=cie2020">https://easychair.org/conferences/?conf=cie2020</a></span><span class="">.&nbsp;</span></div>
<div id="magicdomid92" class="">&nbsp;</div>
<div id="magicdomid209" class="ace-line"><span class="">Papers must be submitted in PDF format, using the LNCS style (available at </span><span class=" url"><a href="https://www.springer.com/gp/computer-science/lncs/conference-proceedings-guidelines)">https://www.springer.com/gp/computer-science/lncs/conference-proceedings-guidelines)</a></span><span class=""> and must have a maximum of 12 pages, including references but excluding a possible appendix in which one can include proofs and other additional material. Papers building bridges between different parts of the research community are particularly welcome.&nbsp;</span></div>
<div id="magicdomid94" class="">&nbsp;</div>
<div id="magicdomid210" class="ace-line"><span class="">The CONFERENCE PROCEEDINGS will be published by LNCS, Springer Verlag.&nbsp;</span></div>
<div id="magicdomid96" class="">&nbsp;</div>
<div id="magicdomid211" class="ace-line">
<h2><span class="">Women in Computability Travel Grants</span></h2>
</div>
<div id="magicdomid98" class="">&nbsp;</div>
<div id="magicdomid212" class="ace-line"><span class="">We are very happy to announce that within the framework of the Women in Computability programme sponsored by ACM-W we are able to offer four grants of up to 250 EUR for junior female researchers who want to participate in CiE 2020.&nbsp;</span></div>
<div id="magicdomid213" class="ace-line"><span class="">Applications for this grant should be sent to johanna.franklin@gmail.com, before </span><span class="b"><strong>April 30, 2020</strong></span><span class=""> and include a short cv (at most 2 pages) and contact information for an academic reference. Preference will be given to junior female researchers who are presenting a paper (including informal presentations) at CiE 2020.</span></div>
</body></html>

^ permalink raw reply	[flat|nested] 2+ messages in thread

* [Caml-list] Computability in Europe 2020 THIRD CALL FOR PAPERS
@ 2020-01-08 17:40 acie
  0 siblings, 0 replies; 2+ messages in thread
From: acie @ 2020-01-08 17:40 UTC (permalink / raw)
  To: caml-list

[-- Attachment #1: Type: text/plain, Size: 5146 bytes --]

COMPUTABILITY IN EUROPE 2020 THIRD CALL FOR PAPERS: 

CiE 2020: 
Salerno, Italy 

June 29 - July 3, 2020  
https://www.acie.eu/cie-conference-series/cie2020 
https://www.acie.eu  

IMPORTANT DATES: 

Deadline for abstract registration: 17 January 2020 AOE (extended) 
Deadline for article submission: 24 January 2020 AOE  (extended) 
Notification of acceptance: 14 March 2020 
Final versions due: 7 April 2020  

Deadline for informal presentations submission: 10 April 2020 
(The notifications of acceptance for informal presentations will be sent
a few days after submission.)  

Early registration before: 1 May 2020  

CiE 2020 is the 16th conference organized 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), Ponta Delgada (2010),
Sofia (2011), Cambridge (2012), Milan (2013), Budapest (2014), Bucharest
(2015), Paris (2016), Turku (2017), Kiel (2018), and Durham (2019). 

TUTORIAL SPEAKERS: 

- Virginia Vassilevska Williams (MIT) 
- Martin Ziegler (Korea Advanced Institute of Science and Technology) 

INVITED SPEAKERS:  

Paolo Boldi (University of Milan) 
Véronique Bruyère (University of Mons) 
Ekatarina Fokina (Vienna University of Technology) 
Amaury Pouly (CNRS Paris) 
Antonio Restivo (University of Palermo) 
Damien Woods (Maynooth University) 

HOSTED BY: 

Department of Computer Science, University of Salerno 

SPECIAL SESSIONS: 

Algorithmic Learning Theory 
Combinatorial String Matching 
Computable Topology 

HAPOC session on Fairness in Algorithms 

Large scale Bioinformatics and Computational Sciences 

Modern aspects of Formal Languages 

CONTRIBUTED PAPERS: 

Contributed papers will be selected from submissions received by the
PROGRAMME COMMITTEE consisting of:  

Marcella Anselmo          University of Salerno (co-chair) 
Veronica Becher           Universidad de Buenos Aires 
Paola Bonizzoni        University of Milano-Bicocca 
Laura Crosilla         University of Oslo 
Liesbeth De Mol           Université de Lille 3 
Gianluca Della Vedova     University of Milano-Bicocca 
Jérôme Durand-Lose      Université d'Orléans 
Pawel Gawrychowski     University of Wroclaw 
Mathieu Hoyrup           LORIA 
Juliette Kennedy          University of Helsinki 
Karoliina Lehtinen         University of Liverpool 
Benedikt Loewe            Universiteit van Amsterdam 
Florin Manea            Universität Göttingen 
Timothy McNicholl        Iowa State University 
Klaus Meer             BTU Cottbus-Senftenberg 
Turlough Neary            University of Zurich 
Daniel Paulusma         Durham University 
Arno Pauly            Swansea University (co-chair) 
Karin Quaas            University of Leipzig 
Viola Schiaffonati     Politecnico di Milano 
Markus L. Schmid           Humboldt University Berlin 
Alexander Schoenhuth       Bielefeld University 
Thomas Schwentick       Universität Dortmund 
Marinella Sciortino        University of Palermo 
Victor Selivanov        Institute on Informatics Systems 
Mariya Soskova          University of Wisconsin-Madison 
Peter Van Emde Boas    Universiteit van Amsterdam  
Linda Brown Westrick         Pennsylvania State University 

The CiE conferences serve as an interdisciplinary forum for research in
all aspects of computability, foundations of computer science, logic,
and theoretical computer science, as well as the interplay of these
areas with practical issues in computer science and with other
disciplines such as biology, mathematics, philosophy, or physics.  

THE PROGRAMME COMMITTEE cordially invites all researchers (European and
non-European) to submit original research articles in all areas related
to the above for presentation at the conference and inclusion in the
proceedings of CiE 2020 at
https://easychair.org/conferences/?conf=cie2020.  

Papers must be submitted in PDF format, using the LNCS style (available
at
https://www.springer.com/gp/computer-science/lncs/conference-proceedings-guidelines)
and must have a maximum of 12 pages, including references but excluding
a possible appendix in which one can include proofs and other additional
material. Papers building bridges between different parts of the
research community are particularly welcome.  

The CONFERENCE PROCEEDINGS will be published by LNCS, Springer Verlag.  

WOMEN IN COMPUTABILITY TRAVEL GRANTS

We are very happy to announce that within the framework of the Women in
Computability programme sponsored by ACM-W we are able to offer four
grants of up to 250 EUR for junior female researchers who want to
participate in CiE 2020.  
Applications for this grant should be sent to
johanna.franklin@gmail.com, before APRIL 30, 2020 and include a short cv
(at most 2 pages) and contact information for an academic reference.
Preference will be given to junior female researchers who are presenting
a paper (including informal presentations) at CiE 2020.

[-- Attachment #2: Type: text/html, Size: 12656 bytes --]

<html><head><meta http-equiv="Content-Type" content="text/html; charset=UTF-8" /></head><body style='font-size: 10pt; font-family: Verdana,Geneva,sans-serif'>
<div id="magicdomid2" class="">
<h2><span class="">Computability in Europe 2020 THIRD CALL FOR PAPERS:&nbsp;</span></h2>
</div>
<div id="magicdomid3" class="">&nbsp;</div>
<div id="magicdomid4" class=""><span class="">CiE 2020:</span></div>
<div id="magicdomid5" class=""><span class="">Salerno, Italy</span></div>
<div id="magicdomid6" class="">&nbsp;</div>
<div id="magicdomid7" class=""><span class="">June 29 - July 3, 2020&nbsp;</span></div>
<div id="magicdomid8" class=""><span class=" url"><a href="https://www.acie.eu/cie-conference-series/cie2020">https://www.acie.eu/cie-conference-series/cie2020</a></span></div>
<div id="magicdomid9" class=""><span class=" url"><a href="https://www.acie.eu">https://www.acie.eu</a></span><span class="">&nbsp;</span></div>
<div id="magicdomid10" class="">&nbsp;</div>
<div id="magicdomid11" class="">
<h2><span class="">IMPORTANT DATES:&nbsp;</span></h2>
</div>
<div id="magicdomid12" class=""><span class="">Deadline for abstract registration: 17 January 2020 AOE (extended)</span></div>
<div id="magicdomid13" class=""><span class="">Deadline for article submission: 24 January 2020 AOE&nbsp; (extended)</span></div>
<div id="magicdomid14" class=""><span class="">Notification of acceptance: 14 March 2020</span></div>
<div id="magicdomid15" class=""><span class="">Final versions due: 7 April 2020&nbsp;</span></div>
<div id="magicdomid16" class="">&nbsp;</div>
<div id="magicdomid17" class=""><span class="">Deadline for informal presentations submission: 10 April 2020</span></div>
<div id="magicdomid18" class=""><span class="">(The notifications of acceptance for informal presentations will be sent a few days after submission.)&nbsp;</span></div>
<div id="magicdomid19" class="">&nbsp;</div>
<div id="magicdomid20" class=""><span class="">Early registration before: 1 May 2020&nbsp;</span></div>
<div id="magicdomid21" class="">&nbsp;</div>
<div id="magicdomid22" class=""><span class="">CiE 2020 is the 16th conference organized 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.&nbsp;</span></div>
<div id="magicdomid23" class="">&nbsp;</div>
<div id="magicdomid24" class=""><span class="">Previous meetings have taken place in Amsterdam (2005), Swansea (2006), Siena (2007), Athens (2008), Heidelberg (2009), Ponta Delgada (2010), Sofia (2011), Cambridge (2012), Milan (2013), Budapest (2014), Bucharest (2015), Paris (2016), Turku (2017), Kiel (2018), and Durham (2019).</span></div>
<div id="magicdomid25" class="">&nbsp;</div>
<div id="magicdomid26" class="">
<h2><span class="">TUTORIAL SPEAKERS:&nbsp;</span></h2>
</div>
<div id="magicdomid27" class=""><span class="">- Virginia Vassilevska Williams (MIT)</span></div>
<div id="magicdomid28" class=""><span class="">- Martin Ziegler (Korea Advanced Institute of Science and Technology)</span></div>
<div id="magicdomid29" class="">&nbsp;</div>
<div id="magicdomid30" class="">
<h2><span class="">INVITED SPEAKERS:&nbsp;&nbsp;</span></h2>
</div>
<div id="magicdomid31" class=""><span class="">Paolo Boldi (University of Milan)</span></div>
<div id="magicdomid32" class=""><span class="">V&eacute;ronique Bruy&egrave;re (University of Mons)</span></div>
<div id="magicdomid33" class=""><span class="">Ekatarina Fokina (Vienna University of Technology)</span></div>
<div id="magicdomid34" class=""><span class="">Amaury Pouly (CNRS Paris)</span></div>
<div id="magicdomid35" class=""><span class="">Antonio Restivo (University of Palermo)</span></div>
<div id="magicdomid36" class=""><span class="">Damien Woods (Maynooth University)</span></div>
<div id="magicdomid37" class="">&nbsp;</div>
<div id="magicdomid38" class="">
<h2><span class="">HOSTED BY:&nbsp;</span></h2>
</div>
<div id="magicdomid39" class=""><span class="">Department of Computer Science, University of Salerno</span></div>
<div id="magicdomid40" class="">&nbsp;</div>
<div id="magicdomid41" class="">&nbsp;</div>
<div id="magicdomid42" class="">
<h2><span class="">SPECIAL SESSIONS:&nbsp;</span></h2>
</div>
<div id="magicdomid43" class="">&nbsp;</div>
<div id="magicdomid44" class=""><span class="">Algorithmic Learning Theory</span></div>
<div id="magicdomid45" class=""><span class="">Combinatorial String Matching</span></div>
<div id="magicdomid46" class=""><span class="">Computable Topology</span></div>
<div id="magicdomid47" class="">&nbsp;</div>
<div id="magicdomid48" class=""><span class="">HAPOC session on Fairness in Algorithms</span></div>
<div id="magicdomid49" class="">&nbsp;</div>
<div id="magicdomid50" class=""><span class="">Large scale Bioinformatics and Computational Sciences</span></div>
<div id="magicdomid51" class="">&nbsp;</div>
<div id="magicdomid52" class=""><span class="">Modern aspects of Formal Languages</span></div>
<div id="magicdomid53" class="">&nbsp;</div>
<div id="magicdomid54" class="">
<h2><span class="">CONTRIBUTED PAPERS:&nbsp;</span></h2>
</div>
<div id="magicdomid55" class="">&nbsp;</div>
<div id="magicdomid56" class=""><span class="">Contributed papers will be selected from submissions received by the PROGRAMME COMMITTEE consisting of:&nbsp;</span></div>
<div id="magicdomid57" class="">&nbsp;</div>
<div id="magicdomid58" class=""><span class="">Marcella Anselmo&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; University of Salerno (co-chair)</span></div>
<div id="magicdomid59" class=""><span class="">Veronica Becher&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; Universidad de Buenos Aires</span></div>
<div id="magicdomid60" class=""><span class="">Paola Bonizzoni&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; University of Milano-Bicocca</span></div>
<div id="magicdomid61" class=""><span class="">Laura Crosilla&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; University of Oslo</span></div>
<div id="magicdomid62" class=""><span class="">Liesbeth De Mol&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; Universit&eacute; de Lille 3</span></div>
<div id="magicdomid63" class=""><span class="">Gianluca Della Vedova&nbsp;&nbsp;&nbsp;&nbsp; University of Milano-Bicocca</span></div>
<div id="magicdomid64" class=""><span class="">J&eacute;r&ocirc;me Durand-Lose&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; Universit&eacute; d'Orl&eacute;ans</span></div>
<div id="magicdomid65" class=""><span class="">Pawel Gawrychowski&nbsp;&nbsp;&nbsp;&nbsp; University of Wroclaw</span></div>
<div id="magicdomid66" class=""><span class="">Mathieu Hoyrup&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; LORIA</span></div>
<div id="magicdomid67" class=""><span class="">Juliette Kennedy&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; University of Helsinki</span></div>
<div id="magicdomid68" class=""><span class="">Karoliina Lehtinen&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; University of Liverpool</span></div>
<div id="magicdomid69" class=""><span class="">Benedikt Loewe&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; Universiteit van Amsterdam</span></div>
<div id="magicdomid70" class=""><span class="">Florin Manea&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; Universit&auml;t G&ouml;ttingen</span></div>
<div id="magicdomid71" class=""><span class="">Timothy McNicholl&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; Iowa State University</span></div>
<div id="magicdomid72" class=""><span class="">Klaus Meer&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; BTU Cottbus-Senftenberg</span></div>
<div id="magicdomid73" class=""><span class="">Turlough Neary&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; University of Zurich</span></div>
<div id="magicdomid74" class=""><span class="">Daniel Paulusma&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; Durham University</span></div>
<div id="magicdomid75" class=""><span class="">Arno Pauly&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; Swansea University (co-chair)</span></div>
<div id="magicdomid76" class=""><span class="">Karin Quaas&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; University of Leipzig</span></div>
<div id="magicdomid77" class=""><span class="">Viola Schiaffonati&nbsp;&nbsp;&nbsp;&nbsp; Politecnico di Milano</span></div>
<div id="magicdomid78" class=""><span class="">Markus L. Schmid&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; Humboldt University Berlin</span></div>
<div id="magicdomid79" class=""><span class="">Alexander Schoenhuth&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; Bielefeld University</span></div>
<div id="magicdomid80" class=""><span class="">Thomas Schwentick&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; Universit&auml;t Dortmund</span></div>
<div id="magicdomid81" class=""><span class="">Marinella Sciortino&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; University of Palermo</span></div>
<div id="magicdomid82" class=""><span class="">Victor Selivanov&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; Institute on Informatics Systems</span></div>
<div id="magicdomid83" class=""><span class="">Mariya Soskova&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; University of Wisconsin-Madison</span></div>
<div id="magicdomid84" class=""><span class="">Peter Van Emde Boas&nbsp;&nbsp;&nbsp; Universiteit van Amsterdam&nbsp;</span></div>
<div id="magicdomid85" class=""><span class="">Linda Brown Westrick&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; Pennsylvania State University</span></div>
<div id="magicdomid86" class="">&nbsp;</div>
<div id="magicdomid87" class=""><span class="">The CiE conferences serve as an interdisciplinary forum for research in all aspects of computability, foundations of computer science, logic, and theoretical computer science, as well as the interplay of these areas with practical issues in computer science and with other disciplines such as biology, mathematics, philosophy, or physics.&nbsp;</span></div>
<div id="magicdomid88" class="">&nbsp;</div>
<div id="magicdomid89" class=""><span class="">THE PROGRAMME COMMITTEE cordially invites all researchers (European and non-European) to submit original research articles in all areas related to the above for presentation at the conference and inclusion in the proceedings of CiE 2020 at </span><span class=" url"><a href="https://easychair.org/conferences/?conf=cie2020">https://easychair.org/conferences/?conf=cie2020</a></span><span class="">.&nbsp;</span></div>
<div id="magicdomid90" class="">&nbsp;</div>
<div id="magicdomid91" class=""><span class="">Papers must be submitted in PDF format, using the LNCS style (available at </span><span class=" url"><a href="https://www.springer.com/gp/computer-science/lncs/conference-proceedings-guidelines)">https://www.springer.com/gp/computer-science/lncs/conference-proceedings-guidelines)</a></span><span class=""> and must have a maximum of 12 pages, including references but excluding a possible appendix in which one can include proofs and other additional material. Papers building bridges between different parts of the research community are particularly welcome.&nbsp;</span></div>
<div id="magicdomid92" class="">&nbsp;</div>
<div id="magicdomid93" class=""><span class="">The CONFERENCE PROCEEDINGS will be published by LNCS, Springer Verlag.&nbsp;</span></div>
<div id="magicdomid94" class="">&nbsp;</div>
<div id="magicdomid95" class="">
<h2><span class="">Women in Computability Travel Grants</span></h2>
</div>
<div id="magicdomid96" class="">&nbsp;</div>
<div id="magicdomid97" class=""><span class="">We are very happy to announce that within the framework of the Women in Computability programme sponsored by ACM-W we are able to offer four grants of up to 250 EUR for junior female researchers who want to participate in CiE 2020.&nbsp;</span></div>
<div id="magicdomid98" class=""><span class="">Applications for this grant should be sent to johanna.franklin@gmail.com, before </span><span class="b"><strong>April 30, 2020</strong></span><span class=""> and include a short cv (at most 2 pages) and contact information for an academic reference. Preference will be given to junior female researchers who are presenting a paper (including informal presentations) at CiE 2020.</span></div>
<div id="magicdomid99" class="">&nbsp;</div>
</body></html>

^ permalink raw reply	[flat|nested] 2+ messages in thread

end of thread, back to index

Thread overview: 2+ messages (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2019-12-30 17:36 [Caml-list] Computability in Europe 2020 THIRD CALL FOR PAPERS acie
2020-01-08 17:40 acie

caml-list - the Caml user's mailing list

Archives are clonable:
	git clone --mirror http://inbox.vuxu.org/caml-list
	git clone --mirror https://inbox.ocaml.org/caml-list

Example config snippet for mirrors

Newsgroup available over NNTP:
	nntp://inbox.vuxu.org/vuxu.archive.caml-list


AGPL code for this site: git clone https://public-inbox.org/public-inbox.git