INVITATION:
=================
Please consider to contribute to and/or forward to the appropriate groups the following opportunity to submit and publish original scientific results to ICAS 2014.
The submission deadline is December 20, 2013.
Authors of selected papers will be invited to submit extended article versions to one of the IARIA Journals: http://www.iariajournals.org
=================
============== ICAS 2014 | Call for Papers ===============
CALL FOR PAPERS, TUTORIALS, PANELS
ICAS 2014, The Tenth International Conference on Autonomic and Autonomous Systems
April 20 - 24, 2014 - Chamonix, France
General page: http://www.iaria.org/conferences2014/ICAS14.html
Call for Papers: http://www.iaria.org/conferences2014/CfPICAS14.html
- regular papers
- short papers (work in progress)
- posters
- ideas
Submission page: http://www.iaria.org/conferences2014/SubmitICAS14.html
Submission deadline: December 20, 2013
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
Please note the Poster and Work in Progress options.
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 comply with the editorial rules: http://www.iaria.org/editorialrules.html
ICAS 2014 Topics (topics and submission details: see CfP on the site)
SYSAT: Advances in system automation
Methods, techniques ant tools for automation features; Methodologies for automating of design systems; Industrial automation for production chains; Nonlinear optimization and automation control; Nonlinearities and system stabilization; Automation in safety systems; Structured uncertainty; Open and closed automation loops; Test systems automation; Theory on systems robustness; Fault-tolerant systems
AUTSY: Theory and Practice of Autonomous Systems
Design, implementation and deployment of autonomous systems; Frameworks and architectures for component and system autonomy; Design methodologies for autonomous systems; Composing autonomous systems; Formalisms and languages for autonomous systems; Logics and paradigms for autonomous systems; Ambient and real-time paradigms for autonomous systems; Delegation and trust in autonomous systems; Centralized and distributed autonomous systems; Collocation and interaction between autonomous and non-autonomous systems; Dependability in autonomous systems; Survivability and recovery in autonomous systems; Monitoring and control in autonomous systems; Performance and security in autonomous systems; Management of autonomous systems; Testing autonomous systems; Maintainability of autonomous systems
AWARE: Design and Deployment of Context-awareness Networks, Services and Applications
Context-aware fundamental concepts, mechanisms, and applications; Modeling context-aware systems; Specification and implementation of awareness behavioral contexts; Development and deployment of large-scale context-aware systems and subsystems; User awareness requirements and design techniques for interfaces and systems; Methodologies, metrics, tools, and experiments for specifying context-aware systems; Tools evaluations, Experiment evaluations
AUTONOMIC: Autonomic Computing: Design and Management of Self-behavioral Networks and Services
Theory, architectures, frameworks and practice of self-adaptive management mechanisms; Modeling and techniques for specifying self-ilities; Self-stabilization and dynamic stability criteria and mechanisms; Tools, languages and platforms for designing self-driven systems; Autonomic computing and GRID networking; Autonomic computing and proactive computing for autonomous systems; Practices, criteria and methods to implement, test, and evaluate industrial autonomic systems; Experiences with autonomic computing systems
CLOUD: Cloud computing and Virtualization
Hardware-as-a-service; Software-as-a-service [SaaS applicaitions]; Platform-as-service; On-demand computing models; Cloud Computing programming and application development; Scalability, discovery of services and data in Cloud computing infrastructures; Privacy, security, ownership and reliability issues; Performance and QoS; Dynamic resource provisioning; Power-efficiency and Cloud computing; Load balancing; Application streaming; Cloud SLAs, business models and pricing policies; Custom platforms; Large-scale compute infrastructures; Managing applications in the clouds; Data centers; Process in the clouds; Content and service distribution in Cloud computing infrastructures; Multiple applications can run on one computer (virtualization a la VMWare); Grid computing (multiple computers can be used to run one application); Virtualization platforms; Open virtualization format; Cloud-computing vendor governance and regulatory compliance
MCMAC: Monitoring, Control, and Management of Autonomous Self-aware and Context-aware Systems
Agent-based autonomous systems; Policy-driven self-awareness mechanisms and their applicability in autonomic systems; Autonomy in GRID networking and utility computing; Studies on autonomous industrial applications, services, and their developing environment; Prototypes, experimental systems, tools for autonomous systems, GRID middleware
CASES: Automation in specialized mobile environments
Theory, frameworks, mechanisms and case studies for satellite systems; Spatial/temporal constraints in satellites systems; Trajectory corrections, speed, and path accuracy in satellite systems; Mechanisms and case studies for nomadic code systems; Platforms for mobile agents and active mobile code; Performance in nomadic code systems; Case studies systems for mobile robot systems; Guidance in an a priori unknown environment; Coaching/learning techniques; Pose maintenance, and mapping; Sensing for autonomous vehicles; Planning for autonomous vehicles; Mobile networks, Ad hoc networks and self-reconfigurable networks
ALCOC: Algorithms and theory for control and computation
Control theory and specific characteristics; Types of computation theories; Tools for computation and control; Algorithms and data structures; Special algorithmic techniques; Algorithmic applications; Domain case studies; Technologies case studies for computation and control; Application-aware networking
MODEL: Modeling, virtualization, any-on-demand, MDA, SOA
Modeling techniques, tools, methodologies, languages; Model-driven architectures (MDA); Service-oriented architectures (SOA); Utility computing frameworks and fundamentals; Enabled applications through virtualization; Small-scale virtualization methodologies and techniques; Resource containers, physical resource multiplexing, and segmentation; Large-scale virtualization methodologies and techniques; Management of virtualized systems; Platforms, tools, environments, and case studies; Making virtualization real; On-demand utilities; Adaptive enterprise; Managing utility-based systems; Development environments, tools, prototypes
SELF: Self-adaptability and self-management of context-aware systems
Novel approaches to modeling and representing context adaptability, self-adaptability, and self-manageability; Models of computation for self-management context-aware systems; Use of MDA/MDD (Model Driven Architecture / Model Driven Development) for context-aware systems; Design methods for self-adaptable context-aware systems; Applications of advanced modeling languages to context self-adaptability; Methods for managing adding context to existing systems and context-conflict free systems; Architectures and middleware models for self-adaptable context-aware systems; Models of different adaptation and self-adaptation mechanisms (component-based adaptation approach, aspect oriented approach, etc.); System stability in the presence of context inconsistency; Learning and self-adaptability of context-aware systems; Business considerations and organizational modeling of self-adaptable context-aware systems; Performance evaluation of self-adaptable context-aware systems; Scalabilit!
y of self-adaptable context-aware s
ystems
KUI: Knowledge-based user interface
Evolving intelligent user interface for WWW; User interface design in autonomic systems; Adaptive interfaces in a knowledge-based design; Knowledge-based support for the user interface design process; Built-in knowledge in adaptive user interfaces; Requirements for interface knowledge representation; Levels for knowledge-based user interface; User interface knowledge on the dynamic behavior; Support techniques for knowledge-based user interfaces; Intelligent user interface for real-time systems; Planning-based control of interface animation; Model-based user interface design; Knowledge-based user interface migration; Automated user interface requirements discovery for scientific computing; Knowledge-based user interface management systems; 3D User interface design; Task-oriented knowledge user interfaces; User-interfaces in a domestic environment; Centralised control in the home; User-interfaces for the elderly or disabled; User-interfaces for the visually, aurally, or mobil!
ity impaired; Interfacing with ambi
ent intelligence systems; Assisted living interfaces; Interfaces for security/alarm systems
AMMO: Adaptive management and mobility
QoE and adaptation in mobile environments; Content marking and management (i.e. MPEG21); Adaptive coding (H.265, FEC schemes, etc.. ); Admission control resource allocation algorithms; Monitoring and feedback systems; Link adaptation mechanisms; Cross layer approaches; Adaptation protocols (with IMS and NGNs scenarios); QoE vs NQoS mapping systems; Congestion control mechanisms; Fairness issues (fair sharing, bandwidth allocation...); Optimization/management mechanisms (MOO, fuzzy logic, machine learning, etc.)
-------------------------------------
Committee: http://www.iaria.org/conferences2014/ComICAS14.html
ICAS Advisory Chairs
Michael Bauer, The University of Western Ontario - London, Canada
Radu Calinescu, University of York, UK
Michael Grottke, University of Erlangen-Nuremberg, Germany
Bruno Dillenseger, Orange Labs, France
Mark J. Balas, University of Wyoming - Laramie, USA
Alex Galis, University College London, UK
Antonio Liotta, Eindhoven University of Technology, The Netherlands
Jacques Malenfant, Universit� Pierre et Marie Curie, France
Mark Perry, University of New England in Armidale, Australia
Wendy Powley, Queen's University - Kingston, Canada
Nikola Serbedzija, Fraunhofer FOKUS, Germany
================================================
Monday, December 9, 2013
[DMANET] University of Birmingham, PhD scholarship in Graph Theory
There is a PhD scholarship available at the School of Mathematics to work on an ERC-funded project in Extremal and Probabilistic Graph Theory with Prof Deryk Osthus.
The preferred starting date would be late September 2014, but there is some flexibility in this.
Informal enquiries about the scholarship should be made to Prof Deryk Osthus via email:
d.osthus at bham.ac.uk
The Combinatorics group in Birmingham offers a vibrant research environment, with currently six permanent members of staff, as well as five research fellows and six PhD students. Further information about the Combinatorics group is available at
http://web.mat.bham.ac.uk/D.Osthus/bham.html
Further information about the School is available on http://www.mat.bham.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/
*
**********************************************************
The preferred starting date would be late September 2014, but there is some flexibility in this.
Informal enquiries about the scholarship should be made to Prof Deryk Osthus via email:
d.osthus at bham.ac.uk
The Combinatorics group in Birmingham offers a vibrant research environment, with currently six permanent members of staff, as well as five research fellows and six PhD students. Further information about the Combinatorics group is available at
http://web.mat.bham.ac.uk/D.Osthus/bham.html
Further information about the School is available on http://www.mat.bham.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/
*
**********************************************************
Sunday, December 8, 2013
[DMANET] CEC Special Session at IEEE WCCI 2014 CALL FOR PAPERS
**** CEC Special Session at IEEE WCCI 2014 CALL FOR PAPERS ****
Heuristic Methods for Multi-Component Optimization Problems
CEC Special Session at IEEE World Congress on Computational Intelligence
(WCCI 2014)
July 6 - 11, 2014, Beijing International Convention Center, Beijing, China
http://cs.adelaide.edu.au/~optlog/CEC2014/
** Motivation **
Real-world optimization problems often consist of several NP-hard
combinatorial optimization problems that interact with each other.
Such multi-component optimization problems are difficult to solve not only
because of the contained hard optimization problems, but in particular,
because of the interdependencies between the different components.
Interdependence complicates a decision making by forcing each sub-problem
to influence the quality and feasibility of solutions of the other
sub-problems.
This influence might be even stronger when one sub-problem changes the data
used by another one through a solution construction process. Examples of
multi-component problems are vehicle routing problems under loading
constraints,
the maximizing material utilization while respecting a production schedule,
the relocation of containers in a port while minimizing idle times of ships,
and the traveling thief problem.
The goal of this special session is to provide a forum for researchers
in computational intelligence working on multi-component optimization
problems.
While the main focus of this session is evolutionary computation, other
approaches
as well as combinations with fuzzy systems or neural networks are highly
welcome, too.
The scope of this special session is very broad and includes all topics
related
to multi-component problems.
** Paper Submission **
Follow the IEEE CEC 2014 submission website
http://ieee-cis.org/conferences/cec2014/upload.php.
On the submission system you must select "SS23. EC23: Heuristic Methods for
Multi-Component Optimization Problems" as "Main Research Topic".
Special session papers are treated in the same way as regular conference
papers.
** Important dates **
* Paper submissions: December 20, 2013
* Notification of acceptance: March 15, 2014
* Final paper submission: April 15, 2014
** Scope **
Topics include (but are not limited to):
* Applications of evolutionary algorithms and swarm intelligence methods to
multi-component problems
* Benchmark design
* Hybrid approaches (including fuzzy systems and neural networks) for
multi-component problems
* Industrial applications
* Theoretical investigations
** Special Session Organizers **
* Sergey Polyakovskiy
* Markus Wagner
* Mohammad Reza Bonyadi
* Frank Neumann
* Zbignew Michalewicz
School of Computer Science, The University of Adelaide
Adelaide, Australia
** Contacts **
Sergey Polyakovskiy (sergey.polyakovskiy@adelaide.edu.au)
********
This special session is organized as a part of the IEEE Task Force on
Evolutionary Scheduling and Combinatorial Optimization
**********************************************************
*
* 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/
*
**********************************************************
Heuristic Methods for Multi-Component Optimization Problems
CEC Special Session at IEEE World Congress on Computational Intelligence
(WCCI 2014)
July 6 - 11, 2014, Beijing International Convention Center, Beijing, China
http://cs.adelaide.edu.au/~optlog/CEC2014/
** Motivation **
Real-world optimization problems often consist of several NP-hard
combinatorial optimization problems that interact with each other.
Such multi-component optimization problems are difficult to solve not only
because of the contained hard optimization problems, but in particular,
because of the interdependencies between the different components.
Interdependence complicates a decision making by forcing each sub-problem
to influence the quality and feasibility of solutions of the other
sub-problems.
This influence might be even stronger when one sub-problem changes the data
used by another one through a solution construction process. Examples of
multi-component problems are vehicle routing problems under loading
constraints,
the maximizing material utilization while respecting a production schedule,
the relocation of containers in a port while minimizing idle times of ships,
and the traveling thief problem.
The goal of this special session is to provide a forum for researchers
in computational intelligence working on multi-component optimization
problems.
While the main focus of this session is evolutionary computation, other
approaches
as well as combinations with fuzzy systems or neural networks are highly
welcome, too.
The scope of this special session is very broad and includes all topics
related
to multi-component problems.
** Paper Submission **
Follow the IEEE CEC 2014 submission website
http://ieee-cis.org/conferences/cec2014/upload.php.
On the submission system you must select "SS23. EC23: Heuristic Methods for
Multi-Component Optimization Problems" as "Main Research Topic".
Special session papers are treated in the same way as regular conference
papers.
** Important dates **
* Paper submissions: December 20, 2013
* Notification of acceptance: March 15, 2014
* Final paper submission: April 15, 2014
** Scope **
Topics include (but are not limited to):
* Applications of evolutionary algorithms and swarm intelligence methods to
multi-component problems
* Benchmark design
* Hybrid approaches (including fuzzy systems and neural networks) for
multi-component problems
* Industrial applications
* Theoretical investigations
** Special Session Organizers **
* Sergey Polyakovskiy
* Markus Wagner
* Mohammad Reza Bonyadi
* Frank Neumann
* Zbignew Michalewicz
School of Computer Science, The University of Adelaide
Adelaide, Australia
** Contacts **
Sergey Polyakovskiy (sergey.polyakovskiy@adelaide.edu.au)
********
This special session is organized as a part of the IEEE Task Force on
Evolutionary Scheduling and Combinatorial Optimization
**********************************************************
*
* Contributions to be spread via DMANET are submitted to
*
* DMANET@zpr.uni-koeln.de
*
* Replies to a message carried on DMANET should NOT be
* addressed to DMANET but to the original sender. The
* original sender, however, is invited to prepare an
* update of the replies received and to communicate it
* via DMANET.
*
* DISCRETE MATHEMATICS AND ALGORITHMS NETWORK (DMANET)
* http://www.zaik.uni-koeln.de/AFS/publications/dmanet/
*
**********************************************************
Friday, December 6, 2013
[DMANET] Call for paper (Journal of Operational Research and Decision Science Studies)
Dear Professor\Colleagues\Authors
We would like to invite you to submit your research paper for possible
publication in Journal of Operational Research and Decision Science
Studies (JORDS). It is a peer-reviewed journal, published by Novel
Science. The journal focuses on the following topics:
• Continuous Optimization, Computational Intelligence and Information
Management
• mathematical modeling
• Multi-Criteria Decision Methods
• Discrete Optimization and Expert Systems
• Heuristics Mathematical Programming
• Case Studies, Applications in all Areas of Sciences, Engineering and
Industry
• Econometric and statistical method
JORDS seeks to provide a forum for debates on practical and policy
implications to ustainable development. This journal also encourages
studies on solutions to improve corporate erformance towards
sustainability.
It provides an academic platform for professionals and researchers to
contribute innovative research in the field. JORDS carries original and
full-length articles that reflect the latest research and developments
in both theoretical and practical aspects of management, applied
mathematics and industrial engineering.
JORDS is devoted to rapid dissemination of significant research and is
the fastest submission-to-online journal. Accepted manuscripts will be
published online immediately for free of publication fee.
The journal is published in both print and online versions. The online
versions are free access and download.
If you are interested in submitting your papers, please send it to the
e-mails :
jords.admin@nvlscience.com or editor.jords@gmail.com
You can visit us at: http://www.nvlscience.com/index.php/JORDS/index
Regards,
Editorial Office
Journal of Operational Research and Decision Science Studies
We would like to invite you to submit your research paper for possible
publication in Journal of Operational Research and Decision Science
Studies (JORDS). It is a peer-reviewed journal, published by Novel
Science. The journal focuses on the following topics:
• Continuous Optimization, Computational Intelligence and Information
Management
• mathematical modeling
• Multi-Criteria Decision Methods
• Discrete Optimization and Expert Systems
• Heuristics Mathematical Programming
• Case Studies, Applications in all Areas of Sciences, Engineering and
Industry
• Econometric and statistical method
JORDS seeks to provide a forum for debates on practical and policy
implications to ustainable development. This journal also encourages
studies on solutions to improve corporate erformance towards
sustainability.
It provides an academic platform for professionals and researchers to
contribute innovative research in the field. JORDS carries original and
full-length articles that reflect the latest research and developments
in both theoretical and practical aspects of management, applied
mathematics and industrial engineering.
JORDS is devoted to rapid dissemination of significant research and is
the fastest submission-to-online journal. Accepted manuscripts will be
published online immediately for free of publication fee.
The journal is published in both print and online versions. The online
versions are free access and download.
If you are interested in submitting your papers, please send it to the
e-mails :
jords.admin@nvlscience.com or editor.jords@gmail.com
You can visit us at: http://www.nvlscience.com/index.php/JORDS/index
Regards,
Editorial Office
Journal of Operational Research and Decision Science Studies
**********************************************************
*
* 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 on "Underwater Sensor Networks" in (JSAN)
===================================================
Journal of Sensor and Actuator Networks (JSAN)
Special Issue "Underwater Sensor Networks"
http://www.mdpi.com/journal/jsan/special_issues/usn
Deadline for manuscript submissions: 31 March 2014
----------------------------------------------------
=== SPECIAL ISSUE ===
New advances in information technologies, circuits, systems and communication protocols have made possible the deployment of underwater sensor networks. These issues have lead researchers to propose new underwater sensor nodes, sensor node placement, protocols for their communication, architectures, and study new ways to communicate with higher bandwidth at higher distances. Moreover, the range of underwater applications is growing fast because of the last research in oceanography, marine science and aquiculture, so there is a need of underwater sensor networks in order to support these disciplines.
This special Issue is tries to collect unpublished works on theory and practice on underwater sensor networks, with special interest on real implementations and deployments. We also seek new proposals on wireless communication technologies.
=== KEYWORDS ===
The Special Issue "Underwater Sensor Networks" topics include (but are not limited to) the following:
- Underwater sensor nodes
- Underwater sensor node placement
- Routing protocols for underwater sensor networks
- Underwater communications
- Underwater architectures
- Underwater wireless communications
- Underwater sensor network deployments
=== SUBMISSION ===
Manuscripts should be submitted online at www.mdpi.com by registering and logging in to this website. Once you are registered, click here to go to the submission form (http://www.mdpi.com/user/manuscripts/upload/?journal=jsan). Manuscripts can be submitted until the deadline. Papers will be published continuously (as soon as accepted) and will be listed together on the special issue website. Research articles, review articles as well as communications are invited. For planned papers, a title and short abstract (about 100 words) can be sent to the Editorial Office for announcement on this website.
Submitted manuscripts should not have been published previously, nor be under consideration for publication elsewhere (except conference proceedings papers). All manuscripts are refereed through a peer-review process. A guide for authors and other relevant information for submission of manuscripts is available on the Instructions for Authors page. Journal of Sensor and Actuator Networks is an international peer-reviewed Open Access quarterly journal published by MDPI.
Please visit the Instructions for Authors page (http://www.mdpi.com/journal/jsan/instructions) before submitting a manuscript. For the first couple of issues the Article Processing Charge (APC) will be waived for well-prepared manuscripts. English correction and/or formatting fees of 250 CHF (Swiss Francs) will be charged in certain cases for those articles accepted for publication that require extensive additional formatting and/or English corrections.
=== SPECIAL ISSUE EDITORS ===
Guest Editors
Prof. Dr. Jaime Lloret Mauri (jlloret@dcom.upv.es)
Integrated Management Coastal Research Institute, Polytechnic University of Valencia, Camino de Vera 46022, Valencia, Spain
Dr. Sandra Sendra (sansenco@posgrado.upv.es)
Integrated Management Coastal Research Institute, Polytechnic University of Valencia, Camino de Vera 46022, Valencia, 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/
*
**********************************************************
Journal of Sensor and Actuator Networks (JSAN)
Special Issue "Underwater Sensor Networks"
http://www.mdpi.com/journal/jsan/special_issues/usn
Deadline for manuscript submissions: 31 March 2014
----------------------------------------------------
=== SPECIAL ISSUE ===
New advances in information technologies, circuits, systems and communication protocols have made possible the deployment of underwater sensor networks. These issues have lead researchers to propose new underwater sensor nodes, sensor node placement, protocols for their communication, architectures, and study new ways to communicate with higher bandwidth at higher distances. Moreover, the range of underwater applications is growing fast because of the last research in oceanography, marine science and aquiculture, so there is a need of underwater sensor networks in order to support these disciplines.
This special Issue is tries to collect unpublished works on theory and practice on underwater sensor networks, with special interest on real implementations and deployments. We also seek new proposals on wireless communication technologies.
=== KEYWORDS ===
The Special Issue "Underwater Sensor Networks" topics include (but are not limited to) the following:
- Underwater sensor nodes
- Underwater sensor node placement
- Routing protocols for underwater sensor networks
- Underwater communications
- Underwater architectures
- Underwater wireless communications
- Underwater sensor network deployments
=== SUBMISSION ===
Manuscripts should be submitted online at www.mdpi.com by registering and logging in to this website. Once you are registered, click here to go to the submission form (http://www.mdpi.com/user/manuscripts/upload/?journal=jsan). Manuscripts can be submitted until the deadline. Papers will be published continuously (as soon as accepted) and will be listed together on the special issue website. Research articles, review articles as well as communications are invited. For planned papers, a title and short abstract (about 100 words) can be sent to the Editorial Office for announcement on this website.
Submitted manuscripts should not have been published previously, nor be under consideration for publication elsewhere (except conference proceedings papers). All manuscripts are refereed through a peer-review process. A guide for authors and other relevant information for submission of manuscripts is available on the Instructions for Authors page. Journal of Sensor and Actuator Networks is an international peer-reviewed Open Access quarterly journal published by MDPI.
Please visit the Instructions for Authors page (http://www.mdpi.com/journal/jsan/instructions) before submitting a manuscript. For the first couple of issues the Article Processing Charge (APC) will be waived for well-prepared manuscripts. English correction and/or formatting fees of 250 CHF (Swiss Francs) will be charged in certain cases for those articles accepted for publication that require extensive additional formatting and/or English corrections.
=== SPECIAL ISSUE EDITORS ===
Guest Editors
Prof. Dr. Jaime Lloret Mauri (jlloret@dcom.upv.es)
Integrated Management Coastal Research Institute, Polytechnic University of Valencia, Camino de Vera 46022, Valencia, Spain
Dr. Sandra Sendra (sansenco@posgrado.upv.es)
Integrated Management Coastal Research Institute, Polytechnic University of Valencia, Camino de Vera 46022, Valencia, 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] Fellowships and Positions at Ecole Normale Supérieure de Lyon
Subject: Fellowships and Positions at Ecole Normale Supérieure de Lyon
The Computer Science department of ENS Lyon and the LIP laboratory are
offering
fellowships and positions starting in September 2014. This includes:
******************* Grants for our international master program
including 1st year M1 or 2nd year M2.
These studentships, around 1000 euros per month, offer covering of
living costs in Lyon.
Courses are provided in english.
Official website for applying tothe master program will be available
starting
December 10 on the following:
website: http://www.ens-lyon.fr/DI/?lang=en
For a presentation of the courses in 2013/2014, please look:
First year Master (M1): http://www.ens-lyon.fr/DI/?page_id=2579&lang=en
Second year Master (M2): http://www.ens-lyon.fr/DI/?page_id=16&lang=en
contact: paulo.goncalves@ens-lyon.fr and stephan.thomasse@ens-lyon.fr
******************* PhD positions (3 years), with or without teaching
assistant duty.
contact: gilles.villard@ens-lyon.fr
******************* Postdoc positions (1 or 2 years) in one of the teams
of the LIP.
Visit the web of the LIP lab: http://www.ens-lyon.fr/LIP/web-n/
contact: gilles.villard@ens-lyon.fr and heads of research teams
Milyon labex contact: Jean-Yves.L.Excellent@ens-lyon.fr and
stephan.thomasse@ens-lyon.fr
website:
http://milyon.universite-lyon.fr/offres-de-post-docs/6-post-doctoral-positions-in-mathematics-and-or-computer-science--170911.kjsp?RH=MILYON-FR
****************** Assistant Professor tenure position (Maitre de
Conférences).
International and non francophone applicants are welcome. The position
involves teaching in our undergrad and master programs. The applicant should
integrate one of the teams of LIP.
Contacts: gilles.villard@ens-lyon.fr (research)
damien.stehle@ens-lyon.fr (teaching)
and heads of research teams.
**********************************************************
*
* 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 Computer Science department of ENS Lyon and the LIP laboratory are
offering
fellowships and positions starting in September 2014. This includes:
******************* Grants for our international master program
including 1st year M1 or 2nd year M2.
These studentships, around 1000 euros per month, offer covering of
living costs in Lyon.
Courses are provided in english.
Official website for applying tothe master program will be available
starting
December 10 on the following:
website: http://www.ens-lyon.fr/DI/?lang=en
For a presentation of the courses in 2013/2014, please look:
First year Master (M1): http://www.ens-lyon.fr/DI/?page_id=2579&lang=en
Second year Master (M2): http://www.ens-lyon.fr/DI/?page_id=16&lang=en
contact: paulo.goncalves@ens-lyon.fr and stephan.thomasse@ens-lyon.fr
******************* PhD positions (3 years), with or without teaching
assistant duty.
contact: gilles.villard@ens-lyon.fr
******************* Postdoc positions (1 or 2 years) in one of the teams
of the LIP.
Visit the web of the LIP lab: http://www.ens-lyon.fr/LIP/web-n/
contact: gilles.villard@ens-lyon.fr and heads of research teams
Milyon labex contact: Jean-Yves.L.Excellent@ens-lyon.fr and
stephan.thomasse@ens-lyon.fr
website:
http://milyon.universite-lyon.fr/offres-de-post-docs/6-post-doctoral-positions-in-mathematics-and-or-computer-science--170911.kjsp?RH=MILYON-FR
****************** Assistant Professor tenure position (Maitre de
Conférences).
International and non francophone applicants are welcome. The position
involves teaching in our undergrad and master programs. The applicant should
integrate one of the teams of LIP.
Contacts: gilles.villard@ens-lyon.fr (research)
damien.stehle@ens-lyon.fr (teaching)
and heads of research teams.
**********************************************************
*
* Contributions to be spread via DMANET are submitted to
*
* DMANET@zpr.uni-koeln.de
*
* Replies to a message carried on DMANET should NOT be
* addressed to DMANET but to the original sender. The
* original sender, however, is invited to prepare an
* update of the replies received and to communicate it
* via DMANET.
*
* DISCRETE MATHEMATICS AND ALGORITHMS NETWORK (DMANET)
* http://www.zaik.uni-koeln.de/AFS/publications/dmanet/
*
**********************************************************
Thursday, December 5, 2013
[DMANET] CFP: Evolutionary Combinatorial Optimization and Metaheuristics (ECOM) Track at GECCO 2014
** Apologies for multiple postings **
*****************************************************************************
*** CALL FOR PAPERS
*** 2014 GENETIC AND EVOLUTIONARY COMPUTATION CONFERENCE (GECCO-2014)
* Evolutionary Combinatorial Optimization and Metaheuristics (ECOM) Track
*** July 12-16, 2014, Vancouver, Canada
*** Organized by ACM SIGEVO
*** http://www.sigevo.org/gecco-2014
*****************************************************************************
** Track Description **
The aim of this track is to provide a forum for high quality research
on metaheuristics for combinatorial optimization problems. Plenty of
hard problems in a wide variety of areas, including logistics, network
design, bioinformatics, engineering, business, etc., have been tackled
successfully with metaheuristic approaches. For many problems, the
resulting algorithms are considered to be state-of-the-art.
Apart from evolutionary algorithms, the class of metaheuristics includes
prominent members such as tabu search, iterated local search, variable
neighborhood search, memetic algorithms, simulated annealing, GRASP,
ant colony optimization and others.
** Scope **
The Evolutionary Combinatorial Optimization and Metaheuristics (ECOM)
Track welcomes submissions of original and unpublished work concerning
applications or the theory of all kinds of metaheuristics for
combinatorial optimization problems. Topics include (but are not
limited to):
* Applications of metaheuristics to combinatorial optimization problems
including multi-objective, stochastic and dynamic problems.
* In-depth experimental analysis and comparisons of metaheuristics or exact methods
* Theoretical developments in combinatorial optimization and metaheuristics
* Engineering of metaheuristic algorithms and automatic configuration
* Representation techniques
* Neighborhoods and efficient algorithms for searching them
* Variation operators for stochastic search methods
* Search space analysis
* Comparisons between different (also exact) techniques
* Constraint-handling techniques
* Hybrid methods, adaptive hybridization techniques and memetic computing methodologies
* Insight into problem characteristics of problem classes
Each paper will be rigorously evaluated in a double-blind review process.
All accepted papers will appear in the proceedings of GECCO 2014,
which will be published by ACM (Association for Computing Machinery).
** Important Dates **
January 15, 2014 - Abstract submission
January 29, 2014 - Submission of full papers (strict, non-extensible deadline)
March 12, 2014 - Notification of paper acceptance
April 14, 2014 - Camera ready submission
July 12-16, 2014 - GECCO 2014 Conference in Vancouver, Canada
** Track Chairs **
Guenther Raidl (ADS, TU Vienna, Austria) https://www.ads.tuwien.ac.at/raidl/
Thomas Stuetzle (IRIDIA, ULB, Belgium) http://iridia.ulb.ac.be/~stuetzle/
**********************************************************
*
* 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
*** 2014 GENETIC AND EVOLUTIONARY COMPUTATION CONFERENCE (GECCO-2014)
* Evolutionary Combinatorial Optimization and Metaheuristics (ECOM) Track
*** July 12-16, 2014, Vancouver, Canada
*** Organized by ACM SIGEVO
*** http://www.sigevo.org/gecco-2014
*****************************************************************************
** Track Description **
The aim of this track is to provide a forum for high quality research
on metaheuristics for combinatorial optimization problems. Plenty of
hard problems in a wide variety of areas, including logistics, network
design, bioinformatics, engineering, business, etc., have been tackled
successfully with metaheuristic approaches. For many problems, the
resulting algorithms are considered to be state-of-the-art.
Apart from evolutionary algorithms, the class of metaheuristics includes
prominent members such as tabu search, iterated local search, variable
neighborhood search, memetic algorithms, simulated annealing, GRASP,
ant colony optimization and others.
** Scope **
The Evolutionary Combinatorial Optimization and Metaheuristics (ECOM)
Track welcomes submissions of original and unpublished work concerning
applications or the theory of all kinds of metaheuristics for
combinatorial optimization problems. Topics include (but are not
limited to):
* Applications of metaheuristics to combinatorial optimization problems
including multi-objective, stochastic and dynamic problems.
* In-depth experimental analysis and comparisons of metaheuristics or exact methods
* Theoretical developments in combinatorial optimization and metaheuristics
* Engineering of metaheuristic algorithms and automatic configuration
* Representation techniques
* Neighborhoods and efficient algorithms for searching them
* Variation operators for stochastic search methods
* Search space analysis
* Comparisons between different (also exact) techniques
* Constraint-handling techniques
* Hybrid methods, adaptive hybridization techniques and memetic computing methodologies
* Insight into problem characteristics of problem classes
Each paper will be rigorously evaluated in a double-blind review process.
All accepted papers will appear in the proceedings of GECCO 2014,
which will be published by ACM (Association for Computing Machinery).
** Important Dates **
January 15, 2014 - Abstract submission
January 29, 2014 - Submission of full papers (strict, non-extensible deadline)
March 12, 2014 - Notification of paper acceptance
April 14, 2014 - Camera ready submission
July 12-16, 2014 - GECCO 2014 Conference in Vancouver, Canada
** Track Chairs **
Guenther Raidl (ADS, TU Vienna, Austria) https://www.ads.tuwien.ac.at/raidl/
Thomas Stuetzle (IRIDIA, ULB, Belgium) http://iridia.ulb.ac.be/~stuetzle/
**********************************************************
*
* 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/
*
**********************************************************
[ABZ 2014] CFP -- Call For Papers
4th International ABZ 2014 Conference
ASM, Alloy, B, TLA, VDM, Z
http://www.irit.fr/ABZ2014/
June 2-6, 2014
Toulouse, France
Call for Papers
--------------------------------------------- LATEST NEWS ----------------------------------
1- Workshops are selected and workshop papers are welcome.
2- Call for tutorials is still running.
3- Please, do not forget to consider to submit answers to the case study.
4- Leslie Lamport is one of the keynote speakers. Other keynote speakers will be announced.
------------------------------------------------------------------------------------------------------
The ABZ 2014 conference is organized in Toulouse.
The ABZ conference is dedicated to the cross-fertilization of six related state-based and machine-based formal methods, Abstract State Machines (ASM), Alloy, B, TLA, VDM and Z, that share a common conceptual foundation and are widely used in both academia and industry for the design and analysis of hardware and software systems. It builds on the success of the first ABZ conference held in London (http://www.abz2008.org/) in 2008, where the ASM, B and Z conference series merged into a single event, the success of the second ABZ 2010 conference held in Orford (http://pages.usherbrooke.ca/abzconference/) (Canada) where the Alloy community joined the event and the success of ABZ 2012 held in Pisa (/http://ifm-abz.isti.cnr.it/index.html)(Italy) which saw the inclusion of the VDM community. The novelty of the 4th international event is the inclusion of the TLA community in the ABZ conference series.
Contributions are solicited on all aspects of the theory and applications of ASMs, Alloy, B, TLA, VDM, Z approaches in software/hardware engineering, including the development of tools and industrial applications. The program spans from theoretical and methodological foundations to practical applications, emphasizing system engineering methods and tools that are distinguished by mathematical rigor and have proved to be industrially viable. The main goal of the conference is to contribute to the integration of accurate state- and machine-based system development methods, clarifying their commonalities and differences to better understand how to combine different approaches for accomplishing the various tasks in modeling, experimental validation, mathematical verification of reliable high-quality hardware/software systems.
Although organized to host several formal methods with ASM, Alloy, B, TLA, VDM and Z, in a single event, editorial control of the joint conference is vested in one integrated program committee, which will respectively determine its ASM, Alloy, B, TLA, VDM and Z content, to be presented in parallel conference tracks with a schedule to allow the participants to switch between the sessions.
The 4th edition of ABZ sees the introduction of a new session dedicated to a shared real-life case study among all the methods addressed in ABZ 2014. The objective of this session is to enrich the set of case studies developed with ABZ methods with a practical and real-life case study. The aeronautical context of Toulouse led the organizers to define a real-life case study issued from this domain.
Proposals are invited for workshops and tutorials to take place the day before the main conference.
Three kinds of contributions are invited:
- Research papers: full papers of not more than 14 pages in LNCS format, which have to be original, unpublished and not submitted elsewhere.
- Short presentations of work in progress, and tool demonstrations. This is an excellent opportunity for Ph.D. students to present and validate their work in progress. An extended abstract of not more than 4 pages is expected and will be reviewed.
- Answers to case study papers: full papers of not more than 14 pages in LNCS format reporting on the experiments conducted with any of the state based techniques in the scope of ABZ 2014.
- Application in industry papers reporting on work or experiences on the application of state based formal methods in industry. An extended abstract of not more than 4 pages is expected and will be reviewed. It is also an interesting option for industrial practitioners who sometimes face too many constraints to prepare a full paper.
Contributions should be submitted electronically in PDF at the ABZ 2014 conference Easy-Chair (https://www.easychair.org/conferences/?conf=abz2014) web site.
The papers must be prepared using the SPRINGER LNCS style (http://www.springer.com/computer/lncs?SGWID=0-164-6-793341-0). The answers to case study should be submitted electronically in PDF at the Case study Easy-Chair (https://www.easychair.org/conferences/?conf=abz2014) web site.
All research and short accepted papers will be published in a volume of Springer's LNCS series. The answers to case study papers and the application in industry papers will be published in a volume of Springer's CCIS series. The two volumes will be distributed at the conference.
Journal Special Issues: an improved version of a selected number of contributions will be published in a special issue of the journal Science of Computer Programming for the research papers and in a special issue of the Software Tools and Technology Transfer journal for the answers to case study papers.
Case study session
------------------
Submissions for answers to case study are encouraged. For further details, please contact the case study session chairs.
Case study session chairs
Frédéric BONIOL, ONERA-DTIM, Toulouse, France (frederic.boniol@onera.fr)
Virginie Wiels, ONERA-DTIM, Toulouse, France (Virginie.Wiels@onera.fr)
Selected Workshops (www.irit.fr/ABZ2014/workshop.html)
------------------
Five (5) workshops are associated to the main event ABZ. Information are available on the workshops website link www.irit.fr/ABZ2014/workshop.html. For further information, contact the workshop organizers.
1. TLA 2014: Proposal for a TLA+ community event
------------------------------------------------
Workshop organizers:
- Leslie Lamport, Microsoft Research, San Francisco, USA, lamport@microsoft.com
- Stephan Merz, INRIA-Lorraine, Nancy, France, stephan.merz@loria.fr
- Philippe Queinnec, INPT-ENSEEIHT/IRIT, Toulouse, France, philippe.queinnec@enseeiht.fr
2. Integrated use of Methods and Tools for High-Assurance Rigorous Systems and Software Development (iHARNESS)
--------------------------------------------------------------------------------------------------------------
Workshop organizers:
- Elvinia Riccobene - University of Milan, Mila, Italy elvinia.riccobene@unimi.it
- Atif Mashkoor - Software Competence Center Hagenberg, Austria atif.mashkoor@scch.at
Invited Speaker:
Prof. Egon Börger - University of Pisa, IT
3. Workshop on Tool Building in Formal Methods (2nd edition)
------------------------------------------------------------
Workshop organizers:
- Angelo Gargantini - University of Bergamo, Bergamo, Italy angelo.gargantini@unibg.it
- Paolo Arcaini - University of Bergamo, Bergamo, Italy, paolo.arcaini@unimi.it
4. Rodin User and Developer Workshop at ABZ 2014 (2 days)
---------------------------------------------------------
Workshop organizers:
- Michael Butler, University of Southampton, UK mjb@ecs.soton.ac.uk
- Stefan Hallerstede, University of Aarhus, Denmark sha@iha.dk
- Thierry Lecomte, ClearSy, France, thierry.lecomte@clearsy.com
- Michael Leuschel, University of Dusseldorf, Germany leuschel@cs.uni-duesseldorf.de
- Alexander Romanovsky, University of Newcastle, UK Alexander.Romanovsky@newcastle.ac.uk
- Marina Walden, - Abo Akademi, Finland Marina.Walden@abo.fi
- Laurent Voisin, Systerel, France, laurent.voisin@systerel.fr
5. 1st International Workshop about Sets and Tools (SETS)
--------------------------------------------------------------
Workshop organizers:
- David Delahaye, Cnam, Paris, France David.Delahaye@cnam.fr
- Catherine Dubois, Ensiie, Evry, France dubois@ensiie.fr
For further information related to workshop organisation, please contact the workshop chairs.
Lugia Petre, University of Turku, Turku, Finland (Lugia.Petre@abo.fi)
Patrizia Scandurra, University of Bergamo, Italy (patrizia.scandurra@unibg.it)
Alexander Romanovski, University of Newcastle, Newcastle, United Kingdom (alexander.romanovsky@newcastle.ac.uk)
Tutorial Proposals
------------------
Tutorial proposal should be sent to the tutorial chairs
Stefan Hallerstede, University of Aarhus, Aarhus, Denmark (sha@iha.dk)
Roozbeh Farahbod, SAP research, Karlshrue, Germany (roozbeh.farahbod@sap.com)
The deadline for submissions is January 30, 2014. Notifications will be sent by February 28, 2014
ABZ 2014 Invited Speakers
-------------------------
Leslie LAMPORT, Microsoft Research, USA.
Other invited speakers will be announced.
Important dates
----------------
Research/Industry papers and answers to case study January 14, 2012
Tutorial proposal submissions: January 30, 2014
Short paper submission: February 3, 2014
Tutorial proposal notifications: Febuary 28, 2014
Papers notification: March 1, 2014
Final Version due: March 20, 2014
Main ABZ 2012 conference: June 2-6, 2014
Conference Chairs
-----------------
Yamine AIT AMEUR , INPT-ENSEEIHT and IRIT, Toulouse,France (yamine@n7.fr)
Klaus-Dieter SCHEWE, University of Linz and SCCH, Linz, Austria (Klaus-Dieter.Schewe@scch.at)
Program Committee
------------------
- Jean-Raymond Abrial, Marseille, France
- Yamine Ait Ameur, IRIT-ENSEEIHT, Toulouse, France
- Richard Banach, University of Manchester, UK
- Egön Boerger, University of Pisa, Italy
- Eerke Boiten, University of Kent
- Frédéric Boniol, ONERA-DTIM, Toulouse, France
- Michael Butler, Univesrity of Southampton, UK
- Ana Cavalcanti, University of York, UK
- David Deharbe, Federal University of Rio Grande do Norte, Brazil
- John Derrick, Unversity of Sheffield, UK
- Juergen Dingel, Queen's University, Canada
- Kerstin Eder, University of Bristol, UK
- Roozbeh Farahbod, SAP Research, Karlsruhe, Germany
- Mamoun Filali, IRIT, CNRS, Toulouse, France
- John Fitzgerald, Newcastle University, UK,
- Marc Frappier, University of Sherbrooke, Canada
- Vincenzo Gervasi, University of Pisa, Italy
- Dimitra Giannakopoulou, NASA, Ames, USA
- Uwe Glässer, Simon Fraser University, Canada
- Stefania Gnesi, CNR - Pisa, Italy
- Lindsay Groves, Wellington University, New Zealand
- Stefan Hallerstede, University of Aarhus, Denmark
- Klaus Havelund, Jet Propulsion Laboratory/NASA, USA
- Ian J. Hayes, University of Queensland, Australia
- Rob Hierons, Brunel University, UK
- Thai Son Hoang, ETH Zürich, Switzerland
- Sarfraz Khurshid, University of Texas at Austin, USA
- Regine Laleau, Univesity of Paris-Est, France
- Leslie Lamport, Microsoft Research, USA
- Peter Gorm Larsen, Aarhus School of Engineering, Denmark
- Thierry Lecomte, ClearSy, France
- Michael Leuschel, University of Düsseldorf, Germany
- Zhiming Liu, International institute for software technology, UNU University, Macao
- Tiziana Margaria, University of Potsdam, Germany
- Atif Mashkoor, SCCH, Linz, Austria
- Dominique Mery, Loria, Université de Lorraine, Nancy, France
- Stephan Merz, LORIA, Nancy, France
- Mohamed Mosbah, Labri, Université de Bordeaux I, Bordeaux, France
- Cesar Munõz, NASA Langley Research Center, USA
- Uwe Nestmann, Technical University of Berlin, Germany
- Christophe Newcombe, Amazon, USA
- Jose Oliveira, Universidade do Minho, Portugal
- Luigia Petre, Abo Akademi, Turku, Finland
- Andreas Prinz, Agder University College, Norway
- Alexander Raschke, University of ULM, Germany
- Elvinia Riccobene, DTI - University of Milan, Italy
- Ken Robinson, Univ. of New South Wales, Australia
- Tom Rodeheffer, Microsoft Research, USA
- Alexander Romanovsky, University of Newcastle, UK
- Thomas Santen, European Microsoft Innovation Center, Germany
- Patrizia Scandurra, University of Bergamo, Italy
- Gerhard Schellhorn, University of Augsburg, Germany
- Klaus-Dieter Schewe, Software Competence Center Hagenberg, Austria
- Steve Schneider, University of Surrey, UK
- Colin Snook, University of Southampton, UK
- Kevin Sullivan, University of Virginia, USA
- Jing Sun, The university of Auckland, Auckland, New Zealand
- Mana Taghdiri, Karlsruhe Institute of Technology, Germany
- Bernard Thalheim, Christian Albrechts University Kiel, Germany
- Margus Veanes, Microsoft Research, USA
- Marcel Verhoef, CHESS BV, Netherlands
- Friedrich Vogt, Hamburg University of Technology, Germany
- Laurent Voisin, Systerel France
- Qing Wang, Australian National University, Australia
- Virginie Wiels, ONERA-DTIM, Toulouse, France
- Kirsten Winter, University of Queensland, Australia
For questions concerning ABZ 2014, contact Yamine AIT AMEUR (yamine@n7.fr) or Klaus-Dieter SCHEWE (Klaus-Dieter.Schewe@scch.at).
ASM, Alloy, B, TLA, VDM, Z
http://www.irit.fr/ABZ2014/
June 2-6, 2014
Toulouse, France
Call for Papers
--------------------------------------------- LATEST NEWS ----------------------------------
1- Workshops are selected and workshop papers are welcome.
2- Call for tutorials is still running.
3- Please, do not forget to consider to submit answers to the case study.
4- Leslie Lamport is one of the keynote speakers. Other keynote speakers will be announced.
------------------------------------------------------------------------------------------------------
The ABZ 2014 conference is organized in Toulouse.
The ABZ conference is dedicated to the cross-fertilization of six related state-based and machine-based formal methods, Abstract State Machines (ASM), Alloy, B, TLA, VDM and Z, that share a common conceptual foundation and are widely used in both academia and industry for the design and analysis of hardware and software systems. It builds on the success of the first ABZ conference held in London (http://www.abz2008.org/) in 2008, where the ASM, B and Z conference series merged into a single event, the success of the second ABZ 2010 conference held in Orford (http://pages.usherbrooke.ca/abzconference/) (Canada) where the Alloy community joined the event and the success of ABZ 2012 held in Pisa (/http://ifm-abz.isti.cnr.it/index.html)(Italy) which saw the inclusion of the VDM community. The novelty of the 4th international event is the inclusion of the TLA community in the ABZ conference series.
Contributions are solicited on all aspects of the theory and applications of ASMs, Alloy, B, TLA, VDM, Z approaches in software/hardware engineering, including the development of tools and industrial applications. The program spans from theoretical and methodological foundations to practical applications, emphasizing system engineering methods and tools that are distinguished by mathematical rigor and have proved to be industrially viable. The main goal of the conference is to contribute to the integration of accurate state- and machine-based system development methods, clarifying their commonalities and differences to better understand how to combine different approaches for accomplishing the various tasks in modeling, experimental validation, mathematical verification of reliable high-quality hardware/software systems.
Although organized to host several formal methods with ASM, Alloy, B, TLA, VDM and Z, in a single event, editorial control of the joint conference is vested in one integrated program committee, which will respectively determine its ASM, Alloy, B, TLA, VDM and Z content, to be presented in parallel conference tracks with a schedule to allow the participants to switch between the sessions.
The 4th edition of ABZ sees the introduction of a new session dedicated to a shared real-life case study among all the methods addressed in ABZ 2014. The objective of this session is to enrich the set of case studies developed with ABZ methods with a practical and real-life case study. The aeronautical context of Toulouse led the organizers to define a real-life case study issued from this domain.
Proposals are invited for workshops and tutorials to take place the day before the main conference.
Three kinds of contributions are invited:
- Research papers: full papers of not more than 14 pages in LNCS format, which have to be original, unpublished and not submitted elsewhere.
- Short presentations of work in progress, and tool demonstrations. This is an excellent opportunity for Ph.D. students to present and validate their work in progress. An extended abstract of not more than 4 pages is expected and will be reviewed.
- Answers to case study papers: full papers of not more than 14 pages in LNCS format reporting on the experiments conducted with any of the state based techniques in the scope of ABZ 2014.
- Application in industry papers reporting on work or experiences on the application of state based formal methods in industry. An extended abstract of not more than 4 pages is expected and will be reviewed. It is also an interesting option for industrial practitioners who sometimes face too many constraints to prepare a full paper.
Contributions should be submitted electronically in PDF at the ABZ 2014 conference Easy-Chair (https://www.easychair.org/conferences/?conf=abz2014) web site.
The papers must be prepared using the SPRINGER LNCS style (http://www.springer.com/computer/lncs?SGWID=0-164-6-793341-0). The answers to case study should be submitted electronically in PDF at the Case study Easy-Chair (https://www.easychair.org/conferences/?conf=abz2014) web site.
All research and short accepted papers will be published in a volume of Springer's LNCS series. The answers to case study papers and the application in industry papers will be published in a volume of Springer's CCIS series. The two volumes will be distributed at the conference.
Journal Special Issues: an improved version of a selected number of contributions will be published in a special issue of the journal Science of Computer Programming for the research papers and in a special issue of the Software Tools and Technology Transfer journal for the answers to case study papers.
Case study session
------------------
Submissions for answers to case study are encouraged. For further details, please contact the case study session chairs.
Case study session chairs
Frédéric BONIOL, ONERA-DTIM, Toulouse, France (frederic.boniol@onera.fr)
Virginie Wiels, ONERA-DTIM, Toulouse, France (Virginie.Wiels@onera.fr)
Selected Workshops (www.irit.fr/ABZ2014/workshop.html)
------------------
Five (5) workshops are associated to the main event ABZ. Information are available on the workshops website link www.irit.fr/ABZ2014/workshop.html. For further information, contact the workshop organizers.
1. TLA 2014: Proposal for a TLA+ community event
------------------------------------------------
Workshop organizers:
- Leslie Lamport, Microsoft Research, San Francisco, USA, lamport@microsoft.com
- Stephan Merz, INRIA-Lorraine, Nancy, France, stephan.merz@loria.fr
- Philippe Queinnec, INPT-ENSEEIHT/IRIT, Toulouse, France, philippe.queinnec@enseeiht.fr
2. Integrated use of Methods and Tools for High-Assurance Rigorous Systems and Software Development (iHARNESS)
--------------------------------------------------------------------------------------------------------------
Workshop organizers:
- Elvinia Riccobene - University of Milan, Mila, Italy elvinia.riccobene@unimi.it
- Atif Mashkoor - Software Competence Center Hagenberg, Austria atif.mashkoor@scch.at
Invited Speaker:
Prof. Egon Börger - University of Pisa, IT
3. Workshop on Tool Building in Formal Methods (2nd edition)
------------------------------------------------------------
Workshop organizers:
- Angelo Gargantini - University of Bergamo, Bergamo, Italy angelo.gargantini@unibg.it
- Paolo Arcaini - University of Bergamo, Bergamo, Italy, paolo.arcaini@unimi.it
4. Rodin User and Developer Workshop at ABZ 2014 (2 days)
---------------------------------------------------------
Workshop organizers:
- Michael Butler, University of Southampton, UK mjb@ecs.soton.ac.uk
- Stefan Hallerstede, University of Aarhus, Denmark sha@iha.dk
- Thierry Lecomte, ClearSy, France, thierry.lecomte@clearsy.com
- Michael Leuschel, University of Dusseldorf, Germany leuschel@cs.uni-duesseldorf.de
- Alexander Romanovsky, University of Newcastle, UK Alexander.Romanovsky@newcastle.ac.uk
- Marina Walden, - Abo Akademi, Finland Marina.Walden@abo.fi
- Laurent Voisin, Systerel, France, laurent.voisin@systerel.fr
5. 1st International Workshop about Sets and Tools (SETS)
--------------------------------------------------------------
Workshop organizers:
- David Delahaye, Cnam, Paris, France David.Delahaye@cnam.fr
- Catherine Dubois, Ensiie, Evry, France dubois@ensiie.fr
For further information related to workshop organisation, please contact the workshop chairs.
Lugia Petre, University of Turku, Turku, Finland (Lugia.Petre@abo.fi)
Patrizia Scandurra, University of Bergamo, Italy (patrizia.scandurra@unibg.it)
Alexander Romanovski, University of Newcastle, Newcastle, United Kingdom (alexander.romanovsky@newcastle.ac.uk)
Tutorial Proposals
------------------
Tutorial proposal should be sent to the tutorial chairs
Stefan Hallerstede, University of Aarhus, Aarhus, Denmark (sha@iha.dk)
Roozbeh Farahbod, SAP research, Karlshrue, Germany (roozbeh.farahbod@sap.com)
The deadline for submissions is January 30, 2014. Notifications will be sent by February 28, 2014
ABZ 2014 Invited Speakers
-------------------------
Leslie LAMPORT, Microsoft Research, USA.
Other invited speakers will be announced.
Important dates
----------------
Research/Industry papers and answers to case study January 14, 2012
Tutorial proposal submissions: January 30, 2014
Short paper submission: February 3, 2014
Tutorial proposal notifications: Febuary 28, 2014
Papers notification: March 1, 2014
Final Version due: March 20, 2014
Main ABZ 2012 conference: June 2-6, 2014
Conference Chairs
-----------------
Yamine AIT AMEUR , INPT-ENSEEIHT and IRIT, Toulouse,France (yamine@n7.fr)
Klaus-Dieter SCHEWE, University of Linz and SCCH, Linz, Austria (Klaus-Dieter.Schewe@scch.at)
Program Committee
------------------
- Jean-Raymond Abrial, Marseille, France
- Yamine Ait Ameur, IRIT-ENSEEIHT, Toulouse, France
- Richard Banach, University of Manchester, UK
- Egön Boerger, University of Pisa, Italy
- Eerke Boiten, University of Kent
- Frédéric Boniol, ONERA-DTIM, Toulouse, France
- Michael Butler, Univesrity of Southampton, UK
- Ana Cavalcanti, University of York, UK
- David Deharbe, Federal University of Rio Grande do Norte, Brazil
- John Derrick, Unversity of Sheffield, UK
- Juergen Dingel, Queen's University, Canada
- Kerstin Eder, University of Bristol, UK
- Roozbeh Farahbod, SAP Research, Karlsruhe, Germany
- Mamoun Filali, IRIT, CNRS, Toulouse, France
- John Fitzgerald, Newcastle University, UK,
- Marc Frappier, University of Sherbrooke, Canada
- Vincenzo Gervasi, University of Pisa, Italy
- Dimitra Giannakopoulou, NASA, Ames, USA
- Uwe Glässer, Simon Fraser University, Canada
- Stefania Gnesi, CNR - Pisa, Italy
- Lindsay Groves, Wellington University, New Zealand
- Stefan Hallerstede, University of Aarhus, Denmark
- Klaus Havelund, Jet Propulsion Laboratory/NASA, USA
- Ian J. Hayes, University of Queensland, Australia
- Rob Hierons, Brunel University, UK
- Thai Son Hoang, ETH Zürich, Switzerland
- Sarfraz Khurshid, University of Texas at Austin, USA
- Regine Laleau, Univesity of Paris-Est, France
- Leslie Lamport, Microsoft Research, USA
- Peter Gorm Larsen, Aarhus School of Engineering, Denmark
- Thierry Lecomte, ClearSy, France
- Michael Leuschel, University of Düsseldorf, Germany
- Zhiming Liu, International institute for software technology, UNU University, Macao
- Tiziana Margaria, University of Potsdam, Germany
- Atif Mashkoor, SCCH, Linz, Austria
- Dominique Mery, Loria, Université de Lorraine, Nancy, France
- Stephan Merz, LORIA, Nancy, France
- Mohamed Mosbah, Labri, Université de Bordeaux I, Bordeaux, France
- Cesar Munõz, NASA Langley Research Center, USA
- Uwe Nestmann, Technical University of Berlin, Germany
- Christophe Newcombe, Amazon, USA
- Jose Oliveira, Universidade do Minho, Portugal
- Luigia Petre, Abo Akademi, Turku, Finland
- Andreas Prinz, Agder University College, Norway
- Alexander Raschke, University of ULM, Germany
- Elvinia Riccobene, DTI - University of Milan, Italy
- Ken Robinson, Univ. of New South Wales, Australia
- Tom Rodeheffer, Microsoft Research, USA
- Alexander Romanovsky, University of Newcastle, UK
- Thomas Santen, European Microsoft Innovation Center, Germany
- Patrizia Scandurra, University of Bergamo, Italy
- Gerhard Schellhorn, University of Augsburg, Germany
- Klaus-Dieter Schewe, Software Competence Center Hagenberg, Austria
- Steve Schneider, University of Surrey, UK
- Colin Snook, University of Southampton, UK
- Kevin Sullivan, University of Virginia, USA
- Jing Sun, The university of Auckland, Auckland, New Zealand
- Mana Taghdiri, Karlsruhe Institute of Technology, Germany
- Bernard Thalheim, Christian Albrechts University Kiel, Germany
- Margus Veanes, Microsoft Research, USA
- Marcel Verhoef, CHESS BV, Netherlands
- Friedrich Vogt, Hamburg University of Technology, Germany
- Laurent Voisin, Systerel France
- Qing Wang, Australian National University, Australia
- Virginie Wiels, ONERA-DTIM, Toulouse, France
- Kirsten Winter, University of Queensland, Australia
For questions concerning ABZ 2014, contact Yamine AIT AMEUR (yamine@n7.fr) or Klaus-Dieter SCHEWE (Klaus-Dieter.Schewe@scch.at).
[DMANET] PhD position at TU Dortmund University
This is to announce one Ph.D. student position in the complexity theory &
efficient algorithms group headed by Christian Sohler at TU Dortmund
University.
The application deadline is December 31th. The position will first be
assigned for 1 year with a possibility of extension. The position will be
funded by the
ERC Starting Grant "Sublinear Algorithms for the Analysis of Very Large
Graphs" and will be in the area of Property Testing. The ideal candidate
has an outstanding
MSc. degree (or equivalent) in Computer Science or Mathematics (if you are
interested in the position and hold a BSc. degree, please do not hesitate
to contact me about possible options).
More details about the position can be found here:
https://service.tu-dortmund.de/documents/18/1299244/wissenschafltich+Besch%C3%A4ftigte+bzw.+wissenschaftlich+Besch%C3%A4ftigter+%28Ref.-Nr.+158-13%29/1c3a0639-ec25-4bfb-b16d-2dba4a50ddb4?version=1.0
TU Dortmund wants to increase the percentage of woman in science and
particularly encourages women to apply. We explicitly note that the
application of severely disabled persons is
welcome.
If you have any questions, please do not hesitate to contact Christian
Sohler (christian.sohler@tu-dortmund.de).
**********************************************************
*
* Contributions to be spread via DMANET are submitted to
*
* DMANET@zpr.uni-koeln.de
*
* Replies to a message carried on DMANET should NOT be
* addressed to DMANET but to the original sender. The
* original sender, however, is invited to prepare an
* update of the replies received and to communicate it
* via DMANET.
*
* DISCRETE MATHEMATICS AND ALGORITHMS NETWORK (DMANET)
* http://www.zaik.uni-koeln.de/AFS/publications/dmanet/
*
**********************************************************
efficient algorithms group headed by Christian Sohler at TU Dortmund
University.
The application deadline is December 31th. The position will first be
assigned for 1 year with a possibility of extension. The position will be
funded by the
ERC Starting Grant "Sublinear Algorithms for the Analysis of Very Large
Graphs" and will be in the area of Property Testing. The ideal candidate
has an outstanding
MSc. degree (or equivalent) in Computer Science or Mathematics (if you are
interested in the position and hold a BSc. degree, please do not hesitate
to contact me about possible options).
More details about the position can be found here:
https://service.tu-dortmund.de/documents/18/1299244/wissenschafltich+Besch%C3%A4ftigte+bzw.+wissenschaftlich+Besch%C3%A4ftigter+%28Ref.-Nr.+158-13%29/1c3a0639-ec25-4bfb-b16d-2dba4a50ddb4?version=1.0
TU Dortmund wants to increase the percentage of woman in science and
particularly encourages women to apply. We explicitly note that the
application of severely disabled persons is
welcome.
If you have any questions, please do not hesitate to contact Christian
Sohler (christian.sohler@tu-dortmund.de).
**********************************************************
*
* Contributions to be spread via DMANET are submitted to
*
* DMANET@zpr.uni-koeln.de
*
* Replies to a message carried on DMANET should NOT be
* addressed to DMANET but to the original sender. The
* original sender, however, is invited to prepare an
* update of the replies received and to communicate it
* via DMANET.
*
* DISCRETE MATHEMATICS AND ALGORITHMS NETWORK (DMANET)
* http://www.zaik.uni-koeln.de/AFS/publications/dmanet/
*
**********************************************************
Wednesday, December 4, 2013
[DMANET] Research fellow in random graph theory at the University of Birmingham
The University of Birmingham invites applications for a research fellow to work with Nikolaos Fountoulakis on an
EU-funded project on random graph theory.
The post is available for a period of 11 months and must commence by 1 October 2014 or earlier by mutual agreement.
Applicants are expected to have a PhD in Combinatorics or Probability Theory (or about to complete a PhD).
Informal enquiries about this position are welcome and may be made to Nikolaos Fountoulakis
via email: n.fountoulakis at bham.ac.uk (http://web.mat.bham.ac.uk/N.Fountoulakis/)
Salary from £27,854 a year, in a range up to £36,298 a year, with potential progression to £38,522 a year.
Closing date: 2 January 2014, Reference: 52156
Further information about the Combinatorics group in Birmingham is available on http://web.mat.bham.ac.uk/D.Osthus/bham.html
Further information about the Department is available on http://www.mat.bham.ac.uk
Further details of the post, together with information on application procedures, can be found via: http://www.hr.bham.ac.uk/jobs
**********************************************************
*
* 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/
*
**********************************************************
EU-funded project on random graph theory.
The post is available for a period of 11 months and must commence by 1 October 2014 or earlier by mutual agreement.
Applicants are expected to have a PhD in Combinatorics or Probability Theory (or about to complete a PhD).
Informal enquiries about this position are welcome and may be made to Nikolaos Fountoulakis
via email: n.fountoulakis at bham.ac.uk (http://web.mat.bham.ac.uk/N.Fountoulakis/)
Salary from £27,854 a year, in a range up to £36,298 a year, with potential progression to £38,522 a year.
Closing date: 2 January 2014, Reference: 52156
Further information about the Combinatorics group in Birmingham is available on http://web.mat.bham.ac.uk/D.Osthus/bham.html
Further information about the Department is available on http://www.mat.bham.ac.uk
Further details of the post, together with information on application procedures, can be found via: http://www.hr.bham.ac.uk/jobs
**********************************************************
*
* 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] 3 post-doc positions in Computer Science @GSSI L'Aquila - Italy
Dear Colleagues,
the deadline is approaching, please help us in distributing the following call.
Thanks in advance
Michele Flammini
----------------------------
3 Post Doctoral positions in Computer Science at Gran Sasso Science Institute in L'Aquila (Italy) - http://www.gssi.infn.it
Deadline December 8, 2013
The Gran Sasso Science Institute (GSSI), a recently established international PhD school and a Center for advanced studies in physics, mathematics, computer science and social sciences offers 16 postdoctoral research positions; among these 3 are dedicated to Computer Science and more specifically to themes that are strongly connected to the pillars of the PhD program in Computer Science:
- Foundations of networks.
- Software systems and services.
- Specifications and analysis of concurrent reactive systems
The annual gross salary is EURO 40K, positions are for two years and may be extended to a third year.
Candidates must have earned their doctoral degree not earlier than January 1, 2007. Selected candidates are expected to start their appointments not later than November 1st, 2014.
Online application forms can be found on the GSSI web portal
http://www.gssi.infn.it.
The full text of the call can be downloaded at
http://www.gssi.infn.it/images/bandi2013/bando_RG.pdf
For further information you can contact Rocco De Nicola (rocco.denicola@imtlucca.it), the coordinator of the PhD program in Computer Science at GSSI.
Best regards,
Michele Flammini
-----------
Department of Information Engineering, Computer Science, and Mathematics
University of L'Aquila
Italy
email michele.flammini@univaq.it
**********************************************************
*
* Contributions to be spread via DMANET are submitted to
*
* DMANET@zpr.uni-koeln.de
*
* Replies to a message carried on DMANET should NOT be
* addressed to DMANET but to the original sender. The
* original sender, however, is invited to prepare an
* update of the replies received and to communicate it
* via DMANET.
*
* DISCRETE MATHEMATICS AND ALGORITHMS NETWORK (DMANET)
* http://www.zaik.uni-koeln.de/AFS/publications/dmanet/
*
**********************************************************
the deadline is approaching, please help us in distributing the following call.
Thanks in advance
Michele Flammini
----------------------------
3 Post Doctoral positions in Computer Science at Gran Sasso Science Institute in L'Aquila (Italy) - http://www.gssi.infn.it
Deadline December 8, 2013
The Gran Sasso Science Institute (GSSI), a recently established international PhD school and a Center for advanced studies in physics, mathematics, computer science and social sciences offers 16 postdoctoral research positions; among these 3 are dedicated to Computer Science and more specifically to themes that are strongly connected to the pillars of the PhD program in Computer Science:
- Foundations of networks.
- Software systems and services.
- Specifications and analysis of concurrent reactive systems
The annual gross salary is EURO 40K, positions are for two years and may be extended to a third year.
Candidates must have earned their doctoral degree not earlier than January 1, 2007. Selected candidates are expected to start their appointments not later than November 1st, 2014.
Online application forms can be found on the GSSI web portal
http://www.gssi.infn.it.
The full text of the call can be downloaded at
http://www.gssi.infn.it/images/bandi2013/bando_RG.pdf
For further information you can contact Rocco De Nicola (rocco.denicola@imtlucca.it), the coordinator of the PhD program in Computer Science at GSSI.
Best regards,
Michele Flammini
-----------
Department of Information Engineering, Computer Science, and Mathematics
University of L'Aquila
Italy
email michele.flammini@univaq.it
**********************************************************
*
* Contributions to be spread via DMANET are submitted to
*
* DMANET@zpr.uni-koeln.de
*
* Replies to a message carried on DMANET should NOT be
* addressed to DMANET but to the original sender. The
* original sender, however, is invited to prepare an
* update of the replies received and to communicate it
* via DMANET.
*
* DISCRETE MATHEMATICS AND ALGORITHMS NETWORK (DMANET)
* http://www.zaik.uni-koeln.de/AFS/publications/dmanet/
*
**********************************************************
[DMANET] PhD position in NoSQL Database Security (Goettingen, Germany)
The Institute of Computer Science at the Georg-August-Universität
Göttingen is looking to fill the position of a Research Assistant at the
Research Group Knowledge Engineering.
The contract will be fulltime (100% of currently 38.9 hours per week) and
limited to a duration of 2 years.
This position should be filled by March 3 rd 2014. Salary: Pay grade 13 TV-L.
Your duties
• Performing research in a project on databases and security (storage of
encrypted data in distributed database systems)
• Collaborating in setting up a research network on NoSQL databases
Your profile
• You hold an excellent degree (Master) in Computer Science, Mathematics
or a related field
• You have a strong background in databases, cryptography and programming
(Java)
• You are proficient in English
This position gives the successful applicant the opportunity to pursue a
PhD degree. The position is suitable for part-time work.
The University of Göttingen is an equal opportunities employer and places
particular emphasis on fostering career opportunities for women. Qualified
women are therefore strongly encouraged to apply as they are
underrepresented in this field. Disabled persons with equivalent aptitude
will be favored.
Applications should include a motivation letter, short CV, list of
publications, university certificates, and names (incl. contact info) of
two possible references. Please send your application (also in electronic
form) by January 6 th 2014 to Georg-August-Universität Göttingen,
Institute of Computer Science, Dr. Lena Wiese, Goldschmidtstraße 7, 37077
Göttingen, E-Mail: wiese@cs.uni-goettingen.de.
If you have any questions, please contact Dr. Wiese (phone: +49 551 39 172
059, e-mail: wiese@cs.uni-goettingen.de).
We request that you send us copies of your application documents, as no
returns will be made. We will destroy the documents after a holding period
of five months. Application documents will only be returned to you if you
provide a self-addressed adequately stamped envelope.
--
Dr. Lena Wiese
Institute of Computer Science, University of Goettingen
Goldschmidtstrasse 7, 37077 Goettingen, Germany
http://wiese.free.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/
*
**********************************************************
Göttingen is looking to fill the position of a Research Assistant at the
Research Group Knowledge Engineering.
The contract will be fulltime (100% of currently 38.9 hours per week) and
limited to a duration of 2 years.
This position should be filled by March 3 rd 2014. Salary: Pay grade 13 TV-L.
Your duties
• Performing research in a project on databases and security (storage of
encrypted data in distributed database systems)
• Collaborating in setting up a research network on NoSQL databases
Your profile
• You hold an excellent degree (Master) in Computer Science, Mathematics
or a related field
• You have a strong background in databases, cryptography and programming
(Java)
• You are proficient in English
This position gives the successful applicant the opportunity to pursue a
PhD degree. The position is suitable for part-time work.
The University of Göttingen is an equal opportunities employer and places
particular emphasis on fostering career opportunities for women. Qualified
women are therefore strongly encouraged to apply as they are
underrepresented in this field. Disabled persons with equivalent aptitude
will be favored.
Applications should include a motivation letter, short CV, list of
publications, university certificates, and names (incl. contact info) of
two possible references. Please send your application (also in electronic
form) by January 6 th 2014 to Georg-August-Universität Göttingen,
Institute of Computer Science, Dr. Lena Wiese, Goldschmidtstraße 7, 37077
Göttingen, E-Mail: wiese@cs.uni-goettingen.de.
If you have any questions, please contact Dr. Wiese (phone: +49 551 39 172
059, e-mail: wiese@cs.uni-goettingen.de).
We request that you send us copies of your application documents, as no
returns will be made. We will destroy the documents after a holding period
of five months. Application documents will only be returned to you if you
provide a self-addressed adequately stamped envelope.
--
Dr. Lena Wiese
Institute of Computer Science, University of Goettingen
Goldschmidtstrasse 7, 37077 Goettingen, Germany
http://wiese.free.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] EATCS-IPEC Nerode Prize 2014: Final call for nominations
FINAL CALL FOR NOMINATIONS
for the EATCS-IPEC Nerode Prize 2014
for outstanding papers in the area of multivariate algorithmics.
*Deadline for Nominations:* January 1, 2014.
*Decision:* May 1, 2014.
The award is presented annually with the presentation taking place at
IPEC (International Symposium on Parameterized and Exact Computation).
IPEC 2014 takes place within ALGO 2014, September 10-12, 2014, Wroclaw,
Poland.
The Prize is named in honor of Anil Nerode in recognition of his major
contributions to mathematical logic, theory of automata, computability,
and complexity theory.
In 2013, the prize was awarded for the first time, see
http://eatcs.org/index.php/nerode-prize.
*Award Committee *
The winning paper(s) is selected by a committee of three members. This
year's committee consists of the following three people.
Georg Gottlob (Oxford University), georg.gottlob@cs.ox.ac.uk
Jan Arne Telle (University of Bergen), telle@ii.uib.no
Peter Widmayer (ETH Zurich, chair), widmayer@inf.ethz.ch
The Award Committee is solely responsible for the selection of the
winner of the award which may be shared by more than one paper or series
of papers. The Award Committee reserves the right to declare no winner
at all.
*Eligibility *
Any research paper or series of research papers by a single author or by
a team of authors published in a recognized refereed journal. The year
of publication should be at least two years and at most ten years before
the year of the award nomination. The research work nominated for the
award should be in the area of multivariate algorithms and complexity
meant in a broad sense, and encompasses, but is not restricted to, those
areas covered by IPEC. The Award Committee has the ultimate authority to
decide on the eligibility of a nomination. Papers authored by a member
of the Award Committee are not eligible for nomination.
*Nominations *
Nominations may be made by any member of the scientific community
including the members of the Award Committee. A nomination should
contain a brief summary of the technical content of each nominated paper
and a brief explanation of its significance. Nominations are done by an
email to the Award Committee Chair with copies to the members of the
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/
*
**********************************************************
for the EATCS-IPEC Nerode Prize 2014
for outstanding papers in the area of multivariate algorithmics.
*Deadline for Nominations:* January 1, 2014.
*Decision:* May 1, 2014.
The award is presented annually with the presentation taking place at
IPEC (International Symposium on Parameterized and Exact Computation).
IPEC 2014 takes place within ALGO 2014, September 10-12, 2014, Wroclaw,
Poland.
The Prize is named in honor of Anil Nerode in recognition of his major
contributions to mathematical logic, theory of automata, computability,
and complexity theory.
In 2013, the prize was awarded for the first time, see
http://eatcs.org/index.php/nerode-prize.
*Award Committee *
The winning paper(s) is selected by a committee of three members. This
year's committee consists of the following three people.
Georg Gottlob (Oxford University), georg.gottlob@cs.ox.ac.uk
Jan Arne Telle (University of Bergen), telle@ii.uib.no
Peter Widmayer (ETH Zurich, chair), widmayer@inf.ethz.ch
The Award Committee is solely responsible for the selection of the
winner of the award which may be shared by more than one paper or series
of papers. The Award Committee reserves the right to declare no winner
at all.
*Eligibility *
Any research paper or series of research papers by a single author or by
a team of authors published in a recognized refereed journal. The year
of publication should be at least two years and at most ten years before
the year of the award nomination. The research work nominated for the
award should be in the area of multivariate algorithms and complexity
meant in a broad sense, and encompasses, but is not restricted to, those
areas covered by IPEC. The Award Committee has the ultimate authority to
decide on the eligibility of a nomination. Papers authored by a member
of the Award Committee are not eligible for nomination.
*Nominations *
Nominations may be made by any member of the scientific community
including the members of the Award Committee. A nomination should
contain a brief summary of the technical content of each nominated paper
and a brief explanation of its significance. Nominations are done by an
email to the Award Committee Chair with copies to the members of the
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/
*
**********************************************************
[DMANET] Nerode prize: final call for nominations
FINAL CALL FOR NOMINATIONS
for
the EATCS-IPEC Nerode Prize 2014
for outstanding papers in the area of multivariate algorithmics
*Deadline for Nominations:* January 1, 2014.
*Decision:* May 1, 2014.
The award is presented annually with the presentation taking place at
IPEC (International Symposium on Parameterized and Exact Computation).
IPEC 2014 takes place within ALGO 2014, September 10-12, 2014, Wroclaw,
Poland.
The Prize is named in honor of Anil Nerode in recognition of his major
contributions to mathematical logic, theory of automata, computability,
and complexity theory.
In 2013, the prize was awarded for the first time, see
http://eatcs.org/index.php/nerode-prize.
*Award Committee *
The winning paper(s) is selected by a committee of three members. This
year's committee consists of the following three people.
Georg Gottlob (Oxford University),georg.gottlob@cs.ox.ac.uk
Jan Arne Telle (University of Bergen),telle@ii.uib.no
Peter Widmayer (ETH Zurich, chair),widmayer@inf.ethz.ch
The Award Committee is solely responsible for the selection of the
winner of the award which may be shared by more than one paper or series
of papers. The Award Committee reserves the right to declare no winner
at all.
*Eligibility *
Any research paper or series of research papers by a single author or by
a team of authors published in a recognized refereed journal. The year
of publication should be at least two years and at most ten years before
the year of the award nomination. The research work nominated for the
award should be in the area of multivariate algorithms and complexity
meant in a broad sense, and encompasses, but is not restricted to, those
areas covered by IPEC. The Award Committee has the ultimate authority to
decide on the eligibility of a nomination. Papers authored by a member
of the Award Committee are not eligible for nomination.
*Nominations *
Nominations may be made by any member of the scientific community
including the members of the Award Committee. A nomination should
contain a brief summary of the technical content of each nominated paper
and a brief explanation of its significance. Nominations are done by an
email to the Award Committee Chair with copies to the members of the
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/
*
**********************************************************
for
the EATCS-IPEC Nerode Prize 2014
for outstanding papers in the area of multivariate algorithmics
*Deadline for Nominations:* January 1, 2014.
*Decision:* May 1, 2014.
The award is presented annually with the presentation taking place at
IPEC (International Symposium on Parameterized and Exact Computation).
IPEC 2014 takes place within ALGO 2014, September 10-12, 2014, Wroclaw,
Poland.
The Prize is named in honor of Anil Nerode in recognition of his major
contributions to mathematical logic, theory of automata, computability,
and complexity theory.
In 2013, the prize was awarded for the first time, see
http://eatcs.org/index.php/nerode-prize.
*Award Committee *
The winning paper(s) is selected by a committee of three members. This
year's committee consists of the following three people.
Georg Gottlob (Oxford University),georg.gottlob@cs.ox.ac.uk
Jan Arne Telle (University of Bergen),telle@ii.uib.no
Peter Widmayer (ETH Zurich, chair),widmayer@inf.ethz.ch
The Award Committee is solely responsible for the selection of the
winner of the award which may be shared by more than one paper or series
of papers. The Award Committee reserves the right to declare no winner
at all.
*Eligibility *
Any research paper or series of research papers by a single author or by
a team of authors published in a recognized refereed journal. The year
of publication should be at least two years and at most ten years before
the year of the award nomination. The research work nominated for the
award should be in the area of multivariate algorithms and complexity
meant in a broad sense, and encompasses, but is not restricted to, those
areas covered by IPEC. The Award Committee has the ultimate authority to
decide on the eligibility of a nomination. Papers authored by a member
of the Award Committee are not eligible for nomination.
*Nominations *
Nominations may be made by any member of the scientific community
including the members of the Award Committee. A nomination should
contain a brief summary of the technical content of each nominated paper
and a brief explanation of its significance. Nominations are done by an
email to the Award Committee Chair with copies to the members of the
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/
*
**********************************************************
[DMANET] CALL FOR PAPERS-IFORS 2014 Triennial Conference
We are pleased to invite you to participate in the IFORS 2014 Conference to be held on 13-18 July 2014 in the city of Barcelona, in the Mediterranean coast of Spain.
Aims and scope
Port management is a complex activity and in order to achieve the port's macro goals of maximizing throughput and revenue, a vast number of interconnected operations need to be addressed in the port. Accordingly, the need for effective decision making strategies for managing these port operations have become apparent and therefore have attracted many researchers into the subject. Aim of this event is to bring together a diverse and high quality number of participants to share their new ideas, knowledge and experiences in the logistics and maritime industry.
Topics of interest include:
Port management and policies
Stowage planning
Quayside operations
Yard operations
Transport optimization
To submit an abstract please go to: http://www.ifors2014.org/
Follow the abstract submission link and use the submission code "a0cf7d2c" under the section "Abstract in an invited session" to continue.
Important dates:
Abstract submission closes: 31 January 2014
Early Registration: 1 November 2013- 28 February 2014
Regular Registration: 1 March - 30 April 2014
Late and on-site registration: 1 May - 13 July 2014
Prof. Dr. Iris Vis
Dr. Evrim Ursavas
Aims and scope
Port management is a complex activity and in order to achieve the port's macro goals of maximizing throughput and revenue, a vast number of interconnected operations need to be addressed in the port. Accordingly, the need for effective decision making strategies for managing these port operations have become apparent and therefore have attracted many researchers into the subject. Aim of this event is to bring together a diverse and high quality number of participants to share their new ideas, knowledge and experiences in the logistics and maritime industry.
Topics of interest include:
Port management and policies
Stowage planning
Quayside operations
Yard operations
Transport optimization
To submit an abstract please go to: http://www.ifors2014.org/
Follow the abstract submission link and use the submission code "a0cf7d2c" under the section "Abstract in an invited session" to continue.
Important dates:
Abstract submission closes: 31 January 2014
Early Registration: 1 November 2013- 28 February 2014
Regular Registration: 1 March - 30 April 2014
Late and on-site registration: 1 May - 13 July 2014
Prof. Dr. Iris Vis
Dr. Evrim Ursavas
**********************************************************
*
* 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] GraMSec'14 -- Deadline extended until December 13
Due to numerous requests, the GraMSec'14 deadline has been extended until Friday, December 13.
The full CFP can be found below.
Best regards,
Barbara
------------------------------------
Dr. Barbara Kordy
Research Associate
Université du Luxembourg, SnT
Campus Kirchberg, room F012
6, rue Richard Coudenhove-Kalergi
L-1359 Luxembourg
Phone: +352 466 644 5506
Fax: +352 466 644 5741
------------------------------------
CALL FOR PAPERS - GraMSec'14
The First International Workshop on Graphical Models for Security
April 12, 2014, Grenoble, France
http://www.gramsec.uni.lu/
(Co-located with ETAPS 2014)
SCOPE
Graphical security models provide an intuitive but systematic
methodology to analyze security weaknesses of systems and to evaluate
potential protection measures. Such models have been subject of
academic research and they have also been widely accepted by the
industrial sector, as a means to support and facilitate threat
analysis and risk management processes. The objective of GraMSec is to
contribute to the development of well-founded graphical security
models, efficient algorithms for their analysis, as well as
methodologies for their practical usage.
TOPICS
The workshop seeks submissions from academia, industry, and government
presenting novel research on all theoretical and practical aspects of
graphical models for security. The topics of the workshop include, but
are not limited to:
- attack trees, attack graphs, Petri nets for security, Bayesian
networks for security, UML-based models for security,
- security in system models, organizational models, business models,
and methods for (semi-)automatic derivation of attack models from
these,
- methods for quantitative analysis of graphical security models,
- analysis of digital, physical and social (socio-technical) security
aspects using graphical models,
- risk assessment and risk management using graphical security models,
- software tools supporting security analysis using graphical models,
- case studies and experience reports on the use of graphical
methodologies for analysis and evaluation of security of systems.
PAPER SUBMISSION
We solicit two types of submissions:
- Regular papers (up to 15 pages) describing original and unpublished
work within the scope of the workshop.
- Short papers (up to 5 pages) describing work in progress or less
mature results.
Case studies and tool papers are welcome as well. All submissions must
be prepared in LaTeX using the EPTCS macro package available at
http://style.eptcs.org/. Each paper will undergo a thorough review
process. Submissions should be made using the GraMSec'14 easychair web
site: https://www.easychair.org/conferences/?conf=gramsec14
The final versions of accepted regular and short papers will be
published as a volume of Electronic Proceedings in Theoretical
Computer Science (EPTCS). Furthermore, authors of a selection of the
accepted papers will be invited to submit an extended version of their
articles to a special issue of a high-quality journal, after the
workshop.
Participants are also encouraged to submit position statements on
linking industrial needs to academic research questions. The
statements should not exceed one page and they will not undergo the
review process. Based on the statements, a special session will be
organized.
IMPORTANT DATES
Submission deadline: December 13, 2013 (extended)
Acceptance notification: January 24, 2014
Camera ready version: February 6, 2014
Workshop: April 12, 2014
GENERAL CHAIR
Sjouke Mauw, University of Luxembourg, LU
PC CO-CHAIRS
Barbara Kordy, University of Luxembourg, LU
Wolter Pieters, Delft University of Technology and University of Twente, NL
PC MEMBERS
Giampaolo Bella, University of Catania, Italy
Matt Bishop, University of California at Davis, USA
Stefano Bistarelli, University of Perugia, Italy
Mathias Ekstedt, KTH Royal Institute of Technology, Sweden
Donald Firesmith, Software Engineering Institute, USA
Virginia N. L. Franqueira, University of Central Lancashire, UK
Paolo Giorgini, University of Trento, Italy
Siv Hilde Houmb, Secure-NOK AS and Gjøvik University College, Norway
Sushil Jajodia, George Mason University, USA
Henk Jonkers, BiZZdesign, The Netherlands
Jan Jürjens, Technical University Dortmund, Germany
Peter Karpati, Institute for Energy Technology, Norway
Dong Seong Kim, University of Canterbury, New Zealand
Gabriele Lenzini, University of Luxembourg, Luxembourg
Per Håkon Meland, SINTEF, Norway
Svetla Nikova, KU Leuven, Belgium
Andreas L. Opdahl, University of Bergen, Norway
Stéphane Paul, Thales Research and Technology, France
Milan Petkovic, Philips and Eindhoven University of Technology, The Netherlands
Ludovic Piètre-Cambacédès, EDF, France
Christian W. Probst, Technical University of Denmark, Denmark
William H. Sanders, University of Illinois, USA
Simone Sillem, Delft University of Technology, The Netherlands
Guttorm Sindre, Norwegian University of Science and Technology, Norway
Mariëlle Stoelinga, University of Twente, The Netherlands
Kishor S. Trivedi, Duke University, USA
Luca Viganò, King's College London, UK
Lingyu Wang, Concordia University, Canada
Jan Willemson, Cybernetica, Estonia
CONTACT
For inquiries please send an e-mail to gramsec@uni.lu
**********************************************************
*
* 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 full CFP can be found below.
Best regards,
Barbara
------------------------------------
Dr. Barbara Kordy
Research Associate
Université du Luxembourg, SnT
Campus Kirchberg, room F012
6, rue Richard Coudenhove-Kalergi
L-1359 Luxembourg
Phone: +352 466 644 5506
Fax: +352 466 644 5741
------------------------------------
CALL FOR PAPERS - GraMSec'14
The First International Workshop on Graphical Models for Security
April 12, 2014, Grenoble, France
http://www.gramsec.uni.lu/
(Co-located with ETAPS 2014)
SCOPE
Graphical security models provide an intuitive but systematic
methodology to analyze security weaknesses of systems and to evaluate
potential protection measures. Such models have been subject of
academic research and they have also been widely accepted by the
industrial sector, as a means to support and facilitate threat
analysis and risk management processes. The objective of GraMSec is to
contribute to the development of well-founded graphical security
models, efficient algorithms for their analysis, as well as
methodologies for their practical usage.
TOPICS
The workshop seeks submissions from academia, industry, and government
presenting novel research on all theoretical and practical aspects of
graphical models for security. The topics of the workshop include, but
are not limited to:
- attack trees, attack graphs, Petri nets for security, Bayesian
networks for security, UML-based models for security,
- security in system models, organizational models, business models,
and methods for (semi-)automatic derivation of attack models from
these,
- methods for quantitative analysis of graphical security models,
- analysis of digital, physical and social (socio-technical) security
aspects using graphical models,
- risk assessment and risk management using graphical security models,
- software tools supporting security analysis using graphical models,
- case studies and experience reports on the use of graphical
methodologies for analysis and evaluation of security of systems.
PAPER SUBMISSION
We solicit two types of submissions:
- Regular papers (up to 15 pages) describing original and unpublished
work within the scope of the workshop.
- Short papers (up to 5 pages) describing work in progress or less
mature results.
Case studies and tool papers are welcome as well. All submissions must
be prepared in LaTeX using the EPTCS macro package available at
http://style.eptcs.org/. Each paper will undergo a thorough review
process. Submissions should be made using the GraMSec'14 easychair web
site: https://www.easychair.org/conferences/?conf=gramsec14
The final versions of accepted regular and short papers will be
published as a volume of Electronic Proceedings in Theoretical
Computer Science (EPTCS). Furthermore, authors of a selection of the
accepted papers will be invited to submit an extended version of their
articles to a special issue of a high-quality journal, after the
workshop.
Participants are also encouraged to submit position statements on
linking industrial needs to academic research questions. The
statements should not exceed one page and they will not undergo the
review process. Based on the statements, a special session will be
organized.
IMPORTANT DATES
Submission deadline: December 13, 2013 (extended)
Acceptance notification: January 24, 2014
Camera ready version: February 6, 2014
Workshop: April 12, 2014
GENERAL CHAIR
Sjouke Mauw, University of Luxembourg, LU
PC CO-CHAIRS
Barbara Kordy, University of Luxembourg, LU
Wolter Pieters, Delft University of Technology and University of Twente, NL
PC MEMBERS
Giampaolo Bella, University of Catania, Italy
Matt Bishop, University of California at Davis, USA
Stefano Bistarelli, University of Perugia, Italy
Mathias Ekstedt, KTH Royal Institute of Technology, Sweden
Donald Firesmith, Software Engineering Institute, USA
Virginia N. L. Franqueira, University of Central Lancashire, UK
Paolo Giorgini, University of Trento, Italy
Siv Hilde Houmb, Secure-NOK AS and Gjøvik University College, Norway
Sushil Jajodia, George Mason University, USA
Henk Jonkers, BiZZdesign, The Netherlands
Jan Jürjens, Technical University Dortmund, Germany
Peter Karpati, Institute for Energy Technology, Norway
Dong Seong Kim, University of Canterbury, New Zealand
Gabriele Lenzini, University of Luxembourg, Luxembourg
Per Håkon Meland, SINTEF, Norway
Svetla Nikova, KU Leuven, Belgium
Andreas L. Opdahl, University of Bergen, Norway
Stéphane Paul, Thales Research and Technology, France
Milan Petkovic, Philips and Eindhoven University of Technology, The Netherlands
Ludovic Piètre-Cambacédès, EDF, France
Christian W. Probst, Technical University of Denmark, Denmark
William H. Sanders, University of Illinois, USA
Simone Sillem, Delft University of Technology, The Netherlands
Guttorm Sindre, Norwegian University of Science and Technology, Norway
Mariëlle Stoelinga, University of Twente, The Netherlands
Kishor S. Trivedi, Duke University, USA
Luca Viganò, King's College London, UK
Lingyu Wang, Concordia University, Canada
Jan Willemson, Cybernetica, Estonia
CONTACT
For inquiries please send an e-mail to gramsec@uni.lu
**********************************************************
*
* 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, December 3, 2013
[DMANET] Railway Optimization @ IFORS 2014
Call for Sessions and Papers within the Stream
===== RAILWAY OPTIMIZATION =====
at the IFORS Conference
July 13-18, 2013 in Barcelona, Spain
www.ifors2014.org
Railway Optimization is a fruitful research topic in Operations Research.
Therefore I am looking for session organizers and for papers fitting in this stream.
Are you interested to organize a session of 4 talks on an appropriate topic in this stream?
Organizing a session involves choosing the topic, contacting speakers and handling their submission in the online system of the conference, to which you will get access.
Usually, but not necessarily, the organizer is also session speaker and/or session chair. If you are interested to organize a stream, please let me know, even if you are not yet fully sure.
In case you want to present a single paper in our stream, but do not want to organize a full session, please let me know the title and abstract.
Then your paper can be scheduled in an appropriate session in the stream. Papers contributed to the conference are much harder to trace later for inclusion in the correct stream.
I am looking forward to a successful stream on Railway Optimization and to meeting you in Barcelona!
Leo Kroon
ROTTERDAM SCHOOL OF MANAGEMENT
ERASMUS UNIVERSITY
Tel: +31-10-4082421
lkroon@rsm.nl
WWW.RSM.NL/LKROON
Disclaimer
________________________________
De informatie verzonden in dit e-mail bericht inclusief de bijlage(n) is vertrouwelijk en is uitsluitend bestemd voor de geadresseerde van dit bericht. Lees verder: www.eur.nl/email-disclaimer <http://www.eur.nl/email-disclaimer>
The information in this e-mail message is confidential and may be legally privileged. Read more: www.eur.nl/english/email-disclaimer<http://www.eur.nl/english/email-disclaimer>
________________________________
**********************************************************
*
* Contributions to be spread via DMANET are submitted to
*
* DMANET@zpr.uni-koeln.de
*
* Replies to a message carried on DMANET should NOT be
* addressed to DMANET but to the original sender. The
* original sender, however, is invited to prepare an
* update of the replies received and to communicate it
* via DMANET.
*
* DISCRETE MATHEMATICS AND ALGORITHMS NETWORK (DMANET)
* http://www.zaik.uni-koeln.de/AFS/publications/dmanet/
*
**********************************************************
===== RAILWAY OPTIMIZATION =====
at the IFORS Conference
July 13-18, 2013 in Barcelona, Spain
www.ifors2014.org
Railway Optimization is a fruitful research topic in Operations Research.
Therefore I am looking for session organizers and for papers fitting in this stream.
Are you interested to organize a session of 4 talks on an appropriate topic in this stream?
Organizing a session involves choosing the topic, contacting speakers and handling their submission in the online system of the conference, to which you will get access.
Usually, but not necessarily, the organizer is also session speaker and/or session chair. If you are interested to organize a stream, please let me know, even if you are not yet fully sure.
In case you want to present a single paper in our stream, but do not want to organize a full session, please let me know the title and abstract.
Then your paper can be scheduled in an appropriate session in the stream. Papers contributed to the conference are much harder to trace later for inclusion in the correct stream.
I am looking forward to a successful stream on Railway Optimization and to meeting you in Barcelona!
Leo Kroon
ROTTERDAM SCHOOL OF MANAGEMENT
ERASMUS UNIVERSITY
Tel: +31-10-4082421
lkroon@rsm.nl
WWW.RSM.NL/LKROON
Disclaimer
________________________________
De informatie verzonden in dit e-mail bericht inclusief de bijlage(n) is vertrouwelijk en is uitsluitend bestemd voor de geadresseerde van dit bericht. Lees verder: www.eur.nl/email-disclaimer <http://www.eur.nl/email-disclaimer>
The information in this e-mail message is confidential and may be legally privileged. Read more: www.eur.nl/english/email-disclaimer<http://www.eur.nl/english/email-disclaimer>
________________________________
**********************************************************
*
* Contributions to be spread via DMANET are submitted to
*
* DMANET@zpr.uni-koeln.de
*
* Replies to a message carried on DMANET should NOT be
* addressed to DMANET but to the original sender. The
* original sender, however, is invited to prepare an
* update of the replies received and to communicate it
* via DMANET.
*
* DISCRETE MATHEMATICS AND ALGORITHMS NETWORK (DMANET)
* http://www.zaik.uni-koeln.de/AFS/publications/dmanet/
*
**********************************************************
[DMANET] Celebrating Robert Jamison's 65th birthday with special sessions in Boca (March 3-7, 2014)
A track of special sessions on "Structured Families of Graphs:
Mathematical and Algorithmic Aspects" will be organized at the 45th
Southeastern Conference of Combinatorics, Graph Theory and Computing
(Boca Raton, March 3-7, 2014). See website:
http:/www.math.fau.edu/cgtc/cgtc45 We will also take this opportunity to
celebrate the 65th birthday of Robert Jamison at our sessions.
Invited 35 minute talks will be given by
Derek Corneil, Martin Golumbic, Pavol Hell, Robert Jamison,
Ortrud Oellerman, Jerry Spinrad, Ann Trenk and Tom Trotter,
AND there is an open call (below) for a larger number of 15 minute contributed
talks, to be submitted in the usual Boca Conference tradition, spanning areas
related to Robert's research and the theme of the special track.
We're also happy to report that Maria Chudnovsky and Noga Alon have
accepted Fred Hoffman's invitation to be plenary speakers on Wednesday of the
general conference this year.
For some of us, the Boca Meeting has been off-our-radar-screen for a
while. We hope that this year will be an opportunity for many of us to get
together for research discussions and joint work, and to honor Robert.
Best wishes, Derek Corneil and Marty Golumbic
===============================================================
Call for 15 minute contributed talks for the
Special sessions on "Structured Families of Graphs:
Mathematical and Algorithmic Aspects"
celebrating the 65th birthday of Robert Jamison
Contributions spanning areas related to Robert's research are
particularly welcome for the special track.
Procedure:
1. Send an initial email to Martin Golumbic <golumbic@cs.haifa.ac.il>
indicating your expectation to submit a contributed talk. Our special
sessions will run in parallel throughout most of the week of the
conference.
2. Submit your abstract in the usual fashion to the
45th Southeastern Conference of Combinatorics, Graph Theory and Computing
(Boca Raton, March 3-7, 2014) according to the INSTRUCTIONS at the
website:
http:/www.math.fau.edu/cgtc/cgtc45/Contributed%20Papers.htm
including in the body of your email your preference to be scheduled in
the special sessions on Structured Families of Graphs.
**********************************************************
*
* 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/
*
**********************************************************
Mathematical and Algorithmic Aspects" will be organized at the 45th
Southeastern Conference of Combinatorics, Graph Theory and Computing
(Boca Raton, March 3-7, 2014). See website:
http:/www.math.fau.edu/cgtc/cgtc45 We will also take this opportunity to
celebrate the 65th birthday of Robert Jamison at our sessions.
Invited 35 minute talks will be given by
Derek Corneil, Martin Golumbic, Pavol Hell, Robert Jamison,
Ortrud Oellerman, Jerry Spinrad, Ann Trenk and Tom Trotter,
AND there is an open call (below) for a larger number of 15 minute contributed
talks, to be submitted in the usual Boca Conference tradition, spanning areas
related to Robert's research and the theme of the special track.
We're also happy to report that Maria Chudnovsky and Noga Alon have
accepted Fred Hoffman's invitation to be plenary speakers on Wednesday of the
general conference this year.
For some of us, the Boca Meeting has been off-our-radar-screen for a
while. We hope that this year will be an opportunity for many of us to get
together for research discussions and joint work, and to honor Robert.
Best wishes, Derek Corneil and Marty Golumbic
===============================================================
Call for 15 minute contributed talks for the
Special sessions on "Structured Families of Graphs:
Mathematical and Algorithmic Aspects"
celebrating the 65th birthday of Robert Jamison
Contributions spanning areas related to Robert's research are
particularly welcome for the special track.
Procedure:
1. Send an initial email to Martin Golumbic <golumbic@cs.haifa.ac.il>
indicating your expectation to submit a contributed talk. Our special
sessions will run in parallel throughout most of the week of the
conference.
2. Submit your abstract in the usual fashion to the
45th Southeastern Conference of Combinatorics, Graph Theory and Computing
(Boca Raton, March 3-7, 2014) according to the INSTRUCTIONS at the
website:
http:/www.math.fau.edu/cgtc/cgtc45/Contributed%20Papers.htm
including in the body of your email your preference to be scheduled in
the special sessions on Structured Families of Graphs.
**********************************************************
*
* Contributions to be spread via DMANET are submitted to
*
* DMANET@zpr.uni-koeln.de
*
* Replies to a message carried on DMANET should NOT be
* addressed to DMANET but to the original sender. The
* original sender, however, is invited to prepare an
* update of the replies received and to communicate it
* via DMANET.
*
* DISCRETE MATHEMATICS AND ALGORITHMS NETWORK (DMANET)
* http://www.zaik.uni-koeln.de/AFS/publications/dmanet/
*
**********************************************************
[DMANET] Call for papers: Special Issue of the EURO Journal on Transportation and Logistics
============================================================
Special Issue of the EURO Journal on Transportation and Logistics
on "Packing problems arising in transportation and logistics"
http://transp-or.epfl.ch/euroJournal/special.php?id=9
============================================================
Special Issue of the EURO Journal on Transportation and Logistics
on "Packing problems arising in transportation and logistics"
http://transp-or.epfl.ch/euroJournal/special.php?id=9
============================================================
Aim of the special issue is to provide an insight of the most recent
results of the research in new variants of packing and loading problems
arising in transportation and logistics applications. In particular, new
problems arising in Smart City, Last Mile integration, and City Logistics
are welcome, as well as in broader definitions of existing packing and
loading problems, including multi-dimensional and multi-attribute
problems, integration between packing and routing, and stochastic
problems. A special focus will be given to tactical and strategic
problems, as well as to the management of uncertainty of the parameters.
Possible topics include (but are not limited to):
- Integration of packing and routing
- Uncertainty management and stochastic packing problems
- Introduction of realistic additional constraints
- Impact of additional operational constraints on packing algorithms
- Generalized packing algorithms
- Multi-attribute packing problems
- Rich and generalized packing problems
In order to submit a paper for a Special Issue, Log on the editorial
manager using the Author Login. Select Submit New Manuscript in the main
menu. In the drop down list associated with Choose Article Type, select
the desired special issue. The entries corresponding to the special issues
start with SI.
============================================================
Deadline to submit manuscripts: 1 February, 2014
Publication date: January 1, 2015
Guest Editors:
Manuel Iori, University of Modena and Reggio Emilia, Italy,
manuel.Iori@unimore.it
Guido Perboli, Politecnico di Torino, Italy and CIRRELT, Montréal, Canada,
guido.perboli@polito.it
Walter Rei, Université du Québec à Montréal (UQAM) and CIRRELT, Montréal,
Canada, rei.walter@uqam.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/
*
**********************************************************
Monday, December 2, 2013
[DMANET] Reminder: Simons-Berkeley Research Fellowships
This is a re-posting of an earlier announcement. Please note that the
deadline for applications is 15 December.
______________________________
The Simons Institute for the Theory of Computing at UC Berkeley
invites applications for Research Fellowships for academic year 2014-15.
Simons-Berkeley Research Fellowships are an opportunity for
outstanding junior scientists (at most 6 years from PhD by Fall 2014)
to spend one or two semesters at the Institute in connection with one
or more of its programs. The programs for 2014-15 are as follows:
* Algorithmic Spectral Graph Theory (Fall 2014)
* Algorithms and Complexity in Algebraic Geometry (Fall 2014)
* Information Theory (Spring 2015)
Applicants who already hold junior faculty or postdoctoral positions
are welcome to apply. In particular, applicants who hold, or expect to
hold, postdoctoral appointments at other institutions are encouraged
to apply to spend one semester as a Simons-Berkeley Fellow subject to
the approval of the postdoctoral institution.
Further details and application instructions can be found at http://simons.berkeley.edu/fellows2014
. Information about the Institute and the above programs can be found
at http://simons.berkeley.edu.
Deadline for applications: 15 December, 2013.
Alistair Sinclair
Associate Director, Simons Institute for the Theory of Computing
**********************************************************
*
* Contributions to be spread via DMANET are submitted to
*
* DMANET@zpr.uni-koeln.de
*
* Replies to a message carried on DMANET should NOT be
* addressed to DMANET but to the original sender. The
* original sender, however, is invited to prepare an
* update of the replies received and to communicate it
* via DMANET.
*
* DISCRETE MATHEMATICS AND ALGORITHMS NETWORK (DMANET)
* http://www.zaik.uni-koeln.de/AFS/publications/dmanet/
*
**********************************************************
deadline for applications is 15 December.
______________________________
The Simons Institute for the Theory of Computing at UC Berkeley
invites applications for Research Fellowships for academic year 2014-15.
Simons-Berkeley Research Fellowships are an opportunity for
outstanding junior scientists (at most 6 years from PhD by Fall 2014)
to spend one or two semesters at the Institute in connection with one
or more of its programs. The programs for 2014-15 are as follows:
* Algorithmic Spectral Graph Theory (Fall 2014)
* Algorithms and Complexity in Algebraic Geometry (Fall 2014)
* Information Theory (Spring 2015)
Applicants who already hold junior faculty or postdoctoral positions
are welcome to apply. In particular, applicants who hold, or expect to
hold, postdoctoral appointments at other institutions are encouraged
to apply to spend one semester as a Simons-Berkeley Fellow subject to
the approval of the postdoctoral institution.
Further details and application instructions can be found at http://simons.berkeley.edu/fellows2014
. Information about the Institute and the above programs can be found
at http://simons.berkeley.edu.
Deadline for applications: 15 December, 2013.
Alistair Sinclair
Associate Director, Simons Institute for the Theory of Computing
**********************************************************
*
* Contributions to be spread via DMANET are submitted to
*
* DMANET@zpr.uni-koeln.de
*
* Replies to a message carried on DMANET should NOT be
* addressed to DMANET but to the original sender. The
* original sender, however, is invited to prepare an
* update of the replies received and to communicate it
* via DMANET.
*
* DISCRETE MATHEMATICS AND ALGORITHMS NETWORK (DMANET)
* http://www.zaik.uni-koeln.de/AFS/publications/dmanet/
*
**********************************************************
Sunday, December 1, 2013
[DMANET] Call for paper (Journal of Operational Research and Decision Science Studies)
Dear Professor\Colleagues\Authors
We would like to invite you to submit your research paper for possible
publication in Journal of Operational Research and Decision Science
Studies (JORDS). It is a peer-reviewed journal, published by Novel
Science. The journal focuses on the following topics:
• Continuous Optimization, Computational Intelligence and Information
Management
• mathematical modeling
• Multi-Criteria Decision Methods
• Discrete Optimization and Expert Systems
• Heuristics Mathematical Programming
• Case Studies, Applications in all Areas of Sciences, Engineering and
Industry
• Econometric and statistical method
JORDS seeks to provide a forum for debates on practical and policy
implications to ustainable development. This journal also encourages
studies on solutions to improve corporate erformance towards
sustainability.
It provides an academic platform for professionals and researchers to
contribute innovative research in the field. JORDS carries original and
full-length articles that reflect the latest research and developments
in both theoretical and practical aspects of management, applied
mathematics and industrial engineering.
JORDS is devoted to rapid dissemination of significant research and is
the fastest submission-to-online journal. Accepted manuscripts will be
published online immediately for free of publication fee.
The journal is published in both print and online versions. The online
versions are free access and download.
If you are interested in submitting your papers, please send it to the
e-mails :
jords.admin@nvlscience.com or editor.jords@gmail.com
You can visit us at: http://www.nvlscience.com/index.php/JORDS/index
Regards,
Editorial Office
Journal of Operational Research and Decision Science Studies
We would like to invite you to submit your research paper for possible
publication in Journal of Operational Research and Decision Science
Studies (JORDS). It is a peer-reviewed journal, published by Novel
Science. The journal focuses on the following topics:
• Continuous Optimization, Computational Intelligence and Information
Management
• mathematical modeling
• Multi-Criteria Decision Methods
• Discrete Optimization and Expert Systems
• Heuristics Mathematical Programming
• Case Studies, Applications in all Areas of Sciences, Engineering and
Industry
• Econometric and statistical method
JORDS seeks to provide a forum for debates on practical and policy
implications to ustainable development. This journal also encourages
studies on solutions to improve corporate erformance towards
sustainability.
It provides an academic platform for professionals and researchers to
contribute innovative research in the field. JORDS carries original and
full-length articles that reflect the latest research and developments
in both theoretical and practical aspects of management, applied
mathematics and industrial engineering.
JORDS is devoted to rapid dissemination of significant research and is
the fastest submission-to-online journal. Accepted manuscripts will be
published online immediately for free of publication fee.
The journal is published in both print and online versions. The online
versions are free access and download.
If you are interested in submitting your papers, please send it to the
e-mails :
jords.admin@nvlscience.com or editor.jords@gmail.com
You can visit us at: http://www.nvlscience.com/index.php/JORDS/index
Regards,
Editorial Office
Journal of Operational Research and Decision Science Studies
**********************************************************
*
* 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/
*
**********************************************************
Visiting PhD student positions at KTH Royal Institute of Technology
The Theory Group at KTH Royal Institute of Technology
(http://www.csc.kth.se/tcs/) invites applications for visiting PhD student
positions during 2014. These positions are intended for PhD students with
a strong research record who would like to spend part of their PhD program
in another research environment. The students will be hosted by Per
Austrin (http://www.csc.kth.se/~austrin/), Johan Hastad
(http://www.csc.kth.se/~johanh/), and/or Jakob Nordstrom
(http://www.csc.kth.se/~jakobn/), depending on profile and research
interests.
The default set-up would assume that the PhD students receive some kind of
basic salary/support from their home institutions, and that the Theory
Group at KTH covers any extra costs involved with the visit to Stockholm
(travel expenses, accommodation, living expenses, et cetera). Other
arrangements can also be considered. The duration of stay could be from a
couple of months up to a full term.
Applications are reviewed on a rolling basis, but to be considered for the
early spring term it would help to contact us in December. Please send us
an e-mail at visiting-phd@csc.kth.se with a CV and a brief research
statement as attachments, and also include the names of two reference
persons whom we can contact.
Informal inquiries about the visiting PhD positions are welcome and may be
sent to visiting-phd@csc.kth.se.
(http://www.csc.kth.se/tcs/) invites applications for visiting PhD student
positions during 2014. These positions are intended for PhD students with
a strong research record who would like to spend part of their PhD program
in another research environment. The students will be hosted by Per
Austrin (http://www.csc.kth.se/~austrin/), Johan Hastad
(http://www.csc.kth.se/~johanh/), and/or Jakob Nordstrom
(http://www.csc.kth.se/~jakobn/), depending on profile and research
interests.
The default set-up would assume that the PhD students receive some kind of
basic salary/support from their home institutions, and that the Theory
Group at KTH covers any extra costs involved with the visit to Stockholm
(travel expenses, accommodation, living expenses, et cetera). Other
arrangements can also be considered. The duration of stay could be from a
couple of months up to a full term.
Applications are reviewed on a rolling basis, but to be considered for the
early spring term it would help to contact us in December. Please send us
an e-mail at visiting-phd@csc.kth.se with a CV and a brief research
statement as attachments, and also include the names of two reference
persons whom we can contact.
Informal inquiries about the visiting PhD positions are welcome and may be
sent to visiting-phd@csc.kth.se.
Subscribe to:
Comments (Atom)
Posts
