Friday, February 23, 2018

[DMANET] Five Postdoctoral positions in Computer Science at the Gran Sasso Science Institute in L'Aquila (Italy)

Five Postdoctoral positions in Computer Science at the
Gran Sasso Science Institute in L'Aquila (Italy)
http://www.gssi.it/
Deadline: 2 March 2018 at 6 p.m. (Italian time zone)

The Gran Sasso Science Institute (GSSI, http://www.gssi.it/), a recently
established international PhD school and a centre for advanced studies
in computer science, mathematics, physics and social sciences offers 18
postdoctoral research positions, five of which are dedicated to computer
science and more specifically to themes that are strongly connected to
the pillars of the PhD program in computer science:

- Algorithmic foundations of social and computer networks.
- Software systems and services.
- Specifications and analysis of concurrent reactive systems

The research grants are awarded for two years and their yearly amount is
€ 36.000,00 gross.

Candidates who are preparing their doctoral thesis are eligible to
apply; however, they must have obtained their PhD degree before taking
up their appointment with GSSI. Selected candidates are expected to
start their appointments no later than 1 November 2018.

The application must be submitted through the on-line form available at
www.gssi.it/postdoc/ by 2 March 2018 at 6 p.m. (Italian time zone). Each
application should include the following material:

- the CV of the applicant,
- a research statement,
- up to 3 publications and
- the name and email of two references.

For more information, please consult the Call for Applications at
www.gssi.it/postdoc/ or write an email to info@gssi.it.

Prospective candidates are also welcome to contact Luca Aceto
(luca.aceto@gssi.it) or Michele Flammini (michele.flammini@gssi.it), who
coordinate the PhD program in Computer Science.
**********************************************************
*
* 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] ISMP 2018 submission deadline coming soon (by March 15)

Call for contributions to ISMP 2018 in Bordeaux

The 23rd International Symposium on Mathematical Programming (ISMP 2018) will take place in Bordeaux, France, July 1-6, 2018.
It is time to submit your abstract before the closing date of March 15. For instructions, see https://ismp2018.sciencesconf.org/resource/page/id/16.

We also invite you to contribute to advertise the conference by printing and posting in your department the ISMP announcement that can be dowloaded on https://ismp2018.sciencesconf.org/data/pages/posterISMP2018.pdf.

It presents the plenary, semi-plenary, and keynote speakers of this 2018 edition.

ISMP is also a great opportunity for deep tech companies, publishers, research institutes and schools in the field to meet the community, to present their work, to communicate on recruitment opportunities, or to illustrate their good-will through sponsorship. The options are presented on https://ismp2018.sciencesconf.org/resource/page/id/17.

Important Dates:

* Pre-registration and submissions are now open on https://ismp2018.u-bordeaux.fr/register/
* March 15, 2018: Abstract submission deadline
* April 15, 2018: Notification of acceptance
* April 30, 2018: Early bird registration deadline and registration deadline for presenting authors
* July 1-6, 2018: The symposium being held in Bordeaux

The details of the program and practical information on the venue, accommodations and registration are being progressively added on the conference website: https://ismp2018.sciencesconf.org/


Francois Clautiaux and Francois Vanderbeck

**********************************************************
*
* 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 Algorithms & Optimisation (Univ. of Liverpool, UK)

PhD position in Algorithms & Optimisation (Univ. of Liverpool, UK)


A fully funded PhD position:

A fully funded 3-year PhD position is available at the Computer Science Department of the University of Liverpool, UK.
The Department is the world-leading research centre in Computer Science with a particular strength in theoretical computer science and artificial intelligence. The department offers a strong research environment, spanning a wide range of research topics such as complexity theory and algorithms, distributed computing and computer networks, verification and formal methods, automata and computability theory, computational game theory, data mining, machine learning and natural language processing.

The successful candidate will do research in the areas of algorithms, optimisation and machine learning, designing new approaches and their mathematical analyses for simulation-based planning techniques with applications to online retail. This project will be in cooperation with Shop Direct, the second largest retailer in the UK. The candidate will be supervised by Professor Piotr Krysta ( https://www.csc.liv.ac.uk/~piotr/ ) and will become a member of the Algorithms, Complexity Theory and Optimisation research group at the Department of Computer Science: https://intranet.csc.liv.ac.uk/research/acto/.

This PhD project will study a Loan Pricing Problem (LPP), in which a customer browses pages of an online retailer and is interested to purchase a new product. The retailer offers the customer payment options: a list of appropriately priced loans. These offers are based on the customer's past history, and are carefully chosen and personalised, to maximise the customer's lifetime value. How can we model and efficiently solve this problem based on the customer's history? LPP can be approached by simulation-based planning techniques via Markov decision processes. We will use our expertise in this area and in combinatorial pricing and the design and analysis of algorithms to build a learning model for LPP based on data from Shop Direct. Our goal is to develop a novel optimisation framework of meta-algorithms which would automatically generate efficient algorithms to solve LPP based on the historic data. We will use both theoretical and experimental analysis of the performance of our algorithms. Our toolkit will involve state of the art techniques in simulation-based planning, machine learning, approximation algorithms, mathematical programming and optimisation. The emphasis in this project will be on theoretical/mathematical analysis.

This PhD project is an exciting opportunity to delve into an important and timely research area on a border of algorithms, optimisation and data analysis with a renowned team of researchers and a modern high-tech internet retailer Shop Direct based in Liverpool. The project will help expose the PhD candidate to contemporary theoretical developments in these research areas as well as their direct deployment in industrial practice. A PhD within this project will prepare the candidate to undertake academic research career and industrial research and development IT career.

The position will be based in University of Liverpool's Department of Computer Science and supervised by Professor Piotr Krysta, and co-supervised by Dr. Rahul Savani (Economics and Computation group), with a cooperation with Shop Direct's Data Science Department.

Prior Experience:
We look for ambitious and highly motivated candidates with good first degree (BSc or MSc) in Computer Science, Mathematics or a closely related subject, and with a strong interest and background in algorithms and optimisation, and programming skills. A mathematically oriented mind is desired and a strong mathematical background and knowledge is an advantage. The applicant must have good communication skills, both verbal and in writing (English), be self-motivated and helpful team member.

How to Apply:
Applications should be made formally by following the University of Liverpool's standard process. Details can be found here: 
https://www.liverpool.ac.uk/computer-science/postgraduate/phdstudy/applications/ Applications should list
Prof. Piotr Krysta as the potential supervisor and choose the option "School funded PhD" when asked how you will fund the PhD. Applications must contain a cover letter, a curriculum vitae or resume, copies of undergraduate and graduate transcripts, a 1-2 page research statement describing how the applicant's qualifications and research interests would fit the project, a copy of the applicant's bachelor or master's thesis and the names and contact information of academic references.

Funding Notes:
This PhD studentship will be for 3 years at GBP 20,000 (tax-free) per year.
a) If UK/EU this will relate to Full Fees & Maintenance (current fee £4,195)
b) If overseas/international applicants this will relate to Full Fee and a small maintenance (current fee is £18,900).

Interested applicants should submit their formal application as soon as possible. The selected candidate can start this position immediately, but the latest starting date for this fully-funded PhD position is 1 May 2018. Please send your informal inquiries to Prof. Piotr Krysta (pkrysta@liverpool.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/
*
**********************************************************

[DMANET] 18-months research position - University of Pisa (Italy)

Please circulate to Master's Graduates, Ph.D. Students and Postdocs:


Dear colleagues,

We are looking to recruit one research fellow.  We would be grateful if
you could forward this message to relevant students and postdocs.

We currently have a large ongoing project funded by the Italian Ministry
for Education, University and Research (MIUR):  Project MIUR-SIR (2014)
Combinatorial methods for analysis and compression of biological sequences.
The aim of this project is to develop research in the area of Data
Compression and Sequence Analysis by using methods from Combinatorics on
Words (for instance, Burrows-Wheeler transform-based techniques) and by
developing algorithms and data structures for the treatment of strings
(indexes, queries, analyses, etc.), mainly regarding datasets from
'next-generation' sequencing technologies (NGS), either second or third
generation technologies, or other emerging long-range genomic
information technologies.

Please find below a summary of the call.

Thanks a lot in advance,
Giovanna


**********************************************************************
University of Pisa (Italy): 18-months research position
**********************************************************************


A 18-month research position is available in the Department of Computer
Science at the University of Pisa.

Research program:
"Analysis of biological sequences and alignment-free methods for
sequence comparison"

Research areas include (but are not limited to):
- string algorithms,
- text indexing for big data,
- indexes for approximate pattern matching,
- text compression and compressed text indexing,
- external memory indexes,
- space efficient data structures, and
- shared memory parallel computing.

* Application deadline: 3rd March 2018
* Potential starting dates: April 2018
* Duration: 18 months
* Expected qualification: Master's Degree or PhD.

The overall annual amount of the grant, including all contributions is €
23.611,79 for those having health cover in addition to INPS (social
security); and € 25.000,00 for those without any further health cover
other than INPS.

Candidates with expertise in NGS bioinformatics, string/parallel
algorithms, combinatorics and/or software development are strongly
encouraged to apply.

For more details on the job description and how to apply, please find
the official competition call (both in Italian and English languages):
https://www.unipi.it/ateneo/bandi/assegni/asse2018/inf/3mar2018/index.htm

For more details on the position please contact Giovanna Rosone at
giovanna.rosone@unipi.it

**********************************************************
*
* 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/
*
**********************************************************

Thursday, February 22, 2018

[DMANET] PPSN 2018 - Second Call for Papers

PPSN 2018 - Second Call for Papers
15th International Conference on Parallel Problem Solving from Nature

8-12 September 2018
Coimbra, Portugal
http://ppsn2018.dei.uc.pt/
--------------------------------------------------------------------------

NEWS

* 23 Tutorials and 6 Workshops
* Paper submission now open

CONFERENCE

The 15th International Conference on Parallel Problem Solving from Nature (PPSN XV) will
be held in Coimbra, Portugal, on 8-12 September 2018. 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 XV 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
Behaviour, Molecular Computing, Evolutionary Robotics, Evolvable Hardware, Parallel
Implementations and Applications to Real-World Problems.

**NEW** In the first two days, PPSN XV will feature 23 contributed Tutorials and 6
half-day Workshops covering advanced and fundamental topics in the field of Natural
Computing. Registered PPSN XV participants will have free admittance to all Tutorials
and Workshops.

PAPER PRESENTATION

Following the well-established PPSN tradition, all accepted papers will be presented in
poster sessions of about 16 papers. Each session will contain papers on 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

**NEW** Paper submission now open!

Researchers are invited to submit their original work in the field of Natural Computing.
Papers must be submitted as PDF files in Springer LNCS style through the conference
Paper Submission page on

https://easychair.org/conferences/?conf=ppsn2018

The authors' names must not be blinded for the reviewing process. The page limit is 12
pages.

--------------------------------------------------------------------------
GENERAL CHAIRS

* Carlos M. Fonseca, University of Coimbra, Portugal
* Penousal Machado, University of Coimbra, Portugal

HONORARY CHAIR

* Hans-Paul Schwefel, TU Dortmund University, Germany

PROGRAMME CHAIRS

* Anne Auger, INRIA Saclay, France
* Luís Paquete, University of Coimbra, Portugal
* Darrell Whitley, Colorado State University, USA

WORKSHOP CHAIRS

* Robin C. Purshouse, University of Sheffield, UK
* Christine Zarges, Aberystwyth University, UK

TUTORIAL CHAIRS

* Michael T. M. Emmerich, Leiden University, Netherlands
* Gisele L. Pappa, Federal University of Minas Gerais, Brazil

PUBLICATIONS CHAIR

* Nuno Lourenço, University of Coimbra, Portugal

LOCAL ORGANISATION CHAIR

* Pedro Martins, University of Coimbra, Portugal

WEBMASTER

* Catarina Maçãs, University of Coimbra, Portugal
* Evgheni Polisciuc, University of Coimbra, Portugal

--------------------------------------------------------------------------
Important dates
--------------------------------------------------------------------------
Paper submission: 26 March 2018
Author notification: 14 May 2018
Camera-ready paper submission: 4 June 2018
Tutorials and workshops: 8-9 September 2018
Conference: 8-12 September 2018

--
Luís Paquete | paquete@dei.uc.pt
http://www.uc.pt/go/paquete
Dept. of Informatics Engineering
University of Coimbra, Portugal
**********************************************************
*
* 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 Combinatorial Optimisation, University of Paris-Dauphine, France

A PhD position is available in Combinatorial Optimisation at University of Paris-Dauphine, Paris, France

under the supervision of Jerome Monnot and Ararat Harutyunyan. Students with backgrounds

in complexity theory, algorithms or graph theory are encouraged to apply. More information

on the position and how to apply:

https://www.lamsade.dauphine.fr/~monnot/index_fichiers/ListDiffAnglais_SujetPhd_2018v2


Jérôme Monnot, Ararat Harutyunyan

**********************************************************
*
* 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] ALGOCLOUD 2018 - 1st call for papers

----------------------------------------------------------------------------------

4th International Symposium on Algorithmic Aspects of Cloud Computing
(ALGOCLOUD 2018)

co-located with ALGO 2018

20-21 August 2018 – Helsinki, Finland

Submission Deadline: June 24, 2018

----------------------------------------------------------------------------------

ALGOCLOUD (http://algo2018.hiit.fi/algocloud/) is an annual international
forum bringing together researchers, students, and practitioners to
present research activities and results on topics related to algorithmic,
design, and development aspects of modern cloud-based systems.
ALGOCLOUD 2018 is co-located with the ALGO 2018 congress (http://algo2018.hiit.fi),
a leading international event of researchers working in algorithms and
their engineering.

ALGOCLOUD welcomes submissions on all theoretical, design, and
implementation aspects of modern cloud-based systems. ALGOCLOUD is
particularly interested in novel algorithms in the context of cloud
computing, cloud architectures, as well as experimental work that
evaluates contemporary cloud approaches and pertinent applications.
ALGOCLOUD also welcomes demonstration manuscripts, which discuss
successful elastic system developments, as well as experience/use-case
articles. Contributions may span a wide range of algorithms for
modeling, practices for constructing and techniques for evaluating
operations and services in a variety of systems, including but not
limited to, virtualized infrastructures, cloud platforms, datacenters,
cloud-storage options, cloud data management, non-traditional key-value
stores on the cloud, HPC architectures, etc.


TOPICS

Submissions should focus on aspects of cloud-based systems, including (but not limited)
to the following areas:

- Distributed Algorithms and Mechanisms
- Algorithms, Data Structures and Computation
- Data Science, and Machine Learning
- Big Data Analytics and Deep Learning
- Networking, Routing, and Protocols
- Caching and Load Balancing
- Resource Management and Elasticity
- Search&Retrieval and Graph Exploration
- Privacy and Anonymization Approaches
- Privacy Preserving Record Linkage
- Scale-up and -out for NoSQL and columnar databases
- Analysis of containerized applications
- Cloud deployment tools and their analysis
- Query languages and novel programming models
- Data structures and algorithms for eventually-consistent stores
- Scalable access structures and indexing for cloud data-stores
- NoSQL and schema-less data modeling and integration
- Consistency, replication and partitioning CAP
- Transactional models and algorithms for cloud data-stores


PROCEEDINGS

Accepted papers will be included in the post-proceedings published by Springer
it its Lecture Notes in Computer Science series
(http://www.springer.com/gp/computer-science/lncs).


SUBMISSION GUIDELINES

Submissions must have a length of up to 12 pages in LNCS format, excluding references
and an optional appendix to be read at the discretion of the Program Committee.

Papers should be submitted electronically via the Easy Chair Submission
system (https://easychair.org/conferences/?conf=algocloud18).

By submitting a paper the authors acknowledge that in case of acceptance
at least one of the authors must register and attend ALGO 2018 and/or
ALGOCLOUD 2018, and present the paper.


IMPORTANT DATES

- Paper submission: 24 June 2018
- Author notification: 25 July 2018
- Symposium: 20-21 August 2018


COMMITTEES

Program Committee
- Alex Delis (University of Athens, Greece)
- Yann Disser (TU Darmstadt, Germany) [co-chair]
- Katerina Doka (National Technical University of Athens, Greece)
- Ahmed Eldawy (University of California Riverside, USA)
- Klaus-Tycho Foerster (University of Vienna, Austria)
- Aris Gkoulalas-Divanis (IBM Watson Health, USA)
- Dimitrios Karapiperis (Hellenic Open University, Greece)
- Eleftheria Katsiri (Democritus University of Thrace, Greece)
- Ulrich Meyer (Goethe-University Frankfurt, Germany)
- Taneli Mielikainen (University of Helsinki, Finland)
- Paolo Missier (Newcastle University, United Kingdom)
- Nikolaos Nodarakis (University of Patras, Greece)
- Mourad Ouzzani (Qatar Computing Research Institute, Qatar)
- Guido Proietti (University of L'Aquila, Italy)
- Juha Röning (University of Oulu, Finland)
- Yücel Saygin (Sabanci University, Turkey)
- Junho Shim (Sookmyung Women's University, Korea)
- Elias Stavropoulos (Hellenic Open University, Greece)
- Przemysław Uznański (ETH Zurich, Switzerland)
- Dinusha Vatsalan (Data61 CSIRO, Australia)
- Vassilios Verykios (Hellenic Open University, Greece) [co-chair]

Steering Committee
- Spyros Sioutas (Ionian University, Greece)
- Peter Triantafillou (University of Glasgow, UK)
- Christos D. Zaroliagis (University of Patras, Greece)
**********************************************************
*
* 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] [AHPAMA2018] Deadline Extension

**********************************************************
*
* 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] Reminder: LSE Fellows in Mathematics (London School of Economics and Political Science)

LSE Fellows in Mathematics (up to two)
LSE (London School of Economics and Political Science)
London, United Kingdom

The Department of Mathematics at LSE seeks to appoint up to two LSE
Fellows with expertise in a subject area related to the Mathematics of
Operations Research and/or Discrete Mathematics.
These are fixed term, full time appointments, commencing on 3 September
2018 for 1 year in the first instance, with possible renewal pending
funding.

The successful candidates will contribute to the intellectual life of
the School through conducting and publishing outstanding quality
research, engaging in high quality teaching as instructed by the Head of
Department, and participating in the School and wider Department activities.

Candidates will have:
· Completed, or be close to completing, a PhD related to Mathematical
Operations Research or Discrete Mathematics by the post start date.
· A developing research record in Mathematical Operations Research or
Discrete Mathematics and a clear and viable strategy for future research.
· Excellent communication and presentation skills.
· The ability to work in close partnership with fellow teachers,
including on a one-on-one basis and in small groups, and to provide
effective support, as necessary.

Salary from £34,736 to £42,019 pa inclusive.

The closing date for applications is Wednesday 28 February 2018.

Further details, and information how to apply, can be found on
http://tiny.cc/MathsFellowLSE.

= = = = =

LSE is committed to building a diverse, equitable and truly inclusive
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] Cocoon 2018 (Extended deadline correction)

Dear colleagues,

Due to numerous requests, the submission deadline of Cocoon 2018 is deferred to March 9, 2018.
(Our apology for mistakenly announced as March 12, 2018 in the previous e-mail.)
This is a firm deadline since we need time for the review process.
http://cocoon2018.sdu.edu.cn/
We are looking forward to meeting you in Qingdao, a beautiful seaside city in China.
https://www.travelchinaguide.com/cityguides/shandong/qingdao/
https://www.google.com.hk/search?q=mount+lao+qingdao&safe=active&tbm=isch&tbo=u&source=univ&sa=X&ved=0ahUKEwifwsfqxrnZAhXFKJQKHbhKAEQQsAQIMA&biw=1018&bih=737

PC Co-chairs of the COCOON'2018
Lusheng Wang
Daming Zhu

**********************************************************
*
* 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 or PostDoc Position in Algorithms

The Algorithms and Complexity Group at Goethe University Frankfurt/Main
invites applications for a

PhD or Postdoc Position in Algorithms

The full-time position is for three years at TVL-13 (100%) scale, and it
is available from April 1, 2018 (later start is possible). Goethe
University offers a strong scientific environment and plenty of
opportunity for collaborations. Applicants should have a strong
theoretical/mathematical background and an interest in at least one of
the following topics:

* Design and analysis of efficient algorithms
* Randomized and approximation algorithms
* Online algorithms
* Algorithmic game theory and mechanism design
* Algorithms for distributed systems

We offer an inspiring research environment and close collaboration with
other scientists. The group consists of a team of international
researchers and offers generous travel allowance. Postdocs are free to
pursue their own research agenda within the scope of the group.

We expect an excellent master's degree (or equivalent) in Computer
Science, Mathematics, or a related discipline. Applicants should have
enthusiasm for mathematical problems and scientific work as well as
teamwork and collaboration.

All applications should include
* a cover letter describing the interest in the position,
* a detailed CV
* List of publications (PostDocs), or
list of courses and grades (PhD students)
* a copy of the (Master or PhD) thesis
* Please mention names and contact details of one or two references --
preferably one from your thesis advisor.

Interested candidates should send their application to Martin Hoefer
<mhoefer@cs.uni-frankfurt.de> via email, preferably as a single PDF, by
March 21, 2018.
**********************************************************
*
* 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) Special Issue on Recent Advances on Social Internet of Vehicles (IEEE Internet of Things Journal)

===========================================================================================
Special Issue on
Recent Advances on Social Internet of Vehicles

http://ieee-iotj.org/wp-content/uploads/2017/12/SI_-IoTJ_CFP_Social-Internet-of-Vehicle.pdf <http://ieee-iotj.org/wp-content/uploads/2017/12/SI_-IoTJ_CFP_Social-Internet-of-Vehicle.pdf>
IEEE Internet of Things Journal
===========================================================================================


Call for papers:

Recently, Internet-of-Things (IoT) applications have been moving towards a network of intelligent objects with social capabilities, defined as the Social Internet of Things (SIoT). Different types of relationships exist among things, thus forming social connections such as parental-object relationship, co-work-object relationship, co-location-object relationship, ownership-object relationship, and so on.

The definition of Internet of Vehicles (IoV) applies to an interconnected set of vehicles providing information for common services such as traffic management and road safety. The Social IoV (SIoV) is an extension to the concept of IoV, where the social networking concepts of SioT are applied to IoV. In SIoV, smart vehicles build social relationships with other social objects they might come into contact, including other vehicles and Road Side Units, with the intent of creating an overlay social network to be exploited for information search and dissemination for vehicular applications.

In SIoV scenario, several challenges are worth to be investigated. SIoV paradigm is still in its infancy but there is a concrete interest by the research community, automotive industry and social application providers to develop SIoV applications.


The special issue on Recent Advances on Social Internet of Vehicles accepts papers dealing with the following topics of interest (but not limited to):

* Data dissemination mechanisms in SIoV

* Social-based network protocols for SIoV

* Privacy, trust, and security issues in SIoV

* Autonomic service discovery in SIoV

* Data management, big data processing and analytics in SIoV

* Integration of SIoV and cloud/edge/fog/on-board computing environment

* SIoV in 5G and vehicular network environments

* Test-bed and simulation tools for SIoV

* New Intelligent Transportation Systems (ITS) and services based on SIoV

Important dates:

Manuscript Submission: March 1, 2018

1st Reviews Due: May 15, 2018

Revision Due: June 15, 2018
2nd Reviews Due/Notification: July 15, 2018

Final Manuscript Due: August 15, 2018

Publication Date: 2018

Submission:

All original manuscripts must be submitted electronically through IEEE Manuscript Central, https://mc.manuscriptcentral.com/iot <https://mc.manuscriptcentral.com/iot>
All manuscripts will be peer reviewed and must follow the standard guidelines for manuscript preparation and submission available at http://iotjournal.weebly.com/guidelines-for-authors.html <http://iotjournal.weebly.com/guidelines-for-authors.html>
Select the "Recent Advances on Social Internet of Vehicles" special issue, when uploading your manuscript.


Guest Editors:

* Anna Maria Vegni (Roma Tre University, Italy). Email: annamaria.vegni@uniroma3.it <mailto:annamaria.vegni@uniroma3.it>

* Valeria Loscrì (INRIA Lille-Nord Europe, France). Email: valeria.loscri@inria.fr <mailto:valeria.loscri@inria.fr>

* Giuseppe Ruggeri (Università degli Studi di Reggio Calabria, Italy). Email: giuseppe.ruggeri@unirc.it <mailto:giuseppe.ruggeri@unirc.it>

* Abderrahim Benslimane (Universitè d'Avignon et des Pays du Vaucluse, France). Email: abderrahim.benslimane@univ-avignon.fr <mailto:abderrahim.benslimane@univ-avignon.fr>

* Kwang-Cheng Chen (University of South Florida, USA). Email: kwangcheng@usf.edu <mailto:kwangcheng@usf.edu>
**********************************************************
*
* 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] CoWPER, Toward A City-Wide Pervasive EnviRonment; In conjunction with SECON 2018

===========================================================================================

CoWPER Wokshop – Toward A City-Wide Pervasive EnviRonment
In conjunction with SECON 2018

===========================================================================================

Important dates

Abstract Registration: March 10th, 2018
Submission deadline: March 17th, 2018
Notification of acceptance: April 17th, 2018
Camera Ready: April 30th, 2018
Program: May 15th, 2018
Accepted papers will be published on IEEE Xplore


Scope

The increasing availability of smart objects will radically change our
cities. It is in fact a common opinion that, in the near future, our cities
will be populated by an incredibly higher number of devices that actively
participate to the execution of pervasive and advanced services. Being
massively distributed into the environment, such devices may generate,
collect, exchange and process big data, provide distributed services, offer
computational resources, and cooperate to perform some tasks locally, as
well as to delegate their execution to more powerful nodes in the
infrastructure or at the network edge.

At the same time, citizens roaming around the city may be considered as
mobile probes that, by making uses of cyber and physical data accessible by
smartphones, will analyze the situation and will produce reports to the
community. Furthermore the citizen's smartphones will actively contribute
in creating the communication infrastructure by forwarding data coming from
surrounding devices thus partially relieving the communication
infrastructure from the heavy burden of the huge amount of data produced in
the envisioned scenario.

All in all, cities are going to become a new complex ecosystem which has
the potentiality to offer many amazing features and support innovative
application. Unfortunately, we are still far from the full exploitation of
the potentialities offered by such an ecosystem. The communication systems
so far developed are mainly conceived to connect people, and they hardly
adapt to connect devices. So that, Massive Machine Type Communications
represents one of the use cases for the development of the forthcoming 5G
cellular system. Also, since every day, new heterogeneous devices are
added to and removed from our cities, it is mandatory to develop some
framework capable to manage such an high-dynamic systems. In addition,
such systems are required to be capable to evolve their functionalities
over time, according to changes in their finalities. As a consequence, they
should support the possibility to add, update, and remove functionalities
depending on the available devices and services.

The CoWPER workshop aims to solicit contributions on novel algorithms,
methodological studies and experimentations on how to enable the formerly
described ecosystem. Specifically, on how devise a city-wide networking and
management infrastructure capable to efficiently guarantee communication
in the new envisaged ecosystem, to manage the complexity of heterogeneous
devices and access technologies, and to guarantee robust, ubiquitous, and
secure connectivity over the urban environments.

In line with such objectives, original contributions are solicited in
topics of interest including, but not limited to, the following:

- Models of network components' interactions on a smart-city
- Self-organizing wireless networks for pervasive urban access;
- Distributed Sensing and Control in Smart Cities;
- Mobile-aware cloud computing models, infrastructures, and approaches for
smart cities
- Smartphone-based sensing systems, tools, applications in Smart City
environments;
- Smartphone and mobile systems and applications;
- Cyber-physical interactions with smartphones;
- Crowd sourcing in smart cities;
- IoT architectures and middleware for smart cities;
- Novel communication protocols for M2M/MTC Communications;
- Device-2-Device Communications (D2D);
- Dynamic trust management models for Smartphone based networks and
applications;
- Cooperation incentive models for Smartphone based networks and
applications;
- Reliability, Security, Privacy and Trust in smart cities ecosystems;


Submission Instructions

Prospective authors are invited to submit original technical paper by the
deadline of March 10th 2018. Submissions will be accepted through
EDAS(Paper submission link: https://edas.info/newPaper.php?c=24492<https://secure-web.cisco.com/1snqcN8veWOIG-B7ZPW72RyV-YSs5cP0Ic6UeZ7dP6BlqdkhJwy0EOns-fKaJWrihpleb1QDYBs02GerbS0tkfHGvmxVuWhHzZpZ4WVCx67zBCaHFkOOBjmQtPCeurzjMTp08j9VqHPIgUNXBN7HyUeWb9Bus3dcM1NYam5_mBY0SwWBxRk5RX7Zcxbra60gYt4dCuA83CJxwEVfH1Z9iUqnRsZlxwP8aFtUt_FsMN0ROlNK5swWW4ntYy3PZFdi56FOOf1TlBkzqDpmnGph9ro1NwM3RtuusMJT3I6F6Jz3BdEpu2P949_bgraGxqhfYi6z0Hn3lgFMXrdtIZn1D3w/https%3A%2F%2Fedas.info%2FnewPaper.php%3Fc%3D24492> <https://edas.info/newPaper.php?c=24492%3Chttps://secure-web.cisco.com/1snqcN8veWOIG-B7ZPW72RyV-YSs5cP0Ic6UeZ7dP6BlqdkhJwy0EOns-fKaJWrihpleb1QDYBs02GerbS0tkfHGvmxVuWhHzZpZ4WVCx67zBCaHFkOOBjmQtPCeurzjMTp08j9VqHPIgUNXBN7HyUeWb9Bus3dcM1NYam5_mBY0SwWBxRk5RX7Zcxbra60gYt4dCuA83CJxwEVfH1Z9iUqnRsZlxwP8aFtUt_FsMN0ROlNK5swWW4ntYy3PZFdi56FOOf1TlBkzqDpmnGph9ro1NwM3RtuusMJT3I6F6Jz3BdEpu2P949_bgraGxqhfYi6z0Hn3lgFMXrdtIZn1D3w/https%3A%2F%2Fedas.info%2FnewPaper.php%3Fc%3D24492%3E>). All
submissions must be written in English and be at most four (4) printed
pages in length, including figures.

Accepted papers will be published on IEEE Xplore.

TPC Co-Chairs


Valeria LOSCRI, Inria Lille-Nord Europe, FUN, France

Giuseppe RUGGERI, Universityof Reggio Calabria, Italy

Zhengguo SHENG, University of Sussex, UK

Athanasios, VASILAKOS, Lulea University of Technology Sweden

Ivan W. H. Ho, The Hong Kong Polytechnic 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] Postdoc position in Optimisation in Le Havre, France

Dear All,

The University Le Havre Normandy, France, is seeking a postdoc researcher as part of a region-funded project. The work contract should start at the candidate's earliest convenience and will end by September 2019.

Please see the detailed offer: http://www.litislab.fr/job/postdoctoral-position-in-dynamic-graphs/

Stefan Balev, Yoann Pigné, Eric Sanlaville.


Yoann PIGNÉ, Ph.D.
Assistant Professor (Maître de Conférences)
University of Le Havre
http://pigne.org


**********************************************************
*
* 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/
*
**********************************************************

Wednesday, February 21, 2018

[DMANET] Postdoc Positions in Formal Methods / Game Theory / Machine Learning for Controller Synthesis at UMONS, Belgium

Dear colleagues,

Two one-year postdoctoral positions are available at UMONS, Belgium. The
candidates will join the FNRS project ManySynth - Many-sided Synthesis of
Reactive Systems: Foundations, Algorithms, and Tools, led by Mickael Randour
<http://math.umons.ac.be/staff/Randour.Mickael/>. Information about the
project is available here:

http://math.umons.ac.be/staff/Randour.Mickael/manysynth.html

Candidates should hold a PhD thesis (or expect to defend it soon) and have
a strong background in at least one of the following fields: formal
methods, game theory, theoretical computer science, machine learning,
control theory. Experience with practical applications and interaction with
industry is also welcome (but not mandatory).

UMONS is an excellent research university (#2 in Belgium according to QS
Ranking w.r.t. publications/faculty) situated in the city of Mons, a lively
(and historic) student town in the south of Brussels. Living in Brussels
and working in UMONS is also possible (45 minutes train ride). The research
group in UMONS takes part in the Belgian Federated Center for Verification
that gathers all teams in the field in Belgium. It also maintains a large
number of international collaborations.

Monthly salary will be around 2,400 € after taxes, depending on the
candidate experience and seniority. Candidates will also be covered by the
Belgian health insurance system. The starting date may be set according to
the candidates' wishes, but must be before December 31, 2018.

Interested candidates should contact Mickael Randour (
mickael.randour@gmail.com) and include their CV and track record. Up to two
reference letters may be added. Full consideration will be given to all
applications received before March 31, 2018.

Please do not hesitate to contact me for any inquiry,
Best regards,

Mickael Randour (mickael.randour@gmail.com, FNRS & UMONS)

**********************************************************
*
* 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] MIP 2018 poster deadline approaching

The deadline for poster submission for the 2018 workshop in Mixed Integer
Programming (MIP 2018) is approaching: approximately one week from now!

The workshop will be held June 18 - 21 at Clemson University (Greenville,
South Carolina). All workshop participants are invited to submit a poster
abstract before March 1, 2018. There will be an award for the best poster
presented by a student. To submit an abstract, please email a detailed
abstract of the poster (using 11pt font, at most two pages) to:

mip2018poster@gmail.com

Space for posters is limited, and the submitted poster abstracts will
be used to select the accepted posters. Therefore, it is important
that the abstract provides a good description of the research to be
presented. We expect to send out acceptance notifications around March
15.

For more information and updates, please see the workshop website at:
https://or.clemson.edu/mip-2018/

Program Committee

* Philipp Christophel, SAS
* Simge Küçükyavuz, University of Washington
* Ruth Misener, Imperial College London
* Giacomo Nannicini (chair), IBM Research
* Alejandro Toriello, Georgia Institute of Technology

Local Committee

* Akshay Gupte (chair), Clemson University
* Matthew Saltzman, Clemson University
* Cole Smith, Clemson University

Confirmed Speakers

* Bob Bixby, Gurobi
* Chen Chen, Ohio State University
* Gérard Cornuéjols, Carnegie Mellon University
* Yuri Faenza, Columbia University
* Ricardo Fukasawa, University of Waterloo
* Matthew Galati, SAS
* Andres Gomez, University of Pittsburgh
* Aida Khajavirad, Carnegie Mellon University
* Pierre Le Bodic, Monash University
* Quentin Louveaux, Université de Liège
* Marco Lübbecke, RWTH Aachen
* Miles Lubin, Google
* Stephen Maher, Lancaster University
* Enrico Malaguti, Università di Bologna
* Jim Ostrowski, University of Tennessee
* Joe Paat, ETH Zurich
* Annie Raymond, University of Washington
* Suvrajeet Sen, University of Southern California
* David Shmoys, Cornell University
* Cole Smith, Clemson University
* Wolfram Wiesemann, Imperial College

**********************************************************
*
* 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] 2nd Asia-Pacific Workshop on Networking (APNet 2018)

************************************************************
******************

CALL FOR PAPERS

APNet 2018

The Second Asia-Pacific Workshop on Networking

Beijing, China, August 2--3, 2018

*https://conferences.sigcomm.org/events/apnet2018/index.html
<https://conferences.sigcomm.org/events/apnet2018/index.html>*

************************************************************
******************

*Overview*

The Second Asia-Pacific Workshop on Networking (APNet'18) aims to bring
together the very best researchers in computer networking and systems
across the Asia-Pacific region and the global community to a live forum
discussing and debating innovative ideas at their early stages. The mission
of APNet is that promising but not-yet-mature ideas can receive timely
feedback from experienced researchers, shaping them into major conferences
such as SIGCOMM, NSDI, SOSP, OSDI, MobiCom, CoNEXT and so on.

*Program Committee*

*General Chairs*

Dan Li (Tsinghua University, China)

K. K. Ramakrishnan (University of California, Riverside, USA)

*PC Co-Chairs*

Mosharaf Chowdhury (University of Michigan, USA)

Kun Tan (Huawei, China)

*Steering Committee*

Suman Banerjee (University of Wisconsin, USA)

Kai Chen (HKUST, Hong Kong SAR), Co-Chair

Albert Greenberg (Microsoft, USA)

Jitu Padhye (Microsoft, USA)

KyoungSoo Park (KAIST, South Korea)

Kun Tan (Huawei, China), Co-Chair

Minlan Yu (Yale University, USA)

Lin Zhong (Rice University, USA)

**********************************************************

We invite submissions of short papers (up to 6 pages, including references)
on a wide range of networking research, including, but not limited to:

• Network architectures and algorithms

• Cloud and wide-area networking systems & infrastructure

• Networking support for applications

• Operating system support for networking

• Kernel-bypass and RDMA networking and applications

• Enterprise, datacenter, and storage area networks

• SDN, NFV, and network programming

• Networking hardware design

• Network measurement, monitoring, diagnosis, and operations

• Formal methods and network verification

• Network security and privacy, censorship, transparency

• Network, transport, and application-layer protocols

• Resource management, QoS, and signaling

• Routing, traffic engineering, switching, and addressing

• Wireless, mobile, and sensor networking

The APNet Program Committee will select papers based on novelty,
significance, and technical merit, rather than completeness. Innovative
well-reasoned ideas with preliminary evaluations will suffice for APNet.
Accepted papers will be published in the ACM Digital Library. We hope that
the extension of APNet papers, when substantiated by solid implementation
and experimentation, can be published at the aforementioned premier
conferences.

*Important Dates*

Abstract registration: April 6, 2018 (11:59 GMT)

Paper submission: April 13, 2018 (11:59 PM GMT)

Notification of decision: June 11, 2018

Camera-ready date: June 25, 2018

================================================
We apologize if you receive multiple copies of this CFPs.
We appreciate your help to forward this CFPs to your friends & email lists.
================================================


__________________

*Publicity Co-Chair*


Chen Qian

Assistant Professor

Department of Computer Engineering

Jack Baskin School of Engineering

University of California Santa Cruz

**********************************************************
*
* 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] [Call for Papers] RSFF'18 - Robust Solutions for Fire Fighting

======================================================================
RSFF'18: First Call for Papers
======================================================================

International workshop on
ROBUST SOLUTIONS FOR FIRE FIGHTING

July 19-20, 2018, L'Aquila, Italy

http://geosafe.univaq.it

======================================================================

RSFF (Robust Solutions for Fire Fighting), is an international workshop
that intends to be a platform of exchange between researchers and
practitioners interested in emergency management, in particular bushfires.
The workshop welcomes participation of researchers from the area of
algorithms and practitioners both working on emergency management issues.

The main focus of the workshop is robustness, seen as an approach
to simplifying and securing solutions with the aim of making processes
less affected by disruptions.

The workshop is organized within the Work Package WP3 of the European
Project GEOSAFE (H2020-MSCA-RISE project n. 691161).


TOPICS
===================

Solicited contributions cover a variety of topics including but not limited to:

Analysis of Algorithms
Approximation Algorithms
Combinatorial Optimization
Diffusion Models
Disaster Management
Distributed and Parallel Algorithms
Emergency OR
Evacuation Models
Exact and Parameterized Algorithms
Heuristics and Metaheuristics
Integer Programming
Inverse Combinatorial Optimization
Mathematical Programming
Multiple Criteria Decision Making
Network Algorithms
Online Algorithms
Probabilistic Combinatorial Optimization
Randomized Algorithms
Robust Optimization
Simulation
Stochastic Optimization
Wildfire Management

SUBMISSION
===================

Submitting papers:

RSFF papers must be formatted according to the CEUR-WS one column style,
with a maximum length of 12 pages, including figures and references.
All proposed papers must be submitted in electronic form, in PDF format,
via the submission.geosafe@univaq.it mail.


Review process:

RSFF welcomes the submission of original research papers not published
elsewhere relevant to the topics listed in the call for papers. All
submitted papers will undergo a thorough review process.
Each contribution will be refereed by at least two experts in the field.


Publication:

Accepted papers will be included in the RSFF Proceedings published on
the CEUR-WS website. At least one of the authors will be required to
register and attend RSFF to present the paper in order to have it
included in the workshop proceedings.

IMPORTANT DATES
===================

Paper submission deadline : April 29th, 2018

Notification of acceptance : June 1st, 2018

Camera ready papers : June 15th, 2018

Workshop dates : July 19-20th, 2018

PROGRAM COMMITTEE
===================

Christian Artigues - LAAS-CNRS - FRANCE
Serafino Cicerone - University of L'Aquila - ITALY
Marc Demange - RMIT - AUSTRALIA
Gabriele Di Stefano - University of L'Aquila - ITALY (co-Chair)
Leszek Gasieniec - University of Liverpool, UNITED KINGDOM
Cecile Murat - Paris Dauphine University - FRANCE
Alfredo Navarra - University of Perugia - ITALY (co-Chair)
Petrica Pop Sitar - Technical University of Cluj-Napoca, ROMANIA
Pierpaolo Vittorini - University of L'Aquila - ITALY

CONTACTS
===================

Gabriele Di Stefano - University of L'Aquila - ITALY
Alfredo Navarra - University of Perugia - ITALY
Pierpaolo Vittorini - University of L'Aquila - ITALY

Email: RSFF18.geosafe@univaq.it
Web: http://geosafe.univaq.it

**********************************************************
*
* 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] Cocoon2018

Dear colleagues,

Due to numerous requests, the submission deadline of Cocoon 2018 is deferred to March 12, 2018.
http://cocoon2018.sdu.edu.cn/
We are looking forward to meeting you in Qingdao, a beautiful seaside city in China.
https://www.travelchinaguide.com/cityguides/shandong/qingdao/
PC Co-chairs of the COCOON'2018
Lusheng Wang
Daming Zhu

Disclaimer: This email (including any attachments) is for the use of the intended recipient only and may contain confidential information and/or copyright material. If you are not the intended recipient, please notify the sender immediately and delete this email and all copies from your system. Any unauthorized use, disclosure, reproduction, copying, distribution, or other form of unauthorized dissemination of the contents is expressly prohibited.

**********************************************************
*
* 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] 8th PhD Summer School, 1-7 July 2018, Rogla, Slovenia

===================================================

"8th PhD Summer School in Discrete Mathematics"
Rogla, Slovenia, July 1 -- July 7, 2018

https://conferences.famnit.upr.si/e/rogla2018

===================================================

Summer School will consist of the following two courses (8 hours each):

1. Finite permutation groups
Colva Roney-Dougal, University of St Andrews, St Andrews, United Kingdom

2. Vertex-transitive graphs and their local actions
Gabriel Verret, The University of Auckland, Auckland, New Zealand

The number of participants is limited, so please register as soon as
possible.
The registration form together with other relevant information (overview of
the mini-courses, accommodation, traveling information, mode of payment,
instructions for students etc.) is available at

https://conferences.famnit.upr.si/e/rogla2018

We have limited financial support for Phd-students. This includes
half-board in one of the bungalows and the exemption from conference fee
payment.
Students that want to apply for it, should indicate this in the
registration form and send their motivation letter and short CV (in
English).
Deadline for the financial support application is February 28th, 2018.

According to regulations and in view of the amount of work designed for
these courses, the Summer School is credited with 2 ECTS.
In order to collect the assigned credit points, the student must solve a
certain number of problems and tasks, as required by the lecturer.

Students and other participants will have the opportunity to give short 15
minutes contributed talks.

Please feel free to forward this message to your colleagues and students.
For further questions please contact sygn@upr.si.

Important deadlines

Application for financial support: February 28, 2018
Early bird registration fee: March 31, 2018
Submission of contributed talks: June 10, 2018
Registration: June 10, 2018

**********************************************************
*
* 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] CFC IET Book on Modeling and Simulation of Complex Networks

Call for Chapters

· Book title: Modeling and Simulation of Complex Networks

· Book editor: Muaz A. Niazi

· Book publisher: IET Book Series on Big Data

· Deadline approaching: 31 Mar 18
Introduction

Modern Communication Networks are considerably complex in nature, not only
in terms of scale, but also in terms of heterogeneity and nature of
interactions. Communication engineers and researchers need to have models
of these real-world systems to analyze and predict the outcomes and
scenarios in such networks. While there are several currently available
simulator tools and paradigms, it can be a significant challenge for
researchers to develop realistic models of interconnected and complex
communication networks and systems – ranging from the Internet of Things to
Wireless Sensors, cloud and big data – all parts of the puzzle.

In some cases, simple approaches to simulations have been applied
successfully – often in the case of modeling limited to the communications
aspects of the network. However, in more complex and emergent real-world
scenarios involving a wide variety of components and networks,
complexity-related paradigms such as Agent-based Modeling, Complex Networks
modeling, multiscale modeling, and hybrid frameworks may be more suitable
and effective approaches for modeling the inherent complexity in such
systems.
Objective of the Book

While there are some existing journal special issues and individual papers
in this domain, there is no comprehensive book targeting this specific area
of research combining not only covering the fields of complexity and
Complex Adaptive Systems but also combining these concepts for application
to the emerging area of "Modeling and simulation of complex communication
networks".
Scope

The book will cover various aspects of modeling and simulation of complex
communication networks from the Complex Adaptive Systems perspective. It
will not only present an overview of different modeling paradigms, but also
present case studies of modeling various Complex Adaptive COmmunicatiOn
networks and environmentS (CACOONS).
Manuscript Style

Estimated number of pages (550 words per full-text page): Around 25 pages
including up to 20% as Figures/Tables. We anticipate the finished article
should be approximately 11000 words (with 20% Figures/Tables) in length,
including the footnotes, the endnotes, and references.

All submitted manuscripts will be subject to a scientific peer review.

Authoring guide about chapters for the IET can be found at the IET author
Hub:

http://www.theiet.org/resources/author-hub/books/guides-resources.cfm
Contact and Electronic Submission

Please contact Ms Bisma Khan at bis.sarfraz@gmail.com for queries and
manuscript submission (PDF format).
Publisher

The book will be included in the IET Book Series on Big Data, a series
edited by Prof. Albert Y. Zomaya (http://www.cs.usyd.edu.au/~zomaya/).

Editor

Muaz A. Niazi, PhD SMIEEE
Chief Scientific Officer,
Department of Computer Science, COMSATS Institute of IT, Islamabad, Pakistan
Founding EiC Springer Complex Adaptive Systems Modeling
EiC Emeritus, IGI Global IJPHIM
Email: muaz.niazi@gmail.com, niazi@alum.bu.edu
Web: http://www.niazilab.com
Twitter: https://twitter.com/MuazNiazi
Publons: https://publons.com/author/421250
Key Dates

· Chapter Due – 31 Mar 18

· Acceptance Notification – 10 Apr 18

· Estimated Publication Date - 01 July 2018

**********************************************************
*
* 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 20, 2018

[DMANET] 2nd Call for Papers - COCOON 2018 - The 24th Annual InternationalComputing and Combinatorics Conference.

Dear Colleagues,
The 24th Annual International Computing and Combinatorics Conference (COCOON2018 : http://cocoon2018.sdu.edu.cn/) will be held in Qingdao, China 2018. 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.
Papers of high quality will be invited to special issues of Algorithmica, Theoretical Computer Science (TCS), and Journal of Combinatorial Optimization (JOCO), respectively.
The topics of interest include (but are not limited to) the following:
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. 9, 2018 (Anywhere on Earth)
Notification of Acceptance: Apr. 27, 2018
Camera-ready and Registration: Apr. 29, 2018
Conference Dates: July 2-4, 2018
Submission instructions
Authors are invited to submit an extended abstract of original research on Computing and Combinatorics. Submissions must contain 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 related work should be presented. Simultaneous submission to a journal or another conference with refereed proceedings is not allowed.
Submissions must adhere to the following guidelines: Papers must be formatted using the LNCS style file without altering margins or the font point. The maximum length of the paper (including references, but excluding the optional appendix) is 12 pages. Proofs omitted due to space constraints must be placed in an appendix to be read by the program committee members at their discretion. Papers that deviate from these guidelines risk being rejected without consideration of their merits. Papers should be submitted electronically via the EasyChair (https://easychair.org/conferences/?conf=cocoon2018). The submission deadline is March 9, 2018 (Anywhere on Earth).
We are looking forward to meeting you in Qingdao, a beautiful seaside city.
The Organizers of the COCOON'2018
**********************************************************
*
* 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] DISC 2018 Call for Papers

32nd International Symposium on Distributed Computing
October 16-18, 2018, New Orleans, USA
http://www.disc-conference.org/wp/disc2018/

DISC is an International Symposium on Distributed Computing, organized in
cooperation with the European Association for Theoretical Computer Science
(EATCS).

* Important Dates

Abstract Registration: May 3, 2018 (AoE)
Paper Submission: May 12, 2018 (AoE)
Notification Full Paper: July 12, 2018
Notification Submitted & Invited BAs: July 19, 2018
Camera-Ready Submission: August 5, 2018 (AoE)
Main Conference: October 16-18, 2018

Note that the abstract registration and submission deadlines of DISC'18
have been set to give authors of PODC'18-rejected papers sufficient time
for thoroughly revising their papers before re-submitting them to DISC.
However, the rules prevent double-submitting a paper to both SIROCCO'18 and
to DISC'18.

* Scope

Original contributions to theory, design, implementation, modeling,
analysis, or application of distributed systems and networks are solicited.
Topics of interest include, but are not limited to:

Distributed computing theory, computability, knowledge
Concurrency and synchronization, transactional memory
Distributed algorithms and data structures: correctness and complexity
Distributed graph algorithms, dynamic networks, network science
Multiprocessor and multicore parallel architectures and algorithms
Circuits, Systems on chip and networks on chip
Wireless, mobile, sensor and ad-hoc networks
Fault tolerance and self-stabilization, reliability, availability
Security in distributed computing, cryptographic protocols
Block chain and other recent distributed paradigms
Game-theoretic approaches to distributed computing
Formal verification, synthesis and testing: methodologies, tools
Distributed operating systems, middleware, and distributed programming
Distributed databases, big data, cloud and peer-to-peer computing
Mobile agents, autonomous distributed systems, swarm robotics
Biological and nature-inspired distributed algorithms
Machine learning and distributed computing

* Submission

Papers are to be submitted electronically, following the guidelines on the
conference web page. Submissions must be in English and in .pdf format, and
must indicate on the first page if the paper is eligible for the best
student paper award. By registering the abstract for a regular submission,
the authors declare that the submission will report on original research
that has not previously appeared and is not currently under review for (or
concurrently submitted to) a journal or a conference with published
proceedings. Any overlap with a published or concurrently submitted paper
must be clearly indicated. Submissions for regular papers must be formatted
in accordance with the LIPIcs proceedings guidelines and not exceed 15
pages (excluding references). Authors are expected to include all the ideas
necessary for an expert to verify the central claims in the paper. An
appendix is not allowed, but providing a full version on arXiv (or a
similar public archive like HAL, for instance) is encouraged. LIPIcs
typesetting instructions can be found here and the lipics.cls LaTeX style
here. Submissions not conforming to these guidelines (in particular, ones
that modify the style for saving space) and papers outside of the scope of
the conference will be rejected without consideration.

A brief announcement submission must not exceed 3 pages (including
references) in the same LIPIcs format, with a title starting with "Brief
Announcement:". The material in brief announcements can be published later
on in other conferences or journals. A regular submission that is not
selected for a regular presentation may be invited by the PC for the brief
announcements track.

* Publication

The proceedings will be published by LIPIcs. Accepted papers and brief
announcements must be presented by one of the authors, with a full
registration, at the conference site, and according to the final schedule.
Any submission accepted into the technical program but not presented
on-site will be withdrawn from the final proceedings.

* Awards

Awards will be given to the best paper and the best student paper. To be
eligible for the best student paper award at least one of the paper authors
must be a full-time student at the time of submission, and the student(s)
must have made a significant contribution to the paper.

* Program Committee

Ittai Abraham VMware Research Group, USA
Marcos K. Aguilera VMware Research Group, USA
Dan Alistarh IST, Austria
Hagit Attiya Technion, Israel
Janna Burman U. Paris-Sud, France
Christian Cachin IBM Research Zurich, Switzerland
Gregory Chockler Royal Holloway U. of London, UK
Guy Even Tel-Aviv U., Israel
Pierre Fraigniaud CNRS & U. Paris-Diderot, France
Mohsen Ghaffari ETH Zurich, Switzerland
Seth Gilbert NUS, Singapore
Robert Gmyr U. of Houston, USA
Emmanuel Godard Aix-Marseille U., France
Bernhard Haeupler CMU, USA
Petr Kuznetsov Telecom ParisTech, Franc
Silvio Lattanzi Google Research, Switzerland
Christoph Lenzen MPI for Informatics, Germany
Marios Mavronicolas U. of Cyprus, Cyprus
Sayan Mitra U. of Illinois, USA
Yoram Moses Technion, Israel
Achour Mostefaoui U. of Nantes, France
Gopal Pandurangan U. of Houston, USA
Rafael Pass Cornell Tech, USA
Andrzej Pelc U. of Quebec, Canada
Rajmohan Rajaraman Northeastern U., USA
Binoy Ravindran Virginia Tech, USA
Sergio Rajsbaum UNAM, Mexico
Andréa W. Richa Arizona State U., USA
Peter Robinson McMaster U., Canada
Nicola Santoro Carleton U., Canada
Stefan Schmid U. of Vienna, Austria
Ulrich Schmid (chair) TU Wien, Austria
Pierre Sens Sorbonne U., France
Gokarna Sharma Kent State U., USA
Jukka Suomela Aalto University, Finland
Nitin Vaidya UIUC, USA
Roger Wattenhofer ETH Zurich, Switzerland
Jennifer Welch Texas A&M, USA
Josef Widder TU Wien, Austria
Haifeng Yu NUS, Singapore

* Organizing Committee

Costas Busch (general) Louisiana State U., USA
Gokarna Sharma (workshop) Kent State U., USA
Josef Widder (proceedings) TU Wien, Austria
Peter Robinson (publicity) McMaster U., Canada
Wyatt Clements (web) Louisiana State U., USA

* Steering Committee

Roberto Baldoni Sapienza U. di Roma, Italy
Cyril Gavoille Bordeaux U., France
Fabian Kuhn U. Freiburg, Germany
Yoram Moses (chair) Technion, Israel
Andréa Richa Arizona State U., USA
Jukka Suomela Aalto U., Finland

**********************************************************
*
* 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 Positions in Theoretical Computer Science at ETH Zurich

PhD Positions in Theoretical Computer Science at ETH Zurich

One or more PhD positions are available at the Theory of Combinatorial
Algorithms group (www.ti.inf.ethz.ch/ew/) within the Department of
Computer Science at ETH Zurich, Switzerland. The thesis projects are
supervised by Bernd Gärtner, Michael Hoffmann and Emo Welzl.

Our research interests lie on the boundary between Theoretical
Computer Science and Discrete Mathematics, with a focus on
combinatorics and algorithms for geometric structures.

Candidates should have a degree in Mathematics or Computer Science,
with an emphasis on and interest in some of the following areas
(listed in alphabetical order): algorithms & data structures,
algorithm engineering, combinatorial optimization, combinatorics,
complexity, combinatorial geometry, computational geometry, graph
drawing, graph theory, probability theory. The starting date is
flexible.

Applications should be sent via the online application system
https://app.hobsons.co.uk/AYApplicantLogin/fl_ApplicantLogin.asp?id=ethzcs
until Mar 31, 2018 (earlier submission is encouraged). Please mark
"Theory" and "Algorithms and combinatorics" among your research
interests.

For general information about the Computer Science PhD program at
ETHZ, see www.inf.ethz.ch/doctorate.
For further questions and information contact <tca@lists.inf.ethz.ch>.


**********************************************************
*
* 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/
*
**********************************************************

Monday, February 19, 2018

[DMANET] Lectureship in Computational Finance and Economic Agents at University of Essex, UK

We have a job opening for a lectureship (assistant professorship) in
our Centre for Computational Finance and Economic Agents at the
University of Essex, UK.

Research areas of interest include all aspects of computational
finance and economic agents, including but not limited to Algorithmic
Game Theory.

The deadline for applications is March 22, 2018.

More details on the vacancy can be found at: http://bit.ly/2EFK5QM

Prospective applicants are welcome to contact me for informal enquiries.
**********************************************************
*
* 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] Funded PhD projects

School of Computing, University of Leeds, UK

is funding up to 6 PhD projects,

including ones in graph theory, combinatorial optimization and scheduling.


Application deadline: 30 March, 2018


For further information please see:


https://engineering.leeds.ac.uk/research-opportunity/201323/research-degrees/2590/school-of-computing-funded-studentships


**********************************************************
*
* 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] Last Call for papers and Deadline Extension: Joint EURO/ALIO International Conference 2018 on Applied Combinatorial Optimization

Apologies for any cross-postings.
-----------------------------------------

Joint EURO/ALIO International Conference 2018 on Applied Combinatorial Optimization

The Joint EURO/ALIO International Conference 2018 on Applied Combinatorial Optimization is an event jointly promoted by the Association of European Operational Research Societies (EURO) and the Association of Latin-Iberoamerican Operational Research Societies (ALIO), both within the International Federation of Operational Research Societies (IFORS).

Bologna, Italy, June 25-27, 2018
https://events.unibo.it/euroalio2018

Call for papers

Contributions dealing with any aspect of Applied Combinatorial Optimization are welcome. This includes theoretical achievements, algorithm development and real-world implementations.

Short abstract of at most 1500 characters including up to three references can be submitted via EasyChair. All submissions will undergo a review process. Short abstracts will be distributed at the conference.

Important Deadlines

Due to many requests, we extend the deadline for short abstracts submission.

Submission of Short Abstracts: extended to 21/02/2018. No further extension will be granted.
Early Registration 16/03/2018

A Feature Cluster of the European Journal of Operational Research, devoted to Applied Combinatorial Optimization, will be published. High quality papers presented at the conference will be invited to this cluster.

Plenary Speakers

Andrea Lodi, École Polytechnique de Montréal
Nelson Maculan, Federal University of Rio de Janeiro
David Pisinger (EURO Plenary Speaker), Technical University of Denmark

Venue

The conference will be held at the School of Engineering and Architecture of the Alma Mater Studiorum – Università di Bologna, Viale del Risorgimento, 2 Bologna. The School is within walking distance from the city center, hotels, bars and restaurants.
The city of Bologna offers a lively cultural environment, and is well connected by high-speed trains to Florence (35min), Venice (1h 25min), Milan (1h), Rome (2h), Turin (2h 15min), Naples (3h 30min).
A short video on the city of Bologna:
https://www.youtube.com/watch?v=ObBreSoNzZY


On behalf of the Organizing Committee
Paolo Toth, Valentina Cacchiani, Enrico Malaguti
**********************************************************
*
* 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] New deadline of March 23 for open PhD positions in CS at Reykjavik University

The School of Computer Science (SCS) at Reykjavik University (RU) has about 800 students and 20 permanent faculty members. The school offers undergraduate and graduate programs in computer science and software engineering, as well as a combined-degree undergraduate program in discrete mathematics and computer science.

The research at SCS is organized around three research centres:

- Centre for Analysis and Design of Intelligent Agents (CADIA)
- Centre for Research on Engineering Software Systems (CRESS)
- Icelandic Centre of Excellence in Theoretical Computer Science(ICE-TCS)

all with available PhD studentships, covering full tuition (Domestic/EU/Non-EU rate) as well as a stipend for a minimum of three years (ISK 4,260,000 annually, approximately EUR 35,000 at current exchange rate). The scholarships come with a requirement of a minimal teaching load.

The deadline is March 23th<http://airmail.calendar/2018-02-14%2012:00:00%20GMT-5> but applications arriving after the deadline will
be considered until the positions are filled.

For more information see https://en.ru.is/scs/ph.d-studies/ or contact:

Sigurbjörg Ásta Hreinsdóttir
Programme Administrator
(+354) 599 6503
astahr@ru.is<mailto:astahr@ru.is>

**********************************************************
*
* 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] Professor in Mathematical Logic Taking into Account the Foundations of Computer Science - University of Vienna

At the Faculty of Mathematics of the University of Vienna the position of a

*University Professor
of
Mathematical Logic Taking into Account the Foundations of Computer Science*

(full time, permanent position) is to be filled.

We are looking for an outstanding researcher and teacher, in any area of
Computational Logic or Mathematical Logic, who will contribute to the
Foundations of Computer Science, at least in teaching.

*Successful candidates should have the following qualifications:*

* Doctoral degree/PhD and post-doctoral experience at a university or
other research institution
* Habilitation (venia docendi) in a subject field relevant to this
position or an internationally accepted equivalent qualification is
desirable
* Outstanding achievements in research, excellent publication record,
international reputation
* Experience in designing, procuring and managing large research
projects, as well as the willingness and ability to lead research groups
* Enthusiasm for excellent teaching, teaching experience at
universities as well as the ability and willingness to teach
students in all phases of their studies (bachelor's, master's, or
doctoral level), to supervise academic theses and to promoting young
academic colleagues

The University of Vienna expects the successful candidate to acquire,
within three years, proficiency in German sufficient for teaching in
bachelor's programmes and for participation in university committees. In
addition, the University of Vienna expects the successful candidate to
be prepared to take over responsibility on the organisational level of
the Faculty and the University, if necessary.


For more details see

https://www.mathjobs.org/jobs/jobs/11684

or

http://personalwesen.univie.ac.at/en/jobs-recruiting/professorships/detail-page/news/mathematical-logic-taking-into-account-the-foundations-of-computer-science/.

**********************************************************
*
* 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/
*
**********************************************************