[We apologise for multiple copies.]
==========================================
FIRST CALL FOR PARTICIPATION - CONCUR 2012
==========================================
23th International Conference on Concurrency Theory
3rd to 8th September 2012
Newcastle upon Tyne, United Kingdom
http://conferences.ncl.ac.uk/concur-2012/
CONCUR 2012 is an official event of The Alan Turing Year http://www.mathcomp.leeds.ac.uk/turing2012/
EARLY REGISTRATION until 3rd August 2012 !
==========================================
CO-LOCATED EVENTS
- 21st International Workshop on Power And Timing Modeling, Optimization
and Simulation (PATMOS 2012)
4th to 6th September
- 7th International Symposium on Trustworthy Global Computing (TGC 2012)
7th and 8th September
==========================================
AFFILIATED WORKSHOPS
http://conferences.ncl.ac.uk/concur-2012/workshops.html
- Expressiveness in Concurrency and Structural Operational Semantics (EXPRESS/SOS 2012)
3rd September
- Games for Design, Verification and Synthesis (GASICS 2012)
3rd September
- Hybrid Systems and Biology (HSB 2012)
3rd September
- Trustworthy Cyber-Physical Systems (TCPS)
3rd September
- Young Researchers Workshop on Concurrency Theory (YR-CONCUR 2012)
3rd September
- Foundations of Coordination Languages and Self-Adaptive Systems (FOCLASA 2012)
8th September
- Membrane Computing and Biologically Inspired Process Calculi (MeCBIC 2012)
8th September
- Trends in Concurrency Theory and IFIP WG 1.8 Meeting (TRENDS 2012)
8th September
==========================================
REGISTRATION
Please visit: http://conferences.ncl.ac.uk/concur-2012/registration.html
Early registration deadline: 3rd August 2012
For registration-related queries, including any visa letter requirements, please contact: Joan.Atkinson@ncl.ac.uk
==========================================
CONCUR 2012 INVITED SPEAKERS
Jos Baeten: Turing meets Milner
Gordon Plotkin: Concurrency and the algebraic theory of effects Brian Randell: A Turing trail
Peter Sewell: False concurrency and strange-but-true machines
===================================
STEERING COMMITTEE
Roberto Amadio, France
Jos Baeten, The Netherlands
Eike Best, Germany
Kim Larsen, Denmark
Ugo Montanari, Italy
Scott Smolka, USA
===================================
PROGRAMME CHAIRS
Maciej Koutny, UK
Irek Ulidowski, UK
===================================
PROGRAMME COMMITTEE
Luca Aceto, Iceland
Luca de Alfaro, USA
Eike Best, Germany
Tomás Brázdil, Czech Republic
Franck van Breugel, Canada
Roberto Bruni, Italy
Luis Caires, Portugal
Luca Cardelli, UK
Gabriel Ciobanu, Romania
Pedro R. D'Argenio, Argentina
Philippe Darondeau, France
Rocco De Nicola, Italy
Wan Fokkink, The Netherlands
Paul Gastin, France
Rob van Glabbeek, Australia
Keijo Heljanko, Finland
Jane Hillston, UK
Jetty Klein, The Netherlands
Maciej Koutny, UK
Barbara König, Germany
Cosimo Laneve, Italy
Gavin Lowe, UK
Mohammadreza Mousavi, The Netherlands
Uwe Nestmann, Germany
Catuscia Palamidessi, France
Wojciech Penczek, Poland
Iain Phillips, UK
Shaz Qadeer, USA
Jean-Francois Raskin, Belgium
Philippe Schnoebelen, France
Irek Ulidowski, UK
Björn Victor, Sweden
Shoji Yuen, Japan
===================================
ORGANIZING COMMITTEE
Joan Atkinson
Dee Carr
Roy Crole
Maciej Koutny
Victor Khomenko
Claire Smith
Jason Steggles
Emilio Tuosto
Irek Ulidowski
===================================
Friday, July 6, 2012
[DMANET] Ph. D. positions in Discrete Optimization at TU Darmstadt
A Ph. D. (teaching assistant) position is available in Discrete
Optimization at TU Darmstadt beginning September or October 2012. Please
find the call in German below.
Am Fachbereich Mathematik der TU Darmstadt ist zum 1. September oder 1.
Oktober 2012 eine Stelle als
Wiss. Mitarbeiterin/Mitarbeiter
für die Dauer von 3 Jahren mit der Möglichkeit der Verlängerung
(WissZeitVG, § 77 HHG) zu besetzen.
Die Bewerbungsfrist ist der 26.7.2012.
Aufgabengebiet
- Mathematische Forschung im Gebiet der Diskreten Optimierung,
- Unterstützung bei den Lehrtätigkeiten des Fachbereichs.
Voraussetzungen
Überdurchschnittlicher Diplom- oder Masterabschluss in Mathematik oder
einem verwandten Fach; Interesse an mathematischer Forschung sowie
Freude an Lehrtätigkeit.
Die Stellen sind dem Fachgebiet Diskrete Optimierung, geleitet von Prof.
Marc Pfetsch zugeordnet. Ziel der Anstellung ist, sich im Gebiet der
Diskreten Optimierung wissenschaftlich mit dem Ziel der Promotion zu
qualifizieren. Bei Vorliegen einer überdurchschnittlichen Promotion ist
auch die wissenschaftliche Qualifizierung zur Habilitation möglich.
Die Technische Universität Darmstadt strebt eine Erhöhung des Anteils
der Frauen am Personal an und fordert deshalb besonders Frauen auf, sich
zu bewerben. Bewerberinnen oder Bewerber mit einem Grad der Behinderung
von mindestens 50 oder diesen Gleichgestellte werden bei gleicher
Eignung bevorzugt. Die Vergütung erfolgt nach dem Tarifvertrag für die
Technische Universität Darmstadt (TV - TU Darmstadt).
Teilzeitbeschäftigung ist grundsätzlich möglich.
Bewerbungen sind mit den üblichen Unterlagen unter Angabe der
Kenn-Nummer 256 und der Angabe des Gebiets Diskrete Optimierung an den
Dekan des Fachbereichs Mathematik, Schlossgartenstr. 7, 64289 Darmstadt
zu richten.
Die allgemeine Ausschreibung finden Sie unter
http://www.intern.tu-darmstadt.de/dez_vii/stellen/stellen_details_74624.de.jsp
Informationen über die Arbeitsgruppe finden sich unter:
http://www3.mathematik.tu-darmstadt.de/ags/optimierung/startseite.html
Fachliche Fragen können Sie gerne an Prof. Pfetsch stellen (06151 163394
oder pfetsch@mathematik.tu-darmstadt.de). Für allgemeine Rückfragen
steht Ihnen der Fachbereichskoordinator, Herr Dr. Andreas Mars, Tel.
06151 163589, mars@mathematik.tu-darmstadt.de, gerne zur Verfügung.
**********************************************************
*
* 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/
*
**********************************************************
Optimization at TU Darmstadt beginning September or October 2012. Please
find the call in German below.
Am Fachbereich Mathematik der TU Darmstadt ist zum 1. September oder 1.
Oktober 2012 eine Stelle als
Wiss. Mitarbeiterin/Mitarbeiter
für die Dauer von 3 Jahren mit der Möglichkeit der Verlängerung
(WissZeitVG, § 77 HHG) zu besetzen.
Die Bewerbungsfrist ist der 26.7.2012.
Aufgabengebiet
- Mathematische Forschung im Gebiet der Diskreten Optimierung,
- Unterstützung bei den Lehrtätigkeiten des Fachbereichs.
Voraussetzungen
Überdurchschnittlicher Diplom- oder Masterabschluss in Mathematik oder
einem verwandten Fach; Interesse an mathematischer Forschung sowie
Freude an Lehrtätigkeit.
Die Stellen sind dem Fachgebiet Diskrete Optimierung, geleitet von Prof.
Marc Pfetsch zugeordnet. Ziel der Anstellung ist, sich im Gebiet der
Diskreten Optimierung wissenschaftlich mit dem Ziel der Promotion zu
qualifizieren. Bei Vorliegen einer überdurchschnittlichen Promotion ist
auch die wissenschaftliche Qualifizierung zur Habilitation möglich.
Die Technische Universität Darmstadt strebt eine Erhöhung des Anteils
der Frauen am Personal an und fordert deshalb besonders Frauen auf, sich
zu bewerben. Bewerberinnen oder Bewerber mit einem Grad der Behinderung
von mindestens 50 oder diesen Gleichgestellte werden bei gleicher
Eignung bevorzugt. Die Vergütung erfolgt nach dem Tarifvertrag für die
Technische Universität Darmstadt (TV - TU Darmstadt).
Teilzeitbeschäftigung ist grundsätzlich möglich.
Bewerbungen sind mit den üblichen Unterlagen unter Angabe der
Kenn-Nummer 256 und der Angabe des Gebiets Diskrete Optimierung an den
Dekan des Fachbereichs Mathematik, Schlossgartenstr. 7, 64289 Darmstadt
zu richten.
Die allgemeine Ausschreibung finden Sie unter
http://www.intern.tu-darmstadt.de/dez_vii/stellen/stellen_details_74624.de.jsp
Informationen über die Arbeitsgruppe finden sich unter:
http://www3.mathematik.tu-darmstadt.de/ags/optimierung/startseite.html
Fachliche Fragen können Sie gerne an Prof. Pfetsch stellen (06151 163394
oder pfetsch@mathematik.tu-darmstadt.de). Für allgemeine Rückfragen
steht Ihnen der Fachbereichskoordinator, Herr Dr. Andreas Mars, Tel.
06151 163589, mars@mathematik.tu-darmstadt.de, gerne zur Verfügung.
**********************************************************
*
* Contributions to be spread via DMANET are submitted to
*
* DMANET@zpr.uni-koeln.de
*
* Replies to a message carried on DMANET should NOT be
* addressed to DMANET but to the original sender. The
* original sender, however, is invited to prepare an
* update of the replies received and to communicate it
* via DMANET.
*
* DISCRETE MATHEMATICS AND ALGORITHMS NETWORK (DMANET)
* http://www.zaik.uni-koeln.de/AFS/publications/dmanet/
*
**********************************************************
Thursday, July 5, 2012
[DMANET] PhD positions at the Ecole des Mines de Saint-Etienne (site of Gardanne) / Optimization in Semiconductor Manufacturing
Several PhD positions are available at the Ecole des Mines de Saint-Etienne
(Gardanne, France) on semiconductor manufacturing related problems within
projects in cooperation with STMicroelectronics, one of the worldwide leaders.
Two of the topics are summarized below.
. Consistency of scheduling decisions in semiconductor manufacturing.
The goal is to study and answer the inconsistency problems between local
scheduling decisions taken in work areas and global scheduling decisions
taken at factory level. The proposed approaches will have to be implemented
and validated on industrial data.
. Optimized management of workshops in semiconductor manufacturing to reduce
variability.
Variability in semiconductor manufacturing processes leads to reduced productivity
and yield, i.e. the percentage of good chips on a wafer. The goal is first to
characterize the impact of local management decisions of lots in workshops on the
various types of variability. Approaches to minimize variability will then have
to be developed and validated on various industrial settings.
The PhD students will be located in Gardanne (south of France, between
Aix-en-Provence and Marseille) in the research group "Manufacturing
Sciences and Logistics" of the Center of Microelectronics in Provence
(Ecole des Mines de Saint-Etienne).
The positions are for three years starting October 1, 2012 or later (exact
date to be discussed).
Applicants must have a Master Degree (or equivalent) in Computer Sciences,
Applied Mathematics, Industrial Engineering or any related discipline.
Applicants should demonstrate good programming skills and knowledge in
combinatorial optimization. Experience on the development of solution
methods for scheduling problems would be appreciated.
Please send your application electronically (preferably as a single pdf
file) including a detailed curriculum vitae and examination results,
plus, if available, a list of reference letters and copies of diploma, to:
Professor Stéphane Dauzère-Pérès,dauzere-peres@emse.fr,
Assistant Professor Claude Yugma,yugma@emse.fr.
For further questions regarding the position or details on the research
projects, please contact Stéphane Dauzère-Pérès or Claude Yugma.
--
Stéphane Dauzère-Pérès
Professor
Ecole des Mines de Saint-Etienne
CMP - Site Georges Charpak
880 avenue de Mimet
F-13541 GARDANNE
FRANCE
Tel: +33 (0)4 42 61 66 60
Fax: +33 (0)4 42 61 65 91
E-mail: Dauzere-Peres@emse.fr
URL: http://www.emse.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.
*
* DISCRETE MATHEMATICS AND ALGORITHMS NETWORK (DMANET)
* http://www.zaik.uni-koeln.de/AFS/publications/dmanet/
*
**********************************************************
(Gardanne, France) on semiconductor manufacturing related problems within
projects in cooperation with STMicroelectronics, one of the worldwide leaders.
Two of the topics are summarized below.
. Consistency of scheduling decisions in semiconductor manufacturing.
The goal is to study and answer the inconsistency problems between local
scheduling decisions taken in work areas and global scheduling decisions
taken at factory level. The proposed approaches will have to be implemented
and validated on industrial data.
. Optimized management of workshops in semiconductor manufacturing to reduce
variability.
Variability in semiconductor manufacturing processes leads to reduced productivity
and yield, i.e. the percentage of good chips on a wafer. The goal is first to
characterize the impact of local management decisions of lots in workshops on the
various types of variability. Approaches to minimize variability will then have
to be developed and validated on various industrial settings.
The PhD students will be located in Gardanne (south of France, between
Aix-en-Provence and Marseille) in the research group "Manufacturing
Sciences and Logistics" of the Center of Microelectronics in Provence
(Ecole des Mines de Saint-Etienne).
The positions are for three years starting October 1, 2012 or later (exact
date to be discussed).
Applicants must have a Master Degree (or equivalent) in Computer Sciences,
Applied Mathematics, Industrial Engineering or any related discipline.
Applicants should demonstrate good programming skills and knowledge in
combinatorial optimization. Experience on the development of solution
methods for scheduling problems would be appreciated.
Please send your application electronically (preferably as a single pdf
file) including a detailed curriculum vitae and examination results,
plus, if available, a list of reference letters and copies of diploma, to:
Professor Stéphane Dauzère-Pérès,dauzere-peres@emse.fr,
Assistant Professor Claude Yugma,yugma@emse.fr.
For further questions regarding the position or details on the research
projects, please contact Stéphane Dauzère-Pérès or Claude Yugma.
--
Stéphane Dauzère-Pérès
Professor
Ecole des Mines de Saint-Etienne
CMP - Site Georges Charpak
880 avenue de Mimet
F-13541 GARDANNE
FRANCE
Tel: +33 (0)4 42 61 66 60
Fax: +33 (0)4 42 61 65 91
E-mail: Dauzere-Peres@emse.fr
URL: http://www.emse.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.
*
* DISCRETE MATHEMATICS AND ALGORITHMS NETWORK (DMANET)
* http://www.zaik.uni-koeln.de/AFS/publications/dmanet/
*
**********************************************************
Call for participation, 2012 ACP Summer School in Constraint Programming
From: Krzysztof Apt <k.r.apt@cwi.nl>
To: Leszek Pacholski <pacholsk@cs.uni.wroc.pl>, Witold Charatonik
<wch@cs.uni.wroc.pl>
Date: Thu, 10 May 2012 21:01:03 +0200
Subject: Call for participation, 2012 ACP Summer School in Constraint
Programming
2012 ACP Summer School in Constraint Programming
Call for Participation
The next Summer School in Constraint Programming will take place
24-28 September 2012 in Wroclaw, Poland. The school is sponsored by
the Association for Constraint Programming. The subject of the school
will be the theory and practice of constraint programming.
* Speakers
Andrei Bulatov (Constraints: Counting and Approximation)
Simon Fraser University, Burnaby, Canada
Witold Charatonik (Set constraints)
Wroclaw University, Poland
Agostino Dovier (Constraint programming and biology)
Udine University, Italy
Willem Jan van Hoeve (Operations Research techniques in constraint programming)
Carnegie Mellon University, Pittsburgh, USA
Peter Jeavons (Constraints and complexity)
University of Oxford, UK
Michele Lombardi (Resource allocation and scheduling)
University of Bologna, Italy
* Registration costs:
until July 15th: 300 Euro, after July 15th: 400 Euro.
For more information see http://acpss2012.ii.uni.wroc.pl/
To: Leszek Pacholski <pacholsk@cs.uni.wroc.pl>, Witold Charatonik
<wch@cs.uni.wroc.pl>
Date: Thu, 10 May 2012 21:01:03 +0200
Subject: Call for participation, 2012 ACP Summer School in Constraint
Programming
2012 ACP Summer School in Constraint Programming
Call for Participation
The next Summer School in Constraint Programming will take place
24-28 September 2012 in Wroclaw, Poland. The school is sponsored by
the Association for Constraint Programming. The subject of the school
will be the theory and practice of constraint programming.
* Speakers
Andrei Bulatov (Constraints: Counting and Approximation)
Simon Fraser University, Burnaby, Canada
Witold Charatonik (Set constraints)
Wroclaw University, Poland
Agostino Dovier (Constraint programming and biology)
Udine University, Italy
Willem Jan van Hoeve (Operations Research techniques in constraint programming)
Carnegie Mellon University, Pittsburgh, USA
Peter Jeavons (Constraints and complexity)
University of Oxford, UK
Michele Lombardi (Resource allocation and scheduling)
University of Bologna, Italy
* Registration costs:
until July 15th: 300 Euro, after July 15th: 400 Euro.
For more information see http://acpss2012.ii.uni.wroc.pl/
[DMANET] Two PhD studentships/postdoc positions
Applications are invited for two
PhD studentships/postdoc positions
("TVL-E13" positions, full-time, up to 4 years)
at Goethe University Frankfurt.
The application deadline is Aug 1st, 2012.
The positions are funded by the ERC starting grant "Phase transitions and computational complexity".
Applicants should have an interest in at least one of
- combinatorics/probability theory (particularly the study of random discrete structures)
- discrete algorithms (particularly Markov Chain Monte Carlo)
- computational complexity
- analytic combinatorics
- information theory
- mathematical statistical mechanics
Further details on the ERC project can be found at
http://www.math.uni-frankfurt.de/~acoghlan/Amin_Coja-Oghlan/Research.html
For the official announcement (in German) please refer to
http://www.uni-frankfurt.de/org/ltg/praes/pr_k/service/pa/Stellenmarkt/Oeffentliche_Stellenangebote/Akademische_und_Wissenschaftliche_MitarbeiterInnen/Fachbereiche/FB_12/index.html
Applications should be sent to
Amin Coja-Oghlan
FB 12 / Institut fur Mathematik
Postfach 111932 / Fach 187
60054 Frankfurt
Germany
acoghlan@math.uni-frankfurt.de
**********************************************************
*
* Contributions to be spread via DMANET are submitted to
*
* DMANET@zpr.uni-koeln.de
*
* Replies to a message carried on DMANET should NOT be
* addressed to DMANET but to the original sender. The
* original sender, however, is invited to prepare an
* update of the replies received and to communicate it
* via DMANET.
*
* DISCRETE MATHEMATICS AND ALGORITHMS NETWORK (DMANET)
* http://www.zaik.uni-koeln.de/AFS/publications/dmanet/
*
**********************************************************
PhD studentships/postdoc positions
("TVL-E13" positions, full-time, up to 4 years)
at Goethe University Frankfurt.
The application deadline is Aug 1st, 2012.
The positions are funded by the ERC starting grant "Phase transitions and computational complexity".
Applicants should have an interest in at least one of
- combinatorics/probability theory (particularly the study of random discrete structures)
- discrete algorithms (particularly Markov Chain Monte Carlo)
- computational complexity
- analytic combinatorics
- information theory
- mathematical statistical mechanics
Further details on the ERC project can be found at
http://www.math.uni-frankfurt.de/~acoghlan/Amin_Coja-Oghlan/Research.html
For the official announcement (in German) please refer to
http://www.uni-frankfurt.de/org/ltg/praes/pr_k/service/pa/Stellenmarkt/Oeffentliche_Stellenangebote/Akademische_und_Wissenschaftliche_MitarbeiterInnen/Fachbereiche/FB_12/index.html
Applications should be sent to
Amin Coja-Oghlan
FB 12 / Institut fur Mathematik
Postfach 111932 / Fach 187
60054 Frankfurt
Germany
acoghlan@math.uni-frankfurt.de
**********************************************************
*
* Contributions to be spread via DMANET are submitted to
*
* DMANET@zpr.uni-koeln.de
*
* Replies to a message carried on DMANET should NOT be
* addressed to DMANET but to the original sender. The
* original sender, however, is invited to prepare an
* update of the replies received and to communicate it
* via DMANET.
*
* DISCRETE MATHEMATICS AND ALGORITHMS NETWORK (DMANET)
* http://www.zaik.uni-koeln.de/AFS/publications/dmanet/
*
**********************************************************
Wednesday, July 4, 2012
[DMANET] CFP: IEEE TPDS special issue on Trust, Security and Privacy
Call for Papers for
IEEE Transactions on Parallel and Distributed Systems Special Issue on
"Trust, Security and Privacy in Parallel and Distributed Systems"
In modern computing paradigms, most computing systems, e.g. cluster
computing, grid computing, cloud computing, the Internet, telecommunication
networks, Cyber-Physical Systems (CPS), and Machine-to-Machine
communication networks (M2M), are parallel and distributed systems. While
providing improved expandability, manageability, efficiency and
reliability, parallel and distributed systems increase their security
weaknesses to an unprecedented scale. As the system devices are widely
connected, their vulnerabilities are shared by the entire system. Because
tasks are allocated to, and information is exchanged among the system
devices that may belong to different users, trust, security and privacy
issues have yet to be resolved. The purpose of the proposed Special Issue
of IEEE Transactions on Parallel and Distributed Systems is to publish
recent advances in trust, security and privacy for emerging parallel and
distributed systems, with emphasis on the following aspects, but certainly
not limited to:
(1) Trust: policy semantics, metrics and models; trusted computing
platform; trusted network computing; trusted operating systems; trusted
software and applications; trust in cloud computing/CPS/M2M/social
networks; trust in e-commerce and e-government; trust in mobile and
wireless communications; risk and reputation management; survivable
computer systems/networks; and trust management.
(2) Security related issues: computer security; network security; database
security; Web applications security; security policy, model and
architecture; authentication, authorization and accounting; security in
cloud computing/CPS/M2M/social networks; security in mobile and wireless
communications; security in parallel and distributed systems; and
miscellaneous security issues.
(3) Privacy related issues: privacy in Web-based applications and services;
privacy in database systems; privacy in e-commerce and e-government;
privacy in network deployment and management; privacy in cloud computing/
CPS/M2M/social networks; privacy in mobile and wireless communications;
privacy in parallel and distributed systems; and miscellaneous privacy
issues.
Submission Guidelines
Submitted articles must not have been previously published or currently
under review 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/portal/web/peerreviewjournals/author .
Please thoroughly read these before submitting your manuscript. Please
submit your paper to Manuscript Central at
https://mc.manuscriptcentral.com/tpds-cs .
Deadlines
Manuscript Submission Deadline: September 16, 2012
Notification of Initial Decision: November 18, 2012
Minor Revisions due (if needed): December 15, 2012
Notification of Final Decision: January 26, 2013
Final Manuscripts Due: February 03, 2013
Publication Date: September 2013
Guest Editors
Xu Li, Inria Lille - Nord Europe, France (xu.li@inria.fr)
Patrick McDaniel, Pennsylvania State University, USA (mcdaniel@cse.psu.edu)
Radha Poovendran, University of Washington, USA (RP3@UW.edu)
Guojun Wang, Central South University, China (csgjwang@gmail.com)
**********************************************************
*
* 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/
*
**********************************************************
IEEE Transactions on Parallel and Distributed Systems Special Issue on
"Trust, Security and Privacy in Parallel and Distributed Systems"
In modern computing paradigms, most computing systems, e.g. cluster
computing, grid computing, cloud computing, the Internet, telecommunication
networks, Cyber-Physical Systems (CPS), and Machine-to-Machine
communication networks (M2M), are parallel and distributed systems. While
providing improved expandability, manageability, efficiency and
reliability, parallel and distributed systems increase their security
weaknesses to an unprecedented scale. As the system devices are widely
connected, their vulnerabilities are shared by the entire system. Because
tasks are allocated to, and information is exchanged among the system
devices that may belong to different users, trust, security and privacy
issues have yet to be resolved. The purpose of the proposed Special Issue
of IEEE Transactions on Parallel and Distributed Systems is to publish
recent advances in trust, security and privacy for emerging parallel and
distributed systems, with emphasis on the following aspects, but certainly
not limited to:
(1) Trust: policy semantics, metrics and models; trusted computing
platform; trusted network computing; trusted operating systems; trusted
software and applications; trust in cloud computing/CPS/M2M/social
networks; trust in e-commerce and e-government; trust in mobile and
wireless communications; risk and reputation management; survivable
computer systems/networks; and trust management.
(2) Security related issues: computer security; network security; database
security; Web applications security; security policy, model and
architecture; authentication, authorization and accounting; security in
cloud computing/CPS/M2M/social networks; security in mobile and wireless
communications; security in parallel and distributed systems; and
miscellaneous security issues.
(3) Privacy related issues: privacy in Web-based applications and services;
privacy in database systems; privacy in e-commerce and e-government;
privacy in network deployment and management; privacy in cloud computing/
CPS/M2M/social networks; privacy in mobile and wireless communications;
privacy in parallel and distributed systems; and miscellaneous privacy
issues.
Submission Guidelines
Submitted articles must not have been previously published or currently
under review 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/portal/web/peerreviewjournals/author .
Please thoroughly read these before submitting your manuscript. Please
submit your paper to Manuscript Central at
https://mc.manuscriptcentral.com/tpds-cs .
Deadlines
Manuscript Submission Deadline: September 16, 2012
Notification of Initial Decision: November 18, 2012
Minor Revisions due (if needed): December 15, 2012
Notification of Final Decision: January 26, 2013
Final Manuscripts Due: February 03, 2013
Publication Date: September 2013
Guest Editors
Xu Li, Inria Lille - Nord Europe, France (xu.li@inria.fr)
Patrick McDaniel, Pennsylvania State University, USA (mcdaniel@cse.psu.edu)
Radha Poovendran, University of Washington, USA (RP3@UW.edu)
Guojun Wang, Central South University, China (csgjwang@gmail.com)
**********************************************************
*
* 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: Special Issue of Springer Complex Adaptive Systems Modeling on Agent-based Modeling
Apologies if you receive multiple posts
http://www.casmodeling.com/
Agent-based modeling is a vital technique for studying Complex Adaptive
Systems (CAS) as evidenced by the growing body of literature spanning
disciplines ranging from Biology to the Social Sciences to Computer Science.
This inaugural special issue of Springer Complex Adaptive Systems Modeling
(CASM) will publish key papers documenting multidisciplinary methods and
applications for agent-based modeling of CAS. Agent-based modeling has
become essential for the study of CAS. Many documented techniques and proven
applications have emerged. This inaugural Special Issue will help
consolidate these diverse ideas in a single volume and also help to
introduce CASM to relevant communities. This Special Issue is reserved for
detailed papers documenting successful agent-based modeling methodologies
and application case studies in areas including, but not limited to, the
following:
- Life sciences such as Ecology , Biology, Biochemistry, Cancer, and
Epidemiology
- Social sciences
- Reconfigurable energy
- Economics
- Communication networks and environments including large-scale
wireless sensor networks, peer-to-peer networks, the Internet of Things,
Cloud computing and (use of agent-based modeling for simulating) Multi-agent
systems
- Verification, validation, and accreditation of agent-based models
- Methods for development and analysis of agent-based models
Submission Instructions:
Before submission authors should carefully read over the Instructions for
Authors, which are located at casmodeling.com/authors/instructions.
Prospective authors should submit an electronic copy of their complete
manuscript through the SpringerOpen submission system at
casmodeling.com/manuscript according to the submission schedule. They should
specify the manuscript as a submission to the "Special Issue on
Multidisciplinary Applications and Methods for Agent-based Modeling" in the
cover letter. All submissions will undergo initial screening by the Guest
Editors for fit to the theme of the Special Issue and prospects for
successfully negotiating the review process.
Lead Guest Editor
Michael North, Argonne National Laboratories Email north@anl.gov
Guest Editors
Charles Macal, Argonne National Laboratories Email macal@anl.gov
Ted Carmichael, University of North Carolina Email tedsaid@gmail.com
Muaz A. Niazi, Bahria University, Pakistan Email muaz.niazi@gmail.com
Kind regards,
Muaz Niazi
**********************************************************
*
* 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/
*
**********************************************************
http://www.casmodeling.com/
Agent-based modeling is a vital technique for studying Complex Adaptive
Systems (CAS) as evidenced by the growing body of literature spanning
disciplines ranging from Biology to the Social Sciences to Computer Science.
This inaugural special issue of Springer Complex Adaptive Systems Modeling
(CASM) will publish key papers documenting multidisciplinary methods and
applications for agent-based modeling of CAS. Agent-based modeling has
become essential for the study of CAS. Many documented techniques and proven
applications have emerged. This inaugural Special Issue will help
consolidate these diverse ideas in a single volume and also help to
introduce CASM to relevant communities. This Special Issue is reserved for
detailed papers documenting successful agent-based modeling methodologies
and application case studies in areas including, but not limited to, the
following:
- Life sciences such as Ecology , Biology, Biochemistry, Cancer, and
Epidemiology
- Social sciences
- Reconfigurable energy
- Economics
- Communication networks and environments including large-scale
wireless sensor networks, peer-to-peer networks, the Internet of Things,
Cloud computing and (use of agent-based modeling for simulating) Multi-agent
systems
- Verification, validation, and accreditation of agent-based models
- Methods for development and analysis of agent-based models
Submission Instructions:
Before submission authors should carefully read over the Instructions for
Authors, which are located at casmodeling.com/authors/instructions.
Prospective authors should submit an electronic copy of their complete
manuscript through the SpringerOpen submission system at
casmodeling.com/manuscript according to the submission schedule. They should
specify the manuscript as a submission to the "Special Issue on
Multidisciplinary Applications and Methods for Agent-based Modeling" in the
cover letter. All submissions will undergo initial screening by the Guest
Editors for fit to the theme of the Special Issue and prospects for
successfully negotiating the review process.
Lead Guest Editor
Michael North, Argonne National Laboratories Email north@anl.gov
Guest Editors
Charles Macal, Argonne National Laboratories Email macal@anl.gov
Ted Carmichael, University of North Carolina Email tedsaid@gmail.com
Muaz A. Niazi, Bahria University, Pakistan Email muaz.niazi@gmail.com
Kind regards,
Muaz Niazi
**********************************************************
*
* 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] Third International Conference Network of the Future Conference, Gammarth, Tunis, Tunisia
Third International Conference Network of the Future
Conference Co-chairs: Farouk Kamoun and Guy Pujolle
November 21-23, 2012, Gammarth, Tunis, Tunisia
http://www.network-of-the-future-2012.org/
Conference Topics
Network of the Future conference aims at addressing
advances in research in the areas of Future Internet
technologies and Wireless Networks and provides a forum for
researchers, students and professionals to exchange, discuss,
and share their experiences, ideas and research results about
theoretical and practical aspects in these interesting areas. After
the first successful edition of Network of the Future 2010 in
Brisbane (Australia) and the second edition of the conference
in Paris (France) 2011, the third edition will be held in Tunis
(Tunisia) next November 21- 23, 2012. Topics include, but are
not limited to:
· Future Internet technologies
· New generation Internet, Post IP
· User-centric networking and services
· Content distribution networks
· Self-management networks
· Publish/subscribe network architectures
· Internet of things
· Mesh, Adhoc and sensor networks
· Vehicular ad hoc Networks (VANETs) and Intelligent
Transportation Systems ITS
· Advances in cellular networks, Femtocell Networks
· New approaches in wireless networks
· Broadband Access Technologies
· Cloud computing & Network virtualization
· Security, trust and privacy
· Smart Cities
· Green computing
· Social Networks and Communications
· Machine-to-machine networking
Supporting IEEE Communications Society Technical Committees:
o TC on Information Infrastructure and Networking (TCIIN)
o TC on Communications Software (TCCS)
o Internet TC (ITC)
Instructions for paper submission
Submissions should be original and limited to 5 double-column
pages, and should follow IEEE paper templates. Paper with
more pages can be accepted however they need to be reduced
to 5 pages for publication. Papers are to be submitted
electronically on The EDAS web site by the deadline indicated
below. Papers submitted after this deadline will be discarded
without review. Accepted papers will be published on-line by
IEEE Xplore http://ieeexplore.ieee.org
Awards
An award will be presented to the Best Paper , and revised
versions of selected papers will be published in Annals of
Telecommunications Journal (Springer) .
Venue
The conference will take place in Gammarth, in the north of
Tunis, Tunisia.
Important dates
EDAS title and abstract registration: July 17th, 2012
Final submission deadline: July 22th, 2012
Notification to authors: September 23th, 2012
**********************************************************
*
* 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/
*
**********************************************************
Conference Co-chairs: Farouk Kamoun and Guy Pujolle
November 21-23, 2012, Gammarth, Tunis, Tunisia
http://www.network-of-the-future-2012.org/
Conference Topics
Network of the Future conference aims at addressing
advances in research in the areas of Future Internet
technologies and Wireless Networks and provides a forum for
researchers, students and professionals to exchange, discuss,
and share their experiences, ideas and research results about
theoretical and practical aspects in these interesting areas. After
the first successful edition of Network of the Future 2010 in
Brisbane (Australia) and the second edition of the conference
in Paris (France) 2011, the third edition will be held in Tunis
(Tunisia) next November 21- 23, 2012. Topics include, but are
not limited to:
· Future Internet technologies
· New generation Internet, Post IP
· User-centric networking and services
· Content distribution networks
· Self-management networks
· Publish/subscribe network architectures
· Internet of things
· Mesh, Adhoc and sensor networks
· Vehicular ad hoc Networks (VANETs) and Intelligent
Transportation Systems ITS
· Advances in cellular networks, Femtocell Networks
· New approaches in wireless networks
· Broadband Access Technologies
· Cloud computing & Network virtualization
· Security, trust and privacy
· Smart Cities
· Green computing
· Social Networks and Communications
· Machine-to-machine networking
Supporting IEEE Communications Society Technical Committees:
o TC on Information Infrastructure and Networking (TCIIN)
o TC on Communications Software (TCCS)
o Internet TC (ITC)
Instructions for paper submission
Submissions should be original and limited to 5 double-column
pages, and should follow IEEE paper templates. Paper with
more pages can be accepted however they need to be reduced
to 5 pages for publication. Papers are to be submitted
electronically on The EDAS web site by the deadline indicated
below. Papers submitted after this deadline will be discarded
without review. Accepted papers will be published on-line by
IEEE Xplore http://ieeexplore.ieee.org
Awards
An award will be presented to the Best Paper , and revised
versions of selected papers will be published in Annals of
Telecommunications Journal (Springer) .
Venue
The conference will take place in Gammarth, in the north of
Tunis, Tunisia.
Important dates
EDAS title and abstract registration: July 17th, 2012
Final submission deadline: July 22th, 2012
Notification to authors: September 23th, 2012
**********************************************************
*
* Contributions to be spread via DMANET are submitted to
*
* DMANET@zpr.uni-koeln.de
*
* Replies to a message carried on DMANET should NOT be
* addressed to DMANET but to the original sender. The
* original sender, however, is invited to prepare an
* update of the replies received and to communicate it
* via DMANET.
*
* DISCRETE MATHEMATICS AND ALGORITHMS NETWORK (DMANET)
* http://www.zaik.uni-koeln.de/AFS/publications/dmanet/
*
**********************************************************
PhD fellowships in cryptography at the University of Warsaw
Faculty of Mathematics, Informatics and Mechanics of the University of
Warsaw is looking for a PhD-student to work on the project "Cryptographic
Protocols Provably-Secure Against Physical Attacks". The project is
founded by the Foundation for Polish Science "Welcome" programme
operated within the Innovative Economy Operational Programme
2007-2013.
The ideal candidates should be familiar with the probability theory,
computational complexity, algebra, and number theory. The knowledge
of cryptography and information theory is a plus, but is not a
prerequisite. Fluency in English is a must.
starting date: as soon as possible
currently the funding is guaranteed until 31.05.2015 (extensions will
be possible depending on the funding availability)
application deadline 15.07.2012
formal requirement: while participating in the project the student
should be enrolled to the PhD-level studies at some Polish university.
More information: http://crypto.mimuw.edu.pl/Welcome
--
Stefan Dziembowski
www.dziembowski.net
Warsaw is looking for a PhD-student to work on the project "Cryptographic
Protocols Provably-Secure Against Physical Attacks". The project is
founded by the Foundation for Polish Science "Welcome" programme
operated within the Innovative Economy Operational Programme
2007-2013.
The ideal candidates should be familiar with the probability theory,
computational complexity, algebra, and number theory. The knowledge
of cryptography and information theory is a plus, but is not a
prerequisite. Fluency in English is a must.
starting date: as soon as possible
currently the funding is guaranteed until 31.05.2015 (extensions will
be possible depending on the funding availability)
application deadline 15.07.2012
formal requirement: while participating in the project the student
should be enrolled to the PhD-level studies at some Polish university.
More information: http://crypto.mimuw.edu.pl/Welcome
--
Stefan Dziembowski
www.dziembowski.net
Post-doc fellowships in cryptography at the University of Warsaw
Faculty of Mathematics, Informatics and Mechanics of the University of
Warsaw is looking for a post-doc to work on the project "Cryptographic
Protocols Provably-Secure Against Physical Attacks". The project is
founded by the Foundation for Polish Science "Welcome" programme
operated within the Innovative Economy Operational Programme
2007-2013. The candidate must have a PhD degree, ideally in
cryptography, or in a related field.
starting date: as soon as possible
duration: 2.5 years (negotiable)
application deadline: 31.07.2012
More Information: http://crypto.mimuw.edu.pl/Welcome
--
Stefan Dziembowski
www.dziembowski.net
Warsaw is looking for a post-doc to work on the project "Cryptographic
Protocols Provably-Secure Against Physical Attacks". The project is
founded by the Foundation for Polish Science "Welcome" programme
operated within the Innovative Economy Operational Programme
2007-2013. The candidate must have a PhD degree, ideally in
cryptography, or in a related field.
starting date: as soon as possible
duration: 2.5 years (negotiable)
application deadline: 31.07.2012
More Information: http://crypto.mimuw.edu.pl/Welcome
--
Stefan Dziembowski
www.dziembowski.net
[DMANET] Workshop on Applications of Parameterized Algorithms and Complexity (APAC 2012)
Workshop on Applications of Parameterized Algorithms and Complexity (APAC 2012)
University of Warwick, Coventry, UK, July 8, 2012
Satellite Workshop of ICALP 2012
Organized by Gregory Z. Gutin
The aim of this workshop is to promote the study of real-life
motivated problems which includes appropriate choices of parameters,
design and analysis of FPT
algorithms, and development of kernelization techniques. We believe
that the workshop will be of interest to a wide audience including the
ICALP community and
become the first in a series of APAC workshops.
For more information including the program, see http://www.cs.rhul.ac.uk/apac/
--
Gregory Z. Gutin
Department of Computer Science
Royal Holloway, University of London
Egham, Surrey, TW20 0EX, UK
tel: +44-1784414229; fax: +44-1784439786
web: www.cs.rhul.ac.uk/home/gutin
**********************************************************
*
* 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/
*
**********************************************************
University of Warwick, Coventry, UK, July 8, 2012
Satellite Workshop of ICALP 2012
Organized by Gregory Z. Gutin
The aim of this workshop is to promote the study of real-life
motivated problems which includes appropriate choices of parameters,
design and analysis of FPT
algorithms, and development of kernelization techniques. We believe
that the workshop will be of interest to a wide audience including the
ICALP community and
become the first in a series of APAC workshops.
For more information including the program, see http://www.cs.rhul.ac.uk/apac/
--
Gregory Z. Gutin
Department of Computer Science
Royal Holloway, University of London
Egham, Surrey, TW20 0EX, UK
tel: +44-1784414229; fax: +44-1784439786
web: www.cs.rhul.ac.uk/home/gutin
**********************************************************
*
* 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] EuroGP 2013: Second CfP
(apologies for cross-posting)
*****************************************************************************
EuroGP 2013, 16th European Conference on Genetic Programming
3-5 April 2013, Vienna, Austria
www.evostar.org
SECOND CALL FOR PAPERS
*****************************************************************************
SUBMISSION DEADLINE: 1 November 2012
EuroGP is the premier annual conference on Genetic Programming,
attracting participants from all over the world. High quality papers
describing new original research are sought on topics strongly related
to the evolution of computer programs, ranging from theoretical work to
innovative applications. Topics include but are not limited to:
* Theoretical developments
* Empirical studies of GP performance and behavior
* Algorithms, representations and operators
* Applications of GP to real-world problems
* Tree-based, Linear, Graph-based, Grammar-based GP
* Evolutionary design
* Evolutionary robotics
* Evolvable hardware
* Self-reproducing programs
* Fast/Parallel GP
* Probabilistic GP
* Evolution of various classes of automata or machine
* GP for evolving meta- and hyper-heuristic algorithms
* Software Engineering and GP
* Unconventional evolvable computation
In 2012, EuroGP acceptance rate was 50% (39% for oral presentations).
Accepted papers will be included in the proceedings published by
Springer Verlag in the Lecture Notes in Computer Science (LNCS) series.
The papers which receive the best reviews will be nominated for the Best
Paper Award. Authors of selected papers may be invited to submit
extended versions of their work to the Springer journal Genetic
Programming and Evolvable Machines (GPEM).
EuroGP 2013 will be co-located within the EvoStar event with four
related conferences: EvoBIO, EvoCOP, EvoMUSART, and EvoApplications.
Visit http://www.evostar.org/cfpEuroGP.html or join the EVOstar group on
LinkedIn for more details and updates.
EuroGP programme chairs
Krzysztof Krawiec, Poznan University of Technology, Poland
Alberto Moraglio, University of Birmingham, 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/
*
**********************************************************
*****************************************************************************
EuroGP 2013, 16th European Conference on Genetic Programming
3-5 April 2013, Vienna, Austria
www.evostar.org
SECOND CALL FOR PAPERS
*****************************************************************************
SUBMISSION DEADLINE: 1 November 2012
EuroGP is the premier annual conference on Genetic Programming,
attracting participants from all over the world. High quality papers
describing new original research are sought on topics strongly related
to the evolution of computer programs, ranging from theoretical work to
innovative applications. Topics include but are not limited to:
* Theoretical developments
* Empirical studies of GP performance and behavior
* Algorithms, representations and operators
* Applications of GP to real-world problems
* Tree-based, Linear, Graph-based, Grammar-based GP
* Evolutionary design
* Evolutionary robotics
* Evolvable hardware
* Self-reproducing programs
* Fast/Parallel GP
* Probabilistic GP
* Evolution of various classes of automata or machine
* GP for evolving meta- and hyper-heuristic algorithms
* Software Engineering and GP
* Unconventional evolvable computation
In 2012, EuroGP acceptance rate was 50% (39% for oral presentations).
Accepted papers will be included in the proceedings published by
Springer Verlag in the Lecture Notes in Computer Science (LNCS) series.
The papers which receive the best reviews will be nominated for the Best
Paper Award. Authors of selected papers may be invited to submit
extended versions of their work to the Springer journal Genetic
Programming and Evolvable Machines (GPEM).
EuroGP 2013 will be co-located within the EvoStar event with four
related conferences: EvoBIO, EvoCOP, EvoMUSART, and EvoApplications.
Visit http://www.evostar.org/cfpEuroGP.html or join the EVOstar group on
LinkedIn for more details and updates.
EuroGP programme chairs
Krzysztof Krawiec, Poznan University of Technology, Poland
Alberto Moraglio, University of Birmingham, 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] Deadline Extended - 5th FPS (FOUNDATIONS & PRACTICE OF SECURITY) symposium, Springer LNCS, Montréal, Canada
[Apologies if you receive multiple copies of this message]
*******************************************************************
FPS 2012, CALL FOR PAPERS
5th International Symposium on
FOUNDATIONS & PRACTICE OF SECURITY,
(proceedings by Springer Verlag LNCS series)
http://conferences.telecom-bretagne.eu/fps2012/
Montreal, QC, Canada, October 25-26, 2012
*******************************************************************
*******************************************************************
*** DEADLINE EXTENDED: July 20, 2012 (11:59PM Samoa time, FIRM) ***
*******************************************************************
Scope: Protecting the communication and data infrastructure of an
increasingly inter-connected world has become vital to the normal
functioning of all aspects of our world. Security has emerged as an
important scientific discipline whose many multifaceted complexities
deserve the attention and synergy of the mathematical, computer
science and engineering communities.
After the previous meetings held in Montreal, Grenoble, Toronto and
Paris, this fifth edition of the FPS symposium will be held at ETS
(Ecole de Technologie Superieure), in Montreal (QC, Canada), the 25th
and 26th of October of 2012.
The aim of this event is to discuss and exchange theoretical and
practical ideas that address security issues in inter-connected
systems. It aims to provide scientific presentations as well as to
establish links, promote scientific collaboration, joint research
programs, and student exchanges between institutions involved in this
important and fast moving research field.
Topics: we invite papers from researchers and practitioners working in
security, privacy, trustworthy data systems and related areas to
submit their original papers. The main topics, but not limited to,
include:
* Cryptography & Cryptanalysis
* Security in Service Oriented Architectures
* Security in Web Services
* Security Administration
* Policy-based Security Architectures
* Security of Distributed Embedded Middleware
* Access Control Languages
* Trust Management
* Game Theory
* Risk Assessment and Assurance
* Threat Analysis
* Distributed Security Protocols
* Security of Grid Computing
* Malware & Botnet Detection
* Protocol Verification
* Privacy & Sensitive Data Management
* Data Mining
* Security of Cloud Computing
* Watermarking
* Side Channel Attacks
* Monitoring and Auditing
* Privacy in Social Networks
* Information Theoretic Security
* Information Flow
* Security in Ambient Intelligence (AmI) Applications
* Security in Sensor Networks and RFIDs
Submission Guidelines: Full papers should be at most 16 pages (using
11-point font), excluding the bibliography and well-marked appendices.
Position papers, as well as extended abstract and contributed talks,
should be up to 8 pages (using 11-point font). Committee members are
not required to read the appendices, so the paper should be
intelligible without them.
All submissions must be written in English. Authors must submit their
papers by the deadline indicated below, using the EasyChair web site
(using the link http://www.easychair.org/conferences/?conf=fps2012)
and following the requirements stated there. All papers will be
refereed. The submitted contribution should be formatted according to
Springer's LNCS style. Submissions by PhD students as well as surveys
and controversial ideas are encouraged. Case studies (successful or
not) are also encouraged.
Publication: Proceedings published by Springer in the Lecture Notes in
Computer Science (LNCS) series. At least one author of each accepted
paper must register to the symposium, by the early date indicated by
the organizers, and present the paper.
Symposium Website: http://conferences.telecom-bretagne.eu/fps2012/
Submission Website: http://www.easychair.org/conferences/?conf=fps2012
Important Dates:
* Intention of Submission: ASAP. Send a mail to fps2012@easychair.org
* Intention of Attendance: ASAP. Send a mail to fps2012@easychair.org
* Full Paper Submission: July 20, 2012 (11:59PM Samoa time, FIRM)
* Position Paper Submission: July 20, 2012 (11:59PM Samoa time, FIRM)
* Paper Acceptance Notification: August 20, 2012
* Camera Ready Version: September 10, 2012
Visit http://conferences.telecom-bretagne.eu/fps2012/ for further
information.
**********************************************************
*
* 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/
*
**********************************************************
*******************************************************************
FPS 2012, CALL FOR PAPERS
5th International Symposium on
FOUNDATIONS & PRACTICE OF SECURITY,
(proceedings by Springer Verlag LNCS series)
http://conferences.telecom-bretagne.eu/fps2012/
Montreal, QC, Canada, October 25-26, 2012
*******************************************************************
*******************************************************************
*** DEADLINE EXTENDED: July 20, 2012 (11:59PM Samoa time, FIRM) ***
*******************************************************************
Scope: Protecting the communication and data infrastructure of an
increasingly inter-connected world has become vital to the normal
functioning of all aspects of our world. Security has emerged as an
important scientific discipline whose many multifaceted complexities
deserve the attention and synergy of the mathematical, computer
science and engineering communities.
After the previous meetings held in Montreal, Grenoble, Toronto and
Paris, this fifth edition of the FPS symposium will be held at ETS
(Ecole de Technologie Superieure), in Montreal (QC, Canada), the 25th
and 26th of October of 2012.
The aim of this event is to discuss and exchange theoretical and
practical ideas that address security issues in inter-connected
systems. It aims to provide scientific presentations as well as to
establish links, promote scientific collaboration, joint research
programs, and student exchanges between institutions involved in this
important and fast moving research field.
Topics: we invite papers from researchers and practitioners working in
security, privacy, trustworthy data systems and related areas to
submit their original papers. The main topics, but not limited to,
include:
* Cryptography & Cryptanalysis
* Security in Service Oriented Architectures
* Security in Web Services
* Security Administration
* Policy-based Security Architectures
* Security of Distributed Embedded Middleware
* Access Control Languages
* Trust Management
* Game Theory
* Risk Assessment and Assurance
* Threat Analysis
* Distributed Security Protocols
* Security of Grid Computing
* Malware & Botnet Detection
* Protocol Verification
* Privacy & Sensitive Data Management
* Data Mining
* Security of Cloud Computing
* Watermarking
* Side Channel Attacks
* Monitoring and Auditing
* Privacy in Social Networks
* Information Theoretic Security
* Information Flow
* Security in Ambient Intelligence (AmI) Applications
* Security in Sensor Networks and RFIDs
Submission Guidelines: Full papers should be at most 16 pages (using
11-point font), excluding the bibliography and well-marked appendices.
Position papers, as well as extended abstract and contributed talks,
should be up to 8 pages (using 11-point font). Committee members are
not required to read the appendices, so the paper should be
intelligible without them.
All submissions must be written in English. Authors must submit their
papers by the deadline indicated below, using the EasyChair web site
(using the link http://www.easychair.org/conferences/?conf=fps2012)
and following the requirements stated there. All papers will be
refereed. The submitted contribution should be formatted according to
Springer's LNCS style. Submissions by PhD students as well as surveys
and controversial ideas are encouraged. Case studies (successful or
not) are also encouraged.
Publication: Proceedings published by Springer in the Lecture Notes in
Computer Science (LNCS) series. At least one author of each accepted
paper must register to the symposium, by the early date indicated by
the organizers, and present the paper.
Symposium Website: http://conferences.telecom-bretagne.eu/fps2012/
Submission Website: http://www.easychair.org/conferences/?conf=fps2012
Important Dates:
* Intention of Submission: ASAP. Send a mail to fps2012@easychair.org
* Intention of Attendance: ASAP. Send a mail to fps2012@easychair.org
* Full Paper Submission: July 20, 2012 (11:59PM Samoa time, FIRM)
* Position Paper Submission: July 20, 2012 (11:59PM Samoa time, FIRM)
* Paper Acceptance Notification: August 20, 2012
* Camera Ready Version: September 10, 2012
Visit http://conferences.telecom-bretagne.eu/fps2012/ for further
information.
**********************************************************
*
* 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/
*
**********************************************************
FSTTCS 2012 CFP
Call for Papers
---------------
32nd IARCS Annual Conference on
Foundations of Software Technology and Theoretical Computer Science
December 15 to 17, 2012
Hyderabad, India.
Scope
-----
Authors are invited to submit papers presenting original and
unpublished research in any area of Theoretical Computer Science or
Foundational aspects of Software Technology.
Representative areas include, but are not limited to:
* Algorithms and data structures, including randomized and
approximation algorithms, distributed algorithms, geometry,
online and streaming algorithms, fixed-parameter algorithms, graph
algorithms, algorithmic game theory
* Automata and formal languages
* Combinatorial optimization
* Computational complexity, including circuits, communication,
derandomization, PCPs, inapproximability, proof complexity,
structural complexity
* Concurrent, timed and hybrid systems
* Cryptography and security
* Logic in computer science, including finite model theory, modal
and temporal logics, specification, verification, and synthesis
* Programming languages, including semantics, types, program
analysis and correctness
Invited Speakers
----------------
Dimitris Achlioptas (UC Santa Cruz)
Mikolaj Bojanczyk (Institute of Informatics, Warsaw University)
Patrice Godefroid (Microsoft Research, Redmond)
Jiri Matousek (Charles University, Prague)
Madhusudan Parthasarathy (Univ. of Illinois at Urbana-Champaign)
Yuval Rabani (Hebrew University of Jerusalem)
Submissions
-----------
Submissions will be in electronic form via the EasyChair site
(www.easychair.org/conferences/?conf=fsttcs2012). Submissions are
restricted to 12 pages using the LIPIcs LaTeX style file (see
drops.dagstuhl.de/styles/lipics/lipics-authors.tgz). Proofs omitted due
to space constraints must be put into an appendix to be read by the
program committee members/reviewers at their discretion. Authors should
upload pdf files generated using the style file.
Concurrent submissions are not allowed until accept/reject
notification (or submission of the final version, if the submission is
accepted at FSTTCS).
Important Dates
---------------
Submission deadline: July 13, 2012 (Anywhere-on-Earth Time).
Notification to authors: September 12, 2012.
Final version due: October 10, 2012.
Conference: December 15-17, 2012.
Proceedings
-----------
Accepted papers will be published as the proceedings of the Conference in
the Leibniz International Proceedings in Informatics (LIPIcs) (see
www.dagstuhl.de/en/publications/lipics) as a free, open, electronic
archive with access to all. Authors will retain full rights over their
work. The accepted papers will be licensed under the Creative Commons
Attribution-Noncommercial-No Derivative Works 2.5 License (see
creativecommons.org/licenses/by-nc-nd/2.5/in).
For an accepted paper to be included in the proceedings, one of the
authors must commit to presenting the paper at the conference.
Program Committee
-----------------
Nikhil Bansal (TU Eindhoven)
Surender Baswana (IIT Kanpur)
Sourav Chakraborty (CMI, Chennai)
Thomas Colcombet (LIAFA, Paris)
Amit Deshpande (Microsoft Research, Bangalore)
Volker Diekert (University of Stuttgart)
Deepak D'Souza (IISc, Bangalore) Co-Chair
Chien-Chung Huang (Humboldt-University, Berlin)
Rahul Jain (NUS, Singapore)
Kishore Kothapalli (IIIT, Hyderabad)
Stefan Kratsch (University of Utrecht)
Steve Kremer (INRIA Nancy and LORIA
Marta Kwiatkowska (University of Oxford)
Christof Loeding (RWTH, Aachen)
Rupak Majumdar (MPI-SWS, Kaiserslautern)
Oded Maler (VERIMAG, Grenoble)
Nicolas Markey (LSV, Cachan)
Aranyak Mehta (Google Research)
Madhavan Mukund (CMI, Chennai)
Anca Muscholl (LABRI, Bordeaux)
Sanjiva Prasad (IIT Delhi)
Jaikumar Radhakrishnan (TIFR, Mumbai) Co-Chair
Harald Raecke (TU Munich)
G. Ramalingam (Microsoft Research, Bangalore)
Saurabh Ray (MPI, Saarbruecken)
Rahul Santhanam (University of Edinburgh)
Shubhangi Saraf (IAS Princeton)
Anil Seth (IIT Kanpur)
Nikhil Srivastava (Princeton/CCI)
Kavitha Telikepalli (TIFR, Mumbai) Co-Chair
Wolfgang Thomas (RWTH, Aachen)
Mahesh Viswanathan (Univ. of Illinois, Urbana-Champaign)
Organising Committee
--------------------
R K Bagga (IIIT Hyderabad) Chair
Bruhadeshwar Bezawada (IIIT Hyderabad)
Ashok Kumar Das (IIIT Hyderabad)
Kishore Kothapalli (IIIT Hyderabad)
P J Narayanan (IIIT Hyderabad)
Suresh Purini (IIIT Hyderabad)
For further details see the conference website at www.fsttcs.org.
--
This message has been scanned for viruses and
dangerous content by MailScanner, and is
believed to be clean.
---------------
32nd IARCS Annual Conference on
Foundations of Software Technology and Theoretical Computer Science
December 15 to 17, 2012
Hyderabad, India.
Scope
-----
Authors are invited to submit papers presenting original and
unpublished research in any area of Theoretical Computer Science or
Foundational aspects of Software Technology.
Representative areas include, but are not limited to:
* Algorithms and data structures, including randomized and
approximation algorithms, distributed algorithms, geometry,
online and streaming algorithms, fixed-parameter algorithms, graph
algorithms, algorithmic game theory
* Automata and formal languages
* Combinatorial optimization
* Computational complexity, including circuits, communication,
derandomization, PCPs, inapproximability, proof complexity,
structural complexity
* Concurrent, timed and hybrid systems
* Cryptography and security
* Logic in computer science, including finite model theory, modal
and temporal logics, specification, verification, and synthesis
* Programming languages, including semantics, types, program
analysis and correctness
Invited Speakers
----------------
Dimitris Achlioptas (UC Santa Cruz)
Mikolaj Bojanczyk (Institute of Informatics, Warsaw University)
Patrice Godefroid (Microsoft Research, Redmond)
Jiri Matousek (Charles University, Prague)
Madhusudan Parthasarathy (Univ. of Illinois at Urbana-Champaign)
Yuval Rabani (Hebrew University of Jerusalem)
Submissions
-----------
Submissions will be in electronic form via the EasyChair site
(www.easychair.org/conferences/?conf=fsttcs2012). Submissions are
restricted to 12 pages using the LIPIcs LaTeX style file (see
drops.dagstuhl.de/styles/lipics/lipics-authors.tgz). Proofs omitted due
to space constraints must be put into an appendix to be read by the
program committee members/reviewers at their discretion. Authors should
upload pdf files generated using the style file.
Concurrent submissions are not allowed until accept/reject
notification (or submission of the final version, if the submission is
accepted at FSTTCS).
Important Dates
---------------
Submission deadline: July 13, 2012 (Anywhere-on-Earth Time).
Notification to authors: September 12, 2012.
Final version due: October 10, 2012.
Conference: December 15-17, 2012.
Proceedings
-----------
Accepted papers will be published as the proceedings of the Conference in
the Leibniz International Proceedings in Informatics (LIPIcs) (see
www.dagstuhl.de/en/publications/lipics) as a free, open, electronic
archive with access to all. Authors will retain full rights over their
work. The accepted papers will be licensed under the Creative Commons
Attribution-Noncommercial-No Derivative Works 2.5 License (see
creativecommons.org/licenses/by-nc-nd/2.5/in).
For an accepted paper to be included in the proceedings, one of the
authors must commit to presenting the paper at the conference.
Program Committee
-----------------
Nikhil Bansal (TU Eindhoven)
Surender Baswana (IIT Kanpur)
Sourav Chakraborty (CMI, Chennai)
Thomas Colcombet (LIAFA, Paris)
Amit Deshpande (Microsoft Research, Bangalore)
Volker Diekert (University of Stuttgart)
Deepak D'Souza (IISc, Bangalore) Co-Chair
Chien-Chung Huang (Humboldt-University, Berlin)
Rahul Jain (NUS, Singapore)
Kishore Kothapalli (IIIT, Hyderabad)
Stefan Kratsch (University of Utrecht)
Steve Kremer (INRIA Nancy and LORIA
Marta Kwiatkowska (University of Oxford)
Christof Loeding (RWTH, Aachen)
Rupak Majumdar (MPI-SWS, Kaiserslautern)
Oded Maler (VERIMAG, Grenoble)
Nicolas Markey (LSV, Cachan)
Aranyak Mehta (Google Research)
Madhavan Mukund (CMI, Chennai)
Anca Muscholl (LABRI, Bordeaux)
Sanjiva Prasad (IIT Delhi)
Jaikumar Radhakrishnan (TIFR, Mumbai) Co-Chair
Harald Raecke (TU Munich)
G. Ramalingam (Microsoft Research, Bangalore)
Saurabh Ray (MPI, Saarbruecken)
Rahul Santhanam (University of Edinburgh)
Shubhangi Saraf (IAS Princeton)
Anil Seth (IIT Kanpur)
Nikhil Srivastava (Princeton/CCI)
Kavitha Telikepalli (TIFR, Mumbai) Co-Chair
Wolfgang Thomas (RWTH, Aachen)
Mahesh Viswanathan (Univ. of Illinois, Urbana-Champaign)
Organising Committee
--------------------
R K Bagga (IIIT Hyderabad) Chair
Bruhadeshwar Bezawada (IIIT Hyderabad)
Ashok Kumar Das (IIIT Hyderabad)
Kishore Kothapalli (IIIT Hyderabad)
P J Narayanan (IIIT Hyderabad)
Suresh Purini (IIIT Hyderabad)
For further details see the conference website at www.fsttcs.org.
--
This message has been scanned for viruses and
dangerous content by MailScanner, and is
believed to be clean.
OPODIS 2012 - **DEADLINE EXTENSION**
(Apologize if you receive multiple copies of this message)
--------------------------------------------------------------------------------
CALL FOR PAPERS
--------------------------------------------------------------------------------
IMPORTANT DATES
New Abstract deadline: July 10, 2012
New Submission deadline: July 15, 2012
Acceptance notification: September 15, 2012
Camera-ready copy due: September 29, 2012
SCOPE
OPODIS is an open forum for the exchange of state-of-the-art knowledge on distributed computing and systems among researchers from around the world. This conference is the 16th in a series of annual conferences. Following the tradition of the previous events, its program will be composed of high-quality contributed and invited papers.
The program committee is soliciting original and significant research contributions to the theory, specification, design and implementation of distributed systems, including:
- communication and synchronization protocols
- distributed algorithms
- distributed cooperative computing
- distributed event processing
- fault-tolerance, reliability, availability
- grid, cluster, and cloud computing
- mobile agents and autonomous robots
- peer-to-peer systems, overlay networks
- performance analysis of distributed systems
- real-time systems
- security issues in distributed computing and systems
- sensor networks: theory and practice
- social networks: modeling, analysis, and synthesis
- specification and verification of distributed systems
- testing and experimentation with distributed systems
- theory of distributed computing
- wireless and mobile computing
SUBMISSION
Submitted papers must be written in English and must not exceed 12 letter-size pages using 11 point font and reasonable margins, including figures, tables and references. The first page must include the title of the paper, author(s) names and affiliation, an abstract, address for correspondence, fax number, email, and a list of keywords. Additional details maybe included in a clearly marked appendix that will be read at the discretion of the PC. The papers must be submitted electronically per instructions at http://www.opodis.net.
PUBLICATION
The selection of contributions to be presented at the conference and published in the proceedings will be based on peer-review by the Program Committee. The proceedings volume will be published in the SpringerÕs Lecture Notes in Computer Science series. It is required that each accepted paper be presented at the conference by one of its authors. Authors of accepted papers are required to submit the final, camera-ready versions of their papers (in LNCS format, see authors instructions at http://www.springer.de/comp/lncs/authors.html), including an electronic version as specified in the authorsÕ instructions.
WORKSHOPS AND TUTORIALS
Proposals for satellite workshops and tutorials are welcome. Please contact the Workshop Chair within September 7th, 2012.
ORGANIZATION
General Chair
Roberto Baldoni, la Sapienza
Program co-Chairs
Paola Flocchini, University of Ottawa
Binoy Ravindran, Virginia Tech
Program Committee
Bjorn Andersson, CMU SEI
James Aspnes,Yale University
Hagit Attiya, Technion
Xavier Defago, JAIST
Carole Delporte-Gallet, Universite Paris Diderot
Stefan Dobrev, Slovak Academy of Sciences
Shlomi Dolev, Ben Gurion University
Hacene Fouchal, U. of Reims C.A.
Shelby Funk, University of Georgia
Vijay Garg, UT Austin
David Ilcinkas, CNRS & U. Bordeaux
Boris Koldehofe, U. of Stuttgart
Eric Koskinen, NYU
Fabian Kuhn, University of Freiburg
Xu Li, INRIA
Bernard Mans, Macquarie University
Alessia Milani, University of Bordeaux 1-IPB
Sotiris Nikoletseas, Patras University
Marina Papatriantafilou, Chalmers U. of Technology
Marta Patino, Technical University of Madrid
Giuseppe Prencipe, University of Pisa
Leonardo Querzoni, Sapienza U. of Rome
Paulo Romano, INESC-ID
Nicolas Schiper, Cornell University
Michael Spear, Lehigh University
Sebastien Tixeuil, Universite Pierre et Marie Curie
Roman Vitenberg, University of Oslo
Jennifer Welch, Texas A&M University
Wenyuan Xu, U. of South Carolina
Masafumi Yamashita, Kyushu U.
Shmuel Zaks, Technion
Workshop Chair
Matthieu Roy, LAAS
Publicity Chair
Silvia Bonomi Sapienza U. of Rome
Organizing Committee
Carola Aiello, Sapienza U. of Rome
Gabriella Caramagno, Sapienza U. of Rome
Adriano Cerocchi, Sapienza U. of Rome
Marco Platania, Sapienza U. of Rome
Steering Committee
Alain Bui, U. of Versailles S.Q.
Marc Bui, EPHE
Antonio Fernandez Anta, I. IMDEA Networks
Hacene Fouchal, U. of Reims C.A.
Roberto Gomez, ITESM-CEM
Giuseppe Lipari, SS Sant.Anna
Chanyang Lu, Washington U.
Toshimitsu Masuzawa, U. Osaka
Nicola Santoro, Carleton U.
Philippas Tsigas, Chalmers U. of Technology
--------------------------------------------------------------------------------
CALL FOR PAPERS
--------------------------------------------------------------------------------
IMPORTANT DATES
New Abstract deadline: July 10, 2012
New Submission deadline: July 15, 2012
Acceptance notification: September 15, 2012
Camera-ready copy due: September 29, 2012
SCOPE
OPODIS is an open forum for the exchange of state-of-the-art knowledge on distributed computing and systems among researchers from around the world. This conference is the 16th in a series of annual conferences. Following the tradition of the previous events, its program will be composed of high-quality contributed and invited papers.
The program committee is soliciting original and significant research contributions to the theory, specification, design and implementation of distributed systems, including:
- communication and synchronization protocols
- distributed algorithms
- distributed cooperative computing
- distributed event processing
- fault-tolerance, reliability, availability
- grid, cluster, and cloud computing
- mobile agents and autonomous robots
- peer-to-peer systems, overlay networks
- performance analysis of distributed systems
- real-time systems
- security issues in distributed computing and systems
- sensor networks: theory and practice
- social networks: modeling, analysis, and synthesis
- specification and verification of distributed systems
- testing and experimentation with distributed systems
- theory of distributed computing
- wireless and mobile computing
SUBMISSION
Submitted papers must be written in English and must not exceed 12 letter-size pages using 11 point font and reasonable margins, including figures, tables and references. The first page must include the title of the paper, author(s) names and affiliation, an abstract, address for correspondence, fax number, email, and a list of keywords. Additional details maybe included in a clearly marked appendix that will be read at the discretion of the PC. The papers must be submitted electronically per instructions at http://www.opodis.net.
PUBLICATION
The selection of contributions to be presented at the conference and published in the proceedings will be based on peer-review by the Program Committee. The proceedings volume will be published in the SpringerÕs Lecture Notes in Computer Science series. It is required that each accepted paper be presented at the conference by one of its authors. Authors of accepted papers are required to submit the final, camera-ready versions of their papers (in LNCS format, see authors instructions at http://www.springer.de/comp/lncs/authors.html), including an electronic version as specified in the authorsÕ instructions.
WORKSHOPS AND TUTORIALS
Proposals for satellite workshops and tutorials are welcome. Please contact the Workshop Chair within September 7th, 2012.
ORGANIZATION
General Chair
Roberto Baldoni, la Sapienza
Program co-Chairs
Paola Flocchini, University of Ottawa
Binoy Ravindran, Virginia Tech
Program Committee
Bjorn Andersson, CMU SEI
James Aspnes,Yale University
Hagit Attiya, Technion
Xavier Defago, JAIST
Carole Delporte-Gallet, Universite Paris Diderot
Stefan Dobrev, Slovak Academy of Sciences
Shlomi Dolev, Ben Gurion University
Hacene Fouchal, U. of Reims C.A.
Shelby Funk, University of Georgia
Vijay Garg, UT Austin
David Ilcinkas, CNRS & U. Bordeaux
Boris Koldehofe, U. of Stuttgart
Eric Koskinen, NYU
Fabian Kuhn, University of Freiburg
Xu Li, INRIA
Bernard Mans, Macquarie University
Alessia Milani, University of Bordeaux 1-IPB
Sotiris Nikoletseas, Patras University
Marina Papatriantafilou, Chalmers U. of Technology
Marta Patino, Technical University of Madrid
Giuseppe Prencipe, University of Pisa
Leonardo Querzoni, Sapienza U. of Rome
Paulo Romano, INESC-ID
Nicolas Schiper, Cornell University
Michael Spear, Lehigh University
Sebastien Tixeuil, Universite Pierre et Marie Curie
Roman Vitenberg, University of Oslo
Jennifer Welch, Texas A&M University
Wenyuan Xu, U. of South Carolina
Masafumi Yamashita, Kyushu U.
Shmuel Zaks, Technion
Workshop Chair
Matthieu Roy, LAAS
Publicity Chair
Silvia Bonomi Sapienza U. of Rome
Organizing Committee
Carola Aiello, Sapienza U. of Rome
Gabriella Caramagno, Sapienza U. of Rome
Adriano Cerocchi, Sapienza U. of Rome
Marco Platania, Sapienza U. of Rome
Steering Committee
Alain Bui, U. of Versailles S.Q.
Marc Bui, EPHE
Antonio Fernandez Anta, I. IMDEA Networks
Hacene Fouchal, U. of Reims C.A.
Roberto Gomez, ITESM-CEM
Giuseppe Lipari, SS Sant.Anna
Chanyang Lu, Washington U.
Toshimitsu Masuzawa, U. Osaka
Nicola Santoro, Carleton U.
Philippas Tsigas, Chalmers U. of Technology
-- Silvia Bonomi Fixed Term Assistant Professor Ph.D. in Computer Engineering "Sapienza" Università di Roma Dipartimento di Ingegneria Informatica, Automatica e Gestionale "Antonio Ruberti" Via Ariosto 25 (1st floor, room B114) I-00185 Roma, Italy e-mail: bonomi@dis.uniroma1.it tel. : +39 0677274017 fax. : +39 0677274002
Tuesday, July 3, 2012
[DMANET] NaBIC 2012 - 2nd CFP - Mexico City
-- NaBIC 2012 - Second Call for Papers --
* Fourth World Congress on Nature and Biologically Inspired Computing
(NaBIC 2012) *
Mexico City, Mexico
November 05-09, 2012
URL: http://www.mirlabs.org/nabic12
or
URL: http://www.mirlabs.net/nabic12
Past Events: http://www.informatik.uni-trier.de/~ley/db/conf/nabic/index.html
Sponsored by:
---------------------
MIR Labs, USA
Technically co-sponsored by:
------------------------------------------
IEEE Systems, Man and Cybernetics Society, Spanish Chapter
IEEE Systems, Man and Cybernetics Society, Tunisia Chapter
IEEE Systems, Man and Cybernetics Society, Czechoslovakia Chapter
Publication:
-----------------
IEEE
About the Conference
------------------------------
After the success of the Third World Congress – NaBIC 2011, NaBIC2012 is
organized to provide a forum for researchers, engineers, and students from
all over the world, to discuss the state-of-the-art in machine intelligence,
and address various issues on building up human friendly machines by
learning from nature. The conference theme is Nurturing Intelligent
Computing Towards Advancement of Machine Intelligence.
All accepted and registered papers will be included in the conference
proceedings to be published by the IEEE. Once again, we would like to
invite you to submit your proposals for organizing Special Sessions or other
conference events to the Special Session and Events Chairs and your
qualified technical papers.
Call for Papers:
----------------------
Please consult the following link:
http://www.mirlabs.net/nabic12/#cfp
Author Guidelines:
--------------------------
Submission of paper should be made through the submission link:
http://www.mirlabs.net/nabic12/#submission
Please refer to the conference website for guidelines to prepare your
manuscript. All accepted papers will be compiled in conference proceedings
published by the IEEE. It is mandatory at least an author registers for
every paper that is included in the conference proceedings. Proceedings will
be made available during the conference. Expanded versions of NaBIC 2012
selected papers will be published in special issues of internationally
referred journals.
Important Dates:
------------------------
Paper submission due: Aug. 15, 2012
Notification of paper acceptance:Sep. 15, 2012
Final manuscript due:Sep. 30, 2012
Registration and full payment due:Sep. 30, 2012
Conference date:Nov 05-09, 2012
NaBIC 2012 Organizing team:
---------------------------------------------
General Chairs
Alexander Gelbukh, National Polytechnic Institute (IPN), Mexico
Ajith Abraham, Machine Intelligence Research Labs, USA
Albert Zomaya, University of Sydney, Australia
Technical Program Committee Chairs
Andre Carvalho, Universidade de Sao Paulo, Brazil
Simone Ludwig, North Dakota State University, USA
Publication Chair
Siby Abraham, University of Mumbai, India.
International Program Committee
(please see web site)
Information contact:
-----------------------------
Technical matters:
Ajith Abraham <ajith.abraham@ieee.org>
Local organization/Venue:
Alexander Gelbukh <gelbukh@gelbukh.com>,
http://www.mirlabs.net/nabic12
**********************************************************
*
* 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/
*
**********************************************************
* Fourth World Congress on Nature and Biologically Inspired Computing
(NaBIC 2012) *
Mexico City, Mexico
November 05-09, 2012
URL: http://www.mirlabs.org/nabic12
or
URL: http://www.mirlabs.net/nabic12
Past Events: http://www.informatik.uni-trier.de/~ley/db/conf/nabic/index.html
Sponsored by:
---------------------
MIR Labs, USA
Technically co-sponsored by:
------------------------------------------
IEEE Systems, Man and Cybernetics Society, Spanish Chapter
IEEE Systems, Man and Cybernetics Society, Tunisia Chapter
IEEE Systems, Man and Cybernetics Society, Czechoslovakia Chapter
Publication:
-----------------
IEEE
About the Conference
------------------------------
After the success of the Third World Congress – NaBIC 2011, NaBIC2012 is
organized to provide a forum for researchers, engineers, and students from
all over the world, to discuss the state-of-the-art in machine intelligence,
and address various issues on building up human friendly machines by
learning from nature. The conference theme is Nurturing Intelligent
Computing Towards Advancement of Machine Intelligence.
All accepted and registered papers will be included in the conference
proceedings to be published by the IEEE. Once again, we would like to
invite you to submit your proposals for organizing Special Sessions or other
conference events to the Special Session and Events Chairs and your
qualified technical papers.
Call for Papers:
----------------------
Please consult the following link:
http://www.mirlabs.net/nabic12/#cfp
Author Guidelines:
--------------------------
Submission of paper should be made through the submission link:
http://www.mirlabs.net/nabic12/#submission
Please refer to the conference website for guidelines to prepare your
manuscript. All accepted papers will be compiled in conference proceedings
published by the IEEE. It is mandatory at least an author registers for
every paper that is included in the conference proceedings. Proceedings will
be made available during the conference. Expanded versions of NaBIC 2012
selected papers will be published in special issues of internationally
referred journals.
Important Dates:
------------------------
Paper submission due: Aug. 15, 2012
Notification of paper acceptance:Sep. 15, 2012
Final manuscript due:Sep. 30, 2012
Registration and full payment due:Sep. 30, 2012
Conference date:Nov 05-09, 2012
NaBIC 2012 Organizing team:
---------------------------------------------
General Chairs
Alexander Gelbukh, National Polytechnic Institute (IPN), Mexico
Ajith Abraham, Machine Intelligence Research Labs, USA
Albert Zomaya, University of Sydney, Australia
Technical Program Committee Chairs
Andre Carvalho, Universidade de Sao Paulo, Brazil
Simone Ludwig, North Dakota State University, USA
Publication Chair
Siby Abraham, University of Mumbai, India.
International Program Committee
(please see web site)
Information contact:
-----------------------------
Technical matters:
Ajith Abraham <ajith.abraham@ieee.org>
Local organization/Venue:
Alexander Gelbukh <gelbukh@gelbukh.com>,
http://www.mirlabs.net/nabic12
**********************************************************
*
* 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/
*
**********************************************************
ESSLLI 2012 call for participation
********************************************************************************
CALL FOR PARTICIPATION AT ESSLLI 2012
Meeting: 24th European Summer School in Logic, Language and
Information (ESSLLI)
Date: 06-Aug-2012 - 17-Aug-2012
Location: Opole, Poland
Meeting URL: http://www.esslli2012.pl
Early registration deadline: 15-06-2012
********************************************************************************
**Meeting Description**
For the past 24 years, the European Summer School in Logic, Language
and Information (ESSLLI) has been organized every year by the
Association for Logic, Language and Information (FoLLI) in different
sites around Europe. The main focus of ESSLLI is on the interface
between linguistics, logic and computation.
ESSLLI offers foundational, introductory and advanced courses, as well
as workshops, covering a wide variety of topics within the three areas
of interest: Language and Computation, Language and Logic, and Logic
and Computation. Previous summer schools have been highly successful,
attracting up to 500 students from Europe and elsewhere. The school
has developed into an important meeting place and forum for discussion
for students and researchers interested in the interdisciplinary study
of Logic, Language and Information. During two weeks, 49 courses and 6
workshops are offered to the attendants, each of 1.5 hours per day
during a five days week, with up to seven parallel sessions. ESSLLI
also includes a student session (papers and posters by students only,
1.5 hour per day during the two weeks). There will be three evening
lectures by Mel Fitting, Jonathan Ginzburg and Adam Przepiorkowski.
In 2012, ESSLLI will held in Opole, Poland and will be organized by
the University of Opole, Poland. Chair of the program committee is
Andreas Herzig, and chairs of the organizing committee are Urszula
Wybraniec-Skardowska and Janusz Czelakowski.
**Summer School Programme**
http://www.esslli2012.pl/index.php?id=67
**Online Registration**
http://www.esslli2012.pl/index.php?id=68
**Programme Committee**
Chair: Andreas Herzig (Université de Toulouse and CNRS)
Local co-chair: Anna Pietryga (University of Opole)
Area specialists:
Language and Computation:
- Miriam Butt (Sprachwissenschaft, University of Konstanz)
- Gosse Bouma (Groningen University)
Language and Logic:
- Regine Eckardt (Language and Literature, University of Göttingen)
- Rick Nouwen (UiL-OTS, Utrecht University)
Logic and Computation:
- Natasha Alechina (CS, University of Nottingham)
- Andreas Weiermann (Mathematics and Computation, Ghent University)
**Organizing Committee**
Chair: Urszula Wybraniec-Skardowska and Janusz Czelakowski (University of Opole)
CALL FOR PARTICIPATION AT ESSLLI 2012
Meeting: 24th European Summer School in Logic, Language and
Information (ESSLLI)
Date: 06-Aug-2012 - 17-Aug-2012
Location: Opole, Poland
Meeting URL: http://www.esslli2012.pl
Early registration deadline: 15-06-2012
********************************************************************************
**Meeting Description**
For the past 24 years, the European Summer School in Logic, Language
and Information (ESSLLI) has been organized every year by the
Association for Logic, Language and Information (FoLLI) in different
sites around Europe. The main focus of ESSLLI is on the interface
between linguistics, logic and computation.
ESSLLI offers foundational, introductory and advanced courses, as well
as workshops, covering a wide variety of topics within the three areas
of interest: Language and Computation, Language and Logic, and Logic
and Computation. Previous summer schools have been highly successful,
attracting up to 500 students from Europe and elsewhere. The school
has developed into an important meeting place and forum for discussion
for students and researchers interested in the interdisciplinary study
of Logic, Language and Information. During two weeks, 49 courses and 6
workshops are offered to the attendants, each of 1.5 hours per day
during a five days week, with up to seven parallel sessions. ESSLLI
also includes a student session (papers and posters by students only,
1.5 hour per day during the two weeks). There will be three evening
lectures by Mel Fitting, Jonathan Ginzburg and Adam Przepiorkowski.
In 2012, ESSLLI will held in Opole, Poland and will be organized by
the University of Opole, Poland. Chair of the program committee is
Andreas Herzig, and chairs of the organizing committee are Urszula
Wybraniec-Skardowska and Janusz Czelakowski.
**Summer School Programme**
http://www.esslli2012.pl/index.php?id=67
**Online Registration**
http://www.esslli2012.pl/index.php?id=68
**Programme Committee**
Chair: Andreas Herzig (Université de Toulouse and CNRS)
Local co-chair: Anna Pietryga (University of Opole)
Area specialists:
Language and Computation:
- Miriam Butt (Sprachwissenschaft, University of Konstanz)
- Gosse Bouma (Groningen University)
Language and Logic:
- Regine Eckardt (Language and Literature, University of Göttingen)
- Rick Nouwen (UiL-OTS, Utrecht University)
Logic and Computation:
- Natasha Alechina (CS, University of Nottingham)
- Andreas Weiermann (Mathematics and Computation, Ghent University)
**Organizing Committee**
Chair: Urszula Wybraniec-Skardowska and Janusz Czelakowski (University of Opole)
Monday, July 2, 2012
[DMANET] CFP : CONFERENCE DIGITAL ENTERPRISE DESIGN & MANAGEMENT (DED&M 2013)
--------------------------------------------------------------------------CONFERENCE
DIGITAL ENTERPRISE DESIGN & MANAGEMENT (DED&M 2013)
February 11-12, 2013, Cité Internationale Universitaire de Paris, Paris
(France)
---------------------------------------------------------------------------Website:
http://www.dedm2013.dedm.fr/
Contact: contact@dedm.fr
---------------------------------------------------------------------------
CALL FOR PAPERS # 2
The new digital challenges are based on the dynamics of progress of the
three basic information & communication technology: data storage,
information processing and communication networks that are now mature.
Hence, making the technological advances closer to the new uses that they
daily allow has become a central issue of the emerging Digital World. The
competitiveness of modern enterprises will rely more and more on the
ability to take part of the new digital value trails, using their
technical infrastructure and their information systems.
We therefore believe that this is crucial to create a key place for
international debates & meetings on the Enterprise Architecture dimension
of the digital business.
The Digital Enterprise Design & Management conference meets exactly this
objective.
Our event intends to put digital issues at the heart of its program, but
also to bring together all business and technological stakeholders of the
Digital Enterprise and to give to all academic researchers and
professional practitioners interested in the design and the governance of
digital systems the opportunity to present their work or experiences.
IMPORTANT DATES
- Abstract submission deadline (optional) : July 31, 2012
- Submission deadline : August 31, 2012
- Acceptance notice announcement: September 30, 2012
- Final version submission for publishing : October 31, 2012
- Conference: February 11-12, 2013
- "Best papers" awards: February 12, 2013
SUBMISSION PROCEDURE & BEST PAPERS AWARDS
As the DED&M conference is both professional and academic, there will be
two different submission procedures according to the type of submitted
contributions:
professional submissions and scientific submissions. Selected papers will
be presented either on the format of a 30-minute talk or as a poster
during a special session.
All accepted 30-minute talks papers will be published by Springer-Verlag
(Science and Engineering) in a dedicated proceedings book that will be
given to all participants during the conference. The program committee is
also pleased to inform you of the following two awards for the best DED&M
2013 papers: 1 prize of 1.500 € for the best academic or professional
paper and 1 prize of 750 € for the best student paper.
For more details, see: http://www.dedm2013.dedm.fr/-Submission-.html.
CONFERENCE TOPICS
Digital economy:
Digital culture & uses, Digital strategies & economical models, Digital
property,
Digital customers, Digital marketing & distribution, Extended digital
enterprise,
Activities & digital resources, Norms & standards.
Digital corporate governance:
Public & inter-professional governance, Industrial policy & sectorial
regulation,
Information systems & digital governance, Strategic alignment, Digital
enterprise
transformation, Digital technological strategies,Digital projects portfolios
management.
Digital architecture & engineering:
Enterprise architecture, Architectural modeling, business, functional,
applicative &
technical architecture processes), Collaborative architecture, Management
of digital
programs & projects, Metrics of complexity & quality, Interoperability of
information
systems.
MORE DETAILS
- More information can be found on the conference website:
http://www.dedm2013.dedm.fr.
- For any question, please write an email to: contact@dedm.fr.
DED&M is organized by CESAMES (Center of Excellence on Systems Architecture,
Management, Economy and Strategy) and sponsored by by the partners of the
Orange « Innovation & Regulation »
and Dassault Aviation – DCNS – DGA – Thales
« Complex Systems Engineering » Chairs
**********************************************************
*
* 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/
*
**********************************************************
DIGITAL ENTERPRISE DESIGN & MANAGEMENT (DED&M 2013)
February 11-12, 2013, Cité Internationale Universitaire de Paris, Paris
(France)
---------------------------------------------------------------------------Website:
http://www.dedm2013.dedm.fr/
Contact: contact@dedm.fr
---------------------------------------------------------------------------
CALL FOR PAPERS # 2
The new digital challenges are based on the dynamics of progress of the
three basic information & communication technology: data storage,
information processing and communication networks that are now mature.
Hence, making the technological advances closer to the new uses that they
daily allow has become a central issue of the emerging Digital World. The
competitiveness of modern enterprises will rely more and more on the
ability to take part of the new digital value trails, using their
technical infrastructure and their information systems.
We therefore believe that this is crucial to create a key place for
international debates & meetings on the Enterprise Architecture dimension
of the digital business.
The Digital Enterprise Design & Management conference meets exactly this
objective.
Our event intends to put digital issues at the heart of its program, but
also to bring together all business and technological stakeholders of the
Digital Enterprise and to give to all academic researchers and
professional practitioners interested in the design and the governance of
digital systems the opportunity to present their work or experiences.
IMPORTANT DATES
- Abstract submission deadline (optional) : July 31, 2012
- Submission deadline : August 31, 2012
- Acceptance notice announcement: September 30, 2012
- Final version submission for publishing : October 31, 2012
- Conference: February 11-12, 2013
- "Best papers" awards: February 12, 2013
SUBMISSION PROCEDURE & BEST PAPERS AWARDS
As the DED&M conference is both professional and academic, there will be
two different submission procedures according to the type of submitted
contributions:
professional submissions and scientific submissions. Selected papers will
be presented either on the format of a 30-minute talk or as a poster
during a special session.
All accepted 30-minute talks papers will be published by Springer-Verlag
(Science and Engineering) in a dedicated proceedings book that will be
given to all participants during the conference. The program committee is
also pleased to inform you of the following two awards for the best DED&M
2013 papers: 1 prize of 1.500 € for the best academic or professional
paper and 1 prize of 750 € for the best student paper.
For more details, see: http://www.dedm2013.dedm.fr/-Submission-.html.
CONFERENCE TOPICS
Digital economy:
Digital culture & uses, Digital strategies & economical models, Digital
property,
Digital customers, Digital marketing & distribution, Extended digital
enterprise,
Activities & digital resources, Norms & standards.
Digital corporate governance:
Public & inter-professional governance, Industrial policy & sectorial
regulation,
Information systems & digital governance, Strategic alignment, Digital
enterprise
transformation, Digital technological strategies,Digital projects portfolios
management.
Digital architecture & engineering:
Enterprise architecture, Architectural modeling, business, functional,
applicative &
technical architecture processes), Collaborative architecture, Management
of digital
programs & projects, Metrics of complexity & quality, Interoperability of
information
systems.
MORE DETAILS
- More information can be found on the conference website:
http://www.dedm2013.dedm.fr.
- For any question, please write an email to: contact@dedm.fr.
DED&M is organized by CESAMES (Center of Excellence on Systems Architecture,
Management, Economy and Strategy) and sponsored by by the partners of the
Orange « Innovation & Regulation »
and Dassault Aviation – DCNS – DGA – Thales
« Complex Systems Engineering » Chairs
**********************************************************
*
* 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] PhD Position at FU Berlin
We announce
ONE PH.D. POSITION (full)
at Freie Universität Berlin, Germany, at the Department of Computer
Science, as part of the research project "Understanding, Modeling and
Exploiting Structured Inputs for Geometric Problems" funded by the
German Research Foundation (DFG). The position is for three years. The
project is supervised by Wolfgang Mulzer
(http://page.mi.fu-berlin.de/mulzer/) and takes place within the theory
group at FU Berlin (http://www.inf.fu-berlin.de/inst/ag-ti/).
The aim of the project is to develop new algorithms and models for
geometric problems when additional information about the input data is
available, e.g. low-entropy, restricted position, time coherence.
Ideally, we will be able to identify situations in which a significant
improvement over the worst-case performance is possible.
We expect that the candidate has a Master Degree in Mathematics or
Computer Science and a solid background in discrete mathematics,
probability theory and theory of algorithms. Ideally, the
applicant has knowledge in at least one of the following fields:
computational geometry, probabilistic algorithms, data structures.
Please send your applications consisting of
- a cover letter,
- curriculum vitae,
- the Master thesis (preliminary version, if not finished),
- (optional) a letter of reference (to be directly sent to us),
to
Wolfgang Mulzer
Institut für Informatik
Freie Universität Berlin
Takustraße 9
14195 Berlin
Germany
It is also possible to apply via email. In this case send your
application to mulzer[at]inf.fu-berlin.de .
If you have further questions about the position, please send an email
to mulzer[at]inf.fu-berlin.de .
The application deadline is July 23, 2012.
**********************************************************
*
* 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/
*
**********************************************************
ONE PH.D. POSITION (full)
at Freie Universität Berlin, Germany, at the Department of Computer
Science, as part of the research project "Understanding, Modeling and
Exploiting Structured Inputs for Geometric Problems" funded by the
German Research Foundation (DFG). The position is for three years. The
project is supervised by Wolfgang Mulzer
(http://page.mi.fu-berlin.de/mulzer/) and takes place within the theory
group at FU Berlin (http://www.inf.fu-berlin.de/inst/ag-ti/).
The aim of the project is to develop new algorithms and models for
geometric problems when additional information about the input data is
available, e.g. low-entropy, restricted position, time coherence.
Ideally, we will be able to identify situations in which a significant
improvement over the worst-case performance is possible.
We expect that the candidate has a Master Degree in Mathematics or
Computer Science and a solid background in discrete mathematics,
probability theory and theory of algorithms. Ideally, the
applicant has knowledge in at least one of the following fields:
computational geometry, probabilistic algorithms, data structures.
Please send your applications consisting of
- a cover letter,
- curriculum vitae,
- the Master thesis (preliminary version, if not finished),
- (optional) a letter of reference (to be directly sent to us),
to
Wolfgang Mulzer
Institut für Informatik
Freie Universität Berlin
Takustraße 9
14195 Berlin
Germany
It is also possible to apply via email. In this case send your
application to mulzer[at]inf.fu-berlin.de .
If you have further questions about the position, please send an email
to mulzer[at]inf.fu-berlin.de .
The application deadline is July 23, 2012.
**********************************************************
*
* 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/
*
**********************************************************
Call for Papers: WINE 2012
The 8th Workshop on Internet and Network Economics (WINE 2012)
will take place in Liverpool, UK during December 9-12.
For the detailed call for papers, program committee and invited speakers,
please see the conference web site:
http://wine12.csc.liv.ac.uk/
The submission deadline for both long and short papers is August 1st.
--
Paul W. Goldberg
Dept. of Computer Science, University of Liverpool
http://www.csc.liv.ac.uk/~pwg/
phone: +44 151 7954259
will take place in Liverpool, UK during December 9-12.
For the detailed call for papers, program committee and invited speakers,
please see the conference web site:
http://wine12.csc.liv.ac.uk/
The submission deadline for both long and short papers is August 1st.
--
Paul W. Goldberg
Dept. of Computer Science, University of Liverpool
http://www.csc.liv.ac.uk/~pwg/
phone: +44 151 7954259
[DMANET] Call for Papers: WINE 2012
The 8th Workshop on Internet and Network Economics (WINE 2012)
will take place in Liverpool, UK during December 9-12.
For the detailed call for papers, program committee and invited speakers,
please see the conference web site:
http://wine12.csc.liv.ac.uk/
The submission deadline for both long and short papers is August 1st.
--
Paul W. Goldberg
Dept. of Computer Science, University of Liverpool
http://www.csc.liv.ac.uk/~pwg/
phone: +44 151 7954259
**********************************************************
*
* 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/
*
**********************************************************
will take place in Liverpool, UK during December 9-12.
For the detailed call for papers, program committee and invited speakers,
please see the conference web site:
http://wine12.csc.liv.ac.uk/
The submission deadline for both long and short papers is August 1st.
--
Paul W. Goldberg
Dept. of Computer Science, University of Liverpool
http://www.csc.liv.ac.uk/~pwg/
phone: +44 151 7954259
**********************************************************
*
* 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] [WD'12] CFP : Wireless Days 2012 (IEEE Xplore Publication / IEEE & IFIP TCS)
[Announcing IEEE Technical co-Sponsorship and IEEE Xplore publication of
Wireless Days 2011 Proceedings]
Wireless Days 2011 Proceedings]
[Apologies if you receive multiple copies]
------------------------------------------------------------------------
CALL FOR PAPERS
IFIP Wireless Days 2012
November 21-23, 2012, Dublin, Ireland
http://www.wireless-days.org/
IEEE and IFIP Technical Co-sponsorship
Conference proceedings will be included in IEEE Xplore
------------------------------------------------------------------------
Important Dates:
================
Final submission deadline: August 8, 2012
Notification of acceptance: September 12, 2012
Camera-ready version: September 28, 2012
------------------------------------------------------------------------
Scope:
======
The Wireless Days Conference is a major international conference which
aims to bring together researchers, engineers, students, technologists
and visionaries from academia, research centers and industry, to
exchange, discuss, and share their experiences, ideas and research
results on both the theoretical and practical aspects of wireless
networking.
After the successful editions of Wireless Days 2008 in Dubai, UAE (43.8%
acceptance ratio), Wireless Days 2009 in Paris, France (37.6% acceptance
ratio), Wireless Days 2010 in Venice, Italy (32.6% acceptance ratio),
and Wireless Days 2011 in Niagara Falls, Canada (35% acceptance ratio),
the fifth edition of Wireless Days will be held in Dublin, Ireland, on
November 21-23, 2012. Wireless Days 2012 will include presentations of
both theoretical and experimental achievements, innovative wireless
systems, prototyping efforts, case studies and advances in technology
related to wireless networking and communication infrastructures.
Wireless Days 2012 is technically co-sponsored by IEEE and IFIP and all
accepted and presented Wireless Days 2012 papers will be published in
the IEEE Xplore.
The Wireless Days program will be split into the following six
conference tracks:
- Track 1: Ad Hoc and Sensor Networks
- Track 2: Wireless Network Protocols and Applications
- Track 3: Vehicular and Delay Tolerant Networks
- Track 4: Broadband Wireless
- Track 5: Wireless Models and Simulations
- Track 6: Wireless and Mobile Network Management
Papers Submission:
==================
Submissions should be original and limited to 6 double-column pages
(Maximum of 2 additional pages allowed - 8 pages in total - with
over-length page fee) and should follow IEEE paper templates. Papers are
to be submitted electronically on the EDAS web site of the conference in
PDF format.
Special Issues of Journals:
===========================
Selected papers will be invited for publication in special issues of
international journals.
Contacts:
=========
General Chairs and Coordinators of Wireless Week Dublin:
=========================================================
John Fitzpatrick, University College Dublin, Ireland
Yacine Ghamri-Doudane, University Paris-Est (LIGM Lab) and ENSIIE, France
Hamid Nafaa University College Dublin, Ireland
John Murphy University College Dublin, Ireland
Liam Murphy University College Dublin, Ireland
Wireless Days General Chair:
============================
John Holland, Ericsson Ireland
Yacine Ghamri-Doudane, University Paris-Est (LIGM Lab) and ENSIIE, France
Technical Program co-Chairs:
============================
John Fitzpatrick, University College Dublin, Ireland
André-Luc Beylot, University of Toulouse, France
Publication Co-Chairs:
======================
Soufiene Djahel University College Dublin, Ireland
Sidi-Mohammed Senouci, University of Bourgogne, France
Publicity Co-Chairs:
====================
Hamid Nafaa University College Dublin
Carlos T. Calafate, University of Valencia, Spain
Track Chairs:
=============
Track 1: Ad Hoc and Sensor Networks
-----------------------------------
Thierry Gayraud, University of Toulouse, France
Yevgeni Koucheryavy, Tampere University of Technology, Finland
Juan-Carlos Cano, University of Valencia, Spain
Track 2: Wireless Network Protocols and Applications
----------------------------------------------------
Frank Zdarsky, NEC Labs Europe, Germany
David Malone, NUI Maynooth, Ireland
Track 3: Vehicular and Delay Tolerant Networks
----------------------------------------------
Piotr Szczechowiak, Ericsson/Telcordia, Poland
Luis Costa, Federal University of Rio de Janeiro, Brazil
Track 4: Broadband Wireless
---------------------------
Andreas Maeder, NEC Labs Europe, Germany
Marc St-Hilaire, Carleton University, Canada
Track 5: Wireless Models and Simulations
----------------------------------------
Guiseppe Bianchi, University of Roma Tor Vergata, Italy
Douglas Leith, NUI Maynooth, Ireland
Track 6: Wireless and Mobile Network Management
-----------------------------------------------
Michele Nogueira, Federal University of Parana (UFPR), Brazil
Brendan Jennings, TSSG, Waterford Institute of Technology, Ireland
Steering committee:
===================
Khaldoun Al-Agha, University Paris 11, France
Ian F. Akyildiz, Georgia Institute of Technology, USA
Boutaba Raouf, University of Waterloo
Tijani Chahed, Telecom & Management SudParis, France
Pedro Cuenca, Universidad de Castilla-la-Mancha, Spain
Luigi Fratta, Politecnico di Milano, Italy
Mario Gerla, University of California at Los Angeles, USA
Ulf Korner, Lund University, Sweden
Guy Pujolle, University of Paris 6, France
Nadjib Achir, University of Paris 13, France
Khaled Boussetta, University of Paris 13, France
Technical Program Committee:
============================
TBA
--
______________________________________________________________
Carlos Miguel Tavares Calafate
Departamento de Informática de Sistemas y Computadores (DISCA)
Universidad Politécnica de Valencia (Spain)
web: http://www.grc.upv.es/calafate/
______________________________________________________________
**********************************************************
*
* 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] Extended Deadline - ACM DIVANet 2012 Session on VANETs modeling, optimization, simulation and testbed
Our apologies if you receive multiple copies of this announcement.
===========================================================================================
CALL FOR PAPERS
Session on VANET Modeling, Optimization, Simulation and Testbed
in DIVANet 2012
Second ACM International Symposium on Design and Analysis of Intelligent Vehicular Networks and Applications
as a part of
MSWIM 2012
15th ACM International Conference on Modeling, Analysis and Simulation of Wireless and Mobile Systems
October 21-25 2012 - Paphos, Cyprus Island
http://mswimconf.com/2012/
*** Submission deadline extended: July 15, 2012***
===========================================================================================
SCOPE AND OBJECTIVES
Vehicular Ad hoc NETworks (VANETs) consider vehicle-to-vehicle as well as vehicle-to-infrastructure communications, in order
to provide the drivers with novel services, such as collision avoidance and safety warnings, real-time traffic information or even
high-speed toll collection and mobile infotainment. VANETs have rapidly emerged and raised novel research challenges such
as designing networking protocols adapted to high speed environments or realistic simulation environments.
This DIVANet'2012 session aims to provide researchers and practitioners with a venue to disseminate and share state-of-the-art
research on vehicular networks modeling, optimization, simulation, prototyping and testbeds.
Topics of interest include, but are not limited to:
Simulation frameworks
Performance analysis and evaluation of VANETs services
Network management
Mobility modeling, management and optimization
Mobility prediction and control
Traffic modeling, management and optimization
Power control and scalability issues
Multi-channel organization and operation
Channel modeling
Modulation and coding
Communication protocol design and optimization
Vehicle-to-vehicle/roadside/back-office communication
Cross-layer design
Validation through measurement and prototyping
Innovative measurement methodologies and tools
Experiences/lessons from recent testbed deployments and measurements
Field operational testing
Prototype implementation of vehicular ad hoc networks and systems;
===========================================================================================
PAPER SUBMISSIONS
Authors are invited to submit original and unpublished research works on above and other topics related to VANET modeling, optimization,
simulation and testbed by July 15, 2012.
Submit a PDF copy of your full manuscript via email to the session organizers at pascal.bouvry@uni.lu, gregoire.danoy@uni.lu and julien.schleich@uni.lu
All submissions should be written in English with a maximum paper length of eight printed pages including figures, without incurring additional
page charges (maximum 2 additional pages, with overlength page fee). Templates for ACM SIG Proceedings style (LaTeX2e and MS Word) can be
found at http://www.acm.org/sigs/pubs/proceed/template.html.
Papers will be selected based on their originality, relevance, technical clarity and presentation. Authors of accepted papers must guarantee that their
papers will be registered and presented at the symposium.
Accepted papers will appear in the ACM symposium proceedings.
===========================================================================================
IMPORTANT DATES
Submission of papers by: July 15, 2012
Notification of acceptance: July 20, 2012
Conference Date: October 21-25, 2012
===========================================================================================
**********************************************************
*
* 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/
*
**********************************************************
===========================================================================================
CALL FOR PAPERS
Session on VANET Modeling, Optimization, Simulation and Testbed
in DIVANet 2012
Second ACM International Symposium on Design and Analysis of Intelligent Vehicular Networks and Applications
as a part of
MSWIM 2012
15th ACM International Conference on Modeling, Analysis and Simulation of Wireless and Mobile Systems
October 21-25 2012 - Paphos, Cyprus Island
http://mswimconf.com/2012/
*** Submission deadline extended: July 15, 2012***
===========================================================================================
SCOPE AND OBJECTIVES
Vehicular Ad hoc NETworks (VANETs) consider vehicle-to-vehicle as well as vehicle-to-infrastructure communications, in order
to provide the drivers with novel services, such as collision avoidance and safety warnings, real-time traffic information or even
high-speed toll collection and mobile infotainment. VANETs have rapidly emerged and raised novel research challenges such
as designing networking protocols adapted to high speed environments or realistic simulation environments.
This DIVANet'2012 session aims to provide researchers and practitioners with a venue to disseminate and share state-of-the-art
research on vehicular networks modeling, optimization, simulation, prototyping and testbeds.
Topics of interest include, but are not limited to:
Simulation frameworks
Performance analysis and evaluation of VANETs services
Network management
Mobility modeling, management and optimization
Mobility prediction and control
Traffic modeling, management and optimization
Power control and scalability issues
Multi-channel organization and operation
Channel modeling
Modulation and coding
Communication protocol design and optimization
Vehicle-to-vehicle/roadside/back-office communication
Cross-layer design
Validation through measurement and prototyping
Innovative measurement methodologies and tools
Experiences/lessons from recent testbed deployments and measurements
Field operational testing
Prototype implementation of vehicular ad hoc networks and systems;
===========================================================================================
PAPER SUBMISSIONS
Authors are invited to submit original and unpublished research works on above and other topics related to VANET modeling, optimization,
simulation and testbed by July 15, 2012.
Submit a PDF copy of your full manuscript via email to the session organizers at pascal.bouvry@uni.lu, gregoire.danoy@uni.lu and julien.schleich@uni.lu
All submissions should be written in English with a maximum paper length of eight printed pages including figures, without incurring additional
page charges (maximum 2 additional pages, with overlength page fee). Templates for ACM SIG Proceedings style (LaTeX2e and MS Word) can be
found at http://www.acm.org/sigs/pubs/proceed/template.html.
Papers will be selected based on their originality, relevance, technical clarity and presentation. Authors of accepted papers must guarantee that their
papers will be registered and presented at the symposium.
Accepted papers will appear in the ACM symposium proceedings.
===========================================================================================
IMPORTANT DATES
Submission of papers by: July 15, 2012
Notification of acceptance: July 20, 2012
Conference Date: October 21-25, 2012
===========================================================================================
**********************************************************
*
* 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] FSFLA 2012: 2nd announcement
2012 INTERNATIONAL FALL SCHOOL IN FORMAL LANGUAGES AND APPLICATIONS
FSFLA 2012
(formerly International PhD School in Formal Languages and Applications)
Tarragona, Spain
October 29 – November 2, 2012
Organized by:
Research Group on Mathematical Linguistics (GRLMC)
Rovira i Virgili University
http://grammars.grlmc.com/fsfla2012/
*********************************************************************
AIM:
FSFLA 2012 offers a broad and intensive series of lectures at different levels on selected topics in language and automata theory and their applications. The students choose their preferred courses according to their interests and background. Instructors are top names in their respective fields. The School intends to help students initiate and foster their research career.
The previous event in this series was FSFLA 2011 (http://grammars.grlmc.com/fsfla2011/).
ADDRESSED TO:
Graduate (and advanced undergraduate) students from around the world. Most appropriate degrees include: Computer Science and Mathematics. Other students (for instance, from Linguistics, Electrical Engineering, Molecular Biology or Logic) are welcome too provided they have a good background in discrete mathematics.
The School is appropriate also for people more advanced in their career who want to keep themselves updated on developments in the field.
There is no overlap in the class schedule.
COURSES AND PROFESSORS:
- Eric Allender (Rutgers), Circuit Complexity: Recent Progress in Lower Bounds [introductory/advanced, 8 hours]
- Amihood Amir (Bar-Ilan), Periodicity and Approximate Periodicity in Pattern Matching [introductory, 6 hours]
- Ahmed Bouajjani (Paris 7), Automated Verification of Concurrent Boolean Programs [introductory/advanced, 8 hours]
- Bruno Courcelle (Bordeaux), Automata for Monadic Second-order Model Checking [intermediate, 8 hours]
- Jörg Flum (Freiburg), The Halting Problem for Turing Machines [introductory/advanced, 6 hours]
- Aart Middeldorp (Innsbruck), Termination of Rewrite Systems [introductory/intermediate, 8 hours]
REGISTRATION:
It has to be done on line at
http://grammars.grlmc.com/fsfla2012/Registration.php
FEES:
They are variable, depending on the number of courses each student takes. The rule is:
1 hour =
- 10 euros (for payments until June 2, 2012),
- 12.50 euros (for payments between June 3 and August 15, 2012),
- 15 euros (for payments after August 15, 2012).
PAYMENT PROCEDURE:
The fees must be paid to the School's bank account:
Uno-e Bank
bank's address: Julian Camarillo 4 C, 28037 Madrid, Spain
IBAN: ES3902270001820201823142
SWIFT/BIC code: UNOEESM1
account holder: Carlos Martin-Vide GRLMC
account holder's address: Av. Catalunya 35, 43002 Tarragona, Spain
Please mention FSFLA 2012 and your name in the subject. A receipt will be provided on site.
Remarks:
- Bank transfers should not involve any expense for the School.
- People claiming early registration will be requested to prove that the bank transfer order was carried out by the deadline.
- Students may be refunded only in the case when a course gets cancelled due to the unavailability of the instructor.
People registering on site at the beginning of the School must pay in cash. For the sake of local organization, however, it is much recommended to do it earlier.
ACCOMMODATION:
Information about accommodation is available on the website of the School.
CERTIFICATE:
Students will be delivered a certificate stating the courses attended, their contents, and their duration.
IMPORTANT DATES:
Announcement of the programme: March 24, 2012
Starting of the registration: March 24, 2012
Very early registration deadline: June 2, 2012
Early registration deadline: August 15, 2012
Starting of the School: October 29, 2012
End of the School: November 2, 2012
QUESTIONS AND FURTHER INFORMATION:
Lilica Voicu:
florentinalilica.voicu@urv.cat
WEBSITE:
http://grammars.grlmc.com/fsfla2012/
POSTAL ADDRESS:
FSFLA 2012
Research Group on Mathematical Linguistics (GRLMC)
Rovira i Virgili University
Av. Catalunya, 35
43002 Tarragona, Spain
Phone: +34-977-559543
Fax: +34-977-558386
ACKNOWLEDGEMENTS:
Diputació de Tarragona
Universitat Rovira i Virgili
**********************************************************
*
* 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/
*
**********************************************************
FSFLA 2012
(formerly International PhD School in Formal Languages and Applications)
Tarragona, Spain
October 29 – November 2, 2012
Organized by:
Research Group on Mathematical Linguistics (GRLMC)
Rovira i Virgili University
http://grammars.grlmc.com/fsfla2012/
*********************************************************************
AIM:
FSFLA 2012 offers a broad and intensive series of lectures at different levels on selected topics in language and automata theory and their applications. The students choose their preferred courses according to their interests and background. Instructors are top names in their respective fields. The School intends to help students initiate and foster their research career.
The previous event in this series was FSFLA 2011 (http://grammars.grlmc.com/fsfla2011/).
ADDRESSED TO:
Graduate (and advanced undergraduate) students from around the world. Most appropriate degrees include: Computer Science and Mathematics. Other students (for instance, from Linguistics, Electrical Engineering, Molecular Biology or Logic) are welcome too provided they have a good background in discrete mathematics.
The School is appropriate also for people more advanced in their career who want to keep themselves updated on developments in the field.
There is no overlap in the class schedule.
COURSES AND PROFESSORS:
- Eric Allender (Rutgers), Circuit Complexity: Recent Progress in Lower Bounds [introductory/advanced, 8 hours]
- Amihood Amir (Bar-Ilan), Periodicity and Approximate Periodicity in Pattern Matching [introductory, 6 hours]
- Ahmed Bouajjani (Paris 7), Automated Verification of Concurrent Boolean Programs [introductory/advanced, 8 hours]
- Bruno Courcelle (Bordeaux), Automata for Monadic Second-order Model Checking [intermediate, 8 hours]
- Jörg Flum (Freiburg), The Halting Problem for Turing Machines [introductory/advanced, 6 hours]
- Aart Middeldorp (Innsbruck), Termination of Rewrite Systems [introductory/intermediate, 8 hours]
REGISTRATION:
It has to be done on line at
http://grammars.grlmc.com/fsfla2012/Registration.php
FEES:
They are variable, depending on the number of courses each student takes. The rule is:
1 hour =
- 10 euros (for payments until June 2, 2012),
- 12.50 euros (for payments between June 3 and August 15, 2012),
- 15 euros (for payments after August 15, 2012).
PAYMENT PROCEDURE:
The fees must be paid to the School's bank account:
Uno-e Bank
bank's address: Julian Camarillo 4 C, 28037 Madrid, Spain
IBAN: ES3902270001820201823142
SWIFT/BIC code: UNOEESM1
account holder: Carlos Martin-Vide GRLMC
account holder's address: Av. Catalunya 35, 43002 Tarragona, Spain
Please mention FSFLA 2012 and your name in the subject. A receipt will be provided on site.
Remarks:
- Bank transfers should not involve any expense for the School.
- People claiming early registration will be requested to prove that the bank transfer order was carried out by the deadline.
- Students may be refunded only in the case when a course gets cancelled due to the unavailability of the instructor.
People registering on site at the beginning of the School must pay in cash. For the sake of local organization, however, it is much recommended to do it earlier.
ACCOMMODATION:
Information about accommodation is available on the website of the School.
CERTIFICATE:
Students will be delivered a certificate stating the courses attended, their contents, and their duration.
IMPORTANT DATES:
Announcement of the programme: March 24, 2012
Starting of the registration: March 24, 2012
Very early registration deadline: June 2, 2012
Early registration deadline: August 15, 2012
Starting of the School: October 29, 2012
End of the School: November 2, 2012
QUESTIONS AND FURTHER INFORMATION:
Lilica Voicu:
florentinalilica.voicu@urv.cat
WEBSITE:
http://grammars.grlmc.com/fsfla2012/
POSTAL ADDRESS:
FSFLA 2012
Research Group on Mathematical Linguistics (GRLMC)
Rovira i Virgili University
Av. Catalunya, 35
43002 Tarragona, Spain
Phone: +34-977-559543
Fax: +34-977-558386
ACKNOWLEDGEMENTS:
Diputació de Tarragona
Universitat Rovira i Virgili
**********************************************************
*
* 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/
*
**********************************************************
[Mycolleagues] Open Position at University of Hannover
At the FG Simulation and Modelling,
we have an open PHD position, TVL 13 in the german salary system.
It is a joint DFG project together with the logistics department,
concerned with re-planning of resources
using online-simulation.
So the applicant should have knowledge in modeling, simulation and
analysis of scheduling systems,
additionally good programming skills.
The position is available for two years, to be extended.
For further details or for sending in your application, please contact me
Best regards,
Matthias Becker
http://www.sim.uni-hannover.de/Downloads/Stellenausschreibung_DFG_BauSim-2.pdf
--
Dr.-Ing. Matthias Becker Tel: 0511 762 2394
FG Simulation und Modellierung Universität Hannover
Welfengarten 1 30167 Hannover
_______________________________________________
Mycolleagues mailing list
Mycolleagues@mailman.ufsc.br
http://mailman.ufsc.br/mailman/listinfo/mycolleagues
we have an open PHD position, TVL 13 in the german salary system.
It is a joint DFG project together with the logistics department,
concerned with re-planning of resources
using online-simulation.
So the applicant should have knowledge in modeling, simulation and
analysis of scheduling systems,
additionally good programming skills.
The position is available for two years, to be extended.
For further details or for sending in your application, please contact me
Best regards,
Matthias Becker
http://www.sim.uni-hannover.de/Downloads/Stellenausschreibung_DFG_BauSim-2.pdf
--
Dr.-Ing. Matthias Becker Tel: 0511 762 2394
FG Simulation und Modellierung Universität Hannover
Welfengarten 1 30167 Hannover
_______________________________________________
Mycolleagues mailing list
Mycolleagues@mailman.ufsc.br
http://mailman.ufsc.br/mailman/listinfo/mycolleagues
DEADLINE EXTENSION: CHR 2012 Workshop
*** DEADLINE EXTENSION ***
=========================================================================
Call for Papers
Ninth International Workshop on Constraint Handling Rules
CHR 2012
http://dtai.cs.kuleuven.be/CHR/CHR2012/
Budapest (Hungary), September 4th, 2012
(co-located with ICLP 2012)
=========================================================================
Introduction
The CHR 2012 Workshop will be held on September 4th, 2012 in Budapest,
Hungary, at the occasion of the 28th International Conference on Logic
Programming (ICLP 2010), the premier international venue for presenting
research in logic programming. More information on the venue and the
co-located conference and workshops can be found on the ICLP website
(http://www.cs.bme.hu/iclp2012/).
The Constraint Handling Rules (CHR) language has become a major declara-
tive specification formalism and implementation language for constraint
reasoning algorithms and applications. Algorithms specified using infe-
rence rules, rewrite rules, sequents, proof rules, or logical axioms can
often be directly written in CHR. Its clean semantics facilitates pro-
gram design, analysis, and transformation. For more information, please
visit the CHR website (http://dtai.cs.kuleuven.be/CHR/).
The aim of the CHR workshop series is to stimulate and promote interna-
tional research and collaboration on topics related to the CHR language.
The workshop is a lively, friendly forum for presenting and discussing
new results, interesting applications, and work in progress.
Previous Workshops on Constraint Handling Rules were organized in 2004
in Ulm (Germany), in 2005 in Sitges (Spain) at ICLP, in 2006 in Venice
(Italy) at ICALP, in 2007 in Porto (Portugal) at ICLP, in 2008 in Hagen-
berg (Austria) at RTA, in 2009 in Pasadena (California, US) at ICLP, in
2010 in Edinburgh (Scotland, UK) at ICLP, and in 2011 in Cairo (Egypt),
at the 2nd CHR summer school.
Topics of Interest
The workshop calls for full papers and short papers describing ongoing
work on any aspect of CHR and related approaches. The following topics
are relevant (this list is non-exhaustive):
- (Logical) Algorithms
- Applications
- Comparisons with Related Approaches
- Constraint Solvers
- Critical Assessment
- Expressiveness and Complexity
- Implementations and Optimization
- Language Extensions (Types, Modules,...)
- Program Analysis
- Program Transformation and Generation
- Programming Environments (Debugging)
- Programming Pearls
- Programming Tools
- Retractable Constraints
- Semantics
- System Descriptions
Important dates
- Paper submission deadline: July 15th, 2012 (EXTENDED!)
- Notification of acceptance: August 8th, 2012
- Final version due: August 24th, 2012
- Workshop date: September 4th, 2012
Submission Information
The four broad categories for submissions are:
1. technical papers for describing technically sound, innovative
ideas that can advance the state of the art of CHR
2. application papers, where the emphasis will be on the use of CHR
in the application, on the impact on the application domain, and
the lessons learned from this application
3. system and tool papers, emphasising the novelty, practicality,
usability and general availability of the systems and tools
described
4. short papers, for ongoing work not yet ready for full publication
and research project overviews.
All papers must describe original, previously unpublished research, and
must not simultaneously be submitted for publication elsewhere.
They must be written in English. Technical papers must not exceed 15
pages. The limit for short papers is 8 pages, as is the standard page
limit for application papers, and system and tool papers. However,
particularly strong contributions in the latter two areas may be
submitted as technical paper as well.
All papers must be in the Springer LNCS format. General information
about the Springer LNCS series and the LNCS authors' instructions are
available at the Springer LNCS home page
(http://www.springer.com/computer/lncs?SGWID=0-164-7-72376-0).
Submissions must be made via the EasyChair submission system, available
at http://www.easychair.org/conferences/?conf=chr2012
Programme Committee
- Henning Christiansen, Roskilde University, Denmark
- Veronica Dahl, Simon Fraser University, Canada
- François Fages, INRIA Paris-Rocquencourt, France
- Thom Frühwirth, Ulm University, Germany (co-chair)
- Maurizio Gabbrielli, Universita' di Bologna, Italy
- Rémy Haemmerlé, Universidad Politecnica de Madrid, Spain
- Thierry Martinez, INRIA Paris-Rocquencourt, France
- Eric Monfroy, Université de Nantes, France
- Tom Schrijvers, University of Ghent, Belgium
- Jon Sneyers, KU Leuven, Belgium (co-chair)
- Armin Wolf, Fraunhofer FIRST, Germany
Workshop Coordinators
Contact: chr2012@easychair.org
Jon Sneyers
Department of Computer Science, KU Leuven
Leuven, Belgium
http://people.cs.kuleuven.be/~jon.sneyers/
Thom Frühwirth
Programmiermethodik und Compilerbau, Ulm University
Ulm, Germany
http://www.informatik.uni-ulm.de/pm/mitarbeiter/fruehwirth/
=========================================================================
Call for Papers
Ninth International Workshop on Constraint Handling Rules
CHR 2012
http://dtai.cs.kuleuven.be/CHR/CHR2012/
Budapest (Hungary), September 4th, 2012
(co-located with ICLP 2012)
=========================================================================
Introduction
The CHR 2012 Workshop will be held on September 4th, 2012 in Budapest,
Hungary, at the occasion of the 28th International Conference on Logic
Programming (ICLP 2010), the premier international venue for presenting
research in logic programming. More information on the venue and the
co-located conference and workshops can be found on the ICLP website
(http://www.cs.bme.hu/iclp2012/).
The Constraint Handling Rules (CHR) language has become a major declara-
tive specification formalism and implementation language for constraint
reasoning algorithms and applications. Algorithms specified using infe-
rence rules, rewrite rules, sequents, proof rules, or logical axioms can
often be directly written in CHR. Its clean semantics facilitates pro-
gram design, analysis, and transformation. For more information, please
visit the CHR website (http://dtai.cs.kuleuven.be/CHR/).
The aim of the CHR workshop series is to stimulate and promote interna-
tional research and collaboration on topics related to the CHR language.
The workshop is a lively, friendly forum for presenting and discussing
new results, interesting applications, and work in progress.
Previous Workshops on Constraint Handling Rules were organized in 2004
in Ulm (Germany), in 2005 in Sitges (Spain) at ICLP, in 2006 in Venice
(Italy) at ICALP, in 2007 in Porto (Portugal) at ICLP, in 2008 in Hagen-
berg (Austria) at RTA, in 2009 in Pasadena (California, US) at ICLP, in
2010 in Edinburgh (Scotland, UK) at ICLP, and in 2011 in Cairo (Egypt),
at the 2nd CHR summer school.
Topics of Interest
The workshop calls for full papers and short papers describing ongoing
work on any aspect of CHR and related approaches. The following topics
are relevant (this list is non-exhaustive):
- (Logical) Algorithms
- Applications
- Comparisons with Related Approaches
- Constraint Solvers
- Critical Assessment
- Expressiveness and Complexity
- Implementations and Optimization
- Language Extensions (Types, Modules,...)
- Program Analysis
- Program Transformation and Generation
- Programming Environments (Debugging)
- Programming Pearls
- Programming Tools
- Retractable Constraints
- Semantics
- System Descriptions
Important dates
- Paper submission deadline: July 15th, 2012 (EXTENDED!)
- Notification of acceptance: August 8th, 2012
- Final version due: August 24th, 2012
- Workshop date: September 4th, 2012
Submission Information
The four broad categories for submissions are:
1. technical papers for describing technically sound, innovative
ideas that can advance the state of the art of CHR
2. application papers, where the emphasis will be on the use of CHR
in the application, on the impact on the application domain, and
the lessons learned from this application
3. system and tool papers, emphasising the novelty, practicality,
usability and general availability of the systems and tools
described
4. short papers, for ongoing work not yet ready for full publication
and research project overviews.
All papers must describe original, previously unpublished research, and
must not simultaneously be submitted for publication elsewhere.
They must be written in English. Technical papers must not exceed 15
pages. The limit for short papers is 8 pages, as is the standard page
limit for application papers, and system and tool papers. However,
particularly strong contributions in the latter two areas may be
submitted as technical paper as well.
All papers must be in the Springer LNCS format. General information
about the Springer LNCS series and the LNCS authors' instructions are
available at the Springer LNCS home page
(http://www.springer.com/computer/lncs?SGWID=0-164-7-72376-0).
Submissions must be made via the EasyChair submission system, available
at http://www.easychair.org/conferences/?conf=chr2012
Programme Committee
- Henning Christiansen, Roskilde University, Denmark
- Veronica Dahl, Simon Fraser University, Canada
- François Fages, INRIA Paris-Rocquencourt, France
- Thom Frühwirth, Ulm University, Germany (co-chair)
- Maurizio Gabbrielli, Universita' di Bologna, Italy
- Rémy Haemmerlé, Universidad Politecnica de Madrid, Spain
- Thierry Martinez, INRIA Paris-Rocquencourt, France
- Eric Monfroy, Université de Nantes, France
- Tom Schrijvers, University of Ghent, Belgium
- Jon Sneyers, KU Leuven, Belgium (co-chair)
- Armin Wolf, Fraunhofer FIRST, Germany
Workshop Coordinators
Contact: chr2012@easychair.org
Jon Sneyers
Department of Computer Science, KU Leuven
Leuven, Belgium
http://people.cs.kuleuven.be/~jon.sneyers/
Thom Frühwirth
Programmiermethodik und Compilerbau, Ulm University
Ulm, Germany
http://www.informatik.uni-ulm.de/pm/mitarbeiter/fruehwirth/
[DMANET] Open position as PhD student in informatics/optimization
At the Department of Informatics at the University of Bergen, Norway,
there is an open 4-year position as PhD student in informatics.
Possible research topics include optimization, and applications from
candidates with a recent master degree in optimization are therefore
very welcome.
The application deadline is 10 August 2012. For more details about the
positions and how to apply, please visit
http://www.jobbnorge.no/job.aspx?jobid=83896
For English text, please click the button next to the flag on the top
right side of the page.
Inquiries can be addressed by email to Prof. Dag Haugland: dag@ii.uib.no
**********************************************************
*
* 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/
*
**********************************************************
there is an open 4-year position as PhD student in informatics.
Possible research topics include optimization, and applications from
candidates with a recent master degree in optimization are therefore
very welcome.
The application deadline is 10 August 2012. For more details about the
positions and how to apply, please visit
http://www.jobbnorge.no/job.aspx?jobid=83896
For English text, please click the button next to the flag on the top
right side of the page.
Inquiries can be addressed by email to Prof. Dag Haugland: dag@ii.uib.no
**********************************************************
*
* Contributions to be spread via DMANET are submitted to
*
* DMANET@zpr.uni-koeln.de
*
* Replies to a message carried on DMANET should NOT be
* addressed to DMANET but to the original sender. The
* original sender, however, is invited to prepare an
* update of the replies received and to communicate it
* via DMANET.
*
* DISCRETE MATHEMATICS AND ALGORITHMS NETWORK (DMANET)
* http://www.zaik.uni-koeln.de/AFS/publications/dmanet/
*
**********************************************************
Sunday, July 1, 2012
[DMANET] ICS Student Paper Award - Call for Nominations
Call for Nominations:
The INFORMS Computing Society (ICS) invites nominations for the 2012 Student Paper Award. The ICS Student Paper Award is given annually to the best paper at the interface of computing and operations research by a student author, as judged by the award selection committee. The award is accompanied by a plaque and a $500 honorarium. The winner will be invited to briefly present his/her paper in an ICS-sponsored session and the award will be presented at the ICS Business Meeting at the 2012 INFORMS Annual Meeting in Phoenix, AZ, in October 2012. The winner is expected to make his/her own travel arrangements to the INFORMS meeting. The winner will also receive free registration to the next ICS Conference. The ICS Student Paper Award is sponsored by the Mica Fonden.
The deadline for nominations for the 2012 ICS Student Paper Award is midnight EDT, July 31, 2012.
Each nominated paper should satisfy the following seven eligibility criteria:
- the entrant must have been a student on or after January 1, 2012;
- the paper must present original research results;
- the research must have been conducted while the entrant was a student;
- the paper must be written by the entrant with only minor outside editorial assistance (one or more advisors may appear as co-authors of a paper, but the student must be the 'first author');
- the entrant can be a (co-)author in at most one paper submitted to the competition;
- the paper must not have won a previous ICS Student Paper Award;
-the entrant must be an ICS member in the year the submission is made.
Note that ICS student membership costs just $1.
Application Process:
Nominations should be sent electronically to the Chair of the Award Selection Committee no later than midnight EDT, July 31, 2012. The nomination packet should include the following:
- The nominated paper (30 pages or less, 1 inch margins, double spaced, and 12 point font and in the standard format of INFORMS Journal on Computing) in pdf;
- an email address and phone number where the entrant can be contacted in the event they are selected as a finalist;
- letter(s) (in pdf format) signed by all coauthors of the paper and the entrant attesting that the seven eligibility conditions are met.
The 2012 ICS Student Paper Award Committee members are: Peter Frazier (Cornell), Cindy Phillips (Sandia), and Andreas Schulz, Chair (MIT).
For details, please see this page online:
http://www.informs.org/Community/ICS/Prizes/Student-Paper-Award
For nominations and further queries, please contact:
Andreas Schulz, MIT
Email: schulz@mit.edu
**********************************************************
*
* 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/
*
**********************************************************
The INFORMS Computing Society (ICS) invites nominations for the 2012 Student Paper Award. The ICS Student Paper Award is given annually to the best paper at the interface of computing and operations research by a student author, as judged by the award selection committee. The award is accompanied by a plaque and a $500 honorarium. The winner will be invited to briefly present his/her paper in an ICS-sponsored session and the award will be presented at the ICS Business Meeting at the 2012 INFORMS Annual Meeting in Phoenix, AZ, in October 2012. The winner is expected to make his/her own travel arrangements to the INFORMS meeting. The winner will also receive free registration to the next ICS Conference. The ICS Student Paper Award is sponsored by the Mica Fonden.
The deadline for nominations for the 2012 ICS Student Paper Award is midnight EDT, July 31, 2012.
Each nominated paper should satisfy the following seven eligibility criteria:
- the entrant must have been a student on or after January 1, 2012;
- the paper must present original research results;
- the research must have been conducted while the entrant was a student;
- the paper must be written by the entrant with only minor outside editorial assistance (one or more advisors may appear as co-authors of a paper, but the student must be the 'first author');
- the entrant can be a (co-)author in at most one paper submitted to the competition;
- the paper must not have won a previous ICS Student Paper Award;
-the entrant must be an ICS member in the year the submission is made.
Note that ICS student membership costs just $1.
Application Process:
Nominations should be sent electronically to the Chair of the Award Selection Committee no later than midnight EDT, July 31, 2012. The nomination packet should include the following:
- The nominated paper (30 pages or less, 1 inch margins, double spaced, and 12 point font and in the standard format of INFORMS Journal on Computing) in pdf;
- an email address and phone number where the entrant can be contacted in the event they are selected as a finalist;
- letter(s) (in pdf format) signed by all coauthors of the paper and the entrant attesting that the seven eligibility conditions are met.
The 2012 ICS Student Paper Award Committee members are: Peter Frazier (Cornell), Cindy Phillips (Sandia), and Andreas Schulz, Chair (MIT).
For details, please see this page online:
http://www.informs.org/Community/ICS/Prizes/Student-Paper-Award
For nominations and further queries, please contact:
Andreas Schulz, MIT
Email: schulz@mit.edu
**********************************************************
*
* 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/
*
**********************************************************
Subscribe to:
Posts (Atom)
Posts
