Saturday, December 19, 2015

dmanet Digest, Vol 94, Issue 17

Send dmanet mailing list submissions to
dmanet@zpr.uni-koeln.de

To subscribe or unsubscribe via the World Wide Web, visit
http://www.zaik.uni-koeln.de/mailman/listinfo/dmanet
or, via email, send a message with subject or body 'help' to
dmanet-request@zpr.uni-koeln.de

You can reach the person managing the list at
dmanet-owner@zpr.uni-koeln.de

When replying, please edit your Subject line so it is more specific
than "Re: Contents of dmanet digest..."


Today's Topics:

1. CiE 2016: final CfP EXTENDED DEADLINE (CiE Conference Series)
2. PhD Position in Mathematical Phylogenetics at the University
of Auckland (Simone Linz) (Simone Linz)
3. CG Week Multimedia Exposition - Call for Submissions
(Maarten Löffler)


----------------------------------------------------------------------

Message: 1
Date: Thu, 17 Dec 2015 22:24:03 +0000 (GMT)
From: CiE Conference Series <cie.conference.series@gmail.com>
To: dmanet@zpr.uni-koeln.de
Subject: [DMANET] CiE 2016: final CfP EXTENDED DEADLINE
Message-ID: <alpine.LNX.2.00.1512172223540.6029@csltab3.site>
Content-Type: TEXT/PLAIN; format=flowed; charset=UTF-8

FINAL CALL FOR PAPERS (incl. deadline extension due to popular demand)

CiE 2016: Pursuit of the Universal

Paris, France

June 27 - July 1st, 2016

http://lipn.univ-paris13.fr/CIE2016/

IMPORTANT DATES:

EXTENDED Submission deadline for LNCS: January 10, 2016
Notification of authors: March 20, 2016
Deadline for final revisions: April 17, 2016


CiE 2016's Motto is: "Pursuit of the Universal". This year's conference
will open with a special tribute session that CiE society is dedicating to
the former CiE president, Barry Cooper who unexpectedly passed away on
October 26th 2015. Barry was originally scheduled as a plenary speaker at
this year's conference.

The year 2016 brings the eightieth anniversary of the publication of Alan
Turing's seminal paper featuring the Universal Turing Machine. Just as the
semantics of the machine gave rise to Incomputability, and pointed to
future directions in proof theory, AI, generalized computability, the
underlying role of typed information and natural language, and the
computability and definability underpinning bioinformatics: so our
conference subtitle honors Turing's role in anticipating the quest for
universal computational frameworks across a wide spectrum of scientific
and humanist disciplines.

CiE 2016 is the twelfth 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), Ponte
Delgada (2010), Sofia (2011), Cambridge (2012), Milan (2013), Budapest
(2014) and Bucharest (2015).

TUTORIAL SPEAKERS:

Bernard Chazelle (Princeton University)
Mikolaj Bojanczyk (University of Warsaw)


INVITED SPEAKERS:

Janet Abbate (Virginia Tech)
Natasha Alechina (University of Nottingham)
Vasco Brattka (Universität der Bundeswehr München)
Steffen Lempp (University of Wisconsin)
André Nies (University of Auckland)
Sarah Rees (University of Newcastle)
Reed Solomon (University of Connecticut)


SPECIAL SESSIONS:

Computable and constructive analysis (organizers: Daniel Graça, Elvira Mayordomo)
Computation in bio-chemical systems (organizers: Alessandra Carbone, Ion Petre)
Cryptography and information theory (organizers: Danilo Gligoroski, Carles Padro)
History and philosophy of computing (organizers: Liesbeth de Mol, Giuseppe Primiero)
Symbolic dynamics (organizers: Jarkko Kari, Reem Yassawi)
Weak arithmetics (organizers: Lev Beklemishev, Stanislas Speranski)

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

Marcella Anselmo (Università di Salerno)
Nathalie Aubrun (Ecole Normale Supérieure de Lyon)
Georgios Barmpalias (Chinese Academy of Sciences)
Marie-Pierre Beal (Université Paris-Est Marne-la-Vallée)
Arnold Beckmann (Swansea University)
Laurent Bienvenu (Université Paris 7), PC co-chair
Paola Bonizzoni (Università di Milano-Bicocca)
Alessandra Carbone (Université Pierre et Marie Curie)
Douglas Cenzer (University of Florida)
Liesbeth De-Mol (Université Lille 3)
David Doty (University of California Davis)
Jérôme Durand-Lose (Université d'Orléans)
Volker Diekert (Universität Stuttgart)
Martin Escardo (University of Birmingham)
François Fages (INRIA Paris-Rocquencourt)
Enrico Formenti (Université de Nice-Sophia Antipolis)
Daniela Genova (University of North Florida)
Noam Greenberg (Victoria University of Wellington)
Valentina Harizanov, (George Washington University)
Hajime Ishihara (Japan Advanced Institute of Science and Technology)
Natasha Jonoska (University of South Florida), PC co-chair
Jarkko Kari (University of Turku)
Lila Kari (University of Western Ontario)
Margarita Korovina (University of Manchester)
Marta Kwiatkowska (University of Oxford)
Karen Lange (Wellesley College)
Benedikt Löwe (Universiteit van Amsterdam)
Florin Manea (Kiel University)
Paulin de Naurois (Université Paris 13)
Keng Meng Selwyn Ng (Nanyang Technological University)
Arno Pauly (University of Cambridge)
Mario Perez-Jimenez (Universidad de Sevilla)
Ion Petre (Åbo Akademi University)
Mehrnoosh Sadrzadeh (Queen Mary University of London)
Alexis Saurin (Université Paris 7)
Shinnosuke Seki (The University of Electro-Communications Tokyo)
Paul Shafer (Ghent University)
Alexander Shen (Université Montpellier 3)
Alexandra Soskova (Sofia University)
Mariya Soskova (Sofia University)
Peter van Emde Boas (Amsterdam)


The PROGRAMME COMMITTEE cordially invites all researchers (European and
non-European) to submit their papers in all areas related to computability
for presentation at the conference and inclusion in the proceedings at
https://www.easychair.org/conferences/?conf=cie2016

Papers must be submitted in PDF format, using the LNCS style (available at
ftp://ftp.springer.de/pub/tex/latex/llncs/latex2e/llncs2e.zip) and should
have a maximum of 10 pages, including references but excluding a possible
appendix in which one can include proofs and other additional material.

Papers that build bridges between different parts of the research
community are particularly welcome.

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

___________________________________

CiE 2016 http://lipn.univ-paris13.fr/CIE2016/

ASSOCIATION COMPUTABILITY IN EUROPE
http://www.computability.org.uk
CiE Conference Series
http://www.illc.uva.nl/CiE
CiE Membership Application Form
http://www.lix.polytechnique.fr/CIE
Computability (Journal of CiE)
http://www.computability.de/journal/
CiE on FaceBook
https://www.facebook.com/AssnCiE
Association CiE on Twitter
https://twitter.com/AssociationCiE

------------------------------

Message: 2
Date: Fri, 18 Dec 2015 14:03:53 +1300
From: Simone Linz <simone_linz@yahoo.de>
To: dmanet@zpr.uni-koeln.de
Subject: [DMANET] PhD Position in Mathematical Phylogenetics at the
University of Auckland (Simone Linz)
Message-ID: <86A4FE58-5ECB-4F06-BA1D-CE25C03365C1@yahoo.de>
Content-Type: text/plain; charset=us-ascii

PhD Scholarship in Mathematical Phylogenetics

Background. Inferring the evolutionary history of all life on Earth has long been a fascinating problem in biology. Traditionally, evolutionary (phylogenetic) trees are used to represent ancestral relationships between organisms. However, recent investigations into horizontal gene transfer and hybridization, which are processes that result in mosaic patterns of relationships, challenge the model of a phylogenetic tree. Indeed, it is now widely acknowledged that graphs with cycles, called phylogenetic networks, are better suited to represent evolutionary histories. Phylogenetic networks pose many interesting mathematical challenges and have become a vivid area of research since the beginning of the 21st century.

Project. This PhD project is an exciting opportunity to develop combinatorial and algorithmic approaches to analyze and reconstruct phylogenetic networks. For example, a better understanding of the mathematics that underlies the space of all phylogenetic networks is fundamental to the reconstruction of phylogenetic networks from biological data. In short, the PhD project aims at the development of new mathematical tools and algorithms to analyze and search spaces of phylogenetic networks.

Requirements. The successful applicant has a Masters or Honours degree in mathematics or computer science and, preferably, a strong background in graph theory and/or theoretical computer science. An interest in biological questions is desirable, but not a requirement. Candidates must also be eligible for admission to the PhD program at the University of Auckland. For more information on postgraduate studies at the University of Auckland, see the following link: https://www.auckland.ac.nz/en/for/future-postgraduates.html.

Scholarship. The PhD scholarship is funded by the New Zealand Marsden Fund and available from March 2016. A later starting date is negotiable. The scholarship is for three years. It covers tuition fees and provides an annual tax free allowance of NZ$27,500. The successful candidate will be based within the Department of Computer Science at the University of Auckland, New Zealand, and supervised by Dr Simone Linz.

Application. To apply, please email your CV and academic transcript, a short statement of research interests, and names and contact details of two referees to Simone Linz (s.linz@auckland.ac.nz). Informal inquiries can be directed to the same address. Applications will be accepted until the position is filled.

Dr Simone Linz
Department of Computer Science
University of Auckland, New Zealand
s.linz@auckland.ac.nz
https://simonelinz.wordpress.com


------------------------------

Message: 3
Date: Fri, 18 Dec 2015 15:33:19 +0100
From: Maarten Löffler <m.loffler@uu.nl>
To: <dmanet@zpr.uni-koeln.de>
Subject: [DMANET] CG Week Multimedia Exposition - Call for Submissions
Message-ID: <op.x9uf1tr093bh5r@beta001>
Content-Type: text/plain; charset="utf-8"; format=flowed; delsp=yes

COMPUTATIONAL GEOMETRY MULTIMEDIA EXPOSITION

Multimedia presentations are sought for the 25th International
Computational Geometry Multimedia Exposition, which will take place in
June as part of Computational Geometry Week 2016 [socg2016.cs.tufts.edu].
Computational Geometry Week also encompasses the 32nd International
Symposium on Computational Geometry. The Multimedia Exposition showcases
the use of visualisation in computational geometry for exposition and
education, for visual exploration of geometry in research, and as an
interface and a debugging tool in software development.


CONTENT AND FORM

The content of multimedia presentations should be related to computational
geometry or neighbouring areas, but is otherwise unrestricted. We
encourage submissions that support papers submitted to the Symposium on
Computational Geometry, but this is not required. In particular, results
being presented are not required to be new. We explicitly encourage
submissions that take new views on classic results from computational
geometry, which may help to make such results more widely accessible.

The form of multimedia presentations can be anything other than the
traditional paper or slide show. Algorithm animations, visual explanations
of structural theorems, descriptions of applications of computational
geometry, demonstrations of software systems, and games that illustrate
concepts from computational geometry are all appropriate. There are no
limitations on creativity, anything that leverages the possibilities of
multimedia to enlighten and entertain the viewer while learning about
computational geometry or neighbouring areas will do. This includes
rendered animation, films with narrators and/or actors, and interactive
stories, as well as interactive demos.


QUALITY ISSUES

The "format" as well as the creative content of Multimedia submissions
influences their acceptance. For videos, a length of three to five minutes
is usually ideal; ten minutes is the upper limit. For the final version,
we require video in 720P or better, using H.264. The embedded audio stream
should be AAC of at least 128kBit/s. Telephone-sounding audio (limited
frequency range, noise) or live rooms, as often recorded with cheap
headsets, must be avoided, as well as speakers with too heavy accent.
Interactive applications (e.g., HTML5, Flash, AIR, Java, etc.) should
provide a "demo" mode where they run by themselves. They should be
submitted as a distributable package.

To conserve resources, multimedia submissions are limited to 100Mb.
Authors are free to post higher quality versions on their own web sites,
and we will include links in the electronic proceedings to their version,
in addition to the official (<100MB) version archived on
[computational-geometry.org].

It is strongly encouraged to contact the CG:MM PC well in advance to 1)
discuss the quality of a video submission (based on sample files) or 2) to
present your non-video idea and how it could be reviewed, presented, and
distributed.


SUBMISSION

Submissions should be deposited online where they are accessible through
the web or via FTP. A video submission should play trouble-free on
programs like VLC Media Player. For ease of sharing and viewing, we
encourage (but do not require) that each video submission be uploaded to
YouTube, and that the corresponding URL be included with the submission.

Each submission should include a description of at most four pages of the
material shown in the presentation, and where applicable, the techniques
used in the implementation. This four-page description must be formatted
according to the guidelines for the conference proceedings, using the
LIPIcs format. LIPIcs typesetting instructions can be found at
[http://www.dagstuhl.de/en/publications/lipics] and the lipics.cls LaTeX
style file at [http://drops.dagstuhl.de/styles/lipics/lipics-authors.tgz].

Send a mail to the CG:MM chair, Maarten Löffler [m.loffler@uu.nl] by
February 24, 2016, with the following information:
- the names and institutions of the authors
- the email address of the corresponding author
- instructions for downloading the submission
- if available: the link to the YouTube video
- and the PDF abstract.

We explicitly encourage multimedia submissions that support papers
submitted to the Symposium. However, submitted papers and associated
multimedia submissions will be treated entirely separately by the
respective committees: acceptance or rejection of one will not influence
acceptance or rejection of the other.
Authors will be notified of acceptance or rejection, and given reviewers'
comments, by March 16, 2016. For each accepted submission, the final
version of the 4-page textual description will be due by March 23, 2016
for inclusion in the proceedings. Final versions of accepted multimedia
presentations will be due April 27, 2016.


IMPORTANT DATES

February 24, 2016: Multimedia submissions due
March 16, 2016: Notification of acceptance/rejection
March 23, 2016: Camera-ready versions due for abstracts
April 27, 2016: Final versions due for multimedia
June 14-18, 2016: CGWeek 2016

All deadlines are 23:59 anywhere on earth.


COMPUTATIONAL GEOMETRY: MULTIMEDIA EXPOSITION PROGRAM COMMITTEE

Martin Demaine (MIT)
William Evans (University of British Columbia)
Michael Hoffmann (ETH Zürich)
Irina Kostitsyna (TU Eindhoven)
Maarten Löffler (Utrecht University, chair)
Martin Nöllenburg (TU Wien)
Don Sheehy (University of Connecticut)
Birgit Vogtenhuber (TU Graz)

------------------------------

Subject: Digest Footer

_______________________________________________
dmanet mailing list
dmanet@zpr.uni-koeln.de
http://www.zaik.uni-koeln.de/mailman/listinfo/dmanet


------------------------------

End of dmanet Digest, Vol 94, Issue 17
**************************************

No comments:

Post a Comment