Dear all,
I'd like to draw your attention to the fact that applications for the
European Master's Program in Computational Logic are possible UNTIL 31
May 2016.
More details are given below.
Please spread this information as wide as possible among friends and
colleagues, at your old universities and the places, where you currently
live and work.
Many thanks -- Steffen
*******************************************************************************************************
The European Master's Program in Computational Logic
We are glad to announce to you the possibility to join our European
Master's Program of Computational Logic. This program is offered jointly
at the Free-University of Bozen-Bolzano in Italy, the Technische
Universität Dresden in Germany, the Universidade Nova de Lisboa in
Portugal and the Technische Universität Wien in Austria. Within this
program you have the choice to study at two /three of the four European
universities. In addition, you can do your project work at the National
ICT of Australia (NICTA). You will graduate with a MSc in Computer
Science and obtain a joint degree. Information on the universities and
the program including the application procedure is provided here:
http://www.emcl-study.eu/home.html
Language of instruction is English. Tuition fees are 3.000 EUR (for
non-European students) and 1.000 (for European students) per year.
Do not hesitate to contact us if you have any further questions.
Kind regards -- Steffen Hölldobler
Prof. Dr. Steffen Hoelldobler
International Center for Computational Logic
Technische Universität Dresden
01062 Dresden, Germany
phone: [+49](351)46 33 83 40
fax: [+49](351)46 33 83 42
email: sh@iccl.tu-dresden.de
--
TU Dresden
Department of Computer Science
International Center for Computational Logic
01062 Dresden,Germany
Tel.: +49 (0)351 463 38341
--
In the case, you do not want to receive this email, please write an email to
tobias.philipp@tu-dresden.de, subject: UNSUBSCRIBE
Thursday, February 25, 2016
[DMANET] Just five days to submit an abstract to EURO 2016
The deadline for abstract submission at the EURO 2016 conference in
Poznan is March 1st, 2016.
Poznan is March 1st, 2016.
Hurry up to submit your abstract and be part of the largest European
OR conference!
Excellent plenary and keynote speakers. Hundreds of sessions on every
topic of OR. A beautiful town and a warm and friendly environment.
Making an Impact initiatives for academic-practitioners collaboration.
Workshops, tutorials, round-tables and satellite events. Recruiting
opportunities to be announced soon .... These are just some of the
good reasons to come to Poznan in July !
Find the other ones, together with full details of the conference, at
www.euro2016.poznan.pl.
See you in Poznan!
Daniele Vigo and Joanna Josefowska
daniele.vigo@unibo.it, Joanna.Jozefowska@cs.put.poznan.pl
**********************************************************
*
* Contributions to be spread via DMANET are submitted to
*
* DMANET@zpr.uni-koeln.de
*
* Replies to a message carried on DMANET should NOT be
* addressed to DMANET but to the original sender. The
* original sender, however, is invited to prepare an
* update of the replies received and to communicate it
* via DMANET.
*
* DISCRETE MATHEMATICS AND ALGORITHMS NETWORK (DMANET)
* http://www.zaik.uni-koeln.de/AFS/publications/dmanet/
*
**********************************************************
PPDP 2016: First Call for Papers
======================================================================
Call for papers
18th International Symposium on
Principles and Practice of Declarative Programming
PPDP 2016
Special Issue of Science of Computer Programming (SCP) -tentative-
Edinburgh, UK, September 5-7, 2016
(co-located with LOPSTR and SAS)
http://ppdp16.webs.upv.es/
======================================================================
SUBMISSION DEADLINE: 9 MAY (abstracts) / 16 MAY (papers)
----------------------------------------------------------------------
INVITED SPEAKERS
Elvira Albert, Complutense University of Madrid, Spain
----------------------------------------------------------------------
PPDP 2016 is a forum that brings together researchers from the
declarative programming communities, including those working in the
logic, constraint and functional programming paradigms, but also
embracing languages, database languages, and knowledge representation
languages. The goal is to stimulate research in the use of logical
formalisms and methods for specifying, performing, and analyzing
computations, including mechanisms for mobility, modularity,
concurrency, object-orientation, security, verification and static
analysis. Papers related to the use of declarative paradigms and tools
in industry and education are especially solicited. Topics of interest
include, but are not limited to
* Functional programming
* Logic programming
* Answer-set programming
* Functional-logic programming
* Declarative visual languages
* Constraint Handling Rules
* Parallel implementation and concurrency
* Monads, type classes and dependent type systems
* Declarative domain-specific languages
* Termination, resource analysis and the verification of declarative programs
* Transformation and partial evaluation of declarative languages
* Language extensions for security and tabulation
* Probabilistic modeling in a declarative language and modeling reactivity
* Memory management and the implementation of declarative systems
* Practical experiences and industrial application
This year the conference will be co-located with the 26th Int'l Symp.
on Logic-Based Program Synthesis and Transformation (LOPSTR 2016) and
the 23rd Static Analysis Symposium (SAS 2016).
The conference will be held in Edinburgh, UK. Previous symposia were
held at Siena (Italy), Canterbury (UK), Madrid (Spain), Leuven
(Belgium), Odense (Denmark), Hagenberg (Austria), Coimbra (Portugal),
Valencia (Spain), Wroclaw (Poland), Venice (Italy), Lisboa (Portugal),
Verona (Italy), Uppsala (Sweden), Pittsburgh (USA), Florence (Italy),
Montreal (Canada), and Paris (France). You might have a look at the
contents of past PPDP symposia, http://sites.google.com/site/ppdpconf/
Papers must describe original work, be written and presented in
English, and must not substantially overlap with papers that have been
published or that are simultaneously submitted to a journal,
conference, or workshop with refereed proceedings. Work that already
appeared in unpublished or informally published workshop proceedings
may be submitted (please contact the PC chair in case of questions).
After the symposium, a selection of the best papers will be invited to
extend their submissions in the light of the feedback solicited at the
symposium. The papers are expected to include at least 30% extra
material over and above the PPDP version. Then, after another round of
reviewing, these revised papers will be published in a special issue
of SCP with a target publication date by Elsevier of 2017 (tentative).
Important Dates
Abstract submission: 9 May, 2016
Paper submission: 16 May, 2016
Notification: 20 June, 2016
Final version of papers: 17 July, 2016
Symposium: 5-7 September, 2016
Authors should submit an electronic copy of the full paper in
PDF. Papers should be submitted to the submission website for PPDP
2016. Each submission must include on its first page the paper title;
authors and their affiliations; abstract; and three to four
keywords. The keywords will be used to assist the program committee in
selecting appropriate reviewers for the paper. Papers should consist
of the equivalent of 12 pages under the ACM formatting
guidelines. These guidelines are available online, along with
formatting templates or style files. Submitted papers will be judged
on the basis of significance, relevance, correctness, originality, and
clarity. They should include a clear identification of what has been
accomplished and why it is significant. Authors who wish to provide
additional material to the reviewers beyond the 12-page limit can do
so in clearly marked appendices: reviewers are not required to read
such appendices.
Program Committee
Sandra Alves, University of Porto, Portugal
Zena M. Ariola, University of Oregon, USA
Kenichi Asai, Ochanomizu University, Japan
Dariusz Biernacki, University of Wroclaw, Poland
Rafael Caballero, Complutense University of Madrid, Spain
Iliano Cervesato, Carnegie Mellon University
Marina De Vos, University of Bath, UK
Agostino Dovier, Universita degli Studi di Udine, Italy
Maribel Fernandez, King's College London, UK
John Gallagher, Roskilde University, Denmark, and IMDEA Software Institute, Spain
Michael Hanus, CAU Kiel, Germany
Martin Hofmann, LMU Munchen, Germany
Gerda Janssens, KU Leuven, Belgium
Kazutaka Matsuda, Tohoku University, Japan
Fred Mesnard, Universite de la Reunion, France
Emilia Oikarinen, Finnish Institute of Occupational Health, Finland
Alberto Pettorossi, Universita di Roma Tor Vergata, Italy
Tom Schrijvers, KU Leuven, Belgium
Josep Silva, Universitat Politecnica de Valencia, Spain
Perdita Stevens, University of Edinburgh, UK
Peter Thiemann, Universitat Freiburg, Germany
Frank D. Valencia, CNRS-LIX Ecole Polytechnique de Paris, France, and Pontificia Universidad Javeriana de Cali, Colombia
German Vidal, Universitat Politecnica de Valencia, Spain (Program Chair)
Stephanie Weirich, University of Pennsylvania, USA
Program Chair
German Vidal
Universitat Politecnica de Valencia
Camino de Vera, S/N
E-46022 Valencia, Spain
Email: gvidal@dsic.upv.es
Symposium Chair
James Cheney
Informatics Forum 5.29
Laboratory for Foundations of Computer Science
School of Informatics
10 Crichton Street, Edinburgh EH8 9AB, Scotland, UK
Email: jcheney@inf.ed.ac.uk
----------------------------------------------------------------------
Call for papers
18th International Symposium on
Principles and Practice of Declarative Programming
PPDP 2016
Special Issue of Science of Computer Programming (SCP) -tentative-
Edinburgh, UK, September 5-7, 2016
(co-located with LOPSTR and SAS)
http://ppdp16.webs.upv.es/
======================================================================
SUBMISSION DEADLINE: 9 MAY (abstracts) / 16 MAY (papers)
----------------------------------------------------------------------
INVITED SPEAKERS
Elvira Albert, Complutense University of Madrid, Spain
----------------------------------------------------------------------
PPDP 2016 is a forum that brings together researchers from the
declarative programming communities, including those working in the
logic, constraint and functional programming paradigms, but also
embracing languages, database languages, and knowledge representation
languages. The goal is to stimulate research in the use of logical
formalisms and methods for specifying, performing, and analyzing
computations, including mechanisms for mobility, modularity,
concurrency, object-orientation, security, verification and static
analysis. Papers related to the use of declarative paradigms and tools
in industry and education are especially solicited. Topics of interest
include, but are not limited to
* Functional programming
* Logic programming
* Answer-set programming
* Functional-logic programming
* Declarative visual languages
* Constraint Handling Rules
* Parallel implementation and concurrency
* Monads, type classes and dependent type systems
* Declarative domain-specific languages
* Termination, resource analysis and the verification of declarative programs
* Transformation and partial evaluation of declarative languages
* Language extensions for security and tabulation
* Probabilistic modeling in a declarative language and modeling reactivity
* Memory management and the implementation of declarative systems
* Practical experiences and industrial application
This year the conference will be co-located with the 26th Int'l Symp.
on Logic-Based Program Synthesis and Transformation (LOPSTR 2016) and
the 23rd Static Analysis Symposium (SAS 2016).
The conference will be held in Edinburgh, UK. Previous symposia were
held at Siena (Italy), Canterbury (UK), Madrid (Spain), Leuven
(Belgium), Odense (Denmark), Hagenberg (Austria), Coimbra (Portugal),
Valencia (Spain), Wroclaw (Poland), Venice (Italy), Lisboa (Portugal),
Verona (Italy), Uppsala (Sweden), Pittsburgh (USA), Florence (Italy),
Montreal (Canada), and Paris (France). You might have a look at the
contents of past PPDP symposia, http://sites.google.com/site/ppdpconf/
Papers must describe original work, be written and presented in
English, and must not substantially overlap with papers that have been
published or that are simultaneously submitted to a journal,
conference, or workshop with refereed proceedings. Work that already
appeared in unpublished or informally published workshop proceedings
may be submitted (please contact the PC chair in case of questions).
After the symposium, a selection of the best papers will be invited to
extend their submissions in the light of the feedback solicited at the
symposium. The papers are expected to include at least 30% extra
material over and above the PPDP version. Then, after another round of
reviewing, these revised papers will be published in a special issue
of SCP with a target publication date by Elsevier of 2017 (tentative).
Important Dates
Abstract submission: 9 May, 2016
Paper submission: 16 May, 2016
Notification: 20 June, 2016
Final version of papers: 17 July, 2016
Symposium: 5-7 September, 2016
Authors should submit an electronic copy of the full paper in
PDF. Papers should be submitted to the submission website for PPDP
2016. Each submission must include on its first page the paper title;
authors and their affiliations; abstract; and three to four
keywords. The keywords will be used to assist the program committee in
selecting appropriate reviewers for the paper. Papers should consist
of the equivalent of 12 pages under the ACM formatting
guidelines. These guidelines are available online, along with
formatting templates or style files. Submitted papers will be judged
on the basis of significance, relevance, correctness, originality, and
clarity. They should include a clear identification of what has been
accomplished and why it is significant. Authors who wish to provide
additional material to the reviewers beyond the 12-page limit can do
so in clearly marked appendices: reviewers are not required to read
such appendices.
Program Committee
Sandra Alves, University of Porto, Portugal
Zena M. Ariola, University of Oregon, USA
Kenichi Asai, Ochanomizu University, Japan
Dariusz Biernacki, University of Wroclaw, Poland
Rafael Caballero, Complutense University of Madrid, Spain
Iliano Cervesato, Carnegie Mellon University
Marina De Vos, University of Bath, UK
Agostino Dovier, Universita degli Studi di Udine, Italy
Maribel Fernandez, King's College London, UK
John Gallagher, Roskilde University, Denmark, and IMDEA Software Institute, Spain
Michael Hanus, CAU Kiel, Germany
Martin Hofmann, LMU Munchen, Germany
Gerda Janssens, KU Leuven, Belgium
Kazutaka Matsuda, Tohoku University, Japan
Fred Mesnard, Universite de la Reunion, France
Emilia Oikarinen, Finnish Institute of Occupational Health, Finland
Alberto Pettorossi, Universita di Roma Tor Vergata, Italy
Tom Schrijvers, KU Leuven, Belgium
Josep Silva, Universitat Politecnica de Valencia, Spain
Perdita Stevens, University of Edinburgh, UK
Peter Thiemann, Universitat Freiburg, Germany
Frank D. Valencia, CNRS-LIX Ecole Polytechnique de Paris, France, and Pontificia Universidad Javeriana de Cali, Colombia
German Vidal, Universitat Politecnica de Valencia, Spain (Program Chair)
Stephanie Weirich, University of Pennsylvania, USA
Program Chair
German Vidal
Universitat Politecnica de Valencia
Camino de Vera, S/N
E-46022 Valencia, Spain
Email: gvidal@dsic.upv.es
Symposium Chair
James Cheney
Informatics Forum 5.29
Laboratory for Foundations of Computer Science
School of Informatics
10 Crichton Street, Edinburgh EH8 9AB, Scotland, UK
Email: jcheney@inf.ed.ac.uk
----------------------------------------------------------------------
Wednesday, February 24, 2016
[DMANET] Prague Summer School on Discrete Mathematics, August 1-5, 2016
The first edition of the Prague Summer School on Discrete Mathematics
organized jointly by Computer Science Institute of Charles University
and the Institute of Mathematics of the Czech Academy of Sciences will
take place from August 1 to August 5, 2016. The venue of the School is
the building of the Institute of Mathematics of the Czech Academy of
Sciences in the historical center of Prague. There will be lectures in
the mornings and exercise classes in the afternoons on each of the 5
days of the School. The lecturers will be
organized jointly by Computer Science Institute of Charles University
and the Institute of Mathematics of the Czech Academy of Sciences will
take place from August 1 to August 5, 2016. The venue of the School is
the building of the Institute of Mathematics of the Czech Academy of
Sciences in the historical center of Prague. There will be lectures in
the mornings and exercise classes in the afternoons on each of the 5
days of the School. The lecturers will be
* Samuel Fiorini (Free University of Brussels), who will talk on
extended formulations in combinatorial optimization
* Ronald de Wolf (CWI), who will talk on Fourier analysis of Boolean
functions, with applications to discrete mathematics, complexity
theory, and social choice theory.
The School is primarily but not exclusively intended for PhD students
and postdocs. There is no registration fee. Thanks to the generous
support of the RSJ Foundation, the Institute of Mathematics of the
Czech Academy of Sciences, and Computer Science Institute of Charles
University we can offer a limited number of stipends that cover the
travel and the
stay.
Further information about the School can be found at:
http://iuuk.mff.cuni.cz/events/conferences/pssdm/program.html
**********************************************************
*
* Contributions to be spread via DMANET are submitted to
*
* DMANET@zpr.uni-koeln.de
*
* Replies to a message carried on DMANET should NOT be
* addressed to DMANET but to the original sender. The
* original sender, however, is invited to prepare an
* update of the replies received and to communicate it
* via DMANET.
*
* DISCRETE MATHEMATICS AND ALGORITHMS NETWORK (DMANET)
* http://www.zaik.uni-koeln.de/AFS/publications/dmanet/
*
**********************************************************
[DMANET] AAIM 2016 - Final Deadline Extension
------------------------------------------------------
AAIM 2016 Call for Papers
------------------------------------------------------
AAIM 2016 Call for Papers
------------------------------------------------------
The submission deadline has been extended to February 29.
AAIM 2016 Conference July 18-20, 2016
Bergamo University, Bergamo, Italy
http://aaim2016.wordpress.com/
The Eleventh International Conference on Algorithmic Aspects of
Information and Management will be hosted by University of Bergamo.
The conference will provide a forum on current trends of research on
algorithms, data structures, operation research, combinatorial
optimization and their applications.
AAIM will bring together international experts at the research
frontiers in these areas to exchange ideas and to present significant
new results.
Interesting new results in all areas of algorithm design, operation
research and combinatorial optimization and their applications are
welcome. Both theoretical and experimental/applied works of general
algorithmic interest are sought. Special considerations will be given
to algorithmic research that is motivated by real-world applications.
Experimental and applied papers are expected to show convincingly the
usefulness and efficiency of the target algorithms in practical
settings.
Typical, but not exclusive, topics of interest include:
Algorithms and data structures;
Algorithmic game theory and incentive analysis;
Approximation algorithms and online algorithms;
Automata, languages, logic, and computability;
Bioinformatics, computational biology and medicine, and biomedical
applications;
Biomedical imaging algorithms;
Combinatorial optimization;
Combinatorics and discrete structures related to algorithms and complexity;
Communication networks and optimization;
Complexity theory;
Computational algebra, geometry, number theory, and statistics;
Computational learning theory, knowledge discovery, and data mining;
Cryptography, reliability, and security;
Database theory, large databases, and natural language processing;
Experimental algorithmic methodologies;
Geometric information processing and communication;
Graph algorithms and theory;
Graph drawing and information visualization;
Internet algorithms and protocols;
Large graph algorithms and social network analysis;
Optimization algorithms in economic and operations research;
Parallel and distributed computing and multicore algorithms;
Parameterized algorithms, heuristics, and analysis;
Pattern recognition algorithms;
Trustworthy algorithms and trustworthy software.
Important Dates:
Paper firm submission deadline: February 29, 2016 (anywhere on Earth)
Author Notification: April 7, 2016
Final Manuscript Due: April 22, 2016
Conference: July 18-20, 2016
Submissions:
AAIM 2016 will only accept electronic (PS or PDF) submissions via easychair:
https://easychair.org/conferences/?conf=aaim2016
E-mails will be sent to the authors to confirm the receipt of their
submissions within 24 hours. For any problem or question on
submissions, please send e-mails to aaim2016@easychair.org
Only previously unpublished new results will be considered for
publication. Papers that have already been published or simultaneously
submitted at another journal or conference (with published
proceedings) will not be considered.
A submission should start with the title of the paper, each author's
name, affiliation, and e-mail address, and a one-paragraph summary of
the results. This should be followed by a scholarly exposition of the
ideas, techniques, and a full description of the results achieved. A
clear indication of the motivation and comparison with prior or
related work should be presented. The paper should not exceed 12
pages, including bibliography, formatted for letter-size paper using
11 point or larger font, with at least one inch margins around.
Additional details can be included in a clearly marked appendix, to be
consulted at the discretion of program committee members. The appendix
is not included in the page limit, and will not be published in the
conference proceedings.
Submissions that deviate significantly from these guidelines or are
unprintable risk rejection without consideration of their merit.
At least one author of an accepted paper is expected to present the
paper at the conference as a registered participant.
The Proceedings of the Conference will be published by Springer in the
Lecture Notes in Computer Science (LNCS) series, and will be available
for distribution at the conference.
Special Issues:
Selected high quality papers will be invited to a special issue of
Theoretical Computer Science. The invited papers will go through the
normal reviewing process.
Invited Speakers:
Roberto Grossi, Università di Pisa
Stéphane Vialette, Université Paris-Est Marne-la-Vallée
Program Committee
Francine Blanchet-Sadri (University of North Carolina)
Laurent Bulteau (University of Paris-Est Marne-la-Vallée)
Cedric Chauve (Simon Fraser University)
Zhi-Zhong Chen (Tokyo Denki University)
Marek Chrobak (University of California, Riverside)
Ferdinando Cicalese (University of Verona)
Pierluigi Crescenzi (Università degli Studi di Firenze)
Peter Damaschke (Chalmers University of Technology)
Bhaskar Dasgupta (University of Illinois at Chicago)
Riccardo Dondi (Università degli Studi di Bergamo) co-chair
Nadia El-Mabrouk (University of Montreal)
Michael R. Fellows (Charles Darwin University)
Guillaume Fertin (University of Nantes) co-chair
Irene Finocchi (University of Rome "La Sapienza")
Pawel Gorecki (University of Warsaw)
Inge Li Gørtz (Technical University of Denmark)
Frederic Havet (CNRS, Sophia-Antipolis)
Danny Hermelin (Ben-Gurion University of the Negev)
Jesper Jansson (Kyoto University)
Minghui Jiang (Utah State University)
Christian Komusiewicz (TU Berlin)
Moshe Lewenstein (Bar Ilan University)
Giancarlo Mauri (University of Milano-Bicocca) co-chair
Martin Milanic (University of Primorska)
Rolf Niedermeier (TU Berlin)
Daniel Paulusma (Durham University)
David Peleg (The Weizmann Institute)
Marcin Pilipczuk (University of Warsaw)
Romeo Rizzi (University of Verona)
Marie-France Sagot (INRIA Grenoble Rhône-Alpes and Université de Lyon 1)
Saket Saurabh (The Institute of Mathematical Sciences, Chennai)
Marinella Sciortino (University of Palermo)
Florian Sikora (University of Paris-Dauphine)
Ioan Todinca (Université d'Orléans)
Leo van Iersel (Delft University of Technology)
Rossano Venturini (Università di Pisa)
Lusheng Wang (City University of Hong Kong)
Binhai Zhu (Montana State University)
**********************************************************
*
* Contributions to be spread via DMANET are submitted to
*
* DMANET@zpr.uni-koeln.de
*
* Replies to a message carried on DMANET should NOT be
* addressed to DMANET but to the original sender. The
* original sender, however, is invited to prepare an
* update of the replies received and to communicate it
* via DMANET.
*
* DISCRETE MATHEMATICS AND ALGORITHMS NETWORK (DMANET)
* http://www.zaik.uni-koeln.de/AFS/publications/dmanet/
*
**********************************************************
Tuesday, February 23, 2016
[DMANET] PPSN 2016 Paper Submission Deadline 4th April 2016
## PPSN 2016 - Call for Papers##
###Paper Submission Deadline 4th April 2016###
###Paper Submission Deadline 4th April 2016###
Researchers are invited to submit their original work in the field of Natural Computing to the 14th International Conference on Parallel Problem Solving From Nature.
The page limit is 10 pages, and papers must be submitted in Springer LNCS style through the conference web page at [http://www.ppsn2016.org/conference/paper-submission](http://www.ppsn2016.org/conference/paper-submission).
### Important Dates ###
* Paper submission April 4, 2016
* Camera-ready paper submission June 6, 2016
* Early registration June 13, 2016
* Conference dates September 17-21, 2016
### 14th International Conference on Parallel Problem Solving from Nature ###
17-21 September 2016
Edinburgh, Scotland, UK
[http://ppsn2016.org/conference/](http://ppsn2016.org/conference/ "PPSN 2016")
The 14th International Conference on Parallel Problem Solving from Nature
(PPSN 2016) will be held in Edinburgh, Scotland, UK, 17-21 September 2016.
This biennial meeting brings together researchers and practitioners in the field of Natural Computing: the study of computational systems inspired by nature, including biological, ecological, physical, chemical, and social systems. This is a fast-growing interdisciplinary field, featuring a range of techniques and methods for dealing with large, complex, and dynamic problems with various sources of potential uncertainties.
PPSN 2016 will showcase a wide range of topics in Natural Computing including, but not restricted to: Evolutionary Computation, Artificial Neural Networks, Artificial Life, Swarm Intelligence, Artificial Immune Systems, Self-Organising Systems, Emergent Behaviours, Molecular Computing, Evolutionary Robotics, Evolvable Hardware and Applications to Real-World Problems. PPSN 2016 will also feature workshops and tutorials covering advanced and fundamental topics in the field of Natural Computing.
### Paper Presentation###
Following the well-established PPSN tradition, all accepted papers will be presented during poster sessions of about 16 papers. Each session will contain papers from a variety of topics, and will begin with a brief plenary overview by a distinguished researcher in the field. All accepted papers will be published in the Lecture Notes in Computer Science (LNCS) series by Springer.
### Paper Submission Deadline 4th April 2016###
Researchers are invited to submit their original work in the field of Natural Computing. The page limit is 10 pages, and papers must be submitted in Springer LNCS style through the conference web page at [http://www.ppsn2016.org/conference/paper-submission](http://www.ppsn2016.org/conference/paper-submission).
Should you need any information, or in case of any question or problem concerning the submission process, please do not hesitate to contact the PPSN 2016 organizers by e-mail to <ppsn2016@gmail.com>
This message and its attachment(s) are intended for the addressee(s) only and should not be read, copied, disclosed, forwarded or relied upon by any person other than the intended addressee(s) without the permission of the sender. If you are not the intended addressee you must not take any action based on this message and its attachment(s) nor must you copy or show them to anyone. Please respond to the sender and ensure that this message and its attachment(s) are deleted.
It is your responsibility to ensure that this message and its attachment(s) are scanned for viruses or other defects. Edinburgh Napier University does not accept liability for any loss or damage which may result from this message or its attachment(s), or for errors or omissions arising after it was sent. Email is not a secure medium. Emails entering Edinburgh Napier University's system are subject to routine monitoring and filtering by Edinburgh Napier University.
Edinburgh Napier University is a registered Scottish charity. Registration number SC018373
**********************************************************
*
* Contributions to be spread via DMANET are submitted to
*
* DMANET@zpr.uni-koeln.de
*
* Replies to a message carried on DMANET should NOT be
* addressed to DMANET but to the original sender. The
* original sender, however, is invited to prepare an
* update of the replies received and to communicate it
* via DMANET.
*
* DISCRETE MATHEMATICS AND ALGORITHMS NETWORK (DMANET)
* http://www.zaik.uni-koeln.de/AFS/publications/dmanet/
*
**********************************************************
[DMANET] CFP (MCDMT 2016) - 2nd Workshop on Modeling, Computing and Data Handling for Marine Transportation (in conjuction with IISA 2016)
Call for Papers
2nd Workshop on Modeling, Computing and Data Handling for Marine
Transportation
(MCDMT 2016), July 13, 2016, Chalkidiki, Greece
in association with the
7th International Conference on Information, Intelligence, Systems and
Applications ( IISA 2016 )
(http://iisa2016.unipi.gr/mcdmt/)
Workshop Chairs: Charalampos Konstantopoulos (University of Piraeus,
Greece), Grammati Pantziou (Technological Educational Institute (T.E.I.) of
Athens, Greece), Stavros Perantonis
(National Center for Scientific Research "Dimokritos")
The Workshop on Modeling, Computing and Data Handling for Marine
Transportation (MCDMT 2016) is going to take place in Chalkidiki, Greece, on
July 13, 2016, in conjunction with the 7th International Conference on
Information, Intelligence, Systems and Applications (IISA 2016). Nowadays,
advancements on Marine Transportation require the synergy of both computer
science and maritime science and the technical focus of the workshop is upon
the latest developments on Computing Methodologies for Marine
Transportation.
Papers with novel theoretical as well as applied research are welcome for
submission. We would like to invite papers addressing research efforts that
aim at making sea transportation more effective and safer, targeting complex
and large-scale optimization problems with conflicting criteria, requiring
innovative solution techniques and ideas from mathematical optimization,
theoretical computer science, massive data analysis and operations research.
Submissions are solicited in, but not limited to, the following areas:
- Graph and Network algorithms for Marine Transportation
- Combinatorial optimization techniques for Marine Transportation
- Weather Routing
- Environmentally Safe Shipping
- Safety and Security of Maritime Shipping
- Risk and Safety Analysis, Assessment and Prediction
- Piracy Protection
- GIS in Maritime Applications
- Spatiotemporal and Marine Data Handling
- Route Planning and Monitoring
- Maritime Data Mining and Knowledge Discovery Applications: surveillance,
maritime traffic control, anomaly detection, emergency management, situation
recognition, etc.
- Decision Support Tools for Marine Transportation
- Integration of Heterogeneous Marine Data Sources
Important Dates
Paper Submission Deadline: April 11, 2016
Paper Acceptance Notification: May 16, 2016
Camera Ready Papers: June 6, 2016
Workshop Program Committee
Eleni Charou, National Center for Scientific Research "Dimokritos", Greece
Marco Cococcioni, University of Pisa, Italy
Shahin Gelareh, Universit? d'Artois, France
Ignacy Kaliszewski, Systems Research Institute, Polish Academy of Sciences,
Poland
Zoe Nivolianitou, National Center for Scientific Research "Dimokritos",
Greece
Meng Qiang, National University of Singapore, Singapore
Joanna Szlapczynska, Gdynia Maritime University, Poland
Yannis Theodoridis, University of Piraeus, Greece
Theodoros Tzouramanis, University of the Aegean, Greece
Zaili Yang, Liverpool John Moores University, UK
George Vouros, University of Piraeus, Greece
Jin Wang, Liverpool John Moores University, UK
Instructions for Authors
Submitted papers should include original work not previously published or
being under consideration in any journal, conference or other workshop.
Papers should be submitted as a pdf file and follow the IEEE CPS format,
according to the general Instructions for Authors of IISA 2016. See the
IISA2016 Instructions for Authors page for appropriate templates for both
Latex and MS Word. Papers for MCDMT 2016 should be submitted through the
general IISA2016 paper submission system (EasyChair).
Accepted papers will be published in the IEEE Proceedings of IISA2016 and
will be included in the IEEE Xplore digital library (IEL,
http://ieeexplore.ieee.org). Authors of accepted papers must guarantee that
their paper will be presented at the workshop.
**********************************************************
*
* Contributions to be spread via DMANET are submitted to
*
* DMANET@zpr.uni-koeln.de
*
* Replies to a message carried on DMANET should NOT be
* addressed to DMANET but to the original sender. The
* original sender, however, is invited to prepare an
* update of the replies received and to communicate it
* via DMANET.
*
* DISCRETE MATHEMATICS AND ALGORITHMS NETWORK (DMANET)
* http://www.zaik.uni-koeln.de/AFS/publications/dmanet/
*
**********************************************************
Call for Nominations, Editor-In-Chief ACM Journal of Experimental Algorithmics
Call for Nominations
Editor-In-Chief
ACM Journal of Experimental Algorithmics
http://jea.acm.org/
The term of the current Editor-in-Chief (EiC) of the ACM Journal on
Experimental Algorithmics (JEA) is coming to an end, and the ACM
Publications Board has set up a nominating committee to assist the
Board in selecting the next EiC. JEA was established in 1996 and has
been experiencing steady growth.
Nominations, including self nominations, are invited for a three-year
term as JEA EiC, beginning on May 31, 2016. The EiC appointment may be
renewed at most one time. This is an entirely voluntary position, but
ACM will provide appropriate administrative support.
Appointed by the ACM Publications Board, Editors-in-Chief (EiCs) of
ACM journals are delegated full responsibility for the editorial
management of the journal consistent with the journal's charter and
general ACM policies. The Board relies on EiCs to ensure that the
content of the journal is of high quality and that the editorial
review process is both timely and fair. He/she has final say on
acceptance of papers, size of the Editorial Board, and appointment of
Associate Editors. A complete list of responsibilities is found in the
ACM Volunteer Editors Position Descriptions
(http://www.acm.org/publications/policies/position_descriptions).
Additional information can be found in the following documents:
• Rights and Responsibilities in ACM Publishing
(http://www.acm.org/publications/policies/RightsResponsibilities)
• ACM's Evaluation Criteria for Editors-in-Chief
(http://www.acm.org/publications/policies/evaluation/)
Nominations should include a vita along with a brief statement of why
the nominee should be considered. Self-nominations are encouraged, and
should include a statement of the candidate's vision for the future
development of JEA. The deadline for submitting nominations is March
31, 2016, although nominations will continue to be accepted until the
position is filled.
Please send all nominations to the nominating committee chair,
Giuseppe F. Italiano (giuseppe.italiano@uniroma2.it).
The search committee members are:
• Giuseppe F. Italiano (University of Rome Tor Vergata), Chair
• Andrew Goldberg (Amazon)
• Dorothea Wagner (Karlsruhe Institute for Technology)
• Anne Condon (University of British Columbia), ACM Publications Board Liaison
Editor-In-Chief
ACM Journal of Experimental Algorithmics
http://jea.acm.org/
The term of the current Editor-in-Chief (EiC) of the ACM Journal on
Experimental Algorithmics (JEA) is coming to an end, and the ACM
Publications Board has set up a nominating committee to assist the
Board in selecting the next EiC. JEA was established in 1996 and has
been experiencing steady growth.
Nominations, including self nominations, are invited for a three-year
term as JEA EiC, beginning on May 31, 2016. The EiC appointment may be
renewed at most one time. This is an entirely voluntary position, but
ACM will provide appropriate administrative support.
Appointed by the ACM Publications Board, Editors-in-Chief (EiCs) of
ACM journals are delegated full responsibility for the editorial
management of the journal consistent with the journal's charter and
general ACM policies. The Board relies on EiCs to ensure that the
content of the journal is of high quality and that the editorial
review process is both timely and fair. He/she has final say on
acceptance of papers, size of the Editorial Board, and appointment of
Associate Editors. A complete list of responsibilities is found in the
ACM Volunteer Editors Position Descriptions
(http://www.acm.org/publications/policies/position_descriptions).
Additional information can be found in the following documents:
• Rights and Responsibilities in ACM Publishing
(http://www.acm.org/publications/policies/RightsResponsibilities)
• ACM's Evaluation Criteria for Editors-in-Chief
(http://www.acm.org/publications/policies/evaluation/)
Nominations should include a vita along with a brief statement of why
the nominee should be considered. Self-nominations are encouraged, and
should include a statement of the candidate's vision for the future
development of JEA. The deadline for submitting nominations is March
31, 2016, although nominations will continue to be accepted until the
position is filled.
Please send all nominations to the nominating committee chair,
Giuseppe F. Italiano (giuseppe.italiano@uniroma2.it).
The search committee members are:
• Giuseppe F. Italiano (University of Rome Tor Vergata), Chair
• Andrew Goldberg (Amazon)
• Dorothea Wagner (Karlsruhe Institute for Technology)
• Anne Condon (University of British Columbia), ACM Publications Board Liaison
[DMANET] Call for Nominations, Editor-In-Chief ACM Journal of Experimental Algorithmics
Call for Nominations
Editor-In-Chief
ACM Journal of Experimental Algorithmics
http://jea.acm.org/
Editor-In-Chief
ACM Journal of Experimental Algorithmics
http://jea.acm.org/
The term of the current Editor-in-Chief (EiC) of the ACM Journal on
Experimental Algorithmics (JEA) is coming to an end, and the ACM
Publications Board has set up a nominating committee to assist the
Board in selecting the next EiC. JEA was established in 1996 and has
been experiencing steady growth.
Nominations, including self nominations, are invited for a three-year
term as JEA EiC, beginning on May 31, 2016. The EiC appointment may be
renewed at most one time. This is an entirely voluntary position, but
ACM will provide appropriate administrative support.
Appointed by the ACM Publications Board, Editors-in-Chief (EiCs) of
ACM journals are delegated full responsibility for the editorial
management of the journal consistent with the journal's charter and
general ACM policies. The Board relies on EiCs to ensure that the
content of the journal is of high quality and that the editorial
review process is both timely and fair. He/she has final say on
acceptance of papers, size of the Editorial Board, and appointment of
Associate Editors. A complete list of responsibilities is found in the
ACM Volunteer Editors Position Descriptions
(http://www.acm.org/publications/policies/position_descriptions).
Additional information can be found in the following documents:
• Rights and Responsibilities in ACM Publishing
(http://www.acm.org/publications/policies/RightsResponsibilities)
• ACM's Evaluation Criteria for Editors-in-Chief
(http://www.acm.org/publications/policies/evaluation/)
Nominations should include a vita along with a brief statement of why
the nominee should be considered. Self-nominations are encouraged, and
should include a statement of the candidate's vision for the future
development of JEA. The deadline for submitting nominations is March
31, 2016, although nominations will continue to be accepted until the
position is filled.
Please send all nominations to the nominating committee chair,
Giuseppe F. Italiano (giuseppe.italiano@uniroma2.it).
The search committee members are:
• Giuseppe F. Italiano (University of Rome Tor Vergata), Chair
• Andrew Goldberg (Amazon)
• Dorothea Wagner (Karlsruhe Institute for Technology)
• Anne Condon (University of British Columbia), ACM Publications Board Liaison
**********************************************************
*
* Contributions to be spread via DMANET are submitted to
*
* DMANET@zpr.uni-koeln.de
*
* Replies to a message carried on DMANET should NOT be
* addressed to DMANET but to the original sender. The
* original sender, however, is invited to prepare an
* update of the replies received and to communicate it
* via DMANET.
*
* DISCRETE MATHEMATICS AND ALGORITHMS NETWORK (DMANET)
* http://www.zaik.uni-koeln.de/AFS/publications/dmanet/
*
**********************************************************
[DMANET] University of Birmingham: Lectureship or Senior Lectureship in Modern Statistics
Applications are invited for a Lectureship or Senior Lectureship position
in the School of Mathematics at the University of Birmingham, in the area
of Modern Statistics, broadly defined, including any area of statistics,
probability theory, computational data analysis, machine learning, or
related areas. (Note that a lectureship is a permanent position which is
roughly equivalent to an assistant professorship in the US system.)
in the School of Mathematics at the University of Birmingham, in the area
of Modern Statistics, broadly defined, including any area of statistics,
probability theory, computational data analysis, machine learning, or
related areas. (Note that a lectureship is a permanent position which is
roughly equivalent to an assistant professorship in the US system.)
The successful candidate will develop a vibrant research program and
teaching curriculum in modern statistics, in collaboration with the current
high-profile research groups in applied mathematics, probability,
combinatorics, statistics, and optimisation.
The successful candidate will have a PhD (or equivalent) in a branch of
Mathematics, a first-class research record and a commitment to teaching,
along with excellent communication skills.
The appointee will be expected to expand or complement present research
areas in the School, develop research collaboration inside and outside the
School and University, and assist in the design, development and delivery
of teaching in Mathematics.
To apply, please visit http://www.hr.bham.ac.uk/jobs and search reference
number 51768.
The application closing date is March 31, 2016.
Informal enquiries should be directed to Chris Good C.Good@bham.ac.uk,
Daniela Kuhn D.Kuhn@bham.ac.uk, or Will Perkins w.f.perkins@bham.ac.uk
**********************************************************
*
* Contributions to be spread via DMANET are submitted to
*
* DMANET@zpr.uni-koeln.de
*
* Replies to a message carried on DMANET should NOT be
* addressed to DMANET but to the original sender. The
* original sender, however, is invited to prepare an
* update of the replies received and to communicate it
* via DMANET.
*
* DISCRETE MATHEMATICS AND ALGORITHMS NETWORK (DMANET)
* http://www.zaik.uni-koeln.de/AFS/publications/dmanet/
*
**********************************************************
Call for Nominations for SIGACT Distinguished Service Prize: Deadline April 1, 2016
SIGACT Distinguished Service Prize
The theory community benefits in many ways from the dedicated service, above and beyond the call of duty, of many of its members. Among other contributions, the field's members underpin the operation of conferences, journals, prizes, funding agencies, and other community activities, help ensure funding for the field, and promote the recognition of the field by external communities. The SIGACT Distinguished Service Prize is intended to recognize and promote their contributions, as well as to raise awareness of the need for and importance of such service, for the health of our community.
This prize is given annually to an individual who has made substantial service contributions to the Theoretical Computer Science community. (From 2002 to 2012, the award was given biennially.) It is presented at the ACM Symposium on Theory of Computing, and comes with a $1,000 prize, a travel grant of up to $700 to attend the conference, and complimentary conference registration.
Eligibility
The prize can be awarded to an individual for a single contribution or for a series of contributions over a career. All living individuals are eligible with the exception of previous awardees, the sitting SIGACT Chair, an individual who nominated a majority of the current selection committee members, or a member of the current selection committee.
Selection Committee
The winner is selected by a three-member committee. The SIGACT chair appoints the selection committee to serve staggered terms over three award cycles. The 2016 selection committee members are Lance Fortnow, Lane A. Hemaspaandra (chair), and Avi Wigderson.
Nominations
Nominations can be made by any member of the Theory of Computing community and should contain a statement of no more than 500 words explaining why the candidate deserves the award. The nomination can also include an additional separate listing of service activities, additional support letters, and other supplemental material such as a pointer to the candidate's CV. The nomination must include the name, postal address, phone number, and e-mail address of the nominator. Nominations are to be submitted electronically in PDF format by April 1, 2016, to the chair of the selection committee, Lane A. Hemaspaandra, at lane@cs.rochester.edu. Please put "SIGACT Distinguished Service Award Nomination" in the subject line.
Past Winners
[DMANET] BCTCS 2016, March 22-24, Queen's University Belfast [FINAL CALL]
====================================================
British Colloquium for Theoretical Computer Science
Queen's University Belfast
22nd-24th March 2016
>> Final deadline for registration (at the given link) for those who wish
to give a presentation at BCTCS: Sunday, Feb 28th.
(Please also ensure you email your talk title and abstract by Feb 28th).
>> Final deadline for registration for participation (without
presentation): Saturday, March 5th.
https://sites.google.com/a/monoid.at/bctcs-2016/
The 32th British Colloquium for Theoretical Computer Science (BCTCS)
will be hosted by the Department of Computer Science, Queen's University
of Belfast, from 22nd to 24th March, 2016.
The purpose of BCTCS is to provide a forum in which researchers in
theoretical computer science can meet, present research findings, and
discuss developments in the field. It also aims to provide an
environment in which PhD students can gain experience in presenting
their work, and benefit from contact with established researchers.
The scope of the colloquium includes all aspects of theoretical computer
science, including automata theory, algorithms, complexity theory,
semantics, formal methods, concurrency, types, languages and logics.
Both computer scientists and mathematicians are welcome to attend, as
are participants from outside of the UK.
The colloquium features both invited and contributed talks. This year
the invited speakers are as follows:
- Michael J Butler, University of Southampton
- Rob Gilles, Queen's University Belfast
- Magnús Halldórsson, Reykjavik University
- Matthew Hennessy, Trinity College Dublin
- Valerie King, University of Victoria, Canada
(The LMS Keynote Speaker in Discrete Maths)
We are grateful for support from the Heilbronn Institute for
Mathematical Research which will provide bursaries for 5 students to
cover registration fees and accommodation. If you wish to apply for a
bursary, please email bctcs@qub.ac.uk as soon as possible, indicating
that you would be willing to give a contributed talk and stating the
name of your supervisor. Subsequently, a title and abstract should be
provided. The supervisor should write a letter of support to the same
email address, confirming that the student will attend BCTCS'16.
Participants wishing to give a 30 minute contributed talk on any topic
in the scope of the colloquium are invited to email a title and abstract
to bctcs@qub.ac.uk. Presentations from research students and early
career researchers are particularly encouraged. The titles and abstracts
of invited and contributed talks will appear in the Bulletin of the EATCS.
To register for the colloquium, go to the Colloquium web page at
https://sites.google.com/a/monoid.at/bctcs-2016/
The early registration deadline is 15 February 2016, before which the
fee for the colloquium is £160, which includes lunches/coffee/tea on all
days and a drinks reception and conference dinner on Wednesday 23 March.
After this date, a late registration fee will apply.
For any queries, please contact bctcs@qub.ac.uk.
**********************************************************
*
* Contributions to be spread via DMANET are submitted to
*
* DMANET@zpr.uni-koeln.de
*
* Replies to a message carried on DMANET should NOT be
* addressed to DMANET but to the original sender. The
* original sender, however, is invited to prepare an
* update of the replies received and to communicate it
* via DMANET.
*
* DISCRETE MATHEMATICS AND ALGORITHMS NETWORK (DMANET)
* http://www.zaik.uni-koeln.de/AFS/publications/dmanet/
*
**********************************************************
Postdoctoral position in Sydney, Australia
A research associate position is available at the University of New South
Wales.
You will join the UNSW Algorithms group and conduct research with Serge
Gaspers in the areas of exact algorithms, parameterized complexity,
approximation algorithms, computational social choice, and/or algorithmic
game theory. Pursuing your own research agenda and collaborating with
other local groups (such as the Data61 Algorithmic Decision Theory group
and the Sydney Algorithms and Computing Theory group at the University of
Sydney) is possible and encouraged. Travel funding for 2-3
conference/workshop/research trips is available.
Duration: 1 year; extension possible subject to available funding
Start date: 1 July 2016 (negotiable)
Salary: AUD 87,735 per year plus 9.5% superannuation (Level A, step 6)
To apply, please send an email with subject "[Postdoc application] <first
name> <last name>" to <sergeg@cse.unsw.edu.au> and attach
- a short research statement,
- a detailed curriculum vitae,
- one or two reference letters, and
- contact details of one or two additional references.
The closing date for applying is 14 March 2016.
Wales.
You will join the UNSW Algorithms group and conduct research with Serge
Gaspers in the areas of exact algorithms, parameterized complexity,
approximation algorithms, computational social choice, and/or algorithmic
game theory. Pursuing your own research agenda and collaborating with
other local groups (such as the Data61 Algorithmic Decision Theory group
and the Sydney Algorithms and Computing Theory group at the University of
Sydney) is possible and encouraged. Travel funding for 2-3
conference/workshop/research trips is available.
Duration: 1 year; extension possible subject to available funding
Start date: 1 July 2016 (negotiable)
Salary: AUD 87,735 per year plus 9.5% superannuation (Level A, step 6)
To apply, please send an email with subject "[Postdoc application] <first
name> <last name>" to <sergeg@cse.unsw.edu.au> and attach
- a short research statement,
- a detailed curriculum vitae,
- one or two reference letters, and
- contact details of one or two additional references.
The closing date for applying is 14 March 2016.
[DMANET] [Due Feb 25] Final CFP for SIAM Workshop on Network Science 2016
FINAL CALL FOR PAPERS
Fourth SIAM Workshop on Network Science: siam.org/meetings/ns16/
SUBMISSIONS DEADLINE: Friday, February 25, 2016
SUBMISSIONS: easychair.org/conferences/?conf=siamns2016
WORKSHOP DATES: July 15 - 16, 2016, Boston, Massachusetts
*new* KEYNOTE SPEAKERS:
Michelle Girvan, University of Maryland
Shang-Hua Teng, University of Southern California
SCOPE:
We invite contributions focused on all aspects of mathematical,
algorithmic, and computational techniques in network science.
Submit a 2-page abstract using the LaTeX style files provided
at siam.org/meetings/ns16/siam-wns-style.zip
Accepted abstracts will be posted online in late May 2016;
authors will be required to submit LaTeX source adhering to
the template in April 2016.
PRESENTATION FORMATS:
The workshop will feature three formats for contributed
presentations: 25-minute talks, 5-minute lightning talks in the
"Ignite" format (5 minutes, 20 slides, 15-second auto-advance),
and posters. The program committee will consider all
submissions for all three presentation formats.
The Ignite format is new for NS'16; see www.ignitetalks.io
for a description. We especially want to use this format to
highlight work by early-career researchers. If you feel your
submission is particularly appropriate for an Ignite talk,
please let us know using the checkbox on the EasyChair
submission page.
--
Blair D. Sullivan, Ph.D.
Department of Computer Science
North Carolina State University
(919) 513-0453
**********************************************************
*
* Contributions to be spread via DMANET are submitted to
*
* DMANET@zpr.uni-koeln.de
*
* Replies to a message carried on DMANET should NOT be
* addressed to DMANET but to the original sender. The
* original sender, however, is invited to prepare an
* update of the replies received and to communicate it
* via DMANET.
*
* DISCRETE MATHEMATICS AND ALGORITHMS NETWORK (DMANET)
* http://www.zaik.uni-koeln.de/AFS/publications/dmanet/
*
**********************************************************
[DMANET] PhD student position in stochastic algorithms at IDSIA (USI/SUPSI), Switzerland
Ph.D. position in stochastic algorithms
The Dalle Molle Institute for Artificial Intelligence
(University of Lugano/SUPSI) opens a full-time positions
as Ph.D. student in the area of stochastic algorithms for
combinatorial optimization problems.
Duties
- Design, analysis and implementation of algorithms and
data structures, with a special focus on sampling-based
algorithms for stochastic combinatorial optimization
problems, improving the state-of-the-art in the research
field.
- Moderate teaching duties.
Requirements
- Master Degree in Computer Science, Applied Mathematics
or related areas (obtained or close to be obtained).
- Proficiency in written and spoken English.
We offer
- Fixed-term position for 2 years, with the possibility of
an extension by 2 year.
- Attractive salary, in line with Swiss standards (roughly
50000 CHF per year, low taxes).
- International working environment.
- Travel support to participate to high quality
conferences, workshops, and schools.
More information available at
http://www.supsi.ch/home/dms/supsi/docs/supsi/offerte-lavoro/2016/20160330_DTI_bando305_en.pdf
For clarifications about the project, the position, and
how to apply, please contact
Prof Roberto Montemanni,
roberto.montemanni@supsi.ch
Deadline: 30th March 2016
**********************************************************
*
* Contributions to be spread via DMANET are submitted to
*
* DMANET@zpr.uni-koeln.de
*
* Replies to a message carried on DMANET should NOT be
* addressed to DMANET but to the original sender. The
* original sender, however, is invited to prepare an
* update of the replies received and to communicate it
* via DMANET.
*
* DISCRETE MATHEMATICS AND ALGORITHMS NETWORK (DMANET)
* http://www.zaik.uni-koeln.de/AFS/publications/dmanet/
*
**********************************************************
[DMANET] Postdoctoral position in Sydney, Australia
A research associate position is available at the University of New South
Wales.
Wales.
You will join the UNSW Algorithms group and conduct research with Serge
Gaspers in the areas of exact algorithms, parameterized complexity,
approximation algorithms, computational social choice, and/or algorithmic
game theory. Pursuing your own research agenda and collaborating with
other local groups (such as the Data61 Algorithmic Decision Theory group
and the Sydney Algorithms and Computing Theory group at the University of
Sydney) is possible and encouraged. Travel funding for 2-3
conference/workshop/research trips is available.
Duration: 1 year; extension possible subject to available funding
Start date: 1 July 2016 (negotiable)
Salary: AUD 87,735 per year plus 9.5% superannuation (Level A, step 6)
To apply, please send an email with subject "[Postdoc application] <first
name> <last name>" to <sergeg@cse.unsw.edu.au> and attach
- a short research statement,
- a detailed curriculum vitae,
- one or two reference letters, and
- contact details of one or two additional references.
The closing date for applying is 14 March 2016.
**********************************************************
*
* Contributions to be spread via DMANET are submitted to
*
* DMANET@zpr.uni-koeln.de
*
* Replies to a message carried on DMANET should NOT be
* addressed to DMANET but to the original sender. The
* original sender, however, is invited to prepare an
* update of the replies received and to communicate it
* via DMANET.
*
* DISCRETE MATHEMATICS AND ALGORITHMS NETWORK (DMANET)
* http://www.zaik.uni-koeln.de/AFS/publications/dmanet/
*
**********************************************************
TIME 2016 --- First Call for Papers
---------------------------------------------------------------------------------------------------
TIME 2016
23rd International Symposium on Temporal Representation and Reasoning
First Call for Papers
http://time2016.compute.dtu.dk
TIME 2016 takes place at the Technical University of Denmark.
---------------------------------------------------------------------------------------------------
Aim
---------------------------------
TIME 2016 aims to bring together researchers interested in reasoning about temporal aspects of information in any area of Computer Science. The symposium, currently in its 23rd edition, has a wide remit and intends to cater to both theoretical aspects and well-founded applications. One of the key aspects of the symposium is its interdisciplinarity, with attendees from distinct areas such as artificial intelligence, database management, logic and verification, and beyond. Submissions of high-quality papers describing research results are solicited. Submitted papers should contain original, previously unpublished content, should be written in English, and must not be simultaneously submitted for publication elsewhere. Submitted papers will be refereed for quality, correctness, originality, and relevance. The symposium will encompass three tracks on temporal representation and reasoning in (1) Artificial Intelligence, (2) Databases and (3) Logic and Verification.
The Artificial Intelligence track includes, but is not limited to:
- temporal aspects of agent- and policy-based systems
- spatial and temporal reasoning
- reasoning about actions and change
- planning and planning languages
- ontologies of time and space-time
- belief and uncertainty in temporal knowledge
- temporal learning and discovery
- time in problem solving (e.g. diagnosis, scheduling)
- time in human-machine interaction
- temporal information extraction
- time in natural language processing
- spatio-temporal knowledge representation systems
- spatio-temporal ontologies for the semantic web
- constraint-based temporal reasoning
- temporal preferences
The Database track includes, but is not limited to:
- temporal data models and query languages
- temporal query processing and indexing
- temporal data mining
- time series data management
- stream data management
- spatio-temporal data management, including moving objects
- data currency and expiration
- indeterminate and imprecise temporal data
- temporal constraints
- temporal aspects of business processes and ECA systems
- real-time databases
- time-dependent security policies
- privacy in temporal and spatio-temporal data
- temporal aspects of multimedia databases
- temporal aspects of e-services and web applications
- temporal aspects of distributed systems
- temporal aspects and big data
- temporal aspects in NoSQL databases
- temporal data warehouses
- temporal healthcare databases and warehouses
- time series analysis and mining
- semistructured temporal data
- novel applications of temporal database management
- novel visualizations and interfaces for temporal data
- experiences with real applications
The Logic and Verification track includes, but is not limited to:
- specification and verification of systems
- verification of web applications
- synthesis and execution
- model-checking algorithms and implementations
- verification of infinite-state systems
- reasoning about transition systems
- temporal architectures
- temporal logics for distributed systems
- temporal logics for games and open systems
- temporal logics of knowledge
- hybrid systems and real-time logics
- cyber-physical systems
- tools and practical systems
- temporal issues in security
Submission
---------------------------------
Submissions should be in PDF format (with the necessary fonts embedded). They must be formatted according to the IEEE guidelines and must not exceed 10 pages (US letter format); over-length submissions may be rejected without review.
Submissions will be handled electronically by EasyChair: https://easychair.org/conferences/?conf=time2016.
Accepted papers will be presented at the symposium and included in the proceedings, which is planned to be published by the Conference Publishing Services (CPS), as usual within the TIME series. Acceptance of a paper is contingent on one author registering for and presenting the paper at the symposium.
As in previous years, it is planned that the authors of the best papers of the conference will be invited to submit an extended version of their contribution to a special issue of a well-respected computer science journal.
Important Dates
---------------------------------
Full papers due: June 20th, 2016
Notification: July 25th, 2016
Final version due: August 10th, 2016
Symposium: October 17-19, 2016
Invited Speakers
---------------------------------
Kim Guldstrand Larsen, Aalborg University, Denmark
Angelo Montanari, University of Udine, Italy
Paolo Terenziani, University of Piemonte Orientale, Alessandria, Italy
Program Committee
---------------------------------
Alessandro Artale, Free University of Bozen-Bolzano, Italy
Sourav Bhowmick, Nanyang Technological University, Singapore
Amedeo Cesta, CNR - National Research Council of Italy
Anton Dignös, Free University of Bozen-Bolzano, Italy
Curtis Dyreson, Utah State University, Utah, USA (Chair)
Johann Eder, Alpen Adria University Klagenfurt, Austria
Martin Fränzle, Oldenburg University, Germany
Shashi Gadia, Iowa State University, USA
Rajeev Gore, The Australian National University, Australia
Fabio Grandi, University of Bologna, Italy
Michael R. Hansen, Technical Univ. of Denmark, Denmark (Chair)
Keijo Heljanko, Aalto University, Finland
Luke Hunsberger, Vassar College, New York, USA (Chair)
Felix Klaedtke, NEC Europe Ltd., Germany
Francois Laroussinie, LIAFA, Univ. Paris 7, CNRS, France
Martin Leucker, University of Lübeck, Germany
Etienne Lozes, LSV, CNRS and ENS Cachan, France
Federica Mandreoli, University of Modena and Reggio Emilia, Italy
Robert Mattmüller, University of Freiburg, Germany
Aniello Murano, Universita' di Napoli "Federico II", Italy
Angelo Oddi, ISTC-CNR, Italian National Research Council, Italy
Paritosh Pandya, Tata Institute of Fundamental Research, Mumbai, India
Dirk Pattinson, The Australian National University, Australia
R. Ramanujam, Institute of Mathematical Sciences, Chennai, India
Sven Schewe, University of Liverpool, UK
Martin Wehrle, University of Basel, Switzerland
Steering Committee
---------------------------------
Jan Chomicki, University at Buffalo, State University of New York, USA
Carlo Combi, University of Verona, Italy
Stephane Demri, CNRS and ENS Cachan, France
Clare Dixon, University of Liverpool, UK
Luke Hunsberger, Vassar College, USA
Martin Lange, University of Kassel, Germany
Angelo Montanari, University of Udine, Italy
Ben Moszkowski, University of Newcastle, UK
Mark Reynolds, The University of Western Australia, Australia
Jef Wijsen, Université de Mons, Belgium
Local organizers
---------------------------------
Michael R. Hansen and Karin Tunder. Both from DTU Compute.
Email: time2016(at)compute.dtu.dk
Venue
---------------------------------
TIME 2016 will take place at the campus of the Technical University of Denmark, hosted by DTU Compute.
Monday, February 22, 2016
[DMANET] DEBS 2016 - Deadline extension
Both abstract and paper submission deadlines are extended by one week.
New deadlines for the DEBS 2016 are:
New deadlines for the DEBS 2016 are:
Abstract submission for research and industry track: Feb 29th, 2016
Research and industry paper submission: Mar 7th, 2016
----------------------------------------------------------------------
----------------------------------------------------------------------
CALL FOR PAPERS
10th ACM International Conference on Distributed Event-Based Systems
Irvine, CA, USA,
June 20-24 2016
http://www.debs2016.org
----------------------------------------------------------------------
----------------------------------------------------------------------
OBJECTIVES:
Over the past decade, the ACM International Conference on Distributed
and Event- based Systems (DEBS) has become the premier venue for
contributions in the fields of distributed and event-based systems.
The objectives of the ACM International Conference on Distributed and
Event-Based Systems (DEBS) are to provide a forum dedicated to the
dissemination of original research, the discussion of practical
insights, and the reporting of experiences relevant to distributed
systems and event-based computing. The conference aims at providing a
forum for academia and industry to exchange ideas through industry
papers and demo papers.
SCOPE:
Starting this year DEBS is extending its scope to embrace a broader
set of topics related to distributed systems and event-based
computing. Topics of particular interest may include (but are not
limited to) models, architectures and paradigms of distributed and
event-based systems, middleware systems and frameworks, and
applications, experiences and requirements. The scope of the DEBS
conference covers all topics relevant to distributed and event-based
computing ranging from those discussed in related disciplines (e.g.,
software systems, distributed systems, distributed data processing,
data management, dependability, knowledge management, networking,
programming languages, security and software engineering), to domain-
specific topics of event-based computing (e.g., real-time analytics,
mobile computing, social networking, pervasive, green computing and
ubiquitous computing, sensors networks, user interfaces, big data
processing, spatio-temporal processing, cloud computing, the Internet
of things, peer-to-peer computing, embedded systems and stream
processing), to enterprise-related topics (e.g., complex event
detection, enterprise application integration, real-time enterprises
and web services).
In addition to these traditional topics, the scope of DEBS 2016 will
include the increasingly important area of Internet of Things. New
advances in distributed and event-based systems pose a great potential
for a major contribution in this area. For further information, please
refer to the call for contributions in the track of your choice.
TOPICS COVERED INCLUDE, BUT ARE NOT LIMITED TO:
1) Models, Architectures and Paradigms: Event-driven architectures,
event processing in big data, complex event processing, rule-based
systems, logic-based event recognition, event correlation and pattern
languages.
2) Middleware infrastructures: Distributed data processing,
distributed programming, federated event-based systems, event
dissemination on P2P systems, fault tolerance, reliability and
availability and scalability.
3) Applications, Experience and Requirements: Use cases and
applications of distributed and event-based systems in various domains
including Internet of Things, Smart Cities, Smart Grids, Finance,
Logistics.
Submission Dates:
Abstract submission for research track: Feb 29th, 2016
Research and industry paper submission: Mar 7th, 2016
Tutorial proposal submission: Mar 7th, 2016
Grand Challenge solution submission: Mar 30th, 2016
Author notification: Apr 18th, 2016
Poster, demo, doctoral
symposium submission: Apr 30th, 2016
Camera ready submission: May 6th, 2016
STRUCTURE:
DEBS 2016 will be organized along six tracks:
1. Research Track that presents original research contributions.
Submissions will be evaluated by an experienced program committee
consisting of eminent researchers from all over the world.
2. Industry and Experience Reports Track meant to report on innovative
deployments of event-based systems. Contributions will be reviewed by
researchers and industry practitioners working in event-based
computing.
3. The Tutorial Track where recognized experts in the field will
present their tutorials on relevant emerging areas of research.
4. Poster and Demo Track where authors can report on work in progress
and/or arrange to demonstrate interesting ideas and applications
pertaining to event- based systems.
5. Doctoral Symposium Track meant for doctoral candidates whose
research area overlaps with event-based systems.
6. Grand Challenge Track: Here the committee will set out a grand
challenge problem and then judge the most innovative approaches for
its solution.
PROCEEDINGS:
Accepted papers will appear in the conference proceedings, which will
be published in the ACM Digital Library. The authors of accepted
papers will be given a choice between different copyright agreements,
in accordance with the recent changes in the ACM policy. The options
will include new opportunities for open access as well as the
traditional ACM copyright agreement.
AUTHORS TAKE NOTE: A new policy by ACM will allow DEBS 2016 to make
the proceedings available ahead of the conference via the ACM Digital
Library. Thus, the official publication date is the date the
proceedings appear in the ACM Digital Library. This date may be up to
two weeks prior to the first day of the conference. The official
publication date affects the deadline for any patent filings related
to published work.
SUBMISSION INFORMATION: http://www.debs2016.org/submission-
guidelines.html
GENERAL CO-CHAIRS:
Avigdor Gal, Technion, Israel
Matthias Weidlich, Humboldt-Universitaet zu Berlin, Germany
RESEARCH TRACK CO-CHAIRS:
Vana Kalogeraki, Athens University of Economics and Business, Greece
Nalini Venkasubramanian, University of California, Irvine, USA
INDUSTRY TRACK CO-CHAIRS:
Malu Castellanos, HP, USA
Alejandro Buchmann, Technische Universitaet Darmstadt, Germany
DOCTORAL SYMPOSIUM CO-CHAIRS:
David Eyers, University of Otago, New Zeland
Leonardo Querzoni, Sapienza University, Italy
TUTORIALS CO-CHAIRS:
Gianpaolo Cugola, Politecnico di Milano, Italy
Bugra Gedik, Bilkent University, Germany
GRAND CHALLENGE CO-CHAIRS:
Vincenzo Gulisano, Chalmers University of Technology, Sweden
Zbigniew Jerzak, SAP AG, Germany
Holger Ziekow, Furtwangen University, Furtwangen, Germany
DEMO AND POSTERS CO-CHAIRS:
Nesime Tatbul, Intel Labs/MIT, USA
Ioannis Katakis, University of Athens, Greece
SPONSORSHIP CO-CHAIRS:
Opher Etzion, Yezreel Valley College, Israel
Christoph Emmersberger, University of Regensburg, Germany
PROCEEDINGS CHAIR:
Thomas Heinze, SAP, USA
PUBLICITY CO-CHAIRS:
Mohammad Sadoghi, IBM T.J. Watson Research Center, USA
Izchak Tzachi Sharfman, Technion, Israel
Vinay Setty, MPI, Germany
WEB CO-CHAIRS:
Matthew Forshaw, Newcastle University, UK
Ye Zhao, Google Inc., USA
**********************************************************
*
* Contributions to be spread via DMANET are submitted to
*
* DMANET@zpr.uni-koeln.de
*
* Replies to a message carried on DMANET should NOT be
* addressed to DMANET but to the original sender. The
* original sender, however, is invited to prepare an
* update of the replies received and to communicate it
* via DMANET.
*
* DISCRETE MATHEMATICS AND ALGORITHMS NETWORK (DMANET)
* http://www.zaik.uni-koeln.de/AFS/publications/dmanet/
*
**********************************************************
[DMANET] COCOON 2016 -- Deadline extended to March 03
COCOON'16: The 22nd International Computing and Combinatorics Conference
August 2-4th, 2016, Ho Chi Minh city, Vietnam.
Submission deadline: Mar. 03, 2016
Web: http://optnetsci.cise.ufl.edu/cocoon16/index.html
=========================================
The 22nd International Computing and Combinatorics Conference (COCOON'16) will be held in Ho Chi Minh city, Vietnam during Aug. 2-4, 2016. Original research papers in the areas of algorithms, theory of computation, computational complexity, and combinatorics related to computing are solicited. In addition to theoretical results, we are particularly interested in submissions that report on experimental and applied research of general algorithmic interest. Special consideration will be given to research that is motivated by real-world problems. Experimental and applied papers are expected to show convincingly the usefulness and efficiency of the algorithms discussed in a practical setting.
All the papers will be published to the symposium in Springer-Verlag's Lecture Notes.
Papers of high quality will be invited to special issues of Theoretical Computer Science (TCS), and Journal of Combinatorial Optimization (JOCO), respectively.
THE TOPICS Of INTEREST (include but are not limited to):
Algorithms and Data Structures
Algorithmic Game Theory
Approximation Algorithms and Online Algorithms
Automata, Languages, Logic, and Computability
Complexity Theory
Computational Learning Theory and Knowledge Discovery
Cryptography, Reliability and Security, and Database Theory
Computational Biology and Bioinformatics
Computational Algebra, Geometry, and Number Theory
Graph Drawing and Information Visualization
Graph Theory, Communication Networks, and Optimization
Parallel and Distributed Computing
IMPORTANT DATES:
Paper submission due: Mar. 03, 2016 (Anywhere on Earth)
Notification of Acceptance: Apr. 18, 2015
Camera-ready and Registration: May 01, 2016
Conference Dates: Aug. 2-4, 2016
PC Co-Chairs
My T. Thai, University of Florida
Thang N. Dinh, Virginia Commonwealth University
**********************************************************
*
* Contributions to be spread via DMANET are submitted to
*
* DMANET@zpr.uni-koeln.de
*
* Replies to a message carried on DMANET should NOT be
* addressed to DMANET but to the original sender. The
* original sender, however, is invited to prepare an
* update of the replies received and to communicate it
* via DMANET.
*
* DISCRETE MATHEMATICS AND ALGORITHMS NETWORK (DMANET)
* http://www.zaik.uni-koeln.de/AFS/publications/dmanet/
*
**********************************************************
[DMANET] PhD position in Networks: optimization and game theory
Applications are invited for a PhD position (four years) on the topic of
Networks: optimization and game theory
The opening is within the Department of Econometrics & Operations Research of the Vrije Universiteit Amsterdam. Our group consists of a number of researchers working on theoretical problems in combinatorial optimization and algorithms, motivated by real-world applications (http://www.feweb.vu.nl/en/research/research-programmes/07-or-and-it/index.aspx). The successful applicant will also have the opportunity to spend time at CWI and to participate in the activities of the Networks & Optimization group, with which we have strong ties. CWI is the national research institute for mathematics and computer science in the Netherlands; see http://www.cwi.nl/research-groups/Networks-and-Optimization.
The research will be pursued under the supervision of Dr. Neil Olver, and will be in the area of combinatorial optimization and algorithmic game theory. Possible topics include:
- Understanding the effects of strategic user behaviour in dynamic (time-varying) models of traffic networks. There are very large gaps in our theoretical understanding of these models.
- Algorithms for network design problems, motivated by issues in communication and transportation networks. This is a rich area both in terms of theory and applications.
More information can be found at: http://nolver.net/home. Further questions can be addressed to Dr. Neil Olver at n.olver@vu.nl.
The position is funded by a TOP grant of the NWO (the Dutch Organization for Scientific Research). It includes substantial travel funding, and the applicant will be encouraged to attend conferences and to collaborate internationally. Amsterdam is a beautiful, lively, and exceptionally liveable city. The gross monthly salary, for an employee on a full time basis, is 2146 Euro during the first year and increases to 2744 Euro over the four year period. In addition to this, there is a holiday allowance of 8% of the gross annual salary and a year-end bonus of 8.33%. Expats are typically eligible for a substantial tax benefit (the "30% ruling").
Requirements and application:
Applicants should have (or expect to soon have) a masters degree in mathematics, operations research, or computer science, on a topic related to algorithms, optimization or game theory. Proficiency in English is a requirement; Dutch language skills are not needed.
Please send your application before March 24, 2016 to: n.olver@vu.nl. Please indicate "PhD application" in the subject line.
Applications received after this date will still receive full consideration if the position is not yet filled.
Applications should include
- a detailed CV,
- a motivation letter,
- a list of your M.SC. courses and grades,
- a copy of your master thesis (if available),
- a list of publications (if applicable), and
- contact details of at least two references.
**********************************************************
*
* Contributions to be spread via DMANET are submitted to
*
* DMANET@zpr.uni-koeln.de
*
* Replies to a message carried on DMANET should NOT be
* addressed to DMANET but to the original sender. The
* original sender, however, is invited to prepare an
* update of the replies received and to communicate it
* via DMANET.
*
* DISCRETE MATHEMATICS AND ALGORITHMS NETWORK (DMANET)
* http://www.zaik.uni-koeln.de/AFS/publications/dmanet/
*
**********************************************************
Subscribe to:
Comments (Atom)
Posts
