Theory Announcements

Tuesday, September 20, 2011

[DMANET] 2nd CfP: MMEDIA 2012 || April 29 - May 4, 2012 - Chamonix / Mont Blanc, 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 MMEDIA 2012.
The submission deadline is set to December 5, 2011.
In addition, authors of selected papers will be invited to submit extended article versions to one of the IARIA Journals: http://www.iariajournals.org
=================

============== MMEDIA 2012 | Call for Papers ===============

CALL FOR PAPERS, TUTORIALS, PANELS

MMEDIA 2012: The Fourth International Conferences on Advances in Multimedia
April 29 - May 4, 2012 - Chamonix / Mont Blanc, France

General page: http://www.iaria.org/conferences2012/MMEDIA12.html

Call for Papers: http://www.iaria.org/conferences2012/CfPMMEDIA12.html

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

- ideas

Submission page: hhttp://www.iaria.org/conferences2012/SubmitMMEDIA12.html

Submission deadline: December 5, 2011

[DMANET] Postdoctoral position

A postdoctoral position is available in the area of
Mixed Integer Quadratic Programming in Telecom SudParis (30km south of
paris) and Supelec (south of paris).

The position is open to candidates of any nationality and the selection
will be based on the candidates research records and their potential to
make a significant contribution in the context of the postdoc.

Applicants, should hold a Ph.D. in optimization or operations research
and have a background in integer programming and/or nonlinear
programming. A good knowledge of computer programming (C/C++) and
previous experience in programming with optimization software (CPLEX,
COIN-OR, XPRESS,...) would be a big plus.

Applicants should apply by email to walid.benameur@it-sudparis.eu by
sending a curriculum vitae, a cover letter and the names of references.

Walid Ben-Ameur, Pr
CNRS samovar UMR 5157,
Telecom SudParis
9 rue Charles Fourier, 91011 Evry, France
walid.benameur@it-sudparis.eu

----------------------------------------------------------------
This message was sent using IMP, the Internet Messaging Program.

**********************************************************
*
* 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] Juniorprofessur Diskrete Optimierung (in German)

An der Technischen Universität Dortmund ist in der Fakultät für
Mathematik zum nächstmöglichen Zeitpunkt eine

W1-JUNIORPROFESSUR FÜR DISKRETE OPTIMIERUNG

zu besetzen. Die Stelle ist zunächst auf drei Jahre befristet.
Nach positiver Zwischenevaluierung ist vorgesehen, sie um weitere
drei Jahre zu verlängern.

Die Bewerberin/der Bewerber soll auf dem Gebiet der mathematischen
Optimierung ausgewiesen sein. Gesucht wird eine Kandidatin/ein
Kandidat mit Expertise im Bereich der diskreten oder gemischt-
ganzzahligen Optimierung. Bezüge zur nichtlinearen Optimierung
sind ebenfalls willkommen.

Gewünscht wird neben der Beschäftigung mit den mathematischen
Grundlagen der diskreten Optimierung auch die Bereitschaft zur
Mitarbeit in gemeinsamen Forschungsprojekten mit anderen Fakultäten
der TU Dortmund, insbesondere im Bereich der Logistik. Einschlägige
Erfahrung in interdisziplinären Kooperationen wird daher sehr
begrüßt. Von der/dem zukünftigen Juniorprofessorin/Juniorprofessor
werden darüber hinaus die Beteiligung an gemeinsamen Forschungs-
schwerpunkten der Mathematik sowie sichtbare Aktivitäten bei der
Einwerbung von Drittmitteln erwartet.

Die Einstellungsvoraussetzungen richten sich nach § 36 HG des
Landes Nordrhein-Westfalen. Erwartet werden insbesondere eine
hervorragende Promotion, der Nachweis weiterer wissenschaftlicher
Leistungen und Veröffentlichungen auf hohem internationalen Niveau
sowie ein hohes Engagement in der Lehre. Vorausgesetzt wird die
Bereitschaft zur Mitwirkung an Aufgaben der Selbstverwaltung.

Die Technische Universität Dortmund hat sich das strategische Ziel
gesetzt, den Anteil von Frauen in Forschung und Lehre deutlich zu
erhöhen, und ermutigt nachdrücklich Wissenschaftlerinnen, sich zu
bewerben. Die Bewerbung geeigneter Schwerbehinderter ist erwünscht.

Bewerbungen werden mit den üblichen Unterlagen innerhalb von vier
Wochen nach Veröffentlichung auf dem normalen Postweg erbeten an
den

Dekan der Fakultät für Mathematik
Technische Universität Dortmund
44221 Dortmund
Tel.: 0231 755-3050.

CONCUR 2012: Call for workshops

[Apologies for cross-postings]

* CONCUR 2012 *
Call for affiliated workshops

The 23rd Conference on Concurrency Theory (CONCUR 2012) will be held
September 4th to September 7th 2012, in Newcastle upon Tyne, UK. It
will co-locate with 21st Workshop on Power and Timing Modeling,
Optimization and Simulation (PATMOS, September 4th to September 6th,
2012), and the 7th Workshop on Trustworthy Global Computing (TGC,
September 7th to September 8th, 2012).

Researchers and practitioners are invited to submit proposals for
workshops to be affiliated to CONCUR 2012, on topics related to
concurrency theory and its applications. Example topics include:
semantics, logics, verification techniques for concurrent systems, and
cross-fertilization between industry and academia. Past CONCUR
conferences have been accompanied by successful workshops on a variety
of topics, such as formal and foundational methods, models of systems
(biological, timed), security issues, semantical issues, and
verification methods. See the following links for examples of past workshops:

http://concur2011.rwth-aachen.de/workshops
http://concur2010.inria.fr/workshops
http://concur09.cs.unibo.it/satevents.html

The purpose of the workshops is to provide participants with a
friendly, interactive atmosphere for presenting novel ideas and
discussing their application. The workshops take place on Monday,
September 3rd and Saturday, September 9th, 2012.

Proposals should include:

* The name and the preferred date of the proposed workshop.

* A short scientific summary of the topic, its scope and
significance, including a discussion on the relation with CONCUR
topics.

* If applicable, a description of past versions of the workshop,
including dates, organizers, submission and acceptance counts, and
attendance.

* Procedures for selecting papers and/or talks, plans for
dissemination (for example, proceedings and special issues of
journals), and the expected number of participants.

Important Dates:

Workshop proposals due: Monday, October 24, 2011
Notification of acceptance: Wednesday, November 9, 2011
Workshops: September 3rd, 2012 and September 8th, 2012
Submissions to: Jason Steggles <jason.steggles@newcastle.ac.uk>
and Emilio Tuosto <emilio@mcs.le.ac.uk>

The CONCUR organization offers:

* Link from the CONCUR web site.
* Setup of meeting space, and related equipment.
* Coffee-breaks.
* Lunches.
* On-line and on-site registration to the workshop.
* One free workshop registration (for an invited speaker)

The main responsibility of organizing a workshop goes to the workshop
chairperson(s), including:

* Workshop publicity (possibly including call for papers, submission
and review process).
* Scheduling workshop activities in collaboration with the CONCUR
workshop chairs.

For more information, please contact us via email
(jason.steggles@newcastle.ac.uk and emilio@mcs.le.ac.uk)

The CONCUR 2012 workshop chairs,
Jason Steggles and Emilio Tuosto

Monday, September 19, 2011

[DMANET] 2nd CfP: CTRQ 2012 || April 29 - May 4, 2012 - Chamonix / Mont Blanc, 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 CTRQ 2012.
The submission deadline is set to December 5, 2011.
In addition, authors of selected papers will be invited to submit extended article versions to one of the IARIA Journals: http://www.iariajournals.org
=================

============== CTRQ 2012 | Call for Papers ===============

CALL FOR PAPERS, TUTORIALS, PANELS

CTRQ 2012: The Fifth International Conference on Communication Theory, Reliability, and Quality of Service
April 29 - May 4, 2012 - Chamonix / Mont Blanc, France

General page: http://www.iaria.org/conferences2012/CTRQ12.html

Call for Papers: http://www.iaria.org/conferences2012/CfPCTRQ12.html

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

Submission page: http://www.iaria.org/conferences2012/SubmitCTRQ12.html

Submission deadline: December 5, 2011

[DMANET] INFOCOMP - Call For Paper

Call For Paper
===========

We would like to disclose the INFOCOMP Journal of Computer Science
to researches and students of your institute and colleagues.
In the INFOCOMP Journal, researches related to Computer Science are
published since 1999.
Its website can be accessed at http://www.dcc.ufla.br/infocomp.
Our scientific board is comprised of, approximately, 80 PhD members from,
mainly, Brazil, India, United Kingdom, and Portugal.

Our average time of review is, approximately, in four months.
In no rare cases, answers are given in, approximately, two months.

Please, let us know any doubt related to this subject.
Yours sincerely,
Heitor Costa,
on behalf of INFOCOMP Editors.

[DMANET] CFP: ADHOC-NOW 2012, Belgrade, Serbia, July 9-11, 2012

ADHOC-NOW 2012 Call for Papers
The 11th International Conference on Ad Hoc Networks and Wireless
Belgrade, Serbia, July 9-11, 2012
http://www.adhocnow.com/

Since its creation in 2002, the International Conference on Ad Hoc
Networks and Wireless (ADHOC-NOW) has become a well-established and
well known event dedicated to wireless and mobile computing. It serves
as a forum for interesting discussions on ongoing research and new
contributions. The conference addresses both experimental and theoretical
research in the areas of ad hoc networks, sensor networks, mesh networks
and vehicular networks. It focuses on all issues from link layer up to
the application layer. The eleventh edition of this series will take
place in Belgrade, Serbia, from the 9th to the 11th of July, 2012.

We seek original contributions as work in progress, experimental and
theoretical research in Wireless Sensor, Ad-Hoc, Mobile and Wireless
Networks. Submissions must not be published or under review for another
conference or journal. We are interested, but not limited to, research
papers in any of the following areas:
* Access Control
* Ad Hoc Networks of Autonomous Intelligent Systems
* Algorithmic Issues
* Analytic Methods and Modeling for Performance Evaluation
* Ad Hoc Network Applications and Architectures
* Delay-Tolerant Networking
* Distributed Algorithms for Ad Hoc Networks
* Energy Efficiency
* Geometric Graphs
* Location Discovery and Management
* Mobility Handling and Utilization
* Wireless Mesh Networks
* Mobile Ad Hoc Computing Platforms
* Systems and Testbeds
* Mobile Social Networking
* Quality-of-Service
* Routing Protocols (Unicast, Multicast, etc.)
* Secure Services and Protocols
* Sensor Networks
* Self-Configuration
* Service Discovery
* Timing Synchronization
* Vehicular Networks
* Wireless Internet

IMPORTANT DATES
Paper Submission:    February 17, 2012
Author Notification:    March 30, 2012
Final Submission:    April 13, 2012

The conference proceedings will be published by Springer-Verlag, as part
of the Lecture Notes in Computer Science (LNCS) series (pending). Each
accepted paper will be included in the conference proceedings, provided
at least one author of the paper registers to present the paper at the
conference. High-quality articles will be invited for submission to a
special issue of Ad Hoc & Sensor Wireless Networks: An International
Journal (AHSWN), SCIE-indexed.

General Chair
Ivan Stojmenovic, Univ. of Ottawa, Canada, and Univ. of Novi Sad, Serbia

TPC Co-Chairs
Xiangyang Li, Illinois Institute of Technology, USA
Symeon Papavassiliou, National Technical Univ. of Athens, Greece

Publicity Co-Chair
Hannes Frey, University of Paderborn, Germany
Xu Li, INRIA Lille – Nord Europe, France
Márcio Almeida, University of Ottawa, Canada

Registration & Local arrangements
Mirjana Prljic, Impala, Belgrade, Serbia

Proceedings Co-Chairs
Rafael Falcon, University of Ottawa, Canada
Stefan Ruehrup, Telecommunications Research Center Vienna, Austria

Submission Chair
Sushmita Ruj, University of Ottawa, Canada

Webchair
Milos Stojmenovic, Singidunum University, Serbia

SSS 2011 - Call for Participation

Apologies if you receive multiple copies of this announcement.

******************************************************************************
- SSS 2011 -

* CALL FOR PARTICIPATION *

13th International Symposium on
Stabilization, Safety, and Security of Distributed Systems

October 10-12, 2011
Grenoble, France
(Previously in Shinagawa (Tokyo), Japan)

http://www.jaist.ac.jp/sss2011/
******************************************************************************

The Symposium is a prestigious international forum for researchers and
practitioners in the design and development of fault-tolerant distributed
systems with self-* properties, such as self-stabilizing, self-configuring,
self-organizing, self-managing, self-repairing, self-healing, self-optimizing,
self-adaptive, and self-protecting. Research in distributed systems is now
at a crucial point in its evolution, marked by the importance of dynamic
systems such as peer-to-peer networks, large-scale wireless sensor networks,
mobile ad hoc networks, robotic networks, etc. Moreover, new applications such
as grid and web services, banking and e-commerce, e-health and robotics,
aerospace and avionics, automotive, industrial process control, etc. have
joined the traditional applications of distributed systems.

The conference provides a wide spectrum of topics, covered in the following
tracks:
* Ad-Hoc, Sensor, and Dynamic Networks
* Fault-Tolerance and Dependable Systems
* Overlay and Peer-to-Peer Networks
* Safety and Verification
* Security
* Self-Organizing and Autonomic Networks
* Self-Stabilization

Registration information is available athttp://www.jaist.ac.jp/sss2011/

-=-=-=-=-=-=-=-=-
TENTATIVE PROGRAM
-=-=-=-=-=-=-=-=-

-----------------------
Sunday, October 9, 2011
-----------------------

17:30 - 20:00 Welcome, pre-registration at Aconit (http://www.aconit.org/index_en.php)

------------------------
Monday, October 10, 2011
------------------------

8:00 - 8:45 Registration

8:45 - 9:00 Opening

9:00 - 10:00 Invited Speaker

Toshimitsu Masuzawa
Silence is Golden: Self-stabilizing Protocols Communication-efficient after Convergence

10:00 - 10:30 Pause

10:30 - 12:00 Session 1: Self-Stabilization #1

Noga Alon, Shlomi Dolev, Swan Dubois, Hagit Attiya, Maria Gradinariu Potop-Butucaru, and Sebastien Tixeuil
Pragmatic Self-Stabilization of Atomic Memory in Message-Passing Systems

Borzoo Bonakdarpour and Sandeep Kulkarni
Active Stabilization

Stephane Devismes, Ajoy K. Datta, Lawrence Larmore, and Yvan Rivierre
Self-Stabilizing Labeling and Ranking in Ordered Trees

12:00 - 14:00 Lunch

14:00 - 15:30 Session 2: Fault-Tolerance and Dependable Systems #1

Marc Shapiro, Nuno Preguiça, Carlos Baquero, and Marek Zawirski
Conflict-free Replicated Data Types

Roberto Baldoni, Silvia Bonomi, and Amir Soltani Nezhad
An Algorithm for implementing BFT Registers in Distributed Systems with Bounded Churn

H B Acharya, Taehwan Choi, Rida Bazzi, and Mohamed Gouda
The K-Observer Problem in Computer Networks

15:30 - 16:00 Pause

16:00 - 17:00 Session 3: Self-Organizing and Autonomic Networks

M. C. Dourado, L.D. Penso, D. Rautenbach, and J.L. Szwarcfiter
The South Zone: Distributed Algorithms for Alliances

Jun Kiniwa and Kensaku Kikuta
Price Stabilization in Networks - What Is an Appropriate Model?

17:00 - 17:10 Break

17:10 - 18:00 Brief Announcements #1: Autonomic and Peer-to-peer Networks

Richard Anthony, Mariusz Pelc, and Haffiz Shuaib
Towards Interoperability Standards and Services for Autonomic Systems

Roberto Beraldi, Adriano Cerocchi, Fabio Papale, and Leonardo Querzoni
Distributed Self-Organizing Event Space Partitioning for Content-Based Publish/Subscribe Systems

H B Acharya, Anil Kumar Katti, and Mohamed Gouda
A Conjecture on Traceability, and a New Class of Traceable Networks

Jacek Cichon, Rafal Kapelko, and Karol Marchwicki
A Note On Replication of Documents

Ajoy K. Datta, Anne-Marie Kermarrec, Lawrence L. Larmore, and Erwan Le Merrer
A Stable and Robust Membership Protocol

18:00-18:30 Business Meeting

-------------------------
Tuesday, October 11, 2011
-------------------------

8:00 - 8:30 Registration

8:30 - 9:30 Invited Speaker

Nicola Santoro
Computing in Time-Varying Networks

9:30 - 10:00 Pause

10:00 - 12:30 Session 4: Ad-Hoc, Sensor, and Dynamic Networks #1

Ingy Ramzy and Anish Arora
Using Zero Knowledge to Share a Little Knowledge: Bootstrapping Trust in Device Networks

Tatsuro Iida, Atsuko Miyaji, and Kazumasa Omote
POLISH: Proactive co-Operative LInk Self-Healing for Wireless Sensor Networks

Neeraj Singh and Dominique Mery
Analysis of DSR protocol in Event-B

Andreas Klappenecker, Hyunyoung Lee, and Jennifer Welch
Dynamic Regular Registers in Systems with Churn

12:30 - 14:00 Lunch

14:00 - 15:30 Session 5: Security, Safety and Verification

Christian Gorecki, Felix Freiling, Marc Kuehrer, and Thorsten Holz
TRUMANBOX: Improving Dynamic Malware Analysis by Emulating the Internet

Ofer Hermoni, Niv Gilboa, Eyal Felstaine, Yuval Elovici, and Shlomi Dolev
Rendezvous Tunnel for Anonymous Publishing: Clean Slate and Tor Based Designs

Bernadette Charron-Bost, Henri Debrat, and Stephan Merz
Formal Verification of Consensus Algorithms Tolerating Malicious Faults

15:30 - 16:00 Pause

16:00 - 17:00 Session 6: Self-Stabilization #2

Sven Köhler and Volker Turau
Space-Efficient Fault-Containment in Dynamic Networks

William Leal, Micah Mccreery, and Daniel Codo De Faria
The OCRC Fuel Cell Lab Safety System: A Self-Stabilizing Safety-Critical System

17:00 - 17:10 Break

17:10 - 18:00 Brief Announcements #2: Self-Stabilization, Fault-tolerance, and Dynamic Networks

Fawaz Al-Azemi and Mehmet Karaata
A Stabilizing Algorithm for Finding Two Edge-Disjoint Paths in Arbitrary Graphs

Stephane Devismes, Ajoy K. Datta, and Lawrence Larmore
Sorting on Skip Chains

Yonghwan Kim, Tadashi Araragi, Junya Nakamura, and Toshimitsu Masuzawa
A Concurrent Partial Snapshot Algorithm for Large-scale, and Dynamic Distributed Systems

Bjorn Saballus, Stephan-Alexander Posselt, and Thomas Fuhrmann
Fault-Tolerant Object Location in Large Compute Clusters

Shailesh Vaya
Faster Gossiping in Bidirectional Radio Networks with Large Labels

19:00 - Banquet

---------------------------
Wednesday, October 12, 2011
---------------------------

8:30 - 10:00 Session 7: Best Papers

- Best Paper
Andrew Berns, Sukumar Ghosh, and Sriram Pemmaraju
Building Self-Stabilizing Overlay Networks with the Transitive Closure Framework

- Best Student Paper (ex aequo)
Damien Imbs and Michel Raynal
The Weakest Failure Detector to Implement a Register in Asynchronous Systems with Hybrid Communication

- Best Student Paper (ex aequo)
Rizal Nor, Mikhail Nesterenko, and Christian Scheideler
Corona: A Stabilizing Deterministic Message-Passing Skip List

10:00 - 10:30 Pause

10:30 - 11:30 Session 8: Overlay and Peer-to-Peer Networks

Davide Frey, Arnaud Jegou, and Anne-Marie Kermarrec
Social Market: Combining Explicit and Implicit Social Networks

Phillip Stevens, Andrea Richa, and Christian Scheideler
Self-Stabilizing De Bruijn Networks

11:30 - 12:30 Session 9: Fault-Tolerance and Dependable Systems #2

Danny Dolev, Matthias Fuegger, Christoph Lenzen, and Ulrich Schmid
Fault-tolerant Algorithms for Tick-Generation in Asynchronous Logic: Robust Pulse Generation

Armando Castaneda and Hagit Attiya
A Non-topological Impossibility Proof of k-set Agreement

12:30 - 14:00 Lunch

14:00 - 15:00 Session 10: Fault-Tolerance and Dependable Systems #3

Achour Mostefaoui, Michel Raynal, and Julien Stainer
Relations Linking Failure Detectors Associated with k-set Agreement in Message-Passing Systems

Mohamed Ibrahim and Binoy Ravindran
Snake: Control Flow Distributed Software Transactional Memory

15:00 - 15:30 Pause

15:30 - 17:00 Session 11: Ad-Hoc, Sensor, and Dynamic Networks #2

Zohir Bouzid and Anissa Lamani
Robot Networks with Homonyms: The Case of Patterns Formation

Joffroy Beauquier, Peva Blanchard, Janna Burman, and Sylvie Delaet
Computing Time Complexity of Population Protocols with Cover Times - The ZebraNet Example

Ioannis Chatzigiannakis, Othon Michail, Stavros Nikolaou, and Paul Spirakis
The Computational Power of Simple Protocols for Self-Awareness on Graphs

17:00 - Closing

Saturday, September 17, 2011

[DMANET] Latin American Theoretical Informatics School (First announcement)

I Latin American Theoretical Informatics School
April 16-20, 2012 - Arequipa, Peru.

http://latinschool2012.dim.uchile.cl/

--------------------------------------------------------------------
This will be a first of what will hopefully be a series of Schools on
topics related to Theoretical Computer Science which are expected to
take place in conjunction with the Latin American Theoretical Computer
Science Symposium (LATIN). In particular, the first version of the
School will be co-located and run in parallel to LATIN'2012. For
information about LATIN'2012, see:
http://latin2012.cs.iastate.edu/

The School's objectives are to encourage attendance of Latin American
students to the LATIN Symposium, to expose them to recent research
developments, to give them the opportunity of learning recently
developed advanced topics, and to facilitate their interaction with
researchers working in and outside Latin America.

---------------------------------------------------------------------
Target Audience:

Graduate students and advanced undergraduate students, in particular
those studying in Latin America.

---------------------------------------------------------------------
The school will consist of 3 courses. Each course encompasses 4
lectures. Courses will be given in English. Students will also be
expected to attend Plenary Lectures and Special Sessions of the LATIN
Symposium.

The following is a preliminary program of the School:
Courses:
1.- Keren Censor-Hillel, Massachusetts Institute of Technology, USA.
"Information Spreading in Distributed Systems".
2.- Conrado Martínez, Universitat Politècnica de Catalunya, Spain.
"Applications of Analytic Combinatorics to the Analysis of
Algorithms: An introduction"
3.- Jorge Urrutia, U. Nacional Autónoma de México.
"Discrete and Computational Geometry (with Applications to
Routing, Clustering, and others)".

LATIN'2012 Plenary Speakers
1.- Scott Aaronson, Massachusetts Institute of Technology, USA.
2.- Martin Davis, New York U., USA.
3.- Luc Devroye, McGill U., Canada.
4.- Marcos Kiwi, U. de Chile, Chile.
5.- Kirk Pruhs, U. of Pittsburgh, USA.
6.- Dana Randall, Georgia Institute of Technology, USA.

----------------------------------------------------------------------
Applications and fudnding:

Applications will be received January/December 2012.

There will be a limited number of fellowships available to cover
registration and local accommodation.

-----------------------------------------------------------------------
Scientific Committee:
David Fernández-Baca, Iowa State U.
Gonzalo Navarro, U. de Chile.
Sergio Rajsbaum, UNAM.
Marcos Kiwi (Chair), U. de Chile.

Local Organizers:
Regina Ticona, U. Católica San Pablo.

[DMANET] FPSAC 2012 - First Announcement

===============================================
24th Annual International Conference on
Formal Power Series and Algebraic Combinatorics
===============================================

FPSAC'12

===============================================
July 30 - August 3, 2012
Nagoya University
(Nagoya, Japan)
===============================================

First announcement -- Call for papers

Topics
-----
All aspects of combinatorics and their relations with other
parts of mathematics, physics, computer science and biology.

Conference program
-----
The conference will feature invited lectures, contributed
presentations, poster session, problem session, and software
demonstrations. As usual there will be no parallel sessions.

Official languages
-----
The official languages of the conference are English and French.

Invited Speakers
-----
Alexei Borodin (Massachusetts Institute of Technology, U.S.A.)
Gil Kalai (Hebrew University, Israel)
Manuel Kauers (Johannes Kepler Universitat, Austria)
Rinat Kedem (University of Illinois at Urbana-Champaign, U.S.A.)
Thomas Lam (University of Michigan, U.S.A.)
Jennifer Morse (Drexel University, U.S.A.)
Hjalmar Rosengren (Chalmers University of Technology and
University of Gothenburg, Sweden)
Catharina Stroppel (Universitat Bonn, Germany)
Hiroaki Terao (Hokkaido University, Japan)

Call for papers and posters
-----
Authors are invited to submit extended abstracts of at most
twelve pages by November 30, 2011. To submit papers please
visit the conference website
http://www.math.nagoya-u.ac.jp/fpsac12
Author instructions can also be found at the conference website.

The submitted papers should begin with a short abstract written
both in English and in French (translation provided if necessary).
Authors should indicate the mode of presentation which they
consider appropriate for their paper, i.e. lecture or poster.
The notifications of acceptance are scheduled for March 1, 2012.

The accepted extended abstracts will be published in a volume
dedicated to FPSAC'12 of Discrete Mathematics and Theoretical
Computer Science Proceedings
http://www.dmtcs.org/dmtcs-ojs/index.php/proceedings
If authors desire to publish full versions of papers elsewhere,
this is no problem, as long as the extended abstract is indeed
a short version of the full paper.

Important Note: Each submitted abstract must be prepared in
accordance with LaTeX (see http://www.ams.org/tex ). Authors
are required to use the LaTeX template which is provided on
the 'Author Instructions' section of the conference website.

Open problem session
-----
Contributions to the problem session are invited in advance
of the conference dates. People interested in submitting a problem
in advance should submit it by e-mail to fpsac12@math.nagoya-u.ac.jp
before June 15, 2012.

Software demonstrations
-----
Demonstrations of software relevant to the topics of the conference
are encouraged. People interested in giving a software demonstration
should submit to fpsac12@math.nagoya-u.ac.jp before March 1, 2012
a paper briefly explaining the software, and including the hardware
requirements.

Best Student Paper Award
-----
In an ongoing FPSAC tradition, an award will be made for the best
paper submitted by a graduate student. Students submitting extended
abstracts are invited to indicate their eligibility for this award.

Participant support
-----
Limited funds are available for partial support of participants;
in particular for students, junior scientists, and mathematicians
from under-represented groups. Requests should contain a letter
of recommendation and include the estimated transportation and
living expenses for the duration of the conference as well as
the amount of any support available from other sources. All
requests should be sent by March 15, 2012. Please see the conference
website for details.

Location
-----
The conference will take place at Nagoya University, Nagoya,
Japan.

Further information
-----
All important information concerning FPSAC'12 can be found on
the conference web site at
http://www.math.nagoya-u.ac.jp/fpsac12

More details will be given in future announcements. Please direct
further questions to fpsac12@math.nagoya-u.ac.jp

Summary of important dates
-----
Deadline of submission : November 30, 2011.
Notification of acceptance : March 1, 2012.
Requests for support : March 15, 2012.
Conference : July 30 -- August 3, 2012.

Program Committee
---------------------------
Chair
Hiro-Fumi Yamada (Okayama University, Japan)
CoChair
Nantel Bergeron (York University, Canada)
Member
Susumu Ariki (Osaka University, Japan)
Jean-Christophe Aval (Universite Bordeaux 1, France)
Christine Bessenrodt (Leibniz Universitat Hannover, Germany)
Francesco Brenti (Universita' di Roma "Tor Vergata", Italy)
Sylvie Corteel (Universite Paris Diderot 7, France)
Michael Drmota (Technische Universitat Wien, Austria)
Mariko Hagita (Ochanomizu University, Japan)
Florent Hivert (Universite de Rouen, France)
Jim Hugland (University of Pennsylvania, U.S.A.)
Dongsu Kim (Korea Advanced Institute of Science and Technology,
Korea)
Jeremy Martin (University of Kansas, U.S.A.)
Satoshi Murai (Yamaguchi University, Japan)
Arun Ram (University of Melbourne, Australia)
Andrew Rechnitzer (University of British Columbia, Canada)
Gilles Schaeffer (Ecole Polytechnique, France)
Piotr Sniady (University of Wroclaw, Poland)
Dennis Stanton (University of Minnesota, U.S.A.)
Kai Meng Tan (National University of Singapore, Singapore)
David Wagner (University of Waterloo, Canada)

Organizing Committee
------------------------------
Chair
Soichi Okada (Nagoya University, Japan)
Member
Susanna Fishel (Arizona State University, U.S.A.)
Masao Ishikawa (University of the Ryukyus, Japan)
Christian Krattenthaler (Universitat Wien, Austria)
Hiroshi Mizukawa (National Defense Academy, Japan)
Sho Matsumoto (Nagoya University, Japan)
**********************************************************
*
* 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/
*
**********************************************************

Friday, September 16, 2011

[DMANET] CfP 2nd Workshop on Bio-inspired Approaches to Advanced Computing and Communications (deadline extension)

apologies if you receive multiple copies of this CfP

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

2nd Workshop on Bio-inspired Approaches to Advanced Computing and
Communications as part of Bionetics 2011

December 5th - 7th, 2011 - York, England

http://bioadcom.org

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

CALL FOR PAPERS

The rapid developments in networking and resource integration domains
have resulted in the emergence of distributed computing models such as
Web Services and Cloud computing for solving very complex problems.
However, biology has developed effective solutions to hard engineering
challenges through millions of years of evolution. Several algorithms
and techniques widely used in Computer Science have been adapted from,
or inspired by, known biological phenomena. Computer scientists
applying biomimetics can learn by observing nature and adopting
biological approaches in the aforementioned distributed computing
models. The focus of this special track is on identifying the role
that bio-inspired computing can play in the progress of computing and
communications systems, in highlighting productive areas of research
and in pinpointing precise application areas. Manuscripts unfolding
mathematical models, algorithms, protocols, tools, evaluation methods,
and experimental studies of advanced computing and communications
techniques that are inspired by and derived from biological systems
are solicited for this workshop. This special track seeks
high-quality, original and unpublished papers addressing topics
relevant to the issues raised above, including:

* Biological fault tolerance, self-healing systems
* Bio-inspired mathematical methods
* Machine learning
* Computational intelligence
* Collaborative self-organizing systems
* Knowledge Management
* Databases and data mining
* Dependable, reliable computing
* Autonomic computing and networks
* Adaptive network design
* Computer architecture
* Bio-inspired kinematics
* Self-organizing systems
* Cellular automata
* Computational optimization, operations research
* Distributed data analysis and modeling
* DNA computation
* Hybrid and ensemble methods
* Knowledge discovery
* Evolution and self-healing of network architectures and protocols
* High performance computing for bio-inspired algorithms and systems
* Immune and self-healing network defense and information security
* Information theory for biological systems
* Bio-inspired routing and P2P algorithms
* Evolutionary algorithms, genetic algorithms and programming
* Simulation of bio-inspired systems
* Network and communication algorithms and protocols
* Parallel and distributed techniques for bio-inspired algorithms
* Parallel and distributed techniques of swarm intelligence
* Quantum algorithms, quantum inspired approaches
* Routing, resource discovery, and scheduling in distributed systems
* Self-healing networks
* Bio-inspired communications protocols
* Sensor networks
* Self-organizing satellite networks
* Application case studies including computer immunology, space
systems, finance, navigation, fluid mechanics, telecommunications

IMPORTANT DATES

Paper submission deadline (all extended): October 12, 2011
Notification: November 2, 2011
Camera ready due: November 14, 2011
Conference: December 5th - 7th

PAPER SUBMISSION

Authors should submit their papers online at
http://edas.info/newPaper.php?c=11079. Unregistered authors should
first create an account on EDAS to log on.

All accepted papers will be published by Springer in the ICST-LNCS series.

Papers should be written to follow the LNICST guidelines. The author's
kit, which includes these guidelines and templates, can be downloaded
from the following link:
ftp://ftp.springer.de/pub/tex/latex/lnicst/author

TPC

Track Co-Chairs
Michael Alexander, IBM, Austria
Sabu M Thampi, IIITM-K, India

TPC Members
Andreas Riener, University of Linz, Austria
Antoine Bagula, University of Cape Town, New Zeland
Antonio Ruiz-Martinez, University of Murcia, Spain
Arati Baliga, AT&T Security Research Center, USA
Binod Vaidya, University of Ottawa, Canada
Christian Doerr, Delft University of Technology, The Netherlands
Danda Rawat, Eastern Kentucky University, USA
Daniel Thalmann EPFL, Switzerland Demin Wang, Microsoft, USA
Eugenia Bernardino, Polytechnic Institute of Leiria, Portugal
Francesco Quaglia, University of Rome "La Sapienza", Italy
Gabriella Sanniti di Baja, CNR, Italy Giuseppe Mastronardi,
Polytechnic of Bari, Italy
Gregorio Martinez Perez, University of Murcia, Spain
Hadi Otrok, Khalifa University of Science, Technology & Research, UAE
Jorge Sa Silva, University of Coimbra, Portugal
Jukka Nurminen, Aalto University, Finland
Jun Bi, Tsinghua University, P.R. China
Kyriakos ManousakisTelcordia Technologies, USA
Kyunghan Lee, North Carolina State University, USA Lisimachos Kondi,
University of Ioannina, Greece
Long Gao, Hitachi America Ltd, USA
Lukas Kencl, Czech Technical University in Prague, Czech Republic
Maode Ma Nanyang Technological University, Singapure
Marco Parvis, Politecnico di Torino, Italy
Marco Roccetti University of Bologna, Italy
Masahiro Okamoto, Kyushu University, Japan
Matthias W?ehlisch Freie Universitaet Berlin, Germany
Michele Nappi, University of Salerno, Italy
Michele Nogueira, Federal University of Parana, Brazil
Mirco Musolesi, University of St. Andrews, United Kingdom
Murata Masayuki, Osaka University, Japan
Namje Park, Jeju National University, Korea
Namunu Maddage, University of Melbourne, Australia
Nidhal Bouaynaya, University of Arkansas at Little Rock, USA
Nilanjan Banerjee, University of Arkansas, Fayetteville, USA Pascal
Lorenz, University of Haute Alsace,
France Phan Cong-Vinh, NTT University, Vietnam
Shiguo Lian, France Telecom R&D Beijing, China Sherif Rashad,
Morehead State University, USA
Stefano Ferretti, University of Bologna, Italy
Tatsuhiro Tsuchiya, Osaka University, Japan
Theus Hossmann, ETH Zurich, Switzerland
Vishal Singh, NEC Labs, USA
Yong Man Ro, KAIST, Korea

GENERAL INFORMATION

This workshop will be held as part of the 6th International ICST
Conference on Bio-Inspired Models of Network, Information, and
Computing Systems, York, England.
**********************************************************
*
* Contributions to be spread via DMANET are submitted to
*
* DMANET@zpr.uni-koeln.de
*
* Replies to a message carried on DMANET should NOT be
* addressed to DMANET but to the original sender. The
* original sender, however, is invited to prepare an
* update of the replies received and to communicate it
* via DMANET.
*
* DISCRETE MATHEMATICS AND ALGORITHMS NETWORK (DMANET)
* http://www.zaik.uni-koeln.de/AFS/publications/dmanet/
*
**********************************************************

[DMANET] CFP: Springer's PPNA Journal SI on Machine-to-Machine Communications

Peer-to-Peer Networking and Applications (SCIE indexed)
Special Issue Call for Papers
The Green, Reliability and Security of Machine-to-Machine Communications

Machine-to-machine communications is an emerging technology that
realizes a system of networks, wireless or wired, possibly distributed
across the world, for transmitting events captured by low-end machines
such as sensors and smart meters to high-end applications and/or
personal appliances, where the events are translated into meaningful
information. It embraces several major research fields including
wireless sensor networks, vehicular networks, smart grid and RFID, and
enables future ubiquitous computing environment. Unlike current
world-scale human-centric 3G wireless networks, M2M communication
network is characterized by the absence of direct human intervention and
the rapid increase in size and is therefore imposed with unique
requirements.

With ever-decreasing cost of deployment of M2M communication devices and
access to public wireless data networks, and thanks to its potential to
support a large number of ubiquitous characteristics and achieving
better cost efficiency, M2M communications has quickly become a market-
changing force for a wide variety of real-time monitoring applications,
such as remote e-healthcare, smart homes, utility management,
environmental monitoring and industrial automation. However, the
flourishing of M2M communications still hinges on fully understanding
and managing the existing GRS challenges: Green (i.e., energy
efficiency), Reliability and Security.

The objective of this special issue is to bring together state-
of-the-art contributions on the GRS aspects of M2M communications. It
aims to provide an environment conducive of cross-fertilization between
researchers from different areas spanning wireless sensor networks,
vehicular networks, smart grid and RFID, all relevant, in one way or
another to the advance and realization of M2M communication paradigm.
Original, unpublished contributions are solicited in ALL aspects of M2M
communications.

Possible topics of interest include, but are certainly not limited to
the following:
* GRS in wireless sensor, actuator and robot networks
* GRS in vehicular networks and intelligent transportation systems
* GRS in smart grid
* GRS in RFID technologies
* GRS in interworking for M2M communication
* GRS modeling for M2M communication
* GRS in emerging M2M applications

IMPORTANT DATES
* Paper submission deadline: November 15, 2011
* Notification to authors:   March 1, 2012
* Revisions:                 April 15, 2012
* Data of Publication:       2012

PAPER SUBMISSION
Authors are encouraged to submit high-quality, original work that has
neither appeared in, nor under consideration by, other journals.
Springer offers authors, editors and reviewers of Peer-to-Peer
Networking and Applications a web-enabled online manuscript submission
and review system. Our online system offers authors the ability to track
the review process of their manuscript. This online system offers easy
and straightforward long-in and submission procedures, and supports a
wide range of submission file formats. Manuscripts should be submitted
to: http://PPNA.edmgr.com. Choose "The GRS of M2M Communications" as the
article type.

To avoid delays, authors of submissions that, in the opinion of the
editors, fall out of scope of this issue will be notified promptly.

GUEST EDITORS
Dr. Xu Li, INRIA Lille – Nord Europe, France
Dr. Xiaodong Lin, University of Ontario Institute of Technology, Canada
Dr. Nathalie Mitton, INRIA Lille – Nord Europe, France
Dr. Wenye Wang, North Carolina State University, USA
**********************************************************
*
* Contributions to be spread via DMANET are submitted to
*
* DMANET@zpr.uni-koeln.de
*
* Replies to a message carried on DMANET should NOT be
* addressed to DMANET but to the original sender. The
* original sender, however, is invited to prepare an
* update of the replies received and to communicate it
* via DMANET.
*
* DISCRETE MATHEMATICS AND ALGORITHMS NETWORK (DMANET)
* http://www.zaik.uni-koeln.de/AFS/publications/dmanet/
*
**********************************************************

[DMANET] CFP: IEEE TPDS SI onCyber-Physical Systems -- new submission deadline: Sep. 23, 2011

Call for Papers
for a Special Issue of IEEE Transactions on Parallel and Distributed Systems (TPDS)
on Cyber-Physical Systems (CPS)
Extended Submission Deadline: September 23, 2011

IEEE Transactions on Parallel and Distributed Systems (TPDS) is seeking original
manuscripts for special Issue on Cyber-Physical Systems (CPS), scheduled to be
published in the September issue of 2012. Although significant advances have been
achieved over the last decades in several fields of science and engineering, and especially
in the areas of distributed computing, sensing, data collection and internet-connection of
large scale object networks, it is mainly the coordination and tight link between
computational, virtual and physical resources that will drive the potential of having a
pervasive effect in the citizens everyday life,
satisfying various needs and also creating new
opportunities for the introduction of services that will enhance the Quality of Life of the
society as a whole. Research advances in cyber-physical systems promise to transform
our world with systems that will far exceed those of today in terms of: effectiveness,
adaptability, autonomicity, energy efficiency, precision, reliability, safety, usability,
scalability, stability and user-centric applicability. Moreover, recently the Sensor Web
concept came into foreground, aiming at combining distributed sensing with the ubiquitous
connectivity and accessibility of the web, therefore facilitating the close interaction of digital
world with physical world.

Cyber-physical systems find direct applicability in a wide range of areas and disciplines,
including for instance (but not limited to):
a) Smart Grid technologies:
that aim at facilitating a
reliable and efficient delivery of electricity to consumers using
two-way digital communications and security technologies, which allows utility providers
and consumers to constantly monitor and control the delivery network as well as electricity
consumption for the purpose of energy saving, cost reduction, and reliability enhancement;
b) Wireless sensing, monitoring and networking:
to enable distributed monitoring systems of numerous smart sensors and actuators,
mobile devices, RFIDs, robots etc., which revolutionize a variety of application areas with
unprecedented density, fidelity, and scalability of environment instrumentation;
c) Vehicular cyber-physical systems and intelligent transportation systems:
that integrate computing, communication, and storage capabilities with monitoring and
control of vehicles in the physical world to deal with the grand challenges of safe, green,
and efficient transportation.

The technical challenges are significant, and of high research and practical importance,
mainly stemming from the fact that traditionally different groups of scientists deal with this
setting without much interaction, using disjoint sets of techniques. Towards merging the
two main and different features of those systems, that of information-centric character and
node-centric physical world connectivity, well-defined analytical models, methodologies and
experimental validations are required of how to build such systems capable of coping with
the entire chain of operations and orchestrating the various parts together in a flexible,
efficient and economic way. Topics of interest include, but are not limited to the following:
* Architectural framework for distributed CPS
* Resource Management in large scale CPS
* Smart Grid Technologies
* Security, privacy, scalability, and reliability
issues
* Design and cross-layer optimizations
* Vehicular CPS and intelligent transportation systems
* Novel monitoring applications with sensors, actuators, smart phones, robots, and other wireless mobile devices
* Distributed and scalable monitoring systems
*
Evaluations and filed trials of CPS and solutions

Submitted articles
must not have been previously published or currently submitted for
journal publication elsewhere. As an author, you are responsible for understanding and
adhering to our submission guidelines. You can access them by clicking on the following
web link: http://www.computer.org/mc/tpds/author.htm. Please thoroughly read these
before submitting your manuscript. Please submit your paper to Manuscript Central at
https://mc.manuscriptcentral.com/tpds-cs.

Please note the following important dates:
Manuscript Submission Deadline (extended): September 23, 2011
Notification of Initial Decision: November 18, 2011
Minor Revisions due (if needed): December 15, 2011
Notification of Final Decision: January 26, 2012
Final Manuscripts Due: February 03, 2012
Publication Date: September 2012

Co-guest Editors:
Symeon Papavassiliou, National Technical University of Athens
Nei Kato, Tohoku University
Yunhao Liu, Hong Kong University of Science and Technology
Cheng-Zhong Xu, Wayne State University

Publicity Co-Chairs:
Paolo Bellavista, University of Bologna
Jiming Chen, Zhejiang University
Xu Li, INRIA, France
**********************************************************
*
* 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] CSL'11 Proceedings published open access (LIPIcs,Vol.12)

= Book Announcement =

Title: Proceedings of CSL'11 (Computer Science Logic 2011 - 25th International
Workshop/20th Annual Conference of the EACSL)
Editor: Marc Bezem
Series: LIPIcs (Leibniz International Proceedings in Informatics)
Volume: 12
Publisher: Schloss Dagstuhl - Dagstuhl Publishing
ISBN: 978-3-939897-32-3

== Access ==

Open access (online & free of charge) at

http://www.dagstuhl.de/dagpub/978-3-939897-32-3

You may also check the DBLP page at

http://dblp.uni-trier.de/db/conf/csl/csl2011.html

== About the CSL Conference ==

Computer Science Logic (CSL) is the annual conference of the European
Association for Computer Science Logic (EACSL). The conference series started in
1987 as a programme of International Workshops on Computer Science Logic, and
then in its sixth meeting (in 1992) became the Annual Conference of the EACSL.

== About the Proceedings ==

The annual conference of the European Association for Computer Science Logic
(EACSL), CSL 2011, was held in Bergen, Norway, from 12 to 15 September 2011. CSL
started as a series of international workshops on Computer Science Logic, and
then at its sixth meeting became the Annual Conference of the EACSL. This
conference was the 25th workshop and 20th EACSL conference; it was organized by
the Department of Informatics of the University of Bergen.

The Ackermann Award is the EACSL Outstanding Dissertation Award for Logic in
Computer Science. The recipient of the Ackermann Award for 2011 is Benjamin
Rossman, and the award was officially presented at the conference (14
September). The citation of the award, an abstract of the thesis, and a
biographical sketch of the recipient may be found on page xv of the proceedings.
This is the first year that the CSL proceedings are not published as a Springer
LNCS but in the series LIPIcs. In response to the call for papers, a total of
116 abstracts were registered and 91 of these were followed by full papers
submitted to CSL 2010. The Program Committee (PC) selected 37 papers for
presentation at the conference and publication in these proceedings. Each paper
was assigned to four PC members. In the call for papers, authors were encouraged
to include a well written introduction. One of the four PC members for each
paper had the particular task to assess the accessibility of the introduction to
the computer science logic community at large. Also this year the overall high
quality of the submissions made that many good papers had to be rejected due to
lack of space. In addition to the contributed talks, CSL 2011 had four invited
speakers: Thomas Ehrhard (Université Paris Diderot), Martin Otto (Technische
Universität Darmstadt), Moshe Vardi (Rice University), Frank Wolter (University
of Liverpool). Abstracts of the invited talks are
included in the proceedings.

See also:
* Frontmatter incl. table of contents and preface:
http://dx.doi.org/10.4230/LIPIcs.CSL.2011.i

== About the LIPIcs Series ==

"LIPIcs: Leibniz International Proceedings in Informatics" is a series
of high-quality conference proceedings across all fields in informatics
established in cooperation with "Schloss Dagstuhl--Leibniz Center of
Informatics". LIPIcs volumes are published according to the principle
of OpenAccess, i.e., they are available online and free of charge.

--
Marc Herbstritt
Schloss Dagstuhl - Leibniz Center for Informatics
\\\/ Dagstuhl Publishing | LIPIcs Editorial Office
Email: publishing@dagstuhl.de
http://www.dagstuhl.de/lipics
**********************************************************
*
* 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] ICLP'11 Technical Communications (Proceedings) published open access (LIPIcs, Vol.11)

= Book Announcement =

Title: Technical Communications of ICLP'11 (27th International Conference on
Logic Programming)
Editors: John P. Gallagher and Michael Gelfond
Series: LIPIcs (Leibniz International Proceedings in Informatics)
Volume: 11
Publisher: Schloss Dagstuhl - Dagstuhl Publishing
ISBN: 978-3-939897-31-6

== Access ==

Open access (online & free of charge) at

http://www.dagstuhl.de/dagpub/978-3-939897-31-6

You may also check the DBLP page at

http://dblp.uni-trier.de/db/conf/iclp/iclp2011.html

== About the ICLP Conference ==

Since the first conference held in Marseilles in 1982, ICLP has been the premier
international conference for presenting research in logic programming. The
conference is sponsored by the Association for Logic Programming.

== About the Proceedings ==

Following the initiative in 2010 taken by the Association for Logic Programming
and Cambridge University Press, the full papers accepted for the International
Conference on Logic Programming again appear as a special issue of Theory and
Practice of Logic Programming (TPLP) and shorter papers appear in Leibniz
International Proceedings in Informatics (LIPIcs) series, published on line
through the Dagstuhl Research Online Publication Server (DROPS). Both sets of
papers were presented by their authors at the 27th ICLP. Together, the journal
special issue and the volume of short technical communications constitute the
proceedings of ICLP.

In response to the call for papers we received 67 submissions. Of those, 64 were
full papers submitted to the TPLP special issue track (21 of them applications
or systems papers). The program chairs acting as guest editors organized the
refereeing process with the help of the program committee and numerous external
reviewers.1 Each paper was reviewed by at least three anonymous referees who
provided full written evaluations. After the first round of refereeing 43 full
papers remained. Of these, 23 went through a full second round of refereeing
with written referee reports. Finally, all 43 papers went through a final,
copy-editing round. In the end the special issue contains 19 technical papers, 3
application papers, and 1 systems and tools paper. During the first phase of
reviewing the papers submitted to the technical communications track were also
reviewed by at least three anonymous referees providing full written
evaluations. Also, a number of full paper submissions were moved during the
reviewing process to the technical communications track.

See also:
* Frontmatter incl. table of contents and preface:
http://dx.doi.org/10.4230/LIPIcs.ICLP.2011.i

== About the LIPIcs Series ==

Thursday, September 15, 2011

[DMANET] CiE 2012 Call for Papers

**********************************************************************
FIRST CALL FOR PAPERS:

TURING CENTENARY CONFERENCE
http://www.cie2012.eu

Computability in Europe 2012: How the World Computes
University of Cambridge
Cambridge, 18-23 June 2012

CiE 2012 is one of a series of special events, running throughout the Alan
Turing Year, celebrating Turing's unique impact on mathematics, computing,
computer science, informatics, morphogenesis, artificial intelligence,
philosophy and computational aspects of physics, biology, linguistics,
economics and the wider scientific world.

Its central theme is the computability-theoretic concerns underlying the
broad spectrum of Turing's interests, and the contemporary research areas
founded upon and animated by them. In this sense, CiE 2012, held in
Cambridge in the week running up to the centenary of Turing's birthday,
deals with the essential core of what made Turing's contribution so
influential and long-lasting.

CiE 2012 promises to be an event worthy of the remarkable scientific
career it commemorates.

PLENARY SPEAKERS include:
Andrew Hodges (Oxford, Special Invited Lecture), Ian Stewart (Warwick,
Special Public Lecture), Dorit Aharonov (Jerusalem), Veronica Becher
(Buenos Aires), Lenore Blum (Carnegie Mellon), Rodney Downey (Wellington),
Yuri Gurevich (Microsoft), Juris Hartmanis (Cornell), Richard Jozsa
(Cambridge), Stuart Kauffman (Vermont/ Santa Fe), James Murray
(Washington/ Oxford, Microsoft Research Lecture), Stuart Shieber
(Harvard), Paul Smolensky (Johns Hopkins) and Leslie Valiant (Harvard,
jointly organised lecture with King's College).

SUBMISSION OF PAPERS and informal presentations are now invited for this
historic event.

For submission details, see:
http://www.mathcomp.leeds.ac.uk/turing2012/WScie12/give-page.php?12

The CONFERENCE PROCEEDINGS will be published by LNCS, Springer-Verlag.
There will also be post-conference publications, drawing on contributions
presented at the conference.

IMPORTANT DATES:
Submission Deadline for LNCS: Jan. 20, 2012
Notification of authors: Mar. 16, 2012
Deadline for final revisions: Apr. 6, 2012
Submission Deadline for Informal Presentations: May 11, 2012

SPECIAL SESSIONS include:

* The Universal Turing Machine, and History of the Computer
Chairs: Jack Copeland and John Tucker

* Cryptography, Complexity, and Randomness
Chairs: Rod Downey and Jack Lutz

* The Turing Test and Thinking Machines
Chairs: Mark Bishop and Rineke Verbrugge

* Computational Models After Turing: The Church-Turing Thesis and Beyond
Chairs: Martin Davis and Wilfried Sieg

* Morphogenesis/Emergence as a Computability Theoretic Phenomenon
Chairs: Philip Maini and Peter Sloot

* Open Problems in the Philosophy of Information
Chairs: Pieter Adriaans and Benedikt Loewe

CiE 2012 will be associated/co-located with a number of other Turing
centenary events, including:

* ACE 2012, June 15-16, 2012

* Computability and Complexity in Analysis (CCA 2012), June 24-27, 2012
http://cca-net.de/cca2012/

* Developments in Computational Models (DCM 2012), June 17, 2012
http://www.math.uni-hamburg.de/home/loewe/DCM2012/

* THE INCOMPUTABLE at Kavli Royal Society International Centre
Chicheley Hall, June 12-15, 2012
http://www.mathcomp.leeds.ac.uk/turing2012/inc/

CiE 2012 CONFERENCE TOPICS include, but not exclusively -
* Admissible sets
* Algorithms
* Analog computation
* Artificial intelligence
* Automata theory
* Bioinformatics
* Classical computability and degree structures
* Cognitive science and modelling
* Complexity classes
* Computability theoretic aspects of programs
* Computable analysis and real computation
* Computable structures and models
* Computational and proof complexity
* Computational biology
* Computational creativity
* Computational learning and complexity
* Computational linguistics
* Concurrency and distributed computation
* Constructive mathematics
* Cryptographic complexity
* Decidability of theories
* Derandomization
* DNA computing
* Domain theory and computability
* Dynamical systems and computational models
* Effective descriptive set theory
* Emerging and Non-standard Models of Computation
* Finite model theory
* Formal aspects of program analysis
* Formal methods
* Foundations of computer science
* Games
* Generalized recursion theory
* History of computation
* Hybrid systems
* Higher type computability
* Hypercomputational models
* Infinite time Turing machines
* Kolmogorov complexity
* Lambda and combinatory calculi
* L-systems and membrane computation
* Machine learning
* Mathematical models of emergence
* Molecular computation
* Morphogenesis and developmental biology
* Multi-agent systems
* Natural Computation
* Neural nets and connectionist models
* Philosophy of science and computation
* Physics and computability
* Probabilistic systems
* Process algebras and concurrent systems
* Programming language semantics
* Proof mining and applications
* Proof theory and computability
* Proof complexity
* Quantum computing and complexity
* Randomness
* Reducibilities and relative computation
* Relativistic computation
* Reverse mathematics
* Semantics and logic of computation
* Swarm intelligence and self-organisation
* Type systems and type theory
* Uncertain Reasoning
* Weak systems of arithmetic and applications

We particularly welcome submissions in emergent areas, such as
bioinformatics and natural computation, where they have a basic connection
with computability.

CiE 2012 will have a special relationship to the scientific legacy of Alan
Turing, reflected in the broad theme: How the World Computes, with all its
different layers of meaning. Contributions which are directly related to
the visionary and seminal work of Turing will be particularly welcome.

Contributed papers will be selected from submissions received by the
PROGRAMME COMMITTEE consisting of:

* Samson Abramsky (Oxford) * Pieter Adriaans (Amsterdam)
* Franz Baader (Dresden) * Arnold Beckmann (Swansea)
* Mark Bishop (London) * Paola Bonizzoni (Milan)
* Luca Cardelli (Cambridge) * Douglas Cenzer (Gainesville)
* S Barry Cooper (Leeds, Co-chair) * Ann Copestake (Cambridge)
* Anuj Dawar (Cambridge, Co-chair) * Solomon Feferman (Stanford)
* Bernold Fiedler (Berlin) * Luciano Floridi (Hertfordshire)
* Martin Hyland (Cambridge) * Marcus Hutter (Canberra)
* Viv Kendon (Leeds) * Stephan Kreutzer (Oxford)
* Ming Li (Waterloo) * Benedikt Loewe (Amsterdam)
* Angus MacIntyre (London) * Philip Maini (Oxford)
* Larry Moss (Bloomington) * Amitabha Mukerjee (Kanpur)
* Damian Niwinski (Warsaw) * Dag Normann (Oslo)
* Prakash Panangaden (Montreal) * Jeff Paris (Manchester)
* Brigitte Pientka (Montreal) * Helmut Schwichtenberg (Munich)
* Wilfried Sieg (Carnegie Mellon) * Mariya Soskova (Sofia)
* Bettina Speckmann (Eindhoven) * Christof Teuscher (Portland)
* Peter van Emde Boas (Amsterdam) * Jan van Leeuwen (Utrecht)
* Rineke Verbrugge (Groningen)

The PROGRAMME COMMITTEE cordially invites all researchers (European and
non-European) in computability related areas to submit their papers (in
PDF-format, max 10 pages) for presentation at CiE 2012. We particularly
invite papers that build bridges between different parts of the research
community.

The conference is sponsored by the ASL, EACSL, IFCoLog, King's College
Cambridge, The University of Cambridge and Microsoft Research.

Contact: Anuj Dawar - anuj.dawar at cl.cam.ac.uk

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

[DMANET] GIPSy 2011: Games, Logics and Security, 25-27 Oct 2011, Rennes, France

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

*** CALL FOR PAPER and PARTICIPATION ***

GIPSy 2011

Workshop on Games, Logics and Security (2nd edition)

Rennes, France

25-27 October 2011

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

Security and privacy problems in computer networks and mobile
applications often stem from the interaction between agents of the
network (which can be individuals as well as devices or softwares acting
autonomously). Modeling the interaction between agents is therefore
essential to address security problems appropriately. Game theory and
logic are the most prominent frameworks for the formal treatment of
interaction. They permit not only to model and represent this
interaction between agents, but they also lead to the development of
applicable algorithms and decision procedures. In the past two decades,
a number of logical frameworks and game-theoretic approaches have been
proposed to model and analyze computer networks from the security point
of view, sometimes resorting to non-classical logics (such as epistemic
or intuitionistic logics).

The main goal of this workshop is to gather researchers interested in
games, logic and security (in a broad sense), and to offer a privileged
forum to present their work and exchange ideas on these topics.

The following invited tutorials are scheduled:

Gilles Barthe, IMDEA Software Institute Research, Madrid

Probabilistic Reasoning about Differential Privacy

Anne Broadbent, Institute for Quantum Computing & Department of
Combinatorics and Optimization, University of Waterloo

Quantum Nonlocal Games and Cryptography

Jean-Pierre Hubaux, EPFL Lausanne

Designing Network Security and Privacy Mechanisms: How Game Theory Can Help

Mark Ryan, University of Birmingham
Verifying Real-Life Protocols: Theory and Two Cases

Moshe Vardi, Department of Computer Science, Rice University

The Rise and Fall of LTL

Apart from the invited talks, participants have the opportunity to give
short talks (approximately 20 minutes). Selection will be made on the
basis of an extended abstract of at most 2 pages.

The registration is free but mandatory. Lunches are included in the
registration.

Important dates:

- Submission deadline: 9th October 2011

- Notification to authors: 11th October 2011

- Deadline for registration: 13th October 2011

- Workshop: 25th-27th October 2011

We will be able to cover part of travel and accommodation costs for a
limited number of participants (especially students). For information,
please contact us at gipsy2011@listes.irisa.fr by the 9th of October 2011.

Scientific committee:

- Guillaume Aucher (Université de Rennes 1 - INRIA)

- Nathalie Bertrand (INRIA Rennes)

- Sébastien Gambs (Université de Rennes 1 - INRIA)

- Sophie Pinchinat (Université de Rennes 1)

Local organization:

- Laurence Dinh

- Lydie Mabil

- Bastien Maubert

All important informations can be found at
http://www.irisa.fr/prive/Sophie.Pinchinat/GIPSy/gipsy11.html

[DMANET] 24th British Combinatorial Conference at Royal Holloway, University of London 30 June - Friday 5 July 2013

We are pleased to announce that the 24th British Combinatorial Conference will take place at Royal Holloway, University of London, from Sunday 30 June (arrival date) to Friday 5 July 2013. The website for the conference is http://www.ma.rhul.ac.uk/bcc24 where further information will be posted in due course: the site already includes some information about transport, accommodation etc.

The invited speakers are: Jacob Fox (MIT), Massimo Giulietti (Perugia), Tor Helleseth (Bergen) , Jan van den Heuvel (LSE), Jozef Siran (OU), Einar Steingrimsson (Strathclyde), Kristina Vuskovic (Leeds), Geoff Whittle (Victoria, NZ) and Doron Zeilberger (Rutgers). There will be an opportunity for participants to contribute talks, and details of this will be announced in due course.

The local organisation is being handled by Simon Blackburn (Local Organiser), Stefanie Gerke and Mark Wildon.

A further announcement will be made when registration opens (probably late in 2012). In the meantime, email queries can be sent to bcc24@rhul.ac.uk
**********************************************************
*
* Contributions to be spread via DMANET are submitted to
*
* DMANET@zpr.uni-koeln.de
*
* Replies to a message carried on DMANET should NOT be
* addressed to DMANET but to the original sender. The
* original sender, however, is invited to prepare an
* update of the replies received and to communicate it
* via DMANET.
*
* DISCRETE MATHEMATICS AND ALGORITHMS NETWORK (DMANET)
* http://www.zaik.uni-koeln.de/AFS/publications/dmanet/
*
**********************************************************

Wednesday, September 14, 2011

[DMANET] 'The Incomputable' - Registration opens

__________________________________________________________________________
Registration is now open:

June 12-15, 2012 - Turing Centenary Workshop on
"THE INCOMPUTABLE"
at the Kavli Royal Society International Centre, Chicheley Hall, UK

www.mathcomp.leeds.ac.uk/turing2012/inc/

THE INCOMPUTABLE is a major multidisciplinary workshop of the 6-month
Isaac Newton Institute programme - "Semantics and Syntax: A Legacy of Alan
Turing" (SAS).

It is one of a series of special events, running throughout the Alan
Turing Year, celebrating Turing's unique impact on mathematics, computing,
computer science, informatics, morphogenesis, philosophy and the wider
scientific world. It is held in association with the Turing Centenary
Conference (CiE 2012) in Cambridge the following week, which will run up
to the June 23rd centenary of Turing's birth, and the weekend of
celebrations in Cambridge, Manchester, Bletchley Park, and around the
world.

There will be plenary talks from: Samson Abramsky, Martin Davis, Seth
Lloyd, Philip Maini, Yuri Matiyasevich, Istvan Nemeti/ Hajnal Andreka,
Gerald Sacks, Theodore A Slaman, Robert I Soare, Vlatko Vedral and Anton
Zeilinger.

Invited Special Session speakers include: Klaus Ambos-Spies, Marat M
Arslanov, Mark Bishop, Cristian Calude, Douglas Cenzer, Peter Cholak,
Jennifer Chubb, Bob Coecke, Jose Felix Costa, Vincent Danos, Rodney
Downey, Steven Ericsson-Zenith, Luciano Floridi, Sy Friedman, Sergey
Goncharov, Noam Greenberg, Joel Hamkins, Valentina Harizanov, Denis
Hirschfeldt, Mark Hogarth, Elham Kashefi, Julia Knight, Antonin Kucera,
Andrew Lewis, Giuseppe Longo, Antonio Montalban, Andre Nies, Mehrnoosh
Sadrzadeh, Richard A Shore, Aaron Sloman, Andrea Sorbi, Ivan Soskov,
Alexandra Soskova, Christof Teuscher, John Tucker, Jan van Leeuwen,
Kumaraswamy (Vela) Velupillai, Peter Wegner, Philip Welch, Jiri
Wiedermann.

There will be provision for informal discussions, small research
workshops, and project planning meetings.

THE INCOMPUTABLE, generously supported by the John Templeton Foundation,
promises to be a historic event, bringing the mathematical theory of
incomputability centre-stage once again. Attendance is limited to 120
participants - up to 60 accommodated on-site - so early registration is
advised.

The registration page is at:

http://www.mathcomp.leeds.ac.uk/turing2012/inc/give-page.php?26

Note: Speakers are already registered, and SAS participants have their own
arrangements, and should contact the Isaac Newton Institute directly, if
they have not already done so.

Organisers: S Barry Cooper and Mariya Soskova
__________________________________________________________________________
**********************************************************
*
* 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/
*
**********************************************************

[fm-announcements] NFM 2012 Call For Papers

NFM 2012 FIRST CALL FOR PAPERS

Fourth NASA Formal Methods Symposium

Norfolk, Virginia, USA

April 3 - 5, 2012

http://shemesh.larc.nasa.gov/nfm2012/

nasa-nfm2012@mail.nasa.gov

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

Theme of Conference:

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

The NASA Formal Methods Symposium is a forum for theoreticians and

practitioners from academia, industry, and government, with the goals of

identifying challenges and providing solutions to achieving assurance

in mission- and safety-critical systems. Within NASA, for example, such

systems include autonomous robots, separation assurance algorithms for

aircraft, Next Generation Air Transportation (NextGen), and autonomous

rendezvous and docking for spacecraft. Moreover, emerging paradigms such

as code generation and safety cases are bringing with them new challenges

and opportunities. The focus of the symposium will be on formal

techniques, their theory, current capabilities, and limitations, as

well as their application to aerospace, robotics, and other

safety-critical systems.

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

Topics of Interest:

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

* Formal verification, including theorem proving, model checking,

and static analysis

* Automated test generation and testing techniques for safety-critical systems

* Model-based development

* Techniques and algorithms for scaling formal methods, such as abstraction

and symbolic methods, compositional techniques, as well as parallel and

distributed techniques

* Monitoring and runtime verification

* Code generation from formally verified models

* Significant applications of formal methods to aerospace systems

* Modeling and verification aspects of cyber-physical systems

* Safety cases

* Accident/safety analysis

* Formal approaches to fault tolerance

* Theoretical advances and empirical evaluations of formal methods

* Techniques for safety-critical systems, including hybrid and embedded systems

* Formal methods in systems engineering

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

Submissions:

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

There are two categories of submissions:

* Regular papers describing fully developed work and complete

results (15 pages/30 minute talks)

* Short papers describing tools, experience reports, or descriptions of work

in progress or?preliminary results (6 pages/15 minute talks)

All papers should be in English and describe original work that has not been

published or submitted elsewhere. All submissions will be fully reviewed by

members of the program committee. Papers must use the LNCS style and be put

in PDF format in anticipation that we will publish accepted papers (including

regular papers and short papers) in a formal proceedings. Papers should be

submitted through the following link:

http://www.easychair.org/conferences/?conf=nfm2012

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

Program Chairs:

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

Alwyn Goodloe, NASA Langley Research Center

Suzette Person, NASA Langley Research Center

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

Steering Committee:

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

Ewen Denney, NASA Ames Research Center

Ben Di Vito, NASA Langley Research Center

Dimitra Giannakopoulou, NASA Ames Research Center

Klaus Havelund, NASA/Jet Propulsion Laboratory

Gerard Holzmann, NASA/Jet Propulsion Laboratory

Cesar Munoz, NASA Langley Research Center

Corina Pasareanu, NASA Ames Research Center

James Rash, NASA Goddard

Kristin V. Rozier, NASA Ames Research Center

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

Important Dates:

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

Submission: 11 December 2011

Notification: 21 January 2012

Final Version: 4 February 2012

Conference: 3 - 5 April 2012

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

Location and Cost:

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

The symposium will take place at the Norfolk Waterside Marriott

in Norfolk, Virginia, USA. April 3-5, 2012. There will not be a

registration fee charged to participants. All interested individuals,

including non-US citizens, are welcome to attend, to listen to the talks,

and to participate in discussions; however, all attendees must register.

Theory Announcements

Tuesday, September 20, 2011

[DMANET] 2nd CfP: MMEDIA 2012 || April 29 - May 4, 2012 - Chamonix / Mont Blanc, France

[DMANET] Postdoctoral position

[DMANET] Juniorprofessur Diskrete Optimierung (in German)

CONCUR 2012: Call for workshops

Monday, September 19, 2011

[DMANET] 2nd CfP: CTRQ 2012 || April 29 - May 4, 2012 - Chamonix / Mont Blanc, France

[DMANET] INFOCOMP - Call For Paper

[DMANET] CFP: ADHOC-NOW 2012, Belgrade, Serbia, July 9-11, 2012

SSS 2011 - Call for Participation

Saturday, September 17, 2011

[DMANET] Latin American Theoretical Informatics School (First announcement)

[DMANET] FPSAC 2012 - First Announcement

Friday, September 16, 2011

[DMANET] CfP 2nd Workshop on Bio-inspired Approaches to Advanced Computing and Communications (deadline extension)

[DMANET] CFP: Springer's PPNA Journal SI on Machine-to-Machine Communications

[DMANET] CFP: IEEE TPDS SI onCyber-Physical Systems -- new submission deadline: Sep. 23, 2011

[DMANET] CSL'11 Proceedings published open access (LIPIcs,Vol.12)

[DMANET] ICLP'11 Technical Communications (Proceedings) published open access (LIPIcs, Vol.11)

Thursday, September 15, 2011

[DMANET] CiE 2012 Call for Papers

[DMANET] GIPSy 2011: Games, Logics and Security, 25-27 Oct 2011, Rennes, France

[DMANET] 24th British Combinatorial Conference at Royal Holloway, University of London 30 June - Friday 5 July 2013

Wednesday, September 14, 2011

[DMANET] 'The Incomputable' - Registration opens

[fm-announcements] NFM 2012 Call For Papers

Mailing Lists

Search This Blog

Blog Archive

Tuesday, September 20, 2011

Monday, September 19, 2011

Saturday, September 17, 2011

Friday, September 16, 2011

Thursday, September 15, 2011

Wednesday, September 14, 2011

Mailing Lists

Subscribe To

Search This Blog

Blog Archive