Theory Announcements

Friday, September 11, 2015

[DMANET] Third Call for Papers for CALDAM 2016 - Submission Deadline Sept. 25th.

CALDAM 2016: 2nd Conference on Algorithms and Discrete Applied Mathematics

February 18-20, 2016
Thiruvanthapuram, India
http://caldam.tcs.tifr.res.in/

CALDAM 2016 invites papers describing original research in the areas of
design, analysis and experimental evaluation of algorithms and in
discrete applied mathematics. Papers must be typeset using LaTeX/LaTeX2e
and may not exceed 12 pages in LNCS style, including bibliographic
references. Further details may be included in a clearly marked appendix
that will be read at the discretion of the program committee. Only
electronic submission is allowed. Submitted papers must describe
previously unpublished work and may not be submitted concurrently to
another conference with refereed proceedings or to a refereed journal.

The proceedings of accepted papers will be published in Lecture Notes in
Computer Science by Springer: LNCS. Selected papers of CALDAM 2016 will
also be published as a special issue of Discrete Applied Mathematics.

IMPORTANT DATES

Paper Submission: Authors should submit the paper by September 25, 2015,
AOE.

Notification of Acceptance: November 11, 2015

Camera-ready Version: November 28, 2015

Pre-Conference School: February 15-16, 2016

Conference: February 18-20, 2016

SUBMISSION

Submissions can be made using the server at Easy Chair 2016
<https://www.easychair.org/conferences/?conf=caldam2016>
**********************************************************
*
* 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] 2-year Postdoc on Reachability Problems: Algorithms and Complexity (University of Liverpoool, UK)

***********************************************************************************************
Postdoctoral Research Associate in Reachability Problems £32,277 - £33,242 pa

Department of Computer Science, University of Liverpool
Closing date: Wed, 07 Oct 2015 17:00:00 BST
The post is available for 2 years.
Ref: R-589350/WWW

https://www.liv.ac.uk/working/jobvacancies/currentvacancies/research/r-589350/
***********************************************************************************************

A postdoctoral position in Reachability Problems is available at the University of Liverpool. You will work on an EPSRC-funded research project "Reachability Problems for Words, Matrices and Maps: Algorithms and Complexity", under the direction of Dr Igor Potapov. You will carry out research on decidability and complexity of reachability problems in various computational models including automata models, rewriting systems, matrix semigroups, iterative maps and hybrid systems. You should have a PhD (or be about to obtain) in Computer Science, Mathematics or closely related discipline together with relevant research expertise in theoretical computer science or in combinatorial, algorithmic and computational aspects of algebraic structures or dynamical systems. The post is available for 2 years.

Informal enquiries to Igor Potapov (potapov@liverpool.ac.uk)

For more information and application procedure visit
https://www.liv.ac.uk/working/jobvacancies/currentvacancies/research/r-589350/
**********************************************************
*
* 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] 1st CfP: ACHI 2016 || April 24 - 28, 2016 - Venice, Italy

INVITATION:

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

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

- ACHI 2016, The Ninth International Conference on Advances in Computer-Human Interactions

The submission deadline is December 8, 2015.

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

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

============== ACHI 2016 | Call for Papers ===============

CALL FOR PAPERS, TUTORIALS, PANELS

ACHI 2016, The Ninth International Conference on Advances in Computer-Human Interactions

General page: http://www.iaria.org/conferences2016/ACHI16.html

Submission page: http://www.iaria.org/conferences2016/SubmitACHI16.html

Event schedule: April 24 - 28, 2016 - Venice, Italy

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: December 8, 2015

Thursday, September 10, 2015

[DMANET] CFP: SI of Elsevier Pervasive and Mobile Computing on Pervasive Social Computing

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/

Submission Deadline: 30 November 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
Submission deadline: November 30th, 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

**********************************************************
*
* 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, September 8, 2015

[DMANET] Final CFP: 15th Int. Conf on Hybrid Intelligent Systems (HIS 2015) - Seoul, Korea, Springer

--- The 15th International Conference on Hybrid Intelligent Systems (HIS
2015) ---
Seoul, Korea,
November 16-18, 2015

http://www.mirlabs.org/his15/
http://www.mirlabs.net/his15/

Important Dates :
------------------------------------------------

Paper submission due (extended): September 20, 2015
Notification of paper acceptance (extended): September 30, 2015
Final manuscript and registration due: October 10, 2015
Conference: November 16-18, 2015

Publication: Springer

"Hybrid Intelligent Computing Towards a Greener Future"

About the Conference
---------------------------------------------------------------------------------------
Hybridization of intelligent systems is a promising research field of
modern artificial/computational intelligence concerned with the
development of the next generation of intelligent systems. A
fundamental stimulus to the investigations of Hybrid Intelligent
Systems (HIS) is the awareness in the academic communities that
combined approaches will be necessary if the remaining tough problems
in artificial/computational intelligence are to be solved. Hybrid
Intelligent Systems are getting popular due to their capabilities in
handling several real world complexities involving imprecision,
uncertainty and vagueness. HIS'15 is the 15th International conference
that brings together researchers, developers, practitioners, and users
of soft computing, computational intelligence, agents, logic
programming, and several other intelligent computing techniques.
HIS'15 invites authors to submit their original and unpublished work
that demonstrate current research using soft computing, computational
intelligence and other intelligent computing techniques and their
applications in science, technology, business and commerce:

[Hybrid Intelligent Systems: Architecture]
* Interactions between neural networks and fuzzy inference systems
* Artificial neural network optimization using global optimization
techniques
* Fuzzy clustering algorithms and optimization techniques
* Fuzzy inference system optimization using global optimization algorithms
* Hybrid computing using neural networks - fuzzy systems -
evolutionary algorithms
* Hybrid optimization techniques (evolutionary algorithms, simulated
annealing, tabu search, grasp, etc.)
* Hybrid of soft computing and statistical learning techniques
* Models using inductive logic programming, logic synthesis,
grammatical inference, case based reasoning, etc.
* Autonomic computing
* Hybridization with novel computing paradigms: quantum computing, DNA
computing, membrane computing, etc.

[Hybrid Intelligent Systems: Applications]
* Internet Modelling, Communication and Networking
* Data mining
* Computational Biology and Bioinformatics
* Business Information Systems
* Control and Automation
* Special topics

Paper Submission
---------------------------------------------------------------------------------------
Submitted papers should be original and contain contributions of
theoretical, experimental or application nature, or be unique
experience reports.

Proceedings are expected to be published by:
Advances in Intelligent and Soft Computing, which is now indexed by
ISI Proceedings, DBLP. Ulrich's, EI-Compendex, SCOPUS, Zentralblatt
Math, MetaPress, Springerlink

Papers maximum length is 10 pages. Paper must be formatted according
to Springer format (Latex/word) available at:
http://www.springer.com/series/4240

Submit your paper at the submission site
https://easychair.org/conferences/?conf=his20151.

Please consult conference web site for all new updates.

[DMANET] DCC 2016 session on Compressed Data Structures CFP

Dear Colleague,

The 2016 Data Compression Conference (DCC) will include a special session
on Compressed Data Structures. Papers are due by November 2nd, 2015, and
the conference will take place from March 29th to April 1st, 2016, in
Snowbird, Utah (a premier ski resort in the Rocky Mountains). The DCC
submission process (see http://www.cs.brandeis.edu/~dcc/Call.html) will
allow authors to direct their papers to the special session, but
submissions are otherwise handled in the same way, will be subject to the
same review process and, if accepted, will be included in the same
proceedings.

Best regards,
Gonzalo Navarro and Travis Gagie
(session co-chairs)

Monday, September 7, 2015

[DMANET] PhD Position in Random Graphs and Probabilistic Combinatorics at TU Graz, Austria

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

PhD Position in Random Graphs and Probabilistic Combinatorics at TU
Graz, Austria
---------------------------------------------------------------------------------

We are seeking outstanding PhD candidates with interest and experience
in random graphs and probabilistic combinatorics.

The successful PhD candidate will pursue her/his PhD degree under the
supervision of Prof. Mihyun Kang on topics related to Project 14 "Random
Graphs on a Surface", within the Doctoral Program "Discrete Mathematics"
which offers an advanced PhD training and research program funded by the
Austrian Science Fund (FWF), Graz University of Technology (TU Graz),
University of Graz, and University of Leoben. The official language of
the Doctoral Program is English.

Qualifications and condition of employment:
- Strong track record of mathematical studies
- Diploma/Master's degree or equivalent in mathematics or theoretical
computer science

Length and Salary:
- PhD position is for up to 4 years with a gross salary of 27.900 EUR
(30 hours per week)
- Optional teaching is compensated separately
- There is additional funding for extended research stays abroad and
attendance of conferences

Application documents:
(1) Letter of application
- describing your qualifications, academic experience, and
scientific interests
- specifying your earliest possible starting date
(2) Curriculum Vitae
(3) Transcript of courses and grades, scanned copy of Diploma or
Master's degree
(4) Master thesis if available

All the application documents which are merged into a single PDF-file
should be electronically submitted by 15 September 2015 to

discrete2015@TUGraz.at

Dijana Kreso
Coordinator of the Doctoral Program "Discrete Mathematics"
Graz University of Technology
Steyrergasse 30
8010 Graz, Austria

One or two confidential letters of recommendation can be directly sent
to discrete2015@TUGraz.at.

Selected candidates will be invited for an interview which will take
place in October 2015.

https://www.math.tugraz.at/~kang/DK-RandomGraphs.pdf

[DMANET] Winter School in Network Optimization , January 2016 - 2nd Announcement

The 5th edition of the Winter School on Network Optimization will take place at the Hotel Sana, Estoril, from the 11th to the 15th of January 2016. Its main objective is to provide an opportunity for PhD students to get together and attend high level courses in the field of Network Optimization. Non-PhD students are welcome to attend the school, but the number of participants is limited and priority will be given to PhD students. In this edition of the school, the lecturers and subjects to be addressed are:

Karen Aardal (Univ. Delft): Algorithms for facility location problems
Tolga Bektas (Univ. Southampton): Compact formulations, projections and some polyhedral results for the vehicle routing problem
Elena Fernandez (Univ. Politècnica de Catalunya): Hub location and optimum communication spanning trees: models, formulations and solution techniques
Martine Labbé (Univ. Libre de Bruxelles): Bilevel programming: Stackelberg games and pricing problems
Ivana Ljubic (Univ. Vienna): Solving (uniform) Steiner trees and related problems to optimality

Since the first edition in 2009, the school has been part of the activities of the CIO (Centro de Investigação Operacional) University of Lisbon as well as of the ENOG (European Network Optimization Group).
Recently, CIO has been merged with the Centro de Matemática e Aplicações Fundamentais (CMAF). The event will become part of the activities of the new CMAF+CIO and is also endorsed by the EURO (the Association of European Societies)
and APDIO (the Portuguese OR society).
Candidates are invited to submit their CVs to NetOpt2016@fc.ul.pt<mailto:NetOpt2016@fc.ul.pt> before the 30th of October 2015.
After a short period of evaluation, the participants will be notified and be invited to register.
More information is available at http://NetOpt2016.fc.ul.pt<http://netopt2016.fc.ul.pt/>.

[DMANET] Faculty position, Computer Science, UEC, Tokyo, Japan

Faculty position, Computer Science, UEC, Tokyo, Japan

[Apologies for multiple postings.]

The University of Electro-Communications
Job Openings: Tenure Track Assistant Professors
（Research Area: Computer Science）

The University of Electro-Communications (UEC) invites applications for Tenure Track Assistant Professors.

In this tenure track system, the term of employment is five years from the start of the employment. During this period, newly employed assistant professors will receive an interim review in the third year of their employment, followed by a tenure review in the fifth year of the employment, and if their track record on research and other relevant factors are recognized to be exceptionally superior, they will be awarded the tenured status (i.e., guaranteed employment until the mandatory retirement) from the university as well as the promotion to associate professorship.

Note: Please refer to the following URL for general information on the tenure track program at UEC.
http://www.uec.ac.jp/eng/research/activity/uec_tenure_track/index.html

Some items (items 4, 7--11, 13, and 15) are omitted in this text. Please refer the following URL for details:
http://www.uec.ac.jp/eng/news/job_opening/
http://www.uec.ac.jp/eng/news/job_opening/2015/pdf/ad_20150819-4_eng.pdf

1．Title and number of position
Assistant professor (full time), One position

2．Affiliation after the employment
Department of Communication Engineering and Informatics,
Graduate School of Informatics and Engineering

3. Fields of specialty
Discrete Algorithms and Big-Data Theory: e.g., graph-network algorithms; approximation, randomized, sublinear-time, streaming, or online algorithms; complex networks; data structures; mathematical programming; computational complexity; etc. Applicants who study in the above fields from the viewpoint of theoretical computer science are preferable.

5．Eligibility for application
1) Applicants must possess a doctorate degree by the date of employment and must be advanced in research in the above fields.
2) Applicants must be capable of conducting independent, creative research.
3) The doctorate degree must be one that was obtained in the last 10 years.
4) Postdoctoral experience or equivalent is preferable.
5) Applicants are expected to be capable of guiding students in Japanese.

6. Start of employment
April 1, 2016　(or later at the earliest possible date.)

12．Application Deadline
Application documents must arrive by 17:00 October 30, 2015 JST

14. Contact
Prof. Hiro Ito
Department of Communication Engineering and Informatics
The University of Electro-Communications
E-Mail: itohiro@uec.ac.jp (Please contact us by e-mail.)

Detail:
http://www.uec.ac.jp/eng/news/job_opening/
http://www.uec.ac.jp/eng/news/job_opening/2015/pdf/ad_20150819-4_eng.pdf

Faculty position, Computer Science, UEC, Tokyo, Japan

Faculty position, Computer Science, UEC, Tokyo, Japan

[Apologies for multiple postings.]

The University of Electro-Communications
Job Openings: Tenure Track Assistant Professors
（Research Area: Computer Science）

The University of Electro-Communications (UEC) invites applications for Tenure Track Assistant Professors.

In this tenure track system, the term of employment is five years from the start of the employment. During this period, newly employed assistant professors will receive an interim review in the third year of their employment, followed by a tenure review in the fifth year of the employment, and if their track record on research and other relevant factors are recognized to be exceptionally superior, they will be awarded the tenured status (i.e., guaranteed employment until the mandatory retirement) from the university as well as the promotion to associate professorship.

Note: Please refer to the following URL for general information on the tenure track program at UEC.
http://www.uec.ac.jp/eng/research/activity/uec_tenure_track/index.html

Some items (items 4, 7--11, 13, and 15) are omitted in this text. Please refer the following URL for details:
http://www.uec.ac.jp/eng/news/job_opening/
http://www.uec.ac.jp/eng/news/job_opening/2015/pdf/ad_20150819-4_eng.pdf

1．Title and number of position
Assistant professor (full time), One position

2．Affiliation after the employment
Department of Communication Engineering and Informatics,
Graduate School of Informatics and Engineering

3. Fields of specialty
Discrete Algorithms and Big-Data Theory: e.g., graph-network algorithms; approximation, randomized, sublinear-time, streaming, or online algorithms; complex networks; data structures; mathematical programming; computational complexity; etc. Applicants who study in the above fields from the viewpoint of theoretical computer science are preferable.

5．Eligibility for application
1) Applicants must possess a doctorate degree by the date of employment and must be advanced in research in the above fields.
2) Applicants must be capable of conducting independent, creative research.
3) The doctorate degree must be one that was obtained in the last 10 years.
4) Postdoctoral experience or equivalent is preferable.
5) Applicants are expected to be capable of guiding students in Japanese.

6. Start of employment
April 1, 2016　(or later at the earliest possible date.)

12．Application Deadline
Application documents must arrive by 17:00 October 30, 2015 JST

14. Contact
Prof. Hiro Ito
Department of Communication Engineering and Informatics
The University of Electro-Communications
E-Mail: itohiro@uec.ac.jp (Please contact us by e-mail.)

Detail:
http://www.uec.ac.jp/eng/news/job_opening/
http://www.uec.ac.jp/eng/news/job_opening/2015/pdf/ad_20150819-4_eng.pdf

[DMANET] postdoctoral fellowship

POSTDOCTORAL FELLOWSHIP

UNIVERSITE DU QUEBEC EN OUTAOUAIS, CANADA

A postdoctoral position in computer science is available at the
Research Chair in Distributed Computing of the
Universite du Quebec en Outaouais, Canada,
under the supervision of Prof. Andrzej Pelc.

Requirements: * Ph.D. in Computer Science or Mathematics obtained between
November 1, 2012 and October 31, 2015
* Strong academic background in algorithms and graph theory.
* Strong research record and potential in one or more of the
following domains:
- design and analysis of combinatorial algorithms
- algorithmic aspects of distributed and parallel computing
- algorithms for interconnection networks
- algorithmic aspects of fault tolerance

Further information about the
Research Chair in Distributed Computing, and
about topics related to prospective postdoctoral research
of the successful candidate can be obtained at:
http://w3.uqo.ca/pelc/main.html
and
http://w3.uqo.ca/pelc/caldi/index.htm

Duties: Research in the above areas. NO teaching duties.
Knowledge of French is NOT necessary.
Duration: 12 months
Beginning: January 2016 (flexible)
Stipend: $40 000 per year (Canadian dollars).
Location: The Universite du Quebec en Outaouais is situated in Gatineau,
across the river from Ottawa. The National
Capital region of Ottawa offers a variety of possibilities
for cultural and sports activities (swimming, sailing, hiking,
skating, cross-country and downhill skiing). The campus of the
University of Quebec is a 10 min. drive from downtown Ottawa.

Applications including a detailed CV (with e-mail address),
a statement of research interests, a complete list of publications,
an abstract of Ph.D. Thesis and reprints (preprints) of 2 best papers
should be sent in a zipped file by e-mail to andrzej.pelc@uqo.ca

Please arrange to have three letters of reference sent directly to the same
e-mail address. Deadline for applications and reference letters is October 15, 2015.

Informal enquiries at
e-mail: andrzej.pelc@uqo.ca

Saturday, September 5, 2015

[DMANET] Discrete Math Summer School (in January)

Announcement

XI Discrete Math Summer School (Valparaíso, Chile)
January 4-8, 2016.
Instituto de Sistemas Complejos de Valparaíso (http://www.iscv.cl/).
URL: http://eventos.cmm.uchile.cl/discretas2016/

--------------------------------------------------------------------
Courses:
David Conlon, Oxford: "Pseudorandom Graphs"
Gerard Cornuejols, CMU: "Cutting planes in integer programming"
Eva Tardos, Cornell: "Algorithmic Game Theory"

The lectures will be delivered in English.

Registration: CLP 15.000 (USD 25)

Aplications: Information available at the school´s website. There is a
limited number of fellowships available to cover registration and
local accommodation.

Details about previous versions:
http://www.dii.uchile.cl/acgo/escuelas/

Target audience:
The school is meant for graduate students and advanced undergraduates
in Mathematics, Computer Science or Engineering, interested in
algorithms, combinatorics, optimization, or game theory.

Sponsors:
Centro de Modelamiento Matemático, Universidad de Chile
Núcleo Milenio Información y Coordinación en Redes

[DMANET] STACS 2016: 2nd Call for Papers

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

STACS 2016 - 2nd Call for Papers

33rd International Symposium on Theoretical Aspects of Computer Science
February 17-20, 2016, Orléans, France

========================================================================
Submission deadline: Sep 18, 2015
http://www.univ-orleans.fr/lifo/events/STACS2016/
========================================================================

SCOPE

Authors are invited to submit papers presenting original and unpublished
research on theoretical aspects of computer science. Typical areas
include (but are not limited to):
- algorithms and data structures, including: parallel, distributed,
approximation, and randomized algorithms, computational geometry,
cryptography, algorithmic learning theory, analysis of algorithms;
- automata and formal languages;
- computational complexity, parameterized complexity, randomness in
computation;
- logic in computer science, including: semantics, specification and
verification, rewriting and deduction;
- current challenges, for example: natural computing, quantum
computing, mobile and net computing.

INVITED SPEAKERS

- Jérôme Leroux, Bordeaux, France
- Carsten Lutz, Bremen, Germany
- Virginia Vassilevska Williams, Stanford, USA

TUTORIAL

- Jarkko Kari, Turku, Finland

PROGRAM COMMITTEE

- Isolde Adler (Frankfurt)
- Nathalie Bertrand (Rennes)
- Nader Bshouty (Haifa)
- Arkadev Chattopadhyay (Mumbai)
- Philippe Duchon (Bordeaux)
- Henning Fernau (Trier)
- Samuel Fiorini (Brussels)
- Danny Hermelin (Beersheba)
- Rahul Jain (Singapore)
- Artur Jeż (Wrocław)
- Stefan Kiefer (Oxford)
- Andreas Krebs (Tübingen)
- Gregory Kucherov (Marne-la-Vallée)
- Sławomir Lasota (Warsaw)
- Guillaume Malod (Paris)
- Conrado Martínez (Barcelona)
- Nicole Megow (Munich)
- Nicolas Ollinger (Orléans), co-chair
- Giovanni Pighizzini (Milan)
- Dror Rawitz (Ramat Gan)
- Christian Sohler (Dortmund)
- Stefan Szeider (Vienna)
- Suresh Venkatasubramanian (Salt Lake City)
- Heribert Vollmer (Hannover), co-chair
- James Worrell (Oxford)
- Marc Zeitoun (Bordeaux)

SUBMISSIONS

Authors are invited to submit a draft of a full paper with at most 12
pages (excluding the references section).

The usage of pdflatex and the LIPIcs style file (see below) are
mandatory; no changes to font size, page geometry etc. are permitted.
Submissions not in the correct format or submitted after the deadline
will not be considered.

The paper should contain a succinct statement of the issues and of their
motivation, a summary of the main results, and a brief explanation of
their significance, accessible to non-specialist readers.

Proofs omitted due to space constraints must be put into an appendix, to
be read by the program committee members at their discretion.

Simultaneous submission to other conferences with published proceedings
or to journals is not allowed. PC members are excluded from submitting.

There will be a rebuttal period for authors. Authors will receive
the reviews of their submissions (via EasyChair) on Nov 13/14 and have
three days (Nov 14 – 16) to submit rebuttals (via EasyChair). These
rebuttals become part of the PC meeting, but entail no specific
responses.

The submission site is
https://www.easychair.org/conferences/?conf=stacs2016

PROCEEDINGS

Accepted papers will be published in the proceedings of the symposium.
As usual, these proceedings will appear in the Leibniz International
Proceedings in Informatics (LIPIcs) series, based at Schloss Dagstuhl.
This guarantees perennial, free and easy electronic access, while the
authors retain the rights over their work. With their submission,
authors consent to sign a license authorizing the program committee
chairs to organize the electronic publication of their paper, provided
the paper is accepted.

Further details are available on www.stacs-conf.org and on the
conference website http://www.univ-orleans.fr/lifo/events/STACS2016/

IMPORTANT DATES

Submission deadline: Sep 18, 2015
Rebuttal period: Nov 14-16, 2015
Author notification: Dec 4, 2015
Final version due: Jan 2, 2016
Symposium: Feb 17-20, 2016

LIPICS STYLE FILES

LIPIcs homepage: http://www.dagstuhl.de/en/publications/lipics
tar ball: http://drops.dagstuhl.de/styles/lipics/lipics-authors.tgz

CONTACT INFORMATION

http://www.univ-orleans.fr/lifo/events/STACS2016/ (for general information)
pc-chairs-stacs2016@easychair.org (for information regarding paper submission)

Friday, September 4, 2015

[DMANET] LATIN 2016 - 2nd CALL FOR PAPERS

2nd CALL FOR PAPERS
LATIN 2016
Ensenada, Mexico
April 11-15, 2016

The 12th Latin American Theoretical Informatics
Symposium (LATIN 2016) will be held in Ensenada
Mexico from April 11-15, 2016.

Previous editions of LATIN took place in
Sao Paulo, Brazil (1992),
Valparaiso, Chile (1995),
Campinas, Brazil (1998),
Punta del Este, Uruguay (2000),
Cancun, Mexico (2002),
Buenos Aires, Argentina (2004),
Valdivia, Chile (2006),
Buzios, Brazil (2008),
Oaxaca, Mexico (2010),
Arequipa, Peru (2012),
Montevideo, Uruguay (2014).

Important Dates

Submission deadline:
Sep. 20, 2015 (abstract)
Sep. 27, 2015 (full paper)

Author notification:
Nov. 29, 2015

Final version due:
Dec. 13, 2015

Scope:
The Symposium is devoted to different areas
in theoretical computer science, including,
but not limited to: algorithms (approximation,
online, randomized, algorithmic game theory),
analytic combinatorics and analysis of
algorithms, automata theory and formal
languages, coding theory and data compression,
combinatorial algorithms, combinatorial
optimization, combinatorics and graph theory,
complexity theory, computational algebra,
computational biology, computational geometry,
computational number theory, cryptology,
databases and information retrieval, data
structures, formal methods and security,
Internet and the web, parallel and distributed
computing, pattern matching, programming
language theory, and random structures.

Papers are to be submitted electronically,
following the guidelines on the conference
web page

Additional Details can be found in:
http://latin2016.natix.org/

Thursday, September 3, 2015

[DMANET] [Info] CfP - EvoMUSART2016

----------------------------------------------------------------------------
Please distribute
(Apologies for cross posting)
----------------------------------------------------------------------------

CALL FOR PAPERS
EvoMUSART 2016
http://www.evostar.org/2016/cfp_evomusart.php

5th International Conference on Evolutionary and Biologically Inspired
Music, Sound, Art and Design

30 March - 1 April 2016
Part of evo* 2016
evo*: http://www.evostar.org

Following the success of previous events and the importance of the
field of evolutionary and biologically inspired (artificial neural
network, swarm, alife) music, sound, art and design, evomusart has
become an evo* conference with independent proceedings since 2012.
Thus, evomusart 2016 is the fifth International Conference on
Evolutionary and Biologically Inspired Music, Sound, Art and Design.

The use of biologically inspired techniques for the development of
artistic systems is a recent, exciting and significant area of
research. There is a growing interest in the application of these
techniques in fields such as: visual art and music generation,
analysis, and interpretation; sound synthesis; architecture; video;
poetry; design; and other creative tasks.

The main goal of evomusart 2016 is to bring together researchers who
are using biologically inspired computer techniques for artistic
tasks, providing the opportunity to promote, present and discuss
ongoing work in the area.

The event will be held in April, 2016 in Porto, Portugal, as part of
the evo* event.

----------------------------------------------------------------------------
Important Dates
----------------------------------------------------------------------------

Submission: 1 November 2015
Notification to authors: 04 January 2016
Camera-ready deadline: 18 January 2016
Evo*: 30 March - 1 April 2016

----------------------------------------------------------------------------
Publication Details
----------------------------------------------------------------------------

Submissions will be rigorously reviewed for scientific and artistic
merit. Accepted papers will be presented orally or as posters at the
event and included in the evomusart proceedings, published by Springer
Verlag in a dedicated volume of the Lecture Notes in Computer Science
(LNCS) series. The papers which receive the best reviews will be
nominated for the Best Paper Award. The acceptance rate at EvoMUSART
2015 was 27.9% for papers accepted for oral presentation, and 25.6%
for poster presentation.

Submitters are strongly encouraged to provide in all papers a link for
download of media demonstrating their results, whether music, images,
video, or other media types. Links should be anonymised for
double-blind review, e.g. using a URL shortening service.

----------------------------------------------------------------------------
Topics of interest
----------------------------------------------------------------------------

Submissions should concern the use of biologically inspired computer
techniques -- e.g. Evolutionary Computation, Artificial Life,
Artificial Neural Networks, Swarm Intelligence, other artificial
intelligence techniques -- in the generation, analysis and
interpretation of art, music, design, architecture and other artistic
fields. Topics of interest include, but are not limited to:

-- Generation
- Biologically Inspired Design and Art -- Systems that create
drawings, images, animations, sculptures, poetry, text, designs,
webpages, buildings, etc.;
- Biologically Inspired Sound and Music -- Systems that create
musical pieces, sounds, instruments, voices, sound effects, sound
analysis, etc.;
- Robotic-Based Evolutionary Art and Music;
- Other related artificial intelligence or generative techniques in
the fields of Computer Music, Computer Art, etc.;

-- Theory
- Computational Aesthetics, Experimental Aesthetics; Emotional
Response, Surprise, Novelty;
- Representation techniques;
- Surveys of the current state-of-the-art in the area; identification
of weaknesses and strengths; comparative analysis and classification;
- Validation methodologies;
- Studies on the applicability of these techniques to related areas;
- New models designed to promote the creative potential of
biologically inspired computation;

-- Computer Aided Creativity and computational creativity
- Systems in which biologically inspired computation is used to
promote the creativity of a human user;
- New ways of integrating the user in the evolutionary cycle;
- Analysis and evaluation of: the artistic potential of biologically
inspired art and music; the artistic processes inherent to these
approaches; the resulting artefacts;
- Collaborative distributed artificial art environments;

-- Automation
- Techniques for automatic fitness assignment;
- Systems in which an analysis or interpretation of the artworks is
used in conjunction with biologically inspired techniques to produce
novel objects;
- Systems that resort to biologically inspired computation to perform
the analysis of image, music, sound, sculpture, or some other types of
artistic object.

----------------------------------------------------------------------------
Additional information and submission details
----------------------------------------------------------------------------

Submit your manuscript, at most 16 A4 pages long, in Springer LNCS
format (instructions downloadable from
http://www.springer.com/computer/lncs?SGWID=0-164-6-793341-0)

Submission link: http://myreview.csregistry.org/evomusart16/

*** NEW Page limit: 16 pages ***

The reviewing process will be double-blind; please omit information
about the authors in the submitted paper.

Website: http://www.evostar.org/
Facebook: fb.com/evostarconf
Twitter: twitter.com/Evostar2016
LinkedIn: www.linkedin.com/groups/EVOstar-1908983

----------------------------------------------------------------------------
Conference chairs
----------------------------------------------------------------------------

Colin Johnson
University of Kent, UK
c.g.johnson(at)kent.ac.uk

Vic Ciesielski
RMIT University, Australia
vic.ciesielski(at)rmit.edu.au

Publication chair
João Correia
University of Coimbra, Portugal
jncor(at)dei.uc.pt

[DMANET] Call for chapters - Vehicular Social Networks, CRC Taylor & Francis Group - DEADLINE EXTENDED TO SEPT. 7

******* Our apologies for multiple copies of this email *******
Call for Book Chapters
VEHICULAR SOCIAL NETWORKS
to be published by CRC Press, LLC<http://www.crcpress.com/ <http://www.crcpress.com/>>
Editors

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

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

Athanasios V. Vasilakos (vasilako@ath.forthnet.gr <mailto:vasilako@ath.forthnet.gr><mailto:vasilako@ath.forthnet.gr <mailto:vasilako@ath.forthnet.gr>>), Lulea University of Technology, Sweden

Abstract
Cars have changed significantly over the last years, and will do so in the near future. Especially the integration of more and more sensors, such as camera or radar, and communication technologies opens up a whole new design space for in-vehicle applications. It is expected a different kind of automotive experience, where city streets will teem with small, driverless cars whose wireless capabilities direct traffic flow smoothly, so that to make traffic lights unnecessary. Furthermore, the use of cloud computing technology will enable passengers to work or play games during their commutes, while listening to their favorite music, as chosen by the car based on user profile. Vehicular communications can be considered as the "first social network for automobiles", since each driver can share data with other neighbors. As an instance, heavy traffic is a common occurrence in some areas on the roads (e.g., at intersections, taxi loading/unloading areas, and so on); as a consequence, roads become a popular social place for vehicles to connect to each other. Social characteristics and human behavior largely impact on vehicular ad hoc networks, and this arises to the vehicular social networks, which are formed when vehicles (individuals) "socialize" and share common interests.

The goal of this book is to provide the main features of Vehicular Social Networks (VSNs), from novel emerging technologies to social aspects used for mobile applications, as well as main issues and challenges. VSNs are described as decentralized opportunistic communication networks formed among vehicles. They exploit mobility aspects, and basics of traditional social networks, in order to create novel approaches of message exchange through the detection of dynamic social structures. Particular interest will be given to social aspects that are exploited in vehicular communications for both safety and entertainment applications. Indeed, vehicular communications can be considered as the "first social network for automobiles," because each driver can share data with other neighbors.

Selected topics that are covered in this book are related to: social networking techniques, social-based routing techniques applied to vehicular networks, data dissemination in VSNs, architectures for VSNs, as well as novel trends and challenges in VSNs. The book aims to provide significant technical and practical insights in different aspects, starting from a basic background on social networking, the inter-related technologies and applications to vehicular ad-hoc networks, the technical challenges, implementation and future trends.

Chapters dealing with the following aspects (but not limited to) are welcome:

* Part I: Basics on Social Networking
* Introduction to social networking technologies
* Traditional online social networks
* Security aspects in social networks
* Cooperative aspects in social networks
* Part II: From Social Networking to Vehicular Networks
* Introduction to VSNs
* Sociability aspects in routing for VSNs
* Data dissemination in VSNs
* Peer-to-peer architectures for VSNs
* Resource management in VSNs
* Cooperative communications in VSNs
* QoS support in VSNs
* Data fusion and aggregation in VSNs
* Part III: Applications for VSNs
* Social-based applications for VSNs
* Infotainment in VSNs
* Crowdsourcing applications for VSNs
* Security, privacy and trust in VSNs
* Gaming in vehicular social networks
* Incentives and other economic aspects of VSNs

Important Dates

Abstract submission: September 7, 2015 - FIRM DEADLINE

Abstract notification: September 15, 2015

Final manuscript: December 31, 2015

Review notification: February 28, 2016

Chapter submission: April 15, 2016

Book submission to CRC Press: May 1, 2016
**********************************************************
*
* 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] ETAPS 2016 2nd call for papers

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

CALL FOR PAPERS: ETAPS 2016

19th European Joint Conferences on Theory And Practice of Software

Eindhoven, The Netherlands, 2-8 April 2016

http://www.etaps.org/2016

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

-- ABOUT ETAPS --

ETAPS is the primary European forum for academic and industrial
researchers working on topics relating to software science. ETAPS,
established in 1998, is a confederation of five main annual
conferences, accompanied by satellite workshops. ETAPS 2016 is the
ninteenth event in the series.

-- MAIN CONFERENCES (4-7 April) --

* ESOP: European Symposium on Programming
(PC chair Peter Thiemann, Universität Freiburg, Germany)
* FASE: Fundamental Approaches to Software Engineering
(PC chairs Perdita Stevens, University of Edinburgh, UK,
and Andrzej Wasowski, IT University of Copenhagen, Denmark)
* FOSSACS: Foundations of Software Science
and Computation Structures
(PC chairs Bart Jacobs, Radboud Universiteit Nijmegen,
The Netherlands, and Christof Löding, RWTH Aachen, Germany)
* POST: Principles of Security and Trust
(PC chairs Frank Piessens, Katholieke Universiteit Leuven,
Belgium, and Luca Viganò, King's College London, UK)
* TACAS: Tools and Algorithms for
the Construction and Analysis of Systems
(PC chairs Marsha Chechik, University of Toronto, Canada,
and Jean-François Raskin (Université Libre de Bruxelles,
Belgium)
TACAS '16 hosts the 5th Competition on Software Verification
(SV-COMP).

-- INVITED SPEAKERS --

* Unifying speakers:
Andrew D. Gordon (MSR Cambridge and University of Edinburgh, UK)
Rupak Majumdar (MPI Kaiserslautern, Germany)

* ESOP invited speaker:
Cristina Lopes (University of California at Irvine, USA)
* FASE invited speaker:
Oscar Nierstrasz (Universität Bern, Switzerland)
* POST invited speaker:
Vitaly Shmatikov (University of Texas at Austin, USA)

-- IMPORTANT DATES --

* 9 October 2015: Submission deadline for abstracts
* 16 October 2015: Submission deadline for full papers
* 2-4 December 2015: Author response period (ESOP and FoSSaCS only)
* 18 December 2015: Notification of acceptance
* 8 January 2016: Camera-ready versions due

-- SUBMISSION INSTRUCTIONS --

ETAPS conferences accept two types of contributions: research papers
and tool demonstration papers. Both types will appear in the
proceedings and have presentations during the conference.

ESOP and FoSSaCS accept only research papers.

A condition of submission is that, if the submission is accepted, one
of the authors attends the conference to give the presentation.

Submitted papers must be in English presenting original
research. They must be unpublished and not submitted for publication
elsewhere. In particular, simultaneous submission of the same
contribution to multiple ETAPS conferences is forbidden. The
proceedings will be published in the Advanced Research in Computing
and Software Science (ARCoSS) subline of Springer's Lecture Notes in
Computer Science series.

Papers must follow the formatting guidelines specified by Springer at
the URL

http://www.springer.de/comp/lncs/authors.html

and be submitted electronically in pdf through the EasyChair author
interface of the respective conference.

Submissions not adhering to the specified format and length may be
rejected immediately.

FASE will try a light-weight double-blind review process (see
http://www.etaps.org/2016/fase).

- Research papers

FASE, FOSSACS and TACAS have a page limit of 15 pp (excluding
bibliography of max 2 pp) for research papers, whereas POST allows at
most 20 pp (excluding bibliography of max 2 pp) and ESOP 25 pp
(excluding bibliography of max 2 pp).

Additional material intended for the referees but not for publication
in the final version - for example, details of proofs - may be placed
in a clearly marked appendix that is not included in the page
limit. ETAPS referees are at liberty to ignore appendices and papers
must be understandable without them.

In addition to regular research papers, TACAS solicits also case study
papers (at most 15 pp, excluding bibliography of max 2 pp).

Both TACAS and FASE solicit also regular tool papers (at most 15 pp,
excluding bibliography of max 2 pp).

- Tool demonstration papers

Submissions should consist of two parts:

* The first part, at most 4 pages, should describe the tool
presented. Please include the URL of the tool (if available) and
provide information that illustrates the maturity and robustness of
the tool. (This part will be included in the proceedings.)

* The second part, at most 6 pages, should explain how the
demonstration will be carried out and what it will show, including
screen dumps and examples. (This part will be not be included in the
proceedings, but will be evaluated.

ESOP and FOSSACS do not accept tool demonstration papers.

TACAS has a page limit of 6 pages for tool demonstrations.

-- SATELLITE EVENTS (2-3 April, 8 April) --

Around 20 satellite workshops will take place before and after the
main conferences.

-- HOST CITY --

Eindhoven is located in the province of North Brabant in the south of
the Netherlands. It is the fifth-largest city of the Netherlands. The
city is well known for modern art, design and technology. The main
airport of the Netherlands is the Amsterdam Airport, Schiphol. All
major airlines fly to Schiphol, and Schiphol has a direct and very
frequent train connection to Eindhoven. Eindhoven also has a small
international airport, Eindhoven Airport, with direct connections to
more than thirty destinations in Europe.

-- HOST INSTITUTION --

ETAPS 2016 is hosted by Faculteit Wiskunde en Informatica, Technische
Universiteit Eindhoven.

-- ORGANIZERS

* General chair: Jan Friso Groote
* Workshops chair: Erik de Vink and Julien Schmaltz
* Publicity chair: Anton Wijs

-- FURTHER INFORMATION --

Please do not hesitate to contact the organizers at
j.f.groote@tue.nl, a.j.wijs@tue.nl.

Wednesday, September 2, 2015

[DMANET] CFP: Special Issue "Wireless Sensor Networks for Measuring the Impact of Human Activities over Different Environments" in (IJDSN)

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

International Journal of Distributed Sensor Networks (IJDSN)

Special Issue "Wireless Sensor Networks for Measuring the Impact of Human Activities over Different Environments"

http://www.hindawi.com/journals/ijdsn/si/567042/cfp/

Deadline for manuscript submissions: January 29, 2016

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

=== SPECIAL ISSUE - CALL FOR PAPERS ===

Wireless sensor networks (WSNs) are nowadays used in a wide variety of applications, such as military surveillance, scientific exploration, structural monitoring, and environmental monitoring applications, among others. These sorts of networks are complex systems whose correct operation mainly depends on the integration of physical sensors, computation processes, and communication between devices. Advances in smart device and sensor networks will drive innovation in important sectors such as energy efficiency, city/building design, healthcare, agriculture, transportation, and manufacturing.

Moreover, human actions motivated by achieving various purposes cause side effects on our environment. While the intended effects are usually positive, at least for those who promote action, side effects can be positive but very often are negative. Some most basic actions of how we do our day-to-day routines are the following: the way people move around the city, how people get rid of your waste, excessive cultivation or exploitation of natural resources, misuse of electrical appliances, or celebrating holidays with music and pyrotechnics, among others, which can have a significant impact on our environment, whether natural, social environments, or on our heritage.

For these reasons and taking into account the advantages that WSNs offer, this special issue aims to focus on new proposals and developments of WSNs for monitoring and evaluating the impact of human activity on the environments that surround us. Authors are invited to submit their original and unpublished research contributions to this special issue in relevant areas of WSNs, proposing new design concepts, architectures, and applications versus resource constraints and energy conservation.

Potential topics include, but are not limited to:

- WSN issues and technologies for monitoring the effects of human behaviors on the environment
- Design of energy-efficient WSNs, hardware, software, and systems for monitoring sensitive environments
- Real-world case studies of WSNs where the effects of human behaviors are analyzed
- WSNs data management
- Prototyping of experimental WSNs and its test bench
- Evaluation of WSNs in sensitive scenarios
- WSNs for emergency response in natural/man-made disasters
- New proposals of WSNs architectures
- Efficient communication for WSNs architectures
- WSN for sustainable human behaviors
- Sustainable WSN for environmental sustainability

Authors can submit their manuscripts via the Manuscript Tracking System at:

http://mts.hindawi.com/submit/journals/ijdsn/miha/

=== IMPORTANT DATES ===

Manuscript Due: Friday, 29 January 2016
First Round of Reviews: Friday, 22 April 2016
Publication Date: Friday, 17 June 2016

=== SPECIAL ISSUE EDITORS ===

Lead Guest Editor

Prof. Dr. Jaime Lloret Mauri (jlloret@dcom.upv.es)
Universidad Politecnica de Valencia, Spain

Guest Editors

Dr. Sandra Sendra (sansenco@posgrado.upv.es)
Integrated Management Coastal Research Institute, Universidad Politecnica de Valencia, Spain

Dr. Danda B. Rawat (db.rawat@ieee.org)
Georgia Southern University, Georgia, USA

Dr. Kayhan Z. Ghafoor (kayhan@ieee.org)
Salahaddin University, College of Engineering, Kirkuk Road Erbil, Kurdistan Region-Iraq

===================================================
**********************************************************
*
* 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] LATIN'16: Second Call for Papers

Second Call for Papers (with apologies for possible duplicates):

LATIN 2016
Ensenada, Mexico
April 11-15, 2016

The 12th Latin American Theoretical Informatics
Symposium (LATIN 2016) will be held in Ensenada
Mexico from April 11-15, 2016.

Important Dates

Submission deadline:
Sep. 20, 2015 (abstract)
Sep. 27, 2015 (full paper)

Author notification:
Nov. 29, 2015

Final version due:
Dec. 13, 2015

Papers are to be submitted electronically,
following the guidelines on the conference
web page

Additional Details can be found in:
http://latin2016.natix.org/

[DMANET] Innovations in Bio-Inspired Computing and Applications - 2015 - Last call for papers - Springer - Kochi

< Please help us to distribute the CFP to your students, colleagues and
mailing lists >

*** IBICA 2015 - Final Call for Papers ***

--- IBICA 2015: 6th International Conference on Innovations in Bio-Inspired
Computing and Applications --

Kochi, India
December 16-18, 2015

Venue: Toc H Institute of Science and Technology (TIST), Kochi

http://www.mirlabs.net/ibica15
http://www.mirlabs.org/ibica15

Past Events: http://dblp.uni-trier.de/db/conf/ibica/index.html
----------------

Publication: Springer
---------------

iBICA 2015 is the 6th International Conference on Innovations in
Bio-Inspired Computing and Applications. The aim of IBICA 2015 is to
provide a platform for world research leaders and practitioners, to discuss
the "full spectrum" of current theoretical developments, emerging
technologies, and innovative applications of Bio-inspired Computing.
Bio-inspired Computing is currently one of the most exciting research
areas, and it is continuously demonstrating exceptional strength in solving
complex real life problems. The main driving force of the conference is to
further explore the intriguing potential of Bio-inspired Computing. IBICA
2015 will be held in Kochi, India.

Kochi also known as Cochin, is a major port city on the south west coast of
India. Known as the Queen of the Arabian Sea, Kochi was an important spice
trading centre on the west coast of India from the 14th century. Occupied
by the Portuguese Empire in 1503, Kochi was the first of the European
colonies in colonial India. It remained the main seat of Portuguese India
until 1530, when Goa was chosen instead. The city was later occupied by the
Dutch and the British, with the Kingdom of Cochin becoming a princely
state. Kochi ranks first in the total number of international and domestic
tourist arrivals in Kerala. Kochi has been ranked the sixth best tourist
destination in India according to a survey conducted by the Nielsen Company
on behalf of the Outlook Traveller magazine. Kochi was one of the 28 Indian
cities found to be among the emerging 440 global cities that will
contribute 50% of the world GDP by the year 2025, in a study done by
McKinsey Global Institute.

The conference is intended as an international forum for the researchers
and professionals in all areas of genetic and evolutionary computing.
Proceedings of IBICA 2015 will be published in Springer series Advances in
Intelligent and Soft Computing. It is indexed by to IET INSPEC, EI
(Compendex), Thomson ISTP, DBLP.

The IBICA 2015 organizing committee is inviting the submission of papers
that present high quality, original, and not previously published work in
the related areas. All submissions will be thoroughly peer-reviewed by
multiple reviewers to ensure quality and unbiased comments. Paper
acceptance and publication will be judged on the basis of their relevance
to the conference themes, clarity of presentation, originality and accuracy
of results and proposed solutions. Topics include, but are not limited to:

** Bio-inspired Computing **

Ant Colony System
Artificial Immune Systems
Artificial Intelligence
Artificial Neural Networks
Cellular Automaton
Cognitive Modeling
DNA Computing
Differential Evolution
Emergent Systems
Evolutionary Computations
Evolutionary Strategies/Programming
Fuzzy Logic
Genetic Algorithms/Programming
Granular Computing
Neutrosophic Systems
Organic Computing
P Systems
Particle Swarm Optimization

** Emerging Technologies & Applications **

Biomedicine
Bioinformatics
Business Intelligence
Cloud Computing
Data Mining and Knowledge Discovery
E-learning
Financial Computing
Healthcare
Life Sciences Multimedia Applications
Network Management
Robotics
Social Networks Analysis and Computing
System Control and Optimization
Ubiquitous/Pervasive Computing
Web Intelligence
Wireless/Sensor Networks
Other Applications

Author Guidelines:
-------------------------------------
Submission of paper should be made through the submission link:
http://edas.info/N21271

Special session papers should be submitted through the easy chair link.

Please refer to the conference website for guidelines to prepare your
manuscript. Expanded versions of IBICA 2015 selected papers will be
published in special issues of internationally referred journals (indexed
by SCI) and edited volumes.

Important Dates:
-------------------------------------
Special session proposals:

Paper submission due (Extended): September 10, 2015
Notification of paper acceptance: September 25, 2015
Final manuscript and registration due: October 05, 2015

IBICA 2015 Organizing team:
-------------------------------------
(please see web site)
http://www.mirlabs.org/ibica15/committees.php
http://www.mirlabs.net/ibica15/committees.php

Information contact:
-----------------------------

Technical matters:
Ajith Abraham: ajith.abraham@ieee.org

Local Information:
Sunitha Arun <sunithaev@gmail.com>

For all other details, please consult the Conference Web site:
http://www.mirlabs.org/ibica15
http://www.mirlabs.net/ibica15

Tuesday, September 1, 2015

[DMANET] Open Ended Research Associate Position - Time Complexity Analysis of Bio-inspired Computation

OPEN ENDED RESEARCH ASSOCIATE POSITION IN TIME COMPLEXITY ANALYSIS OF
BIO-INSPIRED COMPUTATION

The Department of Computer Science, The University of Sheffield, offers a
Research Associate position to work on the time complexity analysis of
bio-inspired computation techniques. The position is part of an EPSRC
funded project entitled "Rigorous Runtime Analysis of Bio-inspired
Computing" started on March 31st 2015. The project is based in the
Computational Biology Group at the Department of Computer Science and
reports to Dr. Pietro Oliveto.

The Research Associate will work in a well-connected international team
with expertise in bio-inspired computing, to develop the research
objectives of the project and to contribute to its administration under the
supervision of the Principal Investigator. The Research Associate will
collaborate closely and drive the interaction with several national and
international project partners. She/He will also contribute to the
organisation of activities aimed at maximising the dissemination and impact
of the results as well as developing further research objectives and
contributing to future bids for research funding.

To apply you should have completed, or nearly completed, a PhD in computer
science. You should have good knowledge and strong experience of either the
theoretical analysis of bio-inspired computation techniques or of the
computational complexity analysis of problem specific deterministic and
randomized algorithms or other stochastic processes. You should have high
level analytical and computational skills and the ability to co-supervise
PhD students in bio-inspired computation.

These posts offer a competitive salary. For the duration of the project
funding is readily available for conference attendance and research visits
to partner organisations. Project partners include, amongst others,
research groups at the University of Birmingham, UK, at the Technical
University of Denmark (DTU) in Lyngby, Denmark and at the University of
Adelaide, Australia.

For further information and for submitting applications:

*http://www.dcs.shef.ac.uk/people/P.Oliveto/AdvertRANew.html
<http://www.dcs.shef.ac.uk/people/P.Oliveto/AdvertRA.html>*

The full advert is available at:

*http://www.dcs.shef.ac.uk/people/P.Oliveto/images/ATJ.pdf
<http://www.dcs.shef.ac.uk/people/P.Oliveto/images/AdvertRAs.pdf>*

For informal enquiries:

*P.Oliveto@sheffield.ac.uk <P.Oliveto@sheffield.ac.uk>*
*http://www.dcs.shef.ac.uk/people/P.Oliveto/
<http://www.dcs.shef.ac.uk/people/P.Oliveto/>*

--
Pietro S. Oliveto
Vice Chancellor's Fellow,
EPSRC Early Career Fellow,
Department of Computer Science,
The University of Sheffield, Sheffield, UK.

*1 Research Associate *post in time complexity analysis of bio-inspired
computation is *available now. *This is an open-ended position based on
current 4 year and a half EPSRC funding. Further details are here
<http://www.dcs.shef.ac.uk/people/P.Oliveto/images/ATJ.pdf>. Please apply
for the position here
<https://jobs.shef.ac.uk/sap/bc/webdynpro/sap/hrrcf_a_posting_apply?PARAM=cG9zdF9pbnN0X2d1aWQ9NTVEOEZDNDM4QjUyMkU4NEUxMDAwMDAwOEZBN0ZEMTgmY2FuZF90eXBlPUVYVA%3d%3d&sap-wd-configid=ZHRRCF_A_POSTING_UNREGHDR&sap-client=400&sap-language=EN&sap-accessibility=X&sap-ep-themeroot=%2fSAP%2fPUBLIC%2fBC%2fUR%2fuos#>
.

*Fully funded PhD studentships available now* in time complexity analysis
of bio-inspired computation. Enquiries by excellent candidates can be sent
to me by email. Applications will be accepted until the posts are filled.
Further details are here
<http://staffwww.dcs.shef.ac.uk/people/P.Oliveto/PhDStudentships.html>.
Applicants should apply using the online application form here
<http://www.shef.ac.uk/postgraduate/online>

[DMANET] PhD Positions at ETH Zurich

Ph.D. Positions in Algorithms/Theory

We are interested in a variety of hot topics in the area of distributed
computing, such as distributed algorithms, graph algorithms, social and
economic networks, or recommendation systems. We are looking for new
members with a strong interest in algorithms/theory, and a Master's
degree in Computer Science or Mathematics or a related field. A
candidate should be attracted by and proficient in areas such as
approximation algorithms, complexity theory, distributed algorithms,
graph theory, online computation, computational geometry, probabilistic
algorithms, learning theory, combinatorics or optimization. A new group
member can choose and shape a project according to his or her interests
and talents within the first months of employment. Successful candidates
are expected to work towards a doctoral degree, and participate in the
teaching activities of the group.

Link to group: http://www.disco.ethz.ch/

Link to other information and terms of employment:
http://disco.ethz.ch/misc/PhD_applicant_info.html

Link to online application form:
https://pub.refline.ch//845721/3114/++publications++/1/index.html

Theory Announcements

Friday, September 11, 2015

[DMANET] Third Call for Papers for CALDAM 2016 - Submission Deadline Sept. 25th.

[DMANET] 2-year Postdoc on Reachability Problems: Algorithms and Complexity (University of Liverpoool, UK)

[DMANET] 1st CfP: ACHI 2016 || April 24 - 28, 2016 - Venice, Italy

Thursday, September 10, 2015

[DMANET] CFP: SI of Elsevier Pervasive and Mobile Computing on Pervasive Social Computing

Tuesday, September 8, 2015

[DMANET] Final CFP: 15th Int. Conf on Hybrid Intelligent Systems (HIS 2015) - Seoul, Korea, Springer

[DMANET] DCC 2016 session on Compressed Data Structures CFP

Monday, September 7, 2015

[DMANET] PhD Position in Random Graphs and Probabilistic Combinatorics at TU Graz, Austria

[DMANET] Winter School in Network Optimization , January 2016 - 2nd Announcement

[DMANET] Faculty position, Computer Science, UEC, Tokyo, Japan

Faculty position, Computer Science, UEC, Tokyo, Japan

[DMANET] postdoctoral fellowship

Saturday, September 5, 2015

[DMANET] Discrete Math Summer School (in January)

[DMANET] STACS 2016: 2nd Call for Papers

Friday, September 4, 2015

[DMANET] LATIN 2016 - 2nd CALL FOR PAPERS

Thursday, September 3, 2015

[DMANET] [Info] CfP - EvoMUSART2016

[DMANET] Call for chapters - Vehicular Social Networks, CRC Taylor & Francis Group - DEADLINE EXTENDED TO SEPT. 7

[DMANET] ETAPS 2016 2nd call for papers

Wednesday, September 2, 2015

[DMANET] CFP: Special Issue "Wireless Sensor Networks for Measuring the Impact of Human Activities over Different Environments" in (IJDSN)

[DMANET] LATIN'16: Second Call for Papers

[DMANET] Innovations in Bio-Inspired Computing and Applications - 2015 - Last call for papers - Springer - Kochi

Tuesday, September 1, 2015

[DMANET] Open Ended Research Associate Position - Time Complexity Analysis of Bio-inspired Computation

[DMANET] PhD Positions at ETH Zurich

Mailing Lists

Search This Blog

Blog Archive

Friday, September 11, 2015

Thursday, September 10, 2015

Tuesday, September 8, 2015

Monday, September 7, 2015

Saturday, September 5, 2015

Friday, September 4, 2015

Thursday, September 3, 2015

Wednesday, September 2, 2015

Tuesday, September 1, 2015

Mailing Lists

Subscribe To

Search This Blog

Blog Archive