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. Funded Doctoral Positions in Computer Science in Austria
(LogiCS) (list-announcer@dbai.tuwien.ac.at)
2. PhD Position in Operations Research at Maastricht University
(Berger A (KE))
3. computational optimization (Stefka Fidanova)
4. CFP: SCOR2016 - 2nd Ann. - Nottingham, 5th Student Conference
on Operational Research (Andrea Taverna)
----------------------------------------------------------------------
Message: 1
Date: Fri, 29 Jan 2016 11:34:45 +0100 (CET)
From: list-announcer@dbai.tuwien.ac.at
To: DMANET@zpr.uni-koeln.de
Subject: [DMANET] Funded Doctoral Positions in Computer Science in
Austria (LogiCS)
Message-ID: <20160129103445.65F6C1E08A@vexpert.dbai.tuwien.ac.at>
Funded Doctoral Positions in Computer Science [http://logic-cs.at/phd/]
TU Wien, TU Graz, and JKU Linz are seeking exceptionally talented and
motivated students for their joint doctoral program LogiCS. The LogiCS
doctoral college focuses on interdisciplinary research topics covering
(i) computational logic, and applications of logic to
(ii) databases and artificial intelligence as well as to
(iii) computer-aided verification.
THE PROGRAM
LogiCS is a doctoral college focusing on logic and its applications in
computer science. Successful applicants will work with and be
supervised by leading researchers in the fields of computational
logic, databases and knowledge representation, and computer-aided
verification.
FACULTY MEMBERS
M. Baaz A. Biere R. Bloem A. Ciabattoni
U. Egly T. Eiter C. Fermueller R. Grosu
A. Leitsch M. Ortiz R. Pichler S. Szeider
H. Tompits H. Veith G. Weissenbacher
The LogiCS faculty comprises 15 renowned researchers with strong records
in research, teaching and advising, complemented by 12 associated
members who further strengthen the research and teaching activities of
the college.
Details are provided on http://logic-cs.at/faculty/
POSITIONS AND FUNDING
We are looking for 1 doctoral students per faculty member, where 30%
of the positions are reserved for highly qualified female
candidates. The doctoral positions are funded for a period of 3 years
according to the funding scheme of the Austrian Science Fund
(details: http://www.fwf.ac.at/de/forschungsfoerderung/personalkostensaetze/)
The funding can be extended for one additional year contingent on a
placement at one of our international partner institutions.
CURRENT RESEACH AREAS
At the moment we are particularly looking for people in the following areas:
* Automated reasoning and symbolic computation
* Formal Verification of hybrid systems
* Model Checking
HOW TO APPLY
Detailed information about the application process is available on the
LogiCS web-page
The applicants are expected to have completed an excellent diploma or
master's degree in computer science, mathematics, or a related
field. Candidates with comparable achievements will be considered on a
case-by-case basis. Applications by the candidates need to be
submitted electronically.
Next application Deadline: March 1, 2016.
LOGIC IN AUSTRIA
Austria has a highly active and successful logic in computer science community.
Recent activities include:
vsl2014.at
Vienna Summer of Logic, the Largest Conference in the History of Logic
www.arise.or.at
Austrian Research Network in Rigorous Systems Engineering
vcla.at
Vienna Center for Logic and Algorithms
kgs.logic.at
International Kurt Goedel Society
HIGHEST QUALITY OF LIFE
The Austrian cities Vienna, Graz, and Linz, located close to the Alps
and surrounded by beautiful nature, provide an exceptionally high
quality of life, with a vibrant cultural scene, numerous cultural
events, world-famous historical sites, a large international
community, a varied cuisine and famous coffee houses.
For further information please contact:
info@logic-cs.at
------------------------------
Message: 2
Date: Fri, 29 Jan 2016 11:52:18 +0000
From: "Berger A (KE)" <a.berger@maastrichtuniversity.nl>
To: "dmanet@zpr.uni-koeln.de" <dmanet@zpr.uni-koeln.de>
Subject: [DMANET] PhD Position in Operations Research at Maastricht
University
Message-ID: <80977daf2fcd4c65a9428b423e63c588@UM-MAIL3218.unimaas.nl>
Content-Type: text/plain; charset="iso-8859-1"
PhD Position in Operations Research at Maastricht University
--------------------------------------------------------------------
The Operations Research Group at Maastricht University is seeking applications for a 3-year PhD position, starting on September 1st 2016.
The OR group is part of the School of Business and Economics and currently has six faculty members, who conduct research in the areas of:
* Combinatorial Optimization,
* Approximation and Online Algorithms,
* Algorithmic Game Theory, and
* Computational Social Choice.
We encourage candidates with a MSc in Mathematics, Computer Science or Operations Research and a strong background in Discrete Optimization, Theoretical Computer Science, or Algorithmic Game Theory to apply.
The position is funded by the Graduate School of Business and Economics. More details about the Research School and the PhD programme can be found at:
http://www.maastrichtuniversity.nl/web/Faculties/SBE/TargetGroup/Research/PhDProgrammes.htm
Please send your application, including a CV, a motivation letter (which also includes details about your field of interest and research ideas to pursue in this field), a list of grades of your master's studies, and two letters of reference to André Berger (a.berger@maastrichtuniversity.nl) before February 11th 2016.
------------------------------
Message: 3
Date: Fri, 29 Jan 2016 15:27:50 +0200
From: Stefka Fidanova <stefka.fidanova@gmail.com>
To: dmanet@zpr.uni-koeln.de
Subject: [DMANET] computational optimization
Message-ID:
<CAAL360uUV3DAwXZ4=XFTAHmSPLJqN-iVr_nk4Nz81n44=ku47A@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:
18.04.2016 (April 18, 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: Fri, 29 Jan 2016 15:31:43 +0100
From: Andrea Taverna <andrea.taverna@unimi.it>
To: dmanet@zpr.uni-koeln.de
Subject: [DMANET] CFP: SCOR2016 - 2nd Ann. - Nottingham, 5th Student
Conference on Operational Research
Message-ID: <mailman.2.1454151601.12462.dmanet@zpr.uni-koeln.de>
Content-Type: text/plain; charset=iso-8859-15; format=flowed
*** SCOR 2016 : 2nd ANNOUNCEMENT ***
**************************************************
CALL FOR PAPERS
5th Student Conference on Operational Research
SCOR 2016
April 8-10 2016, University of Nottingham, UK
www.scor16.com
**************************************************
We are pleased to announce the official launch of the PhD Student
Conference on Operational Research (SCOR 2016), now back for its
fifth instalment. We invite you to join us once again, at the
beautiful University of Nottingham campus the 8-10 April 2016.
The conference takes place just after the NATCOR course, which will
also be held in Nottingham.
PhD students from all European Universities studying Operational
Research, Management Science or a related field are kindly invited to
submit an abstract for presentation at the conference. As some
presenters may still be on an early stage of in their careers, the
work presented does not need to be fully developed or thoroughly
explored as of yet. The purpose of SCOR 2016 is to provide a friendly
environment for the next generation of Operational Researchers to
receive constructive feedback on their work and to meet people with
similar interests.
The scope of the conference includes, but is not limited to:
Big Data and Analytics * Data Envelopment Analysis * Decision Making
under Risk and Uncertainty * Defence and Security * Disaster Management
* Energy and Climate Change * Forecasting * Healthcare * Mathematical
Programming * Metaheuristics * Multiple Criteria Decision Analysis *
Operations Management * Optimisation * Revenue Management * Safety and
Reliability Analysis * Simulation * Stochastic Modelling * Supply Chain
Management * System Dynamics * Transportation and Logistics * Vehicle
Routing.
**** Deadline for abstracts (250 words) submission: ****
**** Friday 19th February 2016 ****
A notification of acceptance will be sent shortly after this
deadline. In order to encourage a wide range of students to attend, an
affordable conference fee will cover accommodation, a full social
program and full catering provided.
Presenters are also invited to submit a paper (no more than 10 pages) on
their work to be published electronically as part of the SCOR 2016
proceedings. This will be available in the Dagstuhl OpenAccess Series in
Informatics (OASIcs). Paper submissions will undergo a selection
process based on refereeing by the Committee. This gives doctoral
candidates a chance to experience the peer-review process and to enhance
their technical writing skills. Although it is not mandatory, it is
again, highly recommended. To get an idea on the paper standards please
visit the SCOR2014 proceedings at
http://drops.dagstuhl.de/opus/portals/oasics/index.php?semnr=14008 .
**** Deadline for papers (max 10 pages) submission: ****
**** Friday 25th March 2016 ****
See you in Nottingham!!!
**********************************************
Follow us on
www.linkedin.com/company/scor-2016
**********************************************
------------------------------
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 95, Issue 26
**************************************
