INVITATION:
=================
Please consider to contribute to and/or forward to the appropriate groups the following opportunity to submit and publish original scientific results to ICIW 2014.
The submission deadline is extended to March 18, 2014.
Authors of selected papers will be invited to submit extended article versions to one of the IARIA Journals: http://www.iariajournals.org
=================
============== ICIW 2014 | Call for Papers ===============
CALL FOR PAPERS, TUTORIALS, PANELS
ICIW 2014, The Ninth International Conference on Internet and Web Applications and Services
July 20 - 24, 2014 - Paris, France
General page: http://www.iaria.org/conferences2014/ICIW14.html
Call for Papers: http://www.iaria.org/conferences2014/CfPICIW14.html
Submission page: http://www.iaria.org/conferences2014/SubmitICIW14.html
Contributions:
- regular papers
- short papers (work in progress)
- posters
- ideas
- presentations
- demos
- doctoral forum submissions
Proposals for:
- symposia
- workshops
Submission deadline: March 18, 2014
Sponsored by IARIA, www.iaria.org
Extended versions of selected papers will be published in IARIA Journals: http://www.iariajournals.org
Print proceedings will be available via Curran Associates, Inc.: http://www.proceedings.com/9769.html
Articles will be archived in the free access ThinkMind Digital Library: http://www.thinkmind.org
The topics suggested by the conference can be discussed in term of concepts, state of the art, research, standards, implementations, running experiments, applications, and industrial case studies. Authors are invited to submit complete unpublished papers, which are not under review in any other conference or journal in the following, but not limited to, topic areas.
All tracks are open to both research and industry contributions, in terms of Regular papers, Posters, Work in progress, Technical/marketing/business presentations, Demos, Tutorials, and Panels.
Before submission, please check and conform with the Editorial rules: http://www.iaria.org/editorialrules.html
ICIW 2014 Topics (topics and submission details: see CfP on the site)
IWAS : Internet and Web-based Applications and Services
Web technologies, frameworks, languages, mechanisms; Web applications design and development; Interaction with/from Web-based applications; Web-based applications� features; Management of Web-based applications; Evaluation of Web applications; Specialized Web applications; Aggregating multimedia documents; E-business, appliances, and services; IP Grid Management and Grid Services; IP-based convergent solutions and next generation networks; Standards, case studies and special groups on web-based applications; E-business system design, development, and management for SMEs
WSSA : Web Services-based Systems and Applications
Service Innovations; Service Architectures; Model-driven development of context-aware services; Context-aware service models, architectures and frameworks; Model-driven development of semantic Web services; Web services foundation, architectures, frameworks, languages; Web services architecture and business continuity; Special Web services mechanisms; Semantic Web, Ontology, and Web services; Web service applications ; Data Management aspects in Web Services; Autonomic e-Business integration and collaboration; Web service based Grid computing and P2P computing; Web services based applications for e-Commerce; Multimedia applications using Web Services; Automatic computing for Web services; Web services challenges on trust, security, performance, scalability; Enterprise Web services; Web services discovery, announcing, monitoring and management; Platforms, technologies, mechanisms and case studies; Grid architectures, middleware and toolkits
ENSYS: Entertainment Systems
Developing entertainment systems and applications; Platforms for entertainment systems; Speech technology & its usability for entertainment systems; Networking requirements for entertainment systems; Traffic generated by entertainment applications; QoS/SLA on entertainment systems; Reliability and high availability of entertainment systems; Identify aspects in entertainment systems; Real-time access to entertainment systems; Customized access entertainment systems; Navigation and entertainment systems; Integration and interoperability aspects in entertainment systems; Entertainment systems and applications; Networking and system support for entertainment systems; Wireless and mobile technologies for entertainment; Wireless multimedia for entertainment; Systems for music and movie distribution; Games on mobile and resource-constrained devices; Mobile video entertainment systems; Car/flight/train entertainment systems; Ubiquitous entertainment systems; Interactive televisi!
on; Tec
hnologies for sport and entertainment; WiFi wireless home entertainment systems; Wearable technologies for entertainment
P2PSA: P2P Systems and Applications
P2P architectures, techniques, paradigms; P2P programming and data handling; P2P security features; Data and compute intensive applications; P2P networks and protocols; P2P management; P2P Trust and reputation management; Fault tolerance in P2P, quality of availability, accounting in P2P; Self-adaptiveness in P2P overlay networks; Self-configurable P2P systems; Case studies, benchmarking; Copyright and intellectual property; Electronic marketplace, Digital asset management and trading systems; Platforms, environments, testbeds
ONLINE: Online Communications, Collaborative Systems, and Social Networks
Theory, frameworks, mechanisms, and tools for online communication; Methodologies and languages for on-line communications; Web services and XML use for online communications; Tools for assessing online work, distributed workload; Shared business processes; Collaborative groups and systems; Theory and formalisms of group interactions; Group synergy in cooperative networks; Online gambling, gaming, children groups; Identity features, risks, jurisdiction for online communications; Specifics emergency and e-coaching on online communications; B2B and B2E cooperation; Privacy, identify, security on online communications; Individual anonymity, group trust, and confidentiality on online groups; Conflict, delegation, group selection; Community costs in collaborative groups; Building online social networks with popularity contexts, persuasion, etc.; Technology support for collaborative systems; Techniques, mechanisms, and platforms for remote cooperation
SERCOMP: Service computing
Adaptive Architecture; Business process integration and management; Cloud Computing; Collective Intelligence for Service Computing; Computational Intelligence; Data Mining of Actual Services; Decision Science; Digital EcoSystems Infrastructure; Economic Clusters; Economics and Economic Experiments; Game Theory; Human Modeling in Services; Intelligent Agents and Multi-Agent Systems; Intra- and Inter-enterprise services; Knowledge Discovery for Service Computing; Nature Inspired Computing Techniques for Service Computing; Optimization of Service Processes; Psychological Approaches to Services; Self Organizing Infrastructure; Sensing of Human Behaviors; Service-centric business models and their economics; Service discovery, repository and registry; Service Engineering; Service evaluation, measurements and delivery audit; Service interaction, service ontologies and service composition; Service Marketing; Service-Oriented Architecture; Service Oriented computing; Soft Computi!
ng; Soc
iety and business services (public, utility, business, healthcare, consulting, etc.); Sustainable Frameworks; Swarm Intelligence; Ubiquitous and pervasive services (technology, context, security); Value Creation in Services; Web-based basics on service modeling, deployment and maintenance
SLAECE: Social and Legal Aspect of Internet Computing
Principles, theories, and challenges of legal and social aspects; Strategies, modeling, and requirements engineering of legal and social aspects; Architectures, implementations, and deployment consideration of legal and social aspects; Cyber threats, emerging risks, systemic concerns, and emergency preparedness; Social computing and lifestyle computing; Service marketing and customer relationship management; Market structures and emerging business models; Emerging legal issues due to new computing environment; File / information sharing networks and user behavior; Knowledge modeling, management, and application; Negotiation and contracting as well as contract monitoring and enforcement; E-democracy, e-policy, and governance; Legal and social ontologies; Privacy and copyright in collaborative environments and social networks; Intellectual property rights; Trust, security, and privacy; Counterfeit forensic; Identity management and access control; Security and privacy in lo!
cation-
based services
VEWAeL: Virtual Environments and Web Applications for eLearning
E-Learning; Web Technologies and Tools for Educational Purposes; Services for E-Learning Platforms; Virtual Learning Environments (VLE); Course Management Systems; Web applications for Teaching; Social Implications of E-Learning; Lifelong E-learning; Teaching-Learning Experiences using the Internet for Educational Purposes; E-learning in the European Higher Education Area (EHEA) and other HE contexts; Web protocols for VLE; Security for VLE; QoS for VLE; Storage management in VLE
ECC: Enterprise cloud computing
Architectures for enterprise clouds; Principles, concepts and methodologies of enterprise cloud computing; Tools, technologies, methodologies and frameworks for enterprise cloud computing; Enterprise IS architectures such as application, information and technology architectures; Synergies between SOA, Grid Computing and Cloud Infrastructures; Quality of Service (QoS) models; 'Elastic' and on-demand allocation and management of resources to meet business needs; Benefits, issues and limitations of enterprise clouds; Security, data integrity, legal and governance issues for enterprise clouds; Management, monitoring an governance issues; Portability of architectures, applications and data between cloud providers; Reliability and maintenance of cloud-based business architectures; Architectures for Software as a Service, Platform as a Service and Infrastructure as a Service; Network architecture using Storage Clouds; Experience reports with designing, building and using Cloud !
infrast
ructure; Novel application architectures, best practices, case studies and surveys
Committee: http://www.iaria.org/conferences2014/ComICIW14.html
ICIW Advisory Committee
Mario Freire, University of Beira Interior, Portugal
Steffen Fries, Siemens AG, Corporate Technology - Munich, Germany
Vagan Terziyan, University of Jyvaskyla, Finland
Mike Wald, University of Southampton, UK
Sergio De Agostino, Sapienza University of Rome, Italy
Kwoting Fang, National Yunlin University of Science & Technology, ROC
Renzo Davoli, University of Bologna, Italy
Gregor Blichmann, Technische Universit�t Dresden, Germany
Vincent Balat, University Paris Diderot - Inria, France
Ezendu Ariwa, University of Bedfordshire, UK
ICIW Industry/Research Chairs
Giancarlo Bo, Technology and Innovation Consultant- Genova, Italy
Ingo Friese, Deutsche Telekom AG - Berlin, Germany
Sven Graupner, Hewlett-Packard Laboratories - Palo Alto, USA
Alexander W�hrer, Vienna Science and Technology Fund, Austria
Caterina Senette, Istituto di Informatica e Telematica, Pisa, Italy
Nazif Cihan Tas, Siemens Corporate Research - Princeton, USA
Jani Suomalainen, VTT Technical Research Centre of Finland, Finland
Zhixian Yan, Samsung Research America, USA
Samad Kolahi, Unitec Institute of Technology, New Zealand
ICIW Publicity Chairs
Sven Reissmann, University of Applied Sciences Fulda, Germany
David Gregorczyk, University of L�beck, Institute of Telematics, Germany
================================================
Thursday, March 6, 2014
Wednesday, March 5, 2014
[DMANET] CFP: (EXTENDED DEADLINE) IEEE WoWMoM Workshop SmartVehicles 2014 - new submission deadline is 14 March 2014!
Please accept our apologies if you receive multiple copies of this CFP.
----------------------------------------------------------------------
CALL FOR PAPERS
The 1st IEEE WoWMoM Workshop on
Smart Vehicles: Connectivity Technologies and ITS Applications
(SmartVehicles 2014)
June 16-19, 2014, Sydney, Australia
http://cnd.iit.cnr.it/smartvehicles2014
****************************************************************
***** Paper Submission Deadline: March 14, 2014 (EXTENDED) *****
****************************************************************
----------------------------------------------------------------------
SCOPE AND OVERVIEW
--------------------------------
The development of smart vehicles and more sustainable transportation systems has emerged as one of the most fundamental societal challenges of the next decade. At the same time, automotive manufacturers are striving to make vehicles safer and more environmentally friendly to fulfil consumers' expectations and new regulations. To revolutionise our mobile lifestyle towards a more sustainable and connected future it is of paramount importance to develop innovative cooperative systems enabling road users and other actors to exchange information in real time and in an autonomous manner, pervasive sensing to monitor the status of vehicles and the surroundings, big data analytics for the processing of sheer amount of data coming from the transportation infrastructure, middleware platforms for information management and sharing, and appropriate interaction interfaces between drivers and vehicles. Clearly, the seamless integration between mobile devices, vehicular communication netw!
orks, and information and transportation systems will face a number of technical, economical and regulatory challenges.
Authors are encouraged to submit full papers presenting recent developments, current research challenges and future directions in the use of networking, communications, data management, and applications to realise vehicular mobility systems that are more connected, sustainable and safe.
Topics of interest for SmartVehicles 2014 include, but are not limited to:
+ Vehicular Network as a Sensor Network;
+ V2V, V2I and V2X communications
+ Vehicular mobility support in next-generation wireless technologies
+ Communications protocol design (MAC, routing, data dissemination)
+ Data storage, management, and retrieval in vehicular networks
+ Solutions to connect vehicles with the Internet
+ Big data analytics for ITS applications
+ Security and privacy in ITS applications
+ Multimedia applications, infotainment
+ Cooperative driving, autonomous and smart vehicles
+ Traffic management and efficiency applications
+ Electrification of transportation systems
+ Simulation environments, experimental testbeds, field operational tests
+ Mobile (smart) device integration in vehicles and transport systems
+ Integration of cloud technologies in ITS applications
PAPER SUBMISSION AND PUBLICATION
--------------------------------
Submission will be managed electronically through EDAS (http://edas.info/N16795).
Papers should neither have been published elsewhere nor being currently under review by another conference or journal. Manuscripts are limited to 6 pages, single spacing, double column, and must strictly adhere to the template format. Guidelines on paper submission and formatting are available at: http://cnd.iit.cnr.it/smartvehicles2014
Accepted papers will appear in the symposium proceedings published by IEEE. Workshop papers will be included and indexed in the IEEE Digital Library (IEEEXplore), showing their affiliation with IEEE WoWMoM. At least one author of each accepted paper is required to register and present his/her work at the workshop in order for that paper to appear in the proceedings.
IMPORTANT DATES
---------------
Paper Submission Deadline: (EXTENDED) March 14, 2014
Notification Deadline: April 18, 2014
Camera Ready Due: May 7, 2014
Workshop Date: June 16-19, 2014
ORGANISING COMMITTEE
--------------------
Workshop Co-Chairs
Raffaele Bruno, IIT, CNR, Italy
Salil Kanhere, UNSW, Australia
John B. Kenney, Toyota InfoTechnology Center, USA
Publicity Chair
Valerio Arnaboldi, IIT, CNR, Italy
Program Committee (to be completed)
Karl Andersson, Lulea University of Technology, Sweden
Fan Bai, General Motors, USA
Gaurav Bansal, Toyota InfoTechnology Center, USA
Saeed Bastani, University of Sydney, Australia
Azzedine Boukerche, University of Ottawa, Canada
Claudio Casetti, Politecnico di Torino, Italy
Marco Di Felice, University of Bologna, Italy
Yaser Fallah, West Virginia University, USA
Marco Fiore, IEIIT-CNR, Italy
Emma Fitzgerald, Lund University, Sweden
Javier Gozalvez, University Miguel Hernandez, Spain
Hannes Hartenstein, Karlsruhe Institute of Technology, Germany
Jerome Harri, EURECOM, France
Thorsten Hehn, Volkswagen, Germany
Geert Heijenk, University of Twente, Netherlands
Daniel Jiang, Mercedes-Benz R&D North America, USA
Frank Kargl, Ulm University, Germany
Yevgeni Koucheryavy, Tampere University of Technology, Finland
Kun-chan Lan, National Cheng Kung University, Taiwan
Lavy Libman, UNSW, Australia
Radovan Miucic, Honda R&D Americas, USA
Robert Schmidt, Denso Automotive Dtld. GmbH, Germany
Katrin Sjoberg, Volvo, Sweden
Erik Strom, Chalmers University of Technology, Sweden
Ozan Tonguz, Carnegie Mellon University, USA
Elisabeth Uhlemann, Malardalen University, Sweden
Alexey Vinel, Halmstad University, Sweden
Alberto Zanella, IEIIT-CNR, Italy
**********************************************************
*
* Contributions to be spread via DMANET are submitted to
*
* DMANET@zpr.uni-koeln.de
*
* Replies to a message carried on DMANET should NOT be
* addressed to DMANET but to the original sender. The
* original sender, however, is invited to prepare an
* update of the replies received and to communicate it
* via DMANET.
*
* DISCRETE MATHEMATICS AND ALGORITHMS NETWORK (DMANET)
* http://www.zaik.uni-koeln.de/AFS/publications/dmanet/
*
**********************************************************
----------------------------------------------------------------------
CALL FOR PAPERS
The 1st IEEE WoWMoM Workshop on
Smart Vehicles: Connectivity Technologies and ITS Applications
(SmartVehicles 2014)
June 16-19, 2014, Sydney, Australia
http://cnd.iit.cnr.it/smartvehicles2014
****************************************************************
***** Paper Submission Deadline: March 14, 2014 (EXTENDED) *****
****************************************************************
----------------------------------------------------------------------
SCOPE AND OVERVIEW
--------------------------------
The development of smart vehicles and more sustainable transportation systems has emerged as one of the most fundamental societal challenges of the next decade. At the same time, automotive manufacturers are striving to make vehicles safer and more environmentally friendly to fulfil consumers' expectations and new regulations. To revolutionise our mobile lifestyle towards a more sustainable and connected future it is of paramount importance to develop innovative cooperative systems enabling road users and other actors to exchange information in real time and in an autonomous manner, pervasive sensing to monitor the status of vehicles and the surroundings, big data analytics for the processing of sheer amount of data coming from the transportation infrastructure, middleware platforms for information management and sharing, and appropriate interaction interfaces between drivers and vehicles. Clearly, the seamless integration between mobile devices, vehicular communication netw!
orks, and information and transportation systems will face a number of technical, economical and regulatory challenges.
Authors are encouraged to submit full papers presenting recent developments, current research challenges and future directions in the use of networking, communications, data management, and applications to realise vehicular mobility systems that are more connected, sustainable and safe.
Topics of interest for SmartVehicles 2014 include, but are not limited to:
+ Vehicular Network as a Sensor Network;
+ V2V, V2I and V2X communications
+ Vehicular mobility support in next-generation wireless technologies
+ Communications protocol design (MAC, routing, data dissemination)
+ Data storage, management, and retrieval in vehicular networks
+ Solutions to connect vehicles with the Internet
+ Big data analytics for ITS applications
+ Security and privacy in ITS applications
+ Multimedia applications, infotainment
+ Cooperative driving, autonomous and smart vehicles
+ Traffic management and efficiency applications
+ Electrification of transportation systems
+ Simulation environments, experimental testbeds, field operational tests
+ Mobile (smart) device integration in vehicles and transport systems
+ Integration of cloud technologies in ITS applications
PAPER SUBMISSION AND PUBLICATION
--------------------------------
Submission will be managed electronically through EDAS (http://edas.info/N16795).
Papers should neither have been published elsewhere nor being currently under review by another conference or journal. Manuscripts are limited to 6 pages, single spacing, double column, and must strictly adhere to the template format. Guidelines on paper submission and formatting are available at: http://cnd.iit.cnr.it/smartvehicles2014
Accepted papers will appear in the symposium proceedings published by IEEE. Workshop papers will be included and indexed in the IEEE Digital Library (IEEEXplore), showing their affiliation with IEEE WoWMoM. At least one author of each accepted paper is required to register and present his/her work at the workshop in order for that paper to appear in the proceedings.
IMPORTANT DATES
---------------
Paper Submission Deadline: (EXTENDED) March 14, 2014
Notification Deadline: April 18, 2014
Camera Ready Due: May 7, 2014
Workshop Date: June 16-19, 2014
ORGANISING COMMITTEE
--------------------
Workshop Co-Chairs
Raffaele Bruno, IIT, CNR, Italy
Salil Kanhere, UNSW, Australia
John B. Kenney, Toyota InfoTechnology Center, USA
Publicity Chair
Valerio Arnaboldi, IIT, CNR, Italy
Program Committee (to be completed)
Karl Andersson, Lulea University of Technology, Sweden
Fan Bai, General Motors, USA
Gaurav Bansal, Toyota InfoTechnology Center, USA
Saeed Bastani, University of Sydney, Australia
Azzedine Boukerche, University of Ottawa, Canada
Claudio Casetti, Politecnico di Torino, Italy
Marco Di Felice, University of Bologna, Italy
Yaser Fallah, West Virginia University, USA
Marco Fiore, IEIIT-CNR, Italy
Emma Fitzgerald, Lund University, Sweden
Javier Gozalvez, University Miguel Hernandez, Spain
Hannes Hartenstein, Karlsruhe Institute of Technology, Germany
Jerome Harri, EURECOM, France
Thorsten Hehn, Volkswagen, Germany
Geert Heijenk, University of Twente, Netherlands
Daniel Jiang, Mercedes-Benz R&D North America, USA
Frank Kargl, Ulm University, Germany
Yevgeni Koucheryavy, Tampere University of Technology, Finland
Kun-chan Lan, National Cheng Kung University, Taiwan
Lavy Libman, UNSW, Australia
Radovan Miucic, Honda R&D Americas, USA
Robert Schmidt, Denso Automotive Dtld. GmbH, Germany
Katrin Sjoberg, Volvo, Sweden
Erik Strom, Chalmers University of Technology, Sweden
Ozan Tonguz, Carnegie Mellon University, USA
Elisabeth Uhlemann, Malardalen University, Sweden
Alexey Vinel, Halmstad University, Sweden
Alberto Zanella, IEIIT-CNR, Italy
**********************************************************
*
* Contributions to be spread via DMANET are submitted to
*
* DMANET@zpr.uni-koeln.de
*
* Replies to a message carried on DMANET should NOT be
* addressed to DMANET but to the original sender. The
* original sender, however, is invited to prepare an
* update of the replies received and to communicate it
* via DMANET.
*
* DISCRETE MATHEMATICS AND ALGORITHMS NETWORK (DMANET)
* http://www.zaik.uni-koeln.de/AFS/publications/dmanet/
*
**********************************************************
[DMANET] Special issue OR-Spectrum on Quantitative Solutions for Future Energy Systems and Markets
Dear colleagues,
We would like to invite you to submit a paper for publication in a
Special Issue of OR-Spectrum
on
Quantitative Solutions for Future Energy Systems and Markets.
The submission deadline is June 30, 2014.
More information can be found on
http://static.springer.com/sgw/documents/1445006/application/pdf/Call+for+Papers_Special+Issue+on+Energy_Deadline_June_30_2014.pdf
and on the website of OR-Spectrum
http://www.springer.com/business+&+management/operations+research/journal/291
Best regards,
The Special Issue Editors:
Johann Hurink, University of Twente
Rüdiger Schultz, Universität Duisburg-Essen
David Wozabal, Technische Universität München
**********************************************************
*
* 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/
*
**********************************************************
We would like to invite you to submit a paper for publication in a
Special Issue of OR-Spectrum
on
Quantitative Solutions for Future Energy Systems and Markets.
The submission deadline is June 30, 2014.
More information can be found on
http://static.springer.com/sgw/documents/1445006/application/pdf/Call+for+Papers_Special+Issue+on+Energy_Deadline_June_30_2014.pdf
and on the website of OR-Spectrum
http://www.springer.com/business+&+management/operations+research/journal/291
Best regards,
The Special Issue Editors:
Johann Hurink, University of Twente
Rüdiger Schultz, Universität Duisburg-Essen
David Wozabal, Technische Universität München
**********************************************************
*
* 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] Open PhD positions in permutation patterns at Reykjavik University
Dear combinatorial colleagues!
Myself, Michael Albert and Anders Claesson are looking to attract
PhD students for a project on permutation patterns and algorithms
funded by the Icelandic Research fund.
The successful applicants will be located in Iceland, will receive
salary and there is some travel funding. The deadline is March 31, 2014.
These are three year positions.
If you know of good students who should apply please forward this to
them.
More information can be found at
http://staff.ru.is/henningu/ads/phd2014/phd.html
----
Kær kveðja | With best regards,
Henning A. Úlfarsson
School of Computer Science
Reykjavik University, Iceland
**********************************************************
*
* 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/
*
**********************************************************
Myself, Michael Albert and Anders Claesson are looking to attract
PhD students for a project on permutation patterns and algorithms
funded by the Icelandic Research fund.
The successful applicants will be located in Iceland, will receive
salary and there is some travel funding. The deadline is March 31, 2014.
These are three year positions.
If you know of good students who should apply please forward this to
them.
More information can be found at
http://staff.ru.is/henningu/ads/phd2014/phd.html
----
Kær kveðja | With best regards,
Henning A. Úlfarsson
School of Computer Science
Reykjavik University, Iceland
**********************************************************
*
* 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/
*
**********************************************************
CFP Synasc 22-25 September 2014, Timisoara, Romania
[Please post - apologies for multiple copies.]
First Call for Papers
---------------------
SYNASC 2014
16th International Symposium on
Symbolic and Numeric Algorithms for Scientific Computing
September 22-25, 2014, Timisoara, Romania
http://synasc.ro/2014/
http://synasc14.info.uvt.ro/
Aim
---
SYNASC aims to stimulate the interaction between the two
scientific communities of symbolic and numeric computing
and to exhibit interesting applications of the areas both
in theory and in practice. The choice of the topic is motivated
by the belief of the organizers that the dialogue between
the two communities is very necessary for accelerating the
progress in making the computer a truly intelligent aid for
mathematicians and engineers.
Important Dates
---------------
15 March 2014 : Special sessions / Workshops / Tutorials proposals
15 April 2014 : Abstract submission
30 April 2014 : Paper submission
15 July 2014 : Notification of acceptance
01 September 2014 : Registration
05 September 2014 : Revised papers according to the reviews
22-25 September 2014 : Symposium
30 November 2014 : Final papers for post-proceedings
Tracks
------
* Symbolic Computation
+ computer algebra
+ symbolic techniques applied to numerics
+ hybrid symbolic and numeric algorithms
+ numerics and symbolics for geometry
+ programming with constraints, narrowing
* Numerical Computing
+ iterative approximation of fixed points
+ solving systems of nonlinear equations
+ numerical and symbolic algorithms for differential equations
+ numerical and symbolic algorithms for optimization
+ parallel algorithms for numerical computing
+ scientific visualization and image processing
* Logic and Programming
+ automatic reasoning
+ formal system verification
+ formal verification and synthesis
+ software quality assessment
+ static analysis
+ timing analysis
* Artificial Intelligence
+ methods for hard computational problems
+ intelligent systems for scientific computing
+ agent-based complex systems modeling and development
+ scientific knowledge management
+ computational intelligence
+ machine learning
+ recommender and expert systems for scientific computing
+ data mining and web mining
+ natural language processing
+ uncertain reasoning in scientific computing
+ intelligent hybrid systems
* Distributed Computing
+ parallel and distributed algorithms for clouds, GPUs,
HPC, P2P systems, autonomous systems. Work should focus
on scheduling, scaling, load balancing, networks, fault-tolerance,
gossip algorithms, energy saving
+ applications for parallel and distributed systems, including work
on cross disciplinary (scientific) applications for grids/clouds,
web applications, workflow platforms, network measurement tools,
programming environments
+ architectures for parallel and distributed systems, including
self-managing and autonomous systems, negotiation protocols, HPC on
clouds, GPU processing, PaaS for (inter)cloud, brokering platforms,
mobile computing
+ modelling of parallel and distributed systems including models on
resources and networks, semantic representation, negotiation, social
networks, trace management, simulators
+ any other topic deemed relevant to the field
* Advances in the Theory of Computing
+ data Structures and algorithms
+ combinatorial Optimization
+ formal languages and Combinatorics on Words
+ graph-theoretic and Combinatorial methods in Computer Science
+ algorithmic paradigms, including distributed, online,
approximation, probabilistic, game-theoretic algorithms
+ computational Complexity Theory, including structural complexity,
boolean complexity, communication complexity, average-case complexity,
derandomization and property testing
+ logical approaches to complexity, including finite model theory
+ algorithmic and computational learning theory
+ aspects of computability theory, including computability in
analysis and algorithmic information theory
+ proof complexity
+ computational social choice and game theory
+ new computational paradigms: CNN computing, quantum,
holographic and other non-standard approaches to Computability
+ randomized methods, random graphs, threshold phenomena and
typical-case complexity
+ automata theory and other formal models, particularly in
relation to formal verification methods such as model
checking and runtime verification
+ applications of theory, including wireless and sensor networks,
computational biology and computational economics
+ experimental algorithmics
This list is not intended to be exhaustive.
Publication
-----------
Research papers that are accepted and presented at the
symposium will be collected as post-proceedings published
by Conference Publishing Service (CPS) (included in IEEE Xplore) and
will be submitted for indexing in ISI Web of Science, DBLP, SCOPUS.
Extended versions of the selected papers published in post-proceedings
will be considering to be published as special issues in international journals.
Invited Speakers
----------------
* Viorica Sofronie-Stokkermans, University Koblenz-Landau, Germany
* Gheorghe Paun, Institute of Mathematics of the Romanian Academy, Bucharest, Romania
* William Langdon, University College London, UK
* Stefan Takacs, TU Chemnitz, Germany
* Stephen Watt, University of Western Ontario, Canada
Honorary Chairs
---------------
* Bruno Buchberger, Johannes Kepler University, Austria
* Stefan Maruster, West University of Timisoara, Romania
Steering Committee
------------------
* Tetsuo Ida, University of Tsukuba, Japan
* Tudor Jebelean, Johannes Kepler University, Austria
* Viorel Negru, West University of Timisoara, Romania
* Dana Petcu, West University of Timisoara, Romania
* Stephen Watt, University of Western Ontario, Canada
* Daniela Zaharie, West University of Timisoara, Romania
General Chair
-------------
* Viorel Negru, West University of Timisoara, Romania
Program Chair
-------------
* Franz Winkler, Johannes Kepler University, Austria
Track Chairs
------------
* Symbolic Computation
+ Tetsuo Ida, University of Tsukuba, Japan
+ Stephen Watt, University of Western Ontario, Canada
* Numerical Computing
+ Walter Zulehner, Johannes Kepler University Linz, Austria
+ Dana Petcu, West University of Timisoara, Romania
* Logic and Programming
+ Tudor Jebelean, Johannes Kepler University Linz, Austria
+ Laura Kovacs, Chalmers University of Technology, Sweden
* Artificial Intelligence
+ Andrei Petrovski, Robert Gordon University, UK
+ Daniela Zaharie, West University of Timisoara, Romania
* Distributed Computing
+ Marc Frincu, University of Southern California, US and West University of Timisoara, Romania
+ Karoly Bosa, Johannes Kepler University Linz, Austria
* Advances in the Theory of Computing
+ Mircea Marin, West University of Timisoara, Romania
+ Gabriel Istrate, Research Institute e-Austria Timisoara, Romania
Special sessions and workshops chair
------------------------------------
* Daniel Pop, West University of Timisoara, Romania
Tutorial chair
--------------
* Dana Petcu, West University of Timisoara, Romania
Proceedings Chairs
------------------
* Franz Winkler, Johannes Kepler University Linz, Austria
* Daniela Zaharie, West University of Timisoara, Romania
Local Committee Chairs
----------------------
* Isabela Dramnesc, West University of Timisoara, Romania
* Silviu Panica, Institute e-Austria Timisoara, Romania
Submission
-----------
Submissions of research papers are invited. The papers must contain
original research results not submitted and not published elsewhere.
The submission process consists of two steps.
* In the first step the authors are invited to express their
intention to participate at the conference by submitting a
short abstract (1/2 page, at maximum) where it is clearly
stated the main contribution(s) of the paper.
* In the second step the authors should submit the full paper
(up to 8 pages in the two-columns IEEE conference style).
Both the abstract and the full paper should be submitted electronically
through http://www.easychair.org/conferences/?conf=synasc2014.
Proposals are also invited for:
* special sessions
* satellite workshops
* tutorials
Special sessions
Proposals are invited for special sessions on any topic relevant to the
conference. Special sessions are intended to stimulate in-depth
discussions in special areas and they are fully integrated into the
main conference. The research papers and the informal presentations
submitted and accepted for the special sessions follow the same rules
as the papers submitted to the regular sessions. It is expected that
the organizers of the special sessions appoint their own chair and
program committee, which will be integrated in the conference program
committee and will be supervised by the conference program chair
and by the general chair.
Workshops
Proposals for satellite workshops are also invited. The satellite
workshops should have topics related to SYNASC but the scientific
program of each satellite workshop is managed by the workshop
organizers. Authors contributing to a workshop would be required
to register for the symposium.
Tutorials
Proposals for tutorials are also invited. Tutorials provide fundamental
exposure to topics ranging from introductory through intermediate to
advanced. The number and the duration of the tutorials will be decided
by the tutorial chair under the supervision of the general chair.
Depending on the number and the quality of the proposals for tutorials,
they may be organized as a SYNASC Autumn School.
-----------
SYNASC 2014
West University of Timisoara
Department of Computer Science
Bd. V. Parvan 4, 300223 Timisoara, Romania
tel: + (40) 256 592195, +(40) 256 592389
fax: + (40) 256 592316, +(40) 256 592380
e-mail: synasc14@synasc.ro
First Call for Papers
---------------------
SYNASC 2014
16th International Symposium on
Symbolic and Numeric Algorithms for Scientific Computing
September 22-25, 2014, Timisoara, Romania
http://synasc.ro/2014/
http://synasc14.info.uvt.ro/
Aim
---
SYNASC aims to stimulate the interaction between the two
scientific communities of symbolic and numeric computing
and to exhibit interesting applications of the areas both
in theory and in practice. The choice of the topic is motivated
by the belief of the organizers that the dialogue between
the two communities is very necessary for accelerating the
progress in making the computer a truly intelligent aid for
mathematicians and engineers.
Important Dates
---------------
15 March 2014 : Special sessions / Workshops / Tutorials proposals
15 April 2014 : Abstract submission
30 April 2014 : Paper submission
15 July 2014 : Notification of acceptance
01 September 2014 : Registration
05 September 2014 : Revised papers according to the reviews
22-25 September 2014 : Symposium
30 November 2014 : Final papers for post-proceedings
Tracks
------
* Symbolic Computation
+ computer algebra
+ symbolic techniques applied to numerics
+ hybrid symbolic and numeric algorithms
+ numerics and symbolics for geometry
+ programming with constraints, narrowing
* Numerical Computing
+ iterative approximation of fixed points
+ solving systems of nonlinear equations
+ numerical and symbolic algorithms for differential equations
+ numerical and symbolic algorithms for optimization
+ parallel algorithms for numerical computing
+ scientific visualization and image processing
* Logic and Programming
+ automatic reasoning
+ formal system verification
+ formal verification and synthesis
+ software quality assessment
+ static analysis
+ timing analysis
* Artificial Intelligence
+ methods for hard computational problems
+ intelligent systems for scientific computing
+ agent-based complex systems modeling and development
+ scientific knowledge management
+ computational intelligence
+ machine learning
+ recommender and expert systems for scientific computing
+ data mining and web mining
+ natural language processing
+ uncertain reasoning in scientific computing
+ intelligent hybrid systems
* Distributed Computing
+ parallel and distributed algorithms for clouds, GPUs,
HPC, P2P systems, autonomous systems. Work should focus
on scheduling, scaling, load balancing, networks, fault-tolerance,
gossip algorithms, energy saving
+ applications for parallel and distributed systems, including work
on cross disciplinary (scientific) applications for grids/clouds,
web applications, workflow platforms, network measurement tools,
programming environments
+ architectures for parallel and distributed systems, including
self-managing and autonomous systems, negotiation protocols, HPC on
clouds, GPU processing, PaaS for (inter)cloud, brokering platforms,
mobile computing
+ modelling of parallel and distributed systems including models on
resources and networks, semantic representation, negotiation, social
networks, trace management, simulators
+ any other topic deemed relevant to the field
* Advances in the Theory of Computing
+ data Structures and algorithms
+ combinatorial Optimization
+ formal languages and Combinatorics on Words
+ graph-theoretic and Combinatorial methods in Computer Science
+ algorithmic paradigms, including distributed, online,
approximation, probabilistic, game-theoretic algorithms
+ computational Complexity Theory, including structural complexity,
boolean complexity, communication complexity, average-case complexity,
derandomization and property testing
+ logical approaches to complexity, including finite model theory
+ algorithmic and computational learning theory
+ aspects of computability theory, including computability in
analysis and algorithmic information theory
+ proof complexity
+ computational social choice and game theory
+ new computational paradigms: CNN computing, quantum,
holographic and other non-standard approaches to Computability
+ randomized methods, random graphs, threshold phenomena and
typical-case complexity
+ automata theory and other formal models, particularly in
relation to formal verification methods such as model
checking and runtime verification
+ applications of theory, including wireless and sensor networks,
computational biology and computational economics
+ experimental algorithmics
This list is not intended to be exhaustive.
Publication
-----------
Research papers that are accepted and presented at the
symposium will be collected as post-proceedings published
by Conference Publishing Service (CPS) (included in IEEE Xplore) and
will be submitted for indexing in ISI Web of Science, DBLP, SCOPUS.
Extended versions of the selected papers published in post-proceedings
will be considering to be published as special issues in international journals.
Invited Speakers
----------------
* Viorica Sofronie-Stokkermans, University Koblenz-Landau, Germany
* Gheorghe Paun, Institute of Mathematics of the Romanian Academy, Bucharest, Romania
* William Langdon, University College London, UK
* Stefan Takacs, TU Chemnitz, Germany
* Stephen Watt, University of Western Ontario, Canada
Honorary Chairs
---------------
* Bruno Buchberger, Johannes Kepler University, Austria
* Stefan Maruster, West University of Timisoara, Romania
Steering Committee
------------------
* Tetsuo Ida, University of Tsukuba, Japan
* Tudor Jebelean, Johannes Kepler University, Austria
* Viorel Negru, West University of Timisoara, Romania
* Dana Petcu, West University of Timisoara, Romania
* Stephen Watt, University of Western Ontario, Canada
* Daniela Zaharie, West University of Timisoara, Romania
General Chair
-------------
* Viorel Negru, West University of Timisoara, Romania
Program Chair
-------------
* Franz Winkler, Johannes Kepler University, Austria
Track Chairs
------------
* Symbolic Computation
+ Tetsuo Ida, University of Tsukuba, Japan
+ Stephen Watt, University of Western Ontario, Canada
* Numerical Computing
+ Walter Zulehner, Johannes Kepler University Linz, Austria
+ Dana Petcu, West University of Timisoara, Romania
* Logic and Programming
+ Tudor Jebelean, Johannes Kepler University Linz, Austria
+ Laura Kovacs, Chalmers University of Technology, Sweden
* Artificial Intelligence
+ Andrei Petrovski, Robert Gordon University, UK
+ Daniela Zaharie, West University of Timisoara, Romania
* Distributed Computing
+ Marc Frincu, University of Southern California, US and West University of Timisoara, Romania
+ Karoly Bosa, Johannes Kepler University Linz, Austria
* Advances in the Theory of Computing
+ Mircea Marin, West University of Timisoara, Romania
+ Gabriel Istrate, Research Institute e-Austria Timisoara, Romania
Special sessions and workshops chair
------------------------------------
* Daniel Pop, West University of Timisoara, Romania
Tutorial chair
--------------
* Dana Petcu, West University of Timisoara, Romania
Proceedings Chairs
------------------
* Franz Winkler, Johannes Kepler University Linz, Austria
* Daniela Zaharie, West University of Timisoara, Romania
Local Committee Chairs
----------------------
* Isabela Dramnesc, West University of Timisoara, Romania
* Silviu Panica, Institute e-Austria Timisoara, Romania
Submission
-----------
Submissions of research papers are invited. The papers must contain
original research results not submitted and not published elsewhere.
The submission process consists of two steps.
* In the first step the authors are invited to express their
intention to participate at the conference by submitting a
short abstract (1/2 page, at maximum) where it is clearly
stated the main contribution(s) of the paper.
* In the second step the authors should submit the full paper
(up to 8 pages in the two-columns IEEE conference style).
Both the abstract and the full paper should be submitted electronically
through http://www.easychair.org/conferences/?conf=synasc2014.
Proposals are also invited for:
* special sessions
* satellite workshops
* tutorials
Special sessions
Proposals are invited for special sessions on any topic relevant to the
conference. Special sessions are intended to stimulate in-depth
discussions in special areas and they are fully integrated into the
main conference. The research papers and the informal presentations
submitted and accepted for the special sessions follow the same rules
as the papers submitted to the regular sessions. It is expected that
the organizers of the special sessions appoint their own chair and
program committee, which will be integrated in the conference program
committee and will be supervised by the conference program chair
and by the general chair.
Workshops
Proposals for satellite workshops are also invited. The satellite
workshops should have topics related to SYNASC but the scientific
program of each satellite workshop is managed by the workshop
organizers. Authors contributing to a workshop would be required
to register for the symposium.
Tutorials
Proposals for tutorials are also invited. Tutorials provide fundamental
exposure to topics ranging from introductory through intermediate to
advanced. The number and the duration of the tutorials will be decided
by the tutorial chair under the supervision of the general chair.
Depending on the number and the quality of the proposals for tutorials,
they may be organized as a SYNASC Autumn School.
-----------
SYNASC 2014
West University of Timisoara
Department of Computer Science
Bd. V. Parvan 4, 300223 Timisoara, Romania
tel: + (40) 256 592195, +(40) 256 592389
fax: + (40) 256 592316, +(40) 256 592380
e-mail: synasc14@synasc.ro
[DMANET] [CFP] 2nd International workshop on Internet of Things - Ideas and Perspectives @ IEEE DCOSS 2014 (LAST WEEK)
*********************************************************************************************
Call for papers
IEEE DCOSS
2nd International workshop on Internet of Things - Ideas and Perspectives (IoTIP-14)
May 28, 2014
Marina Del Rey, USA https://iotip2014.hds.utc.fr/
Extended versions of selected papers will be considered for
publication in IEEE IoT Journal
*********************************************************************************************
Important dates
Submission Deadline: March 9th 2014,
Acceptance Notification: April 1st 2014,
Camera Ready Due: April 13th 2014,
Workshop Date: May 28th, 2014
Call for papers
Slowly but steadily the Internet of Things (IoT) is penetrating and transforming our lives. The first stage of the IoT evolution consisted in the deployment of RFID tags for facilitating routing, taking inventory and loss prevention of goods. After that we witnessed the first wave of RFID and sensor network integration toward vertical-market applications. Nowadays, new generations of RFID tags, in particular active RFID tags, often include built-in sensing capabilities. Whereas, applications based on sensor networks often require means for unique identification and discovery of objects, which are monitored by the sensor network. The convergence of sensing and identification technologies, together with communication and computation systems, enables us to gain impressive awareness about the state of the real world and will drastically change the way we interact with our environment. Urban planning, smart cities, intelligent shopping, smart meters, home automation, security and surveillance, industrial applications like process industry automation, supply chain, smart product management and agricultural applications are examples of potential applications for real-world systems. Even though the advent of the IPv6/6LoWPAN protocol suite solved several technical issues, many challenges are still open in the research and development communities concerning the choice of communication paradigms, architectures and technology.
The main focus of this workshop is on technologies, applications and paradigms of the IoT that are already deployed or are under investigation and that belong to the second stage of the IoT evolution.?The next step in the evolution of the IoT is its characterization as the underlying technological layer needed to shape and substantiate higher layer concepts such as semantic web and personalization. In fact, the IoT is the enabling technology to allow virtual and physical worlds to converge in what has already been defined as Web 3.0. If, currently, the IoT is the most suited companion of blogging, podcasting, tagging and social networking, we can imagine that its evolution will foster the rise of statistical, machine-constructed semantic tags and algorithms through the construction and exploitation of semantic databases empowered by distributed and cloud computing. The integration of the IoT with semantic databases, capable of delivering accurate information about the nature and the state of every physical object will introduce a staggering amount of new applications opportunities as well as potentially lead to an ultimate "Big brother scenario". Therefore, a particular interest will have to be given to appropriate security and privacy control mechanisms.
The secondary focus of this workshop is on IoT vision and perspective towards Web 3.0.
IoTIP features two tracks:
- Current ideas: for technical works currently under investigation;
- Future perspectives: for vision papers envisaging possible future technologies, paradigms and applications for IoT.
Topics of particular interest include, but are not limited to:
- IoT paradigms, architectures, applications and technologies
- IoT systems and components
- IoT for semantic web and personalization
- Tools for developing IoT applications
- Blogging, Podcasting, Tagging and Social networking through the IoT
- Cloud vs distributed computing for the IoT
- Security and privacy control mechanisms
- Performance assessment and management (QoS, scalability, reliability, etc)
- PHY layer, Spectrum management for IoT radio communications
- MAC protocols (e.g., scheduling, power control etc.) for IoT
- Mobility management
- Naming, address management and End-to-End Addressability
- Object, device and service management
- RFID, sensors, actuator technologies
- Middleware for IoT
- Sustainable design and technologies (e.g. energy-efficiency)
- Test-beds and field trials
- Standardization and regulatory issues
Submission guidelines
Authors are invited to submit original unpublished manuscripts that demonstrate current research on IoTIP research topics. Standard IEEE conference templates for LaTeX/Word formats can be found at: http://www.ieee.org/conferences_events/conferences/publishing/templates.html . Papers should be submitted through EDAS at the following address: http://edas.info/N17145 . All submissions should be written in English using 10 point font and be six (8) printed pages long maximum using 10 point font and including figures and tables. The papers should be submitted to one of the two tracks:
- Current ideas: for technical works currently under investigation;
- Future perspectives: for vision papers envisaging possible future technologies, paradigms and applications for IoT.
Authors must suggest their preferred track for their paper at the time of submission. The workshop chairs, however, reserve the right to switch papers between tracks if they deem them a better fit for another track.
Please note that the proceedings of this workshop will appear in IEEEXplore and will be included in DCOSS conference proceedings.
Extended versions of selected papers will be considered for publication in IEEE IoT Journal.
Program committee members
Daniele Alessandrelli, Scuola Superiore Sant'Anna, Italy
Yacine Challal, Université de Technologie de Compiègne, France
Flavio Esposito, Boston University, USA
Samira Hayat, Alpen-Adria University, Klagenfurt, Austria
Antonio Iera, Università "Mediterranea" di Reggio Calabria, Italy
Abdelmajid Khelil, Huawei European Research Center, Germany
Srdjan Krco, Ericsson/University of Belgrade, Serbia
Satish Kumar, Coastal Carolina University, USA
Thomas D.C. Little, Boston University, USA
Valeria Loscrì, Inria Lille - Nord Europe, France (publicity chair)
Nathalie Mitton, Inria Lille - Nord Europe, France (workshop chair)
Enrico Natalizio, Université de Technologie de Compiègne, France (workshop chair)
Giuseppe Ruggeri, Università "Mediterranea" di Reggio Calabria, Italy
Anna Maria Vegni, Università degli Studi di Roma Tre, Italy
Konrad Wrona, NC3A, Netherlands
Valeria Loscri
Research Scientist FUN Team
Inria Lille-Nord Europe .
Parc scientifique de la Haute Borne
40, avenue Halley - Bât A - Park Plaza
59650 Villeneuve d'Ascq - France
www.inria.fr
Follow us
Twitter  twitter.com/inria
YouTube youtube.com/inriachannel
**********************************************************
*
* 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
IEEE DCOSS
2nd International workshop on Internet of Things - Ideas and Perspectives (IoTIP-14)
May 28, 2014
Marina Del Rey, USA https://iotip2014.hds.utc.fr/
Extended versions of selected papers will be considered for
publication in IEEE IoT Journal
*********************************************************************************************
Important dates
Submission Deadline: March 9th 2014,
Acceptance Notification: April 1st 2014,
Camera Ready Due: April 13th 2014,
Workshop Date: May 28th, 2014
Call for papers
Slowly but steadily the Internet of Things (IoT) is penetrating and transforming our lives. The first stage of the IoT evolution consisted in the deployment of RFID tags for facilitating routing, taking inventory and loss prevention of goods. After that we witnessed the first wave of RFID and sensor network integration toward vertical-market applications. Nowadays, new generations of RFID tags, in particular active RFID tags, often include built-in sensing capabilities. Whereas, applications based on sensor networks often require means for unique identification and discovery of objects, which are monitored by the sensor network. The convergence of sensing and identification technologies, together with communication and computation systems, enables us to gain impressive awareness about the state of the real world and will drastically change the way we interact with our environment. Urban planning, smart cities, intelligent shopping, smart meters, home automation, security and surveillance, industrial applications like process industry automation, supply chain, smart product management and agricultural applications are examples of potential applications for real-world systems. Even though the advent of the IPv6/6LoWPAN protocol suite solved several technical issues, many challenges are still open in the research and development communities concerning the choice of communication paradigms, architectures and technology.
The main focus of this workshop is on technologies, applications and paradigms of the IoT that are already deployed or are under investigation and that belong to the second stage of the IoT evolution.?The next step in the evolution of the IoT is its characterization as the underlying technological layer needed to shape and substantiate higher layer concepts such as semantic web and personalization. In fact, the IoT is the enabling technology to allow virtual and physical worlds to converge in what has already been defined as Web 3.0. If, currently, the IoT is the most suited companion of blogging, podcasting, tagging and social networking, we can imagine that its evolution will foster the rise of statistical, machine-constructed semantic tags and algorithms through the construction and exploitation of semantic databases empowered by distributed and cloud computing. The integration of the IoT with semantic databases, capable of delivering accurate information about the nature and the state of every physical object will introduce a staggering amount of new applications opportunities as well as potentially lead to an ultimate "Big brother scenario". Therefore, a particular interest will have to be given to appropriate security and privacy control mechanisms.
The secondary focus of this workshop is on IoT vision and perspective towards Web 3.0.
IoTIP features two tracks:
- Current ideas: for technical works currently under investigation;
- Future perspectives: for vision papers envisaging possible future technologies, paradigms and applications for IoT.
Topics of particular interest include, but are not limited to:
- IoT paradigms, architectures, applications and technologies
- IoT systems and components
- IoT for semantic web and personalization
- Tools for developing IoT applications
- Blogging, Podcasting, Tagging and Social networking through the IoT
- Cloud vs distributed computing for the IoT
- Security and privacy control mechanisms
- Performance assessment and management (QoS, scalability, reliability, etc)
- PHY layer, Spectrum management for IoT radio communications
- MAC protocols (e.g., scheduling, power control etc.) for IoT
- Mobility management
- Naming, address management and End-to-End Addressability
- Object, device and service management
- RFID, sensors, actuator technologies
- Middleware for IoT
- Sustainable design and technologies (e.g. energy-efficiency)
- Test-beds and field trials
- Standardization and regulatory issues
Submission guidelines
Authors are invited to submit original unpublished manuscripts that demonstrate current research on IoTIP research topics. Standard IEEE conference templates for LaTeX/Word formats can be found at: http://www.ieee.org/conferences_events/conferences/publishing/templates.html . Papers should be submitted through EDAS at the following address: http://edas.info/N17145 . All submissions should be written in English using 10 point font and be six (8) printed pages long maximum using 10 point font and including figures and tables. The papers should be submitted to one of the two tracks:
- Current ideas: for technical works currently under investigation;
- Future perspectives: for vision papers envisaging possible future technologies, paradigms and applications for IoT.
Authors must suggest their preferred track for their paper at the time of submission. The workshop chairs, however, reserve the right to switch papers between tracks if they deem them a better fit for another track.
Please note that the proceedings of this workshop will appear in IEEEXplore and will be included in DCOSS conference proceedings.
Extended versions of selected papers will be considered for publication in IEEE IoT Journal.
Program committee members
Daniele Alessandrelli, Scuola Superiore Sant'Anna, Italy
Yacine Challal, Université de Technologie de Compiègne, France
Flavio Esposito, Boston University, USA
Samira Hayat, Alpen-Adria University, Klagenfurt, Austria
Antonio Iera, Università "Mediterranea" di Reggio Calabria, Italy
Abdelmajid Khelil, Huawei European Research Center, Germany
Srdjan Krco, Ericsson/University of Belgrade, Serbia
Satish Kumar, Coastal Carolina University, USA
Thomas D.C. Little, Boston University, USA
Valeria Loscrì, Inria Lille - Nord Europe, France (publicity chair)
Nathalie Mitton, Inria Lille - Nord Europe, France (workshop chair)
Enrico Natalizio, Université de Technologie de Compiègne, France (workshop chair)
Giuseppe Ruggeri, Università "Mediterranea" di Reggio Calabria, Italy
Anna Maria Vegni, Università degli Studi di Roma Tre, Italy
Konrad Wrona, NC3A, Netherlands
Valeria Loscri
Research Scientist FUN Team
Inria Lille-Nord Europe .
Parc scientifique de la Haute Borne
40, avenue Halley - Bât A - Park Plaza
59650 Villeneuve d'Ascq - France
www.inria.fr
Follow us
Twitter  twitter.com/inria
YouTube youtube.com/inriachannel
**********************************************************
*
* 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, March 4, 2014
[DMANET] 2nd CfP: UNIF 2014
====================================================
Call for Papers
UNIF 2014
The 28th International Workshop on Unification
July 13, 2014. Vienna, Austria
a FLoC workshop hosted by RTA-TLCA and IJCAR
http://vsl2014.at/unif
====================================================
UNIF 2014 is the 28th event in a series of international meetings
devoted to
unification theory and its applications. Unification is concerned with the
problem of identifying terms, finding solutions for equations, or making
formulas equivalent. It is a fundamental process used in a number of fields
of computer science, including automated reasoning, term rewriting, logic
programming, natural language processing, program analysis, types, etc.
The International Workshop on Unification (UNIF) is a yearly forum for
researchers in unification theory and related fields to meet old and new
colleagues, to present recent (even unfinished) work, and to discuss new
ideas
and trends. It is also a good opportunity for young researchers and
scientists
working in related areas to get an overview of the current state of the
art in
unification theory.
Topics
------
A non-exhaustive list of topics of interest includes:
* syntactic and equational unification
* matching
* constraint solving
* unification in modal, temporal, and description logics
* narrowing
* disunification
* anti-unification
* semi-unification
* higher-order unification
* complexity issues
* implementation techniques
* applications
Submission
----------
Short papers or extended abstracts, up to 5 pages in EasyChair style,
should be
submitted electronically as PDF files through the EasyChair submission site:
https://www.easychair.org/conferences/?conf=unif2014
Accepted abstracts will be presented at the workshop and included in the
preliminary proceedings, available in the electronic form at the
workshop and
also at the UNIF web page:
http://www.pps.jussieu.fr/~treinen/unif/
Important Dates
----------------
* Paper Submission: April 16, 2014
* Notification of Acceptance: May 21, 2014
* Final version: May 28, 2014
* Conference: July 13, 2014
Invited Speakers
----------------
* Jordi Levy, IIIA, CSIC, Barcelona, Spain
* Jose Meseguer, University of Illinois at Urbana-Champaign, USA
Programme Committee
-------------------
* Franz Baader, TU Dresden, Germany
* Mnacho Echenim, University of Grenoble, France
* Santiago Escobar, Technical University of Valencia, Spain
* Maribel Fernandez, King's College London, UK
* Temur Kutsia, RISC, Johannes Kepler University Linz, Austria (chair)
* Christopher Lynch, Clarkson University, USA
* Mircea Marin, West University of Timisoara, Romania
* Barbara Morawska, TU Dresden, Germany
* Paliath Narendran, University at Albany—SUNY, USA
* Jan Otop, IST Austria
* Christophe Ringeissen, LORIA-INRIA Lorraine, France (chair)
* Manfred Schmidt-Schauss, Goethe-University Frankfurt, Germany
* Ralf Treinen, PPS, Université Paris Diderot, France
* Mateu Villaret, Universitat de Girona, Spain
**********************************************************
*
* 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
UNIF 2014
The 28th International Workshop on Unification
July 13, 2014. Vienna, Austria
a FLoC workshop hosted by RTA-TLCA and IJCAR
http://vsl2014.at/unif
====================================================
UNIF 2014 is the 28th event in a series of international meetings
devoted to
unification theory and its applications. Unification is concerned with the
problem of identifying terms, finding solutions for equations, or making
formulas equivalent. It is a fundamental process used in a number of fields
of computer science, including automated reasoning, term rewriting, logic
programming, natural language processing, program analysis, types, etc.
The International Workshop on Unification (UNIF) is a yearly forum for
researchers in unification theory and related fields to meet old and new
colleagues, to present recent (even unfinished) work, and to discuss new
ideas
and trends. It is also a good opportunity for young researchers and
scientists
working in related areas to get an overview of the current state of the
art in
unification theory.
Topics
------
A non-exhaustive list of topics of interest includes:
* syntactic and equational unification
* matching
* constraint solving
* unification in modal, temporal, and description logics
* narrowing
* disunification
* anti-unification
* semi-unification
* higher-order unification
* complexity issues
* implementation techniques
* applications
Submission
----------
Short papers or extended abstracts, up to 5 pages in EasyChair style,
should be
submitted electronically as PDF files through the EasyChair submission site:
https://www.easychair.org/conferences/?conf=unif2014
Accepted abstracts will be presented at the workshop and included in the
preliminary proceedings, available in the electronic form at the
workshop and
also at the UNIF web page:
http://www.pps.jussieu.fr/~treinen/unif/
Important Dates
----------------
* Paper Submission: April 16, 2014
* Notification of Acceptance: May 21, 2014
* Final version: May 28, 2014
* Conference: July 13, 2014
Invited Speakers
----------------
* Jordi Levy, IIIA, CSIC, Barcelona, Spain
* Jose Meseguer, University of Illinois at Urbana-Champaign, USA
Programme Committee
-------------------
* Franz Baader, TU Dresden, Germany
* Mnacho Echenim, University of Grenoble, France
* Santiago Escobar, Technical University of Valencia, Spain
* Maribel Fernandez, King's College London, UK
* Temur Kutsia, RISC, Johannes Kepler University Linz, Austria (chair)
* Christopher Lynch, Clarkson University, USA
* Mircea Marin, West University of Timisoara, Romania
* Barbara Morawska, TU Dresden, Germany
* Paliath Narendran, University at Albany—SUNY, USA
* Jan Otop, IST Austria
* Christophe Ringeissen, LORIA-INRIA Lorraine, France (chair)
* Manfred Schmidt-Schauss, Goethe-University Frankfurt, Germany
* Ralf Treinen, PPS, Université Paris Diderot, France
* Mateu Villaret, Universitat de Girona, Spain
**********************************************************
*
* 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] Funded PhD Position in Algorithms at Oxford's Department of Computer Science
Funded Doctoral Studentship in Oxford University's Department of Computer Science
(http://www.cs.ox.ac.uk/news/762-full.html)
Supervisor: Dr Stanislav Zivny
Start Date: October 2014
End Date: September 2017
PROJECT
The Algorithms Research Group is offering a fully funded D.Phil. studentship in
Oxford University's Department of Computer Science. The studentship provides an
annual stipend to the student of at least £13863 per annum for 3 years. The
studentship covers university and college fees for home/EU students. Overseas
candidates are eligible to apply but would have to find other sources of funding
for the university and college fees. There will also be provision for some
travel funds.
The position is associated with the Royal Society project "Structure of
Rational-Valued Functions on Discrete Domains", led by Stanislav Zivny. The goal
of this project is to understand the structure of separable rational-valued
functions on discrete domains that appear in the context of valued constraint
satisfaction problems.
REQUIREMENTS
The candidate is expected to have a strong background in theoretical computer
science and mathematics, in particular in computational complexity and universal
algebra, with an interest in algorithms and discrete optimisation in general.
Candidates must have good written, communication, and organisational skills, and
satisfy the usual requirements for a doctorate study at Oxford:
http://www.cs.ox.ac.uk/admissions/dphil/criteria2014
HOW TO APPLY
There is no deadline for applying. We will continue to process applications
until a suitable candidate is found, and candidates are therefore recommended to
apply as soon as possible.
To apply in the first instance candidates should send their CV, a transcript
with a list of courses and grades, and a motivation letter explaining why you
want this studentship, to: julie.sheppard@cs.ox.ac.uk
FURTHER DETAILS
For further information about the studentship or application process please
e-mail: julie.sheppard@cs.ox.ac.uk
For further information about the project details please contact:
stanislav.zivny@cs.ox.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/
*
**********************************************************
(http://www.cs.ox.ac.uk/news/762-full.html)
Supervisor: Dr Stanislav Zivny
Start Date: October 2014
End Date: September 2017
PROJECT
The Algorithms Research Group is offering a fully funded D.Phil. studentship in
Oxford University's Department of Computer Science. The studentship provides an
annual stipend to the student of at least £13863 per annum for 3 years. The
studentship covers university and college fees for home/EU students. Overseas
candidates are eligible to apply but would have to find other sources of funding
for the university and college fees. There will also be provision for some
travel funds.
The position is associated with the Royal Society project "Structure of
Rational-Valued Functions on Discrete Domains", led by Stanislav Zivny. The goal
of this project is to understand the structure of separable rational-valued
functions on discrete domains that appear in the context of valued constraint
satisfaction problems.
REQUIREMENTS
The candidate is expected to have a strong background in theoretical computer
science and mathematics, in particular in computational complexity and universal
algebra, with an interest in algorithms and discrete optimisation in general.
Candidates must have good written, communication, and organisational skills, and
satisfy the usual requirements for a doctorate study at Oxford:
http://www.cs.ox.ac.uk/admissions/dphil/criteria2014
HOW TO APPLY
There is no deadline for applying. We will continue to process applications
until a suitable candidate is found, and candidates are therefore recommended to
apply as soon as possible.
To apply in the first instance candidates should send their CV, a transcript
with a list of courses and grades, and a motivation letter explaining why you
want this studentship, to: julie.sheppard@cs.ox.ac.uk
FURTHER DETAILS
For further information about the studentship or application process please
e-mail: julie.sheppard@cs.ox.ac.uk
For further information about the project details please contact:
stanislav.zivny@cs.ox.ac.uk
**********************************************************
*
* Contributions to be spread via DMANET are submitted to
*
* DMANET@zpr.uni-koeln.de
*
* Replies to a message carried on DMANET should NOT be
* addressed to DMANET but to the original sender. The
* original sender, however, is invited to prepare an
* update of the replies received and to communicate it
* via DMANET.
*
* DISCRETE MATHEMATICS AND ALGORITHMS NETWORK (DMANET)
* http://www.zaik.uni-koeln.de/AFS/publications/dmanet/
*
**********************************************************
[DMANET] Oberwolfach seminar: Recent Methods in Sphere Packing and Optimization
=== CALL FOR PARTICIPATION ===
Oberwolfach seminar: Recent Methods in Sphere Packing and Optimization
The Oberwolfach Seminar "Recent Methods in Sphere Packing and Optimization" will take place on June 8-14, 2014 at MFO, Mathematisches Forschungsinstitut Oberwolfach (Germany).
Lectures by Christine Bachoc (Bordeaux), Henry Cohn (Microsoft Research, New England), Frank Vallentin (Köln)
The Oberwolfach Seminars are organized by leading experts in the field, and address postdocs and Ph.D. students from all over the world. The aim is to introduce the participants to a particular interesting development. The seminars take place at the Mathematisches Forschungsinstitut Oberwolfach. The Institute covers accommodation and food. By the support of the Carl Friedrich von Siemens Foundation, travel expenses can be reimbursed up to 150 EUR in average per person.
Apply directly to Oberwolfach - Details at the MFO webpage:
http://www.mfo.de/occasion/1424b/www_view
Deadline for applications: April 1st, 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/
*
**********************************************************
Oberwolfach seminar: Recent Methods in Sphere Packing and Optimization
The Oberwolfach Seminar "Recent Methods in Sphere Packing and Optimization" will take place on June 8-14, 2014 at MFO, Mathematisches Forschungsinstitut Oberwolfach (Germany).
Lectures by Christine Bachoc (Bordeaux), Henry Cohn (Microsoft Research, New England), Frank Vallentin (Köln)
The Oberwolfach Seminars are organized by leading experts in the field, and address postdocs and Ph.D. students from all over the world. The aim is to introduce the participants to a particular interesting development. The seminars take place at the Mathematisches Forschungsinstitut Oberwolfach. The Institute covers accommodation and food. By the support of the Carl Friedrich von Siemens Foundation, travel expenses can be reimbursed up to 150 EUR in average per person.
Apply directly to Oberwolfach - Details at the MFO webpage:
http://www.mfo.de/occasion/1424b/www_view
Deadline for applications: April 1st, 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] Budapest Summer School in Discrete Mathematics
BUDAPEST SUMMER SCHOOL IN DISCRETE MATHEMATICS
First Announcement
The Institute of Mathematics of Eotvos University Budapest (Hungary) is
organizing again a summer school in Discrete Mathematics for
undergraduate and graduate students between June 23 and June 27, 2014.
There will be 7 mini-courses, 2 x 90 minutes each:
* Arborescence packing and its applications
* Linear algebraic methods in graph theory
* Combinatorial rigidity
* Combinatorial Nullstellensatz with applications
* Finite geometries: from definitions to applications
* Probabilistic methods in discrete geometry
* Geometric algorithms
For abstracts, credits, deadlines, and other details, see:
http://www.math.elte.hu/summerschool
Andras Frank,
Institute of Mathematics, Eotvos University Budapest
frank@cs.elte.hu
**********************************************************
*
* Contributions to be spread via DMANET are submitted to
*
* DMANET@zpr.uni-koeln.de
*
* Replies to a message carried on DMANET should NOT be
* addressed to DMANET but to the original sender. The
* original sender, however, is invited to prepare an
* update of the replies received and to communicate it
* via DMANET.
*
* DISCRETE MATHEMATICS AND ALGORITHMS NETWORK (DMANET)
* http://www.zaik.uni-koeln.de/AFS/publications/dmanet/
*
**********************************************************
First Announcement
The Institute of Mathematics of Eotvos University Budapest (Hungary) is
organizing again a summer school in Discrete Mathematics for
undergraduate and graduate students between June 23 and June 27, 2014.
There will be 7 mini-courses, 2 x 90 minutes each:
* Arborescence packing and its applications
* Linear algebraic methods in graph theory
* Combinatorial rigidity
* Combinatorial Nullstellensatz with applications
* Finite geometries: from definitions to applications
* Probabilistic methods in discrete geometry
* Geometric algorithms
For abstracts, credits, deadlines, and other details, see:
http://www.math.elte.hu/summerschool
Andras Frank,
Institute of Mathematics, Eotvos University Budapest
frank@cs.elte.hu
**********************************************************
*
* 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] 4th Student Conference on Operational Research (SCOR 2014) - Deadline extended
Due to numerous request we decided to extend the deadline by a few days.
The new date will be the 10th of March.
******************CALL FOR PAPERS******************
**4th Student Conference on Operational Research**
************************SCOR 2014***********************
******May 2-4 2014, University of Nottingham, UK*****
*********************www.scor14.com*********************
We are pleased to announce the official launch of the PhD Student
Conference on Operational Research (SCOR 2014), now back for its
fourth instalment. We invite you to join us once again, at the
beautiful University of Nottingham campus the 2-4 May 2014.
PhD students from all European Universities studying Operational
Research, Management Science or a related field are kindly invited to
submit an abstract for presentation at the conference. As some
presenters may still be on an early stage of in their careers, the
work presented does not need to be fully developed or thoroughly
explored as of yet. The purpose of SCOR 2014 is to provide a friendly
environment for the next generation of Operational Researchers to
receive constructive feedback on their work and to meet people with
similar interests. The scope of the conference includes, but is not
limited to:
*Big Data & Analytics * Data Mining * Energy * Forecasting * Graphs /
Networks * Healthcare *
*Heuristics * Inventory * Mathematical Programming * Multicriteria
Decision Analysis * *Neural Networks / Machine Learning * Optimisation
and Applications * Reliability / Risk Assessment * Scheduling /
Timetabling * Stochastic Modelling * Supply Chain Management *
*Simulation / System Dynamics * Transport /Logistics*
*******Deadline for abstract (250 words) submission: Monday 10th
March 2014*********
A notification of acceptance will be sent shortly after this deadline.
In order to encourage a wide
range of students to attend, an affordable conference fee will cover
accommodation, a full social
program and full catering provided.
******************Deadline for PAPERS submission: Friday 11th April
2014******************
Presenters are also invited to submit a paper (no more than 10 pages)
on their work to be published electronically as part of the SCOR 2014
proceedings. This will be available in the Dagstuhl OpenAccess Series
in Informatics (OASIcs). Paper submissions will undergo a selection
process based on refereeing by the Committee. This gives doctoral
candidates a chance to experience the peer-review process and to
enhance their technical writing skills. Although it
is not mandatory, it is again, highly recommended. To get an idea on
the paper standards please visit the SCOR2012 proceedings.
See you in Nottingham!!!
**********************Follow us on**********************
* www.scor14.com *
* www.facebook.com/scor2014 *
* www.twitter.com/scor2014 *
* www.linkedin.com/company/scor-2014 *
***********************************************************
Apologies for cross-posting and/or multiple copies. Appreciate if you can
distribute this announcement to your network.
**********************************************************
*
* 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 new date will be the 10th of March.
******************CALL FOR PAPERS******************
**4th Student Conference on Operational Research**
************************SCOR 2014***********************
******May 2-4 2014, University of Nottingham, UK*****
*********************www.scor14.com*********************
We are pleased to announce the official launch of the PhD Student
Conference on Operational Research (SCOR 2014), now back for its
fourth instalment. We invite you to join us once again, at the
beautiful University of Nottingham campus the 2-4 May 2014.
PhD students from all European Universities studying Operational
Research, Management Science or a related field are kindly invited to
submit an abstract for presentation at the conference. As some
presenters may still be on an early stage of in their careers, the
work presented does not need to be fully developed or thoroughly
explored as of yet. The purpose of SCOR 2014 is to provide a friendly
environment for the next generation of Operational Researchers to
receive constructive feedback on their work and to meet people with
similar interests. The scope of the conference includes, but is not
limited to:
*Big Data & Analytics * Data Mining * Energy * Forecasting * Graphs /
Networks * Healthcare *
*Heuristics * Inventory * Mathematical Programming * Multicriteria
Decision Analysis * *Neural Networks / Machine Learning * Optimisation
and Applications * Reliability / Risk Assessment * Scheduling /
Timetabling * Stochastic Modelling * Supply Chain Management *
*Simulation / System Dynamics * Transport /Logistics*
*******Deadline for abstract (250 words) submission: Monday 10th
March 2014*********
A notification of acceptance will be sent shortly after this deadline.
In order to encourage a wide
range of students to attend, an affordable conference fee will cover
accommodation, a full social
program and full catering provided.
******************Deadline for PAPERS submission: Friday 11th April
2014******************
Presenters are also invited to submit a paper (no more than 10 pages)
on their work to be published electronically as part of the SCOR 2014
proceedings. This will be available in the Dagstuhl OpenAccess Series
in Informatics (OASIcs). Paper submissions will undergo a selection
process based on refereeing by the Committee. This gives doctoral
candidates a chance to experience the peer-review process and to
enhance their technical writing skills. Although it
is not mandatory, it is again, highly recommended. To get an idea on
the paper standards please visit the SCOR2012 proceedings.
See you in Nottingham!!!
**********************Follow us on**********************
* www.scor14.com *
* www.facebook.com/scor2014 *
* www.twitter.com/scor2014 *
* www.linkedin.com/company/scor-2014 *
***********************************************************
Apologies for cross-posting and/or multiple copies. Appreciate if you can
distribute this announcement to your network.
**********************************************************
*
* 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] ICABD2014 - Call for Participation
************************************************************
CALL FOR PARTICIPATION
2nd INTERNATIONAL CONFERENCE ON
ALGORITHMS FOR BIG DATA
I C A B D 2 0 1 4
http://www.algorithms-for-big-data.org/
Palermo, April 7-9, 2014
************************************************************
The ICABD conference focuses on the application of mathematical theories and methods to big data, primarily collections of biological sequences such as DNA/RNA and proteomic sequences. This second meeting intends to gather international researchers from the fields of bioinformatics, computer science and mathematical as well as R&D industry fellows in order to present original papers on the algorithmic advancements in big data technology.
Topics include, but are not limited to:
- Mathematical methods for sequence matching, compression, and information retrieval;
- Algorithms for sequence indexing, approximate indexing, and compressed indexing;
- In place data structures, space conscious data structures, and external memory algorithms;
- Mathematical results with applications in bioinformatics problems;
- Combinatorial aspects of biological sequences and collections;
- Algorithms and data structures for repetition discovery and motif recognition;
- Mathematical methods for fragment assembly, reads reassembly, and genome alignments;
- Mathematical methods for phylogenetic trees construction and comparison;
- Combinatorial measures of sequence similarity;
On the conference website - http://algorithms-for-big-data.org/ - you will find the list of accepted papers and more details about registration, location and trip advices.
The conference programme includes invited talks, regular paper presentations and working sessions joint with a StringMasters workshop.
The conference is organized by the Words and Automata Research Group of Palermo University, Italy, and the Algorithms and Bioinformatics Group of King's College London, UK.
Please do not esitate to contact the organizing committee at info@algorithms-for-big-data.org for any other information.
Looking forward to see you in Palermo.
Alessio Langiu, Ph.D
ICABD2014 Co-chair
************************************************************
**********************************************************
*
* Contributions to be spread via DMANET are submitted to
*
* DMANET@zpr.uni-koeln.de
*
* Replies to a message carried on DMANET should NOT be
* addressed to DMANET but to the original sender. The
* original sender, however, is invited to prepare an
* update of the replies received and to communicate it
* via DMANET.
*
* DISCRETE MATHEMATICS AND ALGORITHMS NETWORK (DMANET)
* http://www.zaik.uni-koeln.de/AFS/publications/dmanet/
*
**********************************************************
CALL FOR PARTICIPATION
2nd INTERNATIONAL CONFERENCE ON
ALGORITHMS FOR BIG DATA
I C A B D 2 0 1 4
http://www.algorithms-for-big-data.org/
Palermo, April 7-9, 2014
************************************************************
The ICABD conference focuses on the application of mathematical theories and methods to big data, primarily collections of biological sequences such as DNA/RNA and proteomic sequences. This second meeting intends to gather international researchers from the fields of bioinformatics, computer science and mathematical as well as R&D industry fellows in order to present original papers on the algorithmic advancements in big data technology.
Topics include, but are not limited to:
- Mathematical methods for sequence matching, compression, and information retrieval;
- Algorithms for sequence indexing, approximate indexing, and compressed indexing;
- In place data structures, space conscious data structures, and external memory algorithms;
- Mathematical results with applications in bioinformatics problems;
- Combinatorial aspects of biological sequences and collections;
- Algorithms and data structures for repetition discovery and motif recognition;
- Mathematical methods for fragment assembly, reads reassembly, and genome alignments;
- Mathematical methods for phylogenetic trees construction and comparison;
- Combinatorial measures of sequence similarity;
On the conference website - http://algorithms-for-big-data.org/ - you will find the list of accepted papers and more details about registration, location and trip advices.
The conference programme includes invited talks, regular paper presentations and working sessions joint with a StringMasters workshop.
The conference is organized by the Words and Automata Research Group of Palermo University, Italy, and the Algorithms and Bioinformatics Group of King's College London, UK.
Please do not esitate to contact the organizing committee at info@algorithms-for-big-data.org for any other information.
Looking forward to see you in Palermo.
Alessio Langiu, Ph.D
ICABD2014 Co-chair
************************************************************
**********************************************************
*
* 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] SCIP Optimization Suite 3.1 released
Dear colleagues,
we are happy to announce that version 3.1 of the SCIP Optimization Suite has been released. It is comprised of the MIP, MINLP, and CIP solver SCIP 3.1; the LP solver SoPlex 2.0; the mathematical programming language ZIMPL 3.3.2; the generic branch-cut-and-price solver GCG 2.0; and the parallelization framework UG 0.7.3.
The SCIP Optimization Suite 3.1 provides many new features, performance improvements, and bug fixes, e.g., a completely revised SoPlex interface with many new functionalities, improved branching and node selection rules, and an interface to GAMS as well as beta interfaces to Python and Java.
For more information, check out our redesigned website http://scip.zib.de.
Best regards,
the SCIP team and friends
-------------------------
Download: http://scip.zib.de
-------------------------
Release notes of the individual software packages:
SCIP 3.1: http://scip.zib.de/doc/html/RELEASENOTES.php
SoPlex 2.0: http://soplex.zib.de/notes-200.txt
ZIMPL 3.3.2: http://zimpl.zib.de/notes-332.txt
GCG 2.0: http://www.or.rwth-aachen.de/gcg/doc/RELEASENOTES.html
**********************************************************
*
* 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/
*
**********************************************************
we are happy to announce that version 3.1 of the SCIP Optimization Suite has been released. It is comprised of the MIP, MINLP, and CIP solver SCIP 3.1; the LP solver SoPlex 2.0; the mathematical programming language ZIMPL 3.3.2; the generic branch-cut-and-price solver GCG 2.0; and the parallelization framework UG 0.7.3.
The SCIP Optimization Suite 3.1 provides many new features, performance improvements, and bug fixes, e.g., a completely revised SoPlex interface with many new functionalities, improved branching and node selection rules, and an interface to GAMS as well as beta interfaces to Python and Java.
For more information, check out our redesigned website http://scip.zib.de.
Best regards,
the SCIP team and friends
-------------------------
Download: http://scip.zib.de
-------------------------
Release notes of the individual software packages:
SCIP 3.1: http://scip.zib.de/doc/html/RELEASENOTES.php
SoPlex 2.0: http://soplex.zib.de/notes-200.txt
ZIMPL 3.3.2: http://zimpl.zib.de/notes-332.txt
GCG 2.0: http://www.or.rwth-aachen.de/gcg/doc/RELEASENOTES.html
**********************************************************
*
* 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] Summer School on "Algorithmic and Enumerative Combinatorics"
===================================================
Summer school "Algorithmic and Enumerative Combinatorics" (AEC 2014)
RISC, J. Kepler University Linz, Austria, August 18-22, 2014
https://www.risc.jku.at/conferences/aec2014/
===================================================
Within the framework of the SFB "Algorithmic and Enumerative Combinatorics",
a summer school will be held at the Research Institute for Symbolic
Computation (Johannes Kepler University Linz) in Hagenberg.
It is jointly organized with the combinatorics groups at the
University of Vienna and the Vienna University of Technology.
The goal of this summer school is to put forward the interplay between the
fields of Enumerative Combinatorics, Analytic Combinatorics, and
Algorithmics.
This is a very active research area, which, aside from the three fields
fueling each other mutually, receives as well constant impetus
from outside, by its interaction with algebra, probability,
statistical physics, and computer science.
The summer school will feature three series of lectures, given by
- Guillaume Chapuy (Université Paris Diderot, France)
- Michael Singer (North Carolina State University, U.S.A.)
- Mark Wilson (University of Auckland, New Zealand)
Each series of lectures will present a recent exciting trend in these three
research fields.
Aside from the three lecture series (5 hours each), there is time for a
limited number of contributed talks (20 minutes each).
There will be no conference fee. Lodging will be arranged at the Hotel
Sommerhaus Hagenberg (around 300 m distance from the venue where the summer
school wll be held). A single room costs 36 Euro and a double room costs 65
Euro per day (breakfast and internet connection are included).
There are limited funds available for participant support.
Important deadlines
Application for participant support: July 1, 2014
Submission of contributed talks: July 1, 2014
Acceptance of contributed talks: July 10, 2014
Registration: July 15, 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/
*
**********************************************************
Monday, March 3, 2014
[DMANET] ETAPS 2014 2nd call for participation
To notice:
- Normal-rate registration is until Monday, 10 March 2014.
******************************************************************
CALL FOR PARTICIPATION
ETAPS 2014
17th European Joint Conferences on Theory And Practice of Software
Grenoble, France, 5-13 April 2014
******************************************************************
-- ABOUT ETAPS --
The European Joint Conferences on Theory And Practice of Software
(ETAPS) is the primary European forum for academic and industrial
researchers working on topics relating to software science. ETAPS,
established in 1998, is a confederation of six main annual
conferences, accompanied by satellite workshops. ETAPS 2014 is already
the seventeenth event in the series.
-- MAIN CONFERENCES (7-11 April) --
* CC: Compiler Construction
* ESOP: European Symposium on Programming
* FASE: Fundamental Approaches to Software Engineering
* FOSSACS: Foundations of Software Science and Computation
Structures
* POST: Principles of Security and Trust
* TACAS: Tools and Algorithms for the Construction and Analysis of
Systems
-- INVITED TALKS --
* Unifying speakers:
John Launchbury (Galois, US)
Geoffrey Smith (Florida International University, US)
* CC invited speaker:
Benoit Dupont de Dinechin (Kalray, France)
* ESOP invited speaker:
Maurice Herlihy (Brown University, US)
* FASE invited speaker:
Christel Baier (Technical University of Dresden, Germany)
* FoSSaCS invited speaker:
Petr Jancar (Technical Univ of Ostrava, Czech Republic)
* POST invited speaker:
David Mazières (Stanford University, US)
* TACAS invited speaker:
Orna Kupferman (Hebrew University Jerusalem, Israel)
-- TUTORIALS
* Andy Gordon (Microsoft Research, Cambridge, UK)
* Bernd Finkbeiner (Univ des Saarlandes, Germany)
-- CONTRIBUTED PAPERS
See the accepted paper lists and the programme of the main conferences
at the conference website.
-- SATELLITE EVENTS (5-6 and 12-13 April) --
23 satellite workshops will take place before or after ETAPS 2014.
CMCS, DICE, F-IDE, Graphite, GT-VMT, MBT, MEALS, RePP, Sifakis event,
SR, SynCop, VSSE, WRLA will be held 5-6 April 2014.
AiSOS, Cassting, FESCA, GALOP, GramSec, HAS, HotSpot, MSFP, PLACES,
QAPL have been scheduled for 12-13 April 2014.
-- REGISTRATION
Normal-rate registration is until Monday, 10 March 2014.
After that date, late rates apply.
-- ACCOMMODATION
We request that participants arrange their accommodation on their own.
See our recommendations on the website.
-- HOST CITY --
Located in the southeastern part of France, Grenoble is considered as
the capital of the Alps. Grenoble is surrounded by nature and high
mountains: down the Alps, Grenoble is the meeting point of two
important rivers, Drac and Isere. Grenoble has important historical
and gastronomic heritages. Leisure activities in breathtaking nature
are easily organizable and within short-distance. Grenoble is also a
major scientific center in Europe dedicated to high-tech technologies,
e.g., nano, micro, bio, and information technologies.
-- ORGANIZERS
* General chair: Saddek Bensalem
* Conferences chair: Alain Girault
* Workshops chair: Axel Legay
* Publicity chair: Ylies Falcone
* Finance chair: Nicolas Halbwachs
* Website chair: Marius Bozga
Host institution: VERIMAG, U Joseph Fourier / CNRS / Grenoble INP
-- FURTHER INFORMATION --
Please do not hesitate to contact the organizers at
etaps2014.organization@imag.fr.
**********************************************************
*
* Contributions to be spread via DMANET are submitted to
*
* DMANET@zpr.uni-koeln.de
*
* Replies to a message carried on DMANET should NOT be
* addressed to DMANET but to the original sender. The
* original sender, however, is invited to prepare an
* update of the replies received and to communicate it
* via DMANET.
*
* DISCRETE MATHEMATICS AND ALGORITHMS NETWORK (DMANET)
* http://www.zaik.uni-koeln.de/AFS/publications/dmanet/
*
**********************************************************
[DMANET] 12th Privacy, Security and Trust (PST) Annual Conference, IEEE Xplore proceedings, Deadline approaching (March 24)
[Apologies if you receive multiple copies of this message]
==========================================================================
Call for Papers
Twelfth Annual Conference on Privacy, Security and Trust (PST 2014)
Toronto, Canada, July 23 - 24 2014
http://pst2014.ryerson.ca/
***** SUBMISSION DEADLINE: March 24, 2014 *******
==========================================================================
The PST2014 Annual Conference on Privacy, Security and Trust (PST) is
being held in Toronto, Canada, July 23-24, 2014. PST2014 is the twelfth
such annual conference focusing on PST technologies. PST2014 provides a
forum for researchers world-wide to unveil their latest work in privacy,
security and trust and to show how this research can be used to enable
innovation.
PST2014 topics include, but are NOT limited to, the following:
- Privacy Preserving / Enhancing Technologies
- Critical Infrastructure Protection
- Network and Wireless Security
- Operating Systems Security
- Intrusion Detection Technologies
- Secure Software Development and Architecture
- PST Challenges in e-Services, e.g. e-Health, e-Government, e-Commerce
- Network Enabled Operations
- Digital forensics
- Information Filtering, Data Mining and Knowledge from Data
- National Security and Public Safety
- Cryptographic techniques for privacy preservation
- Security Metrics
- Recommendation, Reputation and Delivery Technologies
- Continuous Authentication
- Trust Technologies, Technologies for Building Trust in e-Business Strategy
- Observations of PST in Practice, Society, Policy and Legislation
- Digital Rights Management
- Identity and Trust management
- PST and Cloud Computing
- Human Computer Interaction and PST
- Implications of, and Technologies for, Lawful Surveillance
- Biometrics, National ID Cards, Identity Theft
- PST and Web Services/SOA
- Privacy, Traceability, and Anonymity
- Trust and Reputation in Self-Organizing Environments
- Anonymity and Privacy vs. Accountability
- Access Control and Capability Delegation
- Representations and Formalizations of Trust in Electronic and Physical
Social Systems
========================
SUBMISSIONS
========================
High-quality papers in all PST related areas that, at the time of
submission, are not under review and have not already been published or
accepted for publications elsewhere are solicited. Accepted papers will
be accepted as 'regular' papers up to 8 pages, or 'short' papers of up
to 4 pages. Up to 2 additional pages will be allowed in each category
with over-length charges. The standard IEEE two-column conference format
should be used for all submissions. A copy of the IEEE Manuscript
Templates for Microsoft Word or LaTeX and additional information about
paper submission and conference topics and events can be found at the
conference web site. All accepted papers will be published in the
conference proceedings and by IEEE and will be accessible via IEEE
Xplore Digital Library.
Best Paper and Best Student Paper awards will be presented.
=======================================
IMPORTANT DATES
=======================================
Submission Deadline: March 24, 2014
Notification of Acceptance: May 12, 2014
Final Manuscript Due: May 25, 2014
PST 2014: July 23-24, 2014
=======================================
FURTHER INFORMATION
=======================================
Additional information about paper submission and conference topics and
events can be found at the conference web site:
http://pst2014.ryerson.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/
*
**********************************************************
==========================================================================
Call for Papers
Twelfth Annual Conference on Privacy, Security and Trust (PST 2014)
Toronto, Canada, July 23 - 24 2014
http://pst2014.ryerson.ca/
***** SUBMISSION DEADLINE: March 24, 2014 *******
==========================================================================
The PST2014 Annual Conference on Privacy, Security and Trust (PST) is
being held in Toronto, Canada, July 23-24, 2014. PST2014 is the twelfth
such annual conference focusing on PST technologies. PST2014 provides a
forum for researchers world-wide to unveil their latest work in privacy,
security and trust and to show how this research can be used to enable
innovation.
PST2014 topics include, but are NOT limited to, the following:
- Privacy Preserving / Enhancing Technologies
- Critical Infrastructure Protection
- Network and Wireless Security
- Operating Systems Security
- Intrusion Detection Technologies
- Secure Software Development and Architecture
- PST Challenges in e-Services, e.g. e-Health, e-Government, e-Commerce
- Network Enabled Operations
- Digital forensics
- Information Filtering, Data Mining and Knowledge from Data
- National Security and Public Safety
- Cryptographic techniques for privacy preservation
- Security Metrics
- Recommendation, Reputation and Delivery Technologies
- Continuous Authentication
- Trust Technologies, Technologies for Building Trust in e-Business Strategy
- Observations of PST in Practice, Society, Policy and Legislation
- Digital Rights Management
- Identity and Trust management
- PST and Cloud Computing
- Human Computer Interaction and PST
- Implications of, and Technologies for, Lawful Surveillance
- Biometrics, National ID Cards, Identity Theft
- PST and Web Services/SOA
- Privacy, Traceability, and Anonymity
- Trust and Reputation in Self-Organizing Environments
- Anonymity and Privacy vs. Accountability
- Access Control and Capability Delegation
- Representations and Formalizations of Trust in Electronic and Physical
Social Systems
========================
SUBMISSIONS
========================
High-quality papers in all PST related areas that, at the time of
submission, are not under review and have not already been published or
accepted for publications elsewhere are solicited. Accepted papers will
be accepted as 'regular' papers up to 8 pages, or 'short' papers of up
to 4 pages. Up to 2 additional pages will be allowed in each category
with over-length charges. The standard IEEE two-column conference format
should be used for all submissions. A copy of the IEEE Manuscript
Templates for Microsoft Word or LaTeX and additional information about
paper submission and conference topics and events can be found at the
conference web site. All accepted papers will be published in the
conference proceedings and by IEEE and will be accessible via IEEE
Xplore Digital Library.
Best Paper and Best Student Paper awards will be presented.
=======================================
IMPORTANT DATES
=======================================
Submission Deadline: March 24, 2014
Notification of Acceptance: May 12, 2014
Final Manuscript Due: May 25, 2014
PST 2014: July 23-24, 2014
=======================================
FURTHER INFORMATION
=======================================
Additional information about paper submission and conference topics and
events can be found at the conference web site:
http://pst2014.ryerson.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] Second CFP: 7th International Workshop on Numerical Software Verification
[Deadline for paper submission: March 20th 2014]
Apologies for multiple copies.
———
CALL FOR PAPERS
**************
** NSV 2014 **
**************
7th International Workshop on Numerical Software Verification
July 17-18, 2014
A Sattelite Workshop of Vienna Summer of Logic 2014
Vienna, Austria
Web Page: http://www.lix.polytechnique.fr/~bouissou/NSV14
Important Dates
===============
Submissions deadline: March 20th 2014.
Notification: May 4th 2014.
Final version: May 25th 2014.
Workshop: July 17th-18th 2014.
Novelty of this edition
=======================
The 2014 edition of NSV will be published electronically by Elsevier
in the Electronic Notes in Theoretical Computer Science Serie (ENTCS).
In this new NSV edition, we encourage publications about the numerical
issues in new domains, in particular computational finance and
biological systems: problems, consequences and state-of-the-art
approaches.
Description of the Workshop
===========================
Numerical computations are ubiquitous in digital systems: supervision,
prediction, simulation and signal processing rely heavily on numerical
calculus to achieve desired goals. Verification of numerical
algorithms has a unique set of challenges, which set it apart from
the rest of software verification. To achieve the verification and
validation of global properties, numerical techniques need to
precisely represent local behaviors of each component. In fact, in
numerical algorithms, coarse abstractions are unlikely to succeed
essentially because of the above mentioned issue. The implementation
of numerical techniques on modern hardware adds another layer of
approximation: the use of finite representations of infinite
precision numbers usually lack basic arithmetic properties such
as commutativity and associativity. It is hence imperative to develop
logical and mathematical techniques that would allow reasoning about
programmability and reliability. The NSV workshop is dedicated to the
current development and the future prospects for such techniques.
Topics
===============
The scope of the workshop includes, but is not restricted to, the
following topics:
- Models and abstraction techniques
- Specifications of correctness for numerical programs
- Formal specification and verification of numerical programs
- Quality of finite precision implementations
- Propagation of uncertainties, deterministic and probabilistic models
- Numerical properties of control software
- Hybrid systems verification
- Validation for space, avionics, automotive and real-time applications
- Validation for scientific computing programs
- Optimality of program behavior
- Trade-offs between quality of service and resource (for example
energy) consumption in programs
- Benchmarks and tools for numerical software verification
- Numerical issues in computational finance
Submission information
======================
We solicit regular and short papers.
Paper submission must be performed via the EasyChair system:
http://easychair.org/?conf=nsv14
Regular 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 or a
conference with refereed proceedings. Submitted papers will be judged
on the basis of significance, relevance, correctness, originality, and
clarity. They should clearly identify what has been accomplished and
why it is significant.
Regular paper submissions should not exceed 15 pages in ENTCS style,
including bibliography and well-marked appendices:
http://www.entcs.org/prelim.html
Program committee members are not required to read the appendices, and
thus papers must be intelligible without them.
Short papers are also welcomed, they should present tools, benchmarks,
case-studies or be extended abstracts of ongoing research. Short
papers should not exceed 6 pages.
Regular papers will be published electronically by Elsevier in the
Electronic Notes in Theoretical Computer Science serie ENTCS), all
accepted (regular and short) papers will also be included in the
Vienna Summer of Logic USB-stick distributed to all participants to the VSL.
Confirmed Invited Speakers
===========================
* Jean-Michel Muller, LIP, Ecole Normale Supérieure de Lyon
* Sumit Kumar Jha, University of Central Florida, Orlando
Organizers
==========
Olivier Bouissou, CEA, LIST
Khalil Ghorbal, Carnegie Mellon University
All questions about the workshop can be addressed to them via email:
nsv2014@easychair.org
Program Committee
==================
- Sylvie Boldo Inria
- Olivier Bouissou CEA, LIST
- Jyotirmoy Deshmukh Toyota Technical Center
- Khalil Ghorbal Carnegie Mellon University
- Eric Goubault CEA, LIST
- Sylvie Putot CEA, LIST
- Sriram Sankaranarayanan Boulder University
**********************************************************
*
* Contributions to be spread via DMANET are submitted to
*
* DMANET@zpr.uni-koeln.de
*
* Replies to a message carried on DMANET should NOT be
* addressed to DMANET but to the original sender. The
* original sender, however, is invited to prepare an
* update of the replies received and to communicate it
* via DMANET.
*
* DISCRETE MATHEMATICS AND ALGORITHMS NETWORK (DMANET)
* http://www.zaik.uni-koeln.de/AFS/publications/dmanet/
*
**********************************************************
Apologies for multiple copies.
———
CALL FOR PAPERS
**************
** NSV 2014 **
**************
7th International Workshop on Numerical Software Verification
July 17-18, 2014
A Sattelite Workshop of Vienna Summer of Logic 2014
Vienna, Austria
Web Page: http://www.lix.polytechnique.fr/~bouissou/NSV14
Important Dates
===============
Submissions deadline: March 20th 2014.
Notification: May 4th 2014.
Final version: May 25th 2014.
Workshop: July 17th-18th 2014.
Novelty of this edition
=======================
The 2014 edition of NSV will be published electronically by Elsevier
in the Electronic Notes in Theoretical Computer Science Serie (ENTCS).
In this new NSV edition, we encourage publications about the numerical
issues in new domains, in particular computational finance and
biological systems: problems, consequences and state-of-the-art
approaches.
Description of the Workshop
===========================
Numerical computations are ubiquitous in digital systems: supervision,
prediction, simulation and signal processing rely heavily on numerical
calculus to achieve desired goals. Verification of numerical
algorithms has a unique set of challenges, which set it apart from
the rest of software verification. To achieve the verification and
validation of global properties, numerical techniques need to
precisely represent local behaviors of each component. In fact, in
numerical algorithms, coarse abstractions are unlikely to succeed
essentially because of the above mentioned issue. The implementation
of numerical techniques on modern hardware adds another layer of
approximation: the use of finite representations of infinite
precision numbers usually lack basic arithmetic properties such
as commutativity and associativity. It is hence imperative to develop
logical and mathematical techniques that would allow reasoning about
programmability and reliability. The NSV workshop is dedicated to the
current development and the future prospects for such techniques.
Topics
===============
The scope of the workshop includes, but is not restricted to, the
following topics:
- Models and abstraction techniques
- Specifications of correctness for numerical programs
- Formal specification and verification of numerical programs
- Quality of finite precision implementations
- Propagation of uncertainties, deterministic and probabilistic models
- Numerical properties of control software
- Hybrid systems verification
- Validation for space, avionics, automotive and real-time applications
- Validation for scientific computing programs
- Optimality of program behavior
- Trade-offs between quality of service and resource (for example
energy) consumption in programs
- Benchmarks and tools for numerical software verification
- Numerical issues in computational finance
Submission information
======================
We solicit regular and short papers.
Paper submission must be performed via the EasyChair system:
http://easychair.org/?conf=nsv14
Regular 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 or a
conference with refereed proceedings. Submitted papers will be judged
on the basis of significance, relevance, correctness, originality, and
clarity. They should clearly identify what has been accomplished and
why it is significant.
Regular paper submissions should not exceed 15 pages in ENTCS style,
including bibliography and well-marked appendices:
http://www.entcs.org/prelim.html
Program committee members are not required to read the appendices, and
thus papers must be intelligible without them.
Short papers are also welcomed, they should present tools, benchmarks,
case-studies or be extended abstracts of ongoing research. Short
papers should not exceed 6 pages.
Regular papers will be published electronically by Elsevier in the
Electronic Notes in Theoretical Computer Science serie ENTCS), all
accepted (regular and short) papers will also be included in the
Vienna Summer of Logic USB-stick distributed to all participants to the VSL.
Confirmed Invited Speakers
===========================
* Jean-Michel Muller, LIP, Ecole Normale Supérieure de Lyon
* Sumit Kumar Jha, University of Central Florida, Orlando
Organizers
==========
Olivier Bouissou, CEA, LIST
Khalil Ghorbal, Carnegie Mellon University
All questions about the workshop can be addressed to them via email:
nsv2014@easychair.org
Program Committee
==================
- Sylvie Boldo Inria
- Olivier Bouissou CEA, LIST
- Jyotirmoy Deshmukh Toyota Technical Center
- Khalil Ghorbal Carnegie Mellon University
- Eric Goubault CEA, LIST
- Sylvie Putot CEA, LIST
- Sriram Sankaranarayanan Boulder University
**********************************************************
*
* Contributions to be spread via DMANET are submitted to
*
* DMANET@zpr.uni-koeln.de
*
* Replies to a message carried on DMANET should NOT be
* addressed to DMANET but to the original sender. The
* original sender, however, is invited to prepare an
* update of the replies received and to communicate it
* via DMANET.
*
* DISCRETE MATHEMATICS AND ALGORITHMS NETWORK (DMANET)
* http://www.zaik.uni-koeln.de/AFS/publications/dmanet/
*
**********************************************************
[DMANET] [AOC 2014] Last Days - IEEE WoWMoM Workshop on Autonomic and
Opportunistic Communications (AOC 2014)
Message-ID: <53145805.IGeXJuBO9psleche%d.mascitti@iit.cnr.it>
User-Agent: Heirloom mailx 12.4 7/29/08
MIME-Version: 1.0
Content-Type: text/plain; charset=us-ascii
Content-Transfer-Encoding: 7bit
---------------------------------------------------------------------
CALL FOR PAPERS
Eighth IEEE WoWMoM Workshop on
Autonomic and Opportunistic Communications (AOC 2014)
June 16, 2014 - Sydney, Australia
http://aoc2014.conference.nicta.com.au
Fast Track on Computer Communication Journal
http://www.elsevier.com/locate/comcom
**** Submission Deadline --- March 7, 2014 ****
---------------------------------------------------------------------
The recent proliferation of sensor-rich portable devices is enabling
novel communication paradigms for users and contributing to the
implementation of the ubiquitous computing and networking vision.
Opportunistic networking represents a key communication paradigm for
this vision. Either as a standalone communication mode or as a
complement to infrastructure-based communication, opportunistic
networking leverages the mobility of end users to enhance their ability
to communicate in the absence of reliable end-to-end connectivity.
Opportunistic networking opens up many possibilities but also poses
countless new challenges. The goal of the AOC 2014 workshop is to serve
as a forum for researchers, professionals, application developers, and
other experts from both academia and industry to exchange new ideas,
discuss new solutions, and share their experiences. As with previous
editions, this year's workshop is particularly interested in novel
research directions, such as service composition techniques,
co-existence with infrastructure networks, and insights from game
theory, social networking analysis, and cognitive psychology. The
workshop will solicit original papers addressing theoretical and
practical aspects of autonomic and opportunistic communications as well
as papers describing prototype implementations and deployments.
Topics of interest for AOC 2014 include, but are not limited to:
* Routing, transport, and reliability issues
* Techniques for data dissemination and replication
* Applications and middleware support, mobile social networking
applications
* Mobility models and statistical analysis of mobility traces
* Context and social awareness mechanisms and algorithms
* Co-existence of opportunistic networks with infrastructure mobile
wireless networks
* Service composition in autonomic and opportunistic networks
* Cognition-driven information processing and decision making
* Performance modelling, scaling laws, and fundamental limits for
autonomic and opportunistic communications
* Game-theoretical insights to the operation of autonomic and
opportunistic networks
* Participatory and urban sensing in autonomic and opportunistic
networks
* Trust, security, and reputation
* Autonomic and opportunistic communication testbeds and prototypes,
measurement data from real experiments
* Socio-economic models for autonomic and opportunistic communications
* Mobile Social networks
PAPER SUBMISSION AND PUBLICATION
================================
Papers should neither have been published elsewhere nor being currently
under review by another conference or journal. Manuscripts are limited
to 6 pages, single spacing, double column, and must strictly adhere to
the template format.
Accepted papers will appear in the symposium proceedings published by
IEEE. There will be no separate workshop registration, as one single
registration will cover both conference and workshops participation. At
least one author of each accepted paper is required and present his/her
work at the workshop.
Submissions and reviews will be done through EDAS. Please submit your
manuscript at http://edas.info/N16861. Extended versions of the
selected workshop papers will be considered for possible fast track
publication on the Computer Communications Journal (Elsevier).
IMPORTANT DATES
===============
* Full papers due: March 7, 2014
* Notification: April 15, 2014
* Workshop: June 16, 2014
ORGANIZING COMMITTEE
====================
Workshop Chairs
~~~~~~~~~~~~~~~
* Mohan Kumar, Rochester Institute of Technology, USA
* Peizhao Hu, NICTA, Australia
Steering Committee
~~~~~~~~~~~~~~~~~~
* Marco Conti, IIT-CNR, Italy
* Silvia Giordano, SUPSI, Switzerland
* Ioannis Stavrakakis, University of Athens, Greece
Publicity Chairs
~~~~~~~~~~~~~~~~
* Olivier Mehani, NICTA, Australia
* Davide Mascitti, IIT-CNR, Italy
Webmaster
~~~~~~~~~
* Christoph Dwertmann, NICTA, Australia
Program Committee (tentative)
=============================
* Nils Aschenbruck, University of Osnabruck, Germany
* Chiara Boldrini, IIT-CNR, Italy
* Eleonora Borgia, IIT-CNR, Italy
* Jian-Nong Cao, Hong Kong Polytechnic University, HK
* Vania Conan, Thales, France
* Serge Fdida, UPMC, Paris VI, France
* Laura Galluccio, University of Catania, Italy
* Tristan Henderson, University of St. Andrews, UK
* Kyunghan Lee, North Carolina State University, USA
* Franck Legendre, ETH Zurich, Switzerland
* Daniele Miorandi, Create-net, Italy
* Valtteri Niemi, Nokia, Switzerland
* Katia Obraczka, University of California, Santa Cruz, USA
* Konstantinos Oikonomou, Ionian University, Greece
* Joerg Ott, HUT, Finland
* Elena Pagani, Universita' degli Studi di Milano, Italy
* Andrea Passarella, IIT-CNR, Italy
* Daniele Puccinelli, SUPSI, Switzerland
* Christian Rohner, Uppsala University, Sweden
* Abdullatif Shikfa, Alcatel Lucent Bell Labs, France
* Weisheng Si, University of Western Sydney, Australia
* Thrasyvoulos Spyropoulos, EURECOM, France
* Roger Whitaker, Cardiff University, UK
* Hongyi Wu, University of Louisiana at Lafayette, USA
* Eiko Yoneki, University of Cambridge, UK
* Franco Zambonelli, University of Modena-Reggio, Italy
* Sebastian Zander, Swinburne University of Technology, Australia
**********************************************************
*
* 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/
*
**********************************************************
Message-ID: <53145805.IGeXJuBO9psleche%d.mascitti@iit.cnr.it>
User-Agent: Heirloom mailx 12.4 7/29/08
MIME-Version: 1.0
Content-Type: text/plain; charset=us-ascii
Content-Transfer-Encoding: 7bit
---------------------------------------------------------------------
CALL FOR PAPERS
Eighth IEEE WoWMoM Workshop on
Autonomic and Opportunistic Communications (AOC 2014)
June 16, 2014 - Sydney, Australia
http://aoc2014.conference.nicta.com.au
Fast Track on Computer Communication Journal
http://www.elsevier.com/locate/comcom
**** Submission Deadline --- March 7, 2014 ****
---------------------------------------------------------------------
The recent proliferation of sensor-rich portable devices is enabling
novel communication paradigms for users and contributing to the
implementation of the ubiquitous computing and networking vision.
Opportunistic networking represents a key communication paradigm for
this vision. Either as a standalone communication mode or as a
complement to infrastructure-based communication, opportunistic
networking leverages the mobility of end users to enhance their ability
to communicate in the absence of reliable end-to-end connectivity.
Opportunistic networking opens up many possibilities but also poses
countless new challenges. The goal of the AOC 2014 workshop is to serve
as a forum for researchers, professionals, application developers, and
other experts from both academia and industry to exchange new ideas,
discuss new solutions, and share their experiences. As with previous
editions, this year's workshop is particularly interested in novel
research directions, such as service composition techniques,
co-existence with infrastructure networks, and insights from game
theory, social networking analysis, and cognitive psychology. The
workshop will solicit original papers addressing theoretical and
practical aspects of autonomic and opportunistic communications as well
as papers describing prototype implementations and deployments.
Topics of interest for AOC 2014 include, but are not limited to:
* Routing, transport, and reliability issues
* Techniques for data dissemination and replication
* Applications and middleware support, mobile social networking
applications
* Mobility models and statistical analysis of mobility traces
* Context and social awareness mechanisms and algorithms
* Co-existence of opportunistic networks with infrastructure mobile
wireless networks
* Service composition in autonomic and opportunistic networks
* Cognition-driven information processing and decision making
* Performance modelling, scaling laws, and fundamental limits for
autonomic and opportunistic communications
* Game-theoretical insights to the operation of autonomic and
opportunistic networks
* Participatory and urban sensing in autonomic and opportunistic
networks
* Trust, security, and reputation
* Autonomic and opportunistic communication testbeds and prototypes,
measurement data from real experiments
* Socio-economic models for autonomic and opportunistic communications
* Mobile Social networks
PAPER SUBMISSION AND PUBLICATION
================================
Papers should neither have been published elsewhere nor being currently
under review by another conference or journal. Manuscripts are limited
to 6 pages, single spacing, double column, and must strictly adhere to
the template format.
Accepted papers will appear in the symposium proceedings published by
IEEE. There will be no separate workshop registration, as one single
registration will cover both conference and workshops participation. At
least one author of each accepted paper is required and present his/her
work at the workshop.
Submissions and reviews will be done through EDAS. Please submit your
manuscript at http://edas.info/N16861. Extended versions of the
selected workshop papers will be considered for possible fast track
publication on the Computer Communications Journal (Elsevier).
IMPORTANT DATES
===============
* Full papers due: March 7, 2014
* Notification: April 15, 2014
* Workshop: June 16, 2014
ORGANIZING COMMITTEE
====================
Workshop Chairs
~~~~~~~~~~~~~~~
* Mohan Kumar, Rochester Institute of Technology, USA
* Peizhao Hu, NICTA, Australia
Steering Committee
~~~~~~~~~~~~~~~~~~
* Marco Conti, IIT-CNR, Italy
* Silvia Giordano, SUPSI, Switzerland
* Ioannis Stavrakakis, University of Athens, Greece
Publicity Chairs
~~~~~~~~~~~~~~~~
* Olivier Mehani, NICTA, Australia
* Davide Mascitti, IIT-CNR, Italy
Webmaster
~~~~~~~~~
* Christoph Dwertmann, NICTA, Australia
Program Committee (tentative)
=============================
* Nils Aschenbruck, University of Osnabruck, Germany
* Chiara Boldrini, IIT-CNR, Italy
* Eleonora Borgia, IIT-CNR, Italy
* Jian-Nong Cao, Hong Kong Polytechnic University, HK
* Vania Conan, Thales, France
* Serge Fdida, UPMC, Paris VI, France
* Laura Galluccio, University of Catania, Italy
* Tristan Henderson, University of St. Andrews, UK
* Kyunghan Lee, North Carolina State University, USA
* Franck Legendre, ETH Zurich, Switzerland
* Daniele Miorandi, Create-net, Italy
* Valtteri Niemi, Nokia, Switzerland
* Katia Obraczka, University of California, Santa Cruz, USA
* Konstantinos Oikonomou, Ionian University, Greece
* Joerg Ott, HUT, Finland
* Elena Pagani, Universita' degli Studi di Milano, Italy
* Andrea Passarella, IIT-CNR, Italy
* Daniele Puccinelli, SUPSI, Switzerland
* Christian Rohner, Uppsala University, Sweden
* Abdullatif Shikfa, Alcatel Lucent Bell Labs, France
* Weisheng Si, University of Western Sydney, Australia
* Thrasyvoulos Spyropoulos, EURECOM, France
* Roger Whitaker, Cardiff University, UK
* Hongyi Wu, University of Louisiana at Lafayette, USA
* Eiko Yoneki, University of Cambridge, UK
* Franco Zambonelli, University of Modena-Reggio, Italy
* Sebastian Zander, Swinburne University of Technology, Australia
**********************************************************
*
* Contributions to be spread via DMANET are submitted to
*
* DMANET@zpr.uni-koeln.de
*
* Replies to a message carried on DMANET should NOT be
* addressed to DMANET but to the original sender. The
* original sender, however, is invited to prepare an
* update of the replies received and to communicate it
* via DMANET.
*
* DISCRETE MATHEMATICS AND ALGORITHMS NETWORK (DMANET)
* http://www.zaik.uni-koeln.de/AFS/publications/dmanet/
*
**********************************************************
[DMANET] 2nd CfP: EUROPT 2014 --- Joint event with IFORS 2014
=======================================================
Second Announcement
Deadline for submission of abstract: March 15, 2014
------------------------------------------------------------------
EUROPT 2014
Joint event with IFORS 2014
Date: July 10-12, 2014
Venue: Perpignan, France (1h30 to/from Barcelona by train)
Second Call for Papers
We invite all researchers from the optimization
community to take part in the EUROPT2014, to be held
in Perpignan, France, July 10-12, 2014.
EUROPT2014 is the annual event of the "EUROPT group",
the Continuous Optimization Working Group of EURO
(The Association of European Operational Research
Societies). EUROPT2014 is the 12th Workshop on advances
in continuous optimization. EUROPT2014 is a joint event of
the EURO/IFORS 2014 conference to be held in Barcelona,
July 13-18, 2014.
The academic program will consist in plenary talks and
parallel sessions covering several aspects of continuous
optimization.
Conference website:
http://europt2014.univ-perp.fr/index.html
Plenary speakers:
- Miguel F. Anjos, Polytechnique Montréal Canada
- Jean-Baptiste Hiriart-Urruty, Université Paul Sabatier,
Toulouse, France
- Daniel Ralph, Cambridge UK
EUROPT Fellow Lecture by Immanuel Bomze, Vienna, Austria
Special Issue
A post-conference special issue of the journal Optimization
will be published.
Important Dates
January 1, 2014 Paper/abstract submission begins.
March 15, 2014 Paper submission deadline.
April 15, 2014 Paper acceptance/rejection notification.
January 1, 2014 Early registration begins.
May 15, 2014 Late registration begins.
Conference Topics
Classical topics developed in this series of
conferences are, but are not limited to:
- convex optimization and generalized convexity;
- local nonlinear optimization;
- global nonlinear optimization;
- optimal control - theory and applications;
- multiobjective optimization;
- conic optimization and semidefinite programming;
- semiinfinite optimization;
- robust optimization;
- stochastic optimization;
- large-scale methods in global search;
- optimization in data mining;
- data visualization for optimal decisions;
- applications of continuous optimization to combinatorial problems;
- optimization in industry, business and finance;
- supply chain management;
- analysis and engineering of algorithms;
- software development.
Didier Aussel and J.-N. Corvellec
(on behalf of the organizing committee)
=======================================================
**********************************************************
*
* 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/
*
**********************************************************
Second Announcement
Deadline for submission of abstract: March 15, 2014
------------------------------------------------------------------
EUROPT 2014
Joint event with IFORS 2014
Date: July 10-12, 2014
Venue: Perpignan, France (1h30 to/from Barcelona by train)
Second Call for Papers
We invite all researchers from the optimization
community to take part in the EUROPT2014, to be held
in Perpignan, France, July 10-12, 2014.
EUROPT2014 is the annual event of the "EUROPT group",
the Continuous Optimization Working Group of EURO
(The Association of European Operational Research
Societies). EUROPT2014 is the 12th Workshop on advances
in continuous optimization. EUROPT2014 is a joint event of
the EURO/IFORS 2014 conference to be held in Barcelona,
July 13-18, 2014.
The academic program will consist in plenary talks and
parallel sessions covering several aspects of continuous
optimization.
Conference website:
http://europt2014.univ-perp.fr/index.html
Plenary speakers:
- Miguel F. Anjos, Polytechnique Montréal Canada
- Jean-Baptiste Hiriart-Urruty, Université Paul Sabatier,
Toulouse, France
- Daniel Ralph, Cambridge UK
EUROPT Fellow Lecture by Immanuel Bomze, Vienna, Austria
Special Issue
A post-conference special issue of the journal Optimization
will be published.
Important Dates
January 1, 2014 Paper/abstract submission begins.
March 15, 2014 Paper submission deadline.
April 15, 2014 Paper acceptance/rejection notification.
January 1, 2014 Early registration begins.
May 15, 2014 Late registration begins.
Conference Topics
Classical topics developed in this series of
conferences are, but are not limited to:
- convex optimization and generalized convexity;
- local nonlinear optimization;
- global nonlinear optimization;
- optimal control - theory and applications;
- multiobjective optimization;
- conic optimization and semidefinite programming;
- semiinfinite optimization;
- robust optimization;
- stochastic optimization;
- large-scale methods in global search;
- optimization in data mining;
- data visualization for optimal decisions;
- applications of continuous optimization to combinatorial problems;
- optimization in industry, business and finance;
- supply chain management;
- analysis and engineering of algorithms;
- software development.
Didier Aussel and J.-N. Corvellec
(on behalf of the organizing committee)
=======================================================
**********************************************************
*
* 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, March 2, 2014
Conference on Learning Theory 2014: Call for "Open Problems" submissions (deadline April 10)
COLT 2014 will include a session devoted to the presentation of open
problems. A description of these problems will also appear in the COLT
proceedings.
The deadline for submissions is April 10.
The write-up of an open problem should include:
-- a clearly defined theoretical problem.
-- the motivation for studying the problem, with an argument why it is
important, interesting, and not too easy.
-- the current state of this problem (including any known partial or
conjectured solutions and relevant references).
As last year, we encourage submissions of problems not conventionally in
the scope of COLT, as long as there is a convincing reason to include it
in the conference. You should be able to clearly express the problem in
a short presentation. A monetary reward for solving an open problem is
encouraged but not required.
If you would like to submit a problem, please email it to
colt2014open@gmail.com by April 10, 2014. Submissions should be at most 3
pages long and should be in the COLT'14 JMLR format (pdf or ps).
Submissions should be non-anonymous.
Examples of open problems from past years:
2013: http://jmlr.org/proceedings/papers/v30/#open-problem
2012: http://jmlr.org/proceedings/papers/v23/ (scroll down)
2011: http://jmlr.csail.mit.edu/proceedings/papers/v19/ (scroll down)
2010: http://www.colt2010.org/papers/COLT2010proceedings.pdf
2009: http://www.cs.mcgill.ca/~colt2009/proceedings.html (scroll down)
On behalf of the COLT 2014 organizers,
Program Chairs
* Maria-Florina Balcan (Georgia Institute of Technology)
* Csaba Szepesvári (University of Alberta)
Local Arrangements Chairs
* Sébastien Bubeck (Princeton University)
* Gábor Lugosi (ICREA and Pompeu Fabra University)
Publication Chair
* Vitaly Feldman (IBM Almaden Research Center)
problems. A description of these problems will also appear in the COLT
proceedings.
The deadline for submissions is April 10.
The write-up of an open problem should include:
-- a clearly defined theoretical problem.
-- the motivation for studying the problem, with an argument why it is
important, interesting, and not too easy.
-- the current state of this problem (including any known partial or
conjectured solutions and relevant references).
As last year, we encourage submissions of problems not conventionally in
the scope of COLT, as long as there is a convincing reason to include it
in the conference. You should be able to clearly express the problem in
a short presentation. A monetary reward for solving an open problem is
encouraged but not required.
If you would like to submit a problem, please email it to
colt2014open@gmail.com by April 10, 2014. Submissions should be at most 3
pages long and should be in the COLT'14 JMLR format (pdf or ps).
Submissions should be non-anonymous.
Examples of open problems from past years:
2013: http://jmlr.org/proceedings/papers/v30/#open-problem
2012: http://jmlr.org/proceedings/papers/v23/ (scroll down)
2011: http://jmlr.csail.mit.edu/proceedings/papers/v19/ (scroll down)
2010: http://www.colt2010.org/papers/COLT2010proceedings.pdf
2009: http://www.cs.mcgill.ca/~colt2009/proceedings.html (scroll down)
On behalf of the COLT 2014 organizers,
Program Chairs
* Maria-Florina Balcan (Georgia Institute of Technology)
* Csaba Szepesvári (University of Alberta)
Local Arrangements Chairs
* Sébastien Bubeck (Princeton University)
* Gábor Lugosi (ICREA and Pompeu Fabra University)
Publication Chair
* Vitaly Feldman (IBM Almaden Research Center)
Saturday, March 1, 2014
[DMANET] BCTCS 2014 Registration Deadline Approaching
30th British Colloquium for Theoretical Computer Science (BCTCS)
9th to 11th April 2014
Loughborough University
http://bctcs.lboro.ac.uk/
*** DEADLINE for guaranteed on-campus accommodation: 11 MARCH ***
*** DEADLINE for bursary applications: 7 MARCH ***
REGISTRATION OPEN - PLEASE REGISTER EARLY
We must start to release pre-booked accommodation on 11th March, please book early to ensure rooms are available.
INVITED SPEAKERS
BCTCS 2014 will include invited lectures by the following distinguished speakers:
* Leszek Gasieniec (Liverpool)
* Achim Jung (Birmingham)
* Timo Koetzing (Jena)
* Jeffrey Shallit (Waterloo) LMS-sponsored Keynote Speaker in Discrete Mathematics
STUDENT BURSARIES
DEADLINE: 7th MARCH
A small number of student bursaries are still available. The bursaries are intended to cover registration, accommodation, meals, all sessions and 1 year's EATCS membership.
CONTRIBUTED TALKS
Participants at the colloquium are encouraged to present a contributed talk. Abstracts of contributed talks can be uploaded when registering. The abstracts of accepted contributed talks will be published in the Bulletin of the European Association for Theoretical Computer Science (EATCS).
ORGANISATION AND FURTHER INFORMATION
More information about the meeting including updates is available from the conference webpages at: http://bctcs.lboro.ac.uk/
Queries can be sent to: bctcs@lboro.ac.uk
We hope to see you in Loughborough in April!
**********************************************************
*
* 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/
*
**********************************************************
9th to 11th April 2014
Loughborough University
http://bctcs.lboro.ac.uk/
*** DEADLINE for guaranteed on-campus accommodation: 11 MARCH ***
*** DEADLINE for bursary applications: 7 MARCH ***
REGISTRATION OPEN - PLEASE REGISTER EARLY
We must start to release pre-booked accommodation on 11th March, please book early to ensure rooms are available.
INVITED SPEAKERS
BCTCS 2014 will include invited lectures by the following distinguished speakers:
* Leszek Gasieniec (Liverpool)
* Achim Jung (Birmingham)
* Timo Koetzing (Jena)
* Jeffrey Shallit (Waterloo) LMS-sponsored Keynote Speaker in Discrete Mathematics
STUDENT BURSARIES
DEADLINE: 7th MARCH
A small number of student bursaries are still available. The bursaries are intended to cover registration, accommodation, meals, all sessions and 1 year's EATCS membership.
CONTRIBUTED TALKS
Participants at the colloquium are encouraged to present a contributed talk. Abstracts of contributed talks can be uploaded when registering. The abstracts of accepted contributed talks will be published in the Bulletin of the European Association for Theoretical Computer Science (EATCS).
ORGANISATION AND FURTHER INFORMATION
More information about the meeting including updates is available from the conference webpages at: http://bctcs.lboro.ac.uk/
Queries can be sent to: bctcs@lboro.ac.uk
We hope to see you in Loughborough in April!
**********************************************************
*
* 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
