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. PhD position in swarm robotics available at UTC (Compiegne -
France) (Eliseo Ferrante)
2. 2nd CfP: REACHABILITY PROBLEMS, RP 2016 (Potapov, Igor)
3. new deadline computational optimization (Stefka Fidanova)
4. WG 2016 - Call for participation (Pinar Heggernes)
5. 2-year PostDoc or 3-year PhD position at the University of
Innsbruck (Georg Moser)
6. CFP Workshop PADABS 2016 - EuroPar'16 - Final Remainder
(Gennaro Cordasco)
----------------------------------------------------------------------
Message: 1
Date: Tue, 26 Apr 2016 19:41:05 +0200
From: Eliseo Ferrante <elferran@utc.fr>
To: dmanet@zpr.uni-koeln.de
Subject: [DMANET] PhD position in swarm robotics available at UTC
(Compiegne - France)
Message-ID:
<CAFzrH+A9sYUeJaMRLOP6oTFDz+tohE28MaUgPY8jDR7oj6y6OA@mail.gmail.com>
Content-Type: text/plain; charset=UTF-8
A fully-funded three years PhD position in swarm robotics is available at
the Laboratory of Excellence (LABEX) at the Université de Technologie de
Compiègne (UTC) in France (www.utc.fr/labexms2t).
The successful candidate will work with Dr. Eliseo Ferrante on exciting
topics at the interface between swarm robotics, evolutionary biology, and
statistical physics. The research direction will be managed by Dr. Ferrante
in collaboration with the DIVINA project (
https://www.hds.utc.fr/labex-ms2t-484/news-rubrique/events/DIVINA/?lang=en)
team led by Prof. Vincent Frémont. The PhD is expected to start in Fall
2016.
The accepted candidate will work on a project focusing on the design of
self-organized collective behaviors for performing collective exploration
of a an unknown environment using a swarm of robots and principles of
self-organization. The methods will be based on biological models of
information retrieval and integration, such as distributed decision-making
and collective categorization, which in turns recalls the cognitive mapping
processes in the human brain.
For a description of the research interests of Dr. Ferrante, please visit
his website (https://bio.kuleuven.be/ento/ferrante/).
Graduate students with background in computer science, physics, or biology
and with specialization in artificial intelligence, statistical physics,
computational modeling in biology, or robotics are encouraged to apply.
The candidate is expected to be proficient in programming in languages such
as C++ and Java, and to have solid knowledge of scientific software
packages such as Matlab, R, and/or equivalent. Candidates with experience
with multi-agent simulations will be highly preferred. Fluent English
(written and spoken) is required, and only applications in English will be
accepted. Above all, the applicants must be motivated, autonomous, and able
to learn quickly and work effectively on challenging research problems.
We will begin reviewing candidate's applications starting from June 2016.
To apply, you can send the following documents to Eliseo.Ferrante@hds.utc.fr
and Vincent.Fremont@hds.utc.fr:
- Curriculum vitae
- Motivation letter
- At least two references and/or recommendation letters
- A statement of research experience and interests
- Any research articles authored by the applicant
For any informal enquiry about the eligibility conditions, as well as for
more details about the position, please contact Eliseo Ferrante <
eliseo.ferrante@hds.utc.fr>.
------------------------------
Message: 2
Date: Tue, 26 Apr 2016 20:21:29 +0000
From: "Potapov, Igor" <potapov@liverpool.ac.uk>
To: "dmanet@zpr.uni-koeln.de" <dmanet@zpr.uni-koeln.de>
Subject: [DMANET] 2nd CfP: REACHABILITY PROBLEMS, RP 2016
Message-ID:
<7ECE8E01AEB79A459E3F30C54E56CF7CDDA590FD@CHEXMBX1.livad.liv.ac.uk>
Content-Type: text/plain; charset="windows-1250"
REACHABILITY PROBLEMS 2016
----------------------------------------------------------------
The 10th International Workshop on Reachability Problems (RP'16)
19 - 21 September 2016, Aalborg, Denmark
Deadline for submissions: 13 May, 2016
http://rp16.cs.aau.dk/
----------------------------------------------------------------
The 10th Workshop on Reachability Problems will be hosted by
Aalborg University, Denmark. This event will take place in Nordkraft,
a recently reconstructed coal power station located at the harbour
front of Aalborg city centre that serves these days as a cultural
and sport centre of Aalborg.
The Reachability Workshop is specifically aimed at gathering
together scholars from diverse disciplines interested in reachability
problems that appear in algebraic structures, computational models,
hybrid systems, logic and verification.
Invited Speakers:
- Alain Finkel, ENS de Cachan, France
- Axel Legay, INRIA, Rennes Cedex, France
- Jaco van de Pol, University of Twente, Netherlands
Submissions:
Authors are invited to submit a draft of a full paper with at most 12 pages
(in LaTeX, formatted according to LNCS guidelines) via the conference web page.
Proofs omitted due to space constraints must be put into an appendix to be read
by the program committee members at their discretion. Submissions deviating
from these guidelines risk rejection. Electronic submissions should be
formatted in pdf. Simultaneous submission to other conferences or workshops
with published proceedings is not allowed.
Submission link: https://easychair.org/conferences/?conf=rp2016
Topics of interest include (but are not limited to): reachability problems
in infinite state systems, rewriting systems, dynamical and hybrid systems;
reachability problems in logic and verification; reachability analysis in
different computational models, counter timed/cellular/communicating
automata; Petri nets; computational aspects of algebraic structures
(semigroups, groups and rings); frontiers between decidable and undecidable
reachability problems; predictability in iterative maps and new computational
paradigms.
Important Dates
- Submission deadline: 13 May 2016
- Notification to authors: 30 June 2016
- Final version: 11 July 2016
- Workshop: 19 - 21 September 2016
Presentation-Only Track
In addition to regular papers that will appear in our LNCS proceedings, we
invite researchers to apply to give a presentation at RP'16 without an
accompanying paper. Such presentations can be based on work that has appeared
(or which is going to appear) in the proceedings of another conference, or
which has not yet been submitted. These contributions will be judged solely on
the basis of their attractiveness to the workshop.
To apply to give such a presentation please submit a PDF file containing a
short abstract (up to two pages) by e-mail [ rp2016@easychair.org ] by
August 1st 2016, with subject "RP2016 Informal Presentations". This abstract
will not be published in the conference proceedings.
Notification for the presentation-only track will be August 8th 2016.
Proceedings
The Conference Proceedings will be published as the volume of the Springer
Verlag LNCS (Lecture Notes in Computer Science) series and distributed at the
Conference. We plan also to publish selected papers in a special issue of a
high quality journal following the regular referee procedure.
RP'16 Program Committee:
Filippo Bonchi, ENS de Lyon
Tomas Brazdil, Masaryk University Brno
Thomas Brihaye, Université de Mons
Gilles Geeraerts, Université Libre de Bruxelles
Krishnendu Chatterjee, IST Austria
Javier Esparza, Technische Universität München
Kousha Etessami, University of Edinburgh
Stefan Göller, ENS Cachan
Tero Harju, University of Turku
Petr Jancar, Technical University of Ostrava
Sławomir Lasota, University of Warsaw
Kim G. Larsen (co-chair), Aalborg University
Oded Maler, CNRS-VERIMAG
Richard Mayr, University of Edinburgh
Nicolas Markey, ENS Cachan
Pierre McKenzie, Université de Montréal
Igor Potapov (proceedings chair), University of Liverpool
Alexander Rabinovich, Tel Aviv University
Jiri Srba (co-chair), Aalborg University
Igor Walukiewicz, LaBRI Bordeaux
James Worrell, University of Oxford
Lijun Zhang, Chinese Academy of Science
Previous Workshops:
2015: RP'15 in Warsaw, Poland
LNCS proceedings, Volume 9328/2015, Springer Verlag
2014: RP'14 in Oxford, UK
LNCS proceedings, Volume 8762/2014, Springer Verlag
2013: RP'13 in Uppsala, Sweden
LNCS proceedings, Volume 8169/2013, Springer Verlag
2012: RP'12 in Bordeaux, France
LNCS proceedings, Volume 7550/2012, Springer Verlag
2011: RP'11 in Genova, Italy
LNCS proceedings, Volume 6945/2011, Springer Verlag
2010: RP'10 in Brno, Czech Republic
LNCS proceedings, Volume 6227/2010, Springer Verlag
2009: RP'09 in Palaiseau, France
LNCS proceedings, Volume 5797/2009, Springer Verlag
2008: RP'08 in Liverpool, UK
ENTCS proceedings, Volume 223, Elsevier
2007: RP'07 in Turku, Finland
TUCS General Publication Series, Volume 45,
Turku Centre for Computer Science
------------------------------
Message: 3
Date: Wed, 27 Apr 2016 08:37:37 +0300
From: Stefka Fidanova <stefka.fidanova@gmail.com>
To: dmanet@zpr.uni-koeln.de
Subject: [DMANET] new deadline computational optimization
Message-ID:
<CAAL360v61uFCuVT3Q_NWMFYdhMG3LGY5cEMFHH1aAJf3=PPSHA@mail.gmail.com>
Content-Type: text/plain; charset=UTF-8
------------
Call for Papers
9th International Workshop on Computational Optimization (WCO 2016)
Gdansk, Poland, September 11 - 14, 2016)
organized in the framework of FEDERATED CONFERENCE ON COMPUTER SCIENCE
AND INFORMATION SYSTEMS
FedCSIS - 2016
====================
We invite original contributions related with both theoretical and
practical aspects of optimization methods.
The list of topics includes, but is not limited to:
* unconstrained and constrained optimization
* combinatorial optimization
* continues optimization
* global optimization
* multiobjective optimization
* optimization in dynamic and/or noisy environments
* large scale optimization
* parallel and distributed approaches in optimization
* random search algorithms, simulated annealing, tabu search and other
derivative free optimization methods
* nature inspired optimization methods (evolutionary algorithms, ant
colony optimization, particle swarm optimization, immune artificial
systems etc)
* hybrid optimization algorithms involving natural computing
techniques and other global and local optimization methods
*computational biology and optimization
* distance geometry and applications
* optimization methods for learning processes and data mining
* application of optimization methods on real life and industrial problems
* computational optimization methods in statistics, econometrics,
finance, physics, chemistry, biology, medicine, engineering etc.
====================
Important dates:
09.05.2016 (May 09, 2016) – Full paper submission
30.05.2016 (May 30, 2016) - Position paper submission
13.06.2016 (June 13, 2016) – Notification of acceptance
04.07.2016 (July 04, 2016) – Camera-ready version of the accepted paper
====================
Submission and Publication
* Authors should submit draft papers as PDF.
* The total length of a paper should not exceed 10 pages for full
paper and 4 pages for short papers (IEEE style). IEEE style templates
are available at http://www.fedcsis.org/.
* Papers will be refereed and accepted on the basis of their
scientific merit and relevance to the workshop.
* Accepted and Presented paper will be published in the Conference
Proceedings and included in the IEEE Xplore database (pending) and
indexed in the DBLP.
* Extended versions of selected papers presented during the conference
will be published as Special Issue(s) of Springer Studies of
Computational Intelligence.
====================
If you have any question do not hesitate to send a mail to wco2016@fedcsis.org .
Organizing Committee
Stefka Fidanova, Bulgarian Academy of Science, Bulgaria
Daniela Zaharie, West University of Timisoara, Romania
Antonio Mucherino, IRISA, France
--
Assoc. Prof. Stefka Fidanova
IICT-BAS
Acad. G. Bonchev str. bl.25A
1113 Sofia Bulgaria
Ph. +359-2-9796642
------------------------------
Message: 4
Date: Wed, 27 Apr 2016 11:23:18 +0200
From: Pinar Heggernes <Pinar.Heggernes@uib.no>
To: DMANET@zpr.uni-koeln.de
Subject: [DMANET] WG 2016 - Call for participation
Message-ID: <57208506.1060903@uib.no>
Content-Type: text/plain; charset=utf-8; format=flowed
WG 2016: CALL FOR PARTICIPATION
42nd International Workshop on Graph-Theoretic Concepts in Computer Science
June 22-24, Istanbul, Turkey
http://www.ie.boun.edu.tr/~wg2016/
*Early Registration Deadline: May 24, 2016*
The WG 2016 conference is the 42nd edition of the WG series. It will
take place on the campus of Bogazici University in Istanbul, Turkey. The
conference will be from Wednesday June 22 to Friday June 24, 2016.
Participants expected to arrive in Istanbul by Tuesday June 21, where we
will have a welcome reception in the evening.
Registration is now open, and accommodation information is available on
the web page of the conference. A list of accepted papers also appears
on the web page.
Hope to see many of you in Istanbul,
Pinar Heggernes
------------------------------
Message: 5
Date: Wed, 27 Apr 2016 16:58:21 +0200
From: Georg Moser <georg.moser@uibk.ac.at>
To: dmanet@zpr.uni-koeln.de
Subject: [DMANET] 2-year PostDoc or 3-year PhD position at the
University of Innsbruck
Message-ID: <5720D38D.8040907@uibk.ac.at>
Content-Type: text/plain; charset=utf-8; format=flowed
2-year PostDoc or 3-year PhD position at the University of Innsbruck
======================================================================
Within the research unit Computation with Bounded Resources at the
University of Innsbruck, Austria there is an opening for a 2 year
position as postdoctoral researcher or a 3 year position as PhD
student. The position is funded by the ANR-FWF project "The fine
structure of proof systems and their computational interpretations"
(FISP for short). The research unit is part of the Computational
Logic Group of the Department of Computer Science.
The objective of FISP is to apply the powerful and promising
techniques from structural proof theory to central problems in
computer science for which they have not been used before, especially
the understanding of the computational content of proofs, the
extraction of programs from proofs and the logical control of refined
computational operations. Its primary objective is to build new
concrete computational interpretations of proof systems based on the
techniques developed in the STRUCTURAL project (2011-2013).
A strong background in the themes of the FISP project is an asset.
Candidates with a strong theoretical background in related areas are
also encouraged to apply. Candidates for the postdoc position are
required to hold a PhD degree; candidates for the PhD position must
have a Master's or equivalent degree.
Candidates are expected to contribute to research within the project.
Knowledge of German is not required. The annual gross salary is
approximately EUR 50.200 for the postdoc position and EUR 28.600 for
the PhD position.
Applications (including CV, publication list, and two references) may
be sent by email, to the research unit leader Georg Moser at
no later than May 31, 2016. Informal inquiries are also welcome at the
same email address.
The city of Innsbruck is superbly located in the beautiful
surroundings of the Tyrolean Alps. The combination of the Alpine
environment and urban life in this historic town provides a high
quality of living.
Further information is available from the following links:
*) Project FISP:
http://cl-informatik.uibk.ac.at/research/projects/the-fine-structure-of-formal-proof-systems-and-the/
*) Computation with Bounded Resources Research Unit
http://cbr.uibk.ac.at/
*) Computational Logic Group
http://cl-informatik.uibk.ac.at/
------------------------------
Message: 6
Date: Wed, 27 Apr 2016 17:22:15 +0200
From: Gennaro Cordasco <cordasco@dia.unisa.it>
To: DMANET@zpr.uni-koeln.de
Subject: [DMANET] CFP Workshop PADABS 2016 - EuroPar'16 - Final
Remainder
Message-ID:
<CAK28TUxXU21jyzJ6U8h+ba3HekD0PstSKxyeuJRNswd3KR+uWg@mail.gmail.com>
Content-Type: text/plain; charset=UTF-8
Call for Papers: PADAB 2016
4th Workshop on Parallel and Distributed Agent-Based Simulations
http://www.padabs.org <http://www.padabs.org./>
August 22nd or 23th, 2016, Grenoble (France), jointly with Euro-Par
2016, August
22-26th,
https://europar2016.inria.fr
Important Dates
============
- Workshop papers due: May 6, 2016
- Workshop author notification: June 17, 2016
- Workshop: August 22/23, 2016
- Workshop camera-ready papers due: October 3, 2016
Organizers
=========
- Vittorio Scarano (Universita' degli Studi di Salerno, Italy), chair
- Gennaro Cordasco (Seconda Universita' di Napoli, Italy)
- Paul Richmond (University of Sheffield, UK)
- Carmine Spagnuolo (Universita' degli Studi di Salerno, Italy)
Program Committee (tentative)
========================
- Maria Chli (Aston University, United Kingdom)
- Claudio Cioffi-Revilla (George Mason University, USA)
- Biagio Cosenza (TU Berlin, Germany)
- Nick Collier (Argonne National Laboratory, USA)
- Rosaria Conte (CNR, Italy)
- Andrew Evans, (University of Leeds, United Kingdom)
- Bernardino Frola (The MathWorks, Cambridge, UK)
- Joanna Kolodziej (Cracow University of Technology and AGH University of
Science and Technology, Cracow, Poland)
- Nicola Lettieri (Universita' del Sannio e ISFOL, Italy)
- Sean Luke (George Mason University, USA)
- Michael North (Argonne National Laboratory, USA)
- Mario Paolucci (CNR, Italy)
- Paul Richmond (The University of Sheffield, United Kingdom)
- Arnold Rosenberg (Northeastern University, USA)
- Flaminio Squazzoni (University of Brescia, Italy)
- Michela Taufer (University of Delaware, USA)
Objectives of the Workshop
=====================
Agent-Based Simulation Models are an increasingly popular tool for research
and
management in many fields such as ecology, economics, sociology, etc..
In some fields, such as social sciences, these models are seen as a
key instrument to the generative approach, essential for understanding
complex social
phenomena.
But also in policy-making, biology, military simulations, control of
mobile robots and economics, the relevance and effectiveness of Agent-Based
Simulation Models is recently recognized.
Computer science community has responded to the need for platforms
that can help the development and testing of new models in each specific
field by
providing tools, libraries and frameworks that speed up and make massive
simulations possible.The key objective of this Third Workshop on
Parallel and Distributed
Agent-Based Simulations is to bring together the researchers that are
interested
in getting more performances from their simulations, by using synchronized,
many-core
simulations (e.g., GPUs), strongly coupled, parallel simulations (e.g. MPI)
and
loosely coupled, distributed simulations (distributed heterogeneous
setting).
Several frameworks have been recently developed and are active in this
field.
They range from the GPU-Manycore approach, to Parallel, to Distributed
simulation environments. In the first category, you can find FLAME GPU, that
allows also non GPU specialists to harness the GPUs performance for real
time simulation and visualization. For tightly-coupled, large computing
clusters and supercomputers
a very popular framework is Repast for High Performance Computing
(REPAST-HPC),
a C++ based modeling system. On the distributed side, recent work on
Distributed Mason, allows non specialists to use heterogeneous hardware and
software in local area networks for enlarging the size and speeding up the
simulation of complex Agent-Based models.
Topics of interest
=============
- Frameworks for parallel/distributed ABSs.
- Case studies of ABSs in parallel/distributed settings, with an emphasis
on the technical implementation, architectural choices and their impact on
performances.
- Benchmark parallel/distributed ABSs.
- Open benchmark models contributing towards OpenAB initiative (
www.openab.org).
- Debugging parallel/distributed ABSs.
- Formal methods and algorithms for ABSs in parallel/distributed models.
- Load Balancing algorithms, techniques and frameworks.
- Management and deployment of parallel/distributed ABSs.
- Visualization of parallel/distributed ABSs.
Paper submission
==============
The papers will be presented in the regular format (10 pages LNCS format)
and will be reviewed, anonymously by at least 3 reviewers of the Program
Committee.
Acceptance will depend upon scientific value, originality and relevance to
the Workshop theme. Euro-Par Workshops Proceedings will be published by
Springer in the Lecture
Notes for Computer Science series after the Workshops. Submissions and
reviewing will be through EasyChair via https://europar2016.inria.fr.
Workshop Co-Chairs
===============
- Vittorio Scarano: vitsca@dia.unisa.it
- Gennaro Cordasco: gennaro.cordasco@unina2.it
- Paul Richmond: p.richmond@sheffield.ac.uk
- Carmine Spagnuolo: cspagnuolo@unisa.it
------------------------------
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 98, Issue 28
**************************************
No comments:
Post a Comment