Send dmanet mailing list submissions to
dmanet@zpr.uni-koeln.de
To subscribe or unsubscribe via the World Wide Web, visit
http://www.zaik.uni-koeln.de/mailman/listinfo/dmanet
or, via email, send a message with subject or body 'help' to
dmanet-request@zpr.uni-koeln.de
You can reach the person managing the list at
dmanet-owner@zpr.uni-koeln.de
When replying, please edit your Subject line so it is more specific
than "Re: Contents of dmanet digest..."
Today's Topics:
1. Assistant Professorship in Optimization, Charles University
in Prague (Pavel Valtr)
2. Opt4SmartCities workshop at CPAIOR: the program is available
(Michele Lombardi)
3. [PADABS'15 - DEADLINE REMAINDER- May 22nd] - CFP 3rd Workshop
on Parallel and Distributed Agent-Based Simulations (Gennaro Cordasco)
4. Postdoctoral Position - Decision Diagrams for Optimization
(Andre Augusto Cire)
5. PhD positions at Middlesex University London (Panos Giannopoulos)
6. WALCOM2016 (Rossella Petreschi)
----------------------------------------------------------------------
Message: 1
Date: Wed, 13 May 2015 16:47:33 +0200 (CEST)
From: Pavel Valtr <valtr@kam.mff.cuni.cz>
To: dmanet@zpr.uni-koeln.de
Subject: [DMANET] Assistant Professorship in Optimization, Charles
University in Prague
Message-ID:
<alpine.DEB.2.02.1505131645320.86599@nikam.kam.mff.cuni.cz>
Content-Type: TEXT/PLAIN; charset=US-ASCII; format=flowed
The Department of Applied Mathematics (KAM) at Charles University in Prague,
Czech Republic, invites applications for a faculty position at the rank of an
assistant professor in the area of optimization. The expected starting date is
between October 1, 2015, and January 1, 2016, and is negotiable.
We are looking for candidates that would strengthen the research in our group
in the area of optimization. For information about our research groups, see the
home page of KAM and of the closely related Computer Science Institute,
http://kam.mff.cuni.cz/ and http://iuuk.mff.cuni.cz/.
A successful candidate is expected to pursue an active research program, teach
introductory and advanced classes in Czech and/or English and possibly
supervise undergraduate and graduate students.
Candidates are expected to have a proven international research record and
postdoctoral experience. A PhD in computer science or a closely related field
is required.
The contract duration is three years. Potentially, the position is renewable;
also a habilitation (associate professor promotion) and a permanent position is
a possibility (subject to a separate review process).
Instructions on how to apply can be found in the official announcement,
http://www.mff.cuni.cz/to.en/fakulta/prace/20150415-prac.htm . Informal
inquiries may be sent to Pavel Valtr (Head of Department),
http://kam.mff.cuni.cz/~valtr/ .
The application deadline is May 20, 2015.
We expect to invite the best candidates for an interview at the end of May or
in the first two weeks of June.
------------------------------
Message: 2
Date: Wed, 13 May 2015 17:17:12 +0200
From: Michele Lombardi <michele.lombardi2@unibo.it>
To: <dmanet@zpr.uni-koeln.de>
Subject: [DMANET] Opt4SmartCities workshop at CPAIOR: the program is
available
Message-ID: <etPan.55536af8.5b529cdc.28ab@dida112.deis.unibo.it>
Content-Type: text/plain; charset="utf-8"
Dear all,
I am writing to let you know that the detailed program of the Opt4SmartCities 2015 workshop is available.
The workshop will be held on May 18 (next week) within the CPAIOR conference, in Barcelona.
Since the date is so close, this email is mainly directed to people who will be present at CPAIOR (or simply in the general area of Barcelona) on the workshop day.
The detailed schedule follows:
* Session 1: from 13:40 to 15:20
? ? - Pascal Van Hentenryck, "Large-Scale Controlled Evacuations of Cities"
? ? - Josep De La Puente, "Short-Term Real Earthquake Simulations: An HPC Resilience Approach"
? ? - Negar Zakerinejad, Daniel Riera and Daniel Guimarans, "Ant Colony Optimization and Contraint Programming Working Together for Routing in Smart Cities"
* Coffee break: from 15:20 to 15:40
* Session 2: from 15:40 to 17:10
? ? - Cristina Mir? Llinares, "BCN Smart City"
? ? - Penelope Aguiar Melgarejo, Philippe Laborie and Christine Solnon, "A Constraint Programming Approach for the Time-Dependent Traveling Salesman Problem with Time-Windows"
? ? - Alessandra Laghi, Daniele Vigo and Matteo Pozzi, "Optimisation tools for smart cities - Case studies in district heating&cooling, waste logistics and e-car sharing"
The Opt4SmartCities workshop has the purpose of bringing together scholars and practitioners that work on the solution of problems related to the improvement of the quality of life and the use of resources in cities, to make cities smarter.
More details can be found:
- on the workshop web site: http://ai.unibo.it/Opt4SmartCities2015
- on the CPAIOR web site: http://cpaior2015.uconn.edu
Best regards,
Michele Lombardi
Michela Milano
------------------------------
Message: 3
Date: Wed, 13 May 2015 18:08:45 +0200
From: Gennaro Cordasco <cordasco@dia.unisa.it>
To: DMANET@zpr.uni-koeln.de
Subject: [DMANET] [PADABS'15 - DEADLINE REMAINDER- May 22nd] - CFP 3rd
Workshop on Parallel and Distributed Agent-Based Simulations
Message-ID:
<CAK28TUxkyLkz4DjrJeaFRMeYdpGp-2Pkfydd=YsDpxPYisJRhA@mail.gmail.com>
Content-Type: text/plain; charset=UTF-8
Call for Papers -- PADABS'15
3rd Workshop on Parallel and Distributed Agent-Based Simulations. 2015.
August 24-25th, 2015, Vienna (Austria), jointly with Euro-Par 2015 (
http://www.padabs.org)
Deadlines
- Workshop papers due: May 22, 2015
- Workshop author notification: June 19, 2015
- Workshop: August 24-25, 2015
- Workshop camera-ready papers due: October 2, 2015
Organizers
- Vittorio Scarano (Universita' di Salerno, Italy), chair
- Gennaro Cordasco (Seconda Universita' di Napoli, Italy)
- Ugo Erra (Universita' della Basilicata, Italy)
Program Committee (tentative)
- Maria Chli (Aston University, United Kingdom)
- Claudio Cioffi-Revilla (George Mason University, USA)
- Biagio Cosenza (University of Innsbruck, Austria)
- 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.
- 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 (at most 12 pages LNCS
format)
and will be reviewed, anonymously by at least 3 reviewers of the Program
Committee.
Acceptance as regular/short papers 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 (Euro-Par 2015 WS) via http://www.europar2015.org.
Contact information
- Vittorio Scarano: vitsca@dia.unisa.it
- Ugo Erra: ugo.erra@unibas.it
- Gennaro Cordasco: gennaro.cordasco@unina2.it
------------------------------
Message: 4
Date: Wed, 13 May 2015 13:26:37 -0400
From: Andre Augusto Cire <acire@utsc.utoronto.ca>
To: dmanet@zpr.uni-koeln.de
Subject: [DMANET] Postdoctoral Position - Decision Diagrams for
Optimization
Message-ID:
<CAO4nHptEriMDXY7r+HNFdJou_OmqukqkG0OQHSPYs6u6jhGKrw@mail.gmail.com>
Content-Type: text/plain; charset=UTF-8
*******************************************************************************
Joint-University Postdoctoral Position in Optimization at the
University of Toronto and the University of Connecticut
*******************************************************************************
********** Project **********
The project will be on investigating computational techniques for solving
challenging discrete optimization problems using decision diagrams. This
topic fits into an increasing body of work on decision diagrams and
combines concepts from multiple optimization technologies, including
mathematical programming and constraint programming. The candidate is
expected to derive new theoretical insights and will be involved in the
design, analysis, and implementation of algorithms.
********** Qualifications **********
An excellent candidate will possesses the following skills, but
applications are broadly welcomed:
- Ph.D. in Optimization, Operations Research, Industrial Engineering,
Management Science, or a closely-related discipline
- Experience with implementing optimization algorithms in C++
- Experience with mathematical programming software (eg., CPLEX, Gurobi,
etc.)
- Experience with constraint programming software (eg., CP Optimizer,
Gecode, etc.)
- Background in interdisciplinary research
- Excellent written and communication skills
********** Application **********
Interested individuals should submit (1) a one-page cover letter describing
interest in the position and background in the areas listed above (2) an
up-to-date CV (3) contact information for 2-3 professional references to
Andre Cire (andre.cire@utsc.utoronto.edu) and David Bergman (
david.bergman@business.uconn.edu). Review of applications will begin
immediately and continue until a successful candidate is found, with an
anticipated start date of September 7, 2015.
Note: If you would like to meet with us regarding this position at CP-AI-OR
2015, MIP 2015, or CORS/INFORMS 2015 please be sure to submit your
application package before the start of the conference and indicate to us
that you will be attending the event.
********** Specifics **********
The position is a co-appointment between the University of Toronto and the
University of Connecticut, under the supervision of Dr. Andre Cire and Dr.
David Bergman. It is anticipated that the position will be based primarily
in Toronto, Canada with travel periodically between the universities. The
amount of time spent in each location will depend mostly on the
individual?s preferences.
------------------------------
Message: 5
Date: Wed, 13 May 2015 21:40:05 +0100
From: Panos Giannopoulos <p.giannopoulos@mdx.ac.uk>
To: "dmanet@zpr.uni-koeln.de" <dmanet@zpr.uni-koeln.de>
Subject: [DMANET] PhD positions at Middlesex University London
Message-ID:
<1F45854153CD9544BC99C66524EEDE0F964F717233@WGFP-EXMBV1.uni.mdx.ac.uk>
Content-Type: text/plain; charset=iso-8859-1
Middlesex University London is offering a number of fully funded doctoral research studentships.
These are three-year scholarships, covering a maintenance award and fee payments, currently ?14,057 and ?4,052 (UK/EU rate) respectively,
including London weighting and free of tax and national insurance contributions. For more information on this program, please visit:
http://www.mdx.ac.uk/courses/postgraduate-research-degrees/research-studentships
The Foundations of Computing group, part of the School of Science and
Technology, is keen to support qualified candidates (preferably with a
masters degree in a relevant area) who are interested in applying for
this program and who wish to pursue a PhD in areas such as
- software analysis
- theory of programming languages
- formal proofs
- program verification and model checking
- algorithms and complexity
- computational geometry
- quantum computing.
For more information on our group, please visit:
http://www.cs.mdx.ac.uk/foundations/
Interested candidates should initially contact one of the group members
http://www.cs.mdx.ac.uk/foundations/sample-page/
as soon as possible to informally discuss a possible project (candidates are asked
to submit a personal research statement as part of their application).
For general inquires, please contact: Panos Giannopoulos <P.Giannopoulos@mdx.ac.uk>.
The formal deadline for applications is 5th of June but candidates should contact our group by 29th of May at latest.
---------------------------------------------------------------------------
Please note that Middlesex University's preferred way of receiving all correspondence is via email in line with our Environmental Policy. All incoming post to Middlesex University is opened and scanned by our digital document handler, CDS, and then emailed to the recipient.
If you do not want your correspondence to Middlesex University processed in this way please email the recipient directly. Parcels, couriered items and recorded delivery items will not be opened or scanned by CDS. There are items which are "exceptions" which will be opened by CDS but will not be scanned a full list of these can be obtained by contacting the University.
------------------------------
Message: 6
Date: Thu, 14 May 2015 09:32:33 +0200
From: Rossella Petreschi <petreschi@di.uniroma1.it>
To: DMANET@zpr.uni-koeln.de
Subject: [DMANET] WALCOM2016
Message-ID:
<CAKSnJVeBJqSQENG1ogWU6C8i45y_wgnRvP64+WtvCPpRaUs2Ag@mail.gmail.com>
Content-Type: text/plain; charset=UTF-8
WALCOM 2016 (First Call for Papers)
10th International Workshop on
Algorithms and Computation
March 29--31, 2016 - Kathmandu, Nepal
http://walcom2016.aitm.edu.np
International Workshop on Algorithms and Computation (WALCOM) is
intended to provide an
international forum for researchers working in the areas of algorithms
and computation. WALCOM 2016 will be held during March 29- 31, 2016 at
Kathmandu, Nepal.
SCOPE
The range of topics within the scope of the workshop on algorithms and
computation includes (but is not limited to): Approximation
Algorithms, Algorithmic Graph, Theory and Combinatorics, Combinatorial
Algorithms, Combinatorial Optimization, Computational Biology,
Computational Complexity, Computational Geometry, Discrete Geometry,
Data Structures, Experimental Algorithm Methodologies, Graph
Algorithms, Graph Drawing, Parallel and Distributed Algorithms,
Parameterized Complexity, Network Optimization, Online Algorithms,
Randomized Algorithms, String Algorithms.
AUTHOR INSTRUCTIONS
Authors are invited to submit papers (extended abstracts) describing
original research of theoretical or practical significance to
algorithms and computation. Papers should not exceed 12 pages in LNCS
style. Papers significantly shorter than 12 pages are also welcome. If
the authors feel that more details are essential to substantiate the
main claim of the paper, they may include a clearly marked
appendixthat will be read at the discretion of the Program Committee.
Only electronic submission will be allowed. Submitted papers must
describe
work not previously published. They must not be submitted
simultaneously to another conference with refereed proceedings or to a
journal.
PROCEEDINGS
Accepted papers will be published in the conference proceedings which
will be included in the Springer- Verlag LNCS series. Selected papers
will be published in special issues of TCS and JGAA.
VENUE
The workshop will be held at the Asian Institute of Technology and
Management, Khumaltar Height, Lalitpur, Nepal.
IMPORTANT DATES
Submission: 10 (Sat.) October, 2015 GMT/UTC Midnight
Notification: 28 (Sat.) November, 2015
Camera Ready Version: 12 (Sat.) December, 2015
Workshop: March 29 (Tue.) ? 31 (Thu.), 2016
INVITED SPEAKERS
Sajal Das Missouri U of Sc. & Tec.,USA
Costas S. Iliopoulos King?s College London, UK
Giuseppe F. Italiano University Tor Vergata, Italy
Giuseppe Persiano University Salerno, Italy
PROGRAM COMMITTEE
Ljiljana Brankovic U of Newcastle, Australia
Tiziana Calamoneri University La Sapienza, Italy
Rezaul A. Chowdhury Stony Brook University, USA
Marek Chrobak U of California- Riverside, USA
Gautam K. Das IIT-. Guwahati, India
Antoine Deza McMaster University, Canada
C M.H. de Figueiredo U fed de Rio de Janeiro, Brazil
Raymond Greenlaw US Naval Academy, USA
Pinar Heggernes Universitetet i Bergen, Norway
Seok-Hee Hong University of Sydney, Australia
Kazuo Iwama Kyoto University, Japan
Mohammad Kaykobad (co-chair) BUET, Bangladesh
Dieter Kratsch University de Lorraine, France
Moshe Lewenstein Bar Ilan University, Israel
D?niel Marx MTA SZTAKI, Hungary
Vangelis Paschos U Paris-Dauphine, France
Rossella Petreschi (co-chair) University La Sapienza, Italy
Nadia Pisanti University Pisa, Italy
Sheung-Hung Poon Nat. Tsing Hua Univ., Taiwan
Jakub Radoszewski University of Warsaw, Poland
Md Saidur Rahaman BUET, Bangladesh
M Sohel Rahman BUET, Bangladesh
Sasanka Roy Chennai Math Inst., India
Blerina Sinaimeri INRIA, France
Etsuji Tomita University of Ele-Com, Japan
Ryuhei Uehara JAIST, Japan
Roger Wattenhofer ETK, Zurich, Switzerland
Gerhard J. Woeginger Univ. Technol, Netherlands
CONTACT ADDRESSES
Rossella Petreschi Universit? di Roma, Italy
Mohammad Kaykobad BUET, Bangladesh
Pramod Prodhan AITM, Nepal
------------------------------
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 87, Issue 15
**************************************
No comments:
Post a Comment