Workshop announcement:
"6th workshop on Graph Classes, Optimization, and Width Parameters"
to be held in Santorini Island, Greece during October 09-11, 2013.
The target of the event is to bring together various researchers and research
groups working with problems related to Graph Classes, Optimization, and
Width Parameters.
As with each of the previous GROW workshops, a special issue of Discrete
Applied Mathematics will be dedicated to papers related to GROW 2013.
Preliminary information on the conference, the accommodation and
participation costs can be found at the workshop webpage at
http://grow2013.isoftcloud.gr/
Participation to GROW workshop is possible only after invitation
(for more info, please contact the organizer at sedthilk@thilikos.info).
Dimitrios M. Thilikos
(sedthilk@thilikos.info)
**********************************************************
*
* Contributions to be spread via DMANET are submitted to
*
* DMANET@zpr.uni-koeln.de
*
* Replies to a message carried on DMANET should NOT be
* addressed to DMANET but to the original sender. The
* original sender, however, is invited to prepare an
* update of the replies received and to communicate it
* via DMANET.
*
* DISCRETE MATHEMATICS AND ALGORITHMS NETWORK (DMANET)
* http://www.zaik.uni-koeln.de/AFS/publications/dmanet/
*
**********************************************************
Saturday, March 30, 2013
Friday, March 29, 2013
[DMANET] special issue on City Logistics of the EURO J. on Transportation and Logistics
[very sorry for multiple cross-posting ]
===========================================================
EURO Journal on Transportation and Logistics
Special issue: City Logistics
Guest editors: Teodor Gabriel Crainic and Dominique Feillet
Deadline to submit manuscripts: July 15, 2013
Publication date: September 01, 2014
===========================================================
Urban distribution has emerged in the last two decades as an important
concern for many cities, freight carriers, logistics service providers,
retailers, and citizens. Many new forms of distribution and freight
transportation organization and management have been proposed and
sometimes experimented to adapt to new expectations of citizens and new
collective goals of urban sustainable development. Compared to
traditional schemes, many new challenges appear for the Operational
Research community, including, but not limited to
- the numerous new forms of urban freight transportation that
should be explored and evaluated,
- the development of appropriate planning models and methods for
City Logistics systems,
- the integration of City Logistics into the planning of urban
transportation networks,
- the major opportunities offered by telematics (Intelligent
Transportation Systems) to better organize and manage the traffic and
transportation systems in general,
- the way sustainability can be better integrated into decisions.
The aim of this special issue is to report on new models and insights on
the application of OR to City Logistics. Papers that take special care
of practical considerations (e.g., availability of data, stakeholder
objectives, new rules in cities..) and that tend to provide a generic
understanding of the challenges raised by City Logistics will be
particularly appreciated.
In order to submit a paper for a Special Issue,
Log on the editorial manager using the Author Login.
Select Submit New Manuscript in the main menu.
In the drop down list associated with Choose Article Type, select
the desired special issue. The entries corresponding to the special
issues start with SI.
**********************************************************
*
* 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/
*
**********************************************************
===========================================================
EURO Journal on Transportation and Logistics
Special issue: City Logistics
Guest editors: Teodor Gabriel Crainic and Dominique Feillet
Deadline to submit manuscripts: July 15, 2013
Publication date: September 01, 2014
===========================================================
Urban distribution has emerged in the last two decades as an important
concern for many cities, freight carriers, logistics service providers,
retailers, and citizens. Many new forms of distribution and freight
transportation organization and management have been proposed and
sometimes experimented to adapt to new expectations of citizens and new
collective goals of urban sustainable development. Compared to
traditional schemes, many new challenges appear for the Operational
Research community, including, but not limited to
- the numerous new forms of urban freight transportation that
should be explored and evaluated,
- the development of appropriate planning models and methods for
City Logistics systems,
- the integration of City Logistics into the planning of urban
transportation networks,
- the major opportunities offered by telematics (Intelligent
Transportation Systems) to better organize and manage the traffic and
transportation systems in general,
- the way sustainability can be better integrated into decisions.
The aim of this special issue is to report on new models and insights on
the application of OR to City Logistics. Papers that take special care
of practical considerations (e.g., availability of data, stakeholder
objectives, new rules in cities..) and that tend to provide a generic
understanding of the challenges raised by City Logistics will be
particularly appreciated.
In order to submit a paper for a Special Issue,
Log on the editorial manager using the Author Login.
Select Submit New Manuscript in the main menu.
In the drop down list associated with Choose Article Type, select
the desired special issue. The entries corresponding to the special
issues start with SI.
**********************************************************
*
* Contributions to be spread via DMANET are submitted to
*
* DMANET@zpr.uni-koeln.de
*
* Replies to a message carried on DMANET should NOT be
* addressed to DMANET but to the original sender. The
* original sender, however, is invited to prepare an
* update of the replies received and to communicate it
* via DMANET.
*
* DISCRETE MATHEMATICS AND ALGORITHMS NETWORK (DMANET)
* http://www.zaik.uni-koeln.de/AFS/publications/dmanet/
*
**********************************************************
[DMANET] PhD position at WU Vienna, Austria
Applications are invited for a PhD position at the Research Institute for Supply Chain Management at WU (Vienna University of Economics and Business).
The position is funded by the Joint Programming Initiative Urban Europe. The project focuses on the important area of city logistics. Specifically, the project includes research on new transportation solutions, new mechanisms for execution and control of city logistics, urban distribution of goods, freight movements and their impact on residents and the environment. This project takes an integrated supply chain point of view to urban freight transportation. The fundamental idea is to stop considering each shipment, actor and vehicle in isolation, but as components of an integrated logistics system to be optimized. The project involves key players in the urban transportation field, both from leading European universities and European-based companies, who have expertise and experience in city distribution. The position is available from June 2013, but the starting date is flexible. The initial appointment is until April 30, 2016 with the possibility of renewal.
TASKS:
+Development and implementation of different optimization approaches in the context of logistics and supply chain management
+Project support (research and administrative)
+Collaboration on research papers to be submitted to high-level international journals
+Participation in project meetings and international conferences
SALARY:
The salary is approximately 26.586 euros gross per year with benefits including health insurance and social coverage.
REQUIRED SKILLS AND QUALIFICATIONS:
Candidates should have an excellent academic degree in mathematics, computer science, business or a related area. Solid mathematical, analytical and computing skills are essential. Furthermore, programming skills and excellent English skills are required.
APPLICATIONS:
Applications can be submitted online until April 24 2013 at http://www.wu.ac.at/jobs
Reference number: 2250
Applications should include a motivation letter including a statement of research interests and a complete CV (resume) and an academic transcript.
For further questions please contact vera.hemmelmayr@wu.ac.at
**********************************************************
*
* Contributions to be spread via DMANET are submitted to
*
* DMANET@zpr.uni-koeln.de
*
* Replies to a message carried on DMANET should NOT be
* addressed to DMANET but to the original sender. The
* original sender, however, is invited to prepare an
* update of the replies received and to communicate it
* via DMANET.
*
* DISCRETE MATHEMATICS AND ALGORITHMS NETWORK (DMANET)
* http://www.zaik.uni-koeln.de/AFS/publications/dmanet/
*
**********************************************************
The position is funded by the Joint Programming Initiative Urban Europe. The project focuses on the important area of city logistics. Specifically, the project includes research on new transportation solutions, new mechanisms for execution and control of city logistics, urban distribution of goods, freight movements and their impact on residents and the environment. This project takes an integrated supply chain point of view to urban freight transportation. The fundamental idea is to stop considering each shipment, actor and vehicle in isolation, but as components of an integrated logistics system to be optimized. The project involves key players in the urban transportation field, both from leading European universities and European-based companies, who have expertise and experience in city distribution. The position is available from June 2013, but the starting date is flexible. The initial appointment is until April 30, 2016 with the possibility of renewal.
TASKS:
+Development and implementation of different optimization approaches in the context of logistics and supply chain management
+Project support (research and administrative)
+Collaboration on research papers to be submitted to high-level international journals
+Participation in project meetings and international conferences
SALARY:
The salary is approximately 26.586 euros gross per year with benefits including health insurance and social coverage.
REQUIRED SKILLS AND QUALIFICATIONS:
Candidates should have an excellent academic degree in mathematics, computer science, business or a related area. Solid mathematical, analytical and computing skills are essential. Furthermore, programming skills and excellent English skills are required.
APPLICATIONS:
Applications can be submitted online until April 24 2013 at http://www.wu.ac.at/jobs
Reference number: 2250
Applications should include a motivation letter including a statement of research interests and a complete CV (resume) and an academic transcript.
For further questions please contact vera.hemmelmayr@wu.ac.at
**********************************************************
*
* 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, March 28, 2013
[DMANET] Submission deadline extension: Machines, Computations and Universality 2013
The deadline for submissions has been extended to April 14.
CALL FOR PAPERS
Machines, Computations and Universality (MCU) 2013, the 6th conference
in the MCU series, will be hosted at the University of Zurich on
September 9-12, 2013.
SCOPE
MCU explores computation in the setting of various discrete models
(Turing machines, register machines, cellular automata, tile assembly
systems, rewriting systems, neural models etc.) and analog and hybrid
models (BSS machines, infinite time cellular automata, real machines,
quantum computing etc.). There is particular (but not exclusive)
emphasis given towards the following:
1. the search for frontiers between decidability and undecidability in
the various models. (For example, what is the smallest number of pairs
of words for which the Post correspondence problem is undecidable, or
what is the largest state-symbol product for which the halting problem
is decidable for Turing machines?)
2. the search for the simplest universal models (such as small universal
Turing machines, universal rewriting systems with few rules, universal
cellular automata with small neighborhoods and a small number of states,
etc.)
3. the computational complexity of predicting the evolution of
computations in the various models. (For example, is it possible to
predict an arbitrary number of time steps for a model more efficiently
than explicit step by step simulation of the model?)
4. universality and undecidability in continuous models of computation.
IMPORTANT DATES
Submission: April 14, 2013 (EXTENDED DEADLINE)
Notification: May 17, 2013
Final Version: June 14, 2013
Conference: September 9-12, 2013
PROGRAM COMMITTEE
Andrew Adamatzky (University of the West of England, UK)
Matthew Cook (University of Zurich and ETH Zurich) (co-chair)
Erzsébet Csuhaj-Varjú (Eötvös Loránd University, Budapest, Hungary)
Jérôme Durand-Lose (University of Orléans, France)
Rudolf Freund (University of Vienna, Austria)
Gabriel Istrate (Institute e-Austria, Timisoara, Romania)
Jarkko Kari (University of Turku, Finland)
Lila Kari (University of Western Ontario, London, Canada)
Kamala Krithivasan (Indian Institute of Technology, Chennai, India)
Maurice Margenstern (University of Lorraine, France)
Turlough Neary (University of Zurich and ETH Zurich) (co-chair)
Matthew Pattitz (University of Arkansas, Fayetteville, USA)
Igor Potapov (University of Liverpool, UK)
Klaus Sutner (Carnegie Mellon University, Pittsburgh, USA)
Sergey Verlan (University of Paris Est, France)
Damien Woods (California Institute of Technology, USA)
INVITED SPEAKERS
Liesbeth De Mol (Ghent University, Belgium)
Jarkko Kari (University of Turku, Finland)
Kenichi Morita (Hiroshima University, Japan)
Erik Winfree (California Institute of Technology, USA)
Damien Woods (California Institute of Technology, USA)
STEERING COMMITTEE
Maurice Margenstern (University of Lorraine, France) (chair)
Jérôme Durand-Lose (University of Orléans, France) (vice-chair)
Erzsébet Csuhaj-Varjú (Eötvös Loránd University, Hungary)
Natasha Jonoska (University of South Florida, USA)
Kenichi Morita (Hiroshima University, Japan)
Gheorghe Păun (The Romanian Academy, Romania)
Arto Salomaa (University of Turku, Finland)
K. G. Subramanian (University of Science, Malaysia)
PAPER PREPARATION AND SUBMISSION
Authors are invited to submit extended abstracts of no more than 12
pages via the EasyChair system at
https://www.easychair.org/conferences/?conf=mcu2013. Submissions should
contain original research that has not previously been published.
Concurrent submissions to other conferences/journals is not permitted.
Supplementary material that exceeds the 12 page limit will be considered
at the committee's discretion. Submissions should contain sufficient
detail and explanation for the reviewers to be convinced of the main
claims being made in the paper. Submissions must be in the form of a PDF
prepared using the EPTCS style file (available at
http://style.eptcs.org/). The title page should include the title of the
paper, the names, affiliations and email addresses of each of the
authors, and an abstract of no more than 300 words.
CONFERENCE PROCEEDINGS
The proceedings will be published in Electronic Proceedings in
Theoretical Computer Science (EPTCS) and will be available at the
conference, and freely available online. For more information see the
EPTCS website at http://about.eptcs.org/.
Following, the conference, authors of selected papers will be invited to
submit an extended version of their work to a special issue of an
international journal.
**********************************************************
*
* 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] Last Call - PST 2013, April 1st, 2013 (FIRM), Tarragona, July 10-12, 2013
[Apologies if you receive multiple copies of this message]
*******************************************************************
PST 2013, CALL FOR PAPERS
Eleventh Annual Conference on
Privacy, Security and Trust
(IEEEXplore proceedings)
Tarragona, Catalonia, July 10 - 12, 2013
http://unescoprivacychair.urv.cat/pst2013/
*******************************************************************
*******************************************************************
*** DEADLINE EXTENDED: April 1st, 2013 (FIRM) ***
*******************************************************************
The PST2013 International Conference on Privacy, Security and Trust
(PST) is being held in Tarragona, Catalonia, July 10-12, 2013. PST2013
is the eleventh such annual conference focusing on PST technologies and,
like its predecessors, it is technically co-sponsored by the IEEE
Computer Society. PST2013 provides a forum for researchers world-wide to
unveil their latest work in privacy, security and trust and to show how
this research can be used to enable innovation.
PST2013 will include one day of tutorials followed by two days of
high-quality research papers whose topics include, but are NOT limited
to, the following:
- Privacy Preserving / Enhancing Technologies
- Critical Infrastructure Protection
- Network and Wireless Security
- Operating Systems Security
- Intrusion Detection Technologies
- Secure Software Development and Architecture
- PST Challenges in e-Services, e.g. e-Health, e-Government, e-Commerce
- Network Enabled Operations
- Digital forensics
- Information Filtering, Data Mining and Knowledge from Data
- National Security and Public Safety
- Cryptographic techniques for privacy preservation
- Security Metrics
- Recommendation, Reputation and Delivery Technologies
- Continuous Authentication
- Trust Technologies, Technologies for Building Trust in e-Business Strategy
- Observations of PST in Practice, Society, Policy and Legislation
- Digital Rights Management
- Identity and Trust management
- PST and Cloud Computing
- Human Computer Interaction and PST
- Implications of, and Technologies for, Lawful Surveillance
- Biometrics, National ID Cards, Identity Theft
- PST and Web Services / SOA
- Privacy, Traceability, and Anonymity
- Trust and Reputation in Self-Organizing Environments
- Anonymity and Privacy vs. Accountability
- Access Control and Capability Delegation
- Representations and Formalizations of Trust in Electronic and Physical
Social Systems
========================
SUBMISSIONS
========================
High-quality papers in all PST related areas that, at the time of
submission, are not under review and have not already been published or
accepted for publications elsewhere are solicited. Accepted papers will
be accepted as 'regular' papers up to 8 pages, or 'short' papers of up
to 2 pages. Up to 2 additional pages will be allowed in each category
with over-length charges. The standard IEEE two-column conference format
should be used for all submissions. All accepted papers will be
published in the conference proceedings and by IEEE and will be
accessible via IEEE Xplore Digital Library. Best Paper and Best Student
Paper awards will be presented.
=======================================
IMPORTANT DATES
=======================================
Submission Deadline: *** April 1st, 2013 *** (FIRM)
Notification of Acceptance: May 10, 2013
Final Manuscript Due: June 09, 2013
PST 2013: July 10-12, 2013
=======================================
FURTHER INFORMATION
=======================================
Additional information about paper submission and conference topics and
events can be found at the conference web site:
http://unescoprivacychair.urv.cat/pst2013/
**********************************************************
*
* 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/
*
**********************************************************
*******************************************************************
PST 2013, CALL FOR PAPERS
Eleventh Annual Conference on
Privacy, Security and Trust
(IEEEXplore proceedings)
Tarragona, Catalonia, July 10 - 12, 2013
http://unescoprivacychair.urv.cat/pst2013/
*******************************************************************
*******************************************************************
*** DEADLINE EXTENDED: April 1st, 2013 (FIRM) ***
*******************************************************************
The PST2013 International Conference on Privacy, Security and Trust
(PST) is being held in Tarragona, Catalonia, July 10-12, 2013. PST2013
is the eleventh such annual conference focusing on PST technologies and,
like its predecessors, it is technically co-sponsored by the IEEE
Computer Society. PST2013 provides a forum for researchers world-wide to
unveil their latest work in privacy, security and trust and to show how
this research can be used to enable innovation.
PST2013 will include one day of tutorials followed by two days of
high-quality research papers whose topics include, but are NOT limited
to, the following:
- Privacy Preserving / Enhancing Technologies
- Critical Infrastructure Protection
- Network and Wireless Security
- Operating Systems Security
- Intrusion Detection Technologies
- Secure Software Development and Architecture
- PST Challenges in e-Services, e.g. e-Health, e-Government, e-Commerce
- Network Enabled Operations
- Digital forensics
- Information Filtering, Data Mining and Knowledge from Data
- National Security and Public Safety
- Cryptographic techniques for privacy preservation
- Security Metrics
- Recommendation, Reputation and Delivery Technologies
- Continuous Authentication
- Trust Technologies, Technologies for Building Trust in e-Business Strategy
- Observations of PST in Practice, Society, Policy and Legislation
- Digital Rights Management
- Identity and Trust management
- PST and Cloud Computing
- Human Computer Interaction and PST
- Implications of, and Technologies for, Lawful Surveillance
- Biometrics, National ID Cards, Identity Theft
- PST and Web Services / SOA
- Privacy, Traceability, and Anonymity
- Trust and Reputation in Self-Organizing Environments
- Anonymity and Privacy vs. Accountability
- Access Control and Capability Delegation
- Representations and Formalizations of Trust in Electronic and Physical
Social Systems
========================
SUBMISSIONS
========================
High-quality papers in all PST related areas that, at the time of
submission, are not under review and have not already been published or
accepted for publications elsewhere are solicited. Accepted papers will
be accepted as 'regular' papers up to 8 pages, or 'short' papers of up
to 2 pages. Up to 2 additional pages will be allowed in each category
with over-length charges. The standard IEEE two-column conference format
should be used for all submissions. All accepted papers will be
published in the conference proceedings and by IEEE and will be
accessible via IEEE Xplore Digital Library. Best Paper and Best Student
Paper awards will be presented.
=======================================
IMPORTANT DATES
=======================================
Submission Deadline: *** April 1st, 2013 *** (FIRM)
Notification of Acceptance: May 10, 2013
Final Manuscript Due: June 09, 2013
PST 2013: July 10-12, 2013
=======================================
FURTHER INFORMATION
=======================================
Additional information about paper submission and conference topics and
events can be found at the conference web site:
http://unescoprivacychair.urv.cat/pst2013/
**********************************************************
*
* 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: SenSys 2013 -- The 11th ACM Conference on Embedded Networked Sensor Systems
[Apologies in advance for any cross-postings]
Dear colleagues.
There are only 2 DAYS! remaining for abstract registration.
***************************************************************************************************
Call For Papers
SenSys 2013---The 11th ACM Conference on Embedded Networked Sensor Systems
November 11-15, 2013
Rome, Italy
****************************************************************************************************
Sensing systems are changing the way computers interact with the
physical world -- and are driving a host of new issues in computer
system design, implementation, and performance.
SenSys 2013 is the premier venue to discuss system issues raised by
emerging trends in sensing systems – broadly defined to include mobile
sensing, body sensing, Kinect, camera networks, RFID, and many others.
We solicit technical papers describing original ideas, ground breaking
results and/or quantified system experiences involving sensor systems.
The conference values papers that take a broad systems perspective
rather than a narrow focus on individual components. Of particular
interest are technical contributions that enable new and compelling
sensing applications.
Topics of interest include, but are not limited to, the following:
* Experience with real-world applications
* Innovative sensing applications (e.g., mobile healthcare,
transportation, buildings)
* New models of sensor usage (e.g., mobile sensing, body sensing, RFIDs, robots)
* Sensor data quality, integrity, and trustworthiness
* Challenges for "Big Sensor Data"
* Sensor data storage, retrieval, processing and management
* Data reduction, inference, and signal processing
* Fault-tolerance and reliability
* Provable correctness and performance guarantees
* Support for integrated sensing, actuation and control
* Wireless communication systems and protocols
* Energy management and energy harvesting
* Resource management and OS support
* Programming paradigms for sensing systems
* Security and privacy in sensor networks
* Time and location estimation and management
Detailed submission instructions can be found at
http://sensys.acm.org/2013/submissions/
Key Dates
These are hard deadlines: No extensions will be granted.
* Paper Registration: March 30, 2013, 11:59 pm EST.
* Paper Submission Deadline: April 6, 2013, 11:59 pm EST.
* Notification of Paper Acceptance: July 15, 2013.
General Chair
Chiara Petrioli (University of Rome 'La Sapienza')
Program Chairs
Landon Cox (Duke University)
Kamin Whitehouse (University of Virginia)
Poster Chair
Chenyang Lu (Washington University in St. Louis)
Luca Mottola (Politecnico di Milano and Swedish Institute of Computer Science)
Demo Chairs
Emiliano Miliuzzo (AT&T Labs)
Amy Murphy (FBK)
Local Arrangements Chairs
Francesca Cuomo, Gaia Maselli, Andrea Vitaletti (University of Rome
'La Sapienza')
Finance Chair
Rasit Eskicioglu (University of Manitoba)
Publicity Chairs
Stefano Basagni (Northeastern University)
Alberto Cerpa (University of California, Merced)
Salil Kanhere (University of New South Wales)
Mike Chieh-Jan Liang (Microsoft Research Asia)
Publicaton Chair
Wendi Heizelman (University of Rochester)
Workshop Chairs
Luca Benini (ETHZ & University of Bologna)
Deepak Ganesan (UMASS Amherst)
Industrial Liaison Chairs
Jie Liu (Microsoft Research)
Adam Wolisz (Technische Universitat Berlin)
N2Women Chair
Niki Trigoni (University of Oxford)
Doctoral Colloquium Chair
Cecilia Mascolo (University of Cambridge)
Student Travel Award Chair
Pedro Marron (University of Duisburg-Essen)
Radu Stoleru (Texas A&M University)
Web Site Chair
David Boyle (Imperial College London)
Technical Program Committee
Yuvraj Agarwal (University of California, San Diego)
Jan Beutel (Swiss Federal Institute of Technology, Zurich)
Geoffrey Challen (University at Buffalo)
Tanzeem Choudhary (Cornell University)
David Chu (Microsoft Research, Redmond)
Deborah Estrin (Cornell Tech)
Wen Hu (CSIRO, Australia)
Fred Jiang (Intel Labs, China)
Nic Lane (Microsoft Research, Asia)
Jie Liu (Microsoft Research, Redmond)
Pedro Jose Marron (University of Duisburg Essen)
Cecilia Mascolo (University of Cambridge)
Luca Mottola (Politecnico di Milano and Swedish Institute of Computer Science)
Lama Nachman (Intel Labs)
Gian Pietro Picco (University of Trento)
Raj Rajkumar (Carnegie Mellon University)
Anthony Rowe (Carnegie Mellon University)
Romit Roy Choudhury (Duke University)
Silvia Santini (Technische Universitat Darmstadt)
Mahadev Satyanarayanan (Carnegie Mellon University)
Thomas Schmid (University of Utah)
Junehwa Song (Korean Advanced Institute of Science and Technology)
Niki Trigoni (University of Oxford)
Lin Zhong (Rice University)
**********************************************************
*
* Contributions to be spread via DMANET are submitted to
*
* DMANET@zpr.uni-koeln.de
*
* Replies to a message carried on DMANET should NOT be
* addressed to DMANET but to the original sender. The
* original sender, however, is invited to prepare an
* update of the replies received and to communicate it
* via DMANET.
*
* DISCRETE MATHEMATICS AND ALGORITHMS NETWORK (DMANET)
* http://www.zaik.uni-koeln.de/AFS/publications/dmanet/
*
**********************************************************
Dear colleagues.
There are only 2 DAYS! remaining for abstract registration.
***************************************************************************************************
Call For Papers
SenSys 2013---The 11th ACM Conference on Embedded Networked Sensor Systems
November 11-15, 2013
Rome, Italy
****************************************************************************************************
Sensing systems are changing the way computers interact with the
physical world -- and are driving a host of new issues in computer
system design, implementation, and performance.
SenSys 2013 is the premier venue to discuss system issues raised by
emerging trends in sensing systems – broadly defined to include mobile
sensing, body sensing, Kinect, camera networks, RFID, and many others.
We solicit technical papers describing original ideas, ground breaking
results and/or quantified system experiences involving sensor systems.
The conference values papers that take a broad systems perspective
rather than a narrow focus on individual components. Of particular
interest are technical contributions that enable new and compelling
sensing applications.
Topics of interest include, but are not limited to, the following:
* Experience with real-world applications
* Innovative sensing applications (e.g., mobile healthcare,
transportation, buildings)
* New models of sensor usage (e.g., mobile sensing, body sensing, RFIDs, robots)
* Sensor data quality, integrity, and trustworthiness
* Challenges for "Big Sensor Data"
* Sensor data storage, retrieval, processing and management
* Data reduction, inference, and signal processing
* Fault-tolerance and reliability
* Provable correctness and performance guarantees
* Support for integrated sensing, actuation and control
* Wireless communication systems and protocols
* Energy management and energy harvesting
* Resource management and OS support
* Programming paradigms for sensing systems
* Security and privacy in sensor networks
* Time and location estimation and management
Detailed submission instructions can be found at
http://sensys.acm.org/2013/submissions/
Key Dates
These are hard deadlines: No extensions will be granted.
* Paper Registration: March 30, 2013, 11:59 pm EST.
* Paper Submission Deadline: April 6, 2013, 11:59 pm EST.
* Notification of Paper Acceptance: July 15, 2013.
General Chair
Chiara Petrioli (University of Rome 'La Sapienza')
Program Chairs
Landon Cox (Duke University)
Kamin Whitehouse (University of Virginia)
Poster Chair
Chenyang Lu (Washington University in St. Louis)
Luca Mottola (Politecnico di Milano and Swedish Institute of Computer Science)
Demo Chairs
Emiliano Miliuzzo (AT&T Labs)
Amy Murphy (FBK)
Local Arrangements Chairs
Francesca Cuomo, Gaia Maselli, Andrea Vitaletti (University of Rome
'La Sapienza')
Finance Chair
Rasit Eskicioglu (University of Manitoba)
Publicity Chairs
Stefano Basagni (Northeastern University)
Alberto Cerpa (University of California, Merced)
Salil Kanhere (University of New South Wales)
Mike Chieh-Jan Liang (Microsoft Research Asia)
Publicaton Chair
Wendi Heizelman (University of Rochester)
Workshop Chairs
Luca Benini (ETHZ & University of Bologna)
Deepak Ganesan (UMASS Amherst)
Industrial Liaison Chairs
Jie Liu (Microsoft Research)
Adam Wolisz (Technische Universitat Berlin)
N2Women Chair
Niki Trigoni (University of Oxford)
Doctoral Colloquium Chair
Cecilia Mascolo (University of Cambridge)
Student Travel Award Chair
Pedro Marron (University of Duisburg-Essen)
Radu Stoleru (Texas A&M University)
Web Site Chair
David Boyle (Imperial College London)
Technical Program Committee
Yuvraj Agarwal (University of California, San Diego)
Jan Beutel (Swiss Federal Institute of Technology, Zurich)
Geoffrey Challen (University at Buffalo)
Tanzeem Choudhary (Cornell University)
David Chu (Microsoft Research, Redmond)
Deborah Estrin (Cornell Tech)
Wen Hu (CSIRO, Australia)
Fred Jiang (Intel Labs, China)
Nic Lane (Microsoft Research, Asia)
Jie Liu (Microsoft Research, Redmond)
Pedro Jose Marron (University of Duisburg Essen)
Cecilia Mascolo (University of Cambridge)
Luca Mottola (Politecnico di Milano and Swedish Institute of Computer Science)
Lama Nachman (Intel Labs)
Gian Pietro Picco (University of Trento)
Raj Rajkumar (Carnegie Mellon University)
Anthony Rowe (Carnegie Mellon University)
Romit Roy Choudhury (Duke University)
Silvia Santini (Technische Universitat Darmstadt)
Mahadev Satyanarayanan (Carnegie Mellon University)
Thomas Schmid (University of Utah)
Junehwa Song (Korean Advanced Institute of Science and Technology)
Niki Trigoni (University of Oxford)
Lin Zhong (Rice University)
**********************************************************
*
* Contributions to be spread via DMANET are submitted to
*
* DMANET@zpr.uni-koeln.de
*
* Replies to a message carried on DMANET should NOT be
* addressed to DMANET but to the original sender. The
* original sender, however, is invited to prepare an
* update of the replies received and to communicate it
* via DMANET.
*
* DISCRETE MATHEMATICS AND ALGORITHMS NETWORK (DMANET)
* http://www.zaik.uni-koeln.de/AFS/publications/dmanet/
*
**********************************************************
2nd 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, 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
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, 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
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] 2nd 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, 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
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, 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
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/
*
**********************************************************
[DMANET] CFP: SustainIT 2013 - IFIP Conference on Sustainable Internet & ICT for Sustainability
[Our sincere apologies if you receive multiple copies of this message]
------------------------------------------------------------------------
CALL FOR PAPERS
SustainIT 2013
The Third IFIP Conference on
Sustainable Internet and ICT for Sustainability
http://www.dicgim.unipa.it/networks/sustainit2013
October 30-31, 2013
Palermo, Sicily, Italy
Sponsored by the IFIP TC6 WG 6.3, Performance of Communication Systems
Technically co-sponsored by IEEE Computer Society
Technical Committee on Computer Communications (TCCC)
In cooperation with IEEE Communications Society
Technical Subcommittee on Green Communications and Computing (TSGCC)
Supported by
EINS: The Network of Excellence in Internet Science
------------------------------------------------------------------------
**** Paper Registration Deadline --- APRIL 12, 2013 ****
------------------------------------------------------------------------
The best paper presented at the conference will receive the Best Paper Award. Papers of particular merit will be considered for a special section/issue in the Elsevier Journal of Computer Communications (COMCOM) and the Elsevier Journal of Pervasive and Mobile Computing (PMC).
SCOPE AND OVERVIEW
------------------------------------------------------------------------
Today, energy efficiency is widely regarded as one of the biggest technological and societal challenges for developing a more sustainable world. The Internet - and more generally information and communication technologies (ICT) - can play an essential role to achieve a more sustainable energy use and to reduce our carbon footprint. On the one hand, Internet is a significant energy consumer, and it is necessary to redesign current Internet technologies, as well as network architectures, devices and components, services and protocols to improve energy efficiency. On the other hand, ICT is a key enabling technology to foster a more intelligent use of energy in areas such as buildings, transport and electric grids.
Both aspects of the problem raise interesting scientific challenges, and require a comprehensive effort and inter-disciplinary research at all levels of abstraction. The goal of this conference is to bring together people from different research areas, and provide a forum to exchange ideas, discuss solutions, and share experiences among researchers, professionals, and application developers both from industry and academia.
Original papers addressing both theoretical and practical aspects of energy-awareness for Internet-based systems, and the design of ICT solutions for eco-sustainability are solicited.
Topics of interest include but are not limited to:
- Green Internet
- Power-aware Internet applications
- Energy-efficient network architecture and protocols
- Green wireless networking
- Energy-efficient network technologies
- Cross-layer optimization for green networking
- Standards and metrics for green communications
- Energy-efficient management of network resources
- Energy efficiency in data centres
- Energy efficiency, Quality of Service, and reliability
- Algorithms for reduced power, energy and heat
- Data processing in smart energy systems
- ICT for energy efficiency in smart homes and buildings
- ICT for sustainable smart cities
- ICT for sustainable transports and logistics
- ICT for green mobility
- ICT for energy efficiency in industrial environments
- ICT for smart grids
- Security and privacy in ICT for energy systems
- Sustainability achievements due to ICT-based optimization
- Energy consumption measurements, models, and monitoring tools
- Measurement and evaluation of the Internet sustainability
- Test-bed and prototype implementations
PAPER SUBMISSION
------------------------------------------------------------------------
All submissions must describe original research, not published or currently under review for another workshop, conference, or journal.
Papers must be submitted electronically in PDF format through EDAS. Manuscripts must be formatted in accordance with the IEEE Computer Society author guidelines (http://edas.info/newPaper.php?c=14317). Manuscripts must be limited to 9 pages, single spacing, double column, and must STRICTLY adhere to the template format. Detailed instructions for manuscript preparation and submission are available on the conference website (http://www.dicgim.unipa.it/networks/sustainit2013/submission.html).
*************************************************************************
Submission implies the willingness of, at least, one author to register and attend the conference to present the paper. The organizers reserve the right to exclude a paper from distribution after the conference if the paper is not presented at the conference.
*************************************************************************
IMPORTANT DATES
------------------------------------------------------------------------
- Paper registration deadline: April 12, 2013
- Paper submission deadline: April 19, 2013
- Acceptance/Reject notification: June 30, 2013
- Camera-ready version due: July 30, 2013
ORGANIZING COMMITTEE
------------------------------------------------------------------------
GENERAL CO-CHAIRS
Giuseppe Lo Re, University of Palermo, Italy
Sajal K. Das, University of Texas at Arlington, USA
PROGRAM CO-CHAIRS
Raffaele Bruno, IIT-CNR, Italy
Thierry Klein, Bell Labs, USA
STEERING COMMITTEE
Marco Conti (Chair), IIT-CNR, Italy
Giuseppe Anastasi, University of Pisa, Italy
Jon Crowcroft, University of Cambridge, UK
Thierry Klein, Bell Labs, USA
INDUSTRIAL TRACK CO-CHAIRS
Cristina Bueti, ITU-T: Environment & Climate Change, Switzerland
Luca Valcarenghi, SSUP, Italy
PUBLICITY CHAIR
Valerio Arnaboldi, IIT-CNR, Italy
TECHNICAL PROGRAM COMMITTEE
Marco Ajmone Marsan, Politecnico di Torino, Italy
Lachlan Andrew, Swinburne University of Technology, Australia
Sujata Banerjee, Hewlett-Packard Laboratories, USA
Jiannong Cao, Hong Kong Polytechnic University, Hong Kong
Antonio Capone, Politecnico di Milano, Italy
Franco Davoli, University of Genoa, Italy
Jose de Souza, Federal University of Ceara, Brazil
Jaafar Elmirghani, University of Leeds, UK
Sebastia Galmes, Universitat de les Illes Balears, Spain
Andres Garcia-Saavedra, Universidad Carlos III de Madrid, Spain
Isabelle Guerin Lassous, Universite Lyon - LIP, France
Rune Gustavsson, Royal Institute of Technology (KTH), Sweden
Helmut Hlavacs, University of Vienna, Austria
Karin Hummel, ETH Zurich, Switzerland
David Hutchison, Lancaster University, UK
Krishna Kant, George Mason University, USA
Bart Lannoo, Ghent University - iMind, Belgium
Laurent Lefevre, INRIA, France
Francesco Marcelloni, University of Pisa, Italy
Alan Marchiori, United Technologies Research Center, USA
Enzo Mingozzi, University of Pisa, Italy
Daniele Miorandi, Create-Net, Italy
Archan Misra, Singapore Management University, Singapore
Sandor Molnar, Budapest University of Technology and Economics, Hungary
Inder Monga, Energy Sciences Network, USA
Bruce Nordman, Lawrence Berkeley National Laboratory, USA
Andrea Passarella, IIT-CNR, Italy
Jean-Marc Pierson, Univerty Paul Sabatier, France
Andreas Pitsillides, University of Cyprus, Cyprus
Daniele Puccinelli, SUPSI, Switzerland
Pedro Reviriego, Universidad Antonio de Nebrija, Spain
Behrooz Shirazi, Washington State University
Domenico Talia, Universita della Calabria, Italy
Luca Valcarenghi, Scuola Superiore Sant'Anna, Italy
Adam Wolisz, Technical University of Berlin, Germany
Weigang Wu, Sun Yat-sen University, China
Moshe Zukerman, City University of Hong Kong, Hong Kong
Gil Zussman, Columbia University, USA
CONTACTS
------------------------------------------------------------------------
For further information, please visit the conference website (http://www.dicgim.unipa.it/networks/sustainit2013), or send an e-mail message to sustainit2013@unipa.it.
**********************************************************
*
* 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
SustainIT 2013
The Third IFIP Conference on
Sustainable Internet and ICT for Sustainability
http://www.dicgim.unipa.it/networks/sustainit2013
October 30-31, 2013
Palermo, Sicily, Italy
Sponsored by the IFIP TC6 WG 6.3, Performance of Communication Systems
Technically co-sponsored by IEEE Computer Society
Technical Committee on Computer Communications (TCCC)
In cooperation with IEEE Communications Society
Technical Subcommittee on Green Communications and Computing (TSGCC)
Supported by
EINS: The Network of Excellence in Internet Science
------------------------------------------------------------------------
**** Paper Registration Deadline --- APRIL 12, 2013 ****
------------------------------------------------------------------------
The best paper presented at the conference will receive the Best Paper Award. Papers of particular merit will be considered for a special section/issue in the Elsevier Journal of Computer Communications (COMCOM) and the Elsevier Journal of Pervasive and Mobile Computing (PMC).
SCOPE AND OVERVIEW
------------------------------------------------------------------------
Today, energy efficiency is widely regarded as one of the biggest technological and societal challenges for developing a more sustainable world. The Internet - and more generally information and communication technologies (ICT) - can play an essential role to achieve a more sustainable energy use and to reduce our carbon footprint. On the one hand, Internet is a significant energy consumer, and it is necessary to redesign current Internet technologies, as well as network architectures, devices and components, services and protocols to improve energy efficiency. On the other hand, ICT is a key enabling technology to foster a more intelligent use of energy in areas such as buildings, transport and electric grids.
Both aspects of the problem raise interesting scientific challenges, and require a comprehensive effort and inter-disciplinary research at all levels of abstraction. The goal of this conference is to bring together people from different research areas, and provide a forum to exchange ideas, discuss solutions, and share experiences among researchers, professionals, and application developers both from industry and academia.
Original papers addressing both theoretical and practical aspects of energy-awareness for Internet-based systems, and the design of ICT solutions for eco-sustainability are solicited.
Topics of interest include but are not limited to:
- Green Internet
- Power-aware Internet applications
- Energy-efficient network architecture and protocols
- Green wireless networking
- Energy-efficient network technologies
- Cross-layer optimization for green networking
- Standards and metrics for green communications
- Energy-efficient management of network resources
- Energy efficiency in data centres
- Energy efficiency, Quality of Service, and reliability
- Algorithms for reduced power, energy and heat
- Data processing in smart energy systems
- ICT for energy efficiency in smart homes and buildings
- ICT for sustainable smart cities
- ICT for sustainable transports and logistics
- ICT for green mobility
- ICT for energy efficiency in industrial environments
- ICT for smart grids
- Security and privacy in ICT for energy systems
- Sustainability achievements due to ICT-based optimization
- Energy consumption measurements, models, and monitoring tools
- Measurement and evaluation of the Internet sustainability
- Test-bed and prototype implementations
PAPER SUBMISSION
------------------------------------------------------------------------
All submissions must describe original research, not published or currently under review for another workshop, conference, or journal.
Papers must be submitted electronically in PDF format through EDAS. Manuscripts must be formatted in accordance with the IEEE Computer Society author guidelines (http://edas.info/newPaper.php?c=14317). Manuscripts must be limited to 9 pages, single spacing, double column, and must STRICTLY adhere to the template format. Detailed instructions for manuscript preparation and submission are available on the conference website (http://www.dicgim.unipa.it/networks/sustainit2013/submission.html).
*************************************************************************
Submission implies the willingness of, at least, one author to register and attend the conference to present the paper. The organizers reserve the right to exclude a paper from distribution after the conference if the paper is not presented at the conference.
*************************************************************************
IMPORTANT DATES
------------------------------------------------------------------------
- Paper registration deadline: April 12, 2013
- Paper submission deadline: April 19, 2013
- Acceptance/Reject notification: June 30, 2013
- Camera-ready version due: July 30, 2013
ORGANIZING COMMITTEE
------------------------------------------------------------------------
GENERAL CO-CHAIRS
Giuseppe Lo Re, University of Palermo, Italy
Sajal K. Das, University of Texas at Arlington, USA
PROGRAM CO-CHAIRS
Raffaele Bruno, IIT-CNR, Italy
Thierry Klein, Bell Labs, USA
STEERING COMMITTEE
Marco Conti (Chair), IIT-CNR, Italy
Giuseppe Anastasi, University of Pisa, Italy
Jon Crowcroft, University of Cambridge, UK
Thierry Klein, Bell Labs, USA
INDUSTRIAL TRACK CO-CHAIRS
Cristina Bueti, ITU-T: Environment & Climate Change, Switzerland
Luca Valcarenghi, SSUP, Italy
PUBLICITY CHAIR
Valerio Arnaboldi, IIT-CNR, Italy
TECHNICAL PROGRAM COMMITTEE
Marco Ajmone Marsan, Politecnico di Torino, Italy
Lachlan Andrew, Swinburne University of Technology, Australia
Sujata Banerjee, Hewlett-Packard Laboratories, USA
Jiannong Cao, Hong Kong Polytechnic University, Hong Kong
Antonio Capone, Politecnico di Milano, Italy
Franco Davoli, University of Genoa, Italy
Jose de Souza, Federal University of Ceara, Brazil
Jaafar Elmirghani, University of Leeds, UK
Sebastia Galmes, Universitat de les Illes Balears, Spain
Andres Garcia-Saavedra, Universidad Carlos III de Madrid, Spain
Isabelle Guerin Lassous, Universite Lyon - LIP, France
Rune Gustavsson, Royal Institute of Technology (KTH), Sweden
Helmut Hlavacs, University of Vienna, Austria
Karin Hummel, ETH Zurich, Switzerland
David Hutchison, Lancaster University, UK
Krishna Kant, George Mason University, USA
Bart Lannoo, Ghent University - iMind, Belgium
Laurent Lefevre, INRIA, France
Francesco Marcelloni, University of Pisa, Italy
Alan Marchiori, United Technologies Research Center, USA
Enzo Mingozzi, University of Pisa, Italy
Daniele Miorandi, Create-Net, Italy
Archan Misra, Singapore Management University, Singapore
Sandor Molnar, Budapest University of Technology and Economics, Hungary
Inder Monga, Energy Sciences Network, USA
Bruce Nordman, Lawrence Berkeley National Laboratory, USA
Andrea Passarella, IIT-CNR, Italy
Jean-Marc Pierson, Univerty Paul Sabatier, France
Andreas Pitsillides, University of Cyprus, Cyprus
Daniele Puccinelli, SUPSI, Switzerland
Pedro Reviriego, Universidad Antonio de Nebrija, Spain
Behrooz Shirazi, Washington State University
Domenico Talia, Universita della Calabria, Italy
Luca Valcarenghi, Scuola Superiore Sant'Anna, Italy
Adam Wolisz, Technical University of Berlin, Germany
Weigang Wu, Sun Yat-sen University, China
Moshe Zukerman, City University of Hong Kong, Hong Kong
Gil Zussman, Columbia University, USA
CONTACTS
------------------------------------------------------------------------
For further information, please visit the conference website (http://www.dicgim.unipa.it/networks/sustainit2013), or send an e-mail message to sustainit2013@unipa.it.
**********************************************************
*
* 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] visiting PhD positions
The Warsaw Center for Mathematics and Computer Science has several
open positions for visiting PhD students. The length of the visit is
expected to be one semester (Oct - Jan or Feb - Jun). The deadline
for applications is April 15th and the starting date is October. You
will find more information here: http://wcmcs.edu.pl/node/40
open positions for visiting PhD students. The length of the visit is
expected to be one semester (Oct - Jan or Feb - Jun). The deadline
for applications is April 15th and the starting date is October. You
will find more information here: http://wcmcs.edu.pl/node/40
Please note that:
* the graph theory and algorithms community at the University of
Warsaw is large and growing (Cygan, Kowalik, Mucha, Pilipczuk,
Sankowski, Zych),
* there is a broad spectrum of graduate courses (taught in English) to
choose from (http://bit.ly/10aJ3zI),
* the monthly allowance is ample given the cost of living in Warsaw
(http://bit.ly/16VtFxH),
* calls for visiting PhD positions are expected twice a year until 2017,
* along with calls for postdoctoral (http://www.wcmcs.edu.pl/node/41)
and experienced researchers (http://www.wcmcs.edu.pl/node/64).
Please do not hesitate to contact us if you have any questions.
Best regards,
Marcin Kamiński (mjk@mimuw.edu.pl)
Łukasz Kowalik (kowalik@mimuw.edu.pl)
**********************************************************
*
* 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] (no subject)
The Warsaw Center for Mathematics and Computer Science has several
open positions for visiting PhD students. The length of the visit is
expected to be one semester (Oct - Jan or Feb - Jun). The deadline
for applications is April 15th and the starting date is October. You
will find more information here: http://wcmcs.edu.pl/node/40
open positions for visiting PhD students. The length of the visit is
expected to be one semester (Oct - Jan or Feb - Jun). The deadline
for applications is April 15th and the starting date is October. You
will find more information here: http://wcmcs.edu.pl/node/40
Please note that:
* the graph theory and algorithms community at the University of
Warsaw is large and growing (Cygan, Kowalik, Mucha, Pilipczuk,
Sankowski, Zych),
* there is a broad spectrum of graduate courses (taught in English) to
choose from (http://bit.ly/10aJ3zI),
* the monthly allowance is ample given the cost of living in Warsaw
(http://bit.ly/16VtFxH),
* calls for visiting PhD positions are expected twice a year until 2017,
* along with calls for postdoctoral (http://www.wcmcs.edu.pl/node/41)
and experienced researchers (http://www.wcmcs.edu.pl/node/64).
Please do not hesitate to contact us if you have any questions.
Best regards,
Marcin Kamiński (mjk@mimuw.edu.pl)
Łukasz Kowalik (kowalik@mimuw.edu.pl)
**********************************************************
*
* Contributions to be spread via DMANET are submitted to
*
* DMANET@zpr.uni-koeln.de
*
* Replies to a message carried on DMANET should NOT be
* addressed to DMANET but to the original sender. The
* original sender, however, is invited to prepare an
* update of the replies received and to communicate it
* via DMANET.
*
* DISCRETE MATHEMATICS AND ALGORITHMS NETWORK (DMANET)
* http://www.zaik.uni-koeln.de/AFS/publications/dmanet/
*
**********************************************************
Wednesday, March 27, 2013
Irreducibility and Computational Equivalence - 10 Years After Wolfram's A New Kind of Science published by Springer Verlag
(Please apologize for possible multiple copies that may reach you
through discussion mailing lists)
Dear colleague,
We have the pleasure to announce the publication of the book
Irreducibility and Computational Equivalence - 10 Years After Wolfram's
A New Kind of Science published by Springer Verlag.
Further details are available at the publisher's website:
http://www.springer.com/book/978-3-642-35481-6
The book is available directly from the publisher or from any of your
preferred online book retailers including Amazon. The book price was
negotiated to be particularly low and also available are eBook versions
and a Mathematica CDF.
--
This is not a mailing list, the editors provided your email address to
distribute this one-off announcement given your potential interest in
the content of the book.
through discussion mailing lists)
Dear colleague,
We have the pleasure to announce the publication of the book
Irreducibility and Computational Equivalence - 10 Years After Wolfram's
A New Kind of Science published by Springer Verlag.
Further details are available at the publisher's website:
http://www.springer.com/book/978-3-642-35481-6
The book is available directly from the publisher or from any of your
preferred online book retailers including Amazon. The book price was
negotiated to be particularly low and also available are eBook versions
and a Mathematica CDF.
--
This is not a mailing list, the editors provided your email address to
distribute this one-off announcement given your potential interest in
the content of the book.
[DMANET] Chancellor's Fellowships [tenure-track], Operational Research, Edinburgh University
Chancellor's Fellowships [tenure-track posts at Lecturer or Reader level]
School of Mathematics, Edinburgh University
As part of a larger recruitment exercise the School of Mathematics has
an opportunity to appoint Chancellor's Fellowships in the area of
Operational Research. Each Fellowship provides a research-focused
reduced-teaching position for up to 5 years, followed immediately by a
standard open-ended (ie "tenured") lectureship or readership post:
https://www.vacancies.ed.ac.uk/pls/corehrrecruit/erq_jobspec_version_4.jobspec?p_id=012102
Applicants will have a research record of the highest calibre,
exhibiting the potential to become an international leader. We welcome
candidates in any area of Operational Research but in particular those
specializing for example in nonlinear programming, mixed integer
programming, stochastic optimization and candidates interested in
applying optimization to modelling and solving real-life problems. We
also welcome candidates whose interests may reach out to other
disciplines. Further information about the research activities of the
School is available via: http://www.maths.ed.ac.uk/research
Appointment will normally be made on the Lecturer scale, 37,382 -
44,607 GBP. Dependent on experience, and in exceptional circumstances,
appointment may be to Senior Lecturer/Reader level for which the
salary scale is 47,314 - 53,233 GBP. Interviews will be held during
May 2013. Applications containing a detailed CV and an outline of a
proposed research programme should be made online at www.jobs.ed.ac.uk.
--
The University of Edinburgh is a charitable body, registered in
Scotland, with registration number SC005336.
**********************************************************
*
* 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/
*
**********************************************************
School of Mathematics, Edinburgh University
As part of a larger recruitment exercise the School of Mathematics has
an opportunity to appoint Chancellor's Fellowships in the area of
Operational Research. Each Fellowship provides a research-focused
reduced-teaching position for up to 5 years, followed immediately by a
standard open-ended (ie "tenured") lectureship or readership post:
https://www.vacancies.ed.ac.uk/pls/corehrrecruit/erq_jobspec_version_4.jobspec?p_id=012102
Applicants will have a research record of the highest calibre,
exhibiting the potential to become an international leader. We welcome
candidates in any area of Operational Research but in particular those
specializing for example in nonlinear programming, mixed integer
programming, stochastic optimization and candidates interested in
applying optimization to modelling and solving real-life problems. We
also welcome candidates whose interests may reach out to other
disciplines. Further information about the research activities of the
School is available via: http://www.maths.ed.ac.uk/research
Appointment will normally be made on the Lecturer scale, 37,382 -
44,607 GBP. Dependent on experience, and in exceptional circumstances,
appointment may be to Senior Lecturer/Reader level for which the
salary scale is 47,314 - 53,233 GBP. Interviews will be held during
May 2013. Applications containing a detailed CV and an outline of a
proposed research programme should be made online at www.jobs.ed.ac.uk.
--
The University of Edinburgh is a charitable body, registered in
Scotland, with registration number SC005336.
**********************************************************
*
* 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 --- InteriOR 2013 --- International Seminar on Operational Research, Medan, Indonesia
Dear colleague,
2013 International Conference on Operational Research
(InteriOR 2013)
August 25-28, 2013, Medan, Indonesia
http://www.interior2013.org.
Last day for Abstract submission: April 20, 2013
Full Paper submission due: July 10, 2013
We are delighted to cordially invite you to participate in 2013
International Conference on
Opertional Research (InteriOR 2013), Medan, Indonesia. InteriOR 2013
will be the most
comprehensive conference focused on the various aspects of advances in
Operational
Research and Optimization. This conference provides a chance for
academic and industry
professionals to discuss recent progress in the area of Operational
Research and
Optimization. Furthermore, we expect that the conference and its
publications will be a
trigger for further related research and technology improvements in
this important subject.
Contact us: The Organizing Committee
Department of Mathematics
Faculty of Mathematics and Natural Sciences
University of Sumatera Utara
Medan 20155, Indonesia
e-mail: math@usu.ac.id
*******************************************
Prof. Dr. Herman Mawengkang
Chair of International Scientific Committee
(c) Dept. of Math. 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/
*
**********************************************************
2013 International Conference on Operational Research
(InteriOR 2013)
August 25-28, 2013, Medan, Indonesia
http://www.interior2013.org.
Last day for Abstract submission: April 20, 2013
Full Paper submission due: July 10, 2013
We are delighted to cordially invite you to participate in 2013
International Conference on
Opertional Research (InteriOR 2013), Medan, Indonesia. InteriOR 2013
will be the most
comprehensive conference focused on the various aspects of advances in
Operational
Research and Optimization. This conference provides a chance for
academic and industry
professionals to discuss recent progress in the area of Operational
Research and
Optimization. Furthermore, we expect that the conference and its
publications will be a
trigger for further related research and technology improvements in
this important subject.
Contact us: The Organizing Committee
Department of Mathematics
Faculty of Mathematics and Natural Sciences
University of Sumatera Utara
Medan 20155, Indonesia
e-mail: math@usu.ac.id
*******************************************
Prof. Dr. Herman Mawengkang
Chair of International Scientific Committee
(c) Dept. of Math. 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/
*
**********************************************************
[Mycolleagues] PhD Forum at MobiSys 2013 (June 25th, 2013)
The Eleventh International Conference on Mobile Systems, Applications
and Services (MobiSys 2013)
Taipei, Taiwan, June 25th - 28th 2013
http://www.sigmobile.org/mobisys/2013/index.php
------------------------------------------------------------------------------------------
Call for Submissions
- Overview
The PhD Forum provides a friendly and supportive environment for
doctoral students to present and discuss their dissertation research
both with their peers and with a panel of experienced researchers from
academia and industry. In addition to providing feedback and advice,
this forum will provide an excellent opportunity for students to
network as well as to practice presenting their research clearly and
concisely.
This meeting is best suited to students who are far enough into their
PhD to have a concrete dissertation proposal outlining the key
challenges they plan to solve as well as the strategies and
methodologies that are applicable. Furthermore, participants should
not plan to finish their dissertation within 6 months of the forum, as
that would leave little time to include advice and suggestions into
their work.
- Awards
$1000 will be awarded for the best presentation at the forum.
- Format
The forum will be a one-day event consisting of short student
presentations, discussion, and a roundtable discussion. Each
participant will have time allotted for a short presentation as well
as an in-depth and constructive discussion led by the panel. In order
to allow adequate time for each presentation, we will limit the number
of participants to 10 presenters.
The event will conclude with a roundtable discussion, in which
panelists will have another opportunity to provide general suggestions
and advice to the entire group.
Submission
Submissions should consist of the following:
•An extended abstract of the student's dissertation research (up to 2
pages) including a brief discussion of motivation, challenges, related
work, and initial results. Applicants should clearly identify their
contributions to the field of mobile systems. Also, it is recommended
to clearly delineate the student's prior work and cite them; this will
help the reviewers and the panel to make better judgment of technical
contributions and provide more useful suggestions.
•A short biographical sketch (1 page max) describing the applicants
affiliations and research activities. This should include the date
that the student expects to complete his/her dissertation.
Please register and submit your paper using the submission system.
Submission site:
https://www.easychair.org/account/signin.cgi?conf=mobisysphdforum2013
If accepted, a student may be asked to provide explanations or
clarification by the camera-ready deadline.
- Important Dates
Submission deadline: March 28, 2013
Notification deadline: April 1, 2013
Camera-ready deadline: May 7, 2013
Forum Date: June 25, 2013
_______________________________________________
Mycolleagues mailing list
Mycolleagues@mailman.ufsc.br
http://mailman.ufsc.br/mailman/listinfo/mycolleagues
and Services (MobiSys 2013)
Taipei, Taiwan, June 25th - 28th 2013
http://www.sigmobile.org/mobisys/2013/index.php
------------------------------------------------------------------------------------------
Call for Submissions
- Overview
The PhD Forum provides a friendly and supportive environment for
doctoral students to present and discuss their dissertation research
both with their peers and with a panel of experienced researchers from
academia and industry. In addition to providing feedback and advice,
this forum will provide an excellent opportunity for students to
network as well as to practice presenting their research clearly and
concisely.
This meeting is best suited to students who are far enough into their
PhD to have a concrete dissertation proposal outlining the key
challenges they plan to solve as well as the strategies and
methodologies that are applicable. Furthermore, participants should
not plan to finish their dissertation within 6 months of the forum, as
that would leave little time to include advice and suggestions into
their work.
- Awards
$1000 will be awarded for the best presentation at the forum.
- Format
The forum will be a one-day event consisting of short student
presentations, discussion, and a roundtable discussion. Each
participant will have time allotted for a short presentation as well
as an in-depth and constructive discussion led by the panel. In order
to allow adequate time for each presentation, we will limit the number
of participants to 10 presenters.
The event will conclude with a roundtable discussion, in which
panelists will have another opportunity to provide general suggestions
and advice to the entire group.
Submission
Submissions should consist of the following:
•An extended abstract of the student's dissertation research (up to 2
pages) including a brief discussion of motivation, challenges, related
work, and initial results. Applicants should clearly identify their
contributions to the field of mobile systems. Also, it is recommended
to clearly delineate the student's prior work and cite them; this will
help the reviewers and the panel to make better judgment of technical
contributions and provide more useful suggestions.
•A short biographical sketch (1 page max) describing the applicants
affiliations and research activities. This should include the date
that the student expects to complete his/her dissertation.
Please register and submit your paper using the submission system.
Submission site:
https://www.easychair.org/account/signin.cgi?conf=mobisysphdforum2013
If accepted, a student may be asked to provide explanations or
clarification by the camera-ready deadline.
- Important Dates
Submission deadline: March 28, 2013
Notification deadline: April 1, 2013
Camera-ready deadline: May 7, 2013
Forum Date: June 25, 2013
_______________________________________________
Mycolleagues mailing list
Mycolleagues@mailman.ufsc.br
http://mailman.ufsc.br/mailman/listinfo/mycolleagues
Tuesday, March 26, 2013
[DMANET] LMS-EPSRC short instructional course on random graphs, geometry and asymptotic structure (19-23 August 2013)
This is the first announcement of a short course on aspects of the theory of random structures that will take place at the School of Mathematics, University of Birmingham this summer. It is kindly sponsored by the London Mathematical Society and the Engineering and Physical Sciences Research Council.
Title: LMS-EPSRC short instructional course on Random Graphs, Geometry and Asymptotic Structure
Dates: 19 - 23 August 2013
Venue: University of Birmingham
Application deadline: 8 July 2013
Lecturers: Michael Krivelevich (Tel Aviv University)
Konstantinos Panagiotou (Ludwig-Maximilians-Universität, München)
Mathew Penrose (University of Bath)
Special guest speaker: Colin McDiarmid (University of Oxford)
Organizers: Nikolaos Fountoulakis and Dan Hefetz (University of Birmingham)
The objectives of this course are two-fold:
1. to provide an introduction to recent developments and techniques for classical problems in the theory of random graphs;
2. to cover geometric and topological aspects of the theory of random graphs and introduce participants to the diversity and the depth of the combinatorial, probabilistic and analytical methods that have been invented in this context.
The three main lecture course topics are:
. Long paths and hamiltonicity in random graphs (M. Krivelevich, Tel Aviv University)
. Random graphs from restricted classes (K. Panagiotou, Ludwig-Maximilians-Universität)
. Random geometric graphs (M. D. Penrose, University of Bath)
There will also be a special guest lecture: Random planar graphs (C. McDiarmid, University of Oxford)
Additional information can be found here: http://web.mat.bham.ac.uk/combinatorics/LMS-EPSRC/index.html
as well as through the LMS webpage: http://www.lms.ac.uk/events/forthcoming-short-courses
This short course is aimed at research students, post-docs and those working in industry. The number of participants is restricted and a successful application is necessary for an invitation. Those interested are advised to make an early application. An application form can be found here: http://www.surveymonkey.com/s/3CDNQ6L
**********************************************************
*
* 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/
*
**********************************************************
Title: LMS-EPSRC short instructional course on Random Graphs, Geometry and Asymptotic Structure
Dates: 19 - 23 August 2013
Venue: University of Birmingham
Application deadline: 8 July 2013
Lecturers: Michael Krivelevich (Tel Aviv University)
Konstantinos Panagiotou (Ludwig-Maximilians-Universität, München)
Mathew Penrose (University of Bath)
Special guest speaker: Colin McDiarmid (University of Oxford)
Organizers: Nikolaos Fountoulakis and Dan Hefetz (University of Birmingham)
The objectives of this course are two-fold:
1. to provide an introduction to recent developments and techniques for classical problems in the theory of random graphs;
2. to cover geometric and topological aspects of the theory of random graphs and introduce participants to the diversity and the depth of the combinatorial, probabilistic and analytical methods that have been invented in this context.
The three main lecture course topics are:
. Long paths and hamiltonicity in random graphs (M. Krivelevich, Tel Aviv University)
. Random graphs from restricted classes (K. Panagiotou, Ludwig-Maximilians-Universität)
. Random geometric graphs (M. D. Penrose, University of Bath)
There will also be a special guest lecture: Random planar graphs (C. McDiarmid, University of Oxford)
Additional information can be found here: http://web.mat.bham.ac.uk/combinatorics/LMS-EPSRC/index.html
as well as through the LMS webpage: http://www.lms.ac.uk/events/forthcoming-short-courses
This short course is aimed at research students, post-docs and those working in industry. The number of participants is restricted and a successful application is necessary for an invitation. Those interested are advised to make an early application. An application form can be found here: http://www.surveymonkey.com/s/3CDNQ6L
**********************************************************
*
* Contributions to be spread via DMANET are submitted to
*
* DMANET@zpr.uni-koeln.de
*
* Replies to a message carried on DMANET should NOT be
* addressed to DMANET but to the original sender. The
* original sender, however, is invited to prepare an
* update of the replies received and to communicate it
* via DMANET.
*
* DISCRETE MATHEMATICS AND ALGORITHMS NETWORK (DMANET)
* http://www.zaik.uni-koeln.de/AFS/publications/dmanet/
*
**********************************************************
[DMANET] Post-Doc in Graph Theory, Algorithms and Interconnection Networks
School of Engineering and Computing Sciences, Durham University, UK
Post-Doctoral Research Associate
A 3-year post-doctoral research associate with expertise in structural and algorithmic graph theory and who has the capability and breadth of experience to appreciate and undertake research in combination with more practical aspects of interconnection networks (as are relevant in, for example, networks on chips, distributed-memory multiprocessors, clusters and data centres) is required. The PDRA will work at Durham University under the guidance of Professor Iain Stewart on the EPSRC-funded grant "Interconnection Networks: Practice unites with Theory (INPUT)", in collaboration with a computer architecture research team from the School of Computer
Science, University of Manchester led by Professor Steve Furber CBE FRS FREng. The successful candidate will be part of the Algorithms and Complexity research group (ACiD) in the School of Engineering and Computing Sciences at Durham.
More details on the position and how to apply are available from Durham University's web-site at:
https://ig5.i-grasp.com/fe/tpl_durham01.asp?s=WjsUrXCzMkBNsPpBkh&jobid=79765,3489713525&key=69951849&c=486233872334&pagestamp=seuiccbbqqvsyziyix
and details of the grant are available from:
http://gow.epsrc.ac.uk/NGBOViewGrant.aspx?GrantRef=EP/K015680/1
Despite what is stated on the EPSRC web-site, the notional start-date is 1 July 2013 but there is some flexibility as regards the actual start-date.
Anyone interested is encouraged to contact Professor Stewart.
----------------------------------------------------------
Professor Iain A. Stewart
School of Engineering and Computing Sciences
Durham University
Science Labs
South Road
Durham DH1 3LE
Tel: +44 (0) 191 3341720
Email: i.a.stewart@durham.ac.uk
WWW: http://www.durham.ac.uk/i.a.stewart
Room: E362 (Higginson)
**********************************************************
*
* 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/
*
**********************************************************
Post-Doctoral Research Associate
A 3-year post-doctoral research associate with expertise in structural and algorithmic graph theory and who has the capability and breadth of experience to appreciate and undertake research in combination with more practical aspects of interconnection networks (as are relevant in, for example, networks on chips, distributed-memory multiprocessors, clusters and data centres) is required. The PDRA will work at Durham University under the guidance of Professor Iain Stewart on the EPSRC-funded grant "Interconnection Networks: Practice unites with Theory (INPUT)", in collaboration with a computer architecture research team from the School of Computer
Science, University of Manchester led by Professor Steve Furber CBE FRS FREng. The successful candidate will be part of the Algorithms and Complexity research group (ACiD) in the School of Engineering and Computing Sciences at Durham.
More details on the position and how to apply are available from Durham University's web-site at:
https://ig5.i-grasp.com/fe/tpl_durham01.asp?s=WjsUrXCzMkBNsPpBkh&jobid=79765,3489713525&key=69951849&c=486233872334&pagestamp=seuiccbbqqvsyziyix
and details of the grant are available from:
http://gow.epsrc.ac.uk/NGBOViewGrant.aspx?GrantRef=EP/K015680/1
Despite what is stated on the EPSRC web-site, the notional start-date is 1 July 2013 but there is some flexibility as regards the actual start-date.
Anyone interested is encouraged to contact Professor Stewart.
----------------------------------------------------------
Professor Iain A. Stewart
School of Engineering and Computing Sciences
Durham University
Science Labs
South Road
Durham DH1 3LE
Tel: +44 (0) 191 3341720
Email: i.a.stewart@durham.ac.uk
WWW: http://www.durham.ac.uk/i.a.stewart
Room: E362 (Higginson)
**********************************************************
*
* Contributions to be spread via DMANET are submitted to
*
* DMANET@zpr.uni-koeln.de
*
* Replies to a message carried on DMANET should NOT be
* addressed to DMANET but to the original sender. The
* original sender, however, is invited to prepare an
* update of the replies received and to communicate it
* via DMANET.
*
* DISCRETE MATHEMATICS AND ALGORITHMS NETWORK (DMANET)
* http://www.zaik.uni-koeln.de/AFS/publications/dmanet/
*
**********************************************************
2013 Mixed Integer Programming Workshop, Final Call for Poster Submissions
*** MIP2013: FINAL CALL FOR POSTER SUBMISSIONS ***
(Apologies for cross-postings.)
Date: July 22-25, 2013
Location: University of Wisconsin-Madison, in Madison, WI, USA
Web site and registration: https://events.discovery.wisc.edu/mip2013/
Poster submission deadline: April 15, 2013 (Extended from April 1.)
You are cordially invited to participate in the upcoming workshop in
Mixed Integer Programming (MIP 2013). The 2013 Mixed Integer
Programming workshop will be the tenth in a series of annual workshops
held in North America designed to bring the integer programming
community together to discuss very recent developments in the field.
The workshop series consists of a single track of invited talks and a
poster session.
The poster session will be held the first evening of the workshop
(July 22). All workshop participants are invited to submit a poster
abstract. There will be an award for the best poster presented by a
student or postdoctoral researcher. To submit an abstract, please
email a two page PDF containing a detailed abstract of the poster to
mip2013@discovery.wisc.edu by April 15, 2013. Space for posters may be
limited, and the abstract will be used to decide which posters are
accepted, so it is important that the abstract provide a good
description of the research to be presented. We expect to send out
notifications by around May 1, 2013.
The workshop is designed to provide ample time for discussion and
interaction between the participants, as one of its aims is to
facilitate research collaboration. Thanks to the generous support by
our sponsors, registration is free, and travel support is available
for students and postdocs who present posters at the workshop.
Students and postdocs who wish to apply for travel support must submit
a poster abstract by the April 15 deadline, and indicate they wish to
be considered for funding. We expect to make funding decisions by
around May 1, 2013.
This year's confirmed speakers are:
Tobias Achterberg, IBM CPLEX Optimization
Pietro Belotti, Clemson University
Greg Blekherman, Georgia Institute of Technology
Sergei Chubanov, University of Siegen
Daniel Dadush, New York University
Marco Di Summa, University of Padova
Yuri Faenza, EPFL Lausanne
Oktay Gunluk, IBM T.J. Watson Research
John Hooker, Carnegie Mellon University
Matthias Koeppe, University of California, Davis
Quentin Louveaux, University of Liege
Carla Michini, ETH Zurich
Marco Molinaro, Carnegie Mellon University
Eduardo Moreno, Universidad Adolfo Ibanez
George Nemhauser, Georgia Institute of Technology
Thomas Rothvoss, MIT
Mohit Singh, McGill University
Gautier Stauffer, Grenoble Institute of Technology
Mathieu Van Vyve, Catholic University of Louvain
Juan Pablo Vielma, MIT
Laurence Wolsey, Catholic University of Louvain
Bo Zeng, University of South Florida
Muhong Zhang, Arizona State University
See you in Madison!
Sincerely,
Amitabh Basu, University of California, Davis
Daniel Bienstock, Columbia University
Alberto Del Pia, ETH Zurich
Santanu Dey, Georgia Tech
Jim Luedtke, University of Wisconsin-Madison
(MIP 2013 Organizing Committee, mip2013@discovery.wisc.edu)
--
Jim Luedtke, Assistant Professor
Secretary/Treasurer, INFORMS Optimization Society
Dept. of Industrial and Systems Engineering
University of Wisconsin-Madison
3236 Mechanical Engineering Building
1513 University Avenue, Madison, WI 53706
(Apologies for cross-postings.)
Date: July 22-25, 2013
Location: University of Wisconsin-Madison, in Madison, WI, USA
Web site and registration: https://events.discovery.wisc.edu/mip2013/
Poster submission deadline: April 15, 2013 (Extended from April 1.)
You are cordially invited to participate in the upcoming workshop in
Mixed Integer Programming (MIP 2013). The 2013 Mixed Integer
Programming workshop will be the tenth in a series of annual workshops
held in North America designed to bring the integer programming
community together to discuss very recent developments in the field.
The workshop series consists of a single track of invited talks and a
poster session.
The poster session will be held the first evening of the workshop
(July 22). All workshop participants are invited to submit a poster
abstract. There will be an award for the best poster presented by a
student or postdoctoral researcher. To submit an abstract, please
email a two page PDF containing a detailed abstract of the poster to
mip2013@discovery.wisc.edu by April 15, 2013. Space for posters may be
limited, and the abstract will be used to decide which posters are
accepted, so it is important that the abstract provide a good
description of the research to be presented. We expect to send out
notifications by around May 1, 2013.
The workshop is designed to provide ample time for discussion and
interaction between the participants, as one of its aims is to
facilitate research collaboration. Thanks to the generous support by
our sponsors, registration is free, and travel support is available
for students and postdocs who present posters at the workshop.
Students and postdocs who wish to apply for travel support must submit
a poster abstract by the April 15 deadline, and indicate they wish to
be considered for funding. We expect to make funding decisions by
around May 1, 2013.
This year's confirmed speakers are:
Tobias Achterberg, IBM CPLEX Optimization
Pietro Belotti, Clemson University
Greg Blekherman, Georgia Institute of Technology
Sergei Chubanov, University of Siegen
Daniel Dadush, New York University
Marco Di Summa, University of Padova
Yuri Faenza, EPFL Lausanne
Oktay Gunluk, IBM T.J. Watson Research
John Hooker, Carnegie Mellon University
Matthias Koeppe, University of California, Davis
Quentin Louveaux, University of Liege
Carla Michini, ETH Zurich
Marco Molinaro, Carnegie Mellon University
Eduardo Moreno, Universidad Adolfo Ibanez
George Nemhauser, Georgia Institute of Technology
Thomas Rothvoss, MIT
Mohit Singh, McGill University
Gautier Stauffer, Grenoble Institute of Technology
Mathieu Van Vyve, Catholic University of Louvain
Juan Pablo Vielma, MIT
Laurence Wolsey, Catholic University of Louvain
Bo Zeng, University of South Florida
Muhong Zhang, Arizona State University
See you in Madison!
Sincerely,
Amitabh Basu, University of California, Davis
Daniel Bienstock, Columbia University
Alberto Del Pia, ETH Zurich
Santanu Dey, Georgia Tech
Jim Luedtke, University of Wisconsin-Madison
(MIP 2013 Organizing Committee, mip2013@discovery.wisc.edu)
--
Jim Luedtke, Assistant Professor
Secretary/Treasurer, INFORMS Optimization Society
Dept. of Industrial and Systems Engineering
University of Wisconsin-Madison
3236 Mechanical Engineering Building
1513 University Avenue, Madison, WI 53706
[DMANET] 2013 Mixed Integer Programming Workshop, Final Call for Poster Submissions
*** MIP2013: FINAL CALL FOR POSTER SUBMISSIONS ***
(Apologies for cross-postings.)
Date: July 22-25, 2013
Location: University of Wisconsin-Madison, in Madison, WI, USA
Web site and registration: https://events.discovery.wisc.edu/mip2013/
Poster submission deadline: April 15, 2013 (Extended from April 1.)
You are cordially invited to participate in the upcoming workshop in
Mixed Integer Programming (MIP 2013). The 2013 Mixed Integer
Programming workshop will be the tenth in a series of annual workshops
held in North America designed to bring the integer programming
community together to discuss very recent developments in the field.
The workshop series consists of a single track of invited talks and a
poster session.
The poster session will be held the first evening of the workshop
(July 22). All workshop participants are invited to submit a poster
abstract. There will be an award for the best poster presented by a
student or postdoctoral researcher. To submit an abstract, please
email a two page PDF containing a detailed abstract of the poster to
mip2013@discovery.wisc.edu by April 15, 2013. Space for posters may be
limited, and the abstract will be used to decide which posters are
accepted, so it is important that the abstract provide a good
description of the research to be presented. We expect to send out
notifications by around May 1, 2013.
The workshop is designed to provide ample time for discussion and
interaction between the participants, as one of its aims is to
facilitate research collaboration. Thanks to the generous support by
our sponsors, registration is free, and travel support is available
for students and postdocs who present posters at the workshop.
Students and postdocs who wish to apply for travel support must submit
a poster abstract by the April 15 deadline, and indicate they wish to
be considered for funding. We expect to make funding decisions by
around May 1, 2013.
This year's confirmed speakers are:
Tobias Achterberg, IBM CPLEX Optimization
Pietro Belotti, Clemson University
Greg Blekherman, Georgia Institute of Technology
Sergei Chubanov, University of Siegen
Daniel Dadush, New York University
Marco Di Summa, University of Padova
Yuri Faenza, EPFL Lausanne
Oktay Gunluk, IBM T.J. Watson Research
John Hooker, Carnegie Mellon University
Matthias Koeppe, University of California, Davis
Quentin Louveaux, University of Liege
Carla Michini, ETH Zurich
Marco Molinaro, Carnegie Mellon University
Eduardo Moreno, Universidad Adolfo Ibanez
George Nemhauser, Georgia Institute of Technology
Thomas Rothvoss, MIT
Mohit Singh, McGill University
Gautier Stauffer, Grenoble Institute of Technology
Mathieu Van Vyve, Catholic University of Louvain
Juan Pablo Vielma, MIT
Laurence Wolsey, Catholic University of Louvain
Bo Zeng, University of South Florida
Muhong Zhang, Arizona State University
See you in Madison!
Sincerely,
Amitabh Basu, University of California, Davis
Daniel Bienstock, Columbia University
Alberto Del Pia, ETH Zurich
Santanu Dey, Georgia Tech
Jim Luedtke, University of Wisconsin-Madison
(MIP 2013 Organizing Committee, mip2013@discovery.wisc.edu)
--
Jim Luedtke, Assistant Professor
Secretary/Treasurer, INFORMS Optimization Society
Dept. of Industrial and Systems Engineering
University of Wisconsin-Madison
3236 Mechanical Engineering Building
1513 University Avenue, Madison, WI 53706
**********************************************************
*
* 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/
*
**********************************************************
(Apologies for cross-postings.)
Date: July 22-25, 2013
Location: University of Wisconsin-Madison, in Madison, WI, USA
Web site and registration: https://events.discovery.wisc.edu/mip2013/
Poster submission deadline: April 15, 2013 (Extended from April 1.)
You are cordially invited to participate in the upcoming workshop in
Mixed Integer Programming (MIP 2013). The 2013 Mixed Integer
Programming workshop will be the tenth in a series of annual workshops
held in North America designed to bring the integer programming
community together to discuss very recent developments in the field.
The workshop series consists of a single track of invited talks and a
poster session.
The poster session will be held the first evening of the workshop
(July 22). All workshop participants are invited to submit a poster
abstract. There will be an award for the best poster presented by a
student or postdoctoral researcher. To submit an abstract, please
email a two page PDF containing a detailed abstract of the poster to
mip2013@discovery.wisc.edu by April 15, 2013. Space for posters may be
limited, and the abstract will be used to decide which posters are
accepted, so it is important that the abstract provide a good
description of the research to be presented. We expect to send out
notifications by around May 1, 2013.
The workshop is designed to provide ample time for discussion and
interaction between the participants, as one of its aims is to
facilitate research collaboration. Thanks to the generous support by
our sponsors, registration is free, and travel support is available
for students and postdocs who present posters at the workshop.
Students and postdocs who wish to apply for travel support must submit
a poster abstract by the April 15 deadline, and indicate they wish to
be considered for funding. We expect to make funding decisions by
around May 1, 2013.
This year's confirmed speakers are:
Tobias Achterberg, IBM CPLEX Optimization
Pietro Belotti, Clemson University
Greg Blekherman, Georgia Institute of Technology
Sergei Chubanov, University of Siegen
Daniel Dadush, New York University
Marco Di Summa, University of Padova
Yuri Faenza, EPFL Lausanne
Oktay Gunluk, IBM T.J. Watson Research
John Hooker, Carnegie Mellon University
Matthias Koeppe, University of California, Davis
Quentin Louveaux, University of Liege
Carla Michini, ETH Zurich
Marco Molinaro, Carnegie Mellon University
Eduardo Moreno, Universidad Adolfo Ibanez
George Nemhauser, Georgia Institute of Technology
Thomas Rothvoss, MIT
Mohit Singh, McGill University
Gautier Stauffer, Grenoble Institute of Technology
Mathieu Van Vyve, Catholic University of Louvain
Juan Pablo Vielma, MIT
Laurence Wolsey, Catholic University of Louvain
Bo Zeng, University of South Florida
Muhong Zhang, Arizona State University
See you in Madison!
Sincerely,
Amitabh Basu, University of California, Davis
Daniel Bienstock, Columbia University
Alberto Del Pia, ETH Zurich
Santanu Dey, Georgia Tech
Jim Luedtke, University of Wisconsin-Madison
(MIP 2013 Organizing Committee, mip2013@discovery.wisc.edu)
--
Jim Luedtke, Assistant Professor
Secretary/Treasurer, INFORMS Optimization Society
Dept. of Industrial and Systems Engineering
University of Wisconsin-Madison
3236 Mechanical Engineering Building
1513 University Avenue, Madison, WI 53706
**********************************************************
*
* 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: CALCO Tools 2013
CALL FOR PAPERS: CALCO Tools 2013
5th International Conference on Algebra and Coalgebra in Computer Science,
Tools Workshop
September 3 - 6, 2013
Warsaw, Poland
http://coalg.org/calco13/workshops.html#tools
=========================================================================
Paper submission: April 8, 2013
Author notification: May 6, 2013
Final version due: June 3, 2013
=========================================================================
-- SCOPE --
CALCO aims to bring together researchers and practitioners with
interests in foundational aspects, and both traditional and emerging
uses of algebra and coalgebra in computer science. It is a high-level,
bi-annual conference formed by joining the forces and reputations of
CMCS (the International Workshop on Coalgebraic Methods in Computer
Science), and WADT (the Workshop on Algebraic Development
Techniques). Previous CALCO editions took place in Swansea (Wales,
2005), Bergen (Norway, 2007), Udine (Italy, 2009) and Winchester (UK,
2011). The fifth edition will be held in Warsaw, the capital of
Poland.
As part of CALCO, a workshop dedicated to tools based on algebraic
and/or coalgebraic principles, CALCO Tools, will be held alongside the
main conference. Papers of this workshop will be
included in the CALCO proceedings.
CALCO-Tools will take place on the same dates as the main CALCO
conference, with no overlap between the technical programmes of the
two events. Topics of interest include systems, prototypes, and tools
developed specifically for the design, checking, execution, and
verification of (co)algebraic specifications, but also tools targeting
different application domains while making core or interesting use of
(co)algebraic techniques.
Tool submissions should not exceed 5 pages in LNCS format. The
accepted tool papers will be included in the final proceedings of the
conference. The tools should be made available on the web at the time
of submission. Each submission will be evaluated by at least three
reviewers; one or more of the reviewers will be asked to download and
use the tool. At least one of the authors of each tool paper must
attend the conference to demo the tool. To submit a paper please visit
our easychair submission site at
https://www.easychair.org/conferences/?conf=calcotools2013
-- CALCO 2013 ORGANISING COMMITTEE --
Bartek Klin (University of Warsaw, Poland)
Andrzej Tarlecki (University of Warsaw, Poland)
-- LOCATION --
Warsaw, the capital of Poland, is a lively city with many historic
monuments and sights, but also with a thriving business district. It
is easily accessible via two airports: the main Chopin Airport, used by
most international carriers, and the recently open Warsaw Modlin
Airport (30 minutes away by rail), used by budget airlines.
-- CALCO Tools Dates --
Paper submission: April 8, 2013
Author notification: May 6, 2013
Final version due: June 3, 2013
-- CALCO Tools Programme Committee --
Einar Broch Johnsen, University of Oslo, Norway
Mark Hills, CWI Amsterdam, The Netherlands
Barbara König, University of Duisburg-Essen, Germany
Dorel Lucanu, Alexandru Ioan Cuza University, Romania
Dominik Luecke, CWI Amsterdam, The Netherlands
Till Mossakowski, DFKI, Germany
Lutz Schröder, Friedrich-Alexander Universitat Erlangen-Nürnberg, Germany (chair)
Alexandra Silva, Radboud University Nijmegen and CWI Amsterdam, The Netherlands
-- FURTHER INFORMATION --
Queries related to submission, reviewing, and programme should be sent
to the workshop chair.
Queries related to the organisation should be emailed to
calco2013@mimuw.edu.pl
.
5th International Conference on Algebra and Coalgebra in Computer Science,
Tools Workshop
September 3 - 6, 2013
Warsaw, Poland
http://coalg.org/calco13/workshops.html#tools
=========================================================================
Paper submission: April 8, 2013
Author notification: May 6, 2013
Final version due: June 3, 2013
=========================================================================
-- SCOPE --
CALCO aims to bring together researchers and practitioners with
interests in foundational aspects, and both traditional and emerging
uses of algebra and coalgebra in computer science. It is a high-level,
bi-annual conference formed by joining the forces and reputations of
CMCS (the International Workshop on Coalgebraic Methods in Computer
Science), and WADT (the Workshop on Algebraic Development
Techniques). Previous CALCO editions took place in Swansea (Wales,
2005), Bergen (Norway, 2007), Udine (Italy, 2009) and Winchester (UK,
2011). The fifth edition will be held in Warsaw, the capital of
Poland.
As part of CALCO, a workshop dedicated to tools based on algebraic
and/or coalgebraic principles, CALCO Tools, will be held alongside the
main conference. Papers of this workshop will be
included in the CALCO proceedings.
CALCO-Tools will take place on the same dates as the main CALCO
conference, with no overlap between the technical programmes of the
two events. Topics of interest include systems, prototypes, and tools
developed specifically for the design, checking, execution, and
verification of (co)algebraic specifications, but also tools targeting
different application domains while making core or interesting use of
(co)algebraic techniques.
Tool submissions should not exceed 5 pages in LNCS format. The
accepted tool papers will be included in the final proceedings of the
conference. The tools should be made available on the web at the time
of submission. Each submission will be evaluated by at least three
reviewers; one or more of the reviewers will be asked to download and
use the tool. At least one of the authors of each tool paper must
attend the conference to demo the tool. To submit a paper please visit
our easychair submission site at
https://www.easychair.org/conferences/?conf=calcotools2013
-- CALCO 2013 ORGANISING COMMITTEE --
Bartek Klin (University of Warsaw, Poland)
Andrzej Tarlecki (University of Warsaw, Poland)
-- LOCATION --
Warsaw, the capital of Poland, is a lively city with many historic
monuments and sights, but also with a thriving business district. It
is easily accessible via two airports: the main Chopin Airport, used by
most international carriers, and the recently open Warsaw Modlin
Airport (30 minutes away by rail), used by budget airlines.
-- CALCO Tools Dates --
Paper submission: April 8, 2013
Author notification: May 6, 2013
Final version due: June 3, 2013
-- CALCO Tools Programme Committee --
Einar Broch Johnsen, University of Oslo, Norway
Mark Hills, CWI Amsterdam, The Netherlands
Barbara König, University of Duisburg-Essen, Germany
Dorel Lucanu, Alexandru Ioan Cuza University, Romania
Dominik Luecke, CWI Amsterdam, The Netherlands
Till Mossakowski, DFKI, Germany
Lutz Schröder, Friedrich-Alexander Universitat Erlangen-Nürnberg, Germany (chair)
Alexandra Silva, Radboud University Nijmegen and CWI Amsterdam, The Netherlands
-- FURTHER INFORMATION --
Queries related to submission, reviewing, and programme should be sent
to the workshop chair.
Queries related to the organisation should be emailed to
calco2013@mimuw.edu.pl
.
[DMANET] FW: CFP - Special Session "Algorithmic Techniques and Applications for Green Urban Transportation" at IISA 2013
Call for Papers
The Fourth International Conference on
Information, Intelligence, Systems and Applications (IISA 2013 )
University of Piraeus, July 10-12, 2013
Special Session: "Algorithmic Techniques and Applications for Green Urban
Transportation"
(http://iisa2013.unipi.gr/)
Session Organizers: Damianos Gavalas (University of the Aegean, Greece),
Charalampos Konstantopoulos (University of Piraeus, Greece), Grammati
Pantziou (Technological Educational Institution of Athens, Greece), Christos
Zaroliagis (CTI & University of Patras, Greece) .
IISA 2013 is technically co-sponsored by IEEE and BAIF and hosted by the
University of Piraeus in Piraeus/Athens, Greece. IISA Proceedings will be
published by IEEE.
This special session welcomes papers addressing algorithmic techniques and
applications related to eco-friendly route planning in cities by all means
of transport. The session features research addressing all aspects of green
urban transportation, including route planning with low fuel consumption for
private cars, vehicle fleet management techniques for eco-friendly goods
transportation and efficient techniques for multimodal route planning as a
means to enhance the use of public transport either by citizens for their
daily commuting or by tourists for visiting a city. Specifically, topics
of interest include (but are not limited to):
- Environmentally friendly navigation for private vehicles
- Traffic prediction and load balancing methods
- Robust route planning under unforeseeable traffic conditions
- Eco-aware vehicle fleets route planning for goods transportation
- Eco-coaching techniques for economical driving
- Multi-modal public transportation route planning
- Techniques for personalized daily multi-modal public transportation routes
for tourists
Contributors are invited to submit their manuscript via the Conference web
page (http://iisa2013.unipi.gr/) by April 28, 2013. Instructions for
manuscript formatting can be found at
http://iisa2013.unipi.gr/instructions-for-authors. Queries on this session
can be directed to the session organizers at konstant@unipi.gr.
**********************************************************
*
* Contributions to be spread via DMANET are submitted to
*
* DMANET@zpr.uni-koeln.de
*
* Replies to a message carried on DMANET should NOT be
* addressed to DMANET but to the original sender. The
* original sender, however, is invited to prepare an
* update of the replies received and to communicate it
* via DMANET.
*
* DISCRETE MATHEMATICS AND ALGORITHMS NETWORK (DMANET)
* http://www.zaik.uni-koeln.de/AFS/publications/dmanet/
*
**********************************************************
The Fourth International Conference on
Information, Intelligence, Systems and Applications (IISA 2013 )
University of Piraeus, July 10-12, 2013
Special Session: "Algorithmic Techniques and Applications for Green Urban
Transportation"
(http://iisa2013.unipi.gr/)
Session Organizers: Damianos Gavalas (University of the Aegean, Greece),
Charalampos Konstantopoulos (University of Piraeus, Greece), Grammati
Pantziou (Technological Educational Institution of Athens, Greece), Christos
Zaroliagis (CTI & University of Patras, Greece) .
IISA 2013 is technically co-sponsored by IEEE and BAIF and hosted by the
University of Piraeus in Piraeus/Athens, Greece. IISA Proceedings will be
published by IEEE.
This special session welcomes papers addressing algorithmic techniques and
applications related to eco-friendly route planning in cities by all means
of transport. The session features research addressing all aspects of green
urban transportation, including route planning with low fuel consumption for
private cars, vehicle fleet management techniques for eco-friendly goods
transportation and efficient techniques for multimodal route planning as a
means to enhance the use of public transport either by citizens for their
daily commuting or by tourists for visiting a city. Specifically, topics
of interest include (but are not limited to):
- Environmentally friendly navigation for private vehicles
- Traffic prediction and load balancing methods
- Robust route planning under unforeseeable traffic conditions
- Eco-aware vehicle fleets route planning for goods transportation
- Eco-coaching techniques for economical driving
- Multi-modal public transportation route planning
- Techniques for personalized daily multi-modal public transportation routes
for tourists
Contributors are invited to submit their manuscript via the Conference web
page (http://iisa2013.unipi.gr/) by April 28, 2013. Instructions for
manuscript formatting can be found at
http://iisa2013.unipi.gr/instructions-for-authors. Queries on this session
can be directed to the session organizers at konstant@unipi.gr.
**********************************************************
*
* Contributions to be spread via DMANET are submitted to
*
* DMANET@zpr.uni-koeln.de
*
* Replies to a message carried on DMANET should NOT be
* addressed to DMANET but to the original sender. The
* original sender, however, is invited to prepare an
* update of the replies received and to communicate it
* via DMANET.
*
* DISCRETE MATHEMATICS AND ALGORITHMS NETWORK (DMANET)
* http://www.zaik.uni-koeln.de/AFS/publications/dmanet/
*
**********************************************************
Monday, March 25, 2013
[DMANET] Postdoc positions at the Ecuadorian Center on Mathematical Modelling
3 Postdoc positions at the Ecuadorian Research Center on Mathematical
Modelling (ModeMat)
www.math.epn.edu.ec/modemat
--------------------------------
The Ecuadorian Research Center on Mathematical Modelling (ModeMat) at
Escuela Politecnica Nacional de Quito invites applications for three
postdoctoral positions in the following areas:
(1) parallel computing of solutions to partial differential equations,
(2) computational methods for image processing, and
(3) optimization of public transportation systems.
The Research Center on Mathematical Modelling (ModeMat) is a
multidisciplinary center that aims at developing new mathematical and
computational techniques and building innovative mathematical models for
solving problems arising in different application areas. The current
application areas of the center are:
* Optimization and control
* Logistics and transport
* Modeling and simulation in the biosciences
Successful candidates should have a PhD in Applied Mathematics and have
demonstrated potential for excellence in research. Previous postdoc
experience is highly desirable.
The initial appointment will be for one year and is renewable for up to
two years. The salary ranks between 2.400 USD and 4.320 USD per month,
depending on experience. Additional benefits like medical insurance,
travel funding and others are included. The
position will be financed trough the ecuadorian Prometeo initiative.
Applications consisting of a letter of application, current vita,
statement of research interests and 2 letters of recommendation should be
sent to juan.delosreyes@epn.edu.ec.
-------------------------------------------
Contact:
Prof. Dr. Juan Carlos De los Reyes
Director
Centro de Modelización Matemática (ModeMat)
EPN Quito, Ecuador
juan.delosreyes@epn.edu.ec
--
Dr. Luis Miguel Torres
Departamento de Matemática
Escuela Politécnica Nacional
Ladrón de Guevara E11-253 - Quito - 2507144 ext. 2231
**********************************************************
*
* 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/
*
**********************************************************
Modelling (ModeMat)
www.math.epn.edu.ec/modemat
--------------------------------
The Ecuadorian Research Center on Mathematical Modelling (ModeMat) at
Escuela Politecnica Nacional de Quito invites applications for three
postdoctoral positions in the following areas:
(1) parallel computing of solutions to partial differential equations,
(2) computational methods for image processing, and
(3) optimization of public transportation systems.
The Research Center on Mathematical Modelling (ModeMat) is a
multidisciplinary center that aims at developing new mathematical and
computational techniques and building innovative mathematical models for
solving problems arising in different application areas. The current
application areas of the center are:
* Optimization and control
* Logistics and transport
* Modeling and simulation in the biosciences
Successful candidates should have a PhD in Applied Mathematics and have
demonstrated potential for excellence in research. Previous postdoc
experience is highly desirable.
The initial appointment will be for one year and is renewable for up to
two years. The salary ranks between 2.400 USD and 4.320 USD per month,
depending on experience. Additional benefits like medical insurance,
travel funding and others are included. The
position will be financed trough the ecuadorian Prometeo initiative.
Applications consisting of a letter of application, current vita,
statement of research interests and 2 letters of recommendation should be
sent to juan.delosreyes@epn.edu.ec.
-------------------------------------------
Contact:
Prof. Dr. Juan Carlos De los Reyes
Director
Centro de Modelización Matemática (ModeMat)
EPN Quito, Ecuador
juan.delosreyes@epn.edu.ec
--
Dr. Luis Miguel Torres
Departamento de Matemática
Escuela Politécnica Nacional
Ladrón de Guevara E11-253 - Quito - 2507144 ext. 2231
**********************************************************
*
* 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] 2nd CFP FCT 2013 (Fundamentals of Computation Theory)
FCT 2013, University of Liverpool
The 19th International Symposium on Fundamentals of Computation
Theory (FCT 2013) will be hosted by the Department of Computer
Science at the University of Liverpool.
Dates: Aug 19-21, 2013
Website: http://fct2013.csc.liv.ac.uk/
Submission deadline: Apr 23, 2013
Invited Speakers
Marek Chrobak, University of California, Riverside
Joel Ouaknine, Oxford University
David Peleg, Weizmann Institute
Program chairs: Leszek Gasieniec, University of Liverpool
Frank Wolter, University of Liverpool
Conference scope
----------------
FCT covers
Algorithms, including algorithm design, optimization,
approximation and randomized algorithms, computational
complexity, computational geometry, machine learning, artificial
intelligence, computational algebra, online algorithms,
and parallel and distributed computing.
Formal methods, including algebraic and categorical
methods, automata and formal languages, database theory,
foundations of concurrency, logic and model checking,
principles of programming languages, program analysis
and transformation, specification, refinement and verification,
and security.
Emerging fields, including algorithmic game theory,
computational biology, foundations of cloud computing, and
quantum computing.
**********************************************************
*
* Contributions to be spread via DMANET are submitted to
*
* DMANET@zpr.uni-koeln.de
*
* Replies to a message carried on DMANET should NOT be
* addressed to DMANET but to the original sender. The
* original sender, however, is invited to prepare an
* update of the replies received and to communicate it
* via DMANET.
*
* DISCRETE MATHEMATICS AND ALGORITHMS NETWORK (DMANET)
* http://www.zaik.uni-koeln.de/AFS/publications/dmanet/
*
**********************************************************
The 19th International Symposium on Fundamentals of Computation
Theory (FCT 2013) will be hosted by the Department of Computer
Science at the University of Liverpool.
Dates: Aug 19-21, 2013
Website: http://fct2013.csc.liv.ac.uk/
Submission deadline: Apr 23, 2013
Invited Speakers
Marek Chrobak, University of California, Riverside
Joel Ouaknine, Oxford University
David Peleg, Weizmann Institute
Program chairs: Leszek Gasieniec, University of Liverpool
Frank Wolter, University of Liverpool
Conference scope
----------------
FCT covers
Algorithms, including algorithm design, optimization,
approximation and randomized algorithms, computational
complexity, computational geometry, machine learning, artificial
intelligence, computational algebra, online algorithms,
and parallel and distributed computing.
Formal methods, including algebraic and categorical
methods, automata and formal languages, database theory,
foundations of concurrency, logic and model checking,
principles of programming languages, program analysis
and transformation, specification, refinement and verification,
and security.
Emerging fields, including algorithmic game theory,
computational biology, foundations of cloud computing, and
quantum computing.
**********************************************************
*
* Contributions to be spread via DMANET are submitted to
*
* DMANET@zpr.uni-koeln.de
*
* Replies to a message carried on DMANET should NOT be
* addressed to DMANET but to the original sender. The
* original sender, however, is invited to prepare an
* update of the replies received and to communicate it
* via DMANET.
*
* DISCRETE MATHEMATICS AND ALGORITHMS NETWORK (DMANET)
* http://www.zaik.uni-koeln.de/AFS/publications/dmanet/
*
**********************************************************
2nd CFP FCT 2013 (Fundamentals of Computation Theory)
FCT 2013, University of Liverpool
The 19th International Symposium on Fundamentals of Computation
Theory (FCT 2013) will be hosted by the Department of Computer
Science at the University of Liverpool.
Dates: Aug 19-21, 2013
Website: http://fct2013.csc.liv.ac.uk/
Submission deadline: Apr 23, 2013
Invited Speakers
Marek Chrobak, University of California, Riverside
Joel Ouaknine, Oxford University
David Peleg, Weizmann Institute
Program chairs: Leszek Gasieniec, University of Liverpool
Frank Wolter, University of Liverpool
Conference scope
----------------
FCT covers
Algorithms, including algorithm design, optimization,
approximation and randomized algorithms, computational
complexity, computational geometry, machine learning, artificial
intelligence, computational algebra, online algorithms,
and parallel and distributed computing.
Formal methods, including algebraic and categorical
methods, automata and formal languages, database theory,
foundations of concurrency, logic and model checking,
principles of programming languages, program analysis
and transformation, specification, refinement and verification,
and security.
Emerging fields, including algorithmic game theory,
computational biology, foundations of cloud computing, and
quantum computing.
The 19th International Symposium on Fundamentals of Computation
Theory (FCT 2013) will be hosted by the Department of Computer
Science at the University of Liverpool.
Dates: Aug 19-21, 2013
Website: http://fct2013.csc.liv.ac.uk/
Submission deadline: Apr 23, 2013
Invited Speakers
Marek Chrobak, University of California, Riverside
Joel Ouaknine, Oxford University
David Peleg, Weizmann Institute
Program chairs: Leszek Gasieniec, University of Liverpool
Frank Wolter, University of Liverpool
Conference scope
----------------
FCT covers
Algorithms, including algorithm design, optimization,
approximation and randomized algorithms, computational
complexity, computational geometry, machine learning, artificial
intelligence, computational algebra, online algorithms,
and parallel and distributed computing.
Formal methods, including algebraic and categorical
methods, automata and formal languages, database theory,
foundations of concurrency, logic and model checking,
principles of programming languages, program analysis
and transformation, specification, refinement and verification,
and security.
Emerging fields, including algorithmic game theory,
computational biology, foundations of cloud computing, and
quantum computing.
[DMANET] SCSS 2013
[Please post - apologies for multiple copies.]
First 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)
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/
*
**********************************************************
First 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)
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/
*
**********************************************************
Subscribe to:
Posts (Atom)
Posts
