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 2015: Evolving Computability, Bucharest, June 29 - July
3, 2015 (S B Cooper)
2. TU Graz: One Postdoctoral Position in Combinatorics (Mihyun Kang)
3. Call for papers for the conference MEGA 2015 (Monique Laurent)
4. CFP SEA 2015 (Evripidis Bampis)
----------------------------------------------------------------------
Message: 1
Date: Wed, 22 Oct 2014 21:42:37 +0100 (BST)
From: S B Cooper <pmt6sbc@maths.leeds.ac.uk>
To: dmanet@zpr.uni-koeln.de
Subject: [DMANET] CiE 2015: Evolving Computability, Bucharest, June 29
- July 3, 2015
Message-ID: <201410222042.s9MKgbaf025758@maths.leeds.ac.uk>
1st CALL FOR PAPERS:
COMPUTABILITY IN EUROPE 2015: Evolving Computability
Bucharest, Romania
June 29 - July 3
http://fmi.unibuc.ro/CiE2015/
IMPORTANT DATES:
Submission Deadline for LNCS: 11 January 2015
Notification of authors: 9 March 2015
Deadline for final revisions: 6 April 2015
CiE 2015 is the 11th 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) and Budapest (2014).
Evolution of the universe, and us within it, invite a parallel
evolution in understanding. The CiE agenda - fundamental and
engaged - targets the extracting and developing of computational
models basic to current challenges. From the origins of life, to
the understanding of human mentality, to the characterising of
quantum randomness - computability theoretic questions arise in
many guises. The CiE community, this coming year meeting for the
first time in Bucharest, carries forward the search for
coherence, depth and new thinking across this rich and vital
field of research.
In all cases we are looking for fundamental and theoretical
submissions. In line with other conferences in this series, CiE
2015 has a broad scope and provides a forum for the discussion of
theoretical and practical issues in Computability with an
emphasis on new paradigms of computation and the development of
their mathematical theory.
We particularly invite papers that build bridges between
different parts of the research community.
For topics covered by the conference, please visit
http://fmi.unibuc.ro/CiE2015/topics.html
TUTORIAL SPEAKERS
* John Reif (Duke Unversity)
* Steve Simpson (Pennsylvania State University)
CONFIRMED PLENARY SPEAKERS
* Ann Copestake (University of Cambridge)
* Mircea Dumitru (University of Bucharest, Public Lecture)
* Pawel Gawrychowski (Max-Planck-Institut fuer Informatik)
* Julia Knight (University of Notre Dame)
* Anca Muscholl (Universite Bordeaux)
* Gheorghe Paun (Romanian Academy)
* Alexander Razborov (University of Chicago
and Steklov Mathematical Institute)
* Vlatko Vedral (University of Oxford)
SPECIAL SESSIONS on
* Representing streams
(Organizers: Joerg Endrullis and Dimtri Hendriks)
* Automata, logic and infinite games
(Organizers: Dietmar Berwanger and Ioana Leustean)
* Reverse mathematics
(Organizers: Damir Dzhafarov and Alberto Marcone)
* Classical computability theory
(Organizers: Marat Arslanov and Steffen Lempp)
* Bio-inspired computation
(Organizers: Andrei Paun and Petr Sosik)
* History and philosophy of computing
(Organizers: Christine Proust and Marco Benini)
The PROGRAMME COMMITTEE consists of:
* Marat Arslanov (Kazan) * Jeremy Avigad (Pittsburgh)
* Veronica Becher (Buenos Aires) * Arnold Beckmann (Swansea)
* Laurent Bienvenu (Paris) * Alessandra Carbone (Paris)
* Gabriel Ciobanu (Iasi) * S Barry Cooper (Leeds)
* Laura Crosilla (Leeds) * Liesbeth De Mol (Ghent)
* Walter Dean (Warwick) * Volker Diekert (Stuttgart)
* Damir Dzhafarov (Storrs, Connecticut)
* Peter van Emde Boas (Amsterdam) * Rachel Epstein (Harvard)
* Johanna Franklin (Hempstead, NY) * Neil Ghani (Glasgow)
* Joel David Hamkins (New York) * Rosalie Iemhoff (Utrecht)
* Emmanuel Jeandel (LORIA) * Natasha Jonoska (Tampa, FL)
* Antonina Kolokolova (St.John's, NL)
* Antonin Kucera (Prague) * Oliver Kutz (Magdeburg)
* Benedikt Loewe (Hamburg & Amsterdam)
* Jack Lutz (Ames, IA) * Florin Manea (Kiel)
* Alberto Marcone (Udine) * Radu Mardare (Aalborg)
* Joe Miller (Madison, WI)
* Russell Miller (Flushing, NY) * Mia Minnes (La Jolla, CA)
* Victor Mitrana (Bucharest, co-chair)
* Ian Pratt-Hartmann (Manchester) * Dag Normann (Oslo)
* Mehrnoosh Sadrzadeh (London) * Anne Smith (St Andrews)
* Mariya Soskova (Sofia, co-chair) * Susan Stepney (York)
* Paul Spirakis (Patras & Liverpool)
* Jacobo Toran (Ulm) * Marius Zimand (Towson, MD)
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 2015.
The submission site
https://www.easychair.org/conferences/?conf=cie2015
is open.
For submission instructions consult
http://fmi.unibuc.ro/CiE2015/submission.html
The CONFERENCE PROCEEDINGS will be published by LNCS, Springer
Verlag.
____________________________________________________________________
CiE 2015 http://fmi.unibuc.ro/CiE2015/
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, 24 Oct 2014 09:47:52 +0200
From: Mihyun Kang <kang@math.tugraz.at>
To: dmanet@zpr.uni-koeln.de
Subject: [DMANET] TU Graz: One Postdoctoral Position in Combinatorics
Message-ID: <544A0428.8070901@math.tugraz.at>
Content-Type: text/plain; charset=utf-8; format=flowed
------------------------------------------------------------------------------
TU Graz: One Postdoctoral Position in Combinatorics
------------------------------------------------------------------------------
We are seeking outstanding candidates with expertise and proficiency in
analytic and enumerative combinatorics, singularity analysis,
saddle-point methods, cycle index sums, Boltzmann sampler, probabilistic
and structural graph theory.
The successful candidate will be employed as a Postdoctoral Researcher
for one year with a possibility of extension for a further period of
maximum two years within the Austrian Science Fund (FWF) Research
Project on
"Asymptotic Properties of Graphs on a Surface"
at the Institute of Optimisation and Discrete Mathematics at Graz
University of Technology (TU Graz), Austria,
http://www.math.tugraz.at/mathb/.
This is a research position and does not carry any teaching
responsibilities. There is however a possibility to teach if one wishes
to do so. The preferred starting date is 1 March 2015, but negotiable.
The basic salary is specified in the FWF standard personnel costs and
salaries https://www.fwf.ac.at/en/research-funding/personnel-costs/.
There are extra salary payments, the so-called 13th- and 14th-month
salaries which are favourably taxed.
There are very active research groups working on Discrete Mathematics
and Combinatorics at TU Graz. For example, TU Graz hosts a doctoral
school "Discrete Mathematics" (funded by FWF)
https://www.math.tugraz.at/discrete/.
Further information about the mathematical institutes at TU Graz is
available at https://www.math.tugraz.at/
Condition of employment:
- Qualified candidates must hold a PhD degree in mathematics or
theoretical computer science before the time of appointment
Application documents:
- Cover letter of application
- Curriculum vitae including the list of publications
- A short statement of research interests
- A list of full contact information of two references who can submit
letters of recommendation
All application documents with reference number P27290 (Kennzahl:
P27290) should be electronically submitted in a PDF file by 15 December
2014 to Ms Sandra Wissler, sandra.wissler@tugraz.at.
For further details concerning the content of the research project or to
make an informal inquiry, please contact
Mihyun Kang or Philipp Spr?ssel
Graz University of Technology
Institute of Optimization and Discrete Mathematics (Math B)
Steyrergasse 30
8010 Graz, Austria
Email: kang@math.tugraz.at
spruessel@math.tugraz.at
------------------------------
Message: 3
Date: Fri, 24 Oct 2014 12:56:13 +0200 (CEST)
From: Monique Laurent <M.Laurent@cwi.nl>
To: dmanet <dmanet@zpr.uni-koeln.de>
Subject: [DMANET] Call for papers for the conference MEGA 2015
Message-ID: <458014700.3208386.1414148173911.JavaMail.zimbra@cwi.nl>
Content-Type: text/plain; charset=utf-8
***************************************************************
Second announcement and call for papers / computations / posters
***************************************************************
MEGA 2015
Effective Methods in Algebraic Geometry
University of Trento, Department of Mathematics,
Povo (Trento) Italy
June 15-19, 2015
This is the 25th anniversary of MEGA. During the conference we will
celebrate this anniversary with a special afternoon programme at a small
lake surrounded by the hills near Trento.
Further information: http://mega2015.science.unitn.it/
Submission page: https://easychair.org/conferences/?conf=mega2015
***************************************************************
MEGA is the acronym for Effective Methods in Algebraic Geometry (and
its equivalent in many other languages). This series of biennial
international conferences, with a tradition dating back to 1990, is
devoted to computational and application aspects of Algebraic Geometry
and related topics.
The conference will comprise invited talks, regular contributed talks,
presentations of computations, and a poster session; the latter three
are subject to a competitive submission process.
Invited speakers:
Carlos Beltran (University of Cantabria, Spain)
Alessandra Bernardi (University of Bologna, Italy)
Petter Br?nd?n (KTH Royal Institute of Technology, Sweden)
Elisa Gorla (University of Neuch?tel, Switzerland)
Hans-Christian Graf von Bothmer (Georg-August University G?ttingen, Germany)
Anders Jensen (Aarhus University, Denmark)
Michael Joswig (Technical University of Berlin, Germany)
Frank Sottile (Texas A&M University, USA)
Caroline Uhler (Institute of Science and Technology, Austria)
Special invited talk during the special afternoon:
Daniel Lazard (Paris 6) on the history of MEGA and
related groups
Important dates:
Deadline for submissions of papers/extended abstracts:
1 December 2014
Notification of acceptance of papers/extended abstracts:
15 February 2015
Deadline for submission of posters/computation presentatations:
15 March 2015
Notification of acceptence of posters/computation presentations:
15 April 2015
Deadline for registration and fee payment: TBD
Submissions: Submissions should contain recent original research relevant
to effective methods in algebraic geometry (in a broad sense), including
their foundations, analysis, complexity, computational aspects, practical
issues and applications. On this occasion we especially encourage
submissions related to finite fields, cryptography and coding theory,
as we would like to have a session specifically devoted to these topics.
There are three types of submissions, distributed over the two deadlines
above:
- Regular papers: for these, authors can choose to submit
either an extended abstract of at least four pages (not counting
bibliography) that should contain full results, an outline of the proofs
and all of the main ideas; or else a full paper with complete proofs.
- Computation presentations: these can concern new software packages,
but also experiments with (combinations) existing software that have
led to new computational approaches to mathematical proofs/applications
relevant to MEGA. Submission should be in the form of a short paper
describing the software or computations.
- Posters: to be printed on A1, the posters will be exhibited
during most of the conference, and during a poster session the authors
will have the opportunity to discuss their work with the conference
participants.
All submissions should clearly state the contributions and achievements,
with sufficient detail to understand their significance.
Submissions may contain material already submitted elsewhere, but this
fact has to be stated explicitly in the abstract. Acceptance of such
submissions depends on their special significance for the community.
Papers are to be submitted online through the Easy Chair interface,
available at
https://easychair.org/conferences/?conf=mega2015
Acceptance of a submitted contribution means acceptance for oral or
poster presentation only. A special issue of a journal is planned to
which authors of accepted original papers will be invited to submit the
full version after the conference. Only original research contributions
will be considered for publication in the journal special issue.
Executive committee: Jan Draisma (Eindhoven, Netherlands, Chair),
Willem de Graaf (Trento, Italy), Julia Hartmann (Aachen, Germany),
Monique Laurent (Amsterdam, Netherlands), Anton Leykin (Atlanta, GA,
USA), Teo Mora (Genova, Italy), Giorgio Ottaviani (Firenze, Italy),
Tomas Recio (Santander, Spain), Fabrice Rouillier (Paris, France),
Josef Schicho (Linz, Austria)
Local committee: Anna Bigatti (Genova, Italy), Willem De Graaf (Trento,
Italy), Patrizia Gianni (Pisa, Italy), Giorgio Ottaviani (Firenze,
Italy), Margherita Roggero (Torino, Italy), Massimiliano Sala (Trento,
Italy, Chair)
:
Carlos Beltran (University of Cantabria, Spain)
Alessandra Bernardi (University of Bologna, Italy)
Petter Br?nd?n (KTH Royal Institute of Technology, Sweden)
Elisa Gorla (University of Neuch?tel, Switzerland)
Hans-Christian Graf von Bothmer (Georg-August University G?ttingen, Germany)
Anders Jensen (Aarhus University, Denmark)
Michael Joswig (Technical University of Berlin, Germany)
Frank Sottile (Texas A&M University, USA)
Caroline Uhler (Institute of Science and Technology, Austria)
Special invited talk during the special afternoon:
Daniel Lazard (Paris 6) on the history of MEGA and
related groups
Important dates:
Deadline for submissions of papers/extended abstracts:
1 December 2014
Notification of acceptance of papers/extended abstracts:
15 February 2015
Deadline for submission of posters/computation presentatations:
15 March 2015
Notification of acceptence of posters/computation presentations:
15 April 2015
Deadline for registration and fee payment: TBD
Submissions: Submissions should contain recent original research relevant
to effective methods in algebraic geometry (in a broad sense), including
their foundations, analysis, complexity, computational aspects, practical
issues and applications. On this occasion we especially encourage
submissions related to finite fields, cryptography and coding theory,
as we would like to have a session specifically devoted to these topics.
There are three types of submissions, distributed over the two deadlines
above:
- Regular papers: for these, authors can choose to submit
either an extended abstract of at least four pages (not counting
bibliography) that should contain full results, an outline of the proofs
and all of the main ideas; or else a full paper with complete proofs.
- Computation presentations: these can concern new software packages,
but also experiments with (combinations) existing software that have
led to new computational approaches to mathematical proofs/applications
relevant to MEGA. Submission should be in the form of a short paper
describing the software or computations.
- Posters: to be printed on A1, the posters will be exhibited
during most of the conference, and during a poster session the authors
will have the opportunity to discuss their work with the conference
participants.
All submissions should clearly state the contributions and achievements,
with sufficient detail to understand their significance.
Submissions may contain material already submitted elsewhere, but this
fact has to be stated explicitly in the abstract. Acceptance of such
submissions depends on their special significance for the community.
Papers are to be submitted online through the Easy Chair interface,
available at
https://easychair.org/conferences/?conf=mega2015
Acceptance of a submitted contribution means acceptance for oral or
poster presentation only. A special issue of a journal is planned to
which authors of accepted original papers will be invited to submit the
full version after the conference. Only original research contributions
will be considered for publication in the journal special issue.
Executive committee: Jan Draisma (Eindhoven, Netherlands, Chair),
Willem de Graaf (Trento, Italy), Julia Hartmann (Aachen, Germany),
Monique Laurent (Amsterdam, Netherlands), Anton Leykin (Atlanta, GA,
USA), Teo Mora (Genova, Italy), Giorgio Ottaviani (Firenze, Italy),
Tomas Recio (Santander, Spain), Fabrice Rouillier (Paris, France),
Josef Schicho (Linz, Austria)
Local committee: Anna Bigatti (Genova, Italy), Willem De Graaf (Trento,
Italy), Patrizia Gianni (Pisa, Italy), Giorgio Ottaviani (Firenze,
Italy), Margherita Roggero (Torino, Italy), Massimiliano Sala (Trento,
Italy, Chair)
------------------------------
Message: 4
Date: Fri, 24 Oct 2014 14:10:19 +0200
From: Evripidis Bampis <Evripidis.Bampis@lip6.fr>
To: dmanet@zpr.uni-koeln.de
Subject: [DMANET] CFP SEA 2015
Message-ID: <f3284f9cc08005ad5d3bb2f0cde55573@newmail.lip6.fr>
Content-Type: text/plain; charset=UTF-8; format=flowed
--------------------------------------------------------------------
14th International Symposium on Experimental Algorithms
http://sea2015.lip6.fr
June 29 - July 1, 2015
Paris, France
Call for Papers
--------------------------------------------------------------------
IMPORTANT DATES
Submission deadline: February 6, 2015
Author notification: March 16, 2015
Camera-ready submission: April 3, 2015
AIMS & SCOPE
SEA is an international forum for researchers in the area of design,
analysis, and experimental evaluation and engineering of algorithms,
as well as in various aspects of computational optimization and
its applications. The preceding symposia were held in Riga, Monte
Verita, Rio de Janeiro, Santorini, Menorca Island, Rome, Cape Cod,
Dortmund, Ischia Island, Crete, Bordeaux, Rome and Copenhagen.
The main theme of the symposium is the role of experimentation and
of algorithm-engineering techniques in the design and evaluation of
algorithms and data structures. Submissions should present
significant contributions supported by experimental evaluation,
methodological issues in the design and interpretation of
experiments, the use of (meta-)heuristics, or application-driven
case studies that deepen the understanding of the complexity of a
problem.
Topics of interest include, but are not limited to:
- Algorithm Engineering
- Algorithmic Libraries
- Algorithmic Mechanism Design
- Analysis of Algorithms
- Algorithms for Memory Hierarchies
- Approximation Techniques
- Bioinformatics
- Branch-and-Bound Algorithms
- Combinatorial and Irregular Problems
- Combinatorial Structures and Graphs
- Communication Networks
- Complex Networks
- Computational Geometry
- Computational Learning Theory
- Computational Optimization
- Computer Systems
- Cryptography and Security
- Data Streams
- Data Structures
- Distributed and Parallel Algorithms
- Evaluation of Algorithms for Realistic Environments
- Experimental Techniques and Statistics
- Graph Drawing
- Heuristics for Combinatorial Optimization
- Implementation, Testing, Evaluation and Fine-tuning
- Information Retrieval
- Integer Programming
- Logistics and Operations Management
- Machine Learning and Data Mining
- Mathematical Programming
- Metaheuristic Methodologies
- Multiple Criteria Decision Making
- Network Analysis
- Novel Applications of Algorithms in Other Disciplines
- Online Problems
- Parallel Algorithms and Computing
- Railway Optimization using Algorithmic Methods
- Randomized Techniques
- Robotics
- Semidefinite Programming
- Simulation
- Software Repositories and Platforms for using Algorithms
- Telecommunications and Networking
- World-Wide-Web Algorithms
PROGRAM COMMITTEE
Eric Angel, Evry
Evripidis Bampis, Paris (chair)
Vincenzo Bonifaci, Rome
David Coudert, Sophia Antipolis
Christoph D?rr, Paris
Thomas Erlebach, Leicester
Loukas Georgiadis, Ioannina
Leo Liberti, Yorktown Heights
Giorgio Lucarelli, Grenoble
Alberto Marchetti-Spaccamela, Rome
Sotiris Nikoletseas, Patras
Aris Pagourtzis, Athens
Marina Papatriantafylou, G?teborg
Vijaya Ramachandran, Austin
Nicolas Schabanel, Paris
Maria Serna, Barcelona
Frits Spieksma, Leuven
Clifford Stein, New York
Dorothea Wagner, Karlsruhe
Renato Werneck, San Francisco
Christos Zaroliagis, Patras
Norbert Zeh, Halifax
SUBMISSIONS
Authors are invited to submit high-quality manuscripts reporting
original unpublished research and recent developments in the topics
related to the symposium. Simultaneous submission to other
conferences or workshops with published proceedings is not allowed.
Submissions must not exceed 12 pages formatted according to LNCS
style plus an optional, clearly marked appendix of reasonable
length (to be read at the program committee's discretion). All papers
will be peer reviewed and comments will be provided to the authors.
PROCEEDINGS
Accepted papers will appear in the SEA 2015 proceedings published
by Springer in the LNCS series.
CONTACT
For further information, please send an e-mail to
evripidis.bampis@lip6.fr.
------------------------------
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 80, Issue 20
**************************************
No comments:
Post a Comment