[Please post - apologies for multiple copies.]
Second Call for Papers
SCSS 2013
Symbolic Computation in Software Science
5th International Symposium
Castle of Hagenberg, Austria, July 5-6, 2013
Research Institute for Symbolic Computation (RISC)
Johannes Kepler University Linz
http://www.risc.jku.at/conferences/scss2013/
Scope
--------
The purpose of SCSS 2013 is to promote research on theoretical and
practical
aspects of symbolic computation in software science. The symposium provides
a forum for active dialog between researchers from several fields of
computer
algebra, algebraic geometry, algorithmic combinatorics, computational
logic,
and software analysis and verification.
SCSS 2013 solicits both regular and tool papers on all aspects of symbolic
computation and their applications in software science. The topics of the
symposium include, but are not limited to the following:
- automated reasoning
- algorithm (program) synthesis and/or verification
- formal methods for the analysis of network security
- termination analysis and complexity analysis of algorithms (programs)
- extraction of specifications from algorithms (programs)
- theorem proving methods and techniques
- proof carrying code
- generation of inductive assertion for algorithm (programs)
- algorithm (program) transformations
- formalization and computerization of knowledge (maths, medicine,
economy, etc.)
- component-based programming
- computational origami
- query languages (in particular for XML documents)
- semantic web and cloud computing
Invited Speakers
----------------
Bruno Buchberger (RISC, Johannes Kepler University Linz, Austria)
Joel Ouaknine (Oxford University, UK)
Program Chair
--------------
Laura Kovacs (Vienna University of Technology, Austria and Chalmers
University of
Technology, Sweden)
Program Committee
------------------
María Alpuente (Technical University of Valencia, Spain)
Serge Autexier (DFKI, Germany)
Nikolaj Bjorner (Microsoft Research)
Adel Bouhoula (Higher School of Communications of Tunis, Tunisia)
Iliano Cervesato (Carnegie Mellon University — Qatar Campus)
Horatiu Cirstea (Loria, France)
Jürgen Giesl (RWTH Aachen, Germany)
Tetsuo Ida (University of Tsukuba, Japan)
Paul Jackson (University of Edinburgh, UK)
Tudor Jebelean (RISC, Johannes Kepler University Linz, Austria)
Cezary Kaliszyk (University of Innsbruck, Austria)
Fairouz Kamareddine (Heriot-Watt University, UK)
Temur Kutsia (RISC, Johannes Kepler University Linz, Austria)
Stephan Merz (INRIA Lorraine, France)
Ali Mili (New Jersey Institute of Technology, USA)
Yasuhiko Minamide (University of Tsukuba, Japan)
Pierre-Etienne Moreau (INRIA-LORIA Nancy, France)
André Platzer (Carnegie Mellon University, USA)
Stefan Ratschan (Czech Academy of Sciences)
Rachid Rebiha (University of Lugano, Switzerland and IC Unicamp, Brazil)
Enric Rodríguez Carbonell (Technical University of Catalonia, Spain)
Sorin Stratulat (University of Lorraine, Metz, France)
Thomas Sturm (Max Planck Institute for Informatics, Germany)
Symposium Chair
---------------
Temur Kutsia (RISC, Johannes Kepler University Linz, Austria)
Important Dates
---------------
April 30, 2013: Abstract submission deadline
May 3, 2013: Paper submission deadline
June 3, 2013: Notification of acceptance
June 17, 2013: Camera-ready copy deadline
July 5-6, 2013: SCSS 2013, Castle of Hagenberg, Austria
Submission
----------
Submission is via EasyChair:
https://www.easychair.org/conferences/?conf=scss2013.
Submissions are invited in two categories: regular research papers and tool
papers.
- Regular research papers must not exceed 12 pages in the EasyChair
Class format,
with up to 3 additional pages for technical appendices.
- Tool papers must not exceed 6 pages in the EasyChair Class format.
Publication
----------
The proceedings of SCSS 2013 will be published as a RISC technical report.
After the symposium, authors of accepted papers at SCSS 2013 will be
invited to
submit an extended version of their paper to the special issue of the
Journal of Symbolic Computation on SCSS. Submitted papers to the JSC
special
issue will undergo an additional reviewing.
**********************************************************
*
* Contributions to be spread via DMANET are submitted to
*
* DMANET@zpr.uni-koeln.de
*
* Replies to a message carried on DMANET should NOT be
* addressed to DMANET but to the original sender. The
* original sender, however, is invited to prepare an
* update of the replies received and to communicate it
* via DMANET.
*
* DISCRETE MATHEMATICS AND ALGORITHMS NETWORK (DMANET)
* http://www.zaik.uni-koeln.de/AFS/publications/dmanet/
*
**********************************************************
Tuesday, April 16, 2013
Monday, April 15, 2013
[DMANET] :: SAME 2013 at C&T 2013/Munich: Information Management and Systems Supporting Sustainable Communities with Smart Media and Automated Systems ::
=========================================================================================================
CALL FOR POSITION PAPERS
SAME 2013
6th International Workshop on Semantic Ambient Media Experience (SAME 2013)
Defining the Research Agenda for
Information Management and Systems Supporting Sustainable
Communities with Smart Media and Automated Systems
29 June - 02 July 2013
in conjunction with C&T 2013
http://www.tut.fi/emmi/WWW/SAME2013
http://www.ct2013.cnss.de/
------ EXTENDED SUBMISSION DEADLINE: 6th MAY 2013 (!!!)
SAME 2013
=========================================================================================================
Sustainability and sustainable urban environments are one of the goals of various research agendas
and initiatives as e.g. the Regions of Climate Actions (R20). SAME 2013 devotes to the challenge, how
information management and systems can support sustainable communities in their regional settings.
This workshop focuses on the development of a research agenda around the wider topic of how smart
media and automated systems can support the larger context of sustainability for communities with
the help of information systems, social web technologies, smart media, and automated systems. The
workshop defines a research agenda within this particular context, and especially devotes to the
investigation of opened research issues how ubiquitous and pervasive computation can be utilized to
create sustainable communities. Energy conservation and saving are one of the key-words SAME 2013
will devote its focus: sustainable cities ? sustainable community ? sustainable energy ? sustainable
culture supported by smart information systems, smart media, and fully automated systems. Smart
electronics and infrastructure will be one major component in creating a green city environment.
Within the scope of this workshop, the goal is to investigate smart technologies, policies, and projects
that are devoting to the issue of sustainable communities to create a better living experience.
WORKSHOP CHALLENGES
=========================================================================================================
The workshop aims at answering the following questions for applications, methods, techniques, and
installations that follow the no-screen, no-keyboard, and no-mouse device idea:
? Community requirements to create sustainability
? Regional requirements (e.g. development world) for sustainability
? Information systems and management supporting sustainability
? Solutions and applications supporting sustainable developments
? Community and social aspects creating sustainable values
? Smart energy, smart grid, and smart consumer solutions
? Smart technologies and information systems supporting sustainable cities
? Sustainable presentation of information and learning experience
? Projects, policies, and regulations exist to support sustainability with smart media
? Which algorithms and methods exist to gain knowledge about energy and sustainability
? Collaborative or audience participatory content support sustainability
? Training communities to support sustainable smart media
? Storytelling and art that supporting sustainability
? Community projects creating sustainable smart environments
? Strategies for business value for smart sustainable environments
? Experience design, prototyping, and business models in the context of sustainable communities
? AND SEVERAL TOPICS WHAT THE SAME SERIES IS KNOWN FOR (!!!!)
TOPICS OF INTEREST
=========================================================================================================
The following (and related) topics are within the scope of this workshop and shall act as examples:
? Creation of sustainable communities
? Ubiquitous computation for sustainable environments
? Methods and tools to develop smart sustainable environments
? Intelligent environments creating community value
? Business models, value-creation, and opportunities
? Social web approaches supporting sustainability
? Semantics, and intelligence of ambient media creating sustainability
? Energy saving through smart electronics
? Innovations in finance, technologies, and policies
? Lower cost clean energy through smart technologies
? Sustainable community projects
? Smart media for sustainability
We are also aiming at multidisciplinary, highly future oriented submissions that help to develop the
ambient media form for entertainment services, such as:
=========================================================================================================
? Case-studies (successful, and especially unsuccessful ones)
? Oral presentation of fresh and innovative ideas
? Artistic installations and running system prototypes
? User-experience studies and evaluations
? Technological novelties, evaluations, and solutions
PAPER SOLICITATION, SUBMISSION AND SELECTION PROCESS
=========================================================================================================
* 300 word Position papers should be submitted as word
document at: http://www.tut.fi/emmi/Submissions/2013SAME/
* In addition, each submission should contain: title, list of authors, abstract, list of 3 potential
own research contributions and a brief description, list of 5 research questions including a brief
description, and a brief literature review of the 5 most significant publications contributing to
the thematic, and a free form body text describing the own view in 300 words
* Final submissions are expected to be 5-10 pages papers according the paper format of C&T
available at http://www.ct2013.cnss.de/cfp/
* Please submit your paper at our paper submission system:
http://www.tut.fi/emmi/Submissions/2013SAME/chair/
* Each contribution will be double blind reviewed and the top 10 paper will be selected
depending on the review results
* Best contributions will be compiled to a special issue following up the workshop - we aim at
Springer MTAP after reviewing the quality of contributions
* The workshop will be held according the method ?Design Thinking?, which has been
traditionally applied in the SAME series context
IMPORTANT DATES
=========================================================================================================
Submission deadlines (deadlines for this workshop are strictly observed!):
* 6th May 2013: Deadline for Position Paper Submissions
* 25th May 2013: Notification of Accepted Workshop Position Papers
* 15th June 2013: Camera Ready Accepted Workshop Papers Due
* 29th June 2013: Workshop day
WORKSHOP SERIES CONTEXT
=========================================================================================================
Pervious Workshops on Semantic Ambient Media Experience:
? 1st International Workshop on Semantic Ambient Media Experiences held in conjunction with
ACM Multimedia 2008, (Vancouver, Canada),
http://portal.acm.org/toc.cfm?id=1461912&type=proceeding&coll=ACM&dl=ACM&CFID=9675
3168&CFTOKEN=49706448
? 2nd International Workshop on Semantic Ambient Media Experiences held in conjunction with
AmI-09, (Salzburg, Austria), http://webhotel2.tut.fi/emmi/forum/node/55
? 3rd International Workshop on Semantic Ambient Media Experiences held in conjunction with
AmI-10, (Malaga, Spain), http://www.ambientmediaassociation.org/node/56
? 4rd International Workshop on Semantic Ambient Media Experiences held in conjunction with
5th International Conference on Communities and Technologies, Brisbane, Australia,
http://www.ambientmediaassociation.org/node/60
? 5th International Workshop on Semantic Ambient Media Experience held in conjunction with
Pervasive 2012
PREVIOUS SPECIAL ISSUES
=========================================================================================================
For each held workshop, a special issue has been created with Springer-Verlag Multimedia Tools &
Applications. The workshop shall gather people from industry and academia to develop the vision of
ambient media as new form of smart media.
WORKSHOP CHAIRS
=========================================================================================================
? Artur Lugmayr, Tampere University of Technology (TUT) & lugYmedia Inc., FINLAND
? Estefan?a Serral Asensio, Technical University Wien (TUW), AUSTRIA
? Bjoern Stockleben, Univ. of Applied Sciences Magdeburg, GERMANY
? Thomas Risse, L3S Research Center, GERMANY
? Bogdan Pogorelc, Jozef Stefan Institute & Spica International d.o.o., SLOVENIA
**********************************************************
*
* 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 POSITION PAPERS
SAME 2013
6th International Workshop on Semantic Ambient Media Experience (SAME 2013)
Defining the Research Agenda for
Information Management and Systems Supporting Sustainable
Communities with Smart Media and Automated Systems
29 June - 02 July 2013
in conjunction with C&T 2013
http://www.tut.fi/emmi/WWW/SAME2013
http://www.ct2013.cnss.de/
------ EXTENDED SUBMISSION DEADLINE: 6th MAY 2013 (!!!)
SAME 2013
=========================================================================================================
Sustainability and sustainable urban environments are one of the goals of various research agendas
and initiatives as e.g. the Regions of Climate Actions (R20). SAME 2013 devotes to the challenge, how
information management and systems can support sustainable communities in their regional settings.
This workshop focuses on the development of a research agenda around the wider topic of how smart
media and automated systems can support the larger context of sustainability for communities with
the help of information systems, social web technologies, smart media, and automated systems. The
workshop defines a research agenda within this particular context, and especially devotes to the
investigation of opened research issues how ubiquitous and pervasive computation can be utilized to
create sustainable communities. Energy conservation and saving are one of the key-words SAME 2013
will devote its focus: sustainable cities ? sustainable community ? sustainable energy ? sustainable
culture supported by smart information systems, smart media, and fully automated systems. Smart
electronics and infrastructure will be one major component in creating a green city environment.
Within the scope of this workshop, the goal is to investigate smart technologies, policies, and projects
that are devoting to the issue of sustainable communities to create a better living experience.
WORKSHOP CHALLENGES
=========================================================================================================
The workshop aims at answering the following questions for applications, methods, techniques, and
installations that follow the no-screen, no-keyboard, and no-mouse device idea:
? Community requirements to create sustainability
? Regional requirements (e.g. development world) for sustainability
? Information systems and management supporting sustainability
? Solutions and applications supporting sustainable developments
? Community and social aspects creating sustainable values
? Smart energy, smart grid, and smart consumer solutions
? Smart technologies and information systems supporting sustainable cities
? Sustainable presentation of information and learning experience
? Projects, policies, and regulations exist to support sustainability with smart media
? Which algorithms and methods exist to gain knowledge about energy and sustainability
? Collaborative or audience participatory content support sustainability
? Training communities to support sustainable smart media
? Storytelling and art that supporting sustainability
? Community projects creating sustainable smart environments
? Strategies for business value for smart sustainable environments
? Experience design, prototyping, and business models in the context of sustainable communities
? AND SEVERAL TOPICS WHAT THE SAME SERIES IS KNOWN FOR (!!!!)
TOPICS OF INTEREST
=========================================================================================================
The following (and related) topics are within the scope of this workshop and shall act as examples:
? Creation of sustainable communities
? Ubiquitous computation for sustainable environments
? Methods and tools to develop smart sustainable environments
? Intelligent environments creating community value
? Business models, value-creation, and opportunities
? Social web approaches supporting sustainability
? Semantics, and intelligence of ambient media creating sustainability
? Energy saving through smart electronics
? Innovations in finance, technologies, and policies
? Lower cost clean energy through smart technologies
? Sustainable community projects
? Smart media for sustainability
We are also aiming at multidisciplinary, highly future oriented submissions that help to develop the
ambient media form for entertainment services, such as:
=========================================================================================================
? Case-studies (successful, and especially unsuccessful ones)
? Oral presentation of fresh and innovative ideas
? Artistic installations and running system prototypes
? User-experience studies and evaluations
? Technological novelties, evaluations, and solutions
PAPER SOLICITATION, SUBMISSION AND SELECTION PROCESS
=========================================================================================================
* 300 word Position papers should be submitted as word
document at: http://www.tut.fi/emmi/Submissions/2013SAME/
* In addition, each submission should contain: title, list of authors, abstract, list of 3 potential
own research contributions and a brief description, list of 5 research questions including a brief
description, and a brief literature review of the 5 most significant publications contributing to
the thematic, and a free form body text describing the own view in 300 words
* Final submissions are expected to be 5-10 pages papers according the paper format of C&T
available at http://www.ct2013.cnss.de/cfp/
* Please submit your paper at our paper submission system:
http://www.tut.fi/emmi/Submissions/2013SAME/chair/
* Each contribution will be double blind reviewed and the top 10 paper will be selected
depending on the review results
* Best contributions will be compiled to a special issue following up the workshop - we aim at
Springer MTAP after reviewing the quality of contributions
* The workshop will be held according the method ?Design Thinking?, which has been
traditionally applied in the SAME series context
IMPORTANT DATES
=========================================================================================================
Submission deadlines (deadlines for this workshop are strictly observed!):
* 6th May 2013: Deadline for Position Paper Submissions
* 25th May 2013: Notification of Accepted Workshop Position Papers
* 15th June 2013: Camera Ready Accepted Workshop Papers Due
* 29th June 2013: Workshop day
WORKSHOP SERIES CONTEXT
=========================================================================================================
Pervious Workshops on Semantic Ambient Media Experience:
? 1st International Workshop on Semantic Ambient Media Experiences held in conjunction with
ACM Multimedia 2008, (Vancouver, Canada),
http://portal.acm.org/toc.cfm?id=1461912&type=proceeding&coll=ACM&dl=ACM&CFID=9675
3168&CFTOKEN=49706448
? 2nd International Workshop on Semantic Ambient Media Experiences held in conjunction with
AmI-09, (Salzburg, Austria), http://webhotel2.tut.fi/emmi/forum/node/55
? 3rd International Workshop on Semantic Ambient Media Experiences held in conjunction with
AmI-10, (Malaga, Spain), http://www.ambientmediaassociation.org/node/56
? 4rd International Workshop on Semantic Ambient Media Experiences held in conjunction with
5th International Conference on Communities and Technologies, Brisbane, Australia,
http://www.ambientmediaassociation.org/node/60
? 5th International Workshop on Semantic Ambient Media Experience held in conjunction with
Pervasive 2012
PREVIOUS SPECIAL ISSUES
=========================================================================================================
For each held workshop, a special issue has been created with Springer-Verlag Multimedia Tools &
Applications. The workshop shall gather people from industry and academia to develop the vision of
ambient media as new form of smart media.
WORKSHOP CHAIRS
=========================================================================================================
? Artur Lugmayr, Tampere University of Technology (TUT) & lugYmedia Inc., FINLAND
? Estefan?a Serral Asensio, Technical University Wien (TUW), AUSTRIA
? Bjoern Stockleben, Univ. of Applied Sciences Magdeburg, GERMANY
? Thomas Risse, L3S Research Center, GERMANY
? Bogdan Pogorelc, Jozef Stefan Institute & Spica International d.o.o., SLOVENIA
**********************************************************
*
* 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] Two One-Day Colloquia in Combinatorics 2013
Two One-Day Colloquia in Combinatorics
London, 15th - 16h May 2013
These now-traditional events will take place at Queen Mary (Wednesday
15th May) and LSE (Thursday 16th May). The programme at Queen Mary
starts at 10:30; at LSE, we will start at 10:00.
The speakers at Queen Mary are: Julia Boettcher, Ben Green, Simon
Griffiths, Dan Hefetz, Wojciech Samotij and Anusch Taraz.
The speakers at LSE are: Noga Alon, Roman Glebov, Gábor Kun, Viresh
Patel, Endre Szemerédi and Julia Wolf.
See http://www2.lse.ac.uk/maths/Seminars/Colloquia_2013.aspx
for the details of the programme, abstracts of the talks, and information
about the venues.
**********************************************************
*
* 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/
*
**********************************************************
London, 15th - 16h May 2013
These now-traditional events will take place at Queen Mary (Wednesday
15th May) and LSE (Thursday 16th May). The programme at Queen Mary
starts at 10:30; at LSE, we will start at 10:00.
The speakers at Queen Mary are: Julia Boettcher, Ben Green, Simon
Griffiths, Dan Hefetz, Wojciech Samotij and Anusch Taraz.
The speakers at LSE are: Noga Alon, Roman Glebov, Gábor Kun, Viresh
Patel, Endre Szemerédi and Julia Wolf.
See http://www2.lse.ac.uk/maths/Seminars/Colloquia_2013.aspx
for the details of the programme, abstracts of the talks, and information
about the venues.
**********************************************************
*
* 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 call for papers OR2013
-----------------------------------------------------------------
Third Call for Papers: OR 2013
-----------------------------------------------
International Conference on Operations Research Rotterdam, September 3-6,2013 http://www.or2013.org/
------------------------------------------------------
Dear colleagues,
We cordially invite you to submit abstracts to OR 2013, the International Conference on Operations Research organized by the German and Dutch OR societies. Under the theme "Impact on People, Business and Society" this conference intends to be a forum for researchers and practitioners to discuss the latest OR developments.
Important dates:
---------------------
Submission deadline: April 30, 2013
Notification of acceptance: May 31, 2013
Deadline early registration: June 30, 2013
Conference date: September 3-6, 2013
In particular, we would like to emphasize the following streams:
Streams and chairs
-------------------------
* Discrete and Combinatorial Optimization, Graphs and Networks (Prof. Stan van Hoesel)
* Decision Analysis and Multiple Criteria Decision Making (Prof. Martin Geiger)
* Information Systems, Neural Nets and Fuzzy Systems (Dr. Hans-Georg Zimmermann)
* Scheduling and Project Management (Prof. Erwin Pesch) * Simulation and System Dynamics (Prof. Henk Akkermans) * Software Applications and Modelling Systems (Prof. Joaquim Gromicho)
Plenary Speakers
-----------------
Alexander Rinooy Kan (University of Amsterdam, The Netherlands)
Steve Sashihara (Princeton Consultants, USA)
Semi-plenary Speakers
---------------------
Miguel Anjos (École Polytechnique de Montréal, Canada)
Rommert Dekker (Erasmus University Rotterdam, The Netherlands)
Erik Demeulemeester (Catholic University of Louvain, Belgium)
Fred Espen Benth (University of Oslo, Norway)
Dick den Hertog (Tilburg University, The Netherlands)
Nelly Litvak (University of Twente, The Netherlands)
Andrea Lodi (University of Bologna, Italy)
Kalyan Talluri (Universitat Pompeu Fabra, Spain)
Horst Tempelmeier (University of Cologne, Germany)
Stein W. Wallace (Norwegian School of Economics, Norway)
For any further information please visit the conference web page: www.or2013.org.
or contact or2013@ese.eur.nl.
Best regards,
the organizing committee of OR2013
Disclaimer
________________________________
De informatie verzonden in dit e-mail bericht inclusief de bijlage(n) is vertrouwelijk en is uitsluitend bestemd voor de geadresseerde van dit bericht. Lees verder: www.eur.nl/email-disclaimer <http://www.eur.nl/email-disclaimer>
The information in this e-mail message is confidential and may be legally privileged. Read more: www.eur.nl/english/email-disclaimer<http://www.eur.nl/english/email-disclaimer>
________________________________
**********************************************************
*
* 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/
*
**********************************************************
Third Call for Papers: OR 2013
-----------------------------------------------
International Conference on Operations Research Rotterdam, September 3-6,2013 http://www.or2013.org/
------------------------------------------------------
Dear colleagues,
We cordially invite you to submit abstracts to OR 2013, the International Conference on Operations Research organized by the German and Dutch OR societies. Under the theme "Impact on People, Business and Society" this conference intends to be a forum for researchers and practitioners to discuss the latest OR developments.
Important dates:
---------------------
Submission deadline: April 30, 2013
Notification of acceptance: May 31, 2013
Deadline early registration: June 30, 2013
Conference date: September 3-6, 2013
In particular, we would like to emphasize the following streams:
Streams and chairs
-------------------------
* Discrete and Combinatorial Optimization, Graphs and Networks (Prof. Stan van Hoesel)
* Decision Analysis and Multiple Criteria Decision Making (Prof. Martin Geiger)
* Information Systems, Neural Nets and Fuzzy Systems (Dr. Hans-Georg Zimmermann)
* Scheduling and Project Management (Prof. Erwin Pesch) * Simulation and System Dynamics (Prof. Henk Akkermans) * Software Applications and Modelling Systems (Prof. Joaquim Gromicho)
Plenary Speakers
-----------------
Alexander Rinooy Kan (University of Amsterdam, The Netherlands)
Steve Sashihara (Princeton Consultants, USA)
Semi-plenary Speakers
---------------------
Miguel Anjos (École Polytechnique de Montréal, Canada)
Rommert Dekker (Erasmus University Rotterdam, The Netherlands)
Erik Demeulemeester (Catholic University of Louvain, Belgium)
Fred Espen Benth (University of Oslo, Norway)
Dick den Hertog (Tilburg University, The Netherlands)
Nelly Litvak (University of Twente, The Netherlands)
Andrea Lodi (University of Bologna, Italy)
Kalyan Talluri (Universitat Pompeu Fabra, Spain)
Horst Tempelmeier (University of Cologne, Germany)
Stein W. Wallace (Norwegian School of Economics, Norway)
For any further information please visit the conference web page: www.or2013.org.
or contact or2013@ese.eur.nl.
Best regards,
the organizing committee of OR2013
Disclaimer
________________________________
De informatie verzonden in dit e-mail bericht inclusief de bijlage(n) is vertrouwelijk en is uitsluitend bestemd voor de geadresseerde van dit bericht. Lees verder: www.eur.nl/email-disclaimer <http://www.eur.nl/email-disclaimer>
The information in this e-mail message is confidential and may be legally privileged. Read more: www.eur.nl/english/email-disclaimer<http://www.eur.nl/english/email-disclaimer>
________________________________
**********************************************************
*
* 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 in Algorithms at Eindhoven University of Technology
A PhD position is available in the area of algorithms, in the department
of Mathematics and Computer Science at Eindhoven University of Technology.
The goal of the project is to address various fundamental algorithmic questions
arising in areas such as scheduling, network design and graph partitioning.
The focus will be on designing approximation and online algorithms for
such problems.
The PhD will be under the guidance of Dr. Nikhil Bansal in the Combinatorial
Optimization Group. The group has several researchers working in optimization
and algorithms and benefits from close proximity to various institutes
such as CWI, Utrecht, Maastricht and VU Amsterdam.
Requirements: The candidate should have a masters degree or equivalent
in computer science or mathematics; strong interest and background in
theoretical computer science; and good communication skills in
English, both written and oral.
Appointment and salary: This will be a full-time temporary appointment
for a period
of 4 years, with an intermediate evaluation after 9 months. The
expected starting date is September 2013. The gross salary will be €
2,062 per month
in the first year increasing up to € 2,638 per month in the fourth year.
To apply please submit a CV, motivation letter and the names and addresses of
at least two referees to Nikhil Bansal, e-mail: n.bansal@tue.nl
The deadline for applying is April 30, 2013.
**********************************************************
*
* Contributions to be spread via DMANET are submitted to
*
* DMANET@zpr.uni-koeln.de
*
* Replies to a message carried on DMANET should NOT be
* addressed to DMANET but to the original sender. The
* original sender, however, is invited to prepare an
* update of the replies received and to communicate it
* via DMANET.
*
* DISCRETE MATHEMATICS AND ALGORITHMS NETWORK (DMANET)
* http://www.zaik.uni-koeln.de/AFS/publications/dmanet/
*
**********************************************************
of Mathematics and Computer Science at Eindhoven University of Technology.
The goal of the project is to address various fundamental algorithmic questions
arising in areas such as scheduling, network design and graph partitioning.
The focus will be on designing approximation and online algorithms for
such problems.
The PhD will be under the guidance of Dr. Nikhil Bansal in the Combinatorial
Optimization Group. The group has several researchers working in optimization
and algorithms and benefits from close proximity to various institutes
such as CWI, Utrecht, Maastricht and VU Amsterdam.
Requirements: The candidate should have a masters degree or equivalent
in computer science or mathematics; strong interest and background in
theoretical computer science; and good communication skills in
English, both written and oral.
Appointment and salary: This will be a full-time temporary appointment
for a period
of 4 years, with an intermediate evaluation after 9 months. The
expected starting date is September 2013. The gross salary will be €
2,062 per month
in the first year increasing up to € 2,638 per month in the fourth year.
To apply please submit a CV, motivation letter and the names and addresses of
at least two referees to Nikhil Bansal, e-mail: n.bansal@tue.nl
The deadline for applying is April 30, 2013.
**********************************************************
*
* Contributions to be spread via DMANET are submitted to
*
* DMANET@zpr.uni-koeln.de
*
* Replies to a message carried on DMANET should NOT be
* addressed to DMANET but to the original sender. The
* original sender, however, is invited to prepare an
* update of the replies received and to communicate it
* via DMANET.
*
* DISCRETE MATHEMATICS AND ALGORITHMS NETWORK (DMANET)
* http://www.zaik.uni-koeln.de/AFS/publications/dmanet/
*
**********************************************************
[DMANET] Computational Optimization, new information about post conference publication
[Please post - apologies for multiple copies.]
------------
Call for Papers
6th Workshop on Computational Optimization (WCO 2013)
Krakow, Poland, September 8 - 11, 2013
organized in the framework of FEDERATED CONFERENCE ON COMPUTER SCIENCE
AND INFORMATION SYSTEMS
FedCSIS - 2013
http://www.fedcsis.org/
====================
We invite original contributions related with both theoretical and
practical aspects of optimization methods.
The list of topics includes, but is not limited to:
* unconstrained and constrained optimization
* combinatorial optimization
* global optimization
* multiobjective optimization
* optimization in dynamic and/or noisy environments
* large scale optimization
* parallel and distributed approaches in optimization
* random search algorithms, simulated annealing, tabu search and other
derivative free optimization methods
* nature inspired optimization methods (evolutionary algorithms, ant
colony optimization, particle swarm optimization, immune artificial
systems etc)
* hybrid optimization algorithms involving natural computing
techniques and other global and local optimization methods
* computational biology and optimization
* distance geometry and applications
* optimization methods for learning processes and data mining
* application of optimization methods on real life and industrial problems
* computational optimization methods in statistics, econometrics,
finance, physics, medicine, engineering etc
====================
Important dates:
12.05.2013 (May 12, 2013): Full paper submission
17.06.2013 (June 17, 2013): Notification of acceptance
8.07.2013 (July 8, 2013): Camera-ready version of the accepted paper
and registration
====================
Submission and Publication
* Authors should submit draft papers as PDF.
* The total length of a paper should not exceed 8 pages (IEEE style).
IEEE style templates are available at http://www.fedcsis.org/.
* Papers will be refereed and accepted on the basis of their
scientific merit and relevance to the workshop.
* Accepted and Presented papers will be published in the Conference
Proceedings and included in the IEEE Xplore database (pending) and
indexed in the DBLP.
* Extended versions of selected papers presented during the conference
will be published as Special Issue(s) in Studies of Computational
Intelligence of Springer.
====================
If you have any question do not hesitate to send a mail to wco2013@fedcsis.org .
Workshop co-chairs:
Stefka Fidanova, Bulgaria
Antonio Mucherino, France
Daniela Zaharie, Romania
--
Assoc. Prof. Stefka Fidanova
IICT-BAS
Acad. G. Bonchev str. bl.25A
1113 Sofia Bulgaria
Ph. +359-2-9796642
**********************************************************
*
* 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
6th Workshop on Computational Optimization (WCO 2013)
Krakow, Poland, September 8 - 11, 2013
organized in the framework of FEDERATED CONFERENCE ON COMPUTER SCIENCE
AND INFORMATION SYSTEMS
FedCSIS - 2013
http://www.fedcsis.org/
====================
We invite original contributions related with both theoretical and
practical aspects of optimization methods.
The list of topics includes, but is not limited to:
* unconstrained and constrained optimization
* combinatorial optimization
* global optimization
* multiobjective optimization
* optimization in dynamic and/or noisy environments
* large scale optimization
* parallel and distributed approaches in optimization
* random search algorithms, simulated annealing, tabu search and other
derivative free optimization methods
* nature inspired optimization methods (evolutionary algorithms, ant
colony optimization, particle swarm optimization, immune artificial
systems etc)
* hybrid optimization algorithms involving natural computing
techniques and other global and local optimization methods
* computational biology and optimization
* distance geometry and applications
* optimization methods for learning processes and data mining
* application of optimization methods on real life and industrial problems
* computational optimization methods in statistics, econometrics,
finance, physics, medicine, engineering etc
====================
Important dates:
12.05.2013 (May 12, 2013): Full paper submission
17.06.2013 (June 17, 2013): Notification of acceptance
8.07.2013 (July 8, 2013): Camera-ready version of the accepted paper
and registration
====================
Submission and Publication
* Authors should submit draft papers as PDF.
* The total length of a paper should not exceed 8 pages (IEEE style).
IEEE style templates are available at http://www.fedcsis.org/.
* Papers will be refereed and accepted on the basis of their
scientific merit and relevance to the workshop.
* Accepted and Presented papers will be published in the Conference
Proceedings and included in the IEEE Xplore database (pending) and
indexed in the DBLP.
* Extended versions of selected papers presented during the conference
will be published as Special Issue(s) in Studies of Computational
Intelligence of Springer.
====================
If you have any question do not hesitate to send a mail to wco2013@fedcsis.org .
Workshop co-chairs:
Stefka Fidanova, Bulgaria
Antonio Mucherino, France
Daniela Zaharie, Romania
--
Assoc. Prof. Stefka Fidanova
IICT-BAS
Acad. G. Bonchev str. bl.25A
1113 Sofia Bulgaria
Ph. +359-2-9796642
**********************************************************
*
* 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: WASA-NGI-VI co-located with IEEE LCN 2013
CFP: WASA-NGI-VI co-located with IEEE LCN 2013
(We apologize for duplicate copies)
(We apologize for duplicate copies)
CALL FOR PAPERS:
WASA-NGI-VI -
6th Int. Workshop on Architectures, Services, and Applications
for the Next Generation Internet
Collocated with IEEE LCN 2013 in Sidney, Australia
October 24, 2013
http://ipvs.informatik.uni-stuttgart.de/vs/wasangi6/
WORKSHOP SCOPE
The 6th Workshop on Architectures, Services and Applications invites
researchers and practitioners to share their ideas on novel network
architectures and services to support emerging "big data" Internet
applications. The workshop focuses especially on architectures and
services that expose high flexibility for scaling applications and also
provide efficient processing of data streams. This includes all aspects
related to QoS, mobility, heterogeneity, and interoperability while
employing the possibilities of novel communication technologies such as
content-centric and software-defined networking.
WORKSHOP TOPICS
The workshop solicits contributions regarding novel and possibly
preliminary research results related, but not limited to the following
list of topics:
* Novel "big data" Internet applications and their requirements for
Future Internet architectures and services
* New Internet architectures and services enabling scalable and flexible
deployment of data-intensive Internet applications, e.g.,
content-centric networking
* Elastic functions and supporting data distribution networks, e.g.,
using server and/or network virtualization and software-defined networking
* Peer-to-peer and service overlay networks for building communication
services with support for QoS, mobility, heterogeneity, and
interoperability
* Communication paradigms and models for data intensive computing, e.g.,
event processing, publish/subscribe, map reduce, group communication
* Solutions for data-gathering over heterogeneous network technologies,
e.g., global sensor networks, delay-tolerant networks and so on
SUBMISSION GUIDELINES
Papers should be submitted in PDF format via the workshop page.
Contributions should present novel and possibly preliminary research
results (up to 8 camera-ready pages in 10 pt IEEE format).
Each submission will be reviewed by three members of the program
committee. Papers are selected according to their originality, quality,
and relevance to the workshop topics. Accepted papers will appear in the
LCN Workshop proceedings and will be published within the IEEE digital
library. For accepted papers, at least one author must register for the
workshop and give a presentation at the workshop.
IMPORTANT DATES
Submission deadline: 05/12/2013
Author notification: 06/30/2013
Camera-ready version: 07/30/2013
Registration deadline: TBA
ORGANIZATION
Co-Chairs
Roland Bless (Karlsruhe Institute of Technology, Germany)
Boris Koldehofe (Universität Stuttgart, Germany)
Oliver Waldhorst (Karlsruhe Institute of Technology, Germany)
Program Committee
TBD
**********************************************************
*
* 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 position in Formal Verification
One PhD position is available with Dr. Paolo Zuliani at Newcastle University to work on SAT/SMT-based verification techniques for cyber-physical systems. The position is part of a research project with Carnegie Mellon University (USA) funded by the Office of Naval Research, and it covers stipend (14,790GBP per year) and tuition fees for three years.
This project is a collaborative effort between Carnegie Mellon University, Newcastle University, and Smart Information Flow Technologies. The Principal Investigator is Prof. Edmund M. Clarke, co-recipient of the 2007 ACM Turing Award. The project investigator at Newcastle is Dr. Paolo Zuliani.
The formal advertisement is here. For more information please see the project summary or contact Dr. Paolo Zuliani, paolo.zuliani@ncl.ac.uk
[DMANET] CALL FOR PARTICIPATION - ACM e-Energy 2013
CALL FOR PARTICIPATION
ACM e-Energy 2013
The Forth International Conference on Future Energy Systems
May 22-24 2013, Berkeley, California, USA
Sponsored by ACM SIGCOMM
We are pleased to invite you to attend the Forth International
Conference on Future Energy Systems (ACM e-Energy), where energy,
computing and communication meet.
After the successful experiences of Passau (Germany) in 2010, New York
City (USA) in 2011, and Madrid (Spain) in 2012, this forth edition
will be held in Berkeley (California, USA), on May 22-24, 2013.
This year we are proud to present an exciting technical program
including 22 high quality papers, and 18 posters and demos presenting
the state-of-the-art research carried out by universities, research
centers and companies in the broad areas of computing and
communication for smart energy systems (including the smart grid), and
in energy-efficient computing and communication systems.
The technical program will also include three Keynotes and one vibrant
panel. The keynote speakers are Dr. Jeffrey D. Taft (CISCO Connected
Energy Networks Chief Architect), Dr. Alexandra Von Meier (co-Director
of the California Institute for Energy and Environment) and Dr. Arun
Majumdar (Google Inc.).
Detailed information on the conference is available at the following
website: http://conferences.sigcomm.org/eenergy/2013/
We encourage early registration as there is a strictly limited number
of places available. Early registration ends on April 30th, 2013.
We are looking forward to seeing you in Berkeley!!!
ACM e-Energy 2013 Organizing Committee
--
Dr. Vincenzo Mancuso
PhD in Electronics, Computer Science and Telecommunications
Staff Researcher at Institute IMDEA Networks
Avenida del Mar Mediterraneo, 22
28918 Leganes (Madrid)
SPAIN
Tel. (Office): +34 91 481 6968
Tel. (Mobile): +34 68 235 7169 [Spain]
Tel. (Mobile): +39 327 362 1897 [Italy]
**********************************************************
*
* 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/
*
**********************************************************
ACM e-Energy 2013
The Forth International Conference on Future Energy Systems
May 22-24 2013, Berkeley, California, USA
Sponsored by ACM SIGCOMM
We are pleased to invite you to attend the Forth International
Conference on Future Energy Systems (ACM e-Energy), where energy,
computing and communication meet.
After the successful experiences of Passau (Germany) in 2010, New York
City (USA) in 2011, and Madrid (Spain) in 2012, this forth edition
will be held in Berkeley (California, USA), on May 22-24, 2013.
This year we are proud to present an exciting technical program
including 22 high quality papers, and 18 posters and demos presenting
the state-of-the-art research carried out by universities, research
centers and companies in the broad areas of computing and
communication for smart energy systems (including the smart grid), and
in energy-efficient computing and communication systems.
The technical program will also include three Keynotes and one vibrant
panel. The keynote speakers are Dr. Jeffrey D. Taft (CISCO Connected
Energy Networks Chief Architect), Dr. Alexandra Von Meier (co-Director
of the California Institute for Energy and Environment) and Dr. Arun
Majumdar (Google Inc.).
Detailed information on the conference is available at the following
website: http://conferences.sigcomm.org/eenergy/2013/
We encourage early registration as there is a strictly limited number
of places available. Early registration ends on April 30th, 2013.
We are looking forward to seeing you in Berkeley!!!
ACM e-Energy 2013 Organizing Committee
--
Dr. Vincenzo Mancuso
PhD in Electronics, Computer Science and Telecommunications
Staff Researcher at Institute IMDEA Networks
Avenida del Mar Mediterraneo, 22
28918 Leganes (Madrid)
SPAIN
Tel. (Office): +34 91 481 6968
Tel. (Mobile): +34 68 235 7169 [Spain]
Tel. (Mobile): +39 327 362 1897 [Italy]
**********************************************************
*
* 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] MFCS 2013 - 2nd CFP - deadline: April 19
[We apologize for multiple copies.]
========================================================================
MFCS 2013 - Call for Papers
38th International Symposium on Mathematical Foundations of Computer Science
August 26 - 30, 2013, IST Austria, Klosterneuburg, Austria
http://http://ist.ac.at/mfcs13/
SUBMISSION DEADLINE: Friday, April 19, AOE
========================================================================
The series of MFCS symposia, organized since 1972, has a long and
well-established tradition. The MFCS symposia encourage high-quality research
in all branches of theoretical computer science. Their broad scope provides an
opportunity to bring together researchers who do not usually meet at
specialized conferences. Quality papers presenting original research on
theoretical aspects of computer science are solicited.
PRINCIPAL TOPICS
Principal topics of interest include (but are not limited to):
- algorithmic game theory,
- algorithmic learning theory,
- algorithms and data structures (incl. sequential, parallel, distributed,
approximation, graph, network, on-line, parameterized, optimization),
- automata, grammars and formal languages,
- bioinformatics,
- complexity (structural and computational),
- computational geometry,
- computer-assisted reasoning,
- concurrency theory,
- cryptography and security,
- databases and knowledge-based systems,
- formal specifications and program development,
- foundations of computing,
- logic in computer science,
- mobile computing,
- models of computation,
- networks (incl. wireless, sensor, ad-hoc),
- parallel and distributed computing,
- quantum computing,
- semantics and verification of programs,
- theoretical issues in artificial intelligence
INVITED SPEAKERS
- Sam Buss (UC San Diego)
- Martin Grohe (Humboldt U. Berlin, RWTH Aachen U)
- Leah Epstein (U. Haifa)
- Elias Koutsoupias (U. Athens)
- Jean Goubault-Larrecq (LSV, CNRS & ENS de Cachan)
- Nir Piterman (U. Leicester)
PROGRAM CHAIRS
- Jiri Sgall (Charles U., Czech Republic)
- Krishnendu Chatterjee (IST Austria, Austria)
PROGRAM COMMITTEE
- Parosh Abdulla (Uppsala U., Sweden)
- Eli Ben-Sasson (Technion, Israel)
- Nathalie Bertrand (INRIA Rennes, France)
- Markus Blaser (U. des Saarlandes, Germany)
- Tomas Brazdil (Masaryk U., Czech Republic)
- Ioannis Caragiannis (U. Patras, Greece)
- Krishnendu Chatterjee (IST Austria, Austria - Chair)
- Thomas Colcombet (LIAFA-CNRS, France)
- Anuj Dawar (U. Cambridge, UK)
- Giorgio Delzanno (U. Genova, Italy)
- Martin Dietzfelbinger (TU Ilmenau, Germany)
- Krzysztof Diks (U. Warsaw, Poland)
- Zoltan Esik (U. Szeged, Hungary)
- Sandor Fekete (TU Braunschweig, Germany)
- Eldar Fischer (Technion, Israel)
- Dmitry Gavinsky (NEC Labs, Princeton, USA)
- Andrew Goldberg (Microsoft Research, USA)
- Kristoffer Arnsfelt Hansen (Aarhus U., Denmark)
- Tao Jiang (UC Riverside, USA)
- Barbara Konig (U. Duisburg-Essen (UDE), Germany)
- Pascal Koiran (Ecole Normale Superieure de Lyon, France)
- Rastislav Kralovic (Comenius U., Slovakia)
- Erik Jan van Leeuwen (MPI, Saarbrucken, Germany)
- Stefano Leonardi (Sapienza U. Rome, Italy)
- Christof Loding (RWTH Aachen U., Germany)
- Zvi Lotker (Ben Gurion U., Israel)
- Jerzy Marcinkowski (U.Wroclaw, Poland)
- Daniel Marx (Hungarian Academy of Sciences, Hungary)
- Peter Bro Miltersen (Aarhus U., Denmark)
- Madhavan Mukund (CMI, India)
- Rasmus Pagh (IT U. Copenhagen, Denmark)
- Madhusudan Parthasarathy (UI Urbana-Champaign, USA)
- Daniel Paulusma (Durham U., UK)
- Holger Petersen (msg systems ag, Germany)
- Alex Rabinovich (Tel Aviv U., Israel)
- Rahul Santhanam (U. Edinburgh, UK)
- Jiri Sgall (Charles U., Czech Republic - Chair)
- Martin J. Strauss (U. Michigan, USA)
- Ola Svensson (EPFL, Switzerland)
- Maxim Sviridenko (U. Warwick, UK)
- Pavel Valtr (Charles U., Czech Republic)
- Peter Widmayer (ETH, Switzerland)
- Gerhard Woeginger (Eindhoven U. Technology, Netherlands)
- James Worrell (U. Oxford, UK)
IMPORTANT DEADLINES
- Paper submission deadline: April 19, 2013 AOE
- Author notification: June 4, 2013 AOE
- Camera-ready deadline: June 16, 2013 AOE
- Conference: August 26-30, 2013
PAPER SUBMISSION
Submissions to MFCS must not exceed 12 pages (in Springer-Verlag's Lecture
Notes style and including bibliography). If the authors believe that more
details are essential to substantiate the main claims, they may include a
clearly marked appendix that will be read at the discretion of the program
committee. Simultaneous submissions of papers to any other conference with
published proceedings or submitting previously published papers is not allowed.
Only electronic submissions in the PDF format are accepted. Information about
the submission procedure will be available on the conference web page in due
time. The proceedings will be published in the new ARCoSS subline of Lecture
Notes in Computer Science by Springer-Verlag.
Please submit via EasyChair
(https://www.easychair.org/conferences/?conf=mfcs2013).
STEERING COMMITETEE
- Juraj Hromkovic (Zurich)
- Antonin Kucera (Brno), chair
- Jerzy Marcinkowski (Wroclaw)
- Damian Niwinski (Warsaw)
- Branislav Rovan (Bratislava)
- Jiri Sgall (Prague)
The conference is organized by IST Austria in cooperation with EATCS.
**********************************************************
*
* 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/
*
**********************************************************
========================================================================
MFCS 2013 - Call for Papers
38th International Symposium on Mathematical Foundations of Computer Science
August 26 - 30, 2013, IST Austria, Klosterneuburg, Austria
http://http://ist.ac.at/mfcs13/
SUBMISSION DEADLINE: Friday, April 19, AOE
========================================================================
The series of MFCS symposia, organized since 1972, has a long and
well-established tradition. The MFCS symposia encourage high-quality research
in all branches of theoretical computer science. Their broad scope provides an
opportunity to bring together researchers who do not usually meet at
specialized conferences. Quality papers presenting original research on
theoretical aspects of computer science are solicited.
PRINCIPAL TOPICS
Principal topics of interest include (but are not limited to):
- algorithmic game theory,
- algorithmic learning theory,
- algorithms and data structures (incl. sequential, parallel, distributed,
approximation, graph, network, on-line, parameterized, optimization),
- automata, grammars and formal languages,
- bioinformatics,
- complexity (structural and computational),
- computational geometry,
- computer-assisted reasoning,
- concurrency theory,
- cryptography and security,
- databases and knowledge-based systems,
- formal specifications and program development,
- foundations of computing,
- logic in computer science,
- mobile computing,
- models of computation,
- networks (incl. wireless, sensor, ad-hoc),
- parallel and distributed computing,
- quantum computing,
- semantics and verification of programs,
- theoretical issues in artificial intelligence
INVITED SPEAKERS
- Sam Buss (UC San Diego)
- Martin Grohe (Humboldt U. Berlin, RWTH Aachen U)
- Leah Epstein (U. Haifa)
- Elias Koutsoupias (U. Athens)
- Jean Goubault-Larrecq (LSV, CNRS & ENS de Cachan)
- Nir Piterman (U. Leicester)
PROGRAM CHAIRS
- Jiri Sgall (Charles U., Czech Republic)
- Krishnendu Chatterjee (IST Austria, Austria)
PROGRAM COMMITTEE
- Parosh Abdulla (Uppsala U., Sweden)
- Eli Ben-Sasson (Technion, Israel)
- Nathalie Bertrand (INRIA Rennes, France)
- Markus Blaser (U. des Saarlandes, Germany)
- Tomas Brazdil (Masaryk U., Czech Republic)
- Ioannis Caragiannis (U. Patras, Greece)
- Krishnendu Chatterjee (IST Austria, Austria - Chair)
- Thomas Colcombet (LIAFA-CNRS, France)
- Anuj Dawar (U. Cambridge, UK)
- Giorgio Delzanno (U. Genova, Italy)
- Martin Dietzfelbinger (TU Ilmenau, Germany)
- Krzysztof Diks (U. Warsaw, Poland)
- Zoltan Esik (U. Szeged, Hungary)
- Sandor Fekete (TU Braunschweig, Germany)
- Eldar Fischer (Technion, Israel)
- Dmitry Gavinsky (NEC Labs, Princeton, USA)
- Andrew Goldberg (Microsoft Research, USA)
- Kristoffer Arnsfelt Hansen (Aarhus U., Denmark)
- Tao Jiang (UC Riverside, USA)
- Barbara Konig (U. Duisburg-Essen (UDE), Germany)
- Pascal Koiran (Ecole Normale Superieure de Lyon, France)
- Rastislav Kralovic (Comenius U., Slovakia)
- Erik Jan van Leeuwen (MPI, Saarbrucken, Germany)
- Stefano Leonardi (Sapienza U. Rome, Italy)
- Christof Loding (RWTH Aachen U., Germany)
- Zvi Lotker (Ben Gurion U., Israel)
- Jerzy Marcinkowski (U.Wroclaw, Poland)
- Daniel Marx (Hungarian Academy of Sciences, Hungary)
- Peter Bro Miltersen (Aarhus U., Denmark)
- Madhavan Mukund (CMI, India)
- Rasmus Pagh (IT U. Copenhagen, Denmark)
- Madhusudan Parthasarathy (UI Urbana-Champaign, USA)
- Daniel Paulusma (Durham U., UK)
- Holger Petersen (msg systems ag, Germany)
- Alex Rabinovich (Tel Aviv U., Israel)
- Rahul Santhanam (U. Edinburgh, UK)
- Jiri Sgall (Charles U., Czech Republic - Chair)
- Martin J. Strauss (U. Michigan, USA)
- Ola Svensson (EPFL, Switzerland)
- Maxim Sviridenko (U. Warwick, UK)
- Pavel Valtr (Charles U., Czech Republic)
- Peter Widmayer (ETH, Switzerland)
- Gerhard Woeginger (Eindhoven U. Technology, Netherlands)
- James Worrell (U. Oxford, UK)
IMPORTANT DEADLINES
- Paper submission deadline: April 19, 2013 AOE
- Author notification: June 4, 2013 AOE
- Camera-ready deadline: June 16, 2013 AOE
- Conference: August 26-30, 2013
PAPER SUBMISSION
Submissions to MFCS must not exceed 12 pages (in Springer-Verlag's Lecture
Notes style and including bibliography). If the authors believe that more
details are essential to substantiate the main claims, they may include a
clearly marked appendix that will be read at the discretion of the program
committee. Simultaneous submissions of papers to any other conference with
published proceedings or submitting previously published papers is not allowed.
Only electronic submissions in the PDF format are accepted. Information about
the submission procedure will be available on the conference web page in due
time. The proceedings will be published in the new ARCoSS subline of Lecture
Notes in Computer Science by Springer-Verlag.
Please submit via EasyChair
(https://www.easychair.org/conferences/?conf=mfcs2013).
STEERING COMMITETEE
- Juraj Hromkovic (Zurich)
- Antonin Kucera (Brno), chair
- Jerzy Marcinkowski (Wroclaw)
- Damian Niwinski (Warsaw)
- Branislav Rovan (Bratislava)
- Jiri Sgall (Prague)
The conference is organized by IST Austria in cooperation with EATCS.
**********************************************************
*
* 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, April 14, 2013
[DMANET] CfP: IEEE SenseApp 2013 (21-24 October 2013 // Sydney, Australia)
Apologies if you receive multiple copies of this call for papers
+++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
Deadline: May 12, 2013
SENSEAPP 2013
EIGHTH IEEE INTERNATIONAL WORKSHOP ON PRACTICAL ISSUES
IN BUILDING SENSOR NETWORK APPLICATIONS
(in conjunction with IEEE LCN 2013)
Novotel Central Sydney
Sydney, Australia
21-24 October 2013
http://www.senseapp.org
CALL FOR PAPERS
Sensor nodes are autonomous devices that combine sensing, computing and wireless communication capabilities. These nodes are deeply embedded into the physical surroundings, and gather and process information such as temperature, humidity, light characteristics, seismic activities or images and sound samples from the physical world. Networked systems of such sensors are expected to be used in a variety of applications including habitat monitoring, precision agriculture, disaster recovery operations, healthcare and supply chain management. Real-world sensor network deployments are still scarce, yet prototypic implementations are getting more common, particularly with the advent of novel sensing platforms such as smartphones, which allow for extending dedicated sensor networks. Experiences gained in such deployments are crucial for the sensor network research community. These results are needed to refine assumptions made when designing hardware, software, protocols and mechanisms for sensor networks.
This workshop aims at bringing together researchers from both academia and industry to showcase their work and obtain feedback. It acts as a forum for the sensor network research community to discuss open issues, novel solutions and the future development of wireless sensor networks in general. We encourage contributions describing innovative work in the realm of wireless sensor networks. Topics of interest include, but are not limited to:
- Experiences from real-world sensor network deployment and applications
- Innovative sensor network applications
- Mobile and participatory sensing applications and deployments
- Middleware support for sensor networks
- Programming and debugging sensor networks
- Security, availability and dependability issues in sensor networks
- Experiences with new sensor hardware
- Practical problems in implementing localization and time synchronization
- Experiences with communication protocols
- Practical medium access control protocols (MACs)
- Topology control and routing protocols in existing sensor network deployments
- Fault-tolerance and troubleshooting sensor networks
- Antenna design and experiences with signal propagation
- Experiences regarding energy management and network lifetime
- Configuration and installation support
- Management of large-scale sensor networks and sensing campaigns
- Interconnection between IP and sensor networks
- Interfacing with sensor networks using mobile computing devices
- Large-scale open sensor data sets from real deployments
Submitted papers will be reviewed by three independent experts in the field. Proceedings of the workshop will be published together with those of IEEE LCN, and will be available in digital format from the IEEE Xplore Digital Library.
SUBMISSION INSTRUCTIONS:
Authors are invited to submit original unpublished work, not currently under review by another conference, workshop or journal. Full papers should be restricted to 8 camera-ready pages (in 10 pt font, double column, US letter size, 8.5 x 11 inches, IEEE format), including text, figures and references. Authors should use only standard fonts, i.e. Times Roman, Courier, Symbol, Helvetica or equivalent. Papers must be submitted electronically via EDAS at:
<https://edas.info/N14637>
All papers must include title, complete contact information of all authors, abstract and up to 5 keywords on the cover page. The corresponding author must be clearly identified. Further information can be found at http://www.senseapp.org
IMPORTANT DATES:
Paper Submission Deadline: 12 May 2013
Notification of Acceptance: 25 June 2013
Camera Ready Copy Due: 30 July 2013
PROGRAM COMMITTEE CO-CHAIRS:
Matthias Hollick, Technische Universität Darmstadt, Germany
Salil Kanhere, The University of New South Wales, Sydney, Australia
PUBLICITY CHAIR:
Andreas Reinhardt, The University of New South Wales, Sydney, Australia
STEERING COMMITTEE:
Sanjay Jha, The University of New South Wales, Sydney, Australia
Cormac Sreenan, University College, Cork, Ireland
TECHNICAL PROGRAM COMMITTEE:
Fernando Boavida, University of Coimbra
Athanassios Boulis, National ICT Australia
James Brown, Lancaster University
Delphine Christin, Technische Universität Darmstadt
Paulo De Souza, University of Tasmania
Robin Doss, Deakin University
Simon Duquennoy, Swedish Institute of Computer Science (SICS)
Wendi Heinzelman, University of Rochester
Matthias Hollick, Technische Universität Darmstadt
Vana Kalogeraki, Athens University of Economics and Business
Salil Kanhere, The University of New South Wales
Csaba Kiraly, University of Trento
Vinay Kolar, IBM Research
Yee Wei Law, The University of Melbourne
Chieh-Jan Mike Liang, Microsoft Research Asia
Hock Beng Lim, Nanyang Technological University
Tie Luo, Institute for Infocomm Research
Prasant Misra, Swedish Institute of Computer Science (SICS)
Edith Ngai, Uppsala University
Brendan O'Flynn, Tyndall National Institude
Neal Patwari, University of Utah
Gian Pietro Picco, University of Trento
Rajib Rana, Commonwealth Scientific and Industrial Research Organisation (CSIRO)
Andreas Reinhardt, The University of New South Wales
Christian Renner, University of Luebeck
Kay Römer, ETH Zurich
Amarjeet Singh, IIIT-Delhi
Philipp Sommer, Commonwealth Scientific and Industrial Research Organisation (CSIRO)
Kristof Van Laerhoven, Technische Universität Darmstadt
Klaus Wehrle, RWTH Aachen
**********************************************************
*
* 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/
*
**********************************************************
+++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
Deadline: May 12, 2013
SENSEAPP 2013
EIGHTH IEEE INTERNATIONAL WORKSHOP ON PRACTICAL ISSUES
IN BUILDING SENSOR NETWORK APPLICATIONS
(in conjunction with IEEE LCN 2013)
Novotel Central Sydney
Sydney, Australia
21-24 October 2013
http://www.senseapp.org
CALL FOR PAPERS
Sensor nodes are autonomous devices that combine sensing, computing and wireless communication capabilities. These nodes are deeply embedded into the physical surroundings, and gather and process information such as temperature, humidity, light characteristics, seismic activities or images and sound samples from the physical world. Networked systems of such sensors are expected to be used in a variety of applications including habitat monitoring, precision agriculture, disaster recovery operations, healthcare and supply chain management. Real-world sensor network deployments are still scarce, yet prototypic implementations are getting more common, particularly with the advent of novel sensing platforms such as smartphones, which allow for extending dedicated sensor networks. Experiences gained in such deployments are crucial for the sensor network research community. These results are needed to refine assumptions made when designing hardware, software, protocols and mechanisms for sensor networks.
This workshop aims at bringing together researchers from both academia and industry to showcase their work and obtain feedback. It acts as a forum for the sensor network research community to discuss open issues, novel solutions and the future development of wireless sensor networks in general. We encourage contributions describing innovative work in the realm of wireless sensor networks. Topics of interest include, but are not limited to:
- Experiences from real-world sensor network deployment and applications
- Innovative sensor network applications
- Mobile and participatory sensing applications and deployments
- Middleware support for sensor networks
- Programming and debugging sensor networks
- Security, availability and dependability issues in sensor networks
- Experiences with new sensor hardware
- Practical problems in implementing localization and time synchronization
- Experiences with communication protocols
- Practical medium access control protocols (MACs)
- Topology control and routing protocols in existing sensor network deployments
- Fault-tolerance and troubleshooting sensor networks
- Antenna design and experiences with signal propagation
- Experiences regarding energy management and network lifetime
- Configuration and installation support
- Management of large-scale sensor networks and sensing campaigns
- Interconnection between IP and sensor networks
- Interfacing with sensor networks using mobile computing devices
- Large-scale open sensor data sets from real deployments
Submitted papers will be reviewed by three independent experts in the field. Proceedings of the workshop will be published together with those of IEEE LCN, and will be available in digital format from the IEEE Xplore Digital Library.
SUBMISSION INSTRUCTIONS:
Authors are invited to submit original unpublished work, not currently under review by another conference, workshop or journal. Full papers should be restricted to 8 camera-ready pages (in 10 pt font, double column, US letter size, 8.5 x 11 inches, IEEE format), including text, figures and references. Authors should use only standard fonts, i.e. Times Roman, Courier, Symbol, Helvetica or equivalent. Papers must be submitted electronically via EDAS at:
<https://edas.info/N14637>
All papers must include title, complete contact information of all authors, abstract and up to 5 keywords on the cover page. The corresponding author must be clearly identified. Further information can be found at http://www.senseapp.org
IMPORTANT DATES:
Paper Submission Deadline: 12 May 2013
Notification of Acceptance: 25 June 2013
Camera Ready Copy Due: 30 July 2013
PROGRAM COMMITTEE CO-CHAIRS:
Matthias Hollick, Technische Universität Darmstadt, Germany
Salil Kanhere, The University of New South Wales, Sydney, Australia
PUBLICITY CHAIR:
Andreas Reinhardt, The University of New South Wales, Sydney, Australia
STEERING COMMITTEE:
Sanjay Jha, The University of New South Wales, Sydney, Australia
Cormac Sreenan, University College, Cork, Ireland
TECHNICAL PROGRAM COMMITTEE:
Fernando Boavida, University of Coimbra
Athanassios Boulis, National ICT Australia
James Brown, Lancaster University
Delphine Christin, Technische Universität Darmstadt
Paulo De Souza, University of Tasmania
Robin Doss, Deakin University
Simon Duquennoy, Swedish Institute of Computer Science (SICS)
Wendi Heinzelman, University of Rochester
Matthias Hollick, Technische Universität Darmstadt
Vana Kalogeraki, Athens University of Economics and Business
Salil Kanhere, The University of New South Wales
Csaba Kiraly, University of Trento
Vinay Kolar, IBM Research
Yee Wei Law, The University of Melbourne
Chieh-Jan Mike Liang, Microsoft Research Asia
Hock Beng Lim, Nanyang Technological University
Tie Luo, Institute for Infocomm Research
Prasant Misra, Swedish Institute of Computer Science (SICS)
Edith Ngai, Uppsala University
Brendan O'Flynn, Tyndall National Institude
Neal Patwari, University of Utah
Gian Pietro Picco, University of Trento
Rajib Rana, Commonwealth Scientific and Industrial Research Organisation (CSIRO)
Andreas Reinhardt, The University of New South Wales
Christian Renner, University of Luebeck
Kay Römer, ETH Zurich
Amarjeet Singh, IIIT-Delhi
Philipp Sommer, Commonwealth Scientific and Industrial Research Organisation (CSIRO)
Kristof Van Laerhoven, Technische Universität Darmstadt
Klaus Wehrle, RWTH Aachen
**********************************************************
*
* 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/
*
**********************************************************
Last CfP Sirocco 2013, 20th International Colloquium on Structural Information and Communication Complexity
We apologize if you receive multiple copies of this message.
**************************************************************************
CALL FOR PAPERS
20th International Colloquium on Structural Information and
Communication Complexity
SIROCCO 2013
http://sirocco2013.di.unisa.it
July 1-3, 2013
Ischia, Italy
Deadline for submissions: April 21, 2013
**************************************************************************
SIROCCO is devoted to the study of communication and knowledge in
multi-processor systems from both the qualitative and quantitative
viewpoints. Special emphasis is given to innovative approaches and
fundamental understanding, in addition to efforts to optimize current
designs. SIROCCO has a tradition of interesting and productive
scientific meetings in a relaxed and pleasant atmosphere, attracting
leading researchers in a variety of fields in which communication and
knowledge play a significant role. This year, SIROCCO is held in
Ischia, a beautiful island in Italy, not far from Napoli.
SCOPE: Original papers are solicited from all areas of study of local
structural knowledge and global communication and computational
complexities. Among the typical areas are distributed computing,
communication networks, game theory, parallel computing, social
networks, mobile computing (including autonomous robots), peer to peer
systems, communication complexity, fault tolerant graph theories, and
randomized/probabilistic issues in networks. Keeping up with the
tradition of SIROCCO, new areas are always welcome.
SIROCCO AWARD: The Prize for Innovation in Distributed Computing is
awarded annually in the SIROCCO conference to recognize individuals
whose research contributions had a major impact on the understanding
of the relationships between information and efficiency in
decentralized computing. The contribution (or a related contribution)
should have been either made or demonstrated, by the author in a paper
that appeared in SIROCCO in the past. Moreover, the author should have
made the contribution in at least one paper that appeared (in either a
scientific journal or the proceedings of a scientific conference) at
least 5 years ago. More details are available in the SIROCCO 2013 web
site.
BEST STUDENT PAPER: A Best Student Paper Award will be awarded to a
paper coauthored by one or more full-time students at the time of
submission. The program committee may decline to make this awards or
split it.
SUBMISSION: Papers are to be submitted electronically (through
EasyChair). Submission instructions and guidelines are available at
the conference web page. Authors are invited to submit their work in
one of the three acceptable formats: novel research contributions,
position papers, and surveys. Original research papers must contain
results that have not previously appeared and have not been
concurrently submitted to a journal or conference with published
proceedings. In all cases, any partial overlap with any published or
concurrently submitted paper must be clearly indicated. Submissions
are limited to 12 single-column pages on letter/A4-size paper (using
at least 11 point font, 1 inch margins, standard line spacing). This
includes figures, but excludes references and an optional appendix (to
be read at the program committee's discretion).
PUBLICATION: As in previous years, the proceedings of SIROCCO 2013 are
planned to be published by Springer-Verlag as a volume of the LNCS
series. Selected papers are planned to be invited to a special issue
of the journal Theoretical Computer Science.
IMPORTANT DATES
- Paper submission due: April 21, 2013, 23:59, Hawaii time
(time zone HAST).
- Notification of acceptance: May 22, 2013
- Conference dates: July 1-3, 2013
PROGRAM COMMITTEE
Ittai Abraham MSR Silicon Valley
Chen Avin Ben Gurion University
Keren Censor-Hillel Technion
Wei Chen MSR Asia
Ajoy Datta University of Nevada
Gabriele di Stefano University of L'Aquila
Yuval Emek ETH Zurich
Qiang-Sheng Hua Tsinghua University
David Ilcinkas Universit´e Bordeaux
Toshimitsu Masuzawa Osaka University
Friedhelm Meyer auf der Heide Paderborn
Thomas Moscibroda (Chair) MSR Asia & Tsinghua University
Calvin Newport Georgetown University
Adele Rescigno Università di Salerno
Nicola Santoro Carleton University
Ulrich Schmid TU Vienna
Siddhartha Sen Princeton
Jukka Suomela University of Helsinki
Subash Suri UC Santa Barbara
LOCAL COMMITTEE
Luisa Gargano Università di Salerno
Adele Rescigno (Chair) Università di Salerno
Ugo Vaccaro Università di Salerno
CONFERENCE COMMITTEE
Yang Chen (Submissions) MSR Asia
Gennaro Cordasco (Publicity) Seconda Univ. di Napoli
STEERING COMMITTEE
Boaz Patt-Shamir Tel-Aviv University
Shay Kutten (Chair) Technion
Ralf Klasing Universit´e Bordeaux
Guy Even Tel-Aviv University
Masafumi Yamashita Kyushu University
SIROCCO 2013 WEBSITE
http://sirocco2013.di.unisa.it
If you experience any problems with the website, please visit the
resume page, available at http://sirocco2013.di.unisa.it/resume.html
CONTACTS
sirocco2013italy@gmail.com
**************************************************************************
Kind Regards,
Gennaro Cordasco
Seconda Universita' degli Studi di Napoli
Viale Ellittico, 81100 Caserta ITALY
e-mail: gennaro.cordasco[@]unina2.it
https://sites.google.com/site/cordasco/
**************************************************************************
CALL FOR PAPERS
20th International Colloquium on Structural Information and
Communication Complexity
SIROCCO 2013
http://sirocco2013.di.unisa.it
July 1-3, 2013
Ischia, Italy
Deadline for submissions: April 21, 2013
**************************************************************************
SIROCCO is devoted to the study of communication and knowledge in
multi-processor systems from both the qualitative and quantitative
viewpoints. Special emphasis is given to innovative approaches and
fundamental understanding, in addition to efforts to optimize current
designs. SIROCCO has a tradition of interesting and productive
scientific meetings in a relaxed and pleasant atmosphere, attracting
leading researchers in a variety of fields in which communication and
knowledge play a significant role. This year, SIROCCO is held in
Ischia, a beautiful island in Italy, not far from Napoli.
SCOPE: Original papers are solicited from all areas of study of local
structural knowledge and global communication and computational
complexities. Among the typical areas are distributed computing,
communication networks, game theory, parallel computing, social
networks, mobile computing (including autonomous robots), peer to peer
systems, communication complexity, fault tolerant graph theories, and
randomized/probabilistic issues in networks. Keeping up with the
tradition of SIROCCO, new areas are always welcome.
SIROCCO AWARD: The Prize for Innovation in Distributed Computing is
awarded annually in the SIROCCO conference to recognize individuals
whose research contributions had a major impact on the understanding
of the relationships between information and efficiency in
decentralized computing. The contribution (or a related contribution)
should have been either made or demonstrated, by the author in a paper
that appeared in SIROCCO in the past. Moreover, the author should have
made the contribution in at least one paper that appeared (in either a
scientific journal or the proceedings of a scientific conference) at
least 5 years ago. More details are available in the SIROCCO 2013 web
site.
BEST STUDENT PAPER: A Best Student Paper Award will be awarded to a
paper coauthored by one or more full-time students at the time of
submission. The program committee may decline to make this awards or
split it.
SUBMISSION: Papers are to be submitted electronically (through
EasyChair). Submission instructions and guidelines are available at
the conference web page. Authors are invited to submit their work in
one of the three acceptable formats: novel research contributions,
position papers, and surveys. Original research papers must contain
results that have not previously appeared and have not been
concurrently submitted to a journal or conference with published
proceedings. In all cases, any partial overlap with any published or
concurrently submitted paper must be clearly indicated. Submissions
are limited to 12 single-column pages on letter/A4-size paper (using
at least 11 point font, 1 inch margins, standard line spacing). This
includes figures, but excludes references and an optional appendix (to
be read at the program committee's discretion).
PUBLICATION: As in previous years, the proceedings of SIROCCO 2013 are
planned to be published by Springer-Verlag as a volume of the LNCS
series. Selected papers are planned to be invited to a special issue
of the journal Theoretical Computer Science.
IMPORTANT DATES
- Paper submission due: April 21, 2013, 23:59, Hawaii time
(time zone HAST).
- Notification of acceptance: May 22, 2013
- Conference dates: July 1-3, 2013
PROGRAM COMMITTEE
Ittai Abraham MSR Silicon Valley
Chen Avin Ben Gurion University
Keren Censor-Hillel Technion
Wei Chen MSR Asia
Ajoy Datta University of Nevada
Gabriele di Stefano University of L'Aquila
Yuval Emek ETH Zurich
Qiang-Sheng Hua Tsinghua University
David Ilcinkas Universit´e Bordeaux
Toshimitsu Masuzawa Osaka University
Friedhelm Meyer auf der Heide Paderborn
Thomas Moscibroda (Chair) MSR Asia & Tsinghua University
Calvin Newport Georgetown University
Adele Rescigno Università di Salerno
Nicola Santoro Carleton University
Ulrich Schmid TU Vienna
Siddhartha Sen Princeton
Jukka Suomela University of Helsinki
Subash Suri UC Santa Barbara
LOCAL COMMITTEE
Luisa Gargano Università di Salerno
Adele Rescigno (Chair) Università di Salerno
Ugo Vaccaro Università di Salerno
CONFERENCE COMMITTEE
Yang Chen (Submissions) MSR Asia
Gennaro Cordasco (Publicity) Seconda Univ. di Napoli
STEERING COMMITTEE
Boaz Patt-Shamir Tel-Aviv University
Shay Kutten (Chair) Technion
Ralf Klasing Universit´e Bordeaux
Guy Even Tel-Aviv University
Masafumi Yamashita Kyushu University
SIROCCO 2013 WEBSITE
http://sirocco2013.di.unisa.it
If you experience any problems with the website, please visit the
resume page, available at http://sirocco2013.di.unisa.it/resume.html
CONTACTS
sirocco2013italy@gmail.com
**************************************************************************
Kind Regards,
Gennaro Cordasco
Seconda Universita' degli Studi di Napoli
Viale Ellittico, 81100 Caserta ITALY
e-mail: gennaro.cordasco[@]unina2.it
https://sites.google.com/site/cordasco/
[DMANET] Last CfP Sirocco 2013, 20th International Colloquium on Structural Information and Communication Complexity
We apologize if you receive multiple copies of this message.
**************************************************************************
CALL FOR PAPERS
20th International Colloquium on Structural Information and
Communication Complexity
SIROCCO 2013
http://sirocco2013.di.unisa.it
July 1-3, 2013
Ischia, Italy
Deadline for submissions: April 21, 2013
**************************************************************************
SIROCCO is devoted to the study of communication and knowledge in
multi-processor systems from both the qualitative and quantitative
viewpoints. Special emphasis is given to innovative approaches and
fundamental understanding, in addition to efforts to optimize current
designs. SIROCCO has a tradition of interesting and productive
scientific meetings in a relaxed and pleasant atmosphere, attracting
leading researchers in a variety of fields in which communication and
knowledge play a significant role. This year, SIROCCO is held in
Ischia, a beautiful island in Italy, not far from Napoli.
SCOPE: Original papers are solicited from all areas of study of local
structural knowledge and global communication and computational
complexities. Among the typical areas are distributed computing,
communication networks, game theory, parallel computing, social
networks, mobile computing (including autonomous robots), peer to peer
systems, communication complexity, fault tolerant graph theories, and
randomized/probabilistic issues in networks. Keeping up with the
tradition of SIROCCO, new areas are always welcome.
SIROCCO AWARD: The Prize for Innovation in Distributed Computing is
awarded annually in the SIROCCO conference to recognize individuals
whose research contributions had a major impact on the understanding
of the relationships between information and efficiency in
decentralized computing. The contribution (or a related contribution)
should have been either made or demonstrated, by the author in a paper
that appeared in SIROCCO in the past. Moreover, the author should have
made the contribution in at least one paper that appeared (in either a
scientific journal or the proceedings of a scientific conference) at
least 5 years ago. More details are available in the SIROCCO 2013 web
site.
BEST STUDENT PAPER: A Best Student Paper Award will be awarded to a
paper coauthored by one or more full-time students at the time of
submission. The program committee may decline to make this awards or
split it.
SUBMISSION: Papers are to be submitted electronically (through
EasyChair). Submission instructions and guidelines are available at
the conference web page. Authors are invited to submit their work in
one of the three acceptable formats: novel research contributions,
position papers, and surveys. Original research papers must contain
results that have not previously appeared and have not been
concurrently submitted to a journal or conference with published
proceedings. In all cases, any partial overlap with any published or
concurrently submitted paper must be clearly indicated. Submissions
are limited to 12 single-column pages on letter/A4-size paper (using
at least 11 point font, 1 inch margins, standard line spacing). This
includes figures, but excludes references and an optional appendix (to
be read at the program committee's discretion).
PUBLICATION: As in previous years, the proceedings of SIROCCO 2013 are
planned to be published by Springer-Verlag as a volume of the LNCS
series. Selected papers are planned to be invited to a special issue
of the journal Theoretical Computer Science.
IMPORTANT DATES
- Paper submission due: April 21, 2013, 23:59, Hawaii time
(time zone HAST).
- Notification of acceptance: May 22, 2013
- Conference dates: July 1-3, 2013
PROGRAM COMMITTEE
Ittai Abraham MSR Silicon Valley
Chen Avin Ben Gurion University
Keren Censor-Hillel Technion
Wei Chen MSR Asia
Ajoy Datta University of Nevada
Gabriele di Stefano University of L'Aquila
Yuval Emek ETH Zurich
Qiang-Sheng Hua Tsinghua University
David Ilcinkas Universit´e Bordeaux
Toshimitsu Masuzawa Osaka University
Friedhelm Meyer auf der Heide Paderborn
Thomas Moscibroda (Chair) MSR Asia & Tsinghua University
Calvin Newport Georgetown University
Adele Rescigno Università di Salerno
Nicola Santoro Carleton University
Ulrich Schmid TU Vienna
Siddhartha Sen Princeton
Jukka Suomela University of Helsinki
Subash Suri UC Santa Barbara
LOCAL COMMITTEE
Luisa Gargano Università di Salerno
Adele Rescigno (Chair) Università di Salerno
Ugo Vaccaro Università di Salerno
CONFERENCE COMMITTEE
Yang Chen (Submissions) MSR Asia
Gennaro Cordasco (Publicity) Seconda Univ. di Napoli
STEERING COMMITTEE
Boaz Patt-Shamir Tel-Aviv University
Shay Kutten (Chair) Technion
Ralf Klasing Universit´e Bordeaux
Guy Even Tel-Aviv University
Masafumi Yamashita Kyushu University
SIROCCO 2013 WEBSITE
http://sirocco2013.di.unisa.it
If you experience any problems with the website, please visit the
resume page, available at http://sirocco2013.di.unisa.it/resume.html
CONTACTS
sirocco2013italy@gmail.com
**************************************************************************
Kind Regards,
Gennaro Cordasco
Seconda Universita' degli Studi di Napoli
Viale Ellittico, 81100 Caserta ITALY
e-mail: gennaro.cordasco[@]unina2.it
https://sites.google.com/site/cordasco/
**********************************************************
*
* 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
20th International Colloquium on Structural Information and
Communication Complexity
SIROCCO 2013
http://sirocco2013.di.unisa.it
July 1-3, 2013
Ischia, Italy
Deadline for submissions: April 21, 2013
**************************************************************************
SIROCCO is devoted to the study of communication and knowledge in
multi-processor systems from both the qualitative and quantitative
viewpoints. Special emphasis is given to innovative approaches and
fundamental understanding, in addition to efforts to optimize current
designs. SIROCCO has a tradition of interesting and productive
scientific meetings in a relaxed and pleasant atmosphere, attracting
leading researchers in a variety of fields in which communication and
knowledge play a significant role. This year, SIROCCO is held in
Ischia, a beautiful island in Italy, not far from Napoli.
SCOPE: Original papers are solicited from all areas of study of local
structural knowledge and global communication and computational
complexities. Among the typical areas are distributed computing,
communication networks, game theory, parallel computing, social
networks, mobile computing (including autonomous robots), peer to peer
systems, communication complexity, fault tolerant graph theories, and
randomized/probabilistic issues in networks. Keeping up with the
tradition of SIROCCO, new areas are always welcome.
SIROCCO AWARD: The Prize for Innovation in Distributed Computing is
awarded annually in the SIROCCO conference to recognize individuals
whose research contributions had a major impact on the understanding
of the relationships between information and efficiency in
decentralized computing. The contribution (or a related contribution)
should have been either made or demonstrated, by the author in a paper
that appeared in SIROCCO in the past. Moreover, the author should have
made the contribution in at least one paper that appeared (in either a
scientific journal or the proceedings of a scientific conference) at
least 5 years ago. More details are available in the SIROCCO 2013 web
site.
BEST STUDENT PAPER: A Best Student Paper Award will be awarded to a
paper coauthored by one or more full-time students at the time of
submission. The program committee may decline to make this awards or
split it.
SUBMISSION: Papers are to be submitted electronically (through
EasyChair). Submission instructions and guidelines are available at
the conference web page. Authors are invited to submit their work in
one of the three acceptable formats: novel research contributions,
position papers, and surveys. Original research papers must contain
results that have not previously appeared and have not been
concurrently submitted to a journal or conference with published
proceedings. In all cases, any partial overlap with any published or
concurrently submitted paper must be clearly indicated. Submissions
are limited to 12 single-column pages on letter/A4-size paper (using
at least 11 point font, 1 inch margins, standard line spacing). This
includes figures, but excludes references and an optional appendix (to
be read at the program committee's discretion).
PUBLICATION: As in previous years, the proceedings of SIROCCO 2013 are
planned to be published by Springer-Verlag as a volume of the LNCS
series. Selected papers are planned to be invited to a special issue
of the journal Theoretical Computer Science.
IMPORTANT DATES
- Paper submission due: April 21, 2013, 23:59, Hawaii time
(time zone HAST).
- Notification of acceptance: May 22, 2013
- Conference dates: July 1-3, 2013
PROGRAM COMMITTEE
Ittai Abraham MSR Silicon Valley
Chen Avin Ben Gurion University
Keren Censor-Hillel Technion
Wei Chen MSR Asia
Ajoy Datta University of Nevada
Gabriele di Stefano University of L'Aquila
Yuval Emek ETH Zurich
Qiang-Sheng Hua Tsinghua University
David Ilcinkas Universit´e Bordeaux
Toshimitsu Masuzawa Osaka University
Friedhelm Meyer auf der Heide Paderborn
Thomas Moscibroda (Chair) MSR Asia & Tsinghua University
Calvin Newport Georgetown University
Adele Rescigno Università di Salerno
Nicola Santoro Carleton University
Ulrich Schmid TU Vienna
Siddhartha Sen Princeton
Jukka Suomela University of Helsinki
Subash Suri UC Santa Barbara
LOCAL COMMITTEE
Luisa Gargano Università di Salerno
Adele Rescigno (Chair) Università di Salerno
Ugo Vaccaro Università di Salerno
CONFERENCE COMMITTEE
Yang Chen (Submissions) MSR Asia
Gennaro Cordasco (Publicity) Seconda Univ. di Napoli
STEERING COMMITTEE
Boaz Patt-Shamir Tel-Aviv University
Shay Kutten (Chair) Technion
Ralf Klasing Universit´e Bordeaux
Guy Even Tel-Aviv University
Masafumi Yamashita Kyushu University
SIROCCO 2013 WEBSITE
http://sirocco2013.di.unisa.it
If you experience any problems with the website, please visit the
resume page, available at http://sirocco2013.di.unisa.it/resume.html
CONTACTS
sirocco2013italy@gmail.com
**************************************************************************
Kind Regards,
Gennaro Cordasco
Seconda Universita' degli Studi di Napoli
Viale Ellittico, 81100 Caserta ITALY
e-mail: gennaro.cordasco[@]unina2.it
https://sites.google.com/site/cordasco/
**********************************************************
*
* 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 2014 Call for Proposals
Call for Course and Workshop Proposals
ESSLLI 2014
26th European Summer School in Logic, Language and Information
Tuebingen, Germany
August 11-22, 2014
www.esslli2014.de
------------------------------------------------------------------
IMPORTANT DATES
===============
15 June 2013: Proposal submission deadline
15 September 2013: Notification
1 June 2014: Course material due
TOPICS AND FORMAT
=================
Proposals for courses and workshops at ESSLLI'2014 are invited in all
areas of Logic, Linguistics and Computing and Information Sciences.
Cross-disciplinary and innovative topics are particularly encouraged.
Each course and workshop will consist of five 90 minute sessions,
offered daily (Monday-Friday) in a single week. Proposals for two-week
courses should be structured and submitted as two independent one-week
courses, e.g. as an introductory course followed by an advanced one.
In such cases, the ESSLLI program committee reserves the right to accept
just one of the two proposals.
All instructional and organizational work at ESSLLI is performed
completely on a voluntary basis, so as to keep participation fees to a
minimum. However, organizers and instructors have their registration
fees waved, and are reimbursed for travel and accommodation expenses
up to a level to be determined and communicated with the proposal
notification. ESSLLI can only guarantee reimbursement for at most one
course/workshop organizer, and can not guarantee full reimbursement of
travel costs for lecturers or organizers from outside of Europe. The
ESSLLI organizers would appreciate any help in controlling the
School's expenses by seeking complete coverage of travel and
accommodation expenses from other sources.
CATEGORIES
==========
Each proposal should fall under one of the following categories.
* FUNDAMENTAL COURSES *
Such courses are designed to present the basics of a research area, to
people with no prior knowledge in that area. They should be of elementary
level, without prerequisites in the course's topic, though possibly
assuming a level of general scientific maturity in the relevant
discipline. They should enable researchers from related disciplines
to develop a level of comfort with the fundamental concepts and
techniques of the course's topic, thereby contributing to the
interdisciplinary nature of our research community.
* INTRODUCTORY COURSES *
Introductory courses are central to ESSLLI's mission. They are
intended to introduce a research field to students, young researchers,
and other non-specialists, and to foster a sound understanding of its
basic methods and techniques. Such courses should enable researchers
from related disciplines to develop some comfort and competence in the
topic considered. Introductory courses in a cross-disciplinary area
may presuppose general knowledge of the related disciplines.
* ADVANCED COURSES *
Advanced courses are targeted primarily to graduate students who wish
to acquire a level of comfort and understanding in the current research of a field.
* WORKSHOPS *
Workshops focus on specialized, usually topics of current
interest. Workshops organizers are responsible for soliciting papers
and selecting the workshop program. They are also responsible for publishing proceedings if they decide to have proceedings.
PROPOSAL GUIDELINES
===================
Course and workshop proposals should follow closely the following guidelines to ensure full consideration.
Each course may have no more than two instructors, and each workshop
no more than two organizers. All instructors and organizers must
possess a PhD or equivalent degree by the submission deadline.
Course proposals should mention explicitly the intended course
category. Proposals for introductory courses should indicate the
intended level, for example as it relates to standard textbooks and
monographs in the area. Proposals for advanced courses should specify the prerequisites in detail.
Proposals must be submitted in PDF format via:
https://www.easychair.org/conferences/?conf=esslli2014
and include all of the following:
o Personal information for each proposer:
Name, affiliation, contact address, email, fax, homepage (optional)
o General proposal information: Title, category
o Contents information
* Abstract of up to 150 words
* Motivation and description (up to two pages)
* Tentative outline
* Expected level and prerequisites
* Appropriate references
(e.g. textbooks, monographs, proceedings, surveys)
o Practical information:
* Relevant preceding meetings and events, if applicable
* Potential external funding for participants
------------------------------------------------------------------
===========================
Frank Veltman
ILLC
University of Amsterdam
P.O. Box 94242
1090 GE Amsterdam
The Netherlands
e-mail: f.veltman@uva.nl
homepage: http://staff.science.uva.nl/~veltman/
ESSLLI 2014
26th European Summer School in Logic, Language and Information
Tuebingen, Germany
August 11-22, 2014
www.esslli2014.de
------------------------------------------------------------------
IMPORTANT DATES
===============
15 June 2013: Proposal submission deadline
15 September 2013: Notification
1 June 2014: Course material due
TOPICS AND FORMAT
=================
Proposals for courses and workshops at ESSLLI'2014 are invited in all
areas of Logic, Linguistics and Computing and Information Sciences.
Cross-disciplinary and innovative topics are particularly encouraged.
Each course and workshop will consist of five 90 minute sessions,
offered daily (Monday-Friday) in a single week. Proposals for two-week
courses should be structured and submitted as two independent one-week
courses, e.g. as an introductory course followed by an advanced one.
In such cases, the ESSLLI program committee reserves the right to accept
just one of the two proposals.
All instructional and organizational work at ESSLLI is performed
completely on a voluntary basis, so as to keep participation fees to a
minimum. However, organizers and instructors have their registration
fees waved, and are reimbursed for travel and accommodation expenses
up to a level to be determined and communicated with the proposal
notification. ESSLLI can only guarantee reimbursement for at most one
course/workshop organizer, and can not guarantee full reimbursement of
travel costs for lecturers or organizers from outside of Europe. The
ESSLLI organizers would appreciate any help in controlling the
School's expenses by seeking complete coverage of travel and
accommodation expenses from other sources.
CATEGORIES
==========
Each proposal should fall under one of the following categories.
* FUNDAMENTAL COURSES *
Such courses are designed to present the basics of a research area, to
people with no prior knowledge in that area. They should be of elementary
level, without prerequisites in the course's topic, though possibly
assuming a level of general scientific maturity in the relevant
discipline. They should enable researchers from related disciplines
to develop a level of comfort with the fundamental concepts and
techniques of the course's topic, thereby contributing to the
interdisciplinary nature of our research community.
* INTRODUCTORY COURSES *
Introductory courses are central to ESSLLI's mission. They are
intended to introduce a research field to students, young researchers,
and other non-specialists, and to foster a sound understanding of its
basic methods and techniques. Such courses should enable researchers
from related disciplines to develop some comfort and competence in the
topic considered. Introductory courses in a cross-disciplinary area
may presuppose general knowledge of the related disciplines.
* ADVANCED COURSES *
Advanced courses are targeted primarily to graduate students who wish
to acquire a level of comfort and understanding in the current research of a field.
* WORKSHOPS *
Workshops focus on specialized, usually topics of current
interest. Workshops organizers are responsible for soliciting papers
and selecting the workshop program. They are also responsible for publishing proceedings if they decide to have proceedings.
PROPOSAL GUIDELINES
===================
Course and workshop proposals should follow closely the following guidelines to ensure full consideration.
Each course may have no more than two instructors, and each workshop
no more than two organizers. All instructors and organizers must
possess a PhD or equivalent degree by the submission deadline.
Course proposals should mention explicitly the intended course
category. Proposals for introductory courses should indicate the
intended level, for example as it relates to standard textbooks and
monographs in the area. Proposals for advanced courses should specify the prerequisites in detail.
Proposals must be submitted in PDF format via:
https://www.easychair.org/conferences/?conf=esslli2014
and include all of the following:
o Personal information for each proposer:
Name, affiliation, contact address, email, fax, homepage (optional)
o General proposal information: Title, category
o Contents information
* Abstract of up to 150 words
* Motivation and description (up to two pages)
* Tentative outline
* Expected level and prerequisites
* Appropriate references
(e.g. textbooks, monographs, proceedings, surveys)
o Practical information:
* Relevant preceding meetings and events, if applicable
* Potential external funding for participants
------------------------------------------------------------------
===========================
Frank Veltman
ILLC
University of Amsterdam
P.O. Box 94242
1090 GE Amsterdam
The Netherlands
e-mail: f.veltman@uva.nl
homepage: http://staff.science.uva.nl/~veltman/
Saturday, April 13, 2013
[DMANET] Distributed Computing Dissertation Award - Call for Nominations
(Apologies for crosspostings.)
Principles of Distributed Computing Doctoral Dissertation Award 2013 - Call
for Nominations
------------------------------------------------------------------------------------------------------------
The Principles of Distributed Computing Doctoral Dissertation Award was
created in 2012
to acknowledge and promote outstanding research by doctoral (Ph.D.) students
on the
principles of Distributed Computing.
Eligibility
- A nominated dissertation must have been successfully defended in the
period January
1st, 2011 through December 31st, 2012.
- If the advisor of the dissertation is in the core committee (see below),
it cannot be
nominated, but will be eligible for an additional year.
- The dissertation must be in English: either originally written in English,
or translated.
- The main topic of the dissertation must be on the principles of
Distributed Computing.
(For a possible indication of what it is meant by this term, see for example
the Call
for Papers of DISC and PODC.)
Nomination and Submission
A one-page nomination letter must be submitted by the thesis advisor. The
nomination
should highlight the dissertation's contributions and justify why the
dissertation is
worthy of the award.
Submission Checklist
A nomination must include:
- Contact details (affiliation and email addresses) of the advisor and the
doctoral student.
- A formal document from the student's department/institution/organization
verifying the
date that the dissertation was successfully defended (a scanned version is
acceptable for
the submission, but the original document might be required at a later stage
of the
evaluation). If not indicated by the document, also state the period of time
the student
was enrolled in the doctoral program.
- A one page justification letter.
- The following four lists of work (co)authored by the candidate:
+ Publications that contain material from the thesis, detailing what
material was taken
from which part of the thesis and the parts that are not contained in the
thesis.
+ Publications that are cited in the thesis, but do not contain material
that also appears
in the thesis.
+ Papers currently under review, including journal submissions of
previously published
work, that contain material from the thesis, detailing what material was
taken from
which part of thesis and the parts that are not contained in the thesis.
+ Those parts of the thesis which are not included in the other lists.
- A list of awards the student received for the thesis and/or publications
related to the
thesis.
- One copy of the dissertation in electronic form (preferably in pdf).
- A separate copy of the abstract in electronic form (either as pdf or plain
text).
All of the above must be submitted to Shay Kutten via email by April 30,
2013.
Award Committee and Review Process
The committee will consist of four core members and a number of ad-hoc
members,
selected as described below. The core members are:
Marcos K. Aguilera, Microsoft Research
Rachid Guerraoui, EPFL
Shay Kutten, Technion (Chair)
Alessandro Panconesi, Sapienza
The review process will consist of two stages. The first selection phase,
carried out by the
core members, will be based on the nomination letters and publication lists.
At the end of
this phase, a short list of dissertations to be considered in the second
round will be
compiled.
Based on the short list, the four core members will identify experts on the
topics of the
dissertations and invite them to serve as additional (ad hoc) members of the
committee.
The committee should include sufficiently many members to allow each
dissertation to be
reviewed by three members without requiring any member to review more than
two
dissertations.
Evaluation Criteria
The nominated dissertations will be reviewed for technical depth and
significance of the
research contributions in the area of Distributed Computing, potential
impact on theory
and practice, and quality of presentation/writing, including thoroughness of
description of
related work and understandability of algorithms and proofs.
Award
- This year the award will be presented at PODC.
- The winning dissertation will receive a plaque and a prize of 1000 USD.
- The committee reserves the right to split or decline to give the award.
**********************************************************
*
* 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/
*
**********************************************************
Principles of Distributed Computing Doctoral Dissertation Award 2013 - Call
for Nominations
------------------------------------------------------------------------------------------------------------
The Principles of Distributed Computing Doctoral Dissertation Award was
created in 2012
to acknowledge and promote outstanding research by doctoral (Ph.D.) students
on the
principles of Distributed Computing.
Eligibility
- A nominated dissertation must have been successfully defended in the
period January
1st, 2011 through December 31st, 2012.
- If the advisor of the dissertation is in the core committee (see below),
it cannot be
nominated, but will be eligible for an additional year.
- The dissertation must be in English: either originally written in English,
or translated.
- The main topic of the dissertation must be on the principles of
Distributed Computing.
(For a possible indication of what it is meant by this term, see for example
the Call
for Papers of DISC and PODC.)
Nomination and Submission
A one-page nomination letter must be submitted by the thesis advisor. The
nomination
should highlight the dissertation's contributions and justify why the
dissertation is
worthy of the award.
Submission Checklist
A nomination must include:
- Contact details (affiliation and email addresses) of the advisor and the
doctoral student.
- A formal document from the student's department/institution/organization
verifying the
date that the dissertation was successfully defended (a scanned version is
acceptable for
the submission, but the original document might be required at a later stage
of the
evaluation). If not indicated by the document, also state the period of time
the student
was enrolled in the doctoral program.
- A one page justification letter.
- The following four lists of work (co)authored by the candidate:
+ Publications that contain material from the thesis, detailing what
material was taken
from which part of the thesis and the parts that are not contained in the
thesis.
+ Publications that are cited in the thesis, but do not contain material
that also appears
in the thesis.
+ Papers currently under review, including journal submissions of
previously published
work, that contain material from the thesis, detailing what material was
taken from
which part of thesis and the parts that are not contained in the thesis.
+ Those parts of the thesis which are not included in the other lists.
- A list of awards the student received for the thesis and/or publications
related to the
thesis.
- One copy of the dissertation in electronic form (preferably in pdf).
- A separate copy of the abstract in electronic form (either as pdf or plain
text).
All of the above must be submitted to Shay Kutten via email by April 30,
2013.
Award Committee and Review Process
The committee will consist of four core members and a number of ad-hoc
members,
selected as described below. The core members are:
Marcos K. Aguilera, Microsoft Research
Rachid Guerraoui, EPFL
Shay Kutten, Technion (Chair)
Alessandro Panconesi, Sapienza
The review process will consist of two stages. The first selection phase,
carried out by the
core members, will be based on the nomination letters and publication lists.
At the end of
this phase, a short list of dissertations to be considered in the second
round will be
compiled.
Based on the short list, the four core members will identify experts on the
topics of the
dissertations and invite them to serve as additional (ad hoc) members of the
committee.
The committee should include sufficiently many members to allow each
dissertation to be
reviewed by three members without requiring any member to review more than
two
dissertations.
Evaluation Criteria
The nominated dissertations will be reviewed for technical depth and
significance of the
research contributions in the area of Distributed Computing, potential
impact on theory
and practice, and quality of presentation/writing, including thoroughness of
description of
related work and understandability of algorithms and proofs.
Award
- This year the award will be presented at PODC.
- The winning dissertation will receive a plaque and a prize of 1000 USD.
- The committee reserves the right to split or decline to give the award.
**********************************************************
*
* 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/
*
**********************************************************
Distributed Computing Dissertation Award - Call for Nominations
(Apologies for crosspostings.)
Principles of Distributed Computing Doctoral Dissertation Award 2013 - Call
for Nominations
------------------------------------------------------------------------------------------------------------
The Principles of Distributed Computing Doctoral Dissertation Award was
created in 2012
to acknowledge and promote outstanding research by doctoral (Ph.D.) students
on the
principles of Distributed Computing.
Eligibility
- A nominated dissertation must have been successfully defended in the
period January
1st, 2011 through December 31st, 2012.
- If the advisor of the dissertation is in the core committee (see below),
it cannot be
nominated, but will be eligible for an additional year.
- The dissertation must be in English: either originally written in English,
or translated.
- The main topic of the dissertation must be on the principles of
Distributed Computing.
(For a possible indication of what it is meant by this term, see for example
the Call
for Papers of DISC and PODC.)
Nomination and Submission
A one-page nomination letter must be submitted by the thesis advisor. The
nomination
should highlight the dissertation's contributions and justify why the
dissertation is
worthy of the award.
Submission Checklist
A nomination must include:
- Contact details (affiliation and email addresses) of the advisor and the
doctoral student.
- A formal document from the student's department/institution/organization
verifying the
date that the dissertation was successfully defended (a scanned version is
acceptable for
the submission, but the original document might be required at a later stage
of the
evaluation). If not indicated by the document, also state the period of time
the student
was enrolled in the doctoral program.
- A one page justification letter.
- The following four lists of work (co)authored by the candidate:
+ Publications that contain material from the thesis, detailing what
material was taken
from which part of the thesis and the parts that are not contained in the
thesis.
+ Publications that are cited in the thesis, but do not contain material
that also appears
in the thesis.
+ Papers currently under review, including journal submissions of
previously published
work, that contain material from the thesis, detailing what material was
taken from
which part of thesis and the parts that are not contained in the thesis.
+ Those parts of the thesis which are not included in the other lists.
- A list of awards the student received for the thesis and/or publications
related to the
thesis.
- One copy of the dissertation in electronic form (preferably in pdf).
- A separate copy of the abstract in electronic form (either as pdf or plain
text).
All of the above must be submitted to Shay Kutten via email by April 30,
2013.
Award Committee and Review Process
The committee will consist of four core members and a number of ad-hoc
members,
selected as described below. The core members are:
Marcos K. Aguilera, Microsoft Research
Rachid Guerraoui, EPFL
Shay Kutten, Technion (Chair)
Alessandro Panconesi, Sapienza
The review process will consist of two stages. The first selection phase,
carried out by the
core members, will be based on the nomination letters and publication lists.
At the end of
this phase, a short list of dissertations to be considered in the second
round will be
compiled.
Based on the short list, the four core members will identify experts on the
topics of the
dissertations and invite them to serve as additional (ad hoc) members of the
committee.
The committee should include sufficiently many members to allow each
dissertation to be
reviewed by three members without requiring any member to review more than
two
dissertations.
Evaluation Criteria
The nominated dissertations will be reviewed for technical depth and
significance of the
research contributions in the area of Distributed Computing, potential
impact on theory
and practice, and quality of presentation/writing, including thoroughness of
description of
related work and understandability of algorithms and proofs.
Award
- This year the award will be presented at PODC.
- The winning dissertation will receive a plaque and a prize of 1000 USD.
- The committee reserves the right to split or decline to give the award.
Principles of Distributed Computing Doctoral Dissertation Award 2013 - Call
for Nominations
------------------------------------------------------------------------------------------------------------
The Principles of Distributed Computing Doctoral Dissertation Award was
created in 2012
to acknowledge and promote outstanding research by doctoral (Ph.D.) students
on the
principles of Distributed Computing.
Eligibility
- A nominated dissertation must have been successfully defended in the
period January
1st, 2011 through December 31st, 2012.
- If the advisor of the dissertation is in the core committee (see below),
it cannot be
nominated, but will be eligible for an additional year.
- The dissertation must be in English: either originally written in English,
or translated.
- The main topic of the dissertation must be on the principles of
Distributed Computing.
(For a possible indication of what it is meant by this term, see for example
the Call
for Papers of DISC and PODC.)
Nomination and Submission
A one-page nomination letter must be submitted by the thesis advisor. The
nomination
should highlight the dissertation's contributions and justify why the
dissertation is
worthy of the award.
Submission Checklist
A nomination must include:
- Contact details (affiliation and email addresses) of the advisor and the
doctoral student.
- A formal document from the student's department/institution/organization
verifying the
date that the dissertation was successfully defended (a scanned version is
acceptable for
the submission, but the original document might be required at a later stage
of the
evaluation). If not indicated by the document, also state the period of time
the student
was enrolled in the doctoral program.
- A one page justification letter.
- The following four lists of work (co)authored by the candidate:
+ Publications that contain material from the thesis, detailing what
material was taken
from which part of the thesis and the parts that are not contained in the
thesis.
+ Publications that are cited in the thesis, but do not contain material
that also appears
in the thesis.
+ Papers currently under review, including journal submissions of
previously published
work, that contain material from the thesis, detailing what material was
taken from
which part of thesis and the parts that are not contained in the thesis.
+ Those parts of the thesis which are not included in the other lists.
- A list of awards the student received for the thesis and/or publications
related to the
thesis.
- One copy of the dissertation in electronic form (preferably in pdf).
- A separate copy of the abstract in electronic form (either as pdf or plain
text).
All of the above must be submitted to Shay Kutten via email by April 30,
2013.
Award Committee and Review Process
The committee will consist of four core members and a number of ad-hoc
members,
selected as described below. The core members are:
Marcos K. Aguilera, Microsoft Research
Rachid Guerraoui, EPFL
Shay Kutten, Technion (Chair)
Alessandro Panconesi, Sapienza
The review process will consist of two stages. The first selection phase,
carried out by the
core members, will be based on the nomination letters and publication lists.
At the end of
this phase, a short list of dissertations to be considered in the second
round will be
compiled.
Based on the short list, the four core members will identify experts on the
topics of the
dissertations and invite them to serve as additional (ad hoc) members of the
committee.
The committee should include sufficiently many members to allow each
dissertation to be
reviewed by three members without requiring any member to review more than
two
dissertations.
Evaluation Criteria
The nominated dissertations will be reviewed for technical depth and
significance of the
research contributions in the area of Distributed Computing, potential
impact on theory
and practice, and quality of presentation/writing, including thoroughness of
description of
related work and understandability of algorithms and proofs.
Award
- This year the award will be presented at PODC.
- The winning dissertation will receive a plaque and a prize of 1000 USD.
- The committee reserves the right to split or decline to give the award.
CFP: Poster session at the 14th ACM Conference on Electronic Commerce
Call for Participation
Poster Session
14th ACM Conference on Electronic Commerce
June 16-20, 2013
Philadelphia, PA
*Submission deadline: May 10, 2013.*
EC 2013 will feature a poster session that includes papers published
elsewhere relevant to the EC community and work in progress. The poster
session will take place the evening of Tuesday, June 18'th and will be
accompanied by refreshments. We welcome posters on any EC topic.
*Submission*
Submissions should be made at http://www.sigecom.org/ec13/posters.html
by May 10, 2013, 5pm Pacific Time. Poster submissions should include
·Title
·1-2 paragraph abstract
·Authors, listing the presenter as contact author. The presenter must be
registered for EC'13
·At most one poster per registered participant.
The abstract can work published elsewhere or unpublished work. For
papers under publication, please link to the original publication and
mention the venue in which the paper was published or accepted, and the date
of publication/acceptance). For unpublished papers, please link to the web
page of the paper, or upload a pdf of the paper. Posters are non-archival:
they will not appear in the EC proceedings, and so you are free to submit
already-published work.
Poster submissions are not refereed. However, we reserve the right to
turn down submissions deemed out of scope. If the number of poster
submissions exceeds capacity, priority will be given to students and
postdocs, and beyond this, will be based on relevance and the date of
submission. Poster slots will be confirmed by May 17, 2013. If any slots
remain, submissions received after the deadline may be considered at the
discretion of the committee.
*Poster Preparation.*
Posters should be designed to fit within a space that is 42in wide and 48in
high and may consist of a single printed poster or multiple printed pages.
Mounted poster boards, as well as pushpins and tape for attaching your poster
to the poster board, will be provided at the conference.
*About the Conference*
Since 1999 the ACM Special Interest Group on Electronic Commerce (SIGecom) has
sponsored the leading scientific conference on advances in theory, systems, and
applications at the interface of economics and
computation, including applications to electronic commerce.
The Fourteenth ACM Conference on Electronic Commerce (EC'13) will feature
invited speakers, paper presentations, poster presentations, workshops, and
tutorials.
The invited speakers this year are Alvin Roth (Stanford) and Jon Kleinberg
(Cornell)
The conference will be held from Sunday, June 16, 2013 through Thursday, June
20, 2013 in Philadelphia, PA, USA.
For more information:
http://www.sigecom.org/ec13/
ORGANIZING COMMITTEE
General Chair:
Michael Kearns, University of Pennsylvania ec13-general-chair@acm.org
Program Chairs:
Preston McAfee, Google
Eva Tardos, Cornell University
ec13-pc-chairs@acm.org
Workshop Chair:
Moshe Babaioff, Microsoft Research Silicon Valley
ec13-workshops-chair@acm.org
Tutorial Chair:
Ariel Procaccia, Carnegie Mellon University
ec13-tutorial-chair@acm.org
Poster Session
14th ACM Conference on Electronic Commerce
June 16-20, 2013
Philadelphia, PA
*Submission deadline: May 10, 2013.*
EC 2013 will feature a poster session that includes papers published
elsewhere relevant to the EC community and work in progress. The poster
session will take place the evening of Tuesday, June 18'th and will be
accompanied by refreshments. We welcome posters on any EC topic.
*Submission*
Submissions should be made at http://www.sigecom.org/ec13/posters.html
by May 10, 2013, 5pm Pacific Time. Poster submissions should include
·Title
·1-2 paragraph abstract
·Authors, listing the presenter as contact author. The presenter must be
registered for EC'13
·At most one poster per registered participant.
The abstract can work published elsewhere or unpublished work. For
papers under publication, please link to the original publication and
mention the venue in which the paper was published or accepted, and the date
of publication/acceptance). For unpublished papers, please link to the web
page of the paper, or upload a pdf of the paper. Posters are non-archival:
they will not appear in the EC proceedings, and so you are free to submit
already-published work.
Poster submissions are not refereed. However, we reserve the right to
turn down submissions deemed out of scope. If the number of poster
submissions exceeds capacity, priority will be given to students and
postdocs, and beyond this, will be based on relevance and the date of
submission. Poster slots will be confirmed by May 17, 2013. If any slots
remain, submissions received after the deadline may be considered at the
discretion of the committee.
*Poster Preparation.*
Posters should be designed to fit within a space that is 42in wide and 48in
high and may consist of a single printed poster or multiple printed pages.
Mounted poster boards, as well as pushpins and tape for attaching your poster
to the poster board, will be provided at the conference.
*About the Conference*
Since 1999 the ACM Special Interest Group on Electronic Commerce (SIGecom) has
sponsored the leading scientific conference on advances in theory, systems, and
applications at the interface of economics and
computation, including applications to electronic commerce.
The Fourteenth ACM Conference on Electronic Commerce (EC'13) will feature
invited speakers, paper presentations, poster presentations, workshops, and
tutorials.
The invited speakers this year are Alvin Roth (Stanford) and Jon Kleinberg
(Cornell)
The conference will be held from Sunday, June 16, 2013 through Thursday, June
20, 2013 in Philadelphia, PA, USA.
For more information:
http://www.sigecom.org/ec13/
ORGANIZING COMMITTEE
General Chair:
Michael Kearns, University of Pennsylvania ec13-general-chair@acm.org
Program Chairs:
Preston McAfee, Google
Eva Tardos, Cornell University
ec13-pc-chairs@acm.org
Workshop Chair:
Moshe Babaioff, Microsoft Research Silicon Valley
ec13-workshops-chair@acm.org
Tutorial Chair:
Ariel Procaccia, Carnegie Mellon University
ec13-tutorial-chair@acm.org
Friday, April 12, 2013
[DMANET] ECCO 2013 - Registration open
Registration for ECCO 2013 is now open. Please visit the web page of the conference: www.eccoxxvi.fr
and read carefully the instructions concerning registration.
Registration fees:
- Regular participant: 150 Euros until May 12, 2013; 200 Euros after May 12, 2013.
- Student: 100 Euros until May 12, 2013; 150 Euros after May 12, 2013.
- Accompanying person: 100 Euros until May 12, 2013; 150 Euros after May 12, 2013.
The deadline for inclusion in the program has been extended to May 12, 2013.
+++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
The 26th Conference of the European Chapter on Combinatorial Optimization
will be held in Paris, France, at the Conservatoire National des Arts et Métiers
from May 30 to June 1, 2013.
The ECCO XXVI - 2013 conference will be organized jointly by the
LAMSADE-CNRS UMR 7243 of the University Paris-Dauphine and the
laboratory CEDRIC of the Conservatoire National des Arts et Métiers (CNAM).
ECCO (European Chapter on Combinatorial Optimization) is a working group
of EURO (Association of European Operational Research Societies) that
provides an excellent opportunity to discuss recent and important issues
in Combinatorial Optimization and its applications with European
combinatorialists by organizing annual conference meetings.
=========================
The primary objectives are:
=========================
- exchanging results and experiences in solving real-world combinatorial
optimization problems,
- reporting on development and implementation of appropriate models and
efficient solution methods for combinatorial optimization problems,
- establishing networking contacts between individuals and research
groups working on related topics,
- promoting the work on combinatorial optimization (theory and
applications) to the broader scientific community,
- identifying challenging research problems for the field, as well as
promising research outlets (both in theory and applications),
- promoting interactions with researchers in other related fields.
=================
Topics of interest:
=================
- applications of combinatorial optimization in logistics and supply
chain management, manufacturing, energy production and distribution,
telecommunications, bioinformatics, finance, discrete and hybrid
dynamical systems, and other fields,
- exact solution algorithms, approximation algorithms, heuristics, and
meta-heuristics for combinatorial optimization problems,
- graph theory and network flows,
- integer programming, global optimization, stochastic integer
programming, multiobjective programming.
==================
Plenary Speakers:
==================
Dorit S. Hochbaum, Industrial Engineering and Operations Research – University of California
Alberto Marchetti-Spaccamela, Dipartimento di Informatica e Sistemistica – Università di Roma
Peter Gritzmann, Mathematics Department, Technische Universität München
Stéphan Thomassé, Laboratoire de l'informatique du parallélisme - Ecole Normale Supérieure de Lyon
====================
Program Committee:
====================
Cédric BENTZ, Conservatoire National des Arts et Métiers, France
Jacek BLAZEWICZ, Poznan University of Technology, Poland
Denis CORNAZ, Université Paris-Dauphine, France
Van-Dat CUNG, Grenoble INP, France
Alain HERTZ, École Polytechnique Montréal, Canada
Ridha MAHJOUB, Université Paris-Dauphine, France
Silvano MARTELLO, University of Bologna, Italy
Vangelis PASCHOS, Université Paris-Dauphine, France
Christophe PICOULEAU, Co-Chair, Conservatoire National des Arts et Métiers, France
Bernard RIES, Co-Chair, Université Paris-Dauphine, France
Paolo TOTH, University of Bologna, Italy
======================
Organizing Committee:
======================
Cédric BENTZ,
Denis CORNAZ,
Nassim DEHOUCHE,
Katerina KINTA,
Ridha MAHJOUB,
Vangelis PASCHOS,
Christophe PICOULEAU (Co-Chair),
Bernard RIES (Co-Chair)
--
-------------------------------------
Dr Bernard Ries
Associate Professor
LAMSADE - Université Paris-Dauphine
E-mail: bernard.ries@dauphine.fr
Homepage: http://www.lamsade.dauphine.fr/~ries
**********************************************************
*
* 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/
*
**********************************************************
and read carefully the instructions concerning registration.
Registration fees:
- Regular participant: 150 Euros until May 12, 2013; 200 Euros after May 12, 2013.
- Student: 100 Euros until May 12, 2013; 150 Euros after May 12, 2013.
- Accompanying person: 100 Euros until May 12, 2013; 150 Euros after May 12, 2013.
The deadline for inclusion in the program has been extended to May 12, 2013.
+++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
The 26th Conference of the European Chapter on Combinatorial Optimization
will be held in Paris, France, at the Conservatoire National des Arts et Métiers
from May 30 to June 1, 2013.
The ECCO XXVI - 2013 conference will be organized jointly by the
LAMSADE-CNRS UMR 7243 of the University Paris-Dauphine and the
laboratory CEDRIC of the Conservatoire National des Arts et Métiers (CNAM).
ECCO (European Chapter on Combinatorial Optimization) is a working group
of EURO (Association of European Operational Research Societies) that
provides an excellent opportunity to discuss recent and important issues
in Combinatorial Optimization and its applications with European
combinatorialists by organizing annual conference meetings.
=========================
The primary objectives are:
=========================
- exchanging results and experiences in solving real-world combinatorial
optimization problems,
- reporting on development and implementation of appropriate models and
efficient solution methods for combinatorial optimization problems,
- establishing networking contacts between individuals and research
groups working on related topics,
- promoting the work on combinatorial optimization (theory and
applications) to the broader scientific community,
- identifying challenging research problems for the field, as well as
promising research outlets (both in theory and applications),
- promoting interactions with researchers in other related fields.
=================
Topics of interest:
=================
- applications of combinatorial optimization in logistics and supply
chain management, manufacturing, energy production and distribution,
telecommunications, bioinformatics, finance, discrete and hybrid
dynamical systems, and other fields,
- exact solution algorithms, approximation algorithms, heuristics, and
meta-heuristics for combinatorial optimization problems,
- graph theory and network flows,
- integer programming, global optimization, stochastic integer
programming, multiobjective programming.
==================
Plenary Speakers:
==================
Dorit S. Hochbaum, Industrial Engineering and Operations Research – University of California
Alberto Marchetti-Spaccamela, Dipartimento di Informatica e Sistemistica – Università di Roma
Peter Gritzmann, Mathematics Department, Technische Universität München
Stéphan Thomassé, Laboratoire de l'informatique du parallélisme - Ecole Normale Supérieure de Lyon
====================
Program Committee:
====================
Cédric BENTZ, Conservatoire National des Arts et Métiers, France
Jacek BLAZEWICZ, Poznan University of Technology, Poland
Denis CORNAZ, Université Paris-Dauphine, France
Van-Dat CUNG, Grenoble INP, France
Alain HERTZ, École Polytechnique Montréal, Canada
Ridha MAHJOUB, Université Paris-Dauphine, France
Silvano MARTELLO, University of Bologna, Italy
Vangelis PASCHOS, Université Paris-Dauphine, France
Christophe PICOULEAU, Co-Chair, Conservatoire National des Arts et Métiers, France
Bernard RIES, Co-Chair, Université Paris-Dauphine, France
Paolo TOTH, University of Bologna, Italy
======================
Organizing Committee:
======================
Cédric BENTZ,
Denis CORNAZ,
Nassim DEHOUCHE,
Katerina KINTA,
Ridha MAHJOUB,
Vangelis PASCHOS,
Christophe PICOULEAU (Co-Chair),
Bernard RIES (Co-Chair)
--
-------------------------------------
Dr Bernard Ries
Associate Professor
LAMSADE - Université Paris-Dauphine
E-mail: bernard.ries@dauphine.fr
Homepage: http://www.lamsade.dauphine.fr/~ries
**********************************************************
*
* 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/
*
**********************************************************
MASSIVE 2013: Call for Papers
Fifth Workshop on Massive Data Algorithmics (MASSIVE 2013)
September 5, 2013
Sophia Antipolis, France
In connection with ALGO'13 and organized by
Center for Massive Data Algorithmics (MADALGO)
Webpage: www.madalgo.au.dk/massive2013
Aim and Scope
Tremendous advances in our ability to acquire, store and process data,
as well as the pervasive use of computers in general, have resulted in
a spectacular increase in the amount of data being collected. This
availability of high-quality data has led to major advances in both
science and industry. In general, society is becoming increasingly
data driven, and this trend is likely to continue in the coming years.
The increasing number of applications processing massive data means
that in general focus on algorithm efficiency is increasing. However,
the large size of the data, and/or the small size of many modern
computing devices, also means that issues such as memory hierarchy
architecture often play a crucial role in algorithm efficiency. Thus
the availability of massive data also means many new challenges for
algorithm designers.
The aim of the workshop on massive data algorithmics is to provide a
forum for researchers from both academia and industry interested in
algorithms for massive dataset problems. The scope of the workshop
includes both fundamental algorithmic problems involving massive data,
as well as algorithms for more specialized problems in, e.g.,
graphics, databases, statistics and bioinformatics. Topics of interest
include, but are not limited to:
- I/O-efficient algorithms
- Cache-oblivious algorithms
- Memory hierarchy efficient algorithms
- Streaming algorithms
- Sublinear algorithms
- Parallel algorithms for massive data problem
- Engineering massive data algorithms
Paper submission
We invite submissions of extended abstracts (at most 10 pages not counting
references) of original research. Extended abstract should be submitted through
the EasyChair website by July 26. Authors will be notified about acceptance by
August 12, and final versions will be due on August 23. Accepted extended
abstracts will be collected in a booklet, which will be distributed at the
workshop. There will be no formal proceedings, so work presented at the
workshop can also be (or have been) presented at other conferences. An author
of each accepted abstract is expected to give a presentation of the abstract at
the workshop.
Program committee
Pankaj Agarwal, (Duke)
Lars Arge (Aarhus and MADALGO)
Guy E. Blelloch (CMU)
Gerth S. Brodal (Aarhus and MADALGO)
Ken Clarkson (IBM Almaden)
Graham Cormode (AT&T Research)
Michael Goodrich (UC Irvine)
John Iacono (NYU Polytechnic)
Piotr Indyk (MIT and MADALGO)
Christian Jensen (Aarhus and MADALGO)
Alejandro Lopez-Ortiz (Waterloo)
Andrew McGregor (Massachusetts, Amherst)
Meyer Ulrich (Frankfurt and MADALGO)
Nodari Sitchinava (Karlsruhe)
Sergei Vassilvitskii (Stanford)
Suresh Venkatasubramanian (Utah)
Jeffrey Scott Vitter (Kansas)
Ke Yi (HKUST)
Norbert Zeh (Dalhousie)
Chair: Peyman Afshani (Aarhus and MADALGO)
Organizing committee
Lars Arge (Aarhus and MADALGO)
Gerth Stølting Brodal (Aarhus and MADALGO)
Peyman Afshani (Aarhus and MADALGO)
Else Magård (Aarhus and MADALGO)
Matie Bach Søgaard (Aarhus and MADALGO)
Participation
The workshop will take place on September 5, 2013 in Sophia Antipolis, France,
as part of ALGO 2013 immediately following the European Symposium on Algorithms
(ESA). Participants for MASSIVE should register through the on-line
registration on the ALGO-webpage which we will link to as soon as it is open.
All researchers and industry people interested in massive data algorithmics are
encouraged to attend the workshop. Important dates
Paper submission deadline: July 26
Notification of acceptance: August 12
Final version due: August 23
Symposium: September 5
Participation
The workshop will take place on September 5, 2013 in Sophia Antipolis, France,
as part of ALGO immediately following the European Symposium on
Algorithms. Participants should register through the on-line
registration which will soon be linked from the workshop webpage under
www.madalgo.au.dk/massive203. All researchers and industry
people interested in massive data algorithmics are encouraged to attend
the workshop.
September 5, 2013
Sophia Antipolis, France
In connection with ALGO'13 and organized by
Center for Massive Data Algorithmics (MADALGO)
Webpage: www.madalgo.au.dk/massive2013
Aim and Scope
Tremendous advances in our ability to acquire, store and process data,
as well as the pervasive use of computers in general, have resulted in
a spectacular increase in the amount of data being collected. This
availability of high-quality data has led to major advances in both
science and industry. In general, society is becoming increasingly
data driven, and this trend is likely to continue in the coming years.
The increasing number of applications processing massive data means
that in general focus on algorithm efficiency is increasing. However,
the large size of the data, and/or the small size of many modern
computing devices, also means that issues such as memory hierarchy
architecture often play a crucial role in algorithm efficiency. Thus
the availability of massive data also means many new challenges for
algorithm designers.
The aim of the workshop on massive data algorithmics is to provide a
forum for researchers from both academia and industry interested in
algorithms for massive dataset problems. The scope of the workshop
includes both fundamental algorithmic problems involving massive data,
as well as algorithms for more specialized problems in, e.g.,
graphics, databases, statistics and bioinformatics. Topics of interest
include, but are not limited to:
- I/O-efficient algorithms
- Cache-oblivious algorithms
- Memory hierarchy efficient algorithms
- Streaming algorithms
- Sublinear algorithms
- Parallel algorithms for massive data problem
- Engineering massive data algorithms
Paper submission
We invite submissions of extended abstracts (at most 10 pages not counting
references) of original research. Extended abstract should be submitted through
the EasyChair website by July 26. Authors will be notified about acceptance by
August 12, and final versions will be due on August 23. Accepted extended
abstracts will be collected in a booklet, which will be distributed at the
workshop. There will be no formal proceedings, so work presented at the
workshop can also be (or have been) presented at other conferences. An author
of each accepted abstract is expected to give a presentation of the abstract at
the workshop.
Program committee
Pankaj Agarwal, (Duke)
Lars Arge (Aarhus and MADALGO)
Guy E. Blelloch (CMU)
Gerth S. Brodal (Aarhus and MADALGO)
Ken Clarkson (IBM Almaden)
Graham Cormode (AT&T Research)
Michael Goodrich (UC Irvine)
John Iacono (NYU Polytechnic)
Piotr Indyk (MIT and MADALGO)
Christian Jensen (Aarhus and MADALGO)
Alejandro Lopez-Ortiz (Waterloo)
Andrew McGregor (Massachusetts, Amherst)
Meyer Ulrich (Frankfurt and MADALGO)
Nodari Sitchinava (Karlsruhe)
Sergei Vassilvitskii (Stanford)
Suresh Venkatasubramanian (Utah)
Jeffrey Scott Vitter (Kansas)
Ke Yi (HKUST)
Norbert Zeh (Dalhousie)
Chair: Peyman Afshani (Aarhus and MADALGO)
Organizing committee
Lars Arge (Aarhus and MADALGO)
Gerth Stølting Brodal (Aarhus and MADALGO)
Peyman Afshani (Aarhus and MADALGO)
Else Magård (Aarhus and MADALGO)
Matie Bach Søgaard (Aarhus and MADALGO)
Participation
The workshop will take place on September 5, 2013 in Sophia Antipolis, France,
as part of ALGO 2013 immediately following the European Symposium on Algorithms
(ESA). Participants for MASSIVE should register through the on-line
registration on the ALGO-webpage which we will link to as soon as it is open.
All researchers and industry people interested in massive data algorithmics are
encouraged to attend the workshop. Important dates
Paper submission deadline: July 26
Notification of acceptance: August 12
Final version due: August 23
Symposium: September 5
Participation
The workshop will take place on September 5, 2013 in Sophia Antipolis, France,
as part of ALGO immediately following the European Symposium on
Algorithms. Participants should register through the on-line
registration which will soon be linked from the workshop webpage under
www.madalgo.au.dk/massive203. All researchers and industry
people interested in massive data algorithmics are encouraged to attend
the workshop.
[DMANET] FPT Parameterized NEW IDEAS Workshop
The PARAMETERIZED COMPLEXITY RESEARCH UNIT at Charles Darwin University, Australia announces
+++++ FPT PARAMETERIZED COMPLEXITY `NEW IDEAS' RESEARCH WORKSHOP ++++
DATES: Two days 31 July and 01 August, 2013
PLACE: Charles Darwin University, NT Australia
The workshop will discuss new insights on parameterizing Bayesian Networks, Nash Equilibria, Incrementalization, modeling and approximation and other exciting multivariate algorithmic problems. The workshop will be broad, and we look forward to hearing your ideas.
Please contact Frances.Rosamond@CDU.EDU.AU or Michael.Fellows@CDU.EDU.AU if you would like a letter of invitation or for more information.
Cost is $75 and includes Wednesday night dinner. On Thursday night we will go to the famous Mindil Beach market. Register at www.cdu.edu.au/conference/csmaths or email Frances.Rosamond@cdu.edu.au.
_______________________________________________________________________________________________
Immediately following the FPT NEW IDEAS Workshop, is the FIRST INTERNATIONAL CONFERENCE ON CREATIVE MATHEMATICAL SCIENCES COMMUNICATION AND OUTREACH
This conference looks at the new paradigm of mathematics outreach in the world. It has a monumental impact that is just beginning to evolve. See the website for bios of outstanding keynote speakers. We value your participation.
STARTS: 1pm on Friday 2 August
DATES: 2—10 August.
PLACE: Charles Darwin Univ from 2-5. On Tuesday, 6 August the conference will continue in the Outback.
WEBSITE: http://www.cdu.edu.au/conference/csmaths
* Discuss ways in which mathematical and computer science researchers can share the latest open problems and FRONTIERS of their research areas with the public.
* Examine how mathematical THINKING nurtures 21st Century competencies.
* Design CULTURAL and whole body activities that show understanding and relevance to INDIGENOUS peoples.
*Discuss FUTURE DIRECTIONS of the international award-winning outreach program Computer Science Unplugged (http://www.csunplugged.org)
* Cultivate RELATIONSHIPS between educators, mathematicians, computer science researchers, and government to foster math curiosity and enthusiasm.
^^^^^^^^^^^ MAKE A DIFFERENCE IN THE WORLD ^^^^^^^^
** Share successful activities with colleagues, including instances where outreach has inspired new research questions or directions. For example, Mike Fellows will describe how "Kid Crypto" inspired the new research direction of Polly Cracker crypto systems.
** Discuss with Tim Bell and others the future directions of Computer Science Unplugged! which started as a grass-roots movement and now is translated into 17 languages.
World-wide, Google supports CS4HS which uses the activities and philosophy, as does the Computational Thinking Institute at Carnegie Mellon Univ. The materials are recommended by the ACM K-12 Curriculum and CSTA.
The activities are kinaesthetic, cooperative and do not require any computers (unplugged). They are described on an extensive website and dedicated YouTube teacher channel (www.csunplugged.org).
** Increase maths and computer science interest among Indigenous learners. Examine outreach with Chris Matthews, Griffith Univ and Terry Dunbar, CDU (Aboriginal learners); R.Ramanujam (Jam), Chennai Institute Mathematical Sciences (Tamil Nadu); Ulrike Stege, UVIC and Geri Lorway, Alberta (Native People of Canada), Judith Montgomery, Univ Santa Barbara (Latinos), and others.
Register for either/both at www.cdu.edu.au/conference/csmaths.
Visit the website to see bios of outstanding keynote speakers.
Contact: Frances.Rosamond@cdu.edu.au or Michael.Fellows@cdu.edu.au
**********************************************************
*
* 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/
*
**********************************************************
+++++ FPT PARAMETERIZED COMPLEXITY `NEW IDEAS' RESEARCH WORKSHOP ++++
DATES: Two days 31 July and 01 August, 2013
PLACE: Charles Darwin University, NT Australia
The workshop will discuss new insights on parameterizing Bayesian Networks, Nash Equilibria, Incrementalization, modeling and approximation and other exciting multivariate algorithmic problems. The workshop will be broad, and we look forward to hearing your ideas.
Please contact Frances.Rosamond@CDU.EDU.AU or Michael.Fellows@CDU.EDU.AU if you would like a letter of invitation or for more information.
Cost is $75 and includes Wednesday night dinner. On Thursday night we will go to the famous Mindil Beach market. Register at www.cdu.edu.au/conference/csmaths or email Frances.Rosamond@cdu.edu.au.
_______________________________________________________________________________________________
Immediately following the FPT NEW IDEAS Workshop, is the FIRST INTERNATIONAL CONFERENCE ON CREATIVE MATHEMATICAL SCIENCES COMMUNICATION AND OUTREACH
This conference looks at the new paradigm of mathematics outreach in the world. It has a monumental impact that is just beginning to evolve. See the website for bios of outstanding keynote speakers. We value your participation.
STARTS: 1pm on Friday 2 August
DATES: 2—10 August.
PLACE: Charles Darwin Univ from 2-5. On Tuesday, 6 August the conference will continue in the Outback.
WEBSITE: http://www.cdu.edu.au/conference/csmaths
* Discuss ways in which mathematical and computer science researchers can share the latest open problems and FRONTIERS of their research areas with the public.
* Examine how mathematical THINKING nurtures 21st Century competencies.
* Design CULTURAL and whole body activities that show understanding and relevance to INDIGENOUS peoples.
*Discuss FUTURE DIRECTIONS of the international award-winning outreach program Computer Science Unplugged (http://www.csunplugged.org)
* Cultivate RELATIONSHIPS between educators, mathematicians, computer science researchers, and government to foster math curiosity and enthusiasm.
^^^^^^^^^^^ MAKE A DIFFERENCE IN THE WORLD ^^^^^^^^
** Share successful activities with colleagues, including instances where outreach has inspired new research questions or directions. For example, Mike Fellows will describe how "Kid Crypto" inspired the new research direction of Polly Cracker crypto systems.
** Discuss with Tim Bell and others the future directions of Computer Science Unplugged! which started as a grass-roots movement and now is translated into 17 languages.
World-wide, Google supports CS4HS which uses the activities and philosophy, as does the Computational Thinking Institute at Carnegie Mellon Univ. The materials are recommended by the ACM K-12 Curriculum and CSTA.
The activities are kinaesthetic, cooperative and do not require any computers (unplugged). They are described on an extensive website and dedicated YouTube teacher channel (www.csunplugged.org).
** Increase maths and computer science interest among Indigenous learners. Examine outreach with Chris Matthews, Griffith Univ and Terry Dunbar, CDU (Aboriginal learners); R.Ramanujam (Jam), Chennai Institute Mathematical Sciences (Tamil Nadu); Ulrike Stege, UVIC and Geri Lorway, Alberta (Native People of Canada), Judith Montgomery, Univ Santa Barbara (Latinos), and others.
Register for either/both at www.cdu.edu.au/conference/csmaths.
Visit the website to see bios of outstanding keynote speakers.
Contact: Frances.Rosamond@cdu.edu.au or Michael.Fellows@cdu.edu.au
**********************************************************
*
* 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, April 11, 2013
PhD position in TCS at KTH Royal Institute of Technology
The Theory Group at KTH Royal Institute of Technology invites applications
for a PhD position in Theoretical Computer Science.
KTH Royal Institute of Technology is the leading technical university in
Sweden, with education and research spanning from natural sciences to all
branches of engineering including architecture, industrial management and
urban planning. The Theory Group at KTH (http://www.csc.kth.se/tcs/)
offers a strong research environment covering a wide range of research
topics such as complexity theory and approximation algorithms, computer
and network security, cryptography, formal methods and natural language
processing. The group has a consistent track record of publishing
regularly in the leading theoretical computer science conferences and
journals worldwide, and the research conducted here has attracted numerous
international awards and grants in recent years.
We are seeking a PhD student for the research project "Understanding the
Hardness of Theorem Proving" in the area of proof complexity with
connections to SAT solving.
Proving formulas in propositional logic is a problem of immense importance
both theoretically and practically. On the one hand, this computational
task is believed to be intractable in general, and deciding whether this
is so is one of the famous million dollar Millennium Problems (the P vs.
NP problem). On the other hand, today so-called SAT solvers are routinely
used to solve large-scale real-world problem instances with millions of
variables.
Proof complexity studies formal systems for reasoning about logic
formulas. This field has deep connections to fundamental questions in
computational complexity, but another important motivation is the
connection to SAT solving. All SAT solvers use some kind of method or
system in which proofs are searched for, and proof complexity analyses the
potential and limitations of such proof systems (and thereby of the
algorithms using them).
This project aims to advance the frontiers of proof complexity, and to
leverage this research to shed light on questions related to SAT solving.
This could potentially also involve research in related areas such as, for
example, circuit complexity, communication complexity, or hardness of
approximation.
The project is led by Jakob Nordstrom (http://www.csc.kth.se/~jakobn) and
is financed by a Breakthrough Research Grant from the Swedish Research
Council and a Starting Independent Researcher Grant from the European
Research Council. The group currently consists of one postdoctoral
researcher and two PhD students (in addition to the project leader).
Travel funding is included, and the group also receives short-term and
long-term visitors on a regular basis.
This is a full-time employed position, normally for five years including
20% teaching, with salary according to KTH PhD student regulations
(internationally very competitive). The successful candidate is expected
to start at the latest in August 2013, although this is to some extent
negotiable.
The application deadline is May 5, 2013, but candidates are encouraged to
apply right away since applications are reviewed on a continuous basis.
See http://www.csc.kth.se/~jakobn/openings/D-2013-0301-Eng.php for the
full, formal announcement with more information and instructions for how
to apply. Informal enquiries about this position are welcome and may be
sent to Jakob Nordstrom.
for a PhD position in Theoretical Computer Science.
KTH Royal Institute of Technology is the leading technical university in
Sweden, with education and research spanning from natural sciences to all
branches of engineering including architecture, industrial management and
urban planning. The Theory Group at KTH (http://www.csc.kth.se/tcs/)
offers a strong research environment covering a wide range of research
topics such as complexity theory and approximation algorithms, computer
and network security, cryptography, formal methods and natural language
processing. The group has a consistent track record of publishing
regularly in the leading theoretical computer science conferences and
journals worldwide, and the research conducted here has attracted numerous
international awards and grants in recent years.
We are seeking a PhD student for the research project "Understanding the
Hardness of Theorem Proving" in the area of proof complexity with
connections to SAT solving.
Proving formulas in propositional logic is a problem of immense importance
both theoretically and practically. On the one hand, this computational
task is believed to be intractable in general, and deciding whether this
is so is one of the famous million dollar Millennium Problems (the P vs.
NP problem). On the other hand, today so-called SAT solvers are routinely
used to solve large-scale real-world problem instances with millions of
variables.
Proof complexity studies formal systems for reasoning about logic
formulas. This field has deep connections to fundamental questions in
computational complexity, but another important motivation is the
connection to SAT solving. All SAT solvers use some kind of method or
system in which proofs are searched for, and proof complexity analyses the
potential and limitations of such proof systems (and thereby of the
algorithms using them).
This project aims to advance the frontiers of proof complexity, and to
leverage this research to shed light on questions related to SAT solving.
This could potentially also involve research in related areas such as, for
example, circuit complexity, communication complexity, or hardness of
approximation.
The project is led by Jakob Nordstrom (http://www.csc.kth.se/~jakobn) and
is financed by a Breakthrough Research Grant from the Swedish Research
Council and a Starting Independent Researcher Grant from the European
Research Council. The group currently consists of one postdoctoral
researcher and two PhD students (in addition to the project leader).
Travel funding is included, and the group also receives short-term and
long-term visitors on a regular basis.
This is a full-time employed position, normally for five years including
20% teaching, with salary according to KTH PhD student regulations
(internationally very competitive). The successful candidate is expected
to start at the latest in August 2013, although this is to some extent
negotiable.
The application deadline is May 5, 2013, but candidates are encouraged to
apply right away since applications are reviewed on a continuous basis.
See http://www.csc.kth.se/~jakobn/openings/D-2013-0301-Eng.php for the
full, formal announcement with more information and instructions for how
to apply. Informal enquiries about this position are welcome and may be
sent to Jakob Nordstrom.
Subscribe to:
Posts (Atom)
Posts
