Theory Announcements

Monday, December 7, 2015

[DMANET] IEEE CEC 2016 Special Session - Optimization, Learning, and Decision-Making in Bioinformatics and Bioengineering (OLDBB)

Dear colleagues,

If you are working at the interface of computational intelligence and
biology, then the Special Session below (organized at IEEECEC in beautiful
Vancouver, CAN) may be of interest to you.

Best wishes,
Richard

*************************************************************
CALL FOR PAPERS
*************************************************************
*Special Session on *

*Optimization, Learning, and Decision-Making in Bioinformatics and
Bioengineering (OLDBB)*
http://tinyurl.com/SpecialSession-OLDBB-CEC2016

2016 IEEE Congress on Evolutionary Computation (IEEE CEC 2016)
25 - 29 July 2016, Vancouver, Canada

<http://www.ucl.ac.uk/~ucberal/SS-OMBB-IEEE_SSCI_2014.html>
Submission deadline: 15 January 2016
Submission details: http://www.wcci2016.org/submission.php
*************************************************************

*Scope of the session*
This special session invites papers discussing recent advances in the
development and application of Optimization, Learning, and Decision-Making
in Bioinformatics and Bioengineering (OLDBB).

Bioinformatics and Bioengineering (BB) are interdisciplinary scientific
fields involving many branches of computer science, engineering,
mathematics, and statistics. Bioinformatics is concerned with the
development and application of computational methods for the modeling,
retrieving and analysis of biological data, while Bioengineering is the
application of engineering techniques to biology so as to create usable and
economically viable products.

The main aim of this special session is to bring together both experts and
new-comers working on Optimization, Learning and Decision-Making in
Bioinformatics and Bioengineering (OLDMBB) to discuss new and exciting
issues in this area. This session is supported by the IEEE CIS
Bioinformatics and Bioengineering Technical Committee (BBTC) and the IEEE
CIS Task Force on Optimization Methods in Bioinformatics and Bioengineering.

We encourage submission of papers describing new
optimization/learning/decision-making strategies, challenges,
and applications in the area of BB. You are invited to submit papers that
are unpublished original work on topics that are, but not limited to, the
following

* (Single and multiobjective) optimization techniques for Bioinformatics
and Bioengineering (BB) problems
- Evolutionary algorithms
- Swarm Intelligence
- Metaheuristics
- Fuzzy optimization
- Surrogate-based methods
- Hybrid optimization algorithms (combinations of heuristics and exact
methods)

* Decision-making techniques for BB problems
- Preference elicitation and representation
- Aggregation-based techniques
- Fuzzy logic-based techniques
- Bayesian-based techniques

* Learning in the optimization of BB problems
- Link between Decision Maker's learning and model's learning
- Capturing and learning from user preferences
- Integrating optimization with machine learning
- Interactive learning and optimization techniques
- Techniques for learning user-driven parameter settings from examples

* Tuning of optimization, learning and decision-making techniques for BB
problems
- Performance measures
- Test and benchmark problems
- (Interactive) visualization techniques
- Optimization and visualization software

* Emerging Topics in in BB
- Novel applications (process design, manufacturing, etc)
- Challenging problem features (e.g. many decision variables, dynamic
problems, uncertainty, expensive and limited evaluations, etc)
- Closed-loop applications and challenges
- Many-objective optimization, learning, and decision-making
- Ecoinformatics
- Side effect machines and other kernal representations for sequence
analysis
- Data modelling/mining and Big Data analytics

*Submission Instructions*
We welcome original contributions describing ongoing projects or completed
work. The instructions for authors, and LaTeX and Word templates can be
found at http://www.wcci2016.org/submission.php

*Key Dates*
Paper Submissions due: 15 January 2016
Notification of Acceptance: 15 March 2016
Camera-Ready Papers due: 15 April 2016

*Organizers*
Richard Allmendinger, University College London, UK
Daniel Ashlock, University of Guelph, Canada
Sanaz Mostaghim, Otto von Guericke University of Magdeburg, Germany

*Program Committee*
Ashlock Wendy, York University, Canada
Auephanwiriyakul Sansanee, Chiang Mai University, Thailand
Branke Juergen, University of Warwick, UK
Brown Joseph, Innopolis University, Russia
Brown Michael, University of Maryland University College, USA
Coker James, University of Maryland University College, USA
Corns Steven, Missouri University, USA
Fogel Gary, Natural Selection Inc, USA
Handl Julia, University of Manchester, UK
Houghten Sheridan, Brock University, Canada
Jin Yaochu, University of Surrey, UK
Knowles Joshua, University of Manchester, UK
Langdon Bill, University College London, UK
Lavygina Anna, Imperial College London, UK
Rombo Simona, University of Palermo, Italy
Yifeng Li, University of British Columbia, Canada

*Contact*
For further information please contact Richard Allmendinger (
richard.allmendinger@manchester.ac.uk <r.allmendinger@ucl.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/
*
**********************************************************

Saturday, December 5, 2015

[DMANET] SAT 2016 call for papers

CALL FOR PAPERS

Nineteenth International Conference on
THEORY AND APPLICATIONS OF SATISFIABILITY TESTING
--- SAT 2016 ---

Bordeaux, France, July 5-8, 2016

Abstract submission deadline: February 14, 2016
Paper submission deadline: February 21, 2016

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

The International Conference on Theory and Applications of
Satisfiability Testing (SAT) is the premier annual meeting for
researchers focusing on the theory and applications of the propositional
satisfiability problem, broadly construed. In addition to plain
propositional satisfiability, it also includes Boolean optimization
(such as MaxSAT and Pseudo-Boolean (PB) constraints), Quantified Boolean
Formulas (QBF), Satisfiability Modulo Theories (SMT), and Constraint
Programming (CP) for problems with clear connections to Boolean-level
reasoning.

Many hard combinatorial problems can be tackled using SAT-based
techniques including problems that arise in Formal Verification,
Artificial Intelligence, Operations Research, Computational Biology,
Cryptography, Data Mining, Machine Learning, Mathematics, et cetera.
Indeed, the theoretical and practical advances in SAT research over the
past twenty years have contributed to making SAT technology an
indispensable tool in a variety of domains.

SAT 2016 aims to further advance the field by soliciting original
theoretical and practical contributions in these areas with a clear
connection to Satisfiability. Specifically, SAT 2016 invites scientific
contributions addressing different aspects of SAT interpreted in a broad
sense, including (but not restricted to) theoretical advances (such as
exact algorithms, proof complexity, and other complexity issues),
practical search algorithms, knowledge compilation, implementation-level
details of SAT solvers and SAT-based systems, problem encodings and
reformulations, applications (including both novel application domains
and improvements to existing approaches), as well as case studies and
reports on findings based on rigorous experimentation.

SAT 2016 takes place in the nice city of Bordeaux, which is located in
the South West of France. Bordeaux is well-known to be the world wine
capital, and also ranked UNESCO town.

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

- February 14, 2016: Abstract submission deadline
- February 21, 2016: Paper submission deadline
- March 21-23, 2016: Author response period
- April 3, 2016: Author notification
- April 23, 2016: Camera-ready versions of papers due
- July 4, 2016: Pre-conference workshops
- July 5-8, 2016: Main conference

Follow us on the [conference web site](http://sat2016.labri.fr/),
[twitter](http://twitter.com/sat2016bordeaux) or
[facebook](http://www.facebook.com/sat2016bordeaux/) for updates.

SCOPE
=====

SAT 2016 welcomes scientific contributions addressing different aspects
of the satisfiability problem, interpreted in a broad sense. Domains
include MaxSAT and Pseudo-Boolean (PB) constraints, Quantified Boolean
Formulae (QBF), Satisfiability Modulo Theories (SMT), as well as
Constraint Satisfaction Problems (CSP). Topics include, but are not
restricted to:

- Theoretical advances (including exact algorithms, proof complexity,
and other complexity issues);

- Practical search algorithms;

- Knowledge compilation;

- Implementation-level details of SAT solving tools and SAT-based
systems;

- Problem encodings and reformulations;

- Applications (including both novel applications domains and
improvements to existing approaches);

- Case studies and reports on insightful findings based on rigorous
experimentation.

OUT OF SCOPE
============

Papers claiming to resolve a major long-standing open theoretical
question in Mathematics or Computer Science (such as those for which a
[Millennium Prize is
offered](http://www.claymath.org/millennium-problems), are outside the
scope of the conference because there is insufficient time in the
schedule to referee such papers; instead, such papers should be
submitted to an appropriate technical journal.

PAPER CATEGORIES
================

Submissions to SAT 2016 are solicited in three paper categories,
describing original contributions.

- LONG PAPERS (9 to 15 pages, excluding references)
- SHORT PAPERS (up to 8 pages, excluding references)
- TOOL PAPERS (up to 6 pages, excluding references)

LONG and SHORT papers should contain original research, with sufficient
detail to assess the merits and relevance of the contribution. For
papers reporting experimental results, authors are strongly encouraged
to make their data and implementations available with their submission.
Submissions reporting on case studies are also encouraged, and should
describe details, weaknesses, and strengths in sufficient depth. LONG
papers and SHORT papers will be evaluated with the same quality
standards, and are expected to contain a similar contribution per page
ratio.

The authors should choose between a LONG or a SHORT paper depending on
the space they need to fully describe their contribution. The
classification between LONG and SHORT papers is mainly a way to balance
the workload of the reviewing process among PC members. It also impacts
the duration of the presentation of the work during the conference. It
is the responsibility of the authors to make sure that their paper is
self-contained in the chosen limit of pages. There will be no
requalification of the submissions by the PC.

TOOLS papers must obey to a specific content criteria in addition to
their size limit. A tool paper should describe the implemented tool and
its novel features. Here "tools" are interpreted in a broad sense,
including descriptions of implemented solvers, preprocessors, etc., as
well as systems that exploit SAT solvers or their extensions to solve
interesting problem domains. A demonstration is expected to accompany a
tool presentation. Papers describing tools that have already been
presented previously are expected to contain significant and clear
enhancements to the tool.

Submissions should not be under review elsewhere nor be submitted
elsewhere while under review for SAT 2016, and should not consist of
previously published material.

Submissions not consistent with the above guidelines may be returned
without review.

Besides the paper itself, authors may submit a supplement consisting of
one file in the format of a gzipped tarball (.tar.gz or .tgz) or a
gzipped file (.gz) or a zip archive (.zip). Authors are encouraged to
submit a supplement when it will help reviewers evaluate the paper.
Supplements will be treated with the same degree of confidentiality as
the paper itself. For example, the supplement might contain detailed
proofs, examples, software, detailed experimental data, or other
material related to the submission. Individual reviewers may or may not
consult the supplementary material; the paper itself should be
self-contained.

Long and short papers may be considered for a best paper award. If the
main author is a student, both in terms of work and writing, the paper
may be considered for a best student-paper award. Use the supplement to
your submission to state (in a brief cover letter) if the paper
qualifies as a student paper.

Links to information on the Springer LNCS style are available through
the [SAT 2016 website](http://sat2016.labri.fr/).

All papers submissions are done exclusively via
[EasyChair](http://www.easychair.org/conferences/?conf=sat2016).

One author of each accepted paper is expected to present it at the
conference.

PROCEEDINGS
===========

All accepted papers are expected to be published in the proceedings of
the conference, which will be published within the Springer LNCS series.

STUDENT GRANTS
==============

A limited number of student travel support grants will be available from
our sponsors. Applicants should acquire a letter of support from their
advisor and prepare a statement detailing why the travel support is
needed. This information should be emailed to the SAT'16 conference
chairs at sat2016@easychair.org by March 31st, 2016. Determinations will
be made shortly after the notification to the authors.

ORGANIZATION
============

PROGRAM CHAIRS
--------------

- Nadia Creignou Aix-Marseille Université, LIF-CNRS France
- Daniel Le Berre Université d'Artois, CRIL-CNRS France

LOCAL CHAIR
-----------

- Laurent Simon Bordeaux INP, University of Bordeaux, LaBRI-CNRS,
France

PROGRAM COMMITTEE
-----------------

- Fahiem Bacchus University of Toronto
- Yael Ben-Haim IBM Research
- Olaf Beyersdorff University of Leeds
- Armin Biere Johannes Kepler University
- Nikolaj Bjorner Microsoft Research
- Maria Luisa Bonet Universitat Politecnica de Catalunya
- Sam Buss UCSD
- Nadia Creignou Aix-Marseille Université, LIF-CNRS
- Uwe Egly TU Wien
- John Franco University of Cincinnati
- Djamal Habet Aix-Marseille Université, LSIS-CNRS
- Marijn Heule The University of Texas at Austin
- Holger Hoos University of British Columbia
- Frank Hutter University of Freiburg
- Mikolas Janota Microsoft Research
- Matti Järvisalo University of Helsinki
- Hans Kleine Büning University of Paderborn
- Daniel Le Berre Université d'Artois, CRIL-CNRS
- Ines Lynce INESC-ID/IST, University of Lisbon
- Marco Maratea DIBRIS, University of Genova
- Joao Marques-Silva INESC-ID, IST, ULisbon
- Stefan Mengel CRIL-CNRS
- Alexander Nadel Intel
- Nina Narodytska Samsung Research America
- Jakob Nordström KTH
- Albert Oliveras Technical University of Catalonia
- Roberto Sebastiani DISI, University of Trento
- Martina Seidl Johannes Kepler University Linz
- Yuping Shen Institute of Logic and Cognition, Sun Yat-sen University
- Laurent Simon Bordeaux INP, University of Bordeaux, LaBRI-CNRS
- Takehide Soh Information Science and Technology Center, Kobe
University
- Stefan Szeider TU Wien
- Allen Van Gelder University of California, Santa Cruz

CONTACT
=======

sat2016@easychair.org

Friday, December 4, 2015

[DMANET] Associate Professor in Financial Engineering

The Department of Management Engineering at the Technical University of Denmark invites applications for the position as associate professor in financial engineering.

Responsibilities and tasks
The associate professor is expected to conduct research and teaching in the intersection of finance and mathematical modeling and operations research at the highest international level within areas like yield management, asset allocation, stochastic programming etc. Dissemination of research results is expected through scientific publications, interdisciplinary collaborative projects at national and international level as well as through collaboration with organizations and industry. Furthermore, it is expected that the candidate seeks and obtains external funding. Previous participation in operations research projects is an advantage.

The Department of Management Engineering values a combination of theory development and a focus on real-life applications. An example could be applications from the energy industry such as asset allocation in power markets or optimization of revenue in a fenceless fare structure from the airline industry. The Department is team-oriented, and the associate professor is expected to support this through peer activities.

The associate professor will become part of the Division of Management Science. The division has a focus on operations research, operations management, implementation and performance management, and financial engineering.

The division contributes to a number of bachelor and master programs. The candidate should actively participate in attracting and supervising B.Sc. and M.Sc. students. The educational responsibilities also include classroom teaching, lecturing, and examinations. The candidate will also be responsible for the supervision of PhD students and postdocs and will have administrative duties including academic assessment work on all levels. The associate professor must have a well-documented teaching record and will take responsibility for the development of educational programs and courses at all levels.

The division's teaching is mainly concentrated on master level activities, but also includes courses on bachelor level. The educational responsibilities will to the extent possible be related to the research focus area, however flexibility is required. Please note that the expected teaching on bachelor level is required to be in Danish, and on master level it is required to be in English. International candidates are required to take courses in Danish and teach in Danish after a period to be agreed upon with the head of division.

The Division of Management Science has strong cooperation with industry, commissioning institutions, and government research institutes. The applicant should be willing to actively contribute to these activities.

The associate professor is expected to take interest in exploiting the possibilities of developing collaboration with related groups both internally at the Department and externally with other departments at the university (e.g., the Department of Applied Mathematics and Computer Science and Department of Electrical Engineering).

Qualifications
Candidates must

* hold a PhD degree (or equivalent) as well as academic qualifications equivalent to those obtained by holding an Assistant Professorship
* document didactic/pedagogic training Candidates must have demonstrated extensive experience in the area of financial engineering as well as a background in operations research. Applicants are expected to have great international visibility, demonstrated e.g. through publications and collaborations, and are expected to have solid and well-documented experience with joint projects with industry as well as with obtaining external funding.

Assessment
In the assessment of the candidates consideration will be given to

* experience in teaching and education
* scientific production and research potential at an international level
* the ability to promote and utilize research results
* an all-round experience basis, preferably including international experience
* the ability to contribute to development of the department's internal and external cooperation

We offer
DTU offers an interesting and challenging job in an international environment focusing on education, research, public-sector consultancy and innovation which contribute to enhancing the economy and improving social welfare. We strive for academic excellence, collegial respect and freedom tempered by responsibility. DTU is a leading technical university in northern Europe and benchmarks with the best universities in the world.

Salary and terms of employment
The appointment will be based on the collective agreement with the Confederation of Professional Associations. The allowance will be agreed with the relevant union.

Further information
Further information may be obtained from Head of Division, Professor Jesper Larsen, tel.: [resource://skype_ff_extension-at-jetpack/skype_ff_extension/data/call_skype_logo.png] +45 4525 3385, email: jesla@dtu.dk<mailto:jesla@dtu.dk>.

You can read more about DTU Management Engineering at www.man.dtu.dk/english<http://www.man.dtu.dk/english>.

Application procedure
Please submit your online application no later than 4 January 2016. Applications must be submitted as one PDF file containing all materials to be given consideration. To apply, please open the link "Apply online," fill in the online application form, and attach all your materials in English in one PDF file. The file must include:

* Application (cover letter)
* CV
* Diploma (MSc/PhD - an official translation into English)
* List of publications indicating scientific highlights
* Documentation of teaching experience (e.g. in the form of a teaching portfolio)

Applications and enclosures received after the deadline will not be considered.All qualified candidates irrespective of age, gender, race, disability, religion or ethnic background are encouraged to apply.

The Department of Management Engineering actively researches in the development of management tool and optimization of processes by utilizing and re-thinking engineering driven methods, models and perspectives. It has a staff of 300 including around 70 doctoral students. The Department has close collaboration across a number of sectors including Danish and international partners from industry and public authorities as well as leading international universities.

DTU is a technical university providing internationally leading research, education, innovation and public service. Our staff of 5,800 advance science and technology to create innovative solutions that meet the demands of society; and our 10,300 students are being educated to address the technological challenges of the future. DTU is an independent academic university collaborating globally with business, industry, government, and public agencies.

Best regards,

Jesper

Jesper Larsen

Professor/Head of Division
MSc Director (Engineering Management)

Management Science

DTU Management Engineering

Technical University of Denmark

[http://www.dtu.dk/%7E/media/DTU_Generelt/Andet/DTU_email_logo_01.gif]

DTU Management Engineering

Produktionstorvet

Building 426

2800 Kgs. Lyngby

Denmark

Direct +45 45253385

jesla@dtu.dk<mailto:jesla@dtu.dk>

www.man.dtu.dk<http://www.man.dtu.dk>

[DMANET] Deadline approaching: IEEE/IFIP Workshop on Platforms and Applications for Smart Cities (PASC), in conjunction with IEEE/IFIP NOMS 2016

Call for Papers

IEEE/IFIP International Workshop on Platforms and Applications for Smart Cities (PASC), 29 April 2016 Istanbul, TURKEY

In Conjunction with IEEE/IFIP NOMS 2016

The accelerated development of the Internet-based information and communication technologies, telecommunications networks and systems, sensors and Internet of Things (IoT) has affected the cities worldwide by changes in physical infrastructure, utilities, buildings, climate, governance, transportation systems and in more areas. With the latest advanced technology, cities started to generate huge amount of data from different sources such as power plants, buildings, traffic, water management systems where smart sensors and meters measure kilowatt hours of electricity, kilometres per hours of traffic speed, liters of water, pollutant emission, or kilograms of waste. Smart city platforms bring data from various city infrastructures and form a unified management system for different purposes. Therefore integrating high degree of information technology using platforms and comprehensive applications of information resources gained great importance. The aim of the workshop is to br!
ing together researchers, engineers and experts from both academia and industry to discuss, identify and share experiences in smart city platforms, application areas and their deployments. We aim to develop guidelines, based on lessons learnt, that will contribute to the growth of the smart city community and we expect to exchange ideas, share new findings and discuss research challenges that cover a variety of topics including platforms and applications for:

* Smart Buildings
* Efficient Energy Management
* Internet of Things
* Environment and Urban Monitoring
* Mobile Crowdsourcing for Urban Analytics
* Enhancing Individual's Daily Life
* Smart Event Planning
* Water and Waste Management
* Smart Healthcare
* Safety, Security and Privacy
* Mobile Computing for Smart Cities
* Cloud Computing and Network Infrastructure
* E-Government Services
* Intelligent Traffic
* Emergency Management

Papers should be written in English, using the IEEE 2-column format, in PDF, limit of pages is 4 pages.
Only original papers, neither published before nor submitted for publication elsewhere, can be submitted.
All papers will be peer reviewed by at least three referees to assure a high quality technical program.

Important Dates:

Paper Submission Deadline : December 15, 2015
Acceptance Notification : January 30, 2016
Camera Ready Papers : February 15, 2016
Workshop Date : April 29, 2016

General Co-Chairs:
Yusuf Yaslan, Istanbul Technical University, Turkey
Valeria Loscri, Inria Lille-Nord Europe, France

Technical Program Co-Chairs:
Johann M. Marquez-Barja, Trinity College Dublin, Ireland
Payam Barnaghi, University of Surrey, United Kingdom

For More Information, please Visit

Workshop Website: http://pasc2016.itu.edu.tr <http://pasc2016.itu.edu.tr/>
NOMS 2016 Web Site: http://noms2016.ieee-noms.org <http://noms2016.ieee-noms.org/>

Thursday, December 3, 2015

[DMANET] Deadline Extension: SMART 2016 and URBAN COMPUTING 2016 || May 22 - 26, 2016 - Valencia, Spain

INVITATION:

=================
The submission deadline has been extended to January 19, 2016.

Please consider to contribute to and/or forward to the appropriate groups the following opportunity to submit and publish original scientific results to:

- SMART 2016, The Fifth International Conference on Smart Cities, Systems, Devices and Technologies

- URBAN COMPUTING 2016, The International Symposium on Emerging Frontiers of Urban Computing and Smart Cities

Authors of selected papers will be invited to submit extended article versions to one of the IARIA Journals: http://www.iariajournals.org
=================

============== SMART 2016 | URBAN COMPUTING 2016 | Call for Papers ===============

CALL FOR PAPERS, TUTORIALS, PANELS

SMART 2016, The Fifth International Conference on Smart Cities, Systems, Devices and Technologies
General page: http://www.iaria.org/conferences2016/SMART16.html
Submission page: http://www.iaria.org/conferences2016/SubmitSMART16.html

URBAN COMPUTING 2016, The International Symposium on Emerging Frontiers of Urban Computing and Smart Cities
General page: http://www.iaria.org/conferences2016/URBANCOMPUTING.html
Submission page: http://www.iaria.org/conferences2016/URBANCOMPUTING.html#SubmitAPaper

Events schedule: May 22 - 26, 2016 - Valencia, Spain

Contributions:
- regular papers [in the proceedings, digital library]
- short papers (work in progress) [in the proceedings, digital library]
- ideas: two pages [in the proceedings, digital library]
- extended abstracts: two pages [in the proceedings, digital library]
- posters: two pages [in the proceedings, digital library]
- posters: slide only [slide-deck posted at www.iaria.org]
- presentations: slide only [slide-deck posted at www.iaria.org]
- demos: two pages [posted at www.iaria.org]
- doctoral forum submissions: [in the proceedings, digital library]

Proposals for:
- mini symposia: see http://www.iaria.org/symposium.html
- workshops: see http://www.iaria.org/workshop.html
- tutorials: [slide-deck posed on www.iaria.org]
- panels: [slide-deck posed on www.iaria.org]

Submission deadline: January 19, 2016

Sponsored by IARIA, www.iaria.org
Extended versions of selected papers will be published in IARIA Journals: http://www.iariajournals.org
Print proceedings will be available via Curran Associates, Inc.: http://www.proceedings.com/9769.html
Articles will be archived in the free access ThinkMind Digital Library: http://www.thinkmind.org

The topics suggested by the conference can be discussed in term of concepts, state of the art, research, standards, implementations, running experiments, applications, and industrial case studies. Authors are invited to submit complete unpublished papers, which are not under review in any other conference or journal in the following, but not limited to, topic areas.

All tracks are open to both research and industry contributions, in terms of Regular papers, Posters, Work in progress, Technical/marketing/business presentations, Demos, Tutorials, and Panels.

Before submission, please check and comply with the editorial rules: http://www.iaria.org/editorialrules.html

SMART 2016 Topics (for topics and submission details: see CfP on the site)

Call for Papers: http://www.iaria.org/conferences2016/CfPSMART16.html

============================================================
Future cities
Digital cities
Senseable city networks
Smart houses
Dynamic urban communications
Knowledge on urban economy
Public display and search
Indoor communications
SHUI (Smart Home User Interfaces)
Smart mobility
Pervasive urban applications
Ubiquitous computing in digital cities
Mobile crowdsourcing applications
Rural communications
Ambient assisted living
Smart multimedia services
Smart antennas
Smart urban electric cars
Smart atmospheric and population migration measurements
Smart energy and optimal consumption
Smart hones
Smart spaces
Micro-payments and Ticketing by NFC mobile device
Ecological cities
Interactions between smart cities
Health informatics in smart cities
Mobility monitoring and control in smart environments
Navigating in smart environments
Smart information processing
Smart analytics
Internet of things in smart environments
Social networking in smart environments
Use Cases for Smart Homes/Cities
Sociocultural challenges in smart environments
Costs associated with smart cities
Citizen tracking systems
Animal tracking systems
Smart systems for animals behavior

URBAN COMPUTING 2016 Topics (for topics and submission details: see CfP on the site)

CfP: http://www.iaria.org/conferences2016/URBANCOMPUTING.html#CallForPapers

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

COMPUTING
Navigating the Urban jungle with SmartPhones
Crowdsourced data acquisition in the City
Enhancing City quality of life through mobile services
Urban computing and the Internet of Things
User-data interaction (interfaces, tools, other �sense-making� applications for users to use, mesh or create data)
Using data in heterogeneous environments (towards standard on system integration in Urban computing)
Urban Computing and Smart Cities

METERING
Metering infrastructure and Smart Cites
Architectures and protocols for (wireless) smart metering
Semantic sensing (Web sensors) for Urban information gathering
Smart buildings and green-oriented sensing
Smart grid and Urban energy distribution
Urban utility metering (gas, water, electricity, etc.)
Sensing urban mobility
Reliability and security/trust in Urban metering
Monitoring Big/Linked data metering
Standards for Smart Urban metering
Case studies

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

SMART 2016 Committee: http://www.iaria.org/conferences2016/ComSMART16.html

SMART General Chair
Sandra Sendra Compte, Polytechnic University of Valencia, Spain

SMART Advisory Committee
Wolfgang Leister, Norsk Regnesentral, Norway
Hoyoung Jeung, SAP Research Brisbane, Australia
Petri Koskelainen, Nokia - Sunnyvale, USA
Sherali Zeadally, University of Kentucky, USA
Susana Sargento, University of Aveiro/Institute of Telecommunications, Portugal
Rich Simpson, University of Pittsburgh, USA
Lasse Berntzen, Buskerud and Vestfold University College, Norway
Jeffrey Soar, University of Southern Queensland, Australia
Jerker Delsing, Lulea University of Technology, Sweden
Krishna Kant, George Mason University, USA
Luigi Patrono, University of Salento, Italy
Dmitry Namiot, Lomonosov Moscow State University, Russia
Francine Krief, University of Bordeaux, France
Pascal Urien, T�l�com ParisTech, France

SMART Industry/Research Chairs
Christian Prehofer, Kompetenzfeldleiter Adaptive Kommunikationssysteme / Fraunhofer-Einrichtung f�r Systeme der Kommunikationstechnik ESK � M�nchen, Germany
Ryosuke Ando, TTRI (Toyota Transportation Research Institute), Japan
Petko Bakalov - Environmental Systems Research Institute, USA
Gregor Broll, DOCOMO Euro-Labs, Germany
Yang Cui, Huawei Technologies - Beijing, China
Rodolfo de Paz Alberola, United Technologies Research Center Ireland � Cork, Ireland
Marko Jaakola, VTT Technical Research Centre of Finland, Finland
Hoyoung Jeung, SAP Research Brisbane, Australia
Lieven Trappeniers, Bell Labs Alcatel-Lucent, Belgium
Chengyang Zhang, Teradata Inc., USA
Fabio Pianesi, Fondazione Bruno Kessler - Trento, Italy
Fabio Moretti, ENEA, Italy

URBAN COMPUTING 2016 Committee: http://www.iaria.org/conferences2016/URBANCOMPUTING.html#Committees

URBAN COMPUTING 2016 Advisory Committee
Yi Pan, Georgia State University, USA
Amnon Dekel, The Hebrew University Jerusalem, Israel
Yan Cimon, University Laval, Quebec-City, Canada
Roberto de Bonis, Telecom Italia, Italy
====================

[DMANET] Postdoctoral positions at CMM, Santiago, Chile.

The Center for Mathematical Modeling (CMM) of Universidad de Chile, Santiago, Chile (www.cmm.uchile.cl <http://www.cmm.uchile.cl/>) is opening new postdoctoral positions for 2016.

We expect candidates highly motivated by the fundamental and applied research topics developed at CMM, and in particular by its current projects.

Candidates should exhibit evidence of outstanding research and to have received a Ph.D. degree in mathematics or related fields by the beginning of the appointment, and not before 2012.

Positions are for one year, renewable for up to two years, subject to an annual evaluation. Appointments should start before March-May 2016. Monthly salary will be of $1.800.000 (Chilean Pesos) before taxes.

Selected candidates will receive funding for the round trip to Chile and for participating in one international conference per year to present relevant results.

Submit curriculum vitae, research statement, three recommendation letters and fill the online form not later than January 4th, 2016.

The application can only be made through our website, section "job opportunities".

Decisions of postdoctoral positions will be made before end of January 2016.

[DMANET] Call for Papers - the 7th Workshop on Cooperative Games and Multiagent Systems (CoopMAS 2016)

Call for papers

Please consider submitting your work to the CoopMAS 2016 workshop:

http://mimuw.edu.pl/~tpm/CoopMas16/
Aims and Focus

The use of cooperative game theory to study how agents should
cooperate and collaborate, along with the related topic of coalition
formation, has received growing attention from the multiagent systems,
game theory, and electronic commerce communities.

The workshop is intended to focus on topics in cooperation in
multiagent systems, cooperative game theory, cooperative solution
concepts, coalition formation, and applications.

We encourage submission of papers describing original work, as well as
accepted AAMAS short papers, and work recently published in
conferences other than AAMAS. Topics of interest include, but are not
limited to:

- Cooperative game theory
- Coalition formation
- Joint decision making and voting
- Games on networks
- Game theoretic centrality
- Representation issues
- Negotiation
- Collaborative filtering
- Market and economics based cooperation
- Behavioral models for cooperative games
- Applications of cooperative solution concepts

The workshop should be of interest to researchers who study the
mathematical and algorithmic properties of cooperative games;
researchers interested in promoting cooperation in multiagent systems,
designing and implementing collaborating agents and mechanisms that
incentivize cooperation; and researchers studying the underlying
connections between cooperative game theory and other topics in game
theory and computer science.

We also welcome participants who are interested in applications of
cooperative game theory (for example, trading agents, recommender
systems, and energy and water management). In particular we encourage
submissions on empirical and experimental study of applying solution
concepts from cooperative game theory to real world problems.
Key dates

(may slightly change over the next month)

- Submission of contributions: February 1, 2016
- Acceptance notification: March 15, 2016
- Workshop: May 9-10, 2016

Submission Instructions

Submission must follow the Springer LNCS format (see
http://www.springer.com/computer/lncs?SGWID=016467933410 for
formatting instructions) and should be a maximum of 15 pages.

Papers must be submitted in PDF through easychair:
https://www.easychair.org/conferences/?conf=coopmas2016

CoopMAS is considered a nonarchival venue and there are no published
proceedings, though informal proceedings will be distributed to all
workshop participants.

*This means that publishing a paper in CoopMAS should not prevent one
from submitting it to a conference or a journal at the same or later
time.* The requirement to use the LNCS format is imposed to ensure
uniformity.

Organizers:
Yair Zick (co-chair), Carnegie Mellon University, USA.
yairzick@cmu.edu

Reshef Meir (co-chair), Harvard University, USA.
rmeir@seas.harvard.edu

Tomasz Michalak (co-chair), University of Oxford, UK.
tomasz.michalak@cs.ox.ac.uk

[DMANET] NEW DEADLINE 31st DECEMBER: SI of Elsevier Pervasive and Mobile Computing on Pervasive Social Computing

********
*
* NEW SUBMISSION DEADLINE: 31st DECEMBER 2015
*
********

CALL FOR PAPERS

Elsevier - Pervasive and Mobile Computing
Special Issue on
Pervasive Social Computing
http://www.journals.elsevier.com/pervasive-and-mobile-computing/call-for-papers/

NEW Submission Deadline: 31 December 2015

Pervasive Social Computing represents a new paradigm resulting from
the convergence of Pervasive Mobile Computing with Social Networking;
it aims to take advantage of human social relationships to enable the
attainment of users' tasks in different domains. On the one hand, the
impressive diffusion of Online Social Networking platforms is making
OSNs a pervasive tool for maintaining social relationships between
people. On the other hand, the diffusion of mobile personal devices
with rich networking and computing capabilities is fostering novel
patterns of users interactions through social networks, also depending
on the dynamic context and locations of the users. Last but not least,
pervasive mobile technologies enable completely novel types of social
networking applications and services, such as Mobile Social Networks.
The enormous potential of Pervasive Social Computing is leading
scientific communities in different disciplines, from computer science
to social science, communication science and economy, to analyze,
study and provide new theories, models, methods, technological
solutions and case studies. Interestingly, more and more Pervasive
Mobile Computing technologies are designed using inter-disciplinary
approaches, that exploit models of the users personal and social
behavior to design algorithms, protocols, services and applications.

The special issue aims to encourage the multidisciplinary discussion
involving academics, researchers and professionals on theories,
approaches, analysis, design and evaluation of services and networking
solutions for Pervasive Social Computing. Researchers are increasingly
interested in addressing a wide range of Pervasive Social Computing
challenges residing in Social networks and Social Computing systems
including: their architecture, algorithms and protocols for social
networking services, the creation of new analysis models, the
monitoring of emerging trends, studies on trust, privacy and security
issues and their potential applications.

The list of topics includes, but is not limited to:
- Security, privacy and trust in Pervasive Social Computing systems
- Innovative Pervasive Social Computing services and applications
- Architectures, algorithms and protocols for Pervasive Social
Computing systems
- Mobile networking solutions for Pervasive Social Computing
- Context modeling, reasoning and context awareness in Pervasive
Social Computing
- Pervasive sensing technologies applied to Pervasive Social Computing
- Opportunistic networking for Pervasive Social Computing
- Innovative Mobile Social Networking technologies and services
- Inter-disciplinary approaches to the design of Pervasive Social
Computing systems
- Analysis of users social interactions in mobile and pervasive social
networks
- Novel Online Social Networking services and users' behaviors enabled
by pervasive mobile networks
- Real experiences and experiments with Pervasive Social Computing
systems and applications
- Opportunistic and transient social interactions in Pervasive Social
Computing systems
- Social and economic models for Pervasive Social Computing systems
- Pervasive and social collaboration tools
- Impacts of Pervasive Social Computing on users' behaviour in
different domains (e.g. e-business, e-market, e-learning, e-health)

Schedule
NEW Submission deadline: December 31st, 2015
Initial feedback to authors: March 31st, 2016
Revised papers due: May 15th, 2016
Final authors notification: June 30th, 2016
Expected Publication of the Special Issue: 4th Quarter 2016

Guest Editors
Patrizia Grifoni, IRPPS-CNR, Italy
Fernando Ferri, IRPPS-CNR, Italy
Alessia D'Andrea, IRPPS-CNR, Italy
Tiziana Guzzo, IRPPS-CNR, Italy
Andrea Passarella, IIT-CNR, Italy

Instructions for submission
All submissions have to be prepared according to the Guide for Authors
as published in the Journal website at http://www.ees.elsevier.com/pmc/.
Authors should select "SI: PSC", from the "Choose Article Type"
pull-down menu during the submission process. All contributions must
not have been previously published or be under consideration for
publication elsewhere. A submission based on one or more papers that
appeared elsewhere has to comprise major value-added extensions over
what appeared previously (at least 30% new and significant material).
Authors are requested to attach to the submitted paper their relevant,
previously published articles and a summary document explaining the
enhancements made in the journal version. In addition, such papers
must be referenced, and the difference clearly explained, in the
submitted paper.

For further information, please contact the guest editors at pmc-psc at iit.cnr.it

[DMANET] Holiday competition by Kaggle and FICO

Dear colleagues,

For the second time in a row, FICO is sponsoring Kaggle's Holiday
Competition:
https://www.kaggle.com/c/santas-stolen-sleigh/

There are prices in three categories and you can win up to $20000.

This is an opportunity for OR practitioners to compete with data
scientists on an unusual and difficult vehicle routing problem.

Researchers, professionals and students are invited to participate. You
are free to use the tools of your choice; there is a special prize for
submissions using the FICO Xpress Optimization Suite.
For more information, see also:
https://community.fico.com/community/products-%26-solutions-support/xpressdiscuss/kaggle-holiday-2015-competition/

Have fun, good luck and happy holidays!
Timo

Timo Berthold, Sr. Engineer, Fair Isaac Germany GmbH, timoberthold@fico.com

[DMANET] IWOBIP16 (Mexico, March 7 - 11, 2016)

Dear all, the organizer of this workshop on bilevel programming asked
me to relay this to the list. Please contact him
<jose.camachovl@uanl.edu.mx> for any questions, not me.
Leo Liberti

1st International Workshop on Bi-level Programming (IWOBIP'16)
http://bi-level.fcfm.uanl.mx

The IWOBIP'16 will be held in Nuevo Leon, Mexico; from March 7th to 11th, 2016.

Extended deadline for registration: December, 17th.

The main motivation for hosting the IWOBIP'16 is to bring together a
group of academicians, practitioners and students working on this
topic. Also, to attract young researchers and graduated students
(master and PhD students) who are specializing in Bi-level
Programming.

The workshop will take place at the main campus of the Universidad
Autonoma de Nuevo Leon (UANL) located in the city of San Nicolas de
los Garza in the state of Nuevo León, México from Monday 7th to
Friday 11th, March 2016. The city of San Nicolas de los Garza is in
the metropolitan area of Monterrey (state's capital), making it easy
and accessible for commuting within the area. The metropolitan area
hosts more than four million people and offers a wide variety of
tourist, recreational and cultural sites, which undoubtedly will make
the stay more attractive during the workshop.

IWOBIP'16 will consist of plenary lectures and mini-courses, both
given by world-renowned researchers. Furthermore, research lectures
presented by attendees of the event will be offered. There will also
be a tour organized by the local committee for the integration and
interaction of the participants to the event. It is important to
mention that there will not be parallel sessions; only one daily main
session will be scheduled because of the degree of specialization of
the workshop. Among the topics of interest of the IWOBIP'16 are:
theory, exact methods, heuristic algorithms and interesting
applications modeled as bi-level programming problems.

The Confirmed Plenary Speakers

- Martine Labbé (Université Libre de Bruxelles, Belgium)
Stackelberg games and bilevel bilinear optimization problem

- Boris Mordukhovich (Wayne State University, USA)
Bilevel programming via generalized convexity and variational analysis

- Vyacheslav Kalashnikov (Tecnológico de Monterrey, Mexico)
A Heuristic Algorithm to Solve Bilevel Toll Optimization Problems

- Leo Liberti (École Polytechnique, France)
Measuring Smart Grids: Optimal Placement of Sensors in Power Grids

Confirmed Mini-courses

- Stephan Dempe (TU Bergakademie Freiberg, Germany)
Solution approaches for optimistic bilevel optimization problems

- Ankur Sinha (Indian Institute of Management Ahmedabad, India)
Evolutionary Bilevel Optimization: Applications and Methodologies

- Jakub Mareček (IBM Research, Ireland)
Probabilistic analyses in bi-level optimisation under uncertainty

- Carmen Galé (Universidad de Zaragoza, Spain)
Theoretical and algorithmic approaches to Bilevel programming

The workshop official languages are English and Spanish. The plenary
lectures and the mini-courses will be in English or Spanish. In the
case they are in Spanish, the slides will be in English.

REGISTRATION AND SCHOLARSHIPS:

There are three types of registration: full scholarship, regular
scholarship and regular application. Registers must select one of the
three categories just mentioned.

- We will have around 35 full scholarships for the workshop
participants (only students), the scholarship includes 6 nights in
shared room during the event, meals during the day in the event and
the registration fee. Transportation to the event is paid by the
applicant.

- The regular scholarship only covers the registration fee. It is
basically for local students or foreign students who do not achieve
the full scholarship.

- For the regular application, the submission will only consist on the
abstract of the presentation (without recommendation letter and
curriculum vitae). The applicant must cover his/her registration fee
in the indicated dates to be included in the event.

Those interested in participating in the IWOBIP'16 must submit the
following documents in PDF format to the following email address
bi_level@fcfm.uanl.mx :

- The submission form posted in the workshop's webpage.
- An abstract of the research work to expose (between 250 and 500
words) with three keywords in the appropriate format (available on the
event's webpage).
- A recommendation letter (preferably from your advisor –in case of students-).
- Short curriculum vitae.

The results of the Scientific Committee will be decisive and will be
posted on the workshop's webpage. Those who will participate in the
workshop (regardless the registration type) must complete a form with
personal information.

Registration fees:
before 31/1/16: students 100 USD, researchers 200 USD.
after 01/02/2016: students 200 USD, researchers 250 USD.

Dates:

10/09/2015 Beginning for applications
17/12/2015 Deadline for applications
21/12/2015 Notification of acceptation/rejection and the type of scholarship
22/01/2016 Deadline for covering the registration fee
27/01/2016 Final confirmation of the attendees with scholarship
12/02/2016 Publication of the complete program
05/03/2016 Beginning of the 1st International Workshop on Bi-level Programming

IWOBIP'16 is organized by José-Fernando Camacho-Vallejo
(jose.camachovl@uanl.edu.mx).

Wednesday, December 2, 2015

[DMANET] Call for Papers: Diagrams 2016 (9th Int'l Conference on the Theory and Application of Diagrams)

Call for Papers: Diagrams 2016

Ninth International Conference on the Theory and Application of Diagrams
http://www.diagrams-conference.org/2016
diagrams2016@diagrams-conference.org<mailto:diagrams2016@diagrams-conference.org>

7th to 10th August, 2016
Philadelphia, Pennsylvania, USA

* CALL FOR PAPERS *

Diagrams is an international interdisciplinary conference series, covering all aspects of research on the theory and application of diagrams. In 2016 it will be held near Philadelphia at the ACE Conference Center in Lafayette Hill, Pennsylvania, USA. Diagrams 2016 will run from 7th of August 2016 to the 10th of August 2016. It will be co-located with Spatial Cognition 2016<http://sites.temple.edu/sc16/> (2-5 August) and Cognitive Science 2016<http://cognitivesciencesociety.org/conference_future.html> (10-13 August).

Diagrams is the only conference series that provides a united forum for all areas that are concerned with the study of diagrams, including architecture, artificial intelligence, biology, cartography, cognitive science, computer science, education, graphic design, history of science, human-computer interaction, linguistics, logic, mathematics, philosophy, psychology, and software modelling. The conference attracts a large number of researchers from almost all these related fields, positioning Diagrams as the major international event in the area. Diagrams 2016 is the ninth conference in the bi-annual series that started in 2000.

Diagrams 2016 will include presentations of refereed papers, posters, tutorials, workshop sessions, and a graduate symposium. We invite submissions that focus on any aspect of diagrams research, as follows:

- long research papers (15 pages)

- short research papers (7 pages)

- posters (3 pages)

- tutorial proposals (2 pages; see the conference web page for full details)

- workshop proposals (2 pages; see the conference web page for full details)

- graduate symposium submissions (3 pages; see the conference web page for full details)

All submissions will be fully peer reviewed. The proceedings, which will include accepted long and short papers and posters, will be published by Springer in their Lecture Notes in Computer Science series, http://www.springer.com/lncs. Submissions will be administered via Easychair with details following on the conference web site. Full details on the preparation of submissions can be found on the conference web site.

Conference topics include, but are not limited to:
- applications of diagrams
- computational models of reasoning with, and interpretation of, diagrams
- design of diagrammatic notations
- diagram understanding by humans or machines
- diagram aesthetics and layout
- educational uses of diagrams
- evaluation of diagrammatic notations
- graphical communication and literacy
- heterogeneous notations involving diagrams
- history of diagrammatic notations
- information visualization using diagrams
- nature of diagrams and diagramming
- novel technologies for diagram use
- psychological issues pertaining to perception, comprehension or production of diagrams
- software to support the use of diagrams
- usability and human-computer interaction issues concerning diagrams

* Submission Dates *

Abstract submissions: 4 January 2016
Paper and poster submissions: 11 January 2016
Workshop proposal submissions: 18 January 2016
Tutorial proposal submissions: 18 January 2016

Initial Paper Notification (for rebuttal): 19 February 2016
Final Paper Notification: 14 March 2016

Graduate symposium submissions: 21 March 2016

Conference dates: 7 to 10 August 2016

* Organising Committee *

General Chair: Stephanie Schwartz (Millersville University, USA)
Program Chairs: Mateja Jamnik (The University of Cambridge, UK),
Yuri Uesaka (The University of Tokyo, Japan)
Local Chair: Richard Burns (West Chester University, USA)
Workshops and Tutorials Chair: Aidan Delaney (The University of Brighton, UK)
Graduate Symposium Chair: Luana Micallef (Helsinki Institute for Information Technology, Finland)

Postdoctoral Fellowships, Center for the Mathematics of Information (CMI), Caltech

Caltech's Center for the Mathematics of Information (CMI) announces openings
for postdoctoral fellowships starting in fall 2016. The CMI is dedicated to
fundamental mathematical research with an eye to the roles of information
and computation throughout science and engineering. Areas of interest
include algorithms, complexity, applied combinatorics, applied probability &
stochastic processes, statistics & machine learning, information & coding
theory, control & dynamical systems, optimization, networked systems,
autonomous systems, geometry processing, formal verification, and
multiresolution methods.

A CV, a Research Statement, and three reference letters are required. A
Teaching Statement is optional. All candidate materials are due by Friday,
December 18, 2015 and letters are due by Thursday, December 31, 2015.
Positions are contingent upon completion of the PhD.

Apply at https://www.mathjobs.org/jobs/jobs/7903, or log in to
https://mathjobs.org, select "Jobs" from the top menu, and in the "Find by
ID#" field (top right), search for "7903" (without quotes).

[DMANET] ECCO 2016 conference: paper submission is open (Tamás Kis)

EURO Working Group on Combinatorial Optimization

CALL FOR PAPERS
The 29th Conference of the European Chapter on Combinatorial Optimization
ECCO XXIX 2016
http://ecco2016.euro-online.org/
May 26-28, 2016.

Eötvös Loránd University, Budapest, Hungary

PAPER SUBMISSION DEADLINE: March 1st, 2016.
PAPER SUBMISSION IS OPEN!

The 29th Conference of the European Chapter on Combinatorial Optimization will be jointly organized by the Institute of Computer Science and Control of the Hungarian Academy of Sciences, and the Eötvös Loránd University in Budapest, Hungary on May 26 - 28, 2016. ECCO (European Chapter on Combinatorial Optimization) is a working group of EURO (Association of European Operational Research Societies) that provides an excellent opportunity to discuss recent and important issues in Combinatorial Optimization and its applications.

The ECCO annual meetings aim to bring together researchers in the field of Combinatorial Optimization to present their work, share experiences, and discuss recent advances in theory and applications. The primary objectives are:
*exchanging results and experiences in solving real-world combinatorial optimization problems
*reporting on development and implementation of appropriate models and efficient solution methods for combinatorial optimization problems
*establishing networking contacts between individuals and research groups working on related topics
*promoting the work on combinatorial optimization (theory and applications) to the broader scientific community
*identifying challenging research problems for the field, as well as promising research outlets (both in theory and applications)
*promoting interactions with researchers in other related fields

We seek submissions in all areas of combinatorial optimization from theory through applications.

The submission is limited to a half to one page abstract.

Confirmed Plenary Speakers

András Frank, Eötvös University, Hungary.
David Pisinger, Technical University of Denmark.
Leo Liberti, CNRS LIX, École Polytechnique, France.
Andrej Brodnik, University of Ljubljana, Slovenia.

Program committee

Jacek Blazewicz, Polish Academy of Sciences Poznán, Poland.
Van-Dat Cung, Grenoble INP, France.
János Csirik, University of Szeged, Hungary,
Gábor Galambos, University of Szeged, Hungary.
Alain Hertz, École Polytechnique Montréal, Canada.
Tibor Jordán, Eötvös Loránd University, Hungary.
Tamás Kis, Institute for Computer Science and Control, Hungary (Chairperson).
Silvano Martello, University of Bologna, Italy.
Paolo Toth, University of Bologna, Italy.

Important Dates

December 1st, 2015: abstract submission starts
March 1st, 2016: deadline for abstract submission
March 17th, 2016: notification of acceptance
April 1st, 2016: deadline for early registration
May 26th-28th, 2016: ECCO XXIX 2016 Conference in Budapest

[DMANET] LION 10 - Call for Papers (Deadline Dec 18)

~~~~~~~ Call for Papers ~~~~~~

LION 10

The 10th *L*earning and *I*ntelligent *O*ptimizatio*N *Conference

Ischia Island (Napoli), Italy

29 May - 1 June, 2016

Website: http://www.lion10.unina.it
E-mail: infolion10@unina.it

The focus of the conference is on exploring the intersections and uncharted
territories between machine learning, artificial intelligence, mathematical
programming and algorithms for hard optimization problems. The main purpose
of the event is to bring together experts from these areas to discuss new
ideas and methods, challenges and opportunities in various application
areas, general trends and specific developments.

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

*SUBMISSION DEADLINE: *December 18, 2015 23:59 GMT+1;

*Notification: *March 25, 2016 23:59 GMT+1;

There are three possible formats for submissions:

- Long paper: original novel and unpublished work (max. 15 pages in LNCS
format);
- Short paper: an extended abstract of novel work (max. 6 pages in LNCS
format);
- Work for oral presentation only (no page restriction; previously
published work)

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

*Technical Program Chairs*

Paola Festa

Meinolf Sellmann

Joaquin Vanschoren

*Technical Program Committee (partial)*

Carlos Ansótegui

Bernd Bischl

Christian Blum

Mauro Brunato

André Carvalho

John Chinneck

Andre Cire

Luca Di Gaspero

Bistra Dilkina

Tias Guns

Eyke Hüllermeier

Frank Hutter

George Katsirelos

Lars Kotthoff

Dario Landa-Silva

Hoong Chuin Lau

Jimmy Lee

Marie-Eléonore Marmion

George Nemhauser

Barry O'Sullivan

Claude-Guy Quimper

Helena Ramalhinho Lourenço

Francesca Rossi

Ashish Sabharwal

Horst Samulowitz

Marc Schoenauer

Bart Selman

Yaroslav Sergeyev

Carlos Soares

Peter J. Stuckey

Thomas Stützle

Eric D. Taillard

Michael Trick

Petr Vilím

*Steering Committee*

Roberto Battiti (head)

Holger Hoos

Youssef Hamadi

Mauro Brunato

Thomas Stützle

Christian Blum

Martin Charles Golumbic

Marc Schoenauer

Xin Yao

Benjamin W. Wah

*Organizing Committee*

Daniele Ferone

Paola Festa (chair)

Antonio Napoletano

Tommaso Pastore

Giuseppe Vettigli

*Publicity chair*

Bistra Dilkina

Tuesday, December 1, 2015

Multiple Postdoctoral Programs at the Israeli center of research excellence in Algorithms (Deadline is Dec. 15, 2015)

Multiple Postdoctoral Programs at the Israeli center of research
excellence in Algorithms
-----------------------------------------------------------------------------------------------------------------------

We are seeking excellent candidates for three postdoctoral programs:

1. I-CORE in Algorithms postdoctoral program

2. I-CORE in Algorithms and the Simons Institute for the Theory of
Computing in Berkeley - a joint postdoctoral program

I-CORE in Algorithms postdoctoral program
-------------------------------------------------------------------

We are seeking excellent candidates for postdoctoral positions at the
I-CORE ALGO (Israeli center of research excellence in algorithms)
institutes. The positions are supported by the Israeli Science
Foundation (ISF). The Israeli Center of Research Excellence in
Algorithms is part of the I-CORE program, initiated by the Government
of Israel and adopted by Israel's Council of Higher Education, in
order to reinforce Israel's intellectual capacities and promote
synergy among Israel's leading research centers. The institutes
participating in the center are:

* The Blavatnik School of Computer Science, Tel Aviv University.
* The Rachel and Selim Benin School of Computer Science and
Engineering, The Hebrew University of Jerusalem.
* Faculty of Mathematics and Computer Science, Weizmann Institute of Science.

Topics of interest include (but are not limited to):

all variety of algorithms (optimization, online, streaming,
approximation, randomized, geometric and more), cryptography, security
and privacy, algorithmic game theory, quantum computing, networking
and distributed computing, databases, machine learning and computer
vision.

To apply please send the following to icorealgo@cs.tau.ac.il
(deadline: 15/12/15)

* A CV of the applicant including the list of publications.
* A short research statement.
* The preferable I-CORE ALGO fellow to work with (if already known)
and institution in I-CORE ALGO. (There is a possibility of more than
one fellow and/or institution.)

In addition, all applicants should ensure that their recommenders
email their letters (as pdf files) to the email address above, with
the subject line "<candidate_name>: recommendation". (It is the
applicant's responsibility to ensure that the letters are sent; the
Institute will not solicit letters directly.)

The deadline is 15th December 2015, 24:00 (at GMT+1)

I-CORE in Algorithms and the Simons Institute for the Theory of
Computing in Berkeley - a joint postdoctoral program
--------------------------------------------------------------------------------------------------------------------

I-CORE Algo – Israeli Center of Research Excellence in algorithms and
the Simons Institute for the Theory of Computing are seeking excellent
candidates for a joint postdoctoral program starting in the academic
year 2016-2017.

The Israeli Center of Research Excellence in Algorithms is part of the
I-CORE program, initiated by the Government of Israel and adopted by
Israel's Council of Higher Education, in order to reinforce Israel's
intellectual capacities and promote synergy among Israel's leading
research centers. The members of the center are some of Israel's most
exceptional computer scientists, from The Blavatnik School of Computer
Science in Tel Aviv University, The Rachel and Selim Benin School of
Computer Science and Engineering in The Hebrew University of
Jerusalem, and the Faculty of Mathematics and Computer Science in
Weizmann Institute of Science.

The Simons Institute for the Theory of Computing is an exciting new
venue for collaborative research in theoretical computer science and
related fields. The Institute is housed in a dedicated building on the
UC Berkeley campus, and acts as a vibrant and welcoming environment
for visiting researchers. In each academic semester the activities of
the Institute are largely focused on specific research programs, each
of which attracts thirty to forty participants ranging from senior
scientists to graduate students. The Simons Institute for the Theory
of Computing was created in 2012 through a ten-year grant from the
Simons Foundation (more information can be found at:
http://simons.berkeley.edu/fellows2015).

The joint postdoctoral position would start in Fall 2016. The joint
post-doctoral fellow will first spend a semester (Fall 2016) at the
Simons Institute, and then will continue at the I-Core in Algorithms
for the remainder of the academic year. The topics of the research
programs for Fall 2016 in the Simons Institute are "Logical Structures
in Computation" and "Algorithms and Uncertainty". The topics of the
research programs for Spring 2017 in the Simons Institute are
"Foundations of Machine Learning" and "Pseudorandomness".

The topics of research in I-CORE in Algorithms include (but are not limited to):
all variety of algorithms (optimization, online, streaming,
approximation, randomized, geometric and more), cryptography, security
and privacy, algorithmic game theory, quantum computing, networking
and distributed computing, databases, machine learning and computer
vision. The research interests of potential candidates should match
the research interests of both institutions.

Salaries and benefits are competitive and assistance with visas and
housing will be provided.

We particularly encourage applications from outstanding women and
minority candidates. In addition, the I-CORE in Algorithms would
provide some support to travel to and from Israel. In some
circumstances, the fellowship maybe be awarded for more than one year,
up to a maximum of two years.

APPLICATION INSTRUCTIONS

Each applicant should submit the following documents (as pdf files) in
a single email to icorealgo@cs.tau.ac.il.

- Cover letter, including current institution and employment status,
(expected) date of PhD, and a statement indicating the Simons
Institute program (or programs) in which you wish to participate, and
why. For the I-CORE Algo please indicate which institute you would
like to perform the research at (can be more than one);
- curriculum vitae, including full list of publications;
- research statement;
- names and email addresses of at least three recommenders.

In addition, all applicants should ensure that their recommenders
email their letters (as pdf files) to the email address above, with
the subject line "<candidate_name>: recommendation". (It is the
applicant's responsibility to ensure that the letters are sent; I-CORE
will not solicit letters directly.)

The deadline for receipt of all application materials, including
letters, is December 15, 2015.

[DMANET] KaMIS -- Karlsruhe Maximum Independent Sets

Release of KaMIS v1.0
-----------------------------------

We are pleased to announce the release of our framework KaMIS (Karlsruhe
Maximum Independent Sets). So far our framework contains an advanced
evolutionary algorithm based on graph partitioning (using the KaHIP
partitioning framework) and incorporates kernelization techniques to
compute large independent sets in huge sparse networks. Our algorithm
uses reduction techniques and recursively chooses vertices that are
likely to be in a large independent set, to then further kernelize the
graph. This opens up the reduction space -- which not only speeds up the
computation of large independent sets drastically, but also enables us
to compute high-quality independent sets on massive instances.

The software is released under the GPL 2.0 License.

* open source implementation / website
http://algo2.iti.kit.edu/kahip/

We are glad for any comments and error reports (or even bug fixes) that
you send us.

Sebastian Lamm, Peter Sanders, Christian Schulz, Darren Strash and
Renato Werneck
Karlsruhe Institute of Technology (KIT)

[DMANET] EURO28: Optimization in Public Transport

Call for Sessions within the Stream

===== Optimization in PUBLIC TRANSPORT =====

at the 28th EURO Conference
July 3-6, 2016 in Poznan, Poland

http://www.euro2016.poznan.pl/

Following the success of the Public Transport stream at the previous EURO conferences,
EURO 2016 will again offer a stream "Optimization in Public Transport" organized by
Leo Kroon and Anita Schöbel.

We are now looking for session organizers and for papers fitting in this stream!

Are you interested to organize a session of 4 talks on within this stream?
This task involves choosing the specific topic, contacting speakers, and handling their
submissions in the online system of the conference, to which you will get access then.
Usually, but not necessarily, the session organizer is also session speaker and/or chair.
If you are interested, please let us know.

In case you want to present a paper within the stream, but do not want to organize
a full session, please let us know as well. We are glad to send you a session code
such that you may submit your paper in an invited session.

We are looking forward to a successful Public Transportation stream at EURO 2016
and to meeting you in Poznan!

Anita Schöbel
University of Göttingen
schoebel@math.uni-goettingen.de

Leo Kroon
NS Reizigers
Rotterdam School of Management
lkroon@rsm.nl

[DMANET] 71st (German) Workshop on Algorithms and Complexity [in German]

Liebe Kolleginnen und Kollegen,

wir möchten Sie herzlich zum

**** 71. Workshop über Algorithmen und Komplexität *****

am *** 15. und 16. Februar 2016 *** (Montag und Dienstag)

an der TU Dortmund einladen und Sie bitten, in Ihren Gruppen auf diesen Workshop hinzuweisen.

Informationen zum aktuellen Workshop finden Sie unter http://tt71.cs.tu-dortmund.de/.

(Leider haben wir unsere Webseiten gerade erst erneuert und es könnte sein, dass Ihr Browser dieser Seite nicht vertraut)

Beachten Sie bitte: es gibt geblockte Übernachtungskontingente, die bis zum ***18.1.2016*** abgerufen werden können.

Die Webseite der Workshopreihe ist http://www.thi.uni-hannover.de/theorietag-workshop.html.

Wir würden uns freuen, wenn Sie mit einem Vortrag zum Programm des Workshops beitragen könnten. Teilen Sie uns dies gegebenfalls bitte mit und senden Sie bis zum *** 1. Februar 2016*** einen Abstract per Email an theorietag@ls1.cs.tu-dortmund.de. Statt eines Abstracts können Sie auch einen maximal 5-seitigen Artikel einreichen.

Das Programm wird auch einen eingeladenen Vortrag von Martin Grohe (RWTH Aachen) umfassen.

Wenn Sie teilnehmen wollen ohne einen Vortrag zu halten, melden Sie sich bitte bis zum ***7.2.2016*** an, damit wir genügend viele Heiß- und Kaltgetränke bereit stellen können.

Der Workshop soll am 15.2.. gegen Mittag beginnen und am 16.2. gegen Mittag enden.

Zusammengefasst sind die „important dates" also:

- 18.1.: Hotelbuchungen (für Kontingente)
- 1.2.: Anmeldung Vorträge (und Einreichung Abstracts/Papers)
- 8.2.: Anmeldung Teilnehmer
- 15./16.2.: Workshop

Mit freundlichen Grüßen

Beate Bollig
Johannes Fischer
Thomas Schwentick
Christian Sohler
Nils Vortmeier

PS: Falls Sie dauerhaft Interesse an dieser Workshopreihe haben, können Sie sich über die Webseite http://www.thi.uni-hannover.de/theorietag-workshop.html in die Mailingliste eintragen.

[DMANET] Call for Papers: The 5th International Workshop on Parallel and Distributed Computing for Large Scale Machine Learning and Big Data Analytics

**********************************************************************************************
ParLearning 2016 - The 5th International Workshop on Parallel and
Distributed
Computing for Large Scale Machine Learning and Big Data Analytics
http://parlearning.ecs.fullerton.edu/
May 27, 2016
Chicago, USA

in conjunction with
The 30th IEEE International Parallel & Distributed Processing Symposium
(IPDPS 2016)
http://www.ipdps.org/
May 23-27, 2016
Chicago Hyatt Regency
Chicago, Illinois, USA
**********************************************************************************************

Call for Papers

Scaling up machine-learning (ML), data mining (DM) and reasoning algorithms
from Artificial Intelligence (AI) for massive datasets is a major technical
challenge in the times of "Big Data". The past ten years has seen the rise
of multi-core and GPU based computing. In distributed computing, several
frameworks such as Mahout, GraphLab and Spark continue to appear to
facilitate scaling up ML/DM/AI algorithms using higher levels of
abstraction. We invite novel works that advance the trio-fields of ML/DM/AI
through development of scalable algorithms or computing frameworks. Ideal
submissions would be characterized as scaling up X on Y, where potential
choices for X and Y are provided below.

Scaling up

recommender systems
gradient descent algorithms
deep learning
sampling/sketching techniques
clustering (agglomerative techniques, graph clustering, clustering
heterogeneous data)
classification (SVM and other classifiers)
SVD
probabilistic inference (bayesian networks)
logical reasoning
graph algorithms and graph mining

Parallel architectures/frameworks (OpenMP, OpenCL, Intel TBB)
Distributed systems/frameworks (GraphLab, Hadoop, MPI, Spark etc.)

Organization

Charalampos Chelmis, University of Southern California, USA
Sutanay Choudhury, Pacific Northwest National Laboratory, USA
Arindam Pal, TCS Innovation Labs, India
Anand Panangadan, California State University, Fullerton, USA
Yinglong Xia, IBM T.J. Watson Research Center, USA

Program Committee

Danny Bickson, GraphLab Inc., USA
Zhihui Du, Tsinghua University, China
Dinesh Garg, IBM India Research Laboratory, India
Renato Porfirio Ishii, Federal University of Mato Grosso do Sul (UFMS),
Brazil
Ananth Kalyanaraman, Washington State University, USA
Gwo Giun (Chris) Lee, National Cheng Kung University, Taiwan
Carson Leung, University of Manitoba, Canada
Debnath Mukherjee, TCS Innovation Labs, India
Arijit Mukherjee, TCS Innovation Labs, India
Francesco Parisi, University of Calabria, Italy
Himadri Sekhar Paul, TCS Innovation Labs, India
Gautam Shroff, TCS Innovation Labs, India
Aniruddha Sinha, TCS Innovation Labs, India
Jianting Zhang, City College of New York, USA

Important Dates

Paper submission: January 15, 2016 AoE
Notification: February 12, 2016
Camera Ready: February 26, 2016

Paper Guidelines

Submitted manuscripts may not exceed 6 single-spaced double-column pages
using 10-point size font on 8.5x11 inch pages (IEEE conference style),
including figures, tables, and references. Format requirements are posted
on the IEEE IPDPS web page.

All submissions must be uploaded electronically at
http://edas.info/newPaper.php?c=21782

Regards,
Dr. Arindam Pal
Research Scientist
Innovation Labs Kolkata
TCS Research
http://www.cse.iitd.ac.in/~arindamp/

[DMANET] Announcement: PhDs in Logic VIII, Darmstadt, May 9-11, 2016

Dear logicians,

we would like to inform you about the following event:

Call for submissions: PhDs in Logic VIII, Darmstadt, May 9-11, 2016

"PhDs in Logic" is an annual graduate conference organised by local graduate
students. This conference has an interdisciplinary character, welcoming
contributions to various topics in Mathematical Logic, Philosophical Logic,
and Logic in Computer Science. It involves tutorials by established
researchers as well as short presentations by PhD students on their
research.

We are happy to announce that the next edition of "PhDs in Logic" will
take place in Darmstadt, Germany, during May 9-11 2016, hosted by the
Logic research group of the Department of Mathematics, TU Darmstadt.

Confirmed tutorial speakers are :

Mirna Dzamonja (University of East Anglia, UK)

Nina Gierasimczuk (University of Amsterdam, the Netherlands)

Ulrich Kohlenbach (TU Darmstadt, Germany)

Piotr Kowalski (University of Wroklaw, Poland)

Martin Otto (TU Darmstadt, Germany)

Registration and abstract submission for interested PhD students are
now open. We welcome contributions from any general field of Logic.
The deadline for abstract submission is February 7, 2016. For more
information please
see:http://www.mathematik.tu-darmstadt.de/fbereiche/logik/phdsinlogic2016/?site=home

Local organisers:

Julian Bitterlich, Felix Canavoi, Angeliki Koutsoukou-Argyraki,
Daniel Koernlein, Florian Steinberg

Technische Universität Darmstadt
Department of Mathematics
Logic Group <http://www3.mathematik.tu-darmstadt.de/en/ags/ag-logik/arbeitsgruppe-logik.html>

Schloßgartenstr. 7
64289 Darmstadt
Germany

[DMANET] BCTCS 2016, March 22-24, Queen's University Belfast (fwd)

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

British Colloquium for Theoretical Computer Science
Queen's University Belfast
22nd-24th March 2016

https://sites.google.com/a/monoid.at/bctcs-2016/

The 32th British Colloquium for Theoretical Computer Science (BCTCS)
will be hosted by the Department of Computer Science, Queen's University
of Belfast, from 22nd to 24th March, 2016.

The purpose of BCTCS is to provide a forum in which researchers in
theoretical computer science can meet, present research findings, and
discuss developments in the field. It also aims to provide an
environment in which PhD students can gain experience in presenting
their work, and benefit from contact with established researchers.

The scope of the colloquium includes all aspects of theoretical computer
science, including automata theory, algorithms, complexity theory,
semantics, formal methods, concurrency, types, languages and logics.
Both computer scientists and mathematicians are welcome to attend, as
are participants from outside of the UK.

The colloquium features both invited and contributed talks. This year
the invited speakers are as follows:

- Michael J Butler, University of Southampton

- Rob Gilles, Queen's University Belfast

- Magnús Halldórsson, Reykjavik University

- Matthew Hennessy, Trinity College Dublin

- Valerie King, University of Victoria, Canada
(The LMS Keynote Speaker in Discrete Maths)

We are grateful for support from the Heilbronn Institute for
Mathematical Research which will provide bursaries for 5 students to
cover registration fees and accommodation. If you wish to apply for a
bursary, please email bctcs@qub.ac.uk as soon as possible, indicating
that you would be willing to give a contributed talk and stating the
name of your supervisor. Subsequently, a title and abstract should be
provided. The supervisor should write a letter of support to the same
email address, confirming that the student will attend BCTCS'16.

Participants wishing to give a 30 minute contributed talk on any topic
in the scope of the colloquium are invited to email a title and abstract
to bctcs@qub.ac.uk. Presentations from research students and early
career researchers are particularly encouraged. The titles and abstracts
of invited and contributed talks will appear in the Bulletin of the EATCS.

To register for the colloquium, go to the Colloquium web page at

https://sites.google.com/a/monoid.at/bctcs-2016/

The early registration deadline is 15 February 2016, before which the
fee for the colloquium is £160, which includes lunches/coffee/tea on all
days and a drinks reception and conference dinner on Wednesday 23 March.
After this date, a late registration fee will apply.

For any queries, please contact bctcs@qub.ac.uk.

[DMANET] computational optimization

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

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

http://www.fedcsis.org/

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

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

Theory Announcements

Monday, December 7, 2015

[DMANET] IEEE CEC 2016 Special Session - Optimization, Learning, and Decision-Making in Bioinformatics and Bioengineering (OLDBB)

Saturday, December 5, 2015

[DMANET] SAT 2016 call for papers

Friday, December 4, 2015

[DMANET] Associate Professor in Financial Engineering

[DMANET] Deadline approaching: IEEE/IFIP Workshop on Platforms and Applications for Smart Cities (PASC), in conjunction with IEEE/IFIP NOMS 2016

Thursday, December 3, 2015

[DMANET] Deadline Extension: SMART 2016 and URBAN COMPUTING 2016 || May 22 - 26, 2016 - Valencia, Spain

[DMANET] Postdoctoral positions at CMM, Santiago, Chile.

[DMANET] Call for Papers - the 7th Workshop on Cooperative Games and Multiagent Systems (CoopMAS 2016)

[DMANET] NEW DEADLINE 31st DECEMBER: SI of Elsevier Pervasive and Mobile Computing on Pervasive Social Computing

[DMANET] Holiday competition by Kaggle and FICO

[DMANET] IWOBIP16 (Mexico, March 7 - 11, 2016)

Wednesday, December 2, 2015

[DMANET] Call for Papers: Diagrams 2016 (9th Int'l Conference on the Theory and Application of Diagrams)

Postdoctoral Fellowships, Center for the Mathematics of Information (CMI), Caltech

[DMANET] ECCO 2016 conference: paper submission is open (Tamás Kis)

[DMANET] LION 10 - Call for Papers (Deadline Dec 18)

Tuesday, December 1, 2015

Multiple Postdoctoral Programs at the Israeli center of research excellence in Algorithms (Deadline is Dec. 15, 2015)

[DMANET] KaMIS -- Karlsruhe Maximum Independent Sets

[DMANET] EURO28: Optimization in Public Transport

[DMANET] 71st (German) Workshop on Algorithms and Complexity [in German]

[DMANET] Call for Papers: The 5th International Workshop on Parallel and Distributed Computing for Large Scale Machine Learning and Big Data Analytics

[DMANET] Announcement: PhDs in Logic VIII, Darmstadt, May 9-11, 2016

[DMANET] BCTCS 2016, March 22-24, Queen's University Belfast (fwd)

[DMANET] computational optimization

Mailing Lists

Search This Blog

Blog Archive

Monday, December 7, 2015

Saturday, December 5, 2015

Friday, December 4, 2015

Thursday, December 3, 2015

Wednesday, December 2, 2015

Tuesday, December 1, 2015

Mailing Lists

Subscribe To

Search This Blog

Blog Archive