Tuesday, September 29, 2015

from Alistair Sinclair: Research Fellowships at the Simons Institute for the Theory of Computing

The Simons Institute for the Theory of Computing at UC Berkeley invites applications for Research Fellowships for academic year 2016-17.

Simons-Berkeley Research Fellowships are an opportunity for outstanding junior scientists (at most 6 years from PhD by Fall 2016) to spend one or both semesters at the Institute in connection with one or more of its programs. The programs for 2016-17 are as follows:

* Algorithms and Uncertainty (Fall 2016)
* Logical Structures in Computation (Fall 2016)
* Foundations of Machine Learning (Spring 2017)
* Pseudorandomness (Spring 2017)

Applicants who already hold junior faculty or postdoctoral positions are welcome to apply. In particular, applicants who hold, or expect to hold, postdoctoral appointments at other institutions are encouraged to apply to spend one semester as a Simons-Berkeley Fellow subject to the approval of the postdoctoral institution.

Further details and application instructions can be found at http://simons.berkeley.edu/fellows2016. Information about the Institute and the above programs can be found at http://simons.berkeley.edu.

Deadline for applications: 15 December, 2015.

[DMANET] Simons-Berkeley Research Fellowships 2016-17

The Simons Institute for the Theory of Computing at UC Berkeley invites applications for Research Fellowships for academic year 2016-17.

Simons-Berkeley Research Fellowships are an opportunity for outstanding junior scientists (at most 6 years from PhD by Fall 2016) to spend one or both semesters at the Institute in connection with one or more of its programs. The programs for 2016-17 are as follows:

* Algorithms and Uncertainty (Fall 2016)
* Logical Structures in Computation (Fall 2016)
* Foundations of Machine Learning (Spring 2017)
* Pseudorandomness (Spring 2017)

Applicants who already hold junior faculty or postdoctoral positions are welcome to apply. In particular, applicants who hold, or expect to hold, postdoctoral appointments at other institutions are encouraged to apply to spend one semester as a Simons-Berkeley Fellow subject to the approval of the postdoctoral institution.

Further details and application instructions can be found at http://simons.berkeley.edu/fellows2016. Information about the Institute and the above programs can be found at http://simons.berkeley.edu.

Deadline for applications: 15 December, 2015.

Alistair Sinclair
Associate Director, Simons Institute for the Theory of Computing

* 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.
* http://www.zaik.uni-koeln.de/AFS/publications/dmanet/

[DMANET] Internet Mathematics special issue on "Algorithms for evolving networks"

Internet Mathematics special issue on "Algorithms for evolving networks"


The widespread adoption of digitization has opened the way to gathering large amounts of data that record detailed information for many systems of interest. Examples include telecommunication networks, online social-media platforms, and biological systems. Many of these systems are typically represented as networks, and graph-theoretic techniques are used to analyze the available data. Furthermore, as our data-gathering capacity has increased, it is now possible to collect data the record not only a static aggregate view of the underlying network, but a continuous stream of events that captures the full dynamic behavior of the network. Such events may take the form of structural changes, or they may encode different types of actions and interactions performed by the network entities. This view of time-evolving networks poses new challenges and opens new research directions. The objective is to develop the theoretical foundations and to design the algorithmic principles that will allow to efficiently manage and analyze such evolving networks. This special issue of Internet Mathematics invites original research papers on algorithmic and mathematical methods for modeling, processing, and analyzing evolving networks. The topics of interest include but are not limited to

Models and novel computational paradigms for evolving networks
Graph stream algorithms
Monitoring and mining evolving networks
Spectral analysis of evolving networks
Detecting events, trends, and change points
Inferring structure from network activity
Applications in social media, web graphs, citation networks, biological networks, and other domains

Papers that have previously appeared in peer-reviewed conferences may be submitted, provided that significant extensions and additional non-trivial contributions are presented. In the latter case, submissions should be accompanied by a cover letter summarizing the additional contributions with respect to the earlier conference version.

The papers should be prepared and submitted according to the general guidelines for authors of Internet Mathematics. Please indicate in your submission that the paper is submitted for the special issue.

Submission deadline: Oct 15, 2015

Submission at the website of Internet Mathematics: http://www.tandfonline.com/toc/uinm20/current

Guest editors

Aristides Gionis, Aalto University
Suresh Venkatasubramanian, University of Utah

* 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.
* http://www.zaik.uni-koeln.de/AFS/publications/dmanet/

[DMANET] KaDraw -- Karlsruhe Graph Drawing

Release of KaDraw v1.0

We are pleased to announce the release of our graph drawing framework
KaDraw (Karlsruhe Graph Drawing). So far, it contains MulMent which is a
multilevel algorithm to optimize maxent-stress on large networks. Its
main drawing routine is a local optimizer suggested by Gansner et al.,
which we accelerated in practice. The speed of the local optimizer stems
from (i) shared-memory parallelism and (ii) approximation of long-range
forces by using coarser representatives stored in the multilevel hierarchy.

The software is released under the GPL 2.0 License.

* open source implementation / website

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

Henning Meyerhenke, Martin Nöllenburg and Christian Schulz,
Karlsruhe Institute of Technology (KIT) and TU Wien (TUW)
* 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.
* http://www.zaik.uni-koeln.de/AFS/publications/dmanet/

Monday, September 28, 2015

[DMANET] Research engineer position (Paris, France)- A multi-agent platform devoted to management and optimisation of energy systems.

In the scope of the European Projects being developed at the CEA LIST
<http://www.cea.fr/english_portal>*) data analysis and system Intelligence
lab (LADIS) in the Paris (France) area, a research engineer position is
available for developers who are interested in multi-agent solutions for an
efficient management of the smart grid.

The successful candidate will join a research and development team to
investigate and develop a multi-agent platform devoted to management and
optimization of energy systems.


1. Research engineer with experience in R&D or PhD

2. Excellent proficiency in software, object-oriented (in particular
Java), agent architectures, programming languages and tools (in particular

3. High motivation, self-learning and autonomy, teamwork skills

4. Excellent communication skills, both verbal and written English.

5. Background in multi-agent systems, artificial intelligence and
smart grid.

The successful applicant is expected to be able to successfully collaborate
with the project team and with researchers of the LADIS lab.

The position is open (start planned in January/February 2016). Review of
applications will begin as soon applications are received and continue
until the position is filled.

*Working context:* The CEA is the French Alternative Energies and Atomic
Energy Commission. Leader in research, development and innovation with its
16000 employees, CEA is active in four main areas: low-carbon energies,
defense and security, information technologies and health technologies. Key
figures include about 150 start-ups since 1984 in the innovative
technologies sector, a 4,3 billion euros yearly budget and more than 530 EU
projects obtained with CEA participation under the European FP7 since 2007.
Inside CEA, the CEA LIST institute (700 researchers, located in the
Paris-Saclay scientific cluster) focuses its research activities on
developing innovative technologies for smart and complex systems. Its R&D
programs focus on interactive systems (ambient intelligence), embedded
systems (architecture, software and systems engineering), sensors and
signal processing (industrial control systems, health, security and
metrology). The LADIS is a CEA LIST lab (60 researchers, post-doctoral &
PhD students) which activities aim at applying advanced artificial
intelligence, data/signal processing and software engineering approaches to
meet industrial needs, through its industrial partnerships and involvement
in collaborative research projects. Our activities essentially focus on
Health, Manufacturing and Energy domains, with the objective to deliver
industry-focused solutions and to be in line with the highest academic
excellence standards.

*Job description:* In the recent years, Multi-Agent Systems (MAS) have
emerged as one of the most promising technologies for the management of new
energy systems [1,2]. However, this interrelation between MAS and energy
systems still has many challenges.

This study will take place in the scope of a European collaborative
research project. The aim of this project is to design, develop, and
demonstrate a multi-agent holonic platform for distributed management,
control and optimization of energy systems (generation, storage and
distribution). This platform will rely on generic high-level software
components (mainly agents and behaviours to be able to represent
socio-economic and physical entities), generic interaction protocols and
the recursive and hierarchical structures that support a holonic
architecture. Multi-agent optimization protocols will be integrated in
order to allow agents to coordinate their different goals and
bi-directional communications will be secured. Goals will be based on
individual interests (e.g. balance for distribution operators; reduction of
generation price for producers; reduction of consumption and comfort
maximization for consumers, etc). Collective optimization protocols will
produce as output global agreed generation, distribution, storage and
consumption schedules.

The project includes prominent industrial organizations and research
institutes from the European energy, telecom and security fields.

The selected candidate will be part of a multi-agent systems team, which
includes two PhD students, two postdocs, two research engineers and one
software architect. The aim will be to participate in the development of
already existing multi-agent platform (developed in the institute). This
work will also rely on previous research results. The focus of this study
may be adapted depending on the candidate profile. However, excellent
skills in software development are a mandatory requirement.

[1] S. D. J. McArthur; E. M. Davidson; V. M. Catterson; A. L. Dimeas; N. D.
Hatziargyriou; F. Ponci; T. Funabashi, "Multi-Agent Systems for Power
Engineering Applications – Part I: Concepts, Approaches, and Technical
Challenges", IEEE Transactions on Power Systems, Vol. 22, No. 4, November

[2] Gregor Rohbogner, Simon Fey
<http://dblp.uni-trier.de/pers/hc/f/Fey:Simon>, Ulf Hahnel
<http://dblp.uni-trier.de/pers/hc/h/Hahnel:Ulf>, Pascal Benoit
<http://dblp.uni-trier.de/pers/hc/b/Benoit:Pascal>, Bernhard Wille-Haussmann
<http://dblp.uni-trier.de/pers/hc/w/Wille=Haussmann:Bernhard>, "What the
term Agent stands for in the Smart Grid, Definition of Agents and
Multi-Agent Systems from an Engineer's Perspective", FedCSIS 2012

*Application package:*

Please send the following documents by email to *hassan.sleiman@cea.fr
<hassan.sleiman@cea.fr>* and meritxell.vinyals@cea.fr in a single PDF file:

1. CV with a list of at least 3 references

2. A one-page summary of research background and interests.

3. Available start date

*Contact Information:*

Hassan Sleiman (*hassan.sleiman@cea.fr <hassan.sleiman@cea.fr>*)
Meritxell Vinyals (meritxell.vinyals@cea.fr)

* 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.
* http://www.zaik.uni-koeln.de/AFS/publications/dmanet/

Two Positions in Formal Methods at the Technical University of Munich


* The Department of Computer Science of the Technical University of Munich
(Chair for Compiler and Software Construction, and Chair for Foundations of
Software Reliability) offers two positions at PhD or postdoc level in the area
of Formal Methods. The chairs, lead by Javier Esparza and Helmut Seidl,
conduct research on program analysis, model checking, compiler construction,
programming languages, automata theory, and concurrency models like

Petri nets or communicating automata.

* We offer:
- excellent research environment at a leading university
- intensive thesis supervision
- close cooperation with top researchers at international level
- two-year contract, extensible for another two years
- pay according to the TV-L 13 German scale (full position). Information
on the scale can be found at http://www.cats.rwth-aachen.de/jobs/bat.

* We seek candidates with:
- MSc/PhD in computer science or mathematics
- excellent academic record
- strong interest and some previous knowledge in automata theory, logic,
programming languages, concurrency theory, or some area of Formal Methods
- fluency in spoken and written English or German

* The positions involve some duties as teaching assistant (supervision
of students, problem classes).

* Applicants should submit a letter of interest, a CV, and the names and
contact information of three references to Claudia Link, link@in.tum.de.
Review of applications will begin November 1, and continue until the positions
are filled. The starting date is negotiable.

* To learn more about the positions please contact
- Javier Esparza (esparza@in.tum.de), or
- Helmut Seidl (seidl@in.tum.de).

* The Technical University of Munich is an equal opportunity employer.
Qualified women are particularly encouraged to apply. Applicants with
disabilities are treated with preference given comparable qualification.

Prof.Dr. Javier Esparza
Institute of Computer Science
Technische Universität München
Boltzmansstr. 3, 85748 Garching

[DMANET] ETAPS 2016 final call for papers



19th European Joint Conferences on Theory And Practice of Software

Eindhoven, The Netherlands, 2-8 April 2016




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,
TACAS '16 hosts the 5th Competition on Software Verification


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


* 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


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


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

- 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.


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.


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


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


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

* 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.
* http://www.zaik.uni-koeln.de/AFS/publications/dmanet/

Sunday, September 27, 2015

[DMANET] The LAST INVITATION for ICCEBE2015, Dubai - Oct. 12

The International Conference on Computer, Electronics, and Biomedical
Engineering (ICCEBE2015)
Islamic Azad University, Academic City, Dubai, UAE
October 12-14, 2015
The proposed conference will be held at Islamic Azad University, Academic
City, Dubai, UAE From October 12-14, 2015 which aims to enable researchers
build connections between different digital applications.
The conference welcomes papers on the following (but not limited to)
research topics:

**Computer Engineering
Face Recognition and High-Resolution Imaging
Object Detection, Recognition and Categorization
Adaptive Signal Processing
Parallel Programming & Processing
Coding and Modulation
Mobile IP Networks/ Ad-hoc Networks
Network and Cyber Security
Data Modeling for Cloud-Based Networks
Artificial Intelligence
Expert Systems
Image Processing
Information Security and Cryptography
Modulation, Coding, and Channel Analysis
Multimedia Signal Processing
Video Compression and Streaming
Data Mining for Social Network Analysis
Natural Language Processing
Neural Networks and Genetic Algorithms
Mobile/ Wireless Network Modeling and Simulation
Data Compression and Watermarking
Speech Recognition, Analysis and Synthesis
Energy Minimization in Cluster-Based Wireless Sensor Networks
Data Cleaning and Processing
Text and Web Mining
Data Mining for Complex Dataset
Data Mining for Network/Cyber Security
Wireless Network Standard and Protocols
Digital Right Management and Multimedia Protection
Mobile Management in Wireless Networks
Mobile Database Access and Design
**Electronics Engineering
Mobile Communication Technology and Wireless Sensor Networks
Energy Minimization in Cluster-Based Wireless Sensor Networks
Bluetooth and Personal Area Networks
Wireless System Architecture
Wi-Fi and Wi-MAX B3G/ 4G Wireless Networks
Wireless Local Area Networks
Low power Signal Processing
Fiber Optics and Fiber Devices
Circuit and Electronics
System On Chips and Network on Chips
High Performance VLSI Systems
Micro/Nano Systems and Networks
Laser Technology and its Applications
Computer Architecture for Intelligent Machines
Radio Frequency Integrated System
Power Electronics
Modeling, Simulation, Systems, and Controls
ECG Analysis Software
**Biomedical Engineering
Biochemical Engineering and Applications
Biomedical Electronics
Biometric and Pattern Recognition
Brain-Computer Interfaces
Nanotechnology for Biomedical Applications
Bionics and Biological Cybernetics
Bioinformatics & Biomedical Imaging
Biomedical Signal Processing
Brain-Computer Interfacing and Human–Computer Interfacing
Bioinstrumentation: Sensors, Micro, Nano and Wearable Technologies
Computer-Aided Surgery
Neuro Feedback Therapy
Health Care Information Systems
Healthcare Information Systems, Telemedicine
Pattern Analysis for Biomedical applications
Brain Imaging
Quantitative Electro Encephalography(QEEG)

Researchers are encouraged to submit their work electronically. All papers
will be fully refereed by a minimum of two specialized referees. Before
final acceptance, all referees comments must be considered.
Best selected papers will be published in one of the following special
issues provided that the author do major improvements and extension within
the time frame that will be set by the conference and his/her paper is
approved by the chief editor:

International Journal of New Computer Architectures and their Applications
International Journal of Digital Information and Wireless Communications
International Journal of Cyber-Security and Digital Forensics (IJCSDF)
International Journal of E-Learning and Educational Technologies in the
Digital Media (IJEETDM)


Submission Dates: Open from now until October 03, 2015
Notification of Acceptance: October 06, 2015
Camera Ready Submission: Open from now until Oct. 08, 2015
Registration: Open from now until Oct. 08, 2015
Conference Dates: October 12-14, 2015

* 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.
* http://www.zaik.uni-koeln.de/AFS/publications/dmanet/

Saturday, September 26, 2015

[Mycolleagues] Postdoc Researcher/Engineer @ Uni of Cambridge: IoT infrastructure for exhibitions

An opportunity has arisen at the Computer Laboratory, University of
Cambridge for a postdoctoral researcher and developer to work with us in
creating a platform to enable new, engaging interactive experiences
within event/exhibition spaces.

The project entails close collaboration with partners from a number of
internationally renowned arts organisations.

The work involves two main aspects:

1) To design and develop a communications management platform, for
supporting distributed systems (in the context of the emerging "Internet
of Things")

2) To work with partners in building demonstrators for live, public
deployments within their spaces.

The successful candidate will have a good knowledge of distributed
systems, developed through their PhD, and demonstrable (though not
necessarily commercial) programming experience in the field. They will
also be enthusiastic and self motivated, as there is much room for
creativity and flexibility regarding technology and scope. An interest
in digital art, media and social applications is desirable, and any
experience with such is a definite plus.

Note that though this is a fixed term position, it is envisaged that a
successful project will lead to a number of follow-on opportunities,
both academic and commercial.

For further details and to apply, please visit

Mycolleagues mailing list

- Through this link above you can "subscribe", "unsubscribe", or change your settings in the list, using "username=ufsc" and "password=ufsc".
- If you need any help, please send a message to mycolleagues-owner@mailman.ufsc.br.

[DMANET] Deadline extension: ICDT 2016 || February 21 - 25, 2016 - Lisbon, Portugal


The submission deadline is October 19, 2015.
Please consider to contribute to and/or forward to the appropriate groups the following opportunity to submit and publish original scientific results to:
- ICDT 2016, The Eleventh International Conference on Digital Telecommunications
Authors of selected papers will be invited to submit extended article versions to one of the IARIA Journals: http://www.iariajournals.org

============== ICDT 2016 | Call for Papers ===============


ICDT 2016, The Eleventh International Conference on Digital Telecommunications

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

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

Event schedule: February 21 - 25, 2016 - Lisbon, Portugal

- 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: October 19, 2015

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

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

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

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

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

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


SIGNAL: Signal processing in telecommunications
Signal processing theory and practice; 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 complexity image/video compression; Multipl!
e r
esolution 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

DATA: Data processing
Data transmission and reception mechanisms and techniques; Enhanced tools for video data integrity; Data mining, filtering, and reporting; Secure data transmission; Transmission media and data encoding; Text reading devices (super-pen, pen-elite, reading-pen); Scanned and generated lossy (progressive) multi-page text; (Visually) lossless mechanisms; Pricing data transmission; Differential data transmission systems; Data transmission equipments and transmission rates; Delay-constrained data transmission; Undersea and satellite data transmission techniques; Performance evaluation of data transmission; Multicast data transmission; High speed data transmission; Data transmission control; Integrity and privacy in data transmission; Data transmission standards

AUDIO: Audio transmission and reception systems
Audio transmission and reception systems and devices; Digital audio transmission signal processing; Audio transmission over Internet; Audio Multiplexing Transmission Systems; Stereo audio transmission signal; Digital infrared audio transmission; Multi-stream and multi-path audio transmission; Wireless-compressed digital audio transmission; Perceptual coding for audio transmission and storage; Laser audio transmission; Synchronizing video and audio transmission; Wide-band audio transmission; Index-frame audio transmission; Digital audio transmission rights; Noise in wireless audio transmission; Audio tools and products; Standards

VOICE: Voice over packet networks
Planning and implementing voice networks and systems; Voice transmission systems; Voice transmission performance; Quality real-time voice transmission; Metrics for quality of voice transmission; Stereophonic voice transmission systems; Header Compression for VoIP over WLAN; Voice over IP solution for mobile radio interoperability; VoIP over cable TV networks; VoIP over Wi-Max

VIDEO: Video, conferencing, telephony
Digital video; Video coding formats (ITU-T, SMPTE 421M, AVS-China); Video coders and decoders; Profiles, latency, intermediate formats; Video surveillance and privacy; Video feature requirements; Network video recorders; Graceful degradation of archive video; Video data integrity (error detection, tamper resistance); Alarm events for voice content (motion detection, object tracking, face recognitions); Coding efficiency and distributed video coding; Compression and scrambling; Enhanced tools for video data integrity; Multiple reference pictures; Intra-layer and inter-layer prediction; Fading prediction and loop filter; Video with compression errors; Viewing distance and perceptual quality; Video quality models; Omnidirectional video; 3D video; Video standardization encoding; Texture synthesizer

IMAGE: Image producing, sending, and mining
Model-based progressive image transmission; Wireless image transmission; Computer generated images; Image security, scrambling, and regions of interest; Timing requirements for image transmission; Transmission of still and moving images; Protocols for low bit rate; Error-prone image transmission; Energy efficient image transmission; Multi-technology image formation; Devices for image capturing and processing (cams, web-cams, etc.); Scanning and sampling, quantization and halftoning, color reproduction; Image representation and rendering, display and printing systems; Image quality assessment; Image search and sorting, video indexing and editing; Integration of images and video with other media; Image authentication and watermarking; Image storage, retrieval and multimedia; Image and video databases; Generic coding of moving pictures; Media stream packetization; Modes for archival playback; Image-based applications; Standard for image processing; Image analysis and segmentati!
on; Image filtering, restoration an
d enhancement; Image representation and modeling; Pattern recognition

SPEECH: Speech producing and processing
Tooling, Architectures, Components and Standards; Voice modulation, frequencies; Linguistics, Phonology and Phonetics; Discourse and Dialogue; Speech analysis, synthesis, coding, and recognition; Speech enhancement and noise reduction; Speech features, production, and perception; Speech Coding and Transmission; Speech Signal Processing; Spoken Language Generation and Synthesis; Speech QoS Enhancement; Speaker Characterization and Recognition; Spoken Language; Resources and Annotation; Spoken/Multi-modal Dialogue Technology and Systems; Spoken Language Information Extraction/Retrieval; Speech Transmission Technology for the Aged and Disabled; Audio-Visual Speech Processing; Biomedical Applications of Speech Analysis; Spoken document retrieval; Speech Processing in a Packet; Network Environment; Automatic Speech Recognition in the Context of Mobile Communications; Human Factors in Speech and Communication Systems; Automatic speech recognition and understanding technology; Spee!
ch to text systems; Spoken dialog s
ystems; Multilingual language processing; New Applications of Spoken Language Technology and Systems

IPTV: IP/Mobile TV
IPTV applications and middleware; On-demand television; Interactive TV; Broadcast TV data; Broadcast content formats; Stereo and 3D TV; TVoDSL; Television archiving; IPTV broadcasting; IPTV-aware devices; IPTV regulatory issues and copyrights; IPTV network infrastructure; IPTV monitoring and management; I[P]TV usage fees; IPTV Personalization and QoS Implications

MULTI: Multicast/Broadcast Triple-Quadruple-play
Scalable video/audio coding; Multiplexing video/audio/data; Multimedia terminals; Multimedia systems and protocols; PSTN modems and interfaces; Facsimile terminals; Direct broadcast satellite; Terrestrial broadcast television; Cable modems; Universal media access; Format compatibility; Media support platforms; VoIP Quality for Triple Play; Testing triple-play services; Triple-play data encryption; Triple-play services

CONTENT: Production, distribution
Content injection, cashing, storage, and distribution; Producing and transmitting streaming content; Content localization services; Content and customers profiles; Documenting and content authoring; Authorizing topic-based content; Content customization and metadata; On-demand content; Content retrieval from archives (alarm-based, time stamp-based); Content management solutions and systems; Unstructured content environment; Multi-channel content delivery/publishing strategies; Content reuse

HXSIP: H-series towards SIP
SIP and H-xxx architectures and logical components; Instant messages and presence; Management of QoS in SIP and H-xxx environments; Basic SIP building blocks; Security and firewalls with SIP and H-xxx series; Service creation and telephony services with SIP and H-xxx; Multimedia conferencing with SIP and H-xxx; SIP application scenarios; SIP (auto)configuration; SIP and H-xxx beyond VoIP; Leveraging SIP for Global Enterprise Roaming; SIP, H-xxx and 3GPP; Emergency Calling in SIP and H-xxx; Advanced SIP and H-xxx applications and services; SIP and H-xxx on Cable Networks; SIP and H-xxx devices; SIP and h-xxx deployment experience; End-to-end SIP and H-xxx communications; SIP/H.323 Interworking Function for real time communications

MULTE: Multimedia Telecommunications
Frameworks, architectures, systems for delivering voices, audio, and data; Methodologies, technologies, procedures and mechanisms; IMT-2000 concepts; IMS concepts (IP Multimedia Systems); Bluetooth and WLAN coexistence on handsets; Packet-based multimedia communication systems; Converging technology for voice and data networks; Accessibility features for unpaired users; Confidentiality for audiovisual services; Multimedia transmission performance; Multiplexing and synchronization; Directory services for multimedia; Computation complexity and costs (multiple simultaneous decoders); Coding efficiency (embedded, bit-plane, arithmetic); Compatibility between Analog/DVD and networks; IP4/IP6 transition and NAT; QoS/SLA, perceptual QoS, and formal visual tests; Temporal and spatial scalability; Pre-processing and predictive coding; Coding with regions-of-interest; Secure transcoding; Computation power and resolution; Transform and quantization; Entropy coding; Lossless and lossy c!
ompression; Transmission in noisy e
nvironments; Voice/video/data in 4G; Specialized medical applications; Medical imaging and communications networks; MPEG for endoscopy, microscopy, radiology, surgery; Medical archiving systems; Digital devices for image capturing (microscope, stethoscope); Digital equipments and digital cinema; Digital signature protection

MOBILE: Mobile technologies
3G, 4G, 5G: UMTS, HSPA, HSUPA, HSDPA, HSOPA, WiMAX, UWB. LTE, All-IP LTE 4G and beyond; Seamless handover engineering; Cognitive radio; Mobile video surveillance; Pervasive/ubiquitous/mobile systems; Security and privacy issues for mobile and wireless systems; Mobile ad hoc networks

MEDMAN: Control and management of multimedia telecommunication
Video codec-aware of packets; Monitoring via guard on patrol, central station, forensic analysis; Managing single domestic licensing and granted patent pool for compressions; End-to-end quality monitoring/management; Perceived/offered quality: video-only, audio-only, audio-video; In-service monitoring of voice/video/data services; Real-time distributed imagery management systems; Performance in voice/video/data systems; Distributed multimedia service management; Mobile multimedia network management; Multi-point, multicast services management; Deployment of multimedia services; Network management models and architectures; Billing and security for multimedia services; Network measurement/monitoring for multimedia services

SARP: Software architecture research and practice
Distributed software architecture; Architectural styles and patterns; Architecture refinement and transformation; Software architecture and pervasive systems; Software architecture analysis & testing; Architectural description languages (ADLs); Component-based software architecture; Dynamic software architecture; Self-repairing software architecture; Adaptive software architecture; Aspect-oriented software architecture; Service-oriented architecture [SOA]; Domain specific software architecture [DSSA]; Tools/Environments for software architects; Product-line software architecture; Industrial case studies and reports

STREAM: Data stream processing
Fundamentals on data stream processing; Data stream processing and event stream processing; Continuous query languages; Time management in data stream systems; Aggregated queries support; Query processing with multiple, continuous, rapid, time-varying data streams; Processing frequent itemset discovery queries; Real-time stream data processing; Network-aware operator placement for stream-processing systems; Integrating database queries and Web searches; Scalable Distributed Stream Processing; Optimization of data stream processing; Performance and overhead in data stream processing; QoS adaptation in data stream systems; Adaptive query processing in data stream; Interactive distributed data stream processing and mining; Data stream management systems; Control theory on stream processing; Processing high-speed data streams; Stream processing in production-to-business software; Multi-site cooperative data stream analysis; Grid-based data stream processing; Hyperdatabases for !
P2P data stream processing; Sensor
data stream processing in health monitoring; Processing and sharing data streams in Grid-based P2P infrastructures

TRACK: Tracking computing technologies
Airport security communications technologies; Hazards detection- automatic real-time material/object recognition; Intelligent IP-based sensor networking for homeland security; Real-time intelligence data validation and verification mechanisms; Efficient data integration and mining techniques for NATO countries; Secure distributed storage and data pinning; SATCOM for HLS; Critical aerospace communications systems; HLS for air, land and sea operational environments; Airborne real-time spatial tracking techniques; Bio-authentication sensors and tools; Cyber and physical security of key infrastructure and operations; Protection of Real-time resilient communications network infrastructures; International standards for data schema and data sharing between USA and other countries; Emergency response tools; Prediction of Intent; Standards for Passenger Data Integration; Sharing Addressing and Service Discovery in Auto-configuring MANETs; Exploiting localization and network informati!
on (GPS, INS, GIS, terrain features
, ToA, AoA, SNR, QoS) for improved ad-hoc networking in complex terrain; Advanced indoor and outdoor location-based applications: real-time tracking, multimedia, bidirectional, proactive applications; Location based services based on integrated cellular, ad hoc, RFID, and sensor networks; New positioning techniques in support of location based servcies (indoor, cellular, satellite, hybrid); Geographic Information Systems for supporting location based services; Quality of location data; Integration of Hierarchical Location-Based Routing (HLBR) with Delay- and Disruption-Tolerant Neworks (DTNs); Narrow-band control channels for HLBR; Location-aware (GPS-aware) Internet Browsers for Location-based services


ICDT 2016 Committee: http://www.iaria.org/conferences2016/ComICDT16.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.
* http://www.zaik.uni-koeln.de/AFS/publications/dmanet/

Friday, September 25, 2015

[DMANET] TRISTAN 2016 - Call for Abstracts

Dear colleagues,
We are pleased to invite you to participate in the ninth Triennial Symposium on Transportation Analysis (TRISTAN IX). TRISTAN is an international scientific conference that provides a high-quality forum for the presentation of mathematical models, methodologies and computational results, and for the exchange of ideas and scientific discussions on advanced applications and technologies in transportation. TRISTAN IX will be held June 13 through 17, 2016, on the island of Aruba.
We hope to welcome you at TRISTAN 2016.

Local organizing committee: Andreas Hegyi (chair), Bart van Arem, Adam Pel, Niels Agatz, Luuk Veelenturf, Alfredo Nunez, Nicole Fontein, SImon Goede, Jeroen van der Gun and Yufei Yuan

Abstract submission:
Please submit your extended abstract of at most 4 pages via Easychair: http://easychair.org/conferences/?conf=tristan2016

Keynotes Speakers:
David Watling, Centenary Professor of Transport Analysis / Postgraduate Research Tutor, University of Leeds
Martin Savelsbergh, James C. Edenfield Chair and Professor at the H. Milton Stewart School of Industrial & Systems Engineering, Georgia Tech
Cathy Macharis, Professor at the Vrije Universiteit Brussel, Mobility, Logistics and Automotive Technology Research Centre

Important dates:
15-11-2015 - Abstract submission deadline (extended deadline)
01-02-2016 - Notification of acceptance
01-04-2016 - Registration deadline for presenters

Registration: regular, non presenting student
Early: $795, $675
Late: $925, $805

Registration includes all sessions, welcome reception, 5 lunches, coffee breaks, conference dinner and social program

Further information can be found on the website: www.tristan-symposium.org<http://www.tristan-symposium.org>

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

[DMANET] 2nd CfP: SCSS 2016


Second Call for Papers


SCSS 2016

The 7th International Symposium on
Symbolic Computation in Software Science

Ochanomizu University, Tokyo, Japan
March 28 - 31, 2016

Submissions to https://easychair.org/conferences/?conf=scss2016

Important Dates
November 13, 2015: Abstract submission
November 20, 2015: Paper submission
January 5, 2016: Notification
March 28-31, 2016: SCSS 2016 in Ochanomizu University, Tokyo

Invited Speakers
- Peter Paule (Johannes Kepler University Linz, Austria)
- Jacques Fleuriot (University of Edinburgh, UK)

There will be tutorial lectures on symbolic computation.
- Tetsu Yamaguchi and colleagues (Maple Soft)
- Xavier Dahan (Ochanomizu University, Japan)

The purpose of SCSS 2016 is to promote research on theoretical and
aspects of symbolic computation in software science. The symposium
provides a
forum for active dialog between researchers from several fields of computer
algebra, algebraic geometry, algorithmic combinatorics, computational
and software analysis and verification.

SCSS 2016 solicits regular papers on all aspects of symbolic computation
their applications in software science. The topics of the symposium
but are not limited to the following:
- automated reasoning
- algorithm (program) synthesis and/or verification
- formal methods for the analysis of network and system security
- termination analysis and complexity analysis of algorithms (programs)
- extraction of specifications from algorithms (programs)
- related theorem proving methods and techniques
- proof carrying code
- generation of inductive assertion for algorithm (programs)
- algorithm (program) transformations
- formalization and computerization of knowledge (maths, medicine,
economy, etc.)
- component-based programming
- computational origami
- query languages (in particular for XML documents)
- semantic web and cloud computing

Program Chair
James Davenport (University of Bath, UK)

Honorary Chair
Bruno Buchberger (Johannes Kepler University, Austria)

General Chair
Tetsuo Ida (University of Tsukuba, Japan)

Program Committee
Kenichi Asai (Ochanomizu University, Japan)
Adel Bouhoula (Carthage University, Tunisia)
Changbo Chen (Chinese Academy of Sciences, China)
Matthew England (Coventry University, UK)
Jacques Garrigue (Nagoya University, Japan)
Cezary Kaliszyk (University of Innsbruck, Austria)
Yukiyoshi Kameyama (University of Tsukuba, Japan)
Michael Kohlhase (Jacobs University, Germany)
Temur Kutsia (Johannes Kepler University, Austria)
Assia Mahboubi (Inria, France)
Yasuhiko Minamide (Tokyo Institute of Technology, Japan)
Yoshihiro Mizoguchi (Kyushu University, Japan)
Julien Narboux (Strasbourg University, France)
Renaud Rioboo (ENSIIE, France)
Tateaki Sasaki (University of Tsukuba, Japan)
Dongming Wang (Beihang University and CNRS, China and France)
Stephen Watt (University of Waterloo, Canada)
Kazuhiro Yokoyama (Rikkyo University, Japan)

Local Arrangement Committee
Kenichi Asai (Ochanomizu University, Japan)
Houssem Chatbri (University of Tsukuba, Japan)
Fadoua Ghourabi (Ochanomizu University, Japan) (Chair)
Sosuke Moriguchi (Kwansei Gakuin University, Japan)
Akira Terui (University of Tsukuba, Japan)

Submission is via EasyChair:


Submissions of regular research papers are invited. Regular research papers
must not exceed 12 pages in the EasyChair LaTeX Class format
(www.easychair.org/publications/easychair.zip), with up to 3 additional
for technical appendices.

The proceedings of SCSS 2016 will be published in the EasyChair
Proceedings in
Computing (EPiC).

After the symposium, we will have a combined special issue of the
Journal of
Symbolic Computation on SCSS 2014 & 2016. The full version of selected
at SCSS 2014 & 2016 will be considered for the publication of the
special issue
subjected to the normal peer review process of the journal. The submission
deadline of the special issue will be 2 months after the symposium.
* 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.
* http://www.zaik.uni-koeln.de/AFS/publications/dmanet/

SoCG 2016: Call for papers - 32nd International Symposium on Computational Geometry

Call for Papers
32nd International Symposium on
Computational Geometry (SoCG)
Boston, June 14-18, 2016


The 32nd International Symposium on Computational Geometry (SoCG) will be held in
Boston, MA, as part of Computational Geometry Week. SoCG will be collocated
with the 48th Symposium on the Theory of Computing (STOC), which will be held
June 18-21, 2016. Making use of this collocation, it is intended to hold joint
workshops with STOC (at the conference hotel of STOC) on June 18, and
coordinate other aspects of the program where appropriate.

We invite submissions of high-quality papers that describe original research on
computational problems in a geometric setting, in particular their algorithmic
solutions, implementation issues, applications, and mathematical foundations.
The program committee intends to interpret the scope of the conference
broadly, and will seriously consider all papers that are of significant
interest to the computational geometry research community.

Topics of interest include, but are not limited to:

* Design, analysis, and implementation of geometric algorithms and data structures;
lower bounds on the computational complexity of geometric problems;

* Mathematical, numerical, and algebraic issues arising in the formulation, analysis,
implementation, and experimental evaluation of geometric algorithms and heuristics;
discrete and combinatorial geometry; computational topology;

* Novel algorithmic applications of geometry in computer graphics, geometric modeling,
computer-aided design and manufacturing, scientific computing, geographic
information systems, database systems, robotics, computational biology, machine
learning, sensor networks, medical imaging, combinatorial optimization,
statistical analysis, discrete differential geometry, theoretical computer science,
graph drawing, pure mathematics, and other fields.

Important Dates
* November 27, 2015: Paper abstracts (at most 300 words) due (23:59, UTC-9)
* December 4, 2015: Paper submissions due (23:59, UTC-9)
* February 12, 2016: Notification of acceptance/rejection of papers
* March 24, 2016: Final versions of accepted papers due
* June 14-18, 2016: Symposium in Boston

There will be *no* extension of abstract and paper submission deadlines; late
submissions will not be considered.

Program committee
* Mohammad Ali Abam (Sharif University, Iran)
* Nina Amenta (University of California at Davis, USA)
* Ulrich Bauer (TU Munich, Germany)
* Sergio Cabello (University of Ljubljana, Slovenia)
* Jean Cardinal (Universite Libre de Bruxelles, Belgium)
* Eric Colin de Verdiere (Ecole normale superieure, Paris and CNRS, France)
* Sandor Fekete (co-chair, TU Braunschweig, Germany)
* Marc Glisse (Inria, France)
* David Gu (Stony Brook University, USA)
* Matias Korman (Tohoku University, Japan)
* Anna Lubiw (co-chair, University of Waterloo, Canada)
* Wolfgang Mulzer (FU Berlin, Germany)
* Joseph O'Rourke (Smith College, USA)
* Jeff M. Phillips (University of Utah, USA)
* Micha Sharir (Tel Aviv University, Israel)
* Takeshi Tokuyama (Tohuku University, Japan)
* Geza Toth (Renyi Institute, Hungary)
* Kevin Verbeek (TU Eindhoven, Netherlands)
* Yusu Wang (Ohio State University, USA)
* Emo Welzl (ETH Zurich, Switzerland)
* Chee Yap (New York University, USA)

Local organizing committee
Greg Aloupis, Tufts University
Diane Souvaine, Tufts University
Csaba Toth, California State University Northridge

Publication and Awards
Final versions of accepted papers will be published by LIPIcs (Leibniz
International Proceedings in Informatics) in the symposium proceedings. An
author of each accepted paper will be expected to attend the Symposium and give
a presentation (approximately 20 minutes) of the paper. Authors of a selection
of papers from the conference will be invited to submit extended versions of
their papers to special issues of "Discrete and Computational Geometry" and
"Journal of Computational Geometry". There will be a best paper award. A best
student presentation award will also be given based on the quality of the
presentation by a student during the conference.

Paper Submission Guidelines
Submissions must be formatted in accordance with the LIPIcs proceedings
guidelines and not exceed 15 pages including title-page and references, but
possible excluding a clearly marked appendix (further described below). LIPIcs
typesetting instructions can be found at
http://www.dagstuhl.de/en/publications/lipics and the lipics.cls LaTeX style at
http://drops.dagstuhl.de/styles/lipics/lipics-authors.tgz. Final proceedings
versions of accepted papers must be formatted using the same rules but without
the appendix. See http://drops.dagstuhl.de/portals/extern/index.php?semnr=15005
for the proceedings of 2015. Submissions deviating from the above guidelines
will be rejected without consideration of their merits.

In order to encourage submission from both theory and practice, authors should
clearly identify the main merits of the paper by choosing one of the following
(T) Contributions to the theory of computational geometry
(P) Contributions to practical aspects of computational geometry
(B) Contributions to both theory and practice
There is no preassigned quota and there will not be separate tracks; the only
purpose is to help the PC in focusing on the main strengths of papers. Authors
should assign these categories by checking one or two of the appropriate boxes
on the easychair submission page.

After the title, authors and abstract, the main body of the submission should
begin with a precise statement of the problem considered, a succinct summary of
the results obtained (emphasizing the significance, novelty, and potential
impact of the research), and a clear comparison with related work. The
remainder of the submission should provide sufficient detail to allow the
Program Committee to evaluate the validity, quality, and relevance of the
contribution. Clarity of presentation is very important; the whole submission
should be written carefully, taking into consideration that it will be read and
evaluated by both experts and non-experts, often under tight time constraints.
All details needed to convince the Program Committee of the validity of the
results should be provided, and supporting materials (including proofs of
theoretical claims and experimental details) that do not fit in the 15-page
limit should be given in an appendix. The appendix should not be a full version
of the paper. It will be read by the program committee members at their
discretion and will not be published as part of the proceedings. Thus, the
submission should be able to stand on its own when references to the appendix
are deleted or replaced by references to an extended version of the paper.
If an appendix was used at the time of submission, authors are strongly
encouraged to post a full version of their paper on some online repository
(such as the arXiv) after acceptance.

Results previously published in another conference proceedings cannot be
submitted. Simultaneous submissions of the results to another conference with
published proceedings are not allowed. Exempted are workshop or conference
handouts containing short abstracts. Results that have already been accepted
(with or without revision) for publication by a journal, at the time of their
submission to the conference, will not be allowed. A paper submitted to a
journal but not yet accepted to a journal can be submitted to the conference.
In such cases, the authors must mention this in the submission appendix and
clearly identify the status of the journal submission on November 27, 2015.

Paper Submission
All submissions must be made electronically; see the EasyChair SoCG2016 web
page https://www.easychair.org/conferences/?conf=socg2016 for detailed
submission instructions.

Thursday, September 24, 2015

AAAI-16 Workshop on Beyond NP


AAAI-16 Workshop on Beyond NP



WORKSHOP PAGE: http://beyondnp.org/workshop16/




Submission Deadline: October 23, 2015

Notification: November 23, 2015

Workshop Dates: February 12-13, 2016




Fahiem Bacchus (University of Toronto), On MaxSAT

Stefano Ermon (Stanford University), On Model Counting

Mikolas Janota (MSR Cambridge), On QBFs

George Katsirelos (INRA), On MUSes and MCSes (tentative)

Guy Van den Broeck (UCLA), On First-Order Knowledge Compilation




A new computational paradigm has emerged in computer science over the past few decades, which is exemplified by the use of SAT solvers to tackle problems in the complexity class NP. According to this paradigm, a significant research and engineering investment is made towards developing highly efficient solvers for a prototypical problem (e.g., SAT), that is representative of a broader class of problems (e.g., NP). The cost of this investment is then amortized as these solvers are applied to a broader class of problems via reductions (in contrast to developing dedicated algorithms for each encountered problem).


The goal of this workshop is to help unify and promote research areas that advance this emerging computational paradigm, focusing on solvers that reach beyond NP. This includes, but is not limited to:


* Model counters, also known as #SAT solvers, which are now established as the prototypical solvers for the complexity class #P.

* Knowledge compilers, which reach to other problems in the polynomial and counting hierarchies.

* QBF solvers, which are now established as the prototypical solvers for the complexity class PSPACE.

* Solvers for function problems, including optimization and subset minimal problems, e.g. MaxSAT, MUS and MCS, that reach different levels of the function polynomial hierarchy.




Algorithms underlying Beyond NP solvers; descriptions of implementations and/or evaluations of these solvers; their applications (including encodings); the complexity classes they reach; and their connections to one another. More broadly, submissions are solicited from three types of community members: those who develop solvers, those who use them to solve concrete problems, and those who are interested in the computational complexity of solvers and related problems. Submissions that can help disseminate “best practices” among the relevant research areas are also encouraged (e.g., competitions, benchmarks, and the development of open-source solvers).




Submissions should be formatted using the AAAI conference style and not exceed 6 pages (shorter submissions are welcome). Submissions should be made through EasyChair and are expected to explicate relevance to one of the Beyond NP themes (see http://beyondnp.org/workshop16/).




Adnan Darwiche (University of California, Los Angeles, USA)

Joao Marques-Silva (INESC-ID, IST, University of Lisbon, Portugal)

Pierre Marquis (CRIL-CNRS/Université d’Artois, France)




Fahiem Bacchus (University of Toronto, Canada)

Supratik Chakraborty (IIT Mumbai, India)

Stefano Ermon (Stanford University, USA)

Marijn Heule (University of Texas, Austin, USA)

Mikolas Janota (MSR Cambridge, UK)

Matti Jarvisalo (University of Helsinki, Finland)

Rupak Majumdar (Max-Planck Institute, Germany)

Nina Narodytska (Samsung Research America, USA)

Jakob Nordstrom (KTH Royal Institute of Technology, Sweden)

Bart Selman (Cornell University, USA)

Laurent Simon (University of Bordeaux, France)

Dan Suciu (University of Washington, USA)

Stefan Szeider (Technical University of Vienna, Austria)

Toby Walsh (NICTA, Australia)