Wednesday, July 31, 2013

[DMANET] 1st CfP: ICONS 2014 || February 23 - 27, 2014 - Nice, France

INVITATION:

=================
Please consider to contribute to and/or forward to the appropriate groups the following opportunity to submit and publish original scientific results to ICONS 2014.

The submission deadline is September 28, 2013.

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


============== ICONS 2014 | Call for Papers ===============

CALL FOR PAPERS, TUTORIALS, PANELS

ICONS 2014, The Ninth International Conference on Systems

February 23 - 27, 2014 - Nice, France


General page: http://www.iaria.org/conferences2014/ICONS14.html

Call for Papers: http://www.iaria.org/conferences2014/CfPICONS14.html

- regular papers
- short papers (work in progress)
- posters
- ideas

Submission page: http://www.iaria.org/conferences2014/SubmitICONS14.html

Submission deadline: September 28, 2013

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

Please note the Poster and Work in Progress options.

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


ICONS 2014 Topics (topics and submission details: see CfP on the site)

Systems' Theory and Practice
Systems design methodologies and techniques; Formal methods to specify systems? behavior; Online and offline systems; Open and closed systems; Centralized and distributed systems; Proactive and reactive systems; System robustness; Systems scalability; Fault-tolerant systems; Feedback systems; High-speed systems; Delay tolerant systems; Real-time systems

Systems engineering
Systems requirements; Systems modeling; Systems development lifecycle; System-of-systems; Systems ergonomics; Subsystem interactions; Systems decomposition; Systems integration

System Instrumentation
Metering embedded sensors; Composing multi-scale measurements; Monitoring instrumentation; Smart sensor-based systems; Calibration and self-calibration systems; Instrumentation for prediction systems

Embedded systems and systems-on-the-chip
Real-time embedded systems Programming embedded systems; Controlling embedded systems; High speed embedded systems; Designing methodologies for embedded systems; Performance on embedded systems; Updating embedded systems; Wireless/wired design of systems-on-the-chip; Testing embedded systems; Technologies for systems processors; Migration to single-chip systems; Micro/nano structures and systems

Target-oriented systems [emulation, simulation, prediction, etc.]
Information systems; Real-time systems; Software systems; Hardware systems; Emulation systems; Simulation systems Prediction systems

Specialized systems [sensor-based, mobile, multimedia, biometrics, etc.]
Sensor-based systems; Biometrics systems; Mobile and fixed systems; Ubiquitous systems; Nano-technology-based systems; Multimedia systems

Validation systems
Diagnosis assistance systems; Test systems; Validation systems; Performance measurement systems; Maintenance systems

Security and protection systems
Security systems; Vulnerability detecting systems; Intrusion detection systems Intrusion avoidance systems; Presence detection systems; Monitoring systems; Management systems; Alert systems; Defense systems; Emergency systems

Advanced systems [expert, tutoring, self-adapting, interactive, etc.]
Expert systems; Tutoring systems; Highly interactive systems; Anticipative systems; On-demand systems; GRID systems; Autonomic systems; Autonomous systems; Self-adapting systems; Adjustable autonomic systems; High performance computing systems; Mission critical systems

Application-oriented systems [content, eHealth, radar, financial, vehicular, etc.]
Web-cashing systems; Content-distributed systems; Accounting and billing systems; E-Health systems; E-Commerce systems; Radar systems; Navigation systems; Systems for measuring physical quantities; Earthquake detection and ranking systems; Financial systems; Robotics systems; Vehicular systems; Entertainment systems; Gaming systems; Speech recognition system

IT Systems
IT service management; IT Infrastructure management; IT service desk; Service support and delivery; Service strategy; Service design; Service transition; Service operation; Continual service improvement

Safety in industrial systems
Fundamentals on system safety; Safety of software systems and software engineering; Safety requirements; Safety for critical systems; Engineering for system robustness and reliability; Control of mission critical systems; Safety-oriented system design; Human tasks and error models; Hazard analysis; Cost and effectiveness of system safety; Verification and validation of safety; Safety tools; Evaluation of safety data, and mitigation and prevention strategies; Safety control and management; System Safety Implementation Guidelines and Standards; Transferring safety knowledge; Metrics for Risk Assessment; Contingency Planning and Occurrence Reporting; Preparedness Activities; Industry specific safety systems (Medical devices, Aerospace, Chemical industry, Nuclear power plants, Public health, Biological Safety)

Complex systems
Theory of complex systems; Ontologies for complex systems; Chaos and complexity; Design and integrate complex systems; Complexity and simulation; Simulation and datamining; Artificial intelligence and soft computing in complex systems; Multi-agent based simulation; Systems of systems; Intelligent agent architectures; Evolutionary programming; Uncertainty reduction and classification; Monitoring and managing complex systems; Case studies of complex systems [vehicular, avionic, health, emergency, sensing, etc.]; Industrial systems [robotics, production, accounting and billing, e-commerce, etc.]

-----------------
Committee: http://www.iaria.org/conferences2014/ComICONS14.html
================================================
**********************************************************
*
* 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] second CFP LATIN 2014

SECOND CALL FOR PAPERS:

Latin American Theoretical INformatics (LATIN 2014)
March 31-April 4, 2014, Montevideo, Uruguay
==============================================================================

A series of Symposia in Theoretical Computer Science was launched in 1992, to
be held in Latin America: LATIN (Latin American Theoretical INformatics). This
is the eleventh event of the series, after 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), and Arequipa, Peru
(2012).

We seek papers presenting original research in theoretical computer science,
including, but not limited to: algorithms (approximation, online, randomized,
algorithmic game theory, etc.), 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.

Proceedings containing the accepted extended abstracts will be published
by Springer-Verlag, in the Lecture Notes in Computer Science (LNCS) series.
Printed versions will be available at the conference.

---- SUBMISSION ----

Authors are invited to submit an extended abstract in English no longer than 12
pages (including the bibliography) on letter-size paper using at least 11-point
font in Springer LNCS format. If more space is needed, a clearly marked
appendix, to be read at the discretion of the program committee, may be
included if desired. Simultaneous submission of papers to any other conference
with published proceedings, as well as the submission of previously published
papers, is not allowed. Instructions for electronic submissions will be posted
at the conference web site,

http://www.fing.edu.uy/eventos/latin2014.

The deadline for submissions is September 17, 2013 (firm deadline).
If needed, a short 1 page abstract of the paper can be submitted by
this deadline, and later the final extended abstract
can be submitted by September 22, 2013 (also firm deadline).
Neither short abstracts nor new extended abstracts submitted after
September 17 will be evaluated. Moreover, short abstracts not
replaced by their extended version before September 22, will neither be
evaluated.


---- CONFIRMED PLENARY SPEAKERS ----

Gilles Barthe, IMDEA Software Institute.
Ian Munro, University of Waterloo.
Gonzalo Navarro, Universidad de Chile.
Ronitt Rubinfeld, MIT.
Robert Sedgewick, Princeton University.

---- IMPORTANT DATES ----

Short abstract submission: Sep. 17, 2013
Final Submission: Sep. 22, 2013
Notification: Dec. 2, 2013
Final version: Dec. 20, 2013

---- IMRE SIMON TEST-OF-TIME AWARD ----

Starting in 2012, an award is given to the LATIN paper deemed to be most
influential among all those published at least ten years prior to the current
edition of the conference. Papers published in the LATIN proceedings up to and
including 2004 are eligible for the 2014 award.

---- LOCATION ----

Montevideo, a port city, the capital of Uruguay and home to its largest
University, the Universidad de la Republica, is a perfect destination for
travelers looking for a relaxing stroll past colonial era buildings and along
beautiful beaches. The Ciudadela Gateway, the only remaining section of the
wall that once surrounded the entire city, now serves as the entrance to Ciudad
Vieja, Montevideo?s oldest neighborhood. Home to churches, museums, and
theaters, at night the area comes alive with nightclubs playing Tango and
Candombe music for crowds of dancers.

---- PROGRAM COMMITTEE ----

R. Baeza-Yates, Yahoo! Labs.
J. Barbay, U. Chile
M. Bender, Stony Brook U.
J. Boyar, U. Southern Denmark
V. Dujmovic, Carleton U.
L. Epstein, U. Haifa
C. G. Fernandes, U. Sao Paulo
M. Fernandez, ENS Paris
J. von zur Gathen, U. Bonn
G. Gonnet, ETH Zurich
M. Kiwi, U. Chile
Y. Kohayakawa, U. Sao Paulo
E. Kranakis, Carleton U.
R. Kumar, Google
A. Lubiw, U. Waterloo
C. Martinez, UPC Barcelona
E. Mayordomo, U. Zaragoza
M. Molinaro, Carnegie Mellon
R. Motz, U. de la Republica
L. Moura, U. Ottawa
D. Panario, Carleton U.
S. Rajsbaum, UNAM
T. Rezk, INRIA
A. Richa, Arizona State U.
J. Sakarovitch, CNRS / ENST
N. Schabanel, CNRS / U. Paris Diderot
G. Seroussi, U. de la Republica
R. I. Silveira, UPC Barcelona
J. A. Soto, U. Chile
M. Strauss, U. Michigan
V. Trevisan, UFRGS
J. Urrutia, UNAM
T. Uustalu, Tallinn U. of Technology
B. Vallee, CNRS / U. Caen
A. Viola (Chair), U. de la Republica
S. Zanella-Beguelin, Microsoft
Research

---- LOCAL ARRANGEMENTS COMMITTEE ----

G. Calderon, U. de la Republica
J. Molina, IDEAS
L. Molina, IDEAS
A. Pardo (Chair), U. de la Republica

---- CONTACT ----

Alfredo Viola
latin2014-chair@fing.edu.uy
**********************************************************
*
* 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, July 30, 2013

[DMANET] Post-doctorat à l'Université Libre de Bruxelles

Le *Département d'Informatique* de la Faculté des Sciences de
l'*Université Libre de Bruxelles* engage *un(e) chercheur/chercheuse
post-doctorant(e)* pour une période d'un an à partir de *septembre
2013*.

Le/la candidat(e) sera porteur d'une thèse de doctorat dans le domaine
de l'informatique, de préférence dans une des activités de recherches
conduites dans le département. Il/elle sera chargé(e) de l'encadrement
- du projet d'année en 1ére année du bachelier en sciences informatiques;
- des exercices et projets liés au cours «Embedded Systems Design».

Ses activités de recherches se poursuivront dans un des services du
département :
- Algorithms
- Graphs and Mathematical Optimization
- Machine Learning
- Cryptography and Computer Security
- Parallel Architectures for Real-Time Systems
- Formal Methods and Verification

La maîtrise du français est indispensable.

Les candidatures, composées d'un CV incluant une liste de publications
complètes et d'un projet de recherche, doivent être adressées à Mme
Pascaline Browaeys (browaeys@ulb.ac.be) *avant le 16 août 2013*.

**********************************************************
*
* 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] SAGT 2013 - Call for Participation

6th INTERNATIONAL SYMPOSIUM ON ALGORITHMIC GAME THEORY

SAGT 2013

http://algo.rwth-aachen.de/sagt2013/

Aachen, October 21-23, 2013

Early Registration Deadline: October 1st, 2013

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

The 6th International Symposium on Algorithmic Game Theory (SAGT) will
take place in Aachen, Germany, from October 21 to October 23. The
purpose of SAGT is to bring together researchers from Computer Science,
Economics, Physics, Biology and Mathematics to present and discuss
original research at the intersection of Algorithms and Game Theory.
SAGT is organized in cooperation with ACM SIGecom and EATCS.

The program will include both invited lectures and presentations for
refereed submissions. Invited speakers are

Constantinos Daskalakis, MIT
Paul Milgrom, Stanford
Rakesh Vohra, Northwestern

List of accepted papers:
http://algo.rwth-aachen.de/sagt2013/accepted.php

Schedule:
http://algo.rwth-aachen.de/sagt2013/schedule.php

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

After SAGT there will be the a fall school on topics in Algorithmic
Game Theory and Learning.

AlgoSyn Fall School, October 23-25, Aachen, Germany

For details see
http://www.algo.rwth-aachen.de/fallschool


**********************************************************
*
* 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] Postdoctoral Associate- Masdar Institute of Science and Technology

Postdoctoral Associate
Masdar Institute of Science and Technology
Abu Dhabi, UAE

The Masdar Institute of Science and Technology (MI), located in Abu Dhabi, United Arab Emirates, is a private, not-for-profit,
independent, graduate-level, research-driven institute developed with the support and cooperation of the Massachusetts Institute
of Technology (MIT). The goal of the Institute is to develop, over a period of years, indigenous R&D capacity in Abu Dhabi,
addressing issues of importance to the region in critical areas such as: renewable energy, sustainability, environment, water resources
and microelectronics. The Institute offers graduate degree programs (MSc & PhD) in science and engineering disciplines with
a focus on advanced energy and sustainable technologies (http://www.masdar.ac.ae and http://web.mit.edu/mit-tdp/www/).

Position description: This postdoctoral research position is funded through a joint research project performed by MI and MIT
faculty and research staff on the topic of systemic risk in new-age power systems. This is an interdisciplinary project among
researchers from Computer Science, Electrical Engineering, and Mechanical Engineering. The objective of this project is to develop
a secure system architecture and the associated communication, control, pricing, and market mechanisms for efficient, robust, and
resilient operation of power systems and energy networks. The appointment is expected to start from January 1, 2014. The initial
appointment will be for 1 year but it can be extended up to 2.5 years depending on the availability of funding and the candidate's
performance. The official appointment of the position is with MI, but there is a possibility for the successful candidate to spend
some time working on the project at MIT.

Salary range: USD 70,000 to USD 75,000 per annum (the UAE has no income tax).

Selection criteria: The applicant should meet the following criteria:
- PhD in Computer Science or a related field. Candidates who have submitted their PhD thesis are also welcome.
- Strong research background as indicated by a strong publication record. The candidate is expected to have published
in top journals and conferences in their research field.
- Strong background in at least one of the following topics: algorithmic game theory, approximation algorithms, control theory,
mathematical programming, and multi-agent systems. Knowledge of power engineering is a plus.

How to apply: Interested candidates should send their CV and research statement tailored to the research topic specified
above to Dr. Khaled Elbassioni and Dr. Jacob Crandall (email: kelbassioni@masdar.ac.ae and jcrandall@masdar.ac.ae).
Initial screening of applications will begin immediately and the position will remain open until filled.



**********************************************************
*
* 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: SPACOMM 2014 || February 23 - 27, 2014 - Nice, France

INVITATION:

=================
Please consider to contribute to and/or forward to the appropriate groups the following opportunity to submit and publish original scientific results to SPACOMM 2014.

The submission deadline is September 28, 2013.

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


============== SPACOMM 2014 | Call for Papers ===============

CALL FOR PAPERS, TUTORIALS, PANELS

SPACOMM 2014, The Sixth International Conference on Advances in Satellite and Space Communications

February 23 - 27, 2014 - Nice, France


General page: http://www.iaria.org/conferences2014/SPACOMM14.html

Call for Papers: http://www.iaria.org/conferences2014/CfPSPACOMM14.html

- regular papers
- short papers (work in progress)
- posters
- ideas

Submission page: http://www.iaria.org/conferences2014/SubmitSPACOMM14.html

Submission deadline: September 28, 2013

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

Please note the Poster and Work in Progress options.

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

SPACOMM 2014 Topics (topics and submission details: see CfP on the site)

Signal processing in telecommunications
Signal processing theory and practice; Advances in modulation and coding; Image and multidimensional signal processing; Signal filter design and structures; Multirate filtering, filter banks, and adaptive filters; Fast signal processing algorithms; Nonlinear signals and systems; Nonuniform transformation; 2D nonuniform DFT; Fast algorithm of NDFT; Advanced image/video coding; Advanced prediction techniques; Signal detection and reconstruction; Spectral estimation and time-frequency analysis; Higher order spectrum analysis; Parameter estimation; Array signal processing; Statistical signal analysis; Signal and system modeling; Cyclostationary signal analysis; Active noise control, active noise reduction and echo cancellation; Psychoacoustics and room acoustics; Signal processing for music; Binaural systems and multidimensional signal systems; Geophysical and seismic signal processing; Nonlinear interpolation/resampling; Extensions to wavelet based coding (x-lets); Low complex!
ity image/video compression; Multip
le resolution signal processing; New approach to digital signal processing; Compression of random data; Recompression of compressed data; 2D projection of 3D data; Stereo data matching; Emerging applications requiring new compression tools; Unified compression and recognition; H.264 and latest video coding standards; Latest audio coding standards
Antenna/Radar signal processing

Signal detection and estimation; RF engineering; Active filters; Analog and digital filters; Oscillator circuit design; Circuit design for high-speed frequency synthesis; Statistical and adaptive signal processing; Computational electrodynamics; Signal processing for sensing systems; RFID and MMIC design principles and applications; Microstrip circuit design and applications; Design and analysis of microwave radiometer systems; Modem microwave; System-in-package RF design and applications

Satellite and space communications
Earth-space communications; MIMO satellite communications; Hybrid satellite and terrestrial networks; Access Schemes; Demand Assignment Multiple Access (DAMA); Cross-layer air interface design; Channel models; Navigation services; Reliable multicast protocols; Transport protocol performance over satellite; IP over satellite Routing protocols; Game theory applications in satellite networks; Onboard switching and processing technologies; QoS and performance; Call admission control schemes; Dynamic bandwidth allocation; Adjacent and terrestrial interference; Fade mitigation techniques; Advanced channel modeling; Security, privacy, and trust; Radio resource management; IT application in Space Communications; Standards activities

Delay Tolerant Networking
Use of DTN protocols in space missions; DTN for PI/instrument connectivity; Routing for DTNs; Performance and reliability of DTN protocols

Satellites and nano-satellites
Satellite communications (hybrid satellites and terrestrial networks); Special protocols for nano-satellites; Onboard processing technology; Interplanetary communications (spatial mission analysis, in-flight experiences, delay tolerant networking [DTN]); Nano satellites and nano-rockets; Fundamental of nano-satellites communications; New technologies specific for small satellites; Applications (earth observation, science, telecommunications, navigation); New technologies; Satellite constellation design

Geographic Information and applications
Geographic information systems; Earth observation; Global positioning systems; Digital terrain modeling; Principles of GNSS, inertial and multi-sensor integrated navigation systems; GNSS applications; Spectrum systems for GNSS; GNSS devices for weak signals; Wireless positioning technologies and applications; Modern tracking systems; Satellite navigation (GPS, Galileo, augmentation systems); Visibility analysis of a satellite, or satellite constellation

Satellite/space communications-based applications
Satellite-based disaster recovery; Satellite-based large-scale sensor-networks; Satellite-based power grids monitoring and control; Satellite-based remote eHealth; Satellite based alarm systems; Satellite-based sensing and data mining; Satellite-based weather forecast; Satellite-based earthquake surveillance; Satellite-based environmental surveillance

Radar systems
Radar systems analysis and modeling; Radar and signal processing; Short range FM radar; Millimeter-wave radar targets; Radar reflectivity (land and sea); Radar system performance modeling; Interception and analysis of radar signal

Antennas
Antenna design and communications; Adaptive antenna and phased arrays for radar and communications; Smart antennas; Radioware propagation and antennas for personal communications; Dielectric resonator antennas; Multiantenna wireless communications systems; Antennas and propagation for body-centric wireless communications; Ultrawideband antennas; Mobile antennas systems; Parasitic antennas for cellular communications

Radio
Radio resource management and dynamic spectrum sharing; Platforms and architectures for cognitive radio; Access schemes; Wireless network co-existence; Ultra-Wideband cognitive radio system; Interference metric modeling; Beamforming and MIMO for interference avoidance; Anti-jamming channel coding; QoS provisioning and MAC protocols; Self-organizing mesh networks and autonomic communications; Multi-resolution channel sensing algorithms

Warfare
Electronic warfare target location systems; Statistical multisource-multitarget information fusion; Multisensor data fusion; Multimodel surveillance; Military applications

Galaxy-scale satellite communications and exploration missions
Planetary exploration management; Space astronomy advances; Solar-terrestrial sciences; Space life sciences and mission monitoring; Space physical sciences and satellite communications; Operational space medicine; Human exploitation of space resources

-------------------------------
Committee: http://www.iaria.org/conferences2014/ComSPACOMM14.html
================================================
**********************************************************
*
* Contributions to be spread via DMANET are submitted to
*
* DMANET@zpr.uni-koeln.de
*
* Replies to a message carried on DMANET should NOT be
* addressed to DMANET but to the original sender. The
* original sender, however, is invited to prepare an
* update of the replies received and to communicate it
* via DMANET.
*
* DISCRETE MATHEMATICS AND ALGORITHMS NETWORK (DMANET)
* http://www.zaik.uni-koeln.de/AFS/publications/dmanet/
*
**********************************************************

Monday, July 29, 2013

[DMANET] CFP: SenSys 2013 Poster, Demos and Doctoral Colloquim

[ ** Please excuse any duplicates you may recieve ** ]

Note: Poster and Demo submission deadline ends TODAY!

-=* The 11th ACM Conference on Embedded Networked Sensor Systems *=-

-=* SenSys 2013 *=-

CALL FOR POSTERS AND DEMOS
http://sensys.acm.org/2013/
November 11-15, 2013 - Rome, Italy

The ACM Conference on Embedded Networked Sensor Systems (SenSys) is a
highly selective forum for the presentation of research results on
systems issues in the area of embedded, networked sensors. Distributed
systems based on networked sensors and actuators with embedded
computation capabilities allow for an instrumentation of the physical
world at an unprecedented scale and density, thus enabling a new
generation of monitoring and control applications. SenSys provides a
cross-disciplinary venue for researchers addressing the rich space of
networked sensor system design issues to interact, present and
exchange research results, and demonstrate their work in a hands-on
research exhibition.

SenSys 2013 solicits submissions of both poster and demo abstracts in
reflecting research and development in the above areas of interest.
Contributions from industry presenting prototypes of platforms and
solutions that might enhance future innovative applications are also
encouraged. Submitted abstracts will be evaluated based on technical
merit and innovation as well as their potential to stimulate
interesting discussions and exchange of ideas. Authors of accepted
abstracts will be given a one-minute slot in a "madness session"
during the conference to present their work in front of the conference
audience. As with previous editions of SenSys, the best poster and
demo will receive an award.

All abstracts shall be formatted according to the main conference
paper layout. Accepted abstracts will appear in the conference
proceedings.

- IMPORTANT DATES -

Abstract submission: July 29th, 2013
Notification of acceptance: August 19th, 2013
Camera-ready abstract: August 30th, 2013

- SUBMISSION INSTRUCTIONS -

If you are submitting a poster abstract, please add "Poster Abstract:"
at the beginning of the abstract's title. Use instead "Demo Abstract:"
otherwise. Please submit your abstract here:
https://sensys2013.cs.virginia.edu/postersDemos/

- POSTERS -

The poster session at SenSys provides a forum for researchers to
present their work and receive feedback from experts attending the
conference. We explicitly encourage submissions from students.

Posters must be submitted as a single PDF containing no more than 3
pages. The first two pages should contain an abstract describing the
research content of the poster, along with title, authors,
institutional affiliations and contact information. The third page
should contain a thumbnail draft of the poster's contents.

For more information, please contact the poster chairs:

Chenyang Lu <lu@cse.wustl.edu>
Luca Mottola <luca.mottola@polimi.it>

- DEMOS -

Sensys solicits demonstrations showing innovative research and
applications. Demos which showcase working systems, new platforms and
tools, innovative applications, path breaking ideas, and other
revolutionary concepts are welcome. Submissions from both industry and
universities are encouraged.

Demos must be submitted as a single PDF containing no more than 3
pages. The first two pages should contain an abstract describing the
research content of the demo, along with title, authors, institutional
affiliations and contact information. The third, optional page, whose
format is at your discretion, should contain any additional
information that will be used only to evaluate your demonstration
proposal. For example, you may detail what you will show during the
demo, outline special requirements (e.g., unusual space needs,
exclusive access to a wireless channel, etc.), or provide links to
additional online material related to your demo. Links to videos
showing the demonstration are especially encouraged and videos of
accepted demos will be linked from the SenSys web pages.

For more information, please contact the demo chairs:

Emiliano Miluzzo <miluzzo@research.att.com>
Amy Murphy <murphy@fbk.eu>


=====================================================================
SenSys 2013 Doctoral Colloquium
November 13 November 2013 (afternoon), Rome, Italy.
http://sensys.acm.org/2013/doccol.html

The Doctoral Colloquium (DC) of SenSys'13 is to provide a friendly, supportive, and constructive environment where PhD students can present their research-in-progress for an open discussion guided by a panel of experienced researchers and practitioners. Applicants should be far enough into their PhD to have a concrete proposal, and have initially outlined the salient issues and proposed research methodology. Applicants should not be planning to submit their PhD thesis or dissertation for at least four months after the DC, so that any advice or input may still be incorporated into the doctoral work.

The DC will be a half-day, seminar-style event, consisting of short presentations followed by roundtable discussion. Time will be allotted to each student not only for the presentation, but also for careful, in-depth consideration and discussion amongst the panelists and DC participants.

In addition to the DC presentation, the participants will be given a chance to present a poster at the poster session during the main conference.

Submissions

Topic scope is the same as that listed in the SenSys call for papers. DC submissions should consist of a single PDF document using the SenSys paper template. The document should contain the following:

Research summary (3 pages) describing the work in progress and including a 100-word abstract. Things to consider for inclusion in the research summary might be: the expected contribution to the field of sensor networking; the original idea or thesis statement; the problem domain and the specific problem addressed; a brief overview of related work; the methodological approach; research carried out and results so far.

Student biographical sketch, including the names and affiliations of the research advisor(s), and expected date of dissertation submission.
The submission site can be found at https://sensys2013.cs.virginia.edu/doctoralCol/index.php

Research summaries will be reviewed by the chairs and panel members. If the work is accepted, a student may be expected to make clarifications and improvements to the research summary by the camera-ready deadline. Note that the research summaries will not be formally published, but hardcopies will be made available to colloquium delegates.
A prize for best student presentation will be awarded by the panel.


Registration

Accepted participants of the doctoral colloquium shall register with the SenSys workshop registration rate (if applicable at the student rate). The registration is free if the student also attends and has registered for the SenSys conference. Participants can also apply for SenSys travel grants.


Important Dates (all at 11:59pm PDT)

Submission Deadline September 1st, 2013
Notification of Acceptance October 6, 2013
Camera-Ready October 27, 2013
Colloquium November 13, 2013

Organizers

Chair
Cecilia Mascolo, University of Cambridge

Committee:

Polly Huang, National Taiwan University, Taiwan
Nic Lane, Microsoft Research Asia , China
Andrew Markham, University of Oxford, UK
Emiliano Miluzzo, AT&T, USA
Luca Mottola, Politecnico di Milano Italy & SICS Sweden
Anthony Rowe, CMU, USA
Silvia Santini Technische Universitat Darmstadt, Germany
Sasu Tarkoma University of Helsinki, Finland


**********************************************************
*
* Contributions to be spread via DMANET are submitted to
*
* DMANET@zpr.uni-koeln.de
*
* Replies to a message carried on DMANET should NOT be
* addressed to DMANET but to the original sender. The
* original sender, however, is invited to prepare an
* update of the replies received and to communicate it
* via DMANET.
*
* DISCRETE MATHEMATICS AND ALGORITHMS NETWORK (DMANET)
* http://www.zaik.uni-koeln.de/AFS/publications/dmanet/
*
**********************************************************

[DMANET] Machines, Computations and Universality 2013: Call for Participation

Machines, Computation and Universality (MCU) 2013
Zurich, Switzerland, September 9-11
http://mcu2013.ini.uzh.ch/


The early registration deadline for MCU 2013 is August 10, 2013.

Conference Program: http://mcu2013.ini.uzh.ch/Program.html

Registration: http://mcu2013.ini.uzh.ch/Registration.html


SCOPE

MCU explores computation in the setting of various discrete models
(Turing machines, register machines, cellular automata, tile assembly
systems, rewriting systems, neural models etc.) and analog and hybrid
models (BSS machines, infinite time cellular automata, real machines,
quantum computing etc.). There is particular (but not exclusive)
emphasis given towards the following:

1. the search for frontiers between decidability and undecidability in
the various models. (For example, what is the smallest number of pairs
of words for which the Post correspondence problem is undecidable, or
what is the largest state-symbol product for which the halting problem
is decidable for Turing machines?)

2. the search for the simplest universal models (such as small universal
Turing machines, universal rewriting systems with few rules, universal
cellular automata with small neighborhoods and a small number of states,
etc.)

3. the computational complexity of predicting the evolution of
computations in the various models. (For example, is it possible to
predict an arbitrary number of time steps for a model more efficiently
than explicit step by step simulation of the model?)

4. universality and undecidability in continuous models of computation.


IMPORTANT DATES

Early registration deadline: August 10, 2013
Conference: September 9-11, 2013


PROGRAM COMMITTEE

Andrew Adamatzky (University of the West of England, UK)
Matthew Cook (University of Zurich and ETH Zurich) (co-chair)
Erzsébet Csuhaj-Varjú (Eötvös Loránd University, Budapest, Hungary)
Jérôme Durand-Lose (University of Orléans, France)
Rudolf Freund (University of Vienna, Austria)
Gabriel Istrate (Institute e-Austria, Timisoara, Romania)
Jarkko Kari (University of Turku, Finland)
Lila Kari (University of Western Ontario, London, Canada)
Kamala Krithivasan (Indian Institute of Technology, Chennai, India)
Maurice Margenstern (University of Lorraine, France)
Turlough Neary (University of Zurich and ETH Zurich) (co-chair)
Matthew Pattitz (University of Arkansas, Fayetteville, USA)
Igor Potapov (University of Liverpool, UK)
Klaus Sutner (Carnegie Mellon University, Pittsburgh, USA)
Sergey Verlan (University of Paris Est, France)
Damien Woods (California Institute of Technology, USA)


INVITED SPEAKERS

Liesbeth De Mol (Ghent University, Belgium)
Jarkko Kari (University of Turku, Finland)
Kenichi Morita (Hiroshima University, Japan)
Erik Winfree (California Institute of Technology, USA)
Damien Woods (California Institute of Technology, USA)


STEERING COMMITTEE

Maurice Margenstern (University of Lorraine, France) (chair)
Jérôme Durand-Lose (University of Orléans, France) (vice-chair)
Erzsébet Csuhaj-Varjú (Eötvös Loránd University, Hungary)
Natasha Jonoska (University of South Florida, USA)
Kenichi Morita (Hiroshima University, Japan)
Gheorghe Păun (The Romanian Academy, Romania)
Arto Salomaa (University of Turku, Finland)
K. G. Subramanian (University of Science, Malaysia)

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

2013 Edsger W. Dijkstra Prize in Distributed Computing

(apologies for multiple mailings)

The Dijkstra Prize Committee has selected Nati Linial as the recipient of this year Edsger W. Dijkstra Prize in Distributed Computing. The prize is given to him for his outstanding paper: "Locality in distributed graph algorithms" published in SIAM Journal on Computing, 21(1992) 193-201.

The prize is given for outstanding papers on the principles of distributed computing, whose significance and impact on the theory and/or practice of distributed computing has been evident for at least a decade. For more details please go to:
http://www.podc.org/2013-dijkstra-prize/

Prize Committee 2013:
• Yehuda Afek, Tel-Aviv Univ.
• Faith Ellen, Univ. of Toronto
• Boaz Patt-Shamir, Tel-Aviv Univ.
• Sergio Rajsbaum, UNAM
• Alexander Shvartsman, Univ. of Connecticut
• Gadi Taubenfeld, IDC, chair

[DMANET] Three PhD studentships, Queen Mary, University of London

Dear Colleagues,

The School of Mathematical Sciences at Queen Mary, University of London has three fully-
funded PhD studentships starting in September 2013. Please see

http://www.maths.qmul.ac.uk/projects-and-research-themes/projects-and-research-themes

for details. There is a large overlap between the possible research themes for these PhD
Studentships and the interests of this mailing list. Note that the deadline for applications
is Monday 12th August.

Regards
Mark Jerrum
**********************************************************
*
* 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/
*
**********************************************************

Sunday, July 28, 2013

[Mycolleagues] Special Issue on Fair Optimization and Networks: Models, Algorithms, and Applications, Journal of Applied Mathematics

* Please see the "footer" to change your settings, "subscribe", or "unsubscribe" at "mycolleagues mailing list".
-------------

MobiCom registration is now open!

Apologies for multiple postings. 

MobiCom registration is now open!

For registration information and to register, visit: http://www.sigmobile.org/mobicom/2013/registration.html
Please notice that: 
  • Early registration deadline is: 1:59PM EDT, August 30, 2013
  • Registration will be capped due to meeting space limitation
  • The Hyatt hotel room block at the discounted rate of $129 is rather small. The sooner the block size limit is reached, the more likely it is for the Hyatt to extend our block. So book your hotel room as soon as practically possible using the specially provided reservation link:  https://resweb.passkey.com/Resweb.do?mode=welcome_gi_new&groupID=19226206
For latest announcements, follow "MobiCom2013" on Facebook and Twitter. 

------------------------------
Pei Zhang
Associate Research Professor
Cylab & ECE & INI & SV
Carnegie Mellon University
http://www.ece.cmu.edu/~peizhang/

MobiCom registration is now open!

Apologies for multiple postings. 

MobiCom registration is now open!

For registration information and to register, visit: http://www.sigmobile.org/mobicom/2013/registration.html
Please notice that: 
  • Early registration deadline is: 1:59PM EDT, August 30, 2013
  • Registration will be capped due to meeting space limitation
  • The Hyatt hotel room block at the discounted rate of $129 is rather small. The sooner the block size limit is reached, the more likely it is for the Hyatt to extend our block. So book your hotel room as soon as practically possible using the specially provided reservation link:  https://resweb.passkey.com/Resweb.do?mode=welcome_gi_new&groupID=19226206
For latest announcements, follow "MobiCom2013" on Facebook and Twitter. 

------------------------------
Pei Zhang
Associate Research Professor
Cylab & ECE & INI & SV
Carnegie Mellon University
http://www.ece.cmu.edu/~peizhang/

Friday, July 26, 2013

DEADLINE APPROACHING: Associate Professors in Computer Science at Aarhus University

One or more positions as associate professor are available at the Department of Computer Science, Aarhus University (www.cs.au.dk) starting January 1, 2014.

The department has research groups within “Algorithms and Data Structures”, “Data-Intensive Systems”, “Cryptography and Security”, “Mathematical Computer Science”, “Logics and Semantics”, “Ubiquitous Computing and Interaction”, “Computer-Mediated Activity”, “Use, Design and Innovation”, “Programming Languages”, “Computer Graphics and Image Processing” and “Bioinformatics”. In addition, we want to build competences within “Software Engineering / Multicore/ Systems”, “Machine Learning / Data Mining” and “Quantum Informatics”.

Applicants are expected to have several years of experience at the assistant professor level. They must document a strong record of original research and have teaching experience at undergraduate/graduate level.

The department has a staff of 140 people including 28 full and associate professors, 5 assistant professors, 25 PostDocs and 65 PhD students. The number of students is approximately 1,000.

Further information can be obtained from head of department Kurt Jensen (
kjensen@cs.au.dk) or vice head of research Mogens Nielsen (mn@cs.au.dk).
 
Please apply online at http://www.au.dk/en/job/nat/academicpositions/ before August 15, 2013.

[DMANET] Lectureship/Senior Lectureship in Financial/Actuarial Mathematics at the University of Hertfordshire, UK

A Lectureship in Financial/Actuarial Mathematics is available at the
University of Hertfordshire, UK.
Applications are welcome from candidates in all areas of research, as
long as they can make a case to teach courses in the areas of
Financial and Actuarial Mathematics.
This is a permanent position, and full details can be found at
https://www.jobs.herts.ac.uk/pls/corehrrecruit/erq_jobspec_version_4.display_form
The deadline for applications is the 30th of August.
**********************************************************
*
* 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] 6th workshop on Graph Classes, Optimization, and Width Parameters (GROW 2103)

Workshop announcement:

"6th workshop on Graph Classes, Optimization, and Width Parameters"

to be held in Santorini Island, Greece during October 09-11, 2013.

The target of the event is to bring together various researchers and research
groups working with problems related to Graph Classes, Optimization, and
Width Parameters.

As with each of the previous GROW workshops, a special issue of Discrete
Applied Mathematics will be dedicated to papers related to GROW 2013.

Information on the conference, including the list of participants and
the abstracts of the talks can be found at the workshop web-page at
http://grow2013.isoftcloud.gr/

Dimitrios M. Thilikos
(sedthilk@thilikos.info)

**********************************************************
*
* Contributions to be spread via DMANET are submitted to
*
* DMANET@zpr.uni-koeln.de
*
* Replies to a message carried on DMANET should NOT be
* addressed to DMANET but to the original sender. The
* original sender, however, is invited to prepare an
* update of the replies received and to communicate it
* via DMANET.
*
* DISCRETE MATHEMATICS AND ALGORITHMS NETWORK (DMANET)
* http://www.zaik.uni-koeln.de/AFS/publications/dmanet/
*
**********************************************************

[DMANET] PostDoc / PhD position in Augsburg

The Department of Sustainable Operations and Logistics at the Faculty for
Business Administration, University of Augsburg, invites applicants for a

<< PostDoc >>
(Pay-Grade A 13, i.e. monthly gross salary between 3750 and 4612 EUR,
limited to 3 years, extendable) or

<< PhD position >>
(Pay-Grade 13 TV-L, i.e. monthly gross salary between 3270 and 4720 EUR,
limited to 4 years, extendable)

with a weekly teaching assignment of five hours to be held in German or
English.

The ideal candidate will have completed his/her studies in mathematics,
computer science, business administration, or one of the bordering
disciplines with relevance to Operations Research, Logistics and Operations
Management. Ideally the candidate already speaks some German and has
experience in programming.

The Department of Sustainable Operations and Logistics deals with
(optimization-) problems in logistics in conjunction with aspects of
sustainability. Current research topics include railway cargo handling,
airport logistics, emissions trading and scheduling.

Women are expressly invited to apply. Seriously disabled applicants are
subject to preferred hiring, provided that they show the same ability,
qualification and expertise.

Please send an e-mail with your application preferably before August 09,
2013 to: florian.jaehn@wiwi.uni-augsburg.de

Prof. Dr. Florian Jaehn
Department of Sustainable Operations and Logistics
Wirtschaftswissenschaftliche Fakultät der Universität Augsburg
Universitätsstraße 16
86159 Augsburg
www.wiwi.uni-augsburg.de/bwl/jaehn


**********************************************************
*
* 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] FLoC 2014 Second Call for Workshops (The Sixth Federated Logic Conference, July 2014, Vienna, Austria)

[apologies for cross posting]

THE SIXTH FEDERATED LOGIC CONFERENCE (FLoC 2014)
Part of VIENNA SUMMER OF LOGIC (VSL 2014)
July 2014, Vienna, Austria


SECOND CALL FOR WORKSHOPS

The Sixth Federated Logic Conference (FLoC 2014) will be part of the Vienna Summer of Logic (VSL), the largest logic event in history, with over 2000 expected participants. FLoC 2014 will host eight conferences and many workshops. Each workshop will be affiliated with at least one of the eight conferences.

26th International Conference on Computer Aided Verification (CAV)
Workshop Chair: Martina Seidl http://fmv.jku.at/seidl/

27th IEEE Computer Security Foundations Symposium (CSF)
Workshop Chair: Luca Vigano http://profs.sci.univr.it/~vigano/

30th International Conference on Logic Programming (ICLP)
Workshop Chair: Haifeng Guo http://faculty.ist.unomaha.edu/hguo/

7th International Joint Conference on Automated Reasoning (IJCAR)
Workshop Chair: Matthias Horbach http://www.mpi-inf.mpg.de/~horbach/

5th Conference on Interactive Theorem Proving (ITP)
Workshop Chair: David Pichardie http://www.irisa.fr/celtique/pichardie/

Joint meeting of the 23rd EACSL Annual Conference on Computer Science Logic (CSL) and the 29th ACM/IEEE Symposium on Logic in Computer Science (LICS)
Workshop Chair: Georg Moser http://cl-informatik.uibk.ac.at/users/georg/

25th International Conference on Rewriting Techniques and Applications (RTA) joined with the 12th International Conference on Typed Lambda Calculi and Applications (TLCA)
Workshop Chair: Aleksy Schubert http://www.mimuw.edu.pl/~alx/

17th International Conference on Theory and Applications of Satisfiability Testing (SAT)
Workshop Chair: Ines Lynce http://sat.inesc-id.pt/~ines/


SUBMISSION OF WORKSHOP PROPOSALS

Researchers and practitioners are invited to submit proposals for workshops on topics in the field of computer science, related to logic in the broad sense. Each workshop proposal must indicate at least one conference to be affiliated with, and among those exactly one primary hosting conference.

It is suggested that prospective workshop organizers contact the relevant conference Workshop Chair(s) before submitting a proposal.

Proposals should be submitted electronically to EasyChair at the following address: http://www.easychair.org/conferences/?conf=floc14cfw

Proposals should consist of two parts. First, a short scientific justification of the proposed topic, its significance, and the particular benefits of the workshop to the community, as well as a list of previous or related workshops (if relevant). A second, organizational part should include:

* contact information of the workshop organizers
* proposed primary hosting conference (and possibly other affiliated conference(s))
* estimate of the audience size
* proposed format and agenda (for example, paper presentations, tutorials, demo sessions, etc.)
* potential invited speakers
* procedures for selecting papers and participants
* plans for dissemination, if any (for example, special issues of journals)
* duration (which may vary from one day to two days) and preferred period

The FLoC Organizing Committee will determine the final list of accepted workshops based on the recommendations from the Workshop Chairs of the hosting conferences and subject to the availability of space and facilities.

Further information can be found at the FLoC 2014 Workshop Guide
http://vsl2014.at/floc-ws/


IMPORTANT DATES

Submission of workshop proposals: by September 30, 2013
Notification: by November, 2013
Pre-FLoC workshops: Saturday & Sunday, July 12-13
Mid-FLoC workshops: Thursday & Friday, July 17-18
Post-FLoC workshops: Wednesday & Thursday, July 23-24


CONTACT INFORMATION

Questions regarding workshop proposals should be sent to the workshop chairs of conferences that are supposed to host the workshop (see above). General questions should be sent to floc14cfw@easychair.org Please consult the FLoC 2014 Workshop Guide http://vsl2014.at/floc-ws/


FLoC 2014 WORKSHOP CHAIR

Stefan Szeider
http://www.szeider.net
Vienna University of Technology


**********************************************************
*
* Contributions to be spread via DMANET are submitted to
*
* DMANET@zpr.uni-koeln.de
*
* Replies to a message carried on DMANET should NOT be
* addressed to DMANET but to the original sender. The
* original sender, however, is invited to prepare an
* update of the replies received and to communicate it
* via DMANET.
*
* DISCRETE MATHEMATICS AND ALGORITHMS NETWORK (DMANET)
* http://www.zaik.uni-koeln.de/AFS/publications/dmanet/
*
**********************************************************

Thursday, July 25, 2013

[DMANET] PostDoc in Discrete Math --- University of Tartu, Estonia

The University of Tartu is looking for

PostDocs in Discrete Mathematics.

The work environment is multi-national.
Interaction is almost exclusively in English.

Your research will be on problems in the intersection of

- Probabilistic Combinatorics,
- (Combinatorial) Matrix Theory,
- Hypergraph Theory.

The research group in Discrete Mathematics is small and
vibrant. Besides the above areas, there is research in
Combinatorial Number Theory and Coding Theory, as well as
interactions with a sprawling Cryptology group.

We expect the successful applicant to

- be fluent in English;
- hold a PhD in Math (or CS);
- have experience and publications in at least one of the
above areas;
- have a very good record of publications (measured
relative to the specifics of his area and the stage of
his PostDoc life).

For informal inquiries, please contact

Dr. rer.nat. habil. Dirk Oliver Theis
Senior Lecturer
dirk.oliver.theis@ut.ee

Why don't you include a very short CV, and links to the
full-text of at most 3 of your favourite (own) publications?

Here's some more information about Estonia & Tartu, but check
out www.lonelyplanet.com/estonia/southeastern-estonia/tartu.

Estonia

* Euro zone since 2011
* 1.3 million inhabitants (= Cologne + Heidelberg)
* Bustling economy
* Language similar to Finnish,
* no need to learn it: English works everywhere.


Tartu

* Houses the region's most venerable university
* Student city (= cafes, bars, restaurants, nightlife, ...)
* Climate:
6 months party in the sauna (winter)
4 months party in the streets (summer)
(2 months inconclusive)
**********************************************************
*
* 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] Post-doc position in Operations Research for smart grids

The CEA-LIST institute (http://www-list.cea.fr/en) invites applications for a postdoctoral fellowship. This position is open for one year, renewable once.

The successful candidate will join a research team on multi-agent systems to investigate and develop optimal scheduling algorithms for the control of production and distribution energy networks.

* Applicant profile: PhD in computer sciences, specialized in Operations research or Multi-agent systems
* Skills required: Distributed optimization. Resources allocation.
* Deadline for application: 20th of September 2013.
* Starting date: January 2014
* Duration: 1 year, renewable once.
* Salary: From 2000 Euros net / month depending on experience and qualifications of the applicant.
* Keywords: Distributed scheduling. Multi-criteria optimization. Multi-objective optimization. Multi-agent systems. Dynamic and continuous generation/consumption. District heating. Smart-grids.
* Location: Saclay area (Paris region), France.

Further description and contacts information will be found in the link below :

http://javier-gil-quijano.com/SmartGrids/PostDocSmartGrid_DistributedOptimization_CEA_en.pdf


Best regards,


Javier Gil-Quijano (javier [dot] gil-quijano [at] cea [dot] fr)
Research Engineer
Laboratoire Information Modèles et Apprentissage (LIMA)
CEA - LIST
http://www-list.cea.fr/
Centre de Saclay-Point Courrier 192, Bat. 565
91191 Gif-sur-Yvette Cedex
tél.: +33 (0) 1 69 08 50 80
fax: +33 (0) 1 69 08 60 30


**********************************************************
*
* 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] AlgoSyn Fall School on Algorithmic Game Theory and Learning

Call for Participation: AlgoSyn Fall School

associated with the 6th Symposium on Algorithmic Game Theory (SAGT) 2013.


=== Topics ===

Part A: Algorithmic Game Theory and Mechanism Design
Part B: Games and Software Synthesis, Automata and Learning, Software
Verification


=== Speakers ===

* Constantinos Daskalakis (Massachusetts Institute of Technology)
* Madhusudan Parthasarathy (University of Illinois at Urbana Champaign)
* Rakesh Vohra (Kellogg School of Management)
* Paul Spirakis (University of Liverpool and CTI)
* Wolfgang Thomas (RWTH Aachen University)


=== Important Facts ===

Where: Aachen, Germany
When: October 23rd - 25th, 2013
Registration Deadline: October 14th, 2013
Homepage: http://www.algo.rwth-aachen.de/fallschool

AlgoSyn ("Algorithmic synthesis of reactive and discrete-continuous
systems") is a Research Training Group funded by DFG. The AlgoSyn Fall
School 2013 brings together PhD Students and postdoctoral researchers
who work in the field of algorithmic game theory, synthesis and
learning. Invited speakers will give mini-courses on different topics in
the focus of current research. Featured talks complete the program.


=== Topic of the School ===

The aim of the Fall School is to provide the participants with a series
of in-depth talks on topics such as mechanism design, auctions and
algorithmic learning in verification. The talks will cover both basic
concepts, as well as advanced topics in the respective areas including
fundamental results.


=== Lectures ===

* Constantinos Daskalakis (Massachusetts Institute of Technology)
Title: Computational Complexity in Games and Auctions
* Madhusudan Parthasarathy (University of Illinois at Urbana Champaign)
Title: Automata and Learning Based Methods in Software Verification
* Rakesh Vohra (Kellogg School of Management)
Title: Linear Programming and Mechanism Design


=== Featured Talks ===

* Paul Spirakis (University of Liverpool and CTI)
Title: Evolutionary Antagonism in Networks
* Wolfgang Thomas (RWTH Aachen University)
Title: Games, Synthesis, Verification and Learning: A Bird's Eye
View of AlgoSyn


=== Program ===

Each speaker will give a mini-course on his selected topic, divided into
three slots. The slots will be of 60 - 90 minutes, each with room for
questions and discussions.
On Thursday evening all school participants are invited to a dinner in
the city.
The school will end on Friday 23rd of October at 4:30 pm.

**********************************************************
*
* Contributions to be spread via DMANET are submitted to
*
* DMANET@zpr.uni-koeln.de
*
* Replies to a message carried on DMANET should NOT be
* addressed to DMANET but to the original sender. The
* original sender, however, is invited to prepare an
* update of the replies received and to communicate it
* via DMANET.
*
* DISCRETE MATHEMATICS AND ALGORITHMS NETWORK (DMANET)
* http://www.zaik.uni-koeln.de/AFS/publications/dmanet/
*
**********************************************************

Wednesday, July 24, 2013

[DMANET] REACHABILITY 2013: Call for informal Presentation and call for Participation

[We apologize for multiple copies.]

------------------------------------------------------------------------------------------------
CALL FOR INFORMAL PRESENTATIONS

CALL FOR PARTICIPATION

The 7th International Workshop on Reachability Problems (RP2013)
(25 - 27 September 2013, University of Uppsala, Sweden)
http://www.it.uu.se/conf/RP2013/

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

*** Submission deadline for informal presentations: 12 August, 2013

The Department of Information Technology will organize the 7th International
Workshop on Reachability Problems (RP'2013). This event will take place at
Norrlands nation in the heart of central Uppsala, 25 - 27 September 2013.

Papers presenting original contributions related to reachability problems
in different computational models and systems are being sought.
This will also be the occasion to review recent breakthroughs by
renown invited experts and survey emerging trends and emphasize
on key open challenges. Participants are kindly encouraged to discuss
on core scientific issues that need to be further tackled.

The Reachability Workshop is specifically aimed at gathering together
scholars from diverse disciplines and backgrounds interested in
reachability problems that appear in
- Algebraic structures
- Computational models
- Hybrid systems
- Logic and Verification


Invited Speakers:
------------------------

● Patricia Bouyer-Decitre (Cachan, France)
● Daniel Kroening (Oxford, UK)
● Rupak Majumdar (MPI-SWS, Germany)
● Shaz Qadeer (Microsoft Research Redmond, USA)
● Thomas Schwentick (TU Dortmund University, Germany)


FORMAT
------------------------
RP 2013 is the 7th international workshop on reachability
problems. The program consists in 5 invited papers, 14 regular
papers, and informal presentations (that will not be published
in the proceedings). The call for regular papers
is closed and the list of accepted papers is available on the
RP 2013 webpage.

The call for informal presentations is still open. Authors must
send a 4-page abstract (and possibly a more longer paper). It
is allowed (and encouraged) to send results that have been published
at other conferences. Note that informal presentations are eligible
for a journal special issue.


IMPORTANT DATES
------------------------
Deadline for 4-pages abstracts: August 12, 2013
Notification of acceptance: August 19, 2013
Deadline for registration: September 15, 2013
Workshop: September 25,26,27, 2013.


SUBMISSION
------------------------

Please submit a pdf file containing your abstract and short paper by e-mail [ rp2013 at easychair.org<http://easychair.org> ] with
a subject "RP2013 Informal Presentation".


RP2013 Program Committee:
----------------------------------------

● Parosh Aziz Abdulla (co-chair), Uppsala University
● Rajeev Alur, University of Pennsylvania
● Mohamed Faouzi Atig, Uppsala University
● Bernard Boigelot, University of Liege
● Ahmed Bouajjani, LIAFA, University Paris Diderot
● Krishnendu Chatterjee, Institute of Science and Technology
● Giorgio Delzanno, DIBRIS, Università di Genova
● Javier Esparza, Technische Universität München
● Alain Finkel, ENS Cachan
● Pierre Ganty, IMDEA Software Institute
● K. Narayan Kumar, Chennai Mathematical Institute
● Kim Guldstrand Larsen, Aalborg University
● Jerome Leroux, CNRS-LABRI
● Richard Mayr, University of Edinburgh
● Markus Müller-Olm, Wilhelms-Universität Münster
● Andreas Podelski, University of Freiburg
● Igor Potapov (co-chair), University of Liverpool
● Jean-Francois Raskin, Université Libre de Bruxelles
● Ahmed Rezine, Linköping University
● James Worrell, Oxford University
● Hsu-Chun Yen, National Taiwan University
● Gianluigi Zavattaro, Università di Bologna


Organizing Committee:
-------------------------------

Parosh Aziz Abdulla (co-chair), Uppsala University
Mohamed Faouzi Atig (co-chair), Uppsala University
Carl Leonardsson, Uppsala University
Igor Potapov (co-chair), University of Liverpool
Jari Stenman, Uppsala University
Othmane Rezine, Uppsala University


**********************************************************
*
* Contributions to be spread via DMANET are submitted to
*
* DMANET@zpr.uni-koeln.de
*
* Replies to a message carried on DMANET should NOT be
* addressed to DMANET but to the original sender. The
* original sender, however, is invited to prepare an
* update of the replies received and to communicate it
* via DMANET.
*
* DISCRETE MATHEMATICS AND ALGORITHMS NETWORK (DMANET)
* http://www.zaik.uni-koeln.de/AFS/publications/dmanet/
*
**********************************************************

PhD scholarship in robust learning of Bayesian networks from Swiss NSF

The Dalle Molle Institute for Artificial Intelligence (IDSIA,
http://www.idsia.ch), a non-profit oriented research institute for
artificial intelligence, affiliated with both University of Lugano and
University of Applied Sciences of Southern Switzerland, advertises a
full-time position as PhD student in the area of robust learning of
Bayesian networks. The position is funded by the Swiss National
Science Foundation.

IDSIA offers an international working environment (English is the
official language), the possibility of attending conferences and a
salary in line with Swiss standards. The work will be performed in
close collaboration with experts in probabilistic graphical models,
robust learning, data mining, optimization, imprecise probabilities
(see http://ipg.idsia.ch for more information). It includes
theoretical advances in robust structure learning of probabilistic
graphical models, as well as design and development of algorithms.
In order to have a closer look into our research on this topic, we
suggest the following paper from JMLR:
http://jmlr.org/papers/v12/decampos11a.html

The ideal candidate has a strong commitment to research and to the
completion of the PhD program, has obtained a Master degree in a
quantitative area, has very good communication skills in English, good
programming skills, and ability to work in a collaborative
environment. For applying, please follow the instructions available at

http://www.supsi.ch/home/supsi/lavora-con-noi/2013-08-05.html

The closing date for applications is August 5th 2013 (this deadline may
be extended at the discretion of the recruiting committee). Expected
starting date at the latest in the beginning of 2014. For further
information, please contact:

Cassio de Campos (cassio@idsia.ch).

[DMANET] Postdoctoral Position in INRIA

A postdoctoral position in optimization for 12 months is available at INRIA France ( www.inria.fr ) in 2013 (the position will be open until it is filled).

In this project, you will work on energy pricing problems in a competitive environment. This project is operated in collaboration with an industrial partner.

The postdoctoral fellow will work in INRIA Lille ( http://www.inria.fr/centre/lille ) with Luce Brotcorne within the Dolphin team ( http://dolphin.lille.inria.fr ).

The candidate should preferably have: a PhD in Operations Research, Mathematics, Computer Science, Engineering with experience in mathematical programming,
and large-scale mixed integer linear problems; strong experience in using and implementing through the most common OR tools (mathematical programming languages,
commercial and open-source optimization solvers, C/C++ language).

Please contact Luce Brotcorne ( Luce.Brotcorne@inria.fr ) for questions and to apply for the position.

The required documents (in pdf format) are:

- Detailed CV including a complete list of publications.

- PhD thesis. - Motivation letter.

- 3 or more recommendation letters.

Benefits:

Monthly salary after taxes : around 2000€-2300€ (medical insurance included).

Possibility of French courses

Help for housing

Participation for transportation

Scientific Resident card and help for husband/wife visa

Research context: INRIA

Established in 1967, Inria is the only public research body fully dedicated to computational sciences. Combining computer sciences with mathematics, Inria's 3,400 researchers
strive to invent the digital technologies of the future. Educated at leading international universities, they creatively integrate basic research with applied research and dedicate
themselves to solving real problems, collaborating with the main players in public and private research in France and abroad and transferring the fruits of their work to innovative companies.

The Inria Lille – Nord Europe research centre, inaugurated in 2008, employs 300 people, including 200 scientists, in its 14 research teams. Recognised for its significant contribution
to the social and economic development of the Nord – Pas-de-Calais region, the Inria Lille – Nord Europe research centre promotes a policy of close cooperation with major businesses
and small enterprises.


**********************************************************
*
* 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, July 23, 2013

TACAS 2014 call for papers

============================================================
CALL FOR PAPERS

TACAS 2014
An ETAPS Member Conference

20th International Conference on Tools and Algorithms for the
Construction and Analysis of Systems

http://www.etaps.org/2014/tacas

Abstract Submission: 4 October 2013
Paper Submission: 11 October 2013
Author Notification: 20 December 2013
=============================================================

TACAS is a forum for researchers, developers and users interested in
rigorously based tools and algorithms for the construction and
analysis of systems. The conference serves to bridge the gaps between
different communities with this common interest and to support them
in their quest to improve the utility, reliability, flexibility and
efficiency of tools and algorithms for building systems.

Theoretical papers with clear relevance for tool construction and
analysis, as well as tool descriptions and case studies with a
conceptual message, are all encouraged. The topics covered by the
conference include, but are not limited to:

- Specification and verification techniques
- Software and hardware verification
- Analytical techniques for real-time, hybrid, or stochastic systems
- Analytical techniques for safety, security, or dependability
- Model checking
- Theorem proving
- SAT and SMT solvers
- Static and dynamic program analysis
- Testing
- Abstraction techniques for modeling and verification
- Compositional and refinement-based methodologies
- System construction and transformation techniques
- Tool environments and tool architectures
- Applications and case studies

=== Paper categories: ===

TACAS accepts four types of submissions: research papers, case study
papers, regular tool papers, and tool demonstration papers.

- Research papers clearly identify and justify a principled advance
to the theoretical foundations for the construction and analysis of
systems and, where applicable, are supported by experimental
validation. Research papers can have a maximum of 15 pages.

- Case study papers report on case studies (preferably in a "real
life" setting). They should provide information about the following
aspects: the system being studied and why it is of interest, the
goals of the study, the challenges the system poses to automated
analysis, research methodologies and the approach used, the degree to
which goals were attained, and how the results can be generalized to
other problems and domains. Case study papers can have a maximum of
15 pages.

- Regular tool papers present a new tool, a new tool component, or
novel extensions to an existing tool. They should provide a short
description of the theoretical foundations with relevant citations,
and emphasize the design and implementation concerns including
software architecture and core data structures. A regular tool paper
should give a clear account of the tool's functionality, discuss the
tool's practical capabilities with reference to the type and size of
problems it can handle, experience with realistic case studies, and
where applicable, provide a rigorous experimental evaluation. Papers
that present extensions to existing tools should clearly focus on the
improvements or extensions with respect to previously published
versions of the tool, preferably substantiated by data on
enhancements in terms of resources and capabilities. We strongly
suggest authors make their tools available via the web, even if only
for the evaluation process. Tool papers can have a maximum of 15
pages.

- Tool demonstration papers focus on the usage aspects of tools. The
described tools must be publicly available. Theoretical foundations
and experimental evaluation are not required, however, a motivation
as to why the tool is interesting and significant should be provided.
Tool demonstration papers can have a maximum of 6 pages. They should
have an appendix of up to 6 additional pages with details on the
actual demonstration.

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 of all four types will
appear in the proceedings and have presentations during the
conference.

=== Submission: ===

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 unpublished research
not submitted for publication elsewhere. In particular, simultaneous
submission of the same contribution to multiple ETAPS conferences is
forbidden. 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 Easychair:
https://www.easychair.org/account/signin.cgi?conf=tacas2014.
Submissions not adhering to the specified format and length may be
rejected immediately.

=== Competition on Software Verification: ===

TACAS 2014 hosts the third competition on software verification with
the goal to evaluate technology transfer and compare state-of-the-art
software verifiers with respect to effectiveness and efficiency. More
information can be found on the competition website:
http://sv-comp.sosy-lab.org/2014.

=== Invited Speaker: ===

Orna Kupferman (Hebrew University Jerusalem, Israel)

=== Programme Chairs: ===

Erika Ábrahám (RWTH Aachen University, Germany)
Klaus Havelund (NASA JPL, USA)

=== Tool Chair: ===

Nikolaj Bjørner (Microsoft Research, USA)

=== Programme Committee: ===

Christel Baier (Technical University of Dresden, Germany)
Saddek Bensalem (VERIMAG/UJF, France)
Nathalie Bertrand (IRISA Rennes, France)
Armin Biere (Johannes Kepler University, Austria)
Nikolaj Bjørner (Microsoft Research, USA)
Rance Cleaveland (University of Maryland, USA)
Alessandro Cimatti (Fondazione Bruno Kessler, Italy)
Cindy Eisner (IBM Research Haifa, Israel)
Martin Fränzle (Carl von Ossietzky University Oldenburg, Germany)
Patrice Godefroid (Microsoft Research, Redmond, USA)
Susanne Graf (Verimag, France)
Orna Grumberg (Technion, Israel)
Boudewijn Haverkort (University of Twente, the Netherlands)
Gerard Holzmann (NASA JPL, USA)
Barbara Jobstmann (CNRS, Verimag, France)
Joost-Pieter Katoen (RWTH Aachen University, Germany, and
University of Twente, the Netherlands)
Kim Larsen (Aalborg University, Denmark)
Roland Meyer (TU Kaiserslautern, Germany)
Corina Pasareanu (NASA Ames Research Center, USA)
Doron Peled (Bar Ilan University, Israel)
Paul Pettersson (Mälardalen University, Sweden)
Nir Piterman (University of Leicester, UK)
Sriram Sankaranarayanan (University of Colorado Boulder, USA)
Natasha Sharygina (Universita della Svizzera Italiana, Switzerland)
Scott Smolka (Stony Brook University, USA)
Bernhard Steffen (University of Dortmund, Germany)
Marielle Stoelinga (University of Twente, the Netherlands)
Fritz Vaandrager (Radboud University Nijmegen, The Netherlands)
Willem Visser (University of Stellenbosch, South Africa)
Ralf Wimmer (University of Freiburg, Germany)
Lenore Zuck (University of Illinois at Chicago, USA)

=== Steering Committee: ===

Rance Cleaveland (University of Maryland, USA)
Holger Hermanns (Saarland University, Germany)
Kim G. Larsen (Aalborg University, Denmark)
Bernhard Steffen (TU Munich, Germany)
Lenore Zuck (University of Illinois at Chicago, USA)