______________________________________________________________________
ACM CHANTS 2014 - 9th Workshop on Challenged Networks
co-located with ACM MobiCom 2014
7 September 2014, Maui, Hawaii, USA
www.acm-chants.org/14
Supported by the FP7 EU MOTO project
http://www.fp7-moto.eu
______________________________________________________________________
SCOPE AND OVERVIEW
__________________
Challenged networks comprise those situations where communication is desired,
but traditional Internet architectures fail to provide it effectively.
Such networks may be characterized by intermittent connectivity, a heterogeneous
mix of nodes, nodal churn, and widely varying network conditions. Traditional
examples of challenged networks include inter-planetary networks, sensor and
wildlife monitoring networks, underwater networks, rural and remote areas,
and military battlefields. Recently, challenged networking has also found
applications in everyday settings, for which they were not initially conceived,
such as opportunistic networking supporting data-centric communications,
traffic offloading from cellular networks, mobile cloud computing,
opportunistic and participatory sensing. Inter-disciplinary approaches to
challenged networking protocols are also successfully explored, exploiting,
for example, findings in the area of social networking.
The availability of enabling technologies in mobile devices, such as
WiFi direct in Android and D2D communication in latest LTE releases, will
further push towards practical developments of challenged networking solutions.
This workshop builds on the success of the eight previous CHANTS workshops,
and WDTN 2005, to stimulate research on the most novel and challenging topics
of challenged network research. CHANTS provides an ideal venue for researchers
and engineers to present cutting-edge work and results, as research papers or demos,
in the following topics:
- Delay/disruption-tolerant networks (DTNs)
- Opportunistic communication and computing
- Architecture, design, and implementation of communication systems
for challenged networks
- Modeling, analysis and characterization of challenged networks and protocols
- Network Coding in Challenged Networks
- Information Centric and Content-centric Networking in Challenged Networks
- Security/Trust/Privacy concerns and solutions in challenged networks
- Case studies involving real challenged network solutions in various stages
of development or use
- Applications of challenged networks in disrupted scenarios
(e.g. disaster relief and emergency management) and in daily use
(e.g., vehicular networks, mobile social networking, censorship evasion, crowdsourcing,
sensor networks)
- Green and energy-efficient communication using challenged networks
- Real-world mobility trace collection, analysis, and modeling for challenged environments
- Network science methods for challenged networks
- Mobile data offloading via challenged networks
- Test and simulation tools for evaluating challenged network systems
- Configuration, management, and monitoring of challenged networks
- Challenged networking techniques for mobile cloud
- Challenged networking techniques for participatory and opportunistic sensing
Selected papers will be forward-looking, will describe their relationship
to existing work, and will have impact and implications for ongoing or future research.
We aim to have a highly interactive workshop, also including demos, which have been
an integral part of CHANTS. Paper authors who can also run a demo of their work will be
encouraged to do so. In exceptional cases, where live demos are simply not practical
to present, poster or video presentations of practical results are acceptable.
PAPER FORMAT AND SUBMISSION INSTRUCTIONS
________________________________________
Papers should neither have been published elsewhere nor being
currently under review by another conference or journal.
Submitted papers must be no more than 6 pages long, and should adhere to
the standard ACM conference proceedings format.
Demo proposals (to be published as part of the proceedings) must not be longer
than 3 pages plus 1 page description of the precise setup and requirements
(the 1-page setup description will not be published in the proceedings).
Papers will be reviewed single blind.
Please follow the submission link at: http://www.acm-chants.org
EDITORIAL FOLLOW-UPS
_____________________
Extended versions of the selected workshop papers will be considered for
possible fast track publication on the Computer Communications Journal (Elsevier),
in a special section on Challenged Networks.
IMPORTANT DATES
_______________
Abstract Registration: 1 June 2014
Submission Deadline: 8 June 2014
Authors Notification: 20 July 2014
Camera Ready Due: 27 July 2014
Workshop: 7 September 2014
ORGANIZING COMMITTEE
____________________
Program Committee Chairs
- Mario Gerla (UCLA, USA)
- Andrea Passarella (IIT-CNR, Italy)
Technical Program Committee
- Mostafa Ammar (Georgia Institute of Technology, USA)
- Aruna Balasubramanian (University of Washington, USA)
- Fehmi Ben Abdesslem (SICS Swedish ICT, Sweden)
- Chiara Boldrini (IIT-CNR, Italy)
- Scott Burleigh (Jet Propulsion Laboratory, California Institute of Technology, USA)
- Guohong Cao (Penn State University, USA)
- Vania Conan (Thales Communications & Security, France)
- Marco Conti (IIT-CNR, Italy)
- Marcelo Dias de Amorim (CNRS and UPMC, France)
- Roberto Di Pietro (Roma Tre University of Rome, Italy)
- Do Young Eun (North Carolina State University, USA)
- Stephen Farrell (Trinity College Dublin, Ireland)
- Ahmed Helmy (University of Florida, USA)
- Tristan Henderson (University of St Andrews, UK)
- Pan Hui (Deutsche Telekom Laboratories/Hong Kong Univ. of Science and Technology, Hong Kong)
- Karin Anna Hummel (ETH Zurich, Switzerland)
- Mohan Kumar (Rochester Institute of Technology, USA)
- Kyunghan Lee, (UNIST Ulsan National Institute of Science and Technology, Korea)
- Uichin Lee (KAIST-KSE, Korea Advanced Institute of Science and Technology, Korea)
- Anders Lindgren (SICS Swedish ICT, Sweden)
- Giovanni Neglia (INRIA Sophia-Antipolis, France)
- Melek Onen (EURECOM, France)
- Joerg Ott (Aalto University, Finland)
- Elena Pagani (University of Milan, Italy)
- Andreea Hossmann-Picu (ETH Zurich, Switzerland)
- Thrasyvoulos Spyropoulos (EURECOM, France)
- Stavros Toumpis (Athens University of Economics and Business, Greece)
- Eiko Yoneki (University of Cambridge, UK)
Steering Committee
- Kevin Almeroth, UC-Santa Barbara, USA
- Mostafa Ammar, Georgia Tech, USA
- Christophe Diot, Technicolor, France
- Deborah Estrin, UC-Los Angeles, USA
- Kevin Fall, Carnegie Mellon University, USA
- Joerg Ott, Aalto University, Finland
- James Scott, Microsoft Research Cambridge, UK
Publicity Co-Chairs
- Elisabetta Biondi (IIT-CNR, Italy)
- Yong Li (Tsinghua University, China)
- Sungwon Yang (UCLA, USA)
Web Chair
- Fehmi Ben Abdesslem (SICS Swedish ICT, Sweden)
For more information, please check out www.acm-chants.org or write to
the workshop co-chairs at chants2014@iit.cnr.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/
*
**********************************************************
Wednesday, May 7, 2014
[DMANET] WABI 2014 CfP (Workshop on Algorithms in Bioinformatics Sept. 8-10, 2014, Wrocław, Poland)
***** We apologize for multiple postings. *****
CALL FOR PAPERS - WABI 2014
14th Workshop on Algorithms in Bioinformatics September 8-10, 2014
Wrocław, Poland
http://algo2014.ii.uni.wroc.pl/wabi/
SCOPE
All research in algorithmic work in bioinformatics, computational
biology and systems biology. The emphasis is mainly on discrete
algorithms and machine-learning methods that address important problems
in molecular biology, that are founded on sound models, that are
computationally efficient, and that have been implemented and tested in
simulations and on real datasets. The goal is to present recent research
results, including significant work-in-progress, and to identify and
explore directions of future research.
TOPICS
Original research papers (including significant work-in-progress) or
state-of-the-art surveys are solicited in all aspects of algorithms in
bioinformatics, computational biology and systems biology - including,
but not limited to:
* Exact and approximate algorithms for sequence analysis, gene and
signal recognition, alignment and assembly, molecular evolution,
structure determination or prediction, gene expression, molecular
pathways and network, proteomics, functional and comparative genomics,
and drug design.
* Methods, software, and data repositories for development and testing
of such algorithms and their underlying models, as well as
high-performance computing approaches to hard learning and optimization
problems.
* Novel approaches to analyzing and modeling next-generation sequence
data, including sequence assembly, population genomics, metagenomics,
metatranscriptomics and ncRNA sequencing.
IMPORTANT DATES
Submission deadline: Saturday 24 May, 2014.
Author notification: Sunday 22 June, 2014.
Final version due: Wednesday 2 July, 2014.
Workshop: 08-10 September, 2014.
DETAILS ON SUBMITTING MANUSCRIPTS
http://algo2014.ii.uni.wroc.pl/wabi/cfp.html
KEYNOTE SPEAKER
Hélène Touzet, University of Lille
PROGRAM COMMITTEE CHAIRS
Dan Brown, University of Waterloo
Burkhard Morgenstern, University of Göttingen
PROGRAM COMMITTEE
Mohamed Abouelhoda, Cairo University
Tatsuya Akutsu, Kyoto University
Anne Bergeron, Universite du Quebec a Montreal
Sebastian Böcker, Friedrich Schiller University Jena
Paola Bonizzoni, Universit di Milano-Bicocca
Marilia Braga, Inmetro - Ditel
Broňa Brejová, Comenius University in Bratislava
C.Titus Brown, Michigan State University
Philipp Bucher, Swiss Institute for Experimental Cancer Research
Rita Casadio, UNIBO
Cedric Chauve, Department of Mathematics, Simon Fraser University
Matteo Comin, Dept. Information Engineering, University of Padova
Lenore Cowen, Tufts University
Keith Crandall, George Washington University
Nadia El-Mabrouk, University of Montreal
David Fernández-Baca, Iowa State University
Anna Gambin, Institute of Informatics, Warsaw University
Olivier Gascuel, LIRMM, CNRS - Universit Montpellier 2
Raffaele Giancarlo, Dipartimento di Matematica Universita di Palermo
Nicholas Hamilton, The University of Queensland, Institute for
Molecular Bioscience
Barbara Holland, University of Tasmania
Katharina Huber, University of East Anglila
Steven Kelk, Department of Knowledge Engineering (DKE), University of Maastricht
Carl Kingsford, Carnegie Mellon University
Gregory Kucherov, CNRS/LIGM
Zsuzsanna Lipták, University of Verona
Stefano Lonardi, UC Riverside
Veli Mäkinen, Department of Computer Science, University of Helsinki
Ion Mandoiu, University of Connecticut
Giovanni Manzini, University of Eastern Piedmont
Paul Medvedev, University of California, San Diego
Irmtraud Meyer, University of British Columbia
István Miklós, Renyi Institute, Budapest
Satoru Miyano, University of Tokyo
Bernard Moret, EPFL, Montpellier
Vincent Moulton, University of East Anglia
Luay Nakhleh, Rice University
Nadia Pisanti, Dipartimento di Informatica, Universita di Pisa, Italy
Mihai Pop, University of Maryland
Teresa Przytycka, NIH
Sven Rahmann, University of Duisburg-Essen
Marie-France Sagot, INRIA Grenoble Rhône-Alpes and Université de Lyon
S. Cenk Sahinalp, Simon Fraser University
David Sankoff, University of Ottawa
Russell Schwartz, Carnegie Mellon University
Joao Setubal, University of São Paulo
Peter F. Stadler, University of Leipzig
Jens Stoye, Bielefeld University
Krister Swenson, Université de Montréal / McGill University
Jijun Tang, University of South Carolina
Lusheng Wang, CS Dept., City Univ. of HK
Louxin Zhang, National University of Singapore
Michal Ziv-Ukelson, Ben Gurion University of the Negev
*****************************************************************
--
-----------------------------------------------------------------------
Dr. Zsuzsanna Lipták - Assistant Professor
University of Verona, Dept. of Computer Science
Strada le Grazie, 15, I-37134 Verona, Italy
room: Ca' Vignal, 2, stanza 1.79
tel: +39 045 802-7032, fax: -7068
email: zsuzsanna.liptak@univr.it
web: http://profs.sci.univr.it/~liptak
------------------------------------------------------------------------
**********************************************************
*
* 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] 10 Fellowships for a PhD in Computer Science at GSSI in L'Aquila
PLEASE DIFFUSE AMONG INTERESTED PEOPLE
--- APOLOGIES FOR MULTIPLE COPIES ---
--- APOLOGIES FOR MULTIPLE COPIES ---
10 fellowships at GSSI L'AQUILA Italy, for the PhD program in
Computer Science
In collaboration with IMT - Institute for Advanced Studies - Lucca
http://www.imtlucca.it
Core Topics:
- Foundations of (Modern) Networks,
- Specification and Analysis of Concurrent Reactive Systems,
- Software Systems and Services.
Download the call for applications at
http://www.gssi.infn.it/phd/docs/call_english_14-15.pdf
Online applications
http://www.gssi.infn.it/phd/
Deadline June 22, 2014
Scholarships
GSSI awards scholarships for 3 years.
The yearly amount of the scholarship is of € 16.159,91 gross
Facilities and benefits
All PhD students will receive free accommodation, tuition fees waived, free luncheon vouchers.
Further Informations
http://www.gssi.infn.it/
For additional informations please contact: info@gssi.infn.it
-----------
Michele Flammini
Department of Information Engineering, Computer Science, and Mathematics
University of L'Aquila
Italy
email michele.flammini@univaq.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/
*
**********************************************************
Tuesday, May 6, 2014
[DMANET] PCCR 2014: 2nd Workshop on the Parameterized Complexity of Computational Reasoning
Call for papers and participation
PCCR 2014
2nd Workshop on the Parameterized Complexity of Computational Reasoning
17-18 July 2014, Vienna, Austria
http://vsl2014.at/pccr/
PCCR 2014 will be held during the Vienna Summer of Logic 2014, the largest
logic event in history with an expected 2500 participants.
Abstracts for contributed talks are due by 9 May 2014.
Registration is now open and the early registration deadline is 8 June 2014.
*Important Dates*
Submission deadline: 9 May 2014
Notification: 16 May 2014
Camera-ready deadline: 23 May 2014
Early registration: 8 June 2014
*Aims and Scope*
PCCR 2014 aims to support a fruitful exchange of ideas between the
research on parameterized complexity on one side and the research on
various forms of computational reasoning (such as nonmonotonic,
probabilistic, and constraint-based reasoning) on the other.
Topics of interest include but are not limited to: multivariate analysis
of reasoning problems, kernelization and preprocessing, fixed-parameter
tractability and hardness, backdoors and decompositions.
The workshop will feature invited and contributed talks with surveys and
new technical results, an open problem session, and a panel discussion on
future research directions. Apart from talks on parameterized complexity
we are also interested in presentations that highlight structural
parameters that have not been studied within the framework of
parameterized complexity so far.
*Invited speakers*
- Georg Gottlob (University of Oxford, UK),
- Dániel Marx (Hungarian Academy of Sciences (MTA SZTAKI), Hungary), and
- Stefan Szeider (Vienna University of Technology, Austria).
*Submission Instructions*
If you would like to give a talk at the workshop, please submit a 1-2 page
PDF abstract of your talk via Easychair
https://www.easychair.org/conferences/?conf=pccr2014
by the submission deadline. This abstract will be included in the
non-archival FLoC/VSL 2014 proceedings which will be distributed to all
FLoc/VSL 2014 participants on a USB drive. The abstract and talk can be
based on published and unpublished results, and we welcome overview and
survey talks, besides regular technical talks. Contributed talks are
expected to be around 30 minutes each.
See you at PCCR 2014,
Michael R. Fellows, Serge Gaspers, and Toby Walsh (organisers)
**********************************************************
*
* 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/
*
**********************************************************
PCCR 2014
2nd Workshop on the Parameterized Complexity of Computational Reasoning
17-18 July 2014, Vienna, Austria
http://vsl2014.at/pccr/
PCCR 2014 will be held during the Vienna Summer of Logic 2014, the largest
logic event in history with an expected 2500 participants.
Abstracts for contributed talks are due by 9 May 2014.
Registration is now open and the early registration deadline is 8 June 2014.
*Important Dates*
Submission deadline: 9 May 2014
Notification: 16 May 2014
Camera-ready deadline: 23 May 2014
Early registration: 8 June 2014
*Aims and Scope*
PCCR 2014 aims to support a fruitful exchange of ideas between the
research on parameterized complexity on one side and the research on
various forms of computational reasoning (such as nonmonotonic,
probabilistic, and constraint-based reasoning) on the other.
Topics of interest include but are not limited to: multivariate analysis
of reasoning problems, kernelization and preprocessing, fixed-parameter
tractability and hardness, backdoors and decompositions.
The workshop will feature invited and contributed talks with surveys and
new technical results, an open problem session, and a panel discussion on
future research directions. Apart from talks on parameterized complexity
we are also interested in presentations that highlight structural
parameters that have not been studied within the framework of
parameterized complexity so far.
*Invited speakers*
- Georg Gottlob (University of Oxford, UK),
- Dániel Marx (Hungarian Academy of Sciences (MTA SZTAKI), Hungary), and
- Stefan Szeider (Vienna University of Technology, Austria).
*Submission Instructions*
If you would like to give a talk at the workshop, please submit a 1-2 page
PDF abstract of your talk via Easychair
https://www.easychair.org/conferences/?conf=pccr2014
by the submission deadline. This abstract will be included in the
non-archival FLoC/VSL 2014 proceedings which will be distributed to all
FLoc/VSL 2014 participants on a USB drive. The abstract and talk can be
based on published and unpublished results, and we welcome overview and
survey talks, besides regular technical talks. Contributed talks are
expected to be around 30 minutes each.
See you at PCCR 2014,
Michael R. Fellows, Serge Gaspers, and Toby Walsh (organisers)
**********************************************************
*
* 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] DEBS 2014: Final Call for Participation
DEBS 2014: 8th ACM International Conference on Distributed Event Based
Systems
May 26th-29th 2014, IIT Bombay, Mumbai, India,
Co-sponsored by ACM SIGMOD and ACM SIGSOFT
Systems
May 26th-29th 2014, IIT Bombay, Mumbai, India,
Co-sponsored by ACM SIGMOD and ACM SIGSOFT
http://www.cse.iitb.ac.in/debs2014/
DEBS 2014 Conference Schedule
=============================
May 26, 2014 4 tutorials (all day, 9 to 5pm)
May 26, 2014 PhD workshop (1 pm to 5pm)
May 27-29, 2014 Conference (ALL day, 9 to 5pm), res papers,
industry track papers, grand challenge papers,
experience sessions
Keynote Speakers
================
Querying Distributed Data Streams.
Minos Garofalakis; Technical University of Crete
Smart Energy: the Role of Timely Data Dissemination
Krithi Ramamritham; IIT Bombay
Challenges in personalization of services at Massive scale
Dr. Manish Gupta; Director of Xerox Research Center India (XRCI)
Tutorials
=========
Cloud-based Data Stream Processing
Thomas Heinze Zbigniew Jerzak; Leonardo Querzoni
Internet of Everything (IoE)
Opher Etzion; Fabiana Fournier; Sarit Arcushin
Policy enforcement in emerging distributed event-based systems
Presenters: Jatinder Singh; David Eyers
Mobile CEP in Real-time Big Data Processing: Challenges and Opportunities
Nenad Stojanovic; Ljiljana Stojanovic; Yongchun Xu
Research Track
==============
Complex Event Service Provision and Composition based on Event Pattern
Matchmaking.
Feng Gao; Edward Curry; Sami Bhiri.
An event processing approach to text stream analysis - Basic principles
of event based information filtering
Andreas Bauer; Christian Wolff
Learning From the Past: Automated Rule Generation for Complex Event
Processing
Alessandro Margara; Gianpaolo Cugola; Giordano Tamburrelli.
We have a DREAM: Distributed Reactive Programming with Consistency
Guarantees
Alessandro Margara; Guido Salvaneschi
The Process-oriented Event Model (PoEM) – A Conceptual Model
for Industrial Events
Om Prasad Patri; Vikrambhai Sorathia; Anand Panangadan; Viktor
Prasanna
Quality Matters: Supporting Quality-aware Pervasive Applications by
Probabilistic Data Stream Management
Christian Kuka; Daniela Nicklas
Automated Quality-of-Service-aware Configuration of Publish-Subscribe
Systems at Design-Time
Thomas Fischer; Andreas M. Wahl; Richard Lenz
Latency-aware Elastic Scaling for Distributed Data Stream Processing Systems
Thomas Heinze; Zbigniew Jerzak; Gregor Hackenbroich; Christof Fetzer
The Overlay Scan Attack: Inferring Topologies of Distributed Pub/Sub
Systems through Broker Saturation
Leonardo Aniello; Roberto Baldoni; Claudio Ciccotelli; Giuseppe Antonio
Di Luna; Francesco Frontali; Leonardo Querzoni
DS-EPL: Domain-Specific Event Processing Language
Ralf Bruns; Jürgen Dunkel; Stefan Lier; Henrik Masbruch.
RECEP: Selection-based Reuse for Distributed Complex Event Processing
Beate Ottenwälder; Boris Koldehofe; Kurt Rothermel; Kirak Hong; Kishore
Ramachandran
JetStream: Enabling High Performance Event Streaming across Cloud
Data-Centers
Radu Tudoran; Olivier Nano; Ivo Santos; Alexandru Costan; Hakan Soncu;
Luc Bougé; Gabriel Antoniu
Energy-efficient context-aware routing in heterogeneous WSN
Mumraiz K. Kasi; Annika Hinze.
Content-based Filtering Discovery Protocol (CFDP): Scalable and
Efficient OMG DDS Discovery Protocol
Kyoungho An; Sumant Tambe; Paul Pazandak; Gerardo Pardo-Castellote;
Aniruddha Gokhale; Douglas Schmidt
Effective Switch Memory Management in OpenFlow Networks
Anil Vishnoi; Rishabh Poddar; Vijay Mann; Suparna Bhattacharya
Distributed Event Aggregation for Content-based Publish/Subscribe Systems
Navneet Kumar Pandey; Kaiwen Zhang; Stéphane Weiss; Hans-Arno Jacobsen;
Roman Vitenberg
Industry and Experience Track
=============================
P2S: A Fault-Tolerant Publish/Subscribe Infrastructure
Tiancheng Chang; Sisi Duan; Hein Meling; Sean Peisert; Haibin Zhang
Handling Location Uncertainty in Event Driven Experimentation
Kartik Muralidharan; Rajesh Krishna Balan; Srinivasan Seshan; Narayan
Ramasubbu
Scalable and Elastic Realtime Click Stream Analysis Using AnonymESP
André Martin; Andrey Brito; Christof Fetzer
An Event Processing Architecture for Operational Risk Management in an
Industrial Environment
Sergio Saad; Reginaldo Arakaki
Using Mobile-based Complex Event Processing to realize Collaborative
Remote Person Monitoring
Nenad Stojanovic; Yongchun Xu; Aleksandar Stojadinovic; Ljiljana
Stojanovic.
Grand Challenge
===============
Predicting Energy Consumption with StreamMine3G
Andrey Brito; André Martin; Rodolfo Marinho; Christof Fetzer
Grand Challenge: Scalable Stateful Stream Processing for Smart Grids
Raul Castro Fernandez; Matthias Weidlich; Peter Pietzuch; Avigdor Gal
Grand Challenge: Predictive Load Management in Smart Grid Environments
Christopher Mutschler; Christoffer Löffler; Nicolas Witt; Thorsten
Edelhäußer; Michael Philippsen
Solving the Grand Challenge Using an Opensource CEP engine
Srinath Perera; Sriskandarajah Suhothayan; Sanjiva Sanjiva Weerawarana;
Mohanadarshan Vivekanandalingam; Paul Paul Fremantle
**********************************************************
*
* 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] polymake 2.13
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA1
We are happy to announce polymake 2.13, which already appeared in April. The
tar ball can be downloaded from
http://wiki.polymake.org/lib/exe/fetch.php/download/polymake-2.13-1.tar.bz2
The most important new features include:
* new application "ideal" with interface to Singular, version 4
* new application "fulton" for normal toric varieties
* quadratic field extensions, e.g., to represent the Platonic solids exactly
* updated and modularized iterface to libnormaliz
* new interface to ppl (Parma Polyhedra Library)
* improved computation of convex hulls up to symmetry (via interface to
sympol)
* TikZ output
For details see
http://wiki.polymake.org/doku.php/news/release_2_13
polymake 2.13 also comes as a bundle for MacOS 10.8 and 10.9.
Happy polymaking! On behalf of the entire polymake team,
Michael Joswig
- --
Prof. Dr. Michael Joswig <joswig@math.tu-berlin.de>
Technische Universitaet Institut fuer Mathematik, MA 6-2
Str. des 17. Juni 136 D-10623 Berlin, Germany
phone +49 (30) 314-75904 fax +49 (30) 314-25047
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v2.0.22 (GNU/Linux)
Comment: Using GnuPG with Thunderbird - http://www.enigmail.net/
iQEcBAEBAgAGBQJTaORbAAoJEFvVrjjpdzmcZvgH/jVIr/dtl1exNuFAKM/j4cRM
k24bH5Lp6SfT1PNvaYarc0imH7PL6ZvDpt4hdzK9JFvmCa8M8sl023bLFgrkHTKQ
3Vu7zlThgHOMltFR+U2tQMQdKgjgEdbiW5KIjBZYV5iRq9cvvss7XTTuoz3yl/MD
uMwVz+e13IiA5GxA36wfG8fOwFJZSYxkEiyxphrd3MainpatVAqes5ovqDYuVLjE
XFB9aw4TACrKEXyYLAt0XQoUXSYQifQ7UdlNEKw36IeHcQ38LZQEybqnMEkDO3VY
LfoUONdyNkrpgGLfFUpseN2NEiXx5Z00EZKJk5dbGHzglHzbQKMr14tV9+B0RTE=
=KZom
-----END PGP SIGNATURE-----
**********************************************************
*
* 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/
*
**********************************************************
Hash: SHA1
We are happy to announce polymake 2.13, which already appeared in April. The
tar ball can be downloaded from
http://wiki.polymake.org/lib/exe/fetch.php/download/polymake-2.13-1.tar.bz2
The most important new features include:
* new application "ideal" with interface to Singular, version 4
* new application "fulton" for normal toric varieties
* quadratic field extensions, e.g., to represent the Platonic solids exactly
* updated and modularized iterface to libnormaliz
* new interface to ppl (Parma Polyhedra Library)
* improved computation of convex hulls up to symmetry (via interface to
sympol)
* TikZ output
For details see
http://wiki.polymake.org/doku.php/news/release_2_13
polymake 2.13 also comes as a bundle for MacOS 10.8 and 10.9.
Happy polymaking! On behalf of the entire polymake team,
Michael Joswig
- --
Prof. Dr. Michael Joswig <joswig@math.tu-berlin.de>
Technische Universitaet Institut fuer Mathematik, MA 6-2
Str. des 17. Juni 136 D-10623 Berlin, Germany
phone +49 (30) 314-75904 fax +49 (30) 314-25047
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v2.0.22 (GNU/Linux)
Comment: Using GnuPG with Thunderbird - http://www.enigmail.net/
iQEcBAEBAgAGBQJTaORbAAoJEFvVrjjpdzmcZvgH/jVIr/dtl1exNuFAKM/j4cRM
k24bH5Lp6SfT1PNvaYarc0imH7PL6ZvDpt4hdzK9JFvmCa8M8sl023bLFgrkHTKQ
3Vu7zlThgHOMltFR+U2tQMQdKgjgEdbiW5KIjBZYV5iRq9cvvss7XTTuoz3yl/MD
uMwVz+e13IiA5GxA36wfG8fOwFJZSYxkEiyxphrd3MainpatVAqes5ovqDYuVLjE
XFB9aw4TACrKEXyYLAt0XQoUXSYQifQ7UdlNEKw36IeHcQ38LZQEybqnMEkDO3VY
LfoUONdyNkrpgGLfFUpseN2NEiXx5Z00EZKJk5dbGHzglHzbQKMr14tV9+B0RTE=
=KZom
-----END PGP SIGNATURE-----
**********************************************************
*
* 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] Call For Participation: SWAT 2014 in Copenhagen!
CALL FOR PARTICIPATION: SWAT 2014
-------------------------------------------
14th Scandinavian Symposium and Workshops on Algorithm Theory
http://algolog.compute.dtu.dk/swat2014/
July 2-4 2014
Copenhagen, Denmark
-------------------------------------------
This year in July, SWAT will be hosted in Copenhagen, Denmark. The symposium,
which alternates with the Algorithms and Data Structures Symposium (WADS),
is a forum for researchers in the area of design and analysis of algorithms
and data structures. We hope to see as many as possible of our wonderful colleagues!
SWAT 2014 is held in Copenhagen, where several other interesting events that
might be of interest take place in the same period (details on the website):
- SEA 2014 takes place immediately before SWAT 2014
- ICALP 2014 takes place just after SWAT 2014
- Copenhagen Jazz Festival (with free music all over the city)
begins on the final day of SWAT 2014.
REGISTRATION
Registration is open on the website: http://algolog.compute.dtu.dk/swat2014/
Early registration: *** Until May 18, 2014 ***
Regular: 340 Euro, Student: 280 Euro
Late registration: *** From May 19, 2014 ***
Regular: 440 Euro, Student: 380 Euro
ACCEPTED PAPERS
http://algolog.compute.dtu.dk/swat2014/accepted.html
KEYNOTE SPEAKERS
Carsten Thomassen, Technical University of Denmark
Nikhil Bansal, Eindhoven University of Technology
Mikkel Thorup, University of Copenhagen
FURTHER INFORMATION AND CONTACTS
W: http://algolog.compute.dtu.dk/swat2014/
E: inge@dtu.dk, sovi@dtu.dk
**********************************************************
*
* 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/
*
**********************************************************
-------------------------------------------
14th Scandinavian Symposium and Workshops on Algorithm Theory
http://algolog.compute.dtu.dk/swat2014/
July 2-4 2014
Copenhagen, Denmark
-------------------------------------------
This year in July, SWAT will be hosted in Copenhagen, Denmark. The symposium,
which alternates with the Algorithms and Data Structures Symposium (WADS),
is a forum for researchers in the area of design and analysis of algorithms
and data structures. We hope to see as many as possible of our wonderful colleagues!
SWAT 2014 is held in Copenhagen, where several other interesting events that
might be of interest take place in the same period (details on the website):
- SEA 2014 takes place immediately before SWAT 2014
- ICALP 2014 takes place just after SWAT 2014
- Copenhagen Jazz Festival (with free music all over the city)
begins on the final day of SWAT 2014.
REGISTRATION
Registration is open on the website: http://algolog.compute.dtu.dk/swat2014/
Early registration: *** Until May 18, 2014 ***
Regular: 340 Euro, Student: 280 Euro
Late registration: *** From May 19, 2014 ***
Regular: 440 Euro, Student: 380 Euro
ACCEPTED PAPERS
http://algolog.compute.dtu.dk/swat2014/accepted.html
KEYNOTE SPEAKERS
Carsten Thomassen, Technical University of Denmark
Nikhil Bansal, Eindhoven University of Technology
Mikkel Thorup, University of Copenhagen
FURTHER INFORMATION AND CONTACTS
W: http://algolog.compute.dtu.dk/swat2014/
E: inge@dtu.dk, sovi@dtu.dk
**********************************************************
*
* 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, May 5, 2014
from Dieter van Melkebeek: Conference on Computational Complexity - request for volunteers, sponsoring & organizational meeting
Dear TheoryNetter,
As you may know, after a discussion period and a recent poll (see
http://computationalcomplexity.org/forum), the steering committee of the
Conference on Computational Complexity (CCC) is unanimously in favor of
CCC becoming an independent conference provided that
(i) enough people are willing to make a commitment and help with this
endeavor, and
(ii) we can gather the required startup funds.
VOLUNTEERING
Among other things we need volunteers for the following:
- setting up the conference: creating a non-profit organization, other
potential legal issues, insurance, banking, sponsoring, proceedings,
registration, record keeping;
- serving on the executive committee of the independent conference;
- local organization for conferences in the near future.
If you are willing to help, please let us know and be as specific as
possible.
START-UP FUNDS
We'd like to get an idea of how much funding we'd be able to collect.
We're considering two types:
- Funds that would be used to bootstrap the conference and are
intended to be returned within three years. If you would be willing to
contribute to this fund, please tell us how much.
- Permanent donations. If you know of contacts for possible donors
(labs, institutions), please let us know.
Ultimately we need about $50K in the bank.
ORGANIZATIONAL MEETING
If we decide to become independent, we'd set up an organizational
meeting the day before and/or after CCC'14 in Vancouver, i.e., Tuesday
6/10 and/or Saturday 6/14. If you are volunteering as above, please
include in your response the following:
- Would you be able to attend on Tuesday 6/10: Y/N
- Would you be able to attend on Saturday 6/14: Y/N
Please send your response by May 8 to dieter@cs.wisc.edu.
Thanks for your consideration!
-- Dieter van Melkebeek
Chair of the CCC steering committee
As you may know, after a discussion period and a recent poll (see
http://computationalcomplexity.org/forum), the steering committee of the
Conference on Computational Complexity (CCC) is unanimously in favor of
CCC becoming an independent conference provided that
(i) enough people are willing to make a commitment and help with this
endeavor, and
(ii) we can gather the required startup funds.
VOLUNTEERING
Among other things we need volunteers for the following:
- setting up the conference: creating a non-profit organization, other
potential legal issues, insurance, banking, sponsoring, proceedings,
registration, record keeping;
- serving on the executive committee of the independent conference;
- local organization for conferences in the near future.
If you are willing to help, please let us know and be as specific as
possible.
START-UP FUNDS
We'd like to get an idea of how much funding we'd be able to collect.
We're considering two types:
- Funds that would be used to bootstrap the conference and are
intended to be returned within three years. If you would be willing to
contribute to this fund, please tell us how much.
- Permanent donations. If you know of contacts for possible donors
(labs, institutions), please let us know.
Ultimately we need about $50K in the bank.
ORGANIZATIONAL MEETING
If we decide to become independent, we'd set up an organizational
meeting the day before and/or after CCC'14 in Vancouver, i.e., Tuesday
6/10 and/or Saturday 6/14. If you are volunteering as above, please
include in your response the following:
- Would you be able to attend on Tuesday 6/10: Y/N
- Would you be able to attend on Saturday 6/14: Y/N
Please send your response by May 8 to dieter@cs.wisc.edu.
Thanks for your consideration!
-- Dieter van Melkebeek
Chair of the CCC steering committee
[DMANET] DISC 2014: Final CFP, extended deadlines
(Apologies for crosspostings)
The DISC deadlines have been extended by a few days (see below). This
gives all authors an additional week-end to polish their submissions,
and it adds a few days between the PODC camera-ready deadline and the
DISC submission deadline. Note that there will not be an additional
deadline extension and all deadlines are firm (abstract registration
by May 14 is mandatory in order to be able to submit a paper).
------------------------------------------------------------------------
CALL FOR PAPERS
- DISC 2014 -
The 28th International Symposium on Distributed Computing
October 12-15, 2014
Austin TX, USA
http://www.disc-conference.org/wp/disc2014
------------------------------------------------------------------------
------------------------------------------------------------------------
DISC is the International Symposium on Distributed Computing, organized
in cooperation with the European Association for Theoretical Computer
Science (EATCS).
Important Dates
---------------
Abstract Registration: May 14, 2014 (extended)
Paper Submission: May 18, 2014 (extended)
Notification: July 12, 2014 (extended)
Camera-Ready Submission: August 5, 2014
Conference: October 12-15, 2014
Submission Link
---------------
http://www.easychair.org/conferences/?conf=disc2014
Scope
-----
Original contributions to theory, design, implementation, modeling,
analysis, or application of distributed systems and networks are
solicited. Topics of interest include, but are not limited to:
- Distributed algorithms; correctness and complexity
- Concurrency, synchronization, and transactional memory
- Distributed operating systems, middleware, database systems
- Self-stabilizing, self-organizing, and autonomic systems
- Wireless, mobile, sensor and ad-hoc networks
- Fault tolerance, reliability, availability
- Game-theoretic approaches to distributed computing
- Specification, verification, and testing: tools, methodologies
- Networks: protocols, architectures, services, applications
- Multiprocessor and multicore architectures and algorithms
- Security in distributed computing, cryptographic protocols
- Distributed computing issues in the Internet and the Web
- Cloud and peer-to-peer computing
- Mobile agents and autonomous robots
------------------------------------------------------------------------
Program Committee
-----------------
James Aspnes, Yale University, USA
Hagit Attiya, Technion, Israel
Chen Avin, Ben Gurion University, Israel
Shiri Chechik, Microsoft Research SVC, USA
Faith Ellen, University of Toronto, Canada
Vijay Garg, University of Texas, Austin, USA
George Giakkoupis, INRIA Rennes, France
Seth Gilbert, National University of Singapore
Rachid Guerraoui, EPFL, Switzerland
Bernhard Haeupler, Microsoft Research SVC, USA
Danny Hendler, Ben Gurion University, Israel
Majid Khabbazian, University of Alberta, Canada
Fabian Kuhn (chair), University of Freiburg, Germany
Christoph Lenzen, MIT, USA
Victor Luchangco, Oracle Labs, USA
Dahlia Malkhi, Microsoft Research SVC, USA
Thomas Moscibroda, Microsoft Research Asia, China
Yoram Moses, Technion, Israel
Danupon Nanongkai, Brown University, USA
Boaz Patt-Shamir, Tel Aviv University, Israel
Andrzej Pelc, University of Quebec, Canada
Jared Saia, University of New Mexico, USA
Thomas Sauerwald, Max Planck Institute, Germany
Christian Schindelhauer, University of Freiburg, Germany
Jukka Suomela, Aalto University, Finland
Sebastien Tixeuil, UPMC Sorbonne University, France
Organization Committee
----------------------
Chen Avin (publicity), Ben Gurion University, Israel
Sebastian Daum (publicity), University of Freiburg, Germany
Mohamed Gouda (general chair), University of Texas, Austin
Alessia Milani (workshops/tutorials), LaBRI, France
Corentin Travers (workshops/tutorials), LaBRI, France
Steering Committee
------------------
Marcos Aguilera, Microsoft Research SVC, USA
Yehuda Afek, Tel Aviv University, Israel
Keren Censor-Hillel, Technion, Israel
Shlomi Dolev, Ben Gurion University, Israel
Antonio Fernandez Anta (chair), IMDEA Netw., Spain
Fabian Kuhn, University Freiburg, Germany
Achour Mostefaoui, University Nantes, France
------------------------------------------------------------------------
Submission
----------
Papers are to be submitted electronically, following the guidelines on
the conference web page. Submissions must be in English, in .ps or .pdf
format, and begin with a cover page (not a cover letter) including:
(1) title,
(2) authors' names and affiliations,
(3) contact author's postal and email address,
(4) a short abstract of the paper,
(5) indication of whether this is a regular paper or a brief
announcement, and
(6) indication of whether the paper is eligible for best student paper
award.
A submission for a regular presentation must report on original research
that has not previously appeared, and has not been concurrently
submitted to a journal or conference with published proceedings. Any
overlap with a published or concurrently submitted paper must be clearly
indicated. A regular submission must not exceed 10 single-column pages
using at least 11 point font on letter paper (excluding cover page and
references). Authors are expected to include all the ideas necessary for
an expert to verify the central claims in the paper. If necessary, the
details may appear in a clearly marked appendix, which will be read at
the discretion of the program committee.
A brief announcement submission must not exceed 3 pages in the same
format. It is permissible for the material in brief announcements to be
published in other conferences. Submissions not conforming to these
rules and papers outside of the scope of the conference will be rejected
without consideration. If requested by the authors on the cover page, a
regular submission that is not selected for a regular presentation can
be considered for the brief announcement format. Such a request will not
affect consideration of the paper for a regular presentation.
Publication
-----------
The proceedings will be published as a volume in the ARCoSS Springer
Lecture Notes in Computer Science series. Camera-ready versions of
accepted papers must be submitted in the LNCS format.
Awards
------
Awards will be given to the best paper and the best student paper. To be
eligible for the best student paper award at least one of the paper
authors must be a full-time student at the time of submission, and the
student(s) must have made a significant contribution to the paper.
**********************************************************
*
* 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 DISC deadlines have been extended by a few days (see below). This
gives all authors an additional week-end to polish their submissions,
and it adds a few days between the PODC camera-ready deadline and the
DISC submission deadline. Note that there will not be an additional
deadline extension and all deadlines are firm (abstract registration
by May 14 is mandatory in order to be able to submit a paper).
------------------------------------------------------------------------
CALL FOR PAPERS
- DISC 2014 -
The 28th International Symposium on Distributed Computing
October 12-15, 2014
Austin TX, USA
http://www.disc-conference.org/wp/disc2014
------------------------------------------------------------------------
------------------------------------------------------------------------
DISC is the International Symposium on Distributed Computing, organized
in cooperation with the European Association for Theoretical Computer
Science (EATCS).
Important Dates
---------------
Abstract Registration: May 14, 2014 (extended)
Paper Submission: May 18, 2014 (extended)
Notification: July 12, 2014 (extended)
Camera-Ready Submission: August 5, 2014
Conference: October 12-15, 2014
Submission Link
---------------
http://www.easychair.org/conferences/?conf=disc2014
Scope
-----
Original contributions to theory, design, implementation, modeling,
analysis, or application of distributed systems and networks are
solicited. Topics of interest include, but are not limited to:
- Distributed algorithms; correctness and complexity
- Concurrency, synchronization, and transactional memory
- Distributed operating systems, middleware, database systems
- Self-stabilizing, self-organizing, and autonomic systems
- Wireless, mobile, sensor and ad-hoc networks
- Fault tolerance, reliability, availability
- Game-theoretic approaches to distributed computing
- Specification, verification, and testing: tools, methodologies
- Networks: protocols, architectures, services, applications
- Multiprocessor and multicore architectures and algorithms
- Security in distributed computing, cryptographic protocols
- Distributed computing issues in the Internet and the Web
- Cloud and peer-to-peer computing
- Mobile agents and autonomous robots
------------------------------------------------------------------------
Program Committee
-----------------
James Aspnes, Yale University, USA
Hagit Attiya, Technion, Israel
Chen Avin, Ben Gurion University, Israel
Shiri Chechik, Microsoft Research SVC, USA
Faith Ellen, University of Toronto, Canada
Vijay Garg, University of Texas, Austin, USA
George Giakkoupis, INRIA Rennes, France
Seth Gilbert, National University of Singapore
Rachid Guerraoui, EPFL, Switzerland
Bernhard Haeupler, Microsoft Research SVC, USA
Danny Hendler, Ben Gurion University, Israel
Majid Khabbazian, University of Alberta, Canada
Fabian Kuhn (chair), University of Freiburg, Germany
Christoph Lenzen, MIT, USA
Victor Luchangco, Oracle Labs, USA
Dahlia Malkhi, Microsoft Research SVC, USA
Thomas Moscibroda, Microsoft Research Asia, China
Yoram Moses, Technion, Israel
Danupon Nanongkai, Brown University, USA
Boaz Patt-Shamir, Tel Aviv University, Israel
Andrzej Pelc, University of Quebec, Canada
Jared Saia, University of New Mexico, USA
Thomas Sauerwald, Max Planck Institute, Germany
Christian Schindelhauer, University of Freiburg, Germany
Jukka Suomela, Aalto University, Finland
Sebastien Tixeuil, UPMC Sorbonne University, France
Organization Committee
----------------------
Chen Avin (publicity), Ben Gurion University, Israel
Sebastian Daum (publicity), University of Freiburg, Germany
Mohamed Gouda (general chair), University of Texas, Austin
Alessia Milani (workshops/tutorials), LaBRI, France
Corentin Travers (workshops/tutorials), LaBRI, France
Steering Committee
------------------
Marcos Aguilera, Microsoft Research SVC, USA
Yehuda Afek, Tel Aviv University, Israel
Keren Censor-Hillel, Technion, Israel
Shlomi Dolev, Ben Gurion University, Israel
Antonio Fernandez Anta (chair), IMDEA Netw., Spain
Fabian Kuhn, University Freiburg, Germany
Achour Mostefaoui, University Nantes, France
------------------------------------------------------------------------
Submission
----------
Papers are to be submitted electronically, following the guidelines on
the conference web page. Submissions must be in English, in .ps or .pdf
format, and begin with a cover page (not a cover letter) including:
(1) title,
(2) authors' names and affiliations,
(3) contact author's postal and email address,
(4) a short abstract of the paper,
(5) indication of whether this is a regular paper or a brief
announcement, and
(6) indication of whether the paper is eligible for best student paper
award.
A submission for a regular presentation must report on original research
that has not previously appeared, and has not been concurrently
submitted to a journal or conference with published proceedings. Any
overlap with a published or concurrently submitted paper must be clearly
indicated. A regular submission must not exceed 10 single-column pages
using at least 11 point font on letter paper (excluding cover page and
references). Authors are expected to include all the ideas necessary for
an expert to verify the central claims in the paper. If necessary, the
details may appear in a clearly marked appendix, which will be read at
the discretion of the program committee.
A brief announcement submission must not exceed 3 pages in the same
format. It is permissible for the material in brief announcements to be
published in other conferences. Submissions not conforming to these
rules and papers outside of the scope of the conference will be rejected
without consideration. If requested by the authors on the cover page, a
regular submission that is not selected for a regular presentation can
be considered for the brief announcement format. Such a request will not
affect consideration of the paper for a regular presentation.
Publication
-----------
The proceedings will be published as a volume in the ARCoSS Springer
Lecture Notes in Computer Science series. Camera-ready versions of
accepted papers must be submitted in the LNCS format.
Awards
------
Awards will be given to the best paper and the best student paper. To be
eligible for the best student paper award at least one of the paper
authors must be a full-time student at the time of submission, and the
student(s) must have made a significant contribution to the paper.
**********************************************************
*
* Contributions to be spread via DMANET are submitted to
*
* DMANET@zpr.uni-koeln.de
*
* Replies to a message carried on DMANET should NOT be
* addressed to DMANET but to the original sender. The
* original sender, however, is invited to prepare an
* update of the replies received and to communicate it
* via DMANET.
*
* DISCRETE MATHEMATICS AND ALGORITHMS NETWORK (DMANET)
* http://www.zaik.uni-koeln.de/AFS/publications/dmanet/
*
**********************************************************
Sunday, May 4, 2014
[DMANET] Deadline Approaching (May 30), 9th DATA PRIVACY MANAGEMENT workshop, co-located with ESORICS 2014, LNCS proceedings, Wroclaw, Poland
[Apologies if you receive multiple copies of this message]
========================================================================
Call for Papers
DPM 2014, 9th International Workshop on
DATA PRIVACY MANAGEMENT,
http://deic.uab.cat/conferences/dpm/dpm2014/
Wroclaw, Poland, September 10-11, 2014
(co-located with ESORICS'2014)
Springer LNCS Proceedings
========================================================================
========================================================================
Important Dates
* Paper Submission Deadline: May 30, 2014
* Acceptance Notification: July 11, 2014
* Camera Ready Version: August 14, 2014
========================================================================
Scope: Organizations are increasingly concerned about the privacy of
information that they manage (several people have filed lawsuits
against organizations violating the privacy of customer's data). Thus,
the management of privacy-sensitive information is very critical and
important for every organization. This poses several challenging
problems, such as how to translate the high-level business goals into
system-level privacy policies, administration of privacy-sensitive
data, privacy data integration and engineering, privacy access control
mechanisms, information-oriented security, and query execution on
privacy-sensitive data for partial answers.
Topics: The aim of this workshop is to discuss and exchange the ideas
related to privacy data management. We invite papers from researchers
and practitioners working in privacy, security, trustworthy data
systems and related areas to submit their original papers in this
workshop. The main topics, but not limited to, include:
* Privacy Information Management
* Privacy Policy-based Infrastructures and Architectures
* Privacy-oriented Access Control Languages and Models
* Privacy in Trust Management
* Privacy in Digital Currencies
* Privacy Data Integration
* Privacy Risk Assessment and Assurance
* Privacy Services
* Cryptography and Cryptanalysis
* Privacy Policy Analysis
* Query Execution over Privacy Sensitive Data
* Privacy Preserving Data Mining
* Hippocratic and Water-marking Databases
* Privacy for Integrity-based Computing
* Privacy Monitoring and Auditing
* Privacy in Social Networks
* Privacy in Ambient Intelligence (AmI) Applications
* Individual Privacy vs. Corporate/National Security
* Privacy in computer networks
* Privacy and RFIDs
* Privacy and Big Data
* Privacy in sensor networks
========================================================================
Submission guidelines: Papers should be at most 15 pages (using
11-point font), excluding the bibliography and well-marked appendices.
Committee members are not required to read the appendices, so the
paper should be intelligible without them. All submissions must be
written in English.
Authors must submit their papers by the deadline indicated below,
using the EasyChair web site (at easychair.org/conferences/?conf=dpm2014)
and following the requirements stated there.
The submitted paper (in PDF format) should follow the template
indicated by Springer (see http://springer.de/comp/lncs/authors.html).
It must start with a title, a short abstract, names and affiliations
of the authors, and a list of keywords.
All papers will be refereed. Accepted papers should be presented at
the Workshop. At least one author of each accepted paper must register
to the workshop, by the early date indicated by the organizers, and
present the paper.
The proceedings will be published in a volume of Lecture Notes in
Computer Science (Springer-Verlag).
Submissions by PhD students as well as controversial ideas are
encouraged. Case studies (successful or not) are also encouraged.
It is expected that extended and revised version of the best papers
from the workshop will be considered for international journal special
========================================================================
General Chairs:
* Jordi Castella-Roca (Universitat Rovira i Virgili)
Program Committee Chairs:
* Joaquin Garcia-Alfaro (Telecom SudParis)
* Jordi Herrera-Joancomarti (Universitat Autonoma de Barcelona)
Program Committee:
* Rainer Bohme (University of Munster, Germany)
* Ana Cavalli (Telecom SudParis, France)
* Frederic Cuppens (Telecom Bretagne, France)
* Nora Cuppens (Telecom Bretagne, France)
* Josep Domingo-Ferrer (Universitat Rovira i Virgili, Catalonia)
* Christian Duncan (Quinnipiac University, USA)
* Nicola Dragoni (Technical University of Denmark, Denmark)
* David Evans (University of Derby, UK)
* Sara Foresti (University of Milan, Italy)
* Sebastien Gambs (University of Rennes 1, France)
* Flavio D. Garcia (Radboud University Nijmegen, The Netherlands)
* Paolo Gasti (New York Institute of Technology, USA)
* Stefanos Gritzalis (University of the Aegean, Greece)
* Marit Hansen (Unabhangiges Landeszentrum fur Datenschutz, Germany)
* Artur Hecker (Telecom ParisTech, France)
* Sokratis Katsikas (University of Piraeus, Greece)
* Evangelos Kranakis (Carleton University, Canada)
* Pascal Lafourcade (Joseph Fourier University, France)
* Maryline Laurent (Telecom SudParis, France)
* Georgios Lioudakis (National Technical University of Athens, Greece)
* Giovanni Livraga (University of Milan, Italy)
* Javier Lopez (University of Malaga, Spain)
* Sotirios Maniatis (Hellenic Authority for Communications Privacy, Greece)
* Refik Molva (EURECOM, France)
* Guillermo Navarro-Arribas (Universitat Autonoma de Barcelona, Catalonia)
* Melek Onen (EURECOM, France)
* Cristina Perez-Sola (Autonomous University of Barcelona, Catalonia)
* Silvio Ranise (FBK, Security and Trust Unit, Trento)
* Yves Roudier (EURECOM, France)
* Mark Ryan (University of Birmingham, UK)
* Pierangela Samarati (University of Milan, Italy)
* David Sanchez (Universitat Rovira i Virgili, Catalonia)
* Claudio Soriente (ETH Zurich, Switzerland)
* Alessandro Sorniotti (IBM Research, Switzerland)
* Vicenc Torra (Artificial Intelligence Research Institute, Catalonia)
* Alexandre Viejo (Universitat Rovira i Virgili, Catalonia)
* Jens Weber (University of Victoria, Canada)
* Lena Wiese (University of Gottingen, Germany)
* Nicola Zannone (Eindhoven University of Technology, The Netherlands)
=======================================
FURTHER INFORMATION
=======================================
Additional information about paper submission and conference topics and
events can be found at the DPM'2014 web site:
http://deic.uab.cat/conferences/dpm/dpm2014/
**********************************************************
*
* 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
DPM 2014, 9th International Workshop on
DATA PRIVACY MANAGEMENT,
http://deic.uab.cat/conferences/dpm/dpm2014/
Wroclaw, Poland, September 10-11, 2014
(co-located with ESORICS'2014)
Springer LNCS Proceedings
========================================================================
========================================================================
Important Dates
* Paper Submission Deadline: May 30, 2014
* Acceptance Notification: July 11, 2014
* Camera Ready Version: August 14, 2014
========================================================================
Scope: Organizations are increasingly concerned about the privacy of
information that they manage (several people have filed lawsuits
against organizations violating the privacy of customer's data). Thus,
the management of privacy-sensitive information is very critical and
important for every organization. This poses several challenging
problems, such as how to translate the high-level business goals into
system-level privacy policies, administration of privacy-sensitive
data, privacy data integration and engineering, privacy access control
mechanisms, information-oriented security, and query execution on
privacy-sensitive data for partial answers.
Topics: The aim of this workshop is to discuss and exchange the ideas
related to privacy data management. We invite papers from researchers
and practitioners working in privacy, security, trustworthy data
systems and related areas to submit their original papers in this
workshop. The main topics, but not limited to, include:
* Privacy Information Management
* Privacy Policy-based Infrastructures and Architectures
* Privacy-oriented Access Control Languages and Models
* Privacy in Trust Management
* Privacy in Digital Currencies
* Privacy Data Integration
* Privacy Risk Assessment and Assurance
* Privacy Services
* Cryptography and Cryptanalysis
* Privacy Policy Analysis
* Query Execution over Privacy Sensitive Data
* Privacy Preserving Data Mining
* Hippocratic and Water-marking Databases
* Privacy for Integrity-based Computing
* Privacy Monitoring and Auditing
* Privacy in Social Networks
* Privacy in Ambient Intelligence (AmI) Applications
* Individual Privacy vs. Corporate/National Security
* Privacy in computer networks
* Privacy and RFIDs
* Privacy and Big Data
* Privacy in sensor networks
========================================================================
Submission guidelines: Papers should be at most 15 pages (using
11-point font), excluding the bibliography and well-marked appendices.
Committee members are not required to read the appendices, so the
paper should be intelligible without them. All submissions must be
written in English.
Authors must submit their papers by the deadline indicated below,
using the EasyChair web site (at easychair.org/conferences/?conf=dpm2014)
and following the requirements stated there.
The submitted paper (in PDF format) should follow the template
indicated by Springer (see http://springer.de/comp/lncs/authors.html).
It must start with a title, a short abstract, names and affiliations
of the authors, and a list of keywords.
All papers will be refereed. Accepted papers should be presented at
the Workshop. At least one author of each accepted paper must register
to the workshop, by the early date indicated by the organizers, and
present the paper.
The proceedings will be published in a volume of Lecture Notes in
Computer Science (Springer-Verlag).
Submissions by PhD students as well as controversial ideas are
encouraged. Case studies (successful or not) are also encouraged.
It is expected that extended and revised version of the best papers
from the workshop will be considered for international journal special
========================================================================
General Chairs:
* Jordi Castella-Roca (Universitat Rovira i Virgili)
Program Committee Chairs:
* Joaquin Garcia-Alfaro (Telecom SudParis)
* Jordi Herrera-Joancomarti (Universitat Autonoma de Barcelona)
Program Committee:
* Rainer Bohme (University of Munster, Germany)
* Ana Cavalli (Telecom SudParis, France)
* Frederic Cuppens (Telecom Bretagne, France)
* Nora Cuppens (Telecom Bretagne, France)
* Josep Domingo-Ferrer (Universitat Rovira i Virgili, Catalonia)
* Christian Duncan (Quinnipiac University, USA)
* Nicola Dragoni (Technical University of Denmark, Denmark)
* David Evans (University of Derby, UK)
* Sara Foresti (University of Milan, Italy)
* Sebastien Gambs (University of Rennes 1, France)
* Flavio D. Garcia (Radboud University Nijmegen, The Netherlands)
* Paolo Gasti (New York Institute of Technology, USA)
* Stefanos Gritzalis (University of the Aegean, Greece)
* Marit Hansen (Unabhangiges Landeszentrum fur Datenschutz, Germany)
* Artur Hecker (Telecom ParisTech, France)
* Sokratis Katsikas (University of Piraeus, Greece)
* Evangelos Kranakis (Carleton University, Canada)
* Pascal Lafourcade (Joseph Fourier University, France)
* Maryline Laurent (Telecom SudParis, France)
* Georgios Lioudakis (National Technical University of Athens, Greece)
* Giovanni Livraga (University of Milan, Italy)
* Javier Lopez (University of Malaga, Spain)
* Sotirios Maniatis (Hellenic Authority for Communications Privacy, Greece)
* Refik Molva (EURECOM, France)
* Guillermo Navarro-Arribas (Universitat Autonoma de Barcelona, Catalonia)
* Melek Onen (EURECOM, France)
* Cristina Perez-Sola (Autonomous University of Barcelona, Catalonia)
* Silvio Ranise (FBK, Security and Trust Unit, Trento)
* Yves Roudier (EURECOM, France)
* Mark Ryan (University of Birmingham, UK)
* Pierangela Samarati (University of Milan, Italy)
* David Sanchez (Universitat Rovira i Virgili, Catalonia)
* Claudio Soriente (ETH Zurich, Switzerland)
* Alessandro Sorniotti (IBM Research, Switzerland)
* Vicenc Torra (Artificial Intelligence Research Institute, Catalonia)
* Alexandre Viejo (Universitat Rovira i Virgili, Catalonia)
* Jens Weber (University of Victoria, Canada)
* Lena Wiese (University of Gottingen, Germany)
* Nicola Zannone (Eindhoven University of Technology, The Netherlands)
=======================================
FURTHER INFORMATION
=======================================
Additional information about paper submission and conference topics and
events can be found at the DPM'2014 web site:
http://deic.uab.cat/conferences/dpm/dpm2014/
**********************************************************
*
* 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: The 17th Korea-Japan Joint Workshop on Algorithms and Computation
****************************************************************************
Call for Papers
The 17th Korea-Japan Joint Workshop on Algorithms and Computation
(WAAC 2014)
July 13-15, 2014
Okinawa Convention Center
http://dopal.cs.uec.ac.jp/waac14/
****************************************************************************
The aim of this workshop is to provide a forum for researchers working
on algorithms and the theory of computation, to promote the exchange
of recent results, to foster new collaborations among
researchers. Historically, the workshop has established for the
purpose of collaboration of researchers of Japan and Korea; however,
participation from any country is welcome.
The workshop is organized by the Special Interest Group on Algorithms
(SIGAL) of the Information Processing Society of Japan and the Special
Interest Group on Theoretical Computer Science (SIGTCS) of the Korean
Institute of Information Scientists and Engineers (KIISE).
Topics
- Automata, languages and computability
- Algorithms (combinatorial/graph/geometric/randomized)
- VLSI and parallel algorithms
- Networks and distributed algorithms
- Learning theory and data mining
- Number theory and cryptography
- Graph drawing and visualization
- Computational logic
- Combinatorics and optimization
Important Dates
- Paper submission deadline: May 25, 2014
- Notification of acceptance: June 7, 2014
- Final version submission: June 20, 2014
- Conference: July 13-15, 2014
Submission
Authors are invited to submit papers up to 8 pages in English via the
EasyChair submission system no later than May 25, 2014. Follow the URL
https://www.easychair.org/conferences/?conf=waac2014
Page Style and Limit
The paper must be written in English. The camera-ready version must be
printed to fit A4 size sheet. It cannot exceed 8 pages including the
title page. The first page should contain the title, authors,
affiliations, addresses (including authors' e-mail addresses), and
abstract.
Proceedings
The proceedings will be available at the conference site. Since the
proceeding is only distributed at the workshop, the submission of
preliminary material that is to be submitted to or extended material
to appear in other international conferences or journals is allowed
and encouraged.
PC Chairs
Sung-Ryul Kim (Konkuk University, Korea)
Ryuhei Uehara (JAIST, Japan)
Program Committee
Jinhee Chun (Tohoku Univ., Japan)
Sung-Ryul Kim (Konkuk University, Korea; Chair)
Yoshio Okamoto (Univ. Electro-Comm., Japan)
Kei Uchizawa (Yamagata Univ., Japan)
Ryuhei Uehara (JAIST, Japan; Chair)
Yukiko Yamauchi (Kyusyu Univ., Japan)
TBA
Local organizers
Takashi Horiyama (Saitama Univ., Japan)
Yoshio Okamoto (Univ. Electro-Comm., Japan)
Yota Otachi (JAIST, Japan)
Yukiko Yamauchi (Kyusyu Univ., Japan)
Kei Uchizawa (Yamagata Univ., Japan)
Ryuhei Uehara (JAIST, Japan)
Invited Speakers
Takeshi Tokuyama (Tohoku Univ., Japan)
TBA
More Information
Web page: http://dopal.cs.uec.ac.jp/waac14/
Contact email address: waac14@jaist.ac.jp
Okinawa Convention Center: http://www.oki-conven.jp/
**********************************************************
*
* 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
The 17th Korea-Japan Joint Workshop on Algorithms and Computation
(WAAC 2014)
July 13-15, 2014
Okinawa Convention Center
http://dopal.cs.uec.ac.jp/waac14/
****************************************************************************
The aim of this workshop is to provide a forum for researchers working
on algorithms and the theory of computation, to promote the exchange
of recent results, to foster new collaborations among
researchers. Historically, the workshop has established for the
purpose of collaboration of researchers of Japan and Korea; however,
participation from any country is welcome.
The workshop is organized by the Special Interest Group on Algorithms
(SIGAL) of the Information Processing Society of Japan and the Special
Interest Group on Theoretical Computer Science (SIGTCS) of the Korean
Institute of Information Scientists and Engineers (KIISE).
Topics
- Automata, languages and computability
- Algorithms (combinatorial/graph/geometric/randomized)
- VLSI and parallel algorithms
- Networks and distributed algorithms
- Learning theory and data mining
- Number theory and cryptography
- Graph drawing and visualization
- Computational logic
- Combinatorics and optimization
Important Dates
- Paper submission deadline: May 25, 2014
- Notification of acceptance: June 7, 2014
- Final version submission: June 20, 2014
- Conference: July 13-15, 2014
Submission
Authors are invited to submit papers up to 8 pages in English via the
EasyChair submission system no later than May 25, 2014. Follow the URL
https://www.easychair.org/conferences/?conf=waac2014
Page Style and Limit
The paper must be written in English. The camera-ready version must be
printed to fit A4 size sheet. It cannot exceed 8 pages including the
title page. The first page should contain the title, authors,
affiliations, addresses (including authors' e-mail addresses), and
abstract.
Proceedings
The proceedings will be available at the conference site. Since the
proceeding is only distributed at the workshop, the submission of
preliminary material that is to be submitted to or extended material
to appear in other international conferences or journals is allowed
and encouraged.
PC Chairs
Sung-Ryul Kim (Konkuk University, Korea)
Ryuhei Uehara (JAIST, Japan)
Program Committee
Jinhee Chun (Tohoku Univ., Japan)
Sung-Ryul Kim (Konkuk University, Korea; Chair)
Yoshio Okamoto (Univ. Electro-Comm., Japan)
Kei Uchizawa (Yamagata Univ., Japan)
Ryuhei Uehara (JAIST, Japan; Chair)
Yukiko Yamauchi (Kyusyu Univ., Japan)
TBA
Local organizers
Takashi Horiyama (Saitama Univ., Japan)
Yoshio Okamoto (Univ. Electro-Comm., Japan)
Yota Otachi (JAIST, Japan)
Yukiko Yamauchi (Kyusyu Univ., Japan)
Kei Uchizawa (Yamagata Univ., Japan)
Ryuhei Uehara (JAIST, Japan)
Invited Speakers
Takeshi Tokuyama (Tohoku Univ., Japan)
TBA
More Information
Web page: http://dopal.cs.uec.ac.jp/waac14/
Contact email address: waac14@jaist.ac.jp
Okinawa Convention Center: http://www.oki-conven.jp/
**********************************************************
*
* 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] Final call for submissions LaSh 2014
[apologies for any cross-posting]
================================================================
WORKSHOP ON LOGIC AND SEARCH - LaSh 2014
Representing and Solving Computational Search Problems
Final Call For Submissions
With Revised Submission Deadline (May 15), Final PC, Confirmed Speakers
Vienna, Austria, July 18, 2014
http://vsl2014.at/lash/
A FLoC 2014 Workshop, Associated with SAT and ICLP
OVERVIEW
The purpose of the LaSh workshops is to foster scientific exchange on
subjects related to languages for representing, and methods for solving,
computationally challenging search problems. The scope includes study of
relevant logics, algorithms, and logic-based systems, and also study of
other languages and systems from the viewpoint of logic, broadly construed.
Hard combinatorial search and optimization problems abound in science,
engineering, and other areas. Examples include planning, scheduling and
configuration problems. Several communities have developed general purpose
solving technologies for such problems, supported by declarative modelling
or specification languages. These include answer set programming (ASP)
from knowledge representation (KR), constraint solvers and modelling languages
from constraint programming (CP), and integer linear programming (ILP) solvers
and algebraic modelling languages from mathematical programming. Other
relevant areas include propositional satisfiability (SAT), satisfiability
modulo theories (SMT), and representation languages based on classical
logic and FO(ID).
Differences in emphasis notwithstanding, these share the same purpose.
Indeed, there are many similarities in solving technologies, and increasing
exchange between the areas both in solving and representational issues.
>From a logical point of view, whether a given language or system is
described in logical terms or not, we have languages which define some
class of structures, and systems whose purpose is to compute structures
in the class. Logic may be seen as an explicit basis for building systems,
as an analytic tool, or as a formal approach to viewing the diversity of
systems more uniformly.
Topics of interest include, but are not limited to:
- Logics relevant to the study of search and optimization problems
- Languages for specifying or modelling search or optimization problems
- Reasoning about or with specifications of search problems
- Grounding and related language transformation methods
- Expressiveness and complexity of logics and languages
- Ground Solvers and their languages: SAT, ASP, SMT, FlatZinc, etc.
- New or extended ground solver languages: SAT+Cardinality, SAT+TC, etc.
- Design of systems, solvers, and related tools
- Approximation, tractable problem classes, etc.
- Proof systems and inference methods underlying solvers.
- Comparisons of different languages or methods
- Interesting applications, either as case studies or challenges
- Benchmark problems and instance collections
CONFIRMED SPEAKERS
Plenary: Konstantin Korovin, University of Manchester
Tomi Janhunen, Aalto University
Stefan Woltran, TU Wien
IMPORTANT DATES
Submission: May 15 (Extended)
Notification: May 21 (Revised)
Final Versions: May 27 (Revised)
Workshop: July 18
ORGANIZERS
Marc Denecker, KU Leuven
David Mitchell, Simon Fraser University
Emilia Oikarinen, Aalto University
PROGRAM COMMITTEE
David Bergman (University of Connecticut)
Marc Denecker (K.U.Leuven) - chair
Alan Frisch (University of York)
Wolfgang Faber (University of Huddersfield)
Marijn Heule (The University of Texas at Austin)
Tomi Janhunen (Aalto University)
Matti Järvisalo (University of Helsinki)
Ian Miguel (University of St Andrews)
David Mitchell (Simon Fraser University) - chair
Emilia Oikarinen (Aalto University) - chair
Shahab Tasharrofi (Simon Fraser University)
Eugenia Ternovska (Simon Fraser University)
Mirek Truszczynski (University of Kentucky)
SUBMISSION INFORMATION
To encourage communication across areas, LaSh is a non-archival meeting.
In addition to new technical work, we welcome presentation of relevant material
which has appeared at conferences area-specific meetings or general conferences,
and also position papers, challenges, system descriptions and speculative work.
**********************************************************
*
* 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/
*
**********************************************************
================================================================
WORKSHOP ON LOGIC AND SEARCH - LaSh 2014
Representing and Solving Computational Search Problems
Final Call For Submissions
With Revised Submission Deadline (May 15), Final PC, Confirmed Speakers
Vienna, Austria, July 18, 2014
http://vsl2014.at/lash/
A FLoC 2014 Workshop, Associated with SAT and ICLP
OVERVIEW
The purpose of the LaSh workshops is to foster scientific exchange on
subjects related to languages for representing, and methods for solving,
computationally challenging search problems. The scope includes study of
relevant logics, algorithms, and logic-based systems, and also study of
other languages and systems from the viewpoint of logic, broadly construed.
Hard combinatorial search and optimization problems abound in science,
engineering, and other areas. Examples include planning, scheduling and
configuration problems. Several communities have developed general purpose
solving technologies for such problems, supported by declarative modelling
or specification languages. These include answer set programming (ASP)
from knowledge representation (KR), constraint solvers and modelling languages
from constraint programming (CP), and integer linear programming (ILP) solvers
and algebraic modelling languages from mathematical programming. Other
relevant areas include propositional satisfiability (SAT), satisfiability
modulo theories (SMT), and representation languages based on classical
logic and FO(ID).
Differences in emphasis notwithstanding, these share the same purpose.
Indeed, there are many similarities in solving technologies, and increasing
exchange between the areas both in solving and representational issues.
>From a logical point of view, whether a given language or system is
described in logical terms or not, we have languages which define some
class of structures, and systems whose purpose is to compute structures
in the class. Logic may be seen as an explicit basis for building systems,
as an analytic tool, or as a formal approach to viewing the diversity of
systems more uniformly.
Topics of interest include, but are not limited to:
- Logics relevant to the study of search and optimization problems
- Languages for specifying or modelling search or optimization problems
- Reasoning about or with specifications of search problems
- Grounding and related language transformation methods
- Expressiveness and complexity of logics and languages
- Ground Solvers and their languages: SAT, ASP, SMT, FlatZinc, etc.
- New or extended ground solver languages: SAT+Cardinality, SAT+TC, etc.
- Design of systems, solvers, and related tools
- Approximation, tractable problem classes, etc.
- Proof systems and inference methods underlying solvers.
- Comparisons of different languages or methods
- Interesting applications, either as case studies or challenges
- Benchmark problems and instance collections
CONFIRMED SPEAKERS
Plenary: Konstantin Korovin, University of Manchester
Tomi Janhunen, Aalto University
Stefan Woltran, TU Wien
IMPORTANT DATES
Submission: May 15 (Extended)
Notification: May 21 (Revised)
Final Versions: May 27 (Revised)
Workshop: July 18
ORGANIZERS
Marc Denecker, KU Leuven
David Mitchell, Simon Fraser University
Emilia Oikarinen, Aalto University
PROGRAM COMMITTEE
David Bergman (University of Connecticut)
Marc Denecker (K.U.Leuven) - chair
Alan Frisch (University of York)
Wolfgang Faber (University of Huddersfield)
Marijn Heule (The University of Texas at Austin)
Tomi Janhunen (Aalto University)
Matti Järvisalo (University of Helsinki)
Ian Miguel (University of St Andrews)
David Mitchell (Simon Fraser University) - chair
Emilia Oikarinen (Aalto University) - chair
Shahab Tasharrofi (Simon Fraser University)
Eugenia Ternovska (Simon Fraser University)
Mirek Truszczynski (University of Kentucky)
SUBMISSION INFORMATION
To encourage communication across areas, LaSh is a non-archival meeting.
In addition to new technical work, we welcome presentation of relevant material
which has appeared at conferences area-specific meetings or general conferences,
and also position papers, challenges, system descriptions and speculative work.
**********************************************************
*
* 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, May 3, 2014
[DMANET] 1st CFP : Operational Research Practice in Africa Conference 2015
First Call For Papers
*ORPA'2015 : Operational Research Practice in Africa Conference 2015*
*University of Sciences and Technology Houari Boumedienne (USTHB), in
Algiers (Algeria), April 20-22, 2015*
We are pleased to give a notice of the above OR conference scheduled for
Algiers in April 2015, at the University of Sciences and Technology
Houari Boumedienne. ORPA'2015 follows on from a series of meetings
started in 2005. The conference is intended to bring academics to
discuss and present recent developments in our field, and OR
applications. A non-exhaustive list of Applied topics are : OR in
Transport and Logistic, Urban Transport Network Design, Public
Transportation Studies, Traffic Control, Multimodal Freight Network
Design, OR in Water Resources Management, Management and Control of
Delivery Water Resource, OR in Energy and Environment Management,
Renewable Energy System, Optimization in Sustainable Development, OR in
Natural Resources Management, Operational Research Models in the
Management of Agricultural Resources, Operational Research Models in the
Management of Forestry Resources, etc. These applications are
fundamentally based on theoretical OR and Optimization topics also in
the scope of the conference. A non-exhasutive list of such topics are :
Integer Programming (linear, quadratic, non-linear), Multicriteria
Optimization, Global Optimization, Stochastic Programming, Scheduling,
Facility Location Problems, etc. We also invite submissions covering
other topics related to OR for development as well as OR applications in
government and industry.
All details of the meeting are available on the conference web site :
http://orpa2015.sciencesconf.org/
*Key dates* :
October 5, 2014 : Deadline for submission of extended abstracts
January 20, 2015 : Deadline for early registration
February 20, 2015 : Deadline for conference registration
*Organizing Committee (USTHB)* :
Mohamed El-Amine CHERGUI : President
Hacène BELBACHIR
Mourad BOUDHAR
Fayçal HAMDI
Abdelkrim AÏT ZAÏ
Amina HANED
Wafaa LABBI
Karim AMROUCHE
Brahim BENMEDJDOUB
Nawel KAHOUL
Abdelhak MEZGHICHE
Mohamed Amine BOUTICHE
Mohamed YAGOUNI
*Program Committee* :
Hacène BELBACHIR, Professeur, RECITS, USTHB
Mourad BOUDHAR, Professeur, RECITS, USTHB
Jean-Charles BILLAUT, Professeur, LI, Université de Tours
James COCHRAN, Research Professor, Louisiana Tech University
Mohamed el-Amine CHERGUI, Assistant Professor, RECITS, USTHB
Serigne GUEYE, Assistant Professor, LIA, UAPV
Fayçal HAMDI, Assistant Professor, RECITS, USTHB
Hans ITTMAN, HWI Consulting, South Africa
Miloud MIHOUBI, Assistant Professor, RECITS, USTHB
Djenat SEDDIKI-MERAD, Assistant Professor, RECITS, USTHB
Ourida SADKI, Assistant Professor, RECITS, USTHB
Ridha MAHJOUB, Professor, LAMSADE, University of Paris-Dauphine
Celso RIBEIRO, Professor, Universidade Federal Fluminense
Théo STEWART, Professor, University of Capetown
Mozart MENEZES, Associate Professor, University of Calgary
Philippe MICHELON, Professor, LIA, University of Avignon
Babacar M. NDIAYE, Assistant Professor, University Cheikh Anta Diop of
Dakar
Jacques TEGHEM, Professor, Mons University
Claude YUGMA, Assistant Professor, Ecole des Mines de Saint-Etienne
*Contacts* :
orpa2015@sciencesconf.org
mchergui@usthb.dz
**********************************************************
*
* 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/
*
**********************************************************
*ORPA'2015 : Operational Research Practice in Africa Conference 2015*
*University of Sciences and Technology Houari Boumedienne (USTHB), in
Algiers (Algeria), April 20-22, 2015*
We are pleased to give a notice of the above OR conference scheduled for
Algiers in April 2015, at the University of Sciences and Technology
Houari Boumedienne. ORPA'2015 follows on from a series of meetings
started in 2005. The conference is intended to bring academics to
discuss and present recent developments in our field, and OR
applications. A non-exhaustive list of Applied topics are : OR in
Transport and Logistic, Urban Transport Network Design, Public
Transportation Studies, Traffic Control, Multimodal Freight Network
Design, OR in Water Resources Management, Management and Control of
Delivery Water Resource, OR in Energy and Environment Management,
Renewable Energy System, Optimization in Sustainable Development, OR in
Natural Resources Management, Operational Research Models in the
Management of Agricultural Resources, Operational Research Models in the
Management of Forestry Resources, etc. These applications are
fundamentally based on theoretical OR and Optimization topics also in
the scope of the conference. A non-exhasutive list of such topics are :
Integer Programming (linear, quadratic, non-linear), Multicriteria
Optimization, Global Optimization, Stochastic Programming, Scheduling,
Facility Location Problems, etc. We also invite submissions covering
other topics related to OR for development as well as OR applications in
government and industry.
All details of the meeting are available on the conference web site :
http://orpa2015.sciencesconf.org/
*Key dates* :
October 5, 2014 : Deadline for submission of extended abstracts
January 20, 2015 : Deadline for early registration
February 20, 2015 : Deadline for conference registration
*Organizing Committee (USTHB)* :
Mohamed El-Amine CHERGUI : President
Hacène BELBACHIR
Mourad BOUDHAR
Fayçal HAMDI
Abdelkrim AÏT ZAÏ
Amina HANED
Wafaa LABBI
Karim AMROUCHE
Brahim BENMEDJDOUB
Nawel KAHOUL
Abdelhak MEZGHICHE
Mohamed Amine BOUTICHE
Mohamed YAGOUNI
*Program Committee* :
Hacène BELBACHIR, Professeur, RECITS, USTHB
Mourad BOUDHAR, Professeur, RECITS, USTHB
Jean-Charles BILLAUT, Professeur, LI, Université de Tours
James COCHRAN, Research Professor, Louisiana Tech University
Mohamed el-Amine CHERGUI, Assistant Professor, RECITS, USTHB
Serigne GUEYE, Assistant Professor, LIA, UAPV
Fayçal HAMDI, Assistant Professor, RECITS, USTHB
Hans ITTMAN, HWI Consulting, South Africa
Miloud MIHOUBI, Assistant Professor, RECITS, USTHB
Djenat SEDDIKI-MERAD, Assistant Professor, RECITS, USTHB
Ourida SADKI, Assistant Professor, RECITS, USTHB
Ridha MAHJOUB, Professor, LAMSADE, University of Paris-Dauphine
Celso RIBEIRO, Professor, Universidade Federal Fluminense
Théo STEWART, Professor, University of Capetown
Mozart MENEZES, Associate Professor, University of Calgary
Philippe MICHELON, Professor, LIA, University of Avignon
Babacar M. NDIAYE, Assistant Professor, University Cheikh Anta Diop of
Dakar
Jacques TEGHEM, Professor, Mons University
Claude YUGMA, Assistant Professor, Ecole des Mines de Saint-Etienne
*Contacts* :
orpa2015@sciencesconf.org
mchergui@usthb.dz
**********************************************************
*
* 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] Special Issue of Springer CASM on Interdependent Networks: Deadline June, 14
<Apologies if you receive multiple postings>
Topic:
Interdependent Networks: Structure, Dynamics and Evolution
Not only are our interactions limited and thus best described not by
well-mixed models but rather by models entailing networks, it is also a fact
that these networks are often interconnected and indeed very much
interdependent. From the World economy to Google Circles, it is clear that
processes taking place in one network might affect what is happening in many
other networks. Within an interdependent system, each type of interaction
has certain relevance or meaning, so that treating all the links identically
inevitably leads to information loss. Interdependent or multiplex networks
are therefore a much better description of such systems, and this Special
Issue is devoted to their structure, dynamics and evolution, as well as to
the study of emergent properties in multi-layered systems in general. Topics
of interest include but are not limited to the spread of epidemics and
information, synchronization, diffusion, random walks, collective behavior
and evolutionary games on interdependent networks.
Deadline for submissions: June 30, 2014
http://www.casmodeling.com/sites/10349/pdf/A01900_DF_SO_CFP_CASModelling_web
.pdf
Springer Complex Adaptive Systems Modeling
http://www.casmodeling.com/
Waiver of Article Charges
If you have no funds to cover the Article Processing Charge (APC) and would
like to apply for a waiver of the APC, you may contact the Editor-in-Chief.
Lead guest editor:
Matjaz Perc, University of Maribor
matjaz.perc@gmail.com
Kind regards,
Muaz Niazi
Email: muaz.niazi@ieee.org, niazi@alum.bu.edu
Alternate: muaz.niazi@gmail.com
**********************************************************
*
* Contributions to be spread via DMANET are submitted to
*
* DMANET@zpr.uni-koeln.de
*
* Replies to a message carried on DMANET should NOT be
* addressed to DMANET but to the original sender. The
* original sender, however, is invited to prepare an
* update of the replies received and to communicate it
* via DMANET.
*
* DISCRETE MATHEMATICS AND ALGORITHMS NETWORK (DMANET)
* http://www.zaik.uni-koeln.de/AFS/publications/dmanet/
*
**********************************************************
Topic:
Interdependent Networks: Structure, Dynamics and Evolution
Not only are our interactions limited and thus best described not by
well-mixed models but rather by models entailing networks, it is also a fact
that these networks are often interconnected and indeed very much
interdependent. From the World economy to Google Circles, it is clear that
processes taking place in one network might affect what is happening in many
other networks. Within an interdependent system, each type of interaction
has certain relevance or meaning, so that treating all the links identically
inevitably leads to information loss. Interdependent or multiplex networks
are therefore a much better description of such systems, and this Special
Issue is devoted to their structure, dynamics and evolution, as well as to
the study of emergent properties in multi-layered systems in general. Topics
of interest include but are not limited to the spread of epidemics and
information, synchronization, diffusion, random walks, collective behavior
and evolutionary games on interdependent networks.
Deadline for submissions: June 30, 2014
http://www.casmodeling.com/sites/10349/pdf/A01900_DF_SO_CFP_CASModelling_web
Springer Complex Adaptive Systems Modeling
http://www.casmodeling.com/
Waiver of Article Charges
If you have no funds to cover the Article Processing Charge (APC) and would
like to apply for a waiver of the APC, you may contact the Editor-in-Chief.
Lead guest editor:
Matjaz Perc, University of Maribor
matjaz.perc@gmail.com
Kind regards,
Muaz Niazi
Email: muaz.niazi@ieee.org, niazi@alum.bu.edu
Alternate: muaz.niazi@gmail.com
**********************************************************
*
* Contributions to be spread via DMANET are submitted to
*
* DMANET@zpr.uni-koeln.de
*
* Replies to a message carried on DMANET should NOT be
* addressed to DMANET but to the original sender. The
* original sender, however, is invited to prepare an
* update of the replies received and to communicate it
* via DMANET.
*
* DISCRETE MATHEMATICS AND ALGORITHMS NETWORK (DMANET)
* http://www.zaik.uni-koeln.de/AFS/publications/dmanet/
*
**********************************************************
Friday, May 2, 2014
[DMANET] PPDP 2014: 2nd Call for Papers
======================================================================
2nd Call for papers
16th International Symposium on
Principles and Practice of Declarative Programming
PPDP 2014
Canterbury, Kent, September 8-10, 2014
(co-located with LOPSTR 2014)
http://users-cs.au.dk/danvy/ppdp14/
======================================================================
SUBMISSION DEADLINE: 15 MAY, 2014
PPDP 2014 is a forum that brings together researchers from the
declaratrive programming communities, including those working in the
logic, constraint and functional programming paradigms, but also
embracing languages, database languages, and knowledge representation
languages. The goal is to stimulate research in the use of logical
formalisms and methods for specifying, performing, and analyzing
computations, including mechanisms for mobility, modularity,
concurrency, object-orientation, security, verification and static
analysis. Papers related to the use of declarative paradigms and tools
in industry and education are especially solicited. Topics of interest
include, but are not limited to
* Functional programming
* Logic programming
* Answer-set programming
* Functional-logic programming
* Declarative visual languages
* Constraint Handling Rules
* Parallel implementation and concurrency
* Monads, type classes and dependent type systems
* Declarative domain-specific languages
* Termination, resource analysis and the verification of declarative
programs
* Transformation and partial evaluation of declarative languages
* Language extensions for security and tabulation
* Probabilistic modeling in a declarative language and modeling reactivity
* Memory management and the implementation of declarative systems
* Practical experiences and industrial application
This year the conference will be co-located with the 24th
International Symposium on Logic-Based Program Synthesis and
Transformation (LOPSTR 2014).
The conference will be held in Canterbury, UK. Previous symposia were
held at Madrid (Spain), Leuven (Belgium), Odense (Denmark), Hagenberg
(Austria), Coimbra (Portugal), Valencia (Spain), Wroclaw (Poland),
Venice (Italy), Lisboa (Portugal), Verona (Italy), Uppsala (Sweden),
Pittsburgh (USA), Florence (Italy), Montreal (Canada), and Paris
(France). You might have a look at the contents of past PPDP symposia.
Papers must describe original work, be written and presented in
English, and must not substantially overlap with papers that have been
published or that are simultaneously submitted to a journal,
conference, or workshop with refereed proceedings. Work that already
appeared in unpublished or informally published workshop proceedings
may be submitted (please contact the PC chair in case of
questions). The proceedings will be published in the ACM Digital
Library.
After the symposium, a selection of the best papers will be invited to
extend their submissions in the light of the feedback solicited at the
symposium. The papers are expected to include at least 30% extra
material over and above the PPDP version. Then, after another round of
reviewing, these revised papers will be published in a journal.
Important Dates
Abstract Submission: 12 May, 2014
Paper submission: 15 May, 2014
Notification: 30 June, 2014
Camera-ready: To be announced
Symposium: 8-10 September, 2014
Invites for journal publication: To be announced
Submission of journal version: To be announced
Notification: To be announced
Camera-ready version: To be announced
Authors should submit an electronic copy of the full paper in
PDF. Papers should be submitted to the submission website for PPDP
2014. Each submission must include on its first page the paper title;
authors and their affiliations; abstract; and three to four
keywords. The keywords will be used to assist the program committee in
selecting appropriate reviewers for the paper. Papers should consist
of the equivalent of 12 pages under the ACM formatting
guidelines. These guidelines are available online, along with
formatting templates or style files. Submitted papers will be judged
on the basis of significance, relevance, correctness, originality, and
clarity. They should include a clear identification of what has been
accomplished and why it is significant. Authors who wish to provide
additional material to the reviewers beyond the 12-page limit can do
so in clearly marked appendices: reviewers are not required to read
such appendices.
Program Committee
Michael Adams University of Illinois at Urbana-Champaign, USA
Elvira Albert Complutense University of Madrid, Spain
Dariusz Biernacki University of Wroclaw, Poland
Bernd Brassel Recordbay, Germany
Mike Codish Ben-Gurion University of the Negev, Israel
Olivier Danvy (chair) Aarhus University, Denmark
Marc Denecker KU Leuven, Belgium
Joshua Dunfield Max Planck Institute for Software Systems, Germany
Zoe Drey ENSTA Bretagne/Lab-STICC, France
Thibaut Feydy NICTA, Australia
Danko Ilik Inria, France
Yukiyoshi Kameyama University of Tsukuba, Japan
Chantal Keller Microsoft Research -- Inria Joint Centre
Temur Kutsia RISC, Johannes Kepler University Linz, Austria
Dan Licata Wesleyan University, USA
Akimasa Morihata University of Tokyo, Japan
Matthias Puech McGill University, Canada
Tiark Rompf Oracle Labs and EPFL, Switzerland
Kristoffer H. Rose Two Sigma Labs, New York, USA
Ilya Sergey IMDEA Software Institute, Spain
Ralf Treinen University Paris-Diderot, France
Frank D. Valencia CNRS and LIX, Ecole Polytechnique, France
Program Chair
Olivier Danvy
Department of Computer Science
Aarhus University
Aabogade 34
DK-8200 Aarhus N, Denmark
Email: danvy@cs.au.dk
Symposium Chairs:
Andy King
School of Computing
University of Kent
Canterbury, Kent, CT2 7NF
United Kingdom
Email: A.M.King@kent.ac.uk
Olaf Chitil
School of Computing
University of Kent
Canterbury, Kent, CT2 7NF
United Kingdom
Email: O.Chitil@kent.ac.uk
Publicity Chair:
Jacob Johannsen
Department of Computer Science
Aarhus University
Aabogade 34
DK-8200 Aarhus N, Denmark
Email: cnn@cs.au.dk
**********************************************************
*
* 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 Call for papers
16th International Symposium on
Principles and Practice of Declarative Programming
PPDP 2014
Canterbury, Kent, September 8-10, 2014
(co-located with LOPSTR 2014)
http://users-cs.au.dk/danvy/ppdp14/
======================================================================
SUBMISSION DEADLINE: 15 MAY, 2014
PPDP 2014 is a forum that brings together researchers from the
declaratrive programming communities, including those working in the
logic, constraint and functional programming paradigms, but also
embracing languages, database languages, and knowledge representation
languages. The goal is to stimulate research in the use of logical
formalisms and methods for specifying, performing, and analyzing
computations, including mechanisms for mobility, modularity,
concurrency, object-orientation, security, verification and static
analysis. Papers related to the use of declarative paradigms and tools
in industry and education are especially solicited. Topics of interest
include, but are not limited to
* Functional programming
* Logic programming
* Answer-set programming
* Functional-logic programming
* Declarative visual languages
* Constraint Handling Rules
* Parallel implementation and concurrency
* Monads, type classes and dependent type systems
* Declarative domain-specific languages
* Termination, resource analysis and the verification of declarative
programs
* Transformation and partial evaluation of declarative languages
* Language extensions for security and tabulation
* Probabilistic modeling in a declarative language and modeling reactivity
* Memory management and the implementation of declarative systems
* Practical experiences and industrial application
This year the conference will be co-located with the 24th
International Symposium on Logic-Based Program Synthesis and
Transformation (LOPSTR 2014).
The conference will be held in Canterbury, UK. Previous symposia were
held at Madrid (Spain), Leuven (Belgium), Odense (Denmark), Hagenberg
(Austria), Coimbra (Portugal), Valencia (Spain), Wroclaw (Poland),
Venice (Italy), Lisboa (Portugal), Verona (Italy), Uppsala (Sweden),
Pittsburgh (USA), Florence (Italy), Montreal (Canada), and Paris
(France). You might have a look at the contents of past PPDP symposia.
Papers must describe original work, be written and presented in
English, and must not substantially overlap with papers that have been
published or that are simultaneously submitted to a journal,
conference, or workshop with refereed proceedings. Work that already
appeared in unpublished or informally published workshop proceedings
may be submitted (please contact the PC chair in case of
questions). The proceedings will be published in the ACM Digital
Library.
After the symposium, a selection of the best papers will be invited to
extend their submissions in the light of the feedback solicited at the
symposium. The papers are expected to include at least 30% extra
material over and above the PPDP version. Then, after another round of
reviewing, these revised papers will be published in a journal.
Important Dates
Abstract Submission: 12 May, 2014
Paper submission: 15 May, 2014
Notification: 30 June, 2014
Camera-ready: To be announced
Symposium: 8-10 September, 2014
Invites for journal publication: To be announced
Submission of journal version: To be announced
Notification: To be announced
Camera-ready version: To be announced
Authors should submit an electronic copy of the full paper in
PDF. Papers should be submitted to the submission website for PPDP
2014. Each submission must include on its first page the paper title;
authors and their affiliations; abstract; and three to four
keywords. The keywords will be used to assist the program committee in
selecting appropriate reviewers for the paper. Papers should consist
of the equivalent of 12 pages under the ACM formatting
guidelines. These guidelines are available online, along with
formatting templates or style files. Submitted papers will be judged
on the basis of significance, relevance, correctness, originality, and
clarity. They should include a clear identification of what has been
accomplished and why it is significant. Authors who wish to provide
additional material to the reviewers beyond the 12-page limit can do
so in clearly marked appendices: reviewers are not required to read
such appendices.
Program Committee
Michael Adams University of Illinois at Urbana-Champaign, USA
Elvira Albert Complutense University of Madrid, Spain
Dariusz Biernacki University of Wroclaw, Poland
Bernd Brassel Recordbay, Germany
Mike Codish Ben-Gurion University of the Negev, Israel
Olivier Danvy (chair) Aarhus University, Denmark
Marc Denecker KU Leuven, Belgium
Joshua Dunfield Max Planck Institute for Software Systems, Germany
Zoe Drey ENSTA Bretagne/Lab-STICC, France
Thibaut Feydy NICTA, Australia
Danko Ilik Inria, France
Yukiyoshi Kameyama University of Tsukuba, Japan
Chantal Keller Microsoft Research -- Inria Joint Centre
Temur Kutsia RISC, Johannes Kepler University Linz, Austria
Dan Licata Wesleyan University, USA
Akimasa Morihata University of Tokyo, Japan
Matthias Puech McGill University, Canada
Tiark Rompf Oracle Labs and EPFL, Switzerland
Kristoffer H. Rose Two Sigma Labs, New York, USA
Ilya Sergey IMDEA Software Institute, Spain
Ralf Treinen University Paris-Diderot, France
Frank D. Valencia CNRS and LIX, Ecole Polytechnique, France
Program Chair
Olivier Danvy
Department of Computer Science
Aarhus University
Aabogade 34
DK-8200 Aarhus N, Denmark
Email: danvy@cs.au.dk
Symposium Chairs:
Andy King
School of Computing
University of Kent
Canterbury, Kent, CT2 7NF
United Kingdom
Email: A.M.King@kent.ac.uk
Olaf Chitil
School of Computing
University of Kent
Canterbury, Kent, CT2 7NF
United Kingdom
Email: O.Chitil@kent.ac.uk
Publicity Chair:
Jacob Johannsen
Department of Computer Science
Aarhus University
Aabogade 34
DK-8200 Aarhus N, Denmark
Email: cnn@cs.au.dk
**********************************************************
*
* 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] DINWC2014:: Czech Republic
CALL FOR PAPERS SUBMISSION
+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+
The International Conference on Digital Information, Networking and
Wireless Communications (DINWC2014)
VSB-Technical University of Ostrava, Czech Republic
June 24-26, 2014
http://sdiwc.net/conferences/2014/dinwc2014
+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+
Important Dates:
+-+-+-+-+-+-+-+-+
Submission Deadline : May 25, 2014
Notification of Acceptance: June 05, 2014
Camera Ready Submission : June 14, 2014
Registration : June 14, 2014, however, it is recommended to
do it few days before
Conference Dates : June 24-26, 2014
**********************************************************
*
* 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 International Conference on Digital Information, Networking and
Wireless Communications (DINWC2014)
VSB-Technical University of Ostrava, Czech Republic
June 24-26, 2014
http://sdiwc.net/conferences/2014/dinwc2014
+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+
Important Dates:
+-+-+-+-+-+-+-+-+
Submission Deadline : May 25, 2014
Notification of Acceptance: June 05, 2014
Camera Ready Submission : June 14, 2014
Registration : June 14, 2014, however, it is recommended to
do it few days before
Conference Dates : June 24-26, 2014
**********************************************************
*
* 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] BPCAS 2014: Business Processes in Collective Adaptive Systems (Deadline: June 1)
[ Apologies for multiple copies. Please forward to interested colleagues. ]
CALL FOR PAPERS
Business Processes in Collective Adaptive Systems
(BPCAS 2014)
September 8, 2014, Haifa, Israel
In conjunction with the 12th International Conference on Business Process Management (BPM 2014)
Submission deadline: 1 June 2014
http://www.bpcas.org
ABOUT THE WORKSHOP
BPCAS is a new workshop focusing on all topics related to Collective Adaptive Systems (CAS). It aims to provide a high-quality forum for the presentation of developments in CASs and for bringing together researchers and practitioners from diverse disciplines interested in CASs both within the business process community and outside. The latter are particularly welcome to submit to the workshop.
Topics of interest include:
* business process modeling for CAS
* collective configuration of business processes in CAS
* context/knowledge-aware business processes in CAS
* adaptation and evolution in CAS
* formal methods for CAS
* distribution and mobility in CAS
* big data in CAS
* process similarity and emergent properties of CAS
* security and privacy in CAS
* machine learning and data mining techniques for CAS
* optimization of CAS
* frameworks, tools and programming paradigms for CAS
* usability aspects of CAS
* case studies and scenarios
Accepted papers will be published by Springer as a post-workshop proceedings volume in the series Lecture Notes in Business Information Processing (LNBIP). In addition authors of the best papers will be invited to submit a revised and extended version of their paper to a special issue of the IET Software journal. The workshop is sponsored by the EU's Fundamentals of Collective Adaptive Systems programme initiative (http://focas.eu/about-focas/).
IMPORTANT DATES
Submission deadline: June 1, 2014
Author notification: July 1, 2014
Camera-ready submission: July 23, 2014
Workshop date: September 8, 2014
KEYNOTE SPEAKER
Manfred Reichert, Universität Ulm, Germany
WORKSHOP ORGANISATION
Organisers
Antonio Bucchiarone, Fondazione Bruno Kessler, Italy
Naranker Dulay, Imperial College London, UK
Dimka Karastoyanova, University of Stuttgart, Germany
Anna Lavygina, Imperial College London, UK
Adnan Tariq, University of Stuttgart, Germany
Program Committee
Vasilios Andrikopoulos, University of Stuttgart, Germany
Salima Benbernou, Université Paris Descartes, France
Marina Bitsaki, University of Crete, Greece
Alexei Lapouchnian, University of Toronto, Canada
Kim Larsen, Aalborg University, Denmark
Lior Limonad, IBM Haifa, Israel
Christos Nikolaou, University of Crete, Greece
Francisco Pereira, SMART-MIT, Singapore
Marco Pistore, Fondazione Bruno Kessler, Italy
Manfred Reichert, Universität Ulm, Germany
Kurt Rothermel, University of Stuttgart, Germany
Alessandra Russo, Imperial College, UK
Nikola Serbedija, Fraunhofer FIRST, Germany
Pnino Soffer, University of Haifa, Israel
Arnon Sturm, Ben-Gurion University of the Negev, Israel
Yury Tsoy, Institut Pasteur Korea, South Korea
Ingo Weber, NICTA, Australia
PAPER SUBMISSION DETAILS
We invite submissions in two forms: full papers and position papers. Submitted papers must be written in English, should not have been submitted for review or published elsewhere, and should not exceed 12 pages for full papers, and 6 pages for position papers (including figures, bibliography and appendices).
Submissions are only accepted in PDF format via the EasyChair system (https://www.easychair.org/conferences/?conf=bpcas2014). Submissions should be formatted according to the LNBIP format specified by Springer.
At least one author of each accepted paper is required to present the paper at the workshop.
CONTACT
For further information contact Anna Lavygina (a.lavygina@imperial.ac.uk)
**********************************************************
*
* Contributions to be spread via DMANET are submitted to
*
* DMANET@zpr.uni-koeln.de
*
* Replies to a message carried on DMANET should NOT be
* addressed to DMANET but to the original sender. The
* original sender, however, is invited to prepare an
* update of the replies received and to communicate it
* via DMANET.
*
* DISCRETE MATHEMATICS AND ALGORITHMS NETWORK (DMANET)
* http://www.zaik.uni-koeln.de/AFS/publications/dmanet/
*
**********************************************************
CALL FOR PAPERS
Business Processes in Collective Adaptive Systems
(BPCAS 2014)
September 8, 2014, Haifa, Israel
In conjunction with the 12th International Conference on Business Process Management (BPM 2014)
Submission deadline: 1 June 2014
http://www.bpcas.org
ABOUT THE WORKSHOP
BPCAS is a new workshop focusing on all topics related to Collective Adaptive Systems (CAS). It aims to provide a high-quality forum for the presentation of developments in CASs and for bringing together researchers and practitioners from diverse disciplines interested in CASs both within the business process community and outside. The latter are particularly welcome to submit to the workshop.
Topics of interest include:
* business process modeling for CAS
* collective configuration of business processes in CAS
* context/knowledge-aware business processes in CAS
* adaptation and evolution in CAS
* formal methods for CAS
* distribution and mobility in CAS
* big data in CAS
* process similarity and emergent properties of CAS
* security and privacy in CAS
* machine learning and data mining techniques for CAS
* optimization of CAS
* frameworks, tools and programming paradigms for CAS
* usability aspects of CAS
* case studies and scenarios
Accepted papers will be published by Springer as a post-workshop proceedings volume in the series Lecture Notes in Business Information Processing (LNBIP). In addition authors of the best papers will be invited to submit a revised and extended version of their paper to a special issue of the IET Software journal. The workshop is sponsored by the EU's Fundamentals of Collective Adaptive Systems programme initiative (http://focas.eu/about-focas/).
IMPORTANT DATES
Submission deadline: June 1, 2014
Author notification: July 1, 2014
Camera-ready submission: July 23, 2014
Workshop date: September 8, 2014
KEYNOTE SPEAKER
Manfred Reichert, Universität Ulm, Germany
WORKSHOP ORGANISATION
Organisers
Antonio Bucchiarone, Fondazione Bruno Kessler, Italy
Naranker Dulay, Imperial College London, UK
Dimka Karastoyanova, University of Stuttgart, Germany
Anna Lavygina, Imperial College London, UK
Adnan Tariq, University of Stuttgart, Germany
Program Committee
Vasilios Andrikopoulos, University of Stuttgart, Germany
Salima Benbernou, Université Paris Descartes, France
Marina Bitsaki, University of Crete, Greece
Alexei Lapouchnian, University of Toronto, Canada
Kim Larsen, Aalborg University, Denmark
Lior Limonad, IBM Haifa, Israel
Christos Nikolaou, University of Crete, Greece
Francisco Pereira, SMART-MIT, Singapore
Marco Pistore, Fondazione Bruno Kessler, Italy
Manfred Reichert, Universität Ulm, Germany
Kurt Rothermel, University of Stuttgart, Germany
Alessandra Russo, Imperial College, UK
Nikola Serbedija, Fraunhofer FIRST, Germany
Pnino Soffer, University of Haifa, Israel
Arnon Sturm, Ben-Gurion University of the Negev, Israel
Yury Tsoy, Institut Pasteur Korea, South Korea
Ingo Weber, NICTA, Australia
PAPER SUBMISSION DETAILS
We invite submissions in two forms: full papers and position papers. Submitted papers must be written in English, should not have been submitted for review or published elsewhere, and should not exceed 12 pages for full papers, and 6 pages for position papers (including figures, bibliography and appendices).
Submissions are only accepted in PDF format via the EasyChair system (https://www.easychair.org/conferences/?conf=bpcas2014). Submissions should be formatted according to the LNBIP format specified by Springer.
At least one author of each accepted paper is required to present the paper at the workshop.
CONTACT
For further information contact Anna Lavygina (a.lavygina@imperial.ac.uk)
**********************************************************
*
* Contributions to be spread via DMANET are submitted to
*
* DMANET@zpr.uni-koeln.de
*
* Replies to a message carried on DMANET should NOT be
* addressed to DMANET but to the original sender. The
* original sender, however, is invited to prepare an
* update of the replies received and to communicate it
* via DMANET.
*
* DISCRETE MATHEMATICS AND ALGORITHMS NETWORK (DMANET)
* http://www.zaik.uni-koeln.de/AFS/publications/dmanet/
*
**********************************************************
Thursday, May 1, 2014
[fm-announcements] Fourth Summer School on Formal Techniques
Fourth Summer School on Formal Techniques
May 19 - May 23, 2014Menlo College, Atherton, CA
http://fm.csl.sri.com/SSFT14
Techniques based on formal logic, such as model checking,
satisfiability, static analysis, and automated theorem proving, are
finding a broad range of applications in modeling, analysis,
verification, and synthesis. This school, the fourth in the series,
will focus on the principles and practice of formal techniques, with a
strong emphasis on the hands-on use and development of this
technology. It primarily targets graduate students and young
researchers who are interested in developing and using formal
techniques in their research. A prior background in formal methods
is helpful but not required. Participants at the school will have a
seriously fun time experimenting with the tools and techniques
presented in the lectures during laboratory sessions.
The lecturers at the school include:
* Nikolaj Bjorner (MSR Redmond): Software verification with SMT.
* Veronique Cortier (LORIA, France): Formal analysis of security protocols:
Models, Techniques, and Tools
* Gerard Holzmann (JPL/Caltech): Verifying Safety Critical Code
* Gerwin Klein (NICTA Australia): Programming language semantics in Isabelle
* Marta Kwiatkowska (University of Oxford): Probabilistic model checking with PRISM
* Natarajan Shankar (SRI CSL): Speaking Logic
Invited speakers at the school include:
Dana Scott (CMU): Lambda Calculus: History, Models, Future
Emina Torlak (UC Berkeley): Programming for Everyone: From Solvers to Solver-Aided Languages
and Beyond
We have NSF funding to support travel and accommodation for students
from US universities, but welcome applications from non-US students as
well. Non-US students will be charged around $500 for meals and lodging.
Women and under-represented minorities are specially encouraged to
apply. Applications should be submitted at
http://fm.csl.sri.com/SSFT14
Information about the first three Summer Schools on Formal Techniques can be found at
http://fm.csl.sri.com/SSFT11
http://fm.csl.sri.com/SSFT12
http://fm.csl.sri.com/SSFT13
[DMANET] Post-Doctorate position in Operations Research / Discrete Optimization
POST-DOCTORAL FELLOWSHIP
IN OPERATIONS RESEARCH / DISCRETE OPTIMIZATION
Applications are invited for a Post-Doctoral position at the University of Toronto. The broad area of research is Operations Research with possible focus areas in Discrete Optimization, Scheduling, Network Optimization, Facility Location, or Stochastic Modeling. However, strong applicants in all areas of Operations Research will be considered. The applicants should be within 5 years (or close to completion) of their Ph.D. in Operations Research / Management, Computer Science, Applied Mathematics, or a related field.
The initial contract will be for 6-12 months, with a possibility of extensions for up to 2 years. To apply, send a C.V. and a sample of recent research (papers, preprints, etc.) electronically to professor Igor Averbakh at averbakh@utsc.utoronto.ca
**********************************************************
*
* 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/
*
**********************************************************
IN OPERATIONS RESEARCH / DISCRETE OPTIMIZATION
Applications are invited for a Post-Doctoral position at the University of Toronto. The broad area of research is Operations Research with possible focus areas in Discrete Optimization, Scheduling, Network Optimization, Facility Location, or Stochastic Modeling. However, strong applicants in all areas of Operations Research will be considered. The applicants should be within 5 years (or close to completion) of their Ph.D. in Operations Research / Management, Computer Science, Applied Mathematics, or a related field.
The initial contract will be for 6-12 months, with a possibility of extensions for up to 2 years. To apply, send a C.V. and a sample of recent research (papers, preprints, etc.) electronically to professor Igor Averbakh at averbakh@utsc.utoronto.ca
**********************************************************
*
* 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] CLAIO Monterrey 2014: Abstract extended deadline
***
*** The only-abstract submission deadline is extended to 15 May 2014
***
=================================================
CLAIO XVII / CSMIO III
Joint ALIO/SMIO Conference
Monterrey, Mexico
6-10 October 2014
http://pisis.fime.uanl.mx/claio2014/
=================================================
CALL FOR PAPERS
We invite members of the Latin-Iberian-American Association of
Operations Research (ALIO) and the worldwide Operational
Research (OR) community to take part in the
XVII Latin-Iberian-American Conference on Operations Research
held jointly with the III Conference of the Mexican Society of
Operations Research (CLAIO/CSMIO 2014) in Monterrey, Mexico,
October 6-10, 2014. The academic program will consist of parallel,
technical, plenary talks, tutorials, and short courses,
covering several aspects of OR.
ABSTRACT SUBMISSION
To participate, an abstract of 1000 characters must be submitted.
Abstracts may be written in Spanish, English, or
Portuguese, the three official languages of CLAIO.
All accepted abstracts will be published in
the conference book of abstracts.
A post-conference special issue of "Annals of Operations Research"
devoted to the best works of the conference will be published.
See details in the conference web site.
IMPORTANT DATES
15/Mar/2014 (Optional) Paper submission deadline (CLOSED).
15/May/2014 Abstract-only submission deadline (extended).
01/Jun/2014 Paper acceptance/rejection notification.
15/Jun/2014 Abstract acceptance/rejection notification.
15/Jun/2014 Camera-ready paper deadline.
31/Jul/2014 Early registration deadline
CONFIRMED PLENARY SPEAKERS
Carlos Coello Coello, CINVESTAV-IPN, Mexico
Elena Fernandez, Universitat Politecnica de Catalunya, Spain
Hector Cancela, Universidad de La Republica, Uruguay
Jonathan F. Bard, U. of Texas at Austin, USA
Sheldon M. Ross, U. of Southern California, USA
CONFIRMED TUTORIAL SPEAKERS
Andres Weintraub, Universidad de Chile, Chile
Ignacio Grossmann, Carnegie-Mellon University, USA
Jose Holguin-Veras, Rensselaer Polytechnic Institute, USA
Paolo Toth, University of Bologna, Italy
Ruben Ruiz, Universitat Politecnica de Valencia, Spain
CONFIRMED MINI COURSE SPEAKERS
Angelica Lozano, UNAM
Cristina Gigola, ITAM
Eduardo Fernandez, UAS
Idalia Flores, UNAM
Juan A. Diaz, UDLA
COMMITTEES
Conference Chairs:
Jose Luis Gonzalez-Velarde (Tecnologico de Monterrey)
and Roger Z. Rios (UANL)
Program Committee:
Chair - Manuel Laguna (U. of Colorado, USA)
Adenso Diaz (Universidad de Oviedo, Spain)
Andres Medaglia (Universidad de los Andes, Colombia)
Andres Weintraub (Universidad de Chile, Chile)
Belen Melian (Universidad de La Laguna, Spain)
Carlos Andres Romano (Universitat Politecnica de Valencia, Spain)
Carlos Paternina (Universidad del Norte, Colombia)
Debora Ronconi (Universidade de Sao Paulo, Brazil)
Francisco R. Angel-Bello (Tecnologico de Monterrey, Mexico)
Francisco Saldanha-da-Gama (Universidad de Lisboa, Portugal)
Geraldo Robson Mateus (Universidade Federal de Minas Gerais, Brazil) Gladys
Maquera (Universidad Peruana Unin, Peru)
Gregorio Tirado (Universidad Complutense de Madrid, Spain)
Gulnara Baldoqun (Pontificia Universidad Javeriana, Colombia)
Irene Loiseau (Universidad de Buenos Aires, Argentina)
Joaquin Pacheco (Universidad de Burgos, Spain)
Jose Hernandez (Universidad Metropolitana de Caracas, Venezuela)
Lorena Pradenas (Universidad de Concepcion, Chile)
Luis Miguel Torres (Escuela Politecnica Nacional, Ecuador)
Maria Alvarez Rivas (Universidad Nacional Mayor de San Marcos, Peru)
Marita Urquhart (Universidad de La Republica, Uruguay)
Nelson Maculan (Universidad Federal de Rio de Janeiro, Brazil)
Onesimo Hernandez (CINVESTAV-IPN, Mexico)
Pablo Miranda (Pontificia Universidad Catolica de Valparaso, Chile)
Regina Berretta (University of Newcastle, Australia)
Vincent Boyer (UANL, Mexico)
Organizing Committee: Ada Alvarez (UANL), Angelica Salazar (UANL),
Fernando Camacho (UANL), Iris Martinez (UANL), Maricarmen Temblador
(Tecnologico de Monterrey), Romeo Sanchez (UANL), Tomas Sanchez
(Tecnologico de Monterrey), Yajaira Cardona (Tecnologico de Monterrey),
Yasmin Rios (UANL)
See you in Monterrey!!!!
**********************************************************
*
* 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 only-abstract submission deadline is extended to 15 May 2014
***
=================================================
CLAIO XVII / CSMIO III
Joint ALIO/SMIO Conference
Monterrey, Mexico
6-10 October 2014
http://pisis.fime.uanl.mx/claio2014/
=================================================
CALL FOR PAPERS
We invite members of the Latin-Iberian-American Association of
Operations Research (ALIO) and the worldwide Operational
Research (OR) community to take part in the
XVII Latin-Iberian-American Conference on Operations Research
held jointly with the III Conference of the Mexican Society of
Operations Research (CLAIO/CSMIO 2014) in Monterrey, Mexico,
October 6-10, 2014. The academic program will consist of parallel,
technical, plenary talks, tutorials, and short courses,
covering several aspects of OR.
ABSTRACT SUBMISSION
To participate, an abstract of 1000 characters must be submitted.
Abstracts may be written in Spanish, English, or
Portuguese, the three official languages of CLAIO.
All accepted abstracts will be published in
the conference book of abstracts.
A post-conference special issue of "Annals of Operations Research"
devoted to the best works of the conference will be published.
See details in the conference web site.
IMPORTANT DATES
15/Mar/2014 (Optional) Paper submission deadline (CLOSED).
15/May/2014 Abstract-only submission deadline (extended).
01/Jun/2014 Paper acceptance/rejection notification.
15/Jun/2014 Abstract acceptance/rejection notification.
15/Jun/2014 Camera-ready paper deadline.
31/Jul/2014 Early registration deadline
CONFIRMED PLENARY SPEAKERS
Carlos Coello Coello, CINVESTAV-IPN, Mexico
Elena Fernandez, Universitat Politecnica de Catalunya, Spain
Hector Cancela, Universidad de La Republica, Uruguay
Jonathan F. Bard, U. of Texas at Austin, USA
Sheldon M. Ross, U. of Southern California, USA
CONFIRMED TUTORIAL SPEAKERS
Andres Weintraub, Universidad de Chile, Chile
Ignacio Grossmann, Carnegie-Mellon University, USA
Jose Holguin-Veras, Rensselaer Polytechnic Institute, USA
Paolo Toth, University of Bologna, Italy
Ruben Ruiz, Universitat Politecnica de Valencia, Spain
CONFIRMED MINI COURSE SPEAKERS
Angelica Lozano, UNAM
Cristina Gigola, ITAM
Eduardo Fernandez, UAS
Idalia Flores, UNAM
Juan A. Diaz, UDLA
COMMITTEES
Conference Chairs:
Jose Luis Gonzalez-Velarde (Tecnologico de Monterrey)
and Roger Z. Rios (UANL)
Program Committee:
Chair - Manuel Laguna (U. of Colorado, USA)
Adenso Diaz (Universidad de Oviedo, Spain)
Andres Medaglia (Universidad de los Andes, Colombia)
Andres Weintraub (Universidad de Chile, Chile)
Belen Melian (Universidad de La Laguna, Spain)
Carlos Andres Romano (Universitat Politecnica de Valencia, Spain)
Carlos Paternina (Universidad del Norte, Colombia)
Debora Ronconi (Universidade de Sao Paulo, Brazil)
Francisco R. Angel-Bello (Tecnologico de Monterrey, Mexico)
Francisco Saldanha-da-Gama (Universidad de Lisboa, Portugal)
Geraldo Robson Mateus (Universidade Federal de Minas Gerais, Brazil) Gladys
Maquera (Universidad Peruana Unin, Peru)
Gregorio Tirado (Universidad Complutense de Madrid, Spain)
Gulnara Baldoqun (Pontificia Universidad Javeriana, Colombia)
Irene Loiseau (Universidad de Buenos Aires, Argentina)
Joaquin Pacheco (Universidad de Burgos, Spain)
Jose Hernandez (Universidad Metropolitana de Caracas, Venezuela)
Lorena Pradenas (Universidad de Concepcion, Chile)
Luis Miguel Torres (Escuela Politecnica Nacional, Ecuador)
Maria Alvarez Rivas (Universidad Nacional Mayor de San Marcos, Peru)
Marita Urquhart (Universidad de La Republica, Uruguay)
Nelson Maculan (Universidad Federal de Rio de Janeiro, Brazil)
Onesimo Hernandez (CINVESTAV-IPN, Mexico)
Pablo Miranda (Pontificia Universidad Catolica de Valparaso, Chile)
Regina Berretta (University of Newcastle, Australia)
Vincent Boyer (UANL, Mexico)
Organizing Committee: Ada Alvarez (UANL), Angelica Salazar (UANL),
Fernando Camacho (UANL), Iris Martinez (UANL), Maricarmen Temblador
(Tecnologico de Monterrey), Romeo Sanchez (UANL), Tomas Sanchez
(Tecnologico de Monterrey), Yajaira Cardona (Tecnologico de Monterrey),
Yasmin Rios (UANL)
See you in Monterrey!!!!
**********************************************************
*
* 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
