Summer School on
INTEGER PROGRAMMING and COMBINATORIAL OPTIMIZATION
June 20-22, 2014
Bonn, Germany
Lecturers:
Gérard Cornuéjols (Carnegie Mellon University, Pittsburgh)
Friedrich Eisenbrand (École Polytechnique Fédérale Lausanne)
András Frank (Eötvös University, Budapest)
David Shmoys (Cornell University, Ithaca)
Information and Registration:
http://www.or.uni-bonn.de/ipco/
The summer school precedes the IPCO conference (Bonn, June 23-25, 2014).
**********************************************************
*
* Contributions to be spread via DMANET are submitted to
*
* DMANET@zpr.uni-koeln.de
*
* Replies to a message carried on DMANET should NOT be
* addressed to DMANET but to the original sender. The
* original sender, however, is invited to prepare an
* update of the replies received and to communicate it
* via DMANET.
*
* DISCRETE MATHEMATICS AND ALGORITHMS NETWORK (DMANET)
* http://www.zaik.uni-koeln.de/AFS/publications/dmanet/
*
**********************************************************
Monday, January 20, 2014
[DMANET] Call for Papers – 5th International Conference on Complex Systems Design & Management (Nov. 2014, Paris - FR)
5th INTERNATIONAL CONFERENCE ON COMPLEX SYSTEMS DESIGN & MANAGEMENT(CSD&M
2014)
November 12-14, 2014 – Salons de l'Hôtel des Arts et Métiers (Paris - France)
2014)
November 12-14, 2014 – Salons de l'Hôtel des Arts et Métiers (Paris - France)
------------------------------------------------------------------------
Website: http://www.csdm2014.csdm.fr/
Call for Papers section: http://www.csdm2014.csdm.fr/-Call-for-paper-.html
Contact: contact@csdm.fr
------------------------------------------------------------------------
CALL FOR PAPERS
Designing complex industrial systems is a fundamental strategic challenges
for all industries. This spawned the relatively new academic field of
"systems architecture & engineering", producing a body of research that
allows engineers to manage the increasing complexity of the technical
systems they design. This field is at the interface between industry and
academia, and requires its practitioners to understand the industrial
concrete contexts as well as to master a strong theoritical background.
Thus, the ambition of the 5th CSD&M conference is to be the meeting of
reference for the industrial and academic environments working in the
design and management of complex industrial systems.
IMPORTANT DATES
- Abstract submission (optional): March 26, 2014
- Paper submission deadline: April 9, 2014
- Results announcement: May 30, 2014
- Final version for publication: June 30, 2014
- Conference: November 12-14, 2014
- Best papers awards: November 14, 2014
SUBMISSION PROCEDURE AND BEST PAPERS AWARDS
As the CSD&M conference is both industrial and academic, the papers'
topics could be industrial, academic or both in transverse. About twenty
selected papers will be fully published in the conference proceedings and
shall give a 30-min contributed talk at dedicated session of the
conference. Some twenty other papers selected for the Poster Workshop will
also participate in the conference and have one-page abstract published in
the same proceedings (printed by SPRINGER VERLAG with an ISBN number).
The Program Committee will award the best CSD&M 2014 papers in 2
categories: 1 prize of 2.000€ for the best academic or/and industrial
paper and 1 prize of 1.000€ for the best student paper.
For more details, see http://www.csdm2014.csdm.fr/-Submission-.html
CONFERENCE TOPICS
- Industrial domains: Aeronautics & Aerospace, Transport constructors &
operators, Defense & Security, Electronics & Robotics, Energy &
Environment, Health care & welfare services, Media & Communications,
Software & E-services.
- Scientific and technical topics: Systems fundamentals, Systems
modelling, Systems architecture, Systems engineering, Industrial projects,
Systems metrics, Systems quality, Systemic tools.
- Systems types: Embedded systems, Transportation systems, Software
systems, Information systems, Systems of systems, Artificial eco-systems.
MORE DETAILS
- More information can be found on the conference website:
http://www.csdm2014.csdm.fr
- For any question, please email to: contact@csdm.fr
For unsubscribing from this mailing list, please e-mail to
contact@cesames.net with "remove" in the object line.
**********************************************************
*
* 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, January 19, 2014
[DMANET] Ph.D. positions in parallel algorithms and algorithms engineering at University of Hawaii
Funding for multiple PhD positions in the area of theoretical computer
science is available at the department of Information and Computer
Sciences at the University of Hawaii, Manoa.
A successful candidate will work under the supervision of Prof. Nodari
Sitchinava on the topics of parallel and distributed algorithms and data
structures for modern architectures and programming environments, such
as manycores, GPGPUs, MapReduce. For more practically inclined
candidates projects which involve implementing these algorithms and data
structures on the modern architectures (algorithms engineering) are also
available, especially in the area of GPU programming. Exceptional
candidates in the general area of algorithms and data structures will
also be considered.
The applicants should apply through the Univeristy of Hawaii's central
admissions process. Information on how to apply can be found here:
http://www.ics.hawaii.edu/academics/graduate-programs/grad_faqs_prospective
The deadline for Fall 2014 admission is February 1, 2014. Students who
do not have a Master's degree are encouraged to apply directly to the
Ph.D. program (and will obtain a Master's degree in the course of the
Ph.D. program).
The department of Information and Computer Sciences is located in the
Manoa neighborhood of Honolulu, Hawaii. Honolulu is a vibrant city of
population 900,000 on the Hawaiian island of Oahu. The temperatures in
Honolulu vary very little throughout the year and average 75-90F
(24-32C) year round. In addition to city activities, the island offers
many outdoor activities, such as hiking, surfing, snorkeling, scuba diving.
**********************************************************
*
* 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/
*
**********************************************************
science is available at the department of Information and Computer
Sciences at the University of Hawaii, Manoa.
A successful candidate will work under the supervision of Prof. Nodari
Sitchinava on the topics of parallel and distributed algorithms and data
structures for modern architectures and programming environments, such
as manycores, GPGPUs, MapReduce. For more practically inclined
candidates projects which involve implementing these algorithms and data
structures on the modern architectures (algorithms engineering) are also
available, especially in the area of GPU programming. Exceptional
candidates in the general area of algorithms and data structures will
also be considered.
The applicants should apply through the Univeristy of Hawaii's central
admissions process. Information on how to apply can be found here:
http://www.ics.hawaii.edu/academics/graduate-programs/grad_faqs_prospective
The deadline for Fall 2014 admission is February 1, 2014. Students who
do not have a Master's degree are encouraged to apply directly to the
Ph.D. program (and will obtain a Master's degree in the course of the
Ph.D. program).
The department of Information and Computer Sciences is located in the
Manoa neighborhood of Honolulu, Hawaii. Honolulu is a vibrant city of
population 900,000 on the Hawaiian island of Oahu. The temperatures in
Honolulu vary very little throughout the year and average 75-90F
(24-32C) year round. In addition to city activities, the island offers
many outdoor activities, such as hiking, surfing, snorkeling, scuba diving.
**********************************************************
*
* Contributions to be spread via DMANET are submitted to
*
* DMANET@zpr.uni-koeln.de
*
* Replies to a message carried on DMANET should NOT be
* addressed to DMANET but to the original sender. The
* original sender, however, is invited to prepare an
* update of the replies received and to communicate it
* via DMANET.
*
* DISCRETE MATHEMATICS AND ALGORITHMS NETWORK (DMANET)
* http://www.zaik.uni-koeln.de/AFS/publications/dmanet/
*
**********************************************************
Saturday, January 18, 2014
[DMANET] postdoctoral fellowship available in algorithms and optimization
Applications from outstanding candidates are invited for a
postdoctoral fellowship in algorithm design and optimization at the
University of Lethbridge. The research will broadly target the
development of advanced algorithms to solve challenging problems in
communication networks, facility location and discrete optimization.
The position is for one year, but may be extended for up to a second
year, subject to the availability of funds. The preferred start date
for the fellowship is on or before April 1, 2014.
The fellow will join the Optimization Research Group in the
Mathematics and Computer Science Department. The group consists of
faculty and graduate students at the masters and PhD level whose
research areas include telecommunication, transportation and
logistics, scientific computation, and bioinformatics. The group
members work in a relaxed and collegial atmosphere and maintain strong
research collaborations within the group, across Canada and
internationally.
Applicants should have a PhD degree in Computer Science or a related
field, obtained in the last five years. Extensions are considered in
case of maternity leave or other special circumstances. Proof of
degree completion must be provided prior to the start date of the
fellowship.
To apply, please submit a letter of intention, a CV, a research
statement, the contact information for three referees, and a sample of
your publications, to the e-mail address below. Please use the subject
"PDF application" in your e-mail. Applications are accepted until the
position is filled. Applications received by January 31, 2014 will
receive full consideration.
Lethbridge is located in Southern Alberta, Canada, close to the border
with the province of British Columbia. It is only 1.5 hours drive from
the Rockies and the Waterton Lakes National Park, a UNESCO World
Heritage site.
E-mail address for the submission of your application:
robert.benkoczi@uleth.ca
Robert Benkoczi, PhD,
Assistant Professor of Computer Science
University of Lethbridge
4401 University Dr
Lethbridge AB T1K3M4, Canada
+1-403.329.2298
http://www.cs.uleth.ca/~benkoczi
**********************************************************
*
* 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/
*
**********************************************************
postdoctoral fellowship in algorithm design and optimization at the
University of Lethbridge. The research will broadly target the
development of advanced algorithms to solve challenging problems in
communication networks, facility location and discrete optimization.
The position is for one year, but may be extended for up to a second
year, subject to the availability of funds. The preferred start date
for the fellowship is on or before April 1, 2014.
The fellow will join the Optimization Research Group in the
Mathematics and Computer Science Department. The group consists of
faculty and graduate students at the masters and PhD level whose
research areas include telecommunication, transportation and
logistics, scientific computation, and bioinformatics. The group
members work in a relaxed and collegial atmosphere and maintain strong
research collaborations within the group, across Canada and
internationally.
Applicants should have a PhD degree in Computer Science or a related
field, obtained in the last five years. Extensions are considered in
case of maternity leave or other special circumstances. Proof of
degree completion must be provided prior to the start date of the
fellowship.
To apply, please submit a letter of intention, a CV, a research
statement, the contact information for three referees, and a sample of
your publications, to the e-mail address below. Please use the subject
"PDF application" in your e-mail. Applications are accepted until the
position is filled. Applications received by January 31, 2014 will
receive full consideration.
Lethbridge is located in Southern Alberta, Canada, close to the border
with the province of British Columbia. It is only 1.5 hours drive from
the Rockies and the Waterton Lakes National Park, a UNESCO World
Heritage site.
E-mail address for the submission of your application:
robert.benkoczi@uleth.ca
Robert Benkoczi, PhD,
Assistant Professor of Computer Science
University of Lethbridge
4401 University Dr
Lethbridge AB T1K3M4, Canada
+1-403.329.2298
http://www.cs.uleth.ca/~benkoczi
**********************************************************
*
* 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] SEA 2014:CFP
--------------------------------------------------------------------
13th International Symposium on Experimental Algorithms
http://www.diku.dk/sea2014
June 29-July 1, 2014
Copenhagen, Denmark
Call for Papers
--------------------------------------------------------------------
IMPORTANT DATES
Submission deadline: February 7, 2014
Author notification: March 14, 2014
Camera-ready submission: April 4, 2014
AIMS & SCOPE
SEA, previously known as WEA (Workshop on Experimental Algorithms),
is an international forum for researchers in the area of design,
analysis, and experimental evaluation and engineering of algorithms,
as well as in various aspects of computational optimization and
its applications. The preceding symposia were held in Riga, Monte
Verita, Rio de Janeiro, Santorini, Menorca Island, Rome, Cape Cod,
Dortmund, Ischia Island, Crete, Bordeaux, and Rome.
The main theme of the symposium is the role of experimentation and
of algorithm engineering techniques in the design and evaluation of
algorithms and data structures. Submissions should present
significant contributions supported by experimental evaluation,
methodological issues in the design and interpretation of
experiments, the use of (meta-)heuristics, or application-driven
case studies that deepen the understanding of a problem's
complexity.
Topics of interest include, but are not limited to:
- Algorithm Engineering
- Algorithmic Libraries
- Algorithmic Mechanism Design
- Analysis of Algorithms
- Algorithms for Memory Hierarchies
- Approximation Techniques
- Bioinformatics
- Branch and Bound Algorithms
- Combinatorial and Irregular Problems
- Combinatorial Structures and Graphs
- Communication Networks
- Complex Networks
- Computational Geometry
- Computational Learning Theory
- Computational Optimization
- Computer Systems
- Cryptography and Security
- Data Streams
- Data Structures
- Distributed and Parallel Algorithms
- Evaluation of Algorithms for Realistic Environments
- Experimental Techniques and Statistics
- Graph Drawing
- Heuristics for Combinatorial Optimization
- Implementation, Testing, Evaluation and Fine-tuning
- Information Retrieval
- Integer Programming
- Logistics and Operations Management
- Machine Learning and Data Mining
- Mathematical Programming
- Metaheuristic Methodologies
- Multiple Criteria Decision Making
- Network Analysis
- Novel Applications of Algorithms in Other Disciplines
- On-line Problems
- Parallel Algorithms and Computing
- Railway Optimization using Algorithmic Methods
- Randomized Techniques
- Robotics
- Semidefinite Programming
- Simulation
- Software Repositories and Platforms for using Algorithms
- Telecommunications and Networking
- World Wide Web Algorithms
PROGRAM COMMITTEE
Benjamin Doerr, Max-Planck Institut für Informatik
Camil Demetrescu, Sapienza University of Rome
David G Andersen, Carnegie Mellon University
David Mount, University of Maryland
Erwin Pesch, University of Siegen
Gerhard J. Woeginger, Technical University of Eindhoven
Joachim Gudmundsson (chair), University of Sydney and NICTA
Jyrki Katajainen, University of Copenhagen
Maike Buchin, Ruhr-University of Bochum
Martin Skutella, Technical University of Berlin
Matt Stallmann, North Carolina State University
Peter Sanders, Karlsruhe Institute of Technology
Petra Mutzel, Technical University of Dortmund
Philippas Tsigas, Chalmers University of Technology
Rolf Niedermeier, Technical University of Berlin
Simon Puglisi, University of Helsinki
Suresh Venkatasubramanian, University of Utah
Toby Walsh, NICTA and University of New South Wales
Yusu Wang, Ohio State University
PLENARY SPEAKERS
Jon Bentley, Avaya Labs Research
Robert Bixby, Rice University
Rasmus Pagh, IT University of Copenhagen
SUBMISSIONS
Authors are invited to submit high-quality manuscripts reporting
original unpublished research and recent developments in the topics
related to the symposium. Simultaneous submission to other
conferences or workshops with published proceedings is not allowed.
Submissions must not exceed 12 pages formatted according to LNCS
style plus an optional, clearly marked appendix of reasonable
length (to be read at the program committee's discretion). All papers
will be peer reviewed and comments will be provided to the authors.
PROCEEDINGS
Accepted papers will appear in the SEA 2014 proceedings published
by Springer in the LNCS series.
ORGANIZING COMMITTEE
Jyrki Katajainen, University of Copenhagen
Susan Nasirumbi Ipsen, University of Copenhagen
CONTACT
For further information, please send an e-mail to
jyrki@diku.dk.u
**********************************************************
*
* 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, January 17, 2014
[DMANET] PhD Position in Parameterized Complexity at TU Vienna, Austria
The position is part of the FWF funded research project "Exploiting New Types of Structure for Fixed Parameter Tractability" within Stefan Szeider's group at the Vienna University of Technology. The project investigates the algorithmic combination of graph decompositions and modulators into graph classes. The candidate will be supervised by Stefan Szeider and Robert Ganian.
Applicants are expected to have excellent mathematical skills as well as interest and background in discrete algorithms.
The position should start in the second half of 2014 and is for up to three years (the expected duration of the PhD program). The salary is according to the FWF standard contracts for PhD candidates (approx. EUR 35,500 gross, p.a.), which allows for a convenient living in Vienna close to the city centre.
The application should include the candidate's CV, an abstract of the diploma/masters thesis, a short motivation letter, and two letters of recommendation (all five items in a single pdf file). The application should also mention possible starting dates and should be sent to robert.ganian@tuwien.ac.at by February 28, 2014.
**********************************************************
*
* Contributions to be spread via DMANET are submitted to
*
* DMANET@zpr.uni-koeln.de
*
* Replies to a message carried on DMANET should NOT be
* addressed to DMANET but to the original sender. The
* original sender, however, is invited to prepare an
* update of the replies received and to communicate it
* via DMANET.
*
* DISCRETE MATHEMATICS AND ALGORITHMS NETWORK (DMANET)
* http://www.zaik.uni-koeln.de/AFS/publications/dmanet/
*
**********************************************************
Applicants are expected to have excellent mathematical skills as well as interest and background in discrete algorithms.
The position should start in the second half of 2014 and is for up to three years (the expected duration of the PhD program). The salary is according to the FWF standard contracts for PhD candidates (approx. EUR 35,500 gross, p.a.), which allows for a convenient living in Vienna close to the city centre.
The application should include the candidate's CV, an abstract of the diploma/masters thesis, a short motivation letter, and two letters of recommendation (all five items in a single pdf file). The application should also mention possible starting dates and should be sent to robert.ganian@tuwien.ac.at by February 28, 2014.
**********************************************************
*
* Contributions to be spread via DMANET are submitted to
*
* DMANET@zpr.uni-koeln.de
*
* Replies to a message carried on DMANET should NOT be
* addressed to DMANET but to the original sender. The
* original sender, however, is invited to prepare an
* update of the replies received and to communicate it
* via DMANET.
*
* DISCRETE MATHEMATICS AND ALGORITHMS NETWORK (DMANET)
* http://www.zaik.uni-koeln.de/AFS/publications/dmanet/
*
**********************************************************
[DMANET] Professorship (W2) in Algebra and Applications, TU Dortmund
The Faculty for Mathematics at TU Dortmund University is seeking to fill the position of a
Professorship (W2) in Algebra and Applications.
The research profile of the professorship is algebra and applications, which includes algebraic methods in discrete mathematics and geometry. ln particular, cooperation with other mathematical areas, for example optimization, and with other faculties of the university is desired. Possible areas of applications may include information technology, computer science, physics or statistics.
Applicants should have a proven international track record in research and publishing in the area of algebra and its applications. Applicants are also expected to have experience in acquiring research funding and to show willingness to participate in joint research activities in mathematics.
Teaching constitutes a significant aspect of the post. The successful candidate should therefore possess good pedagogical skills in order to teach a varied student body comprising students in mathematics, technomathematics, business mathematics, future teachers of mathematics and students from other science or engineering departments. The general language of instruction is Ger- man. Thus, adequate German language skills or the acquisition of such skills in a reasonably short time are essential. Participation in administrative tasks is also expected.
Applications should be sent by regular mail until january, 30, 2014
For more information see:
http://www.mathematik.tu-dortmund.de/de/index/aktuelles/meldungen/Ausschreibung-W2-Algebra-2014-01-02.html
http://www.mathematik.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/
*
**********************************************************
Professorship (W2) in Algebra and Applications.
The research profile of the professorship is algebra and applications, which includes algebraic methods in discrete mathematics and geometry. ln particular, cooperation with other mathematical areas, for example optimization, and with other faculties of the university is desired. Possible areas of applications may include information technology, computer science, physics or statistics.
Applicants should have a proven international track record in research and publishing in the area of algebra and its applications. Applicants are also expected to have experience in acquiring research funding and to show willingness to participate in joint research activities in mathematics.
Teaching constitutes a significant aspect of the post. The successful candidate should therefore possess good pedagogical skills in order to teach a varied student body comprising students in mathematics, technomathematics, business mathematics, future teachers of mathematics and students from other science or engineering departments. The general language of instruction is Ger- man. Thus, adequate German language skills or the acquisition of such skills in a reasonably short time are essential. Participation in administrative tasks is also expected.
Applications should be sent by regular mail until january, 30, 2014
For more information see:
http://www.mathematik.tu-dortmund.de/de/index/aktuelles/meldungen/Ausschreibung-W2-Algebra-2014-01-02.html
http://www.mathematik.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/
*
**********************************************************
[DMANET] DEBS 2014 - research paper abstracts are due Jan 24th
DEBS 2014: 8th ACM International Conference on Distributed Event Based
Systems
May 26th-29th 2014, IIT Bombay, Mumbai, India,
Co-sponsored by ACM SIGMOD and ACM SIGSOFT
http://www.cse.iitb.ac.in/debs2014/
The scope of DEBS conference covers all topics relevant to event-based
computing ranging from those discussed in related disciplines (e.g.,
software systems, distributed systems, data management, dependability,
knowledge management, networking, programming languages, security and
software engineering), to domain-specific topics of event-based
computing (e.g., real-time analytics, mobile computing, social
networking, pervasive, green computing and ubiquitous computing, sensors
networks, user interfaces, big data processing, spatio-temporal
processing, Cloud computing, the internet of things, peer-to-peer
computing, embedded systems and stream processing), and
enterprise-related topics (e.g., complex event detection, enterprise
application integration, real-time enterprises and web services).
=== DEBS2014 tracks:
- A Research Track featuring high-quality, peer-reviewed research papers.
- An Industry Track for systems and concepts and experience reports.
- A Tutorial Track geared towards both academia and industry.
- A Demonstration and Posters Track with practical demonstrations and
early work.
- A Grand Challenges Track to test research and commercial systems.
- A Doctoral Workshop.
=== DEBS 2014 Important Dates:
Research Track:
Abstracts due January 24, 2014
Full papers due February 1, 2014
Author Notification March 31, 2014
Camera Ready papers April 15, 2014
Industry Track
Papers due February 15, 2014
Author Notification March 31, 2014
Camera Ready papers April 15, 2014
Tutorials:
Proposals due February 1, 2014
Presenter Notification March 15, 2014
Tutorials date May 26, 2014
Grand Challenge
Grand Challenge Problem Posted November 22, 2013
Submissions due March 1, 2014
Author Notification March 31, 2014
Camera Ready Submission April 15, 2014
Doctoral Symposium:
Papers due April 5, 2014
Author Notification April 15, 2014
Poster and Demo Track
Submissions due April 5, 2014
Author Notifications April 15, 2014
Camera Ready Copies due April 20, 2014
=== Submissions
All submissions must be original and unpublished. Accepted papers will
be published by ACM and disseminated through the ACM Digital Library.
More information about the tracks and submission information can be
found on the DEBS 2014 website:
http://www.cse.iitb.ac.in/debs2014/
=== Scope of the Conference
The topics addressed by the conference include (but are not limited to):
*** Models, Architectures and Paradigms
- Event-driven architectures
- Big Data (event-processing in Big Data)
- Internet of Things (event-processing in M2M)
- Basic interaction models
- Event algebras, event schemas and type systems
- Languages for event correlation and patterns, streaming and continuous
queries, data fusion
- Models for static and dynamic environments
- Complex event processing
- Design and programming methodologies
- Event-based business process management and modeling
- Experimental methodologies
- Performance modeling and prediction based on analytic approaches
- Functional Reactive Programming
*** Middleware Infrastructures for Event-Based Computing
- Federated event-based systems
- Middleware for actuator and sensor networks
- Algorithms and protocols
- Optimization techniques for event-based (or streaming) systems
- Event dissemination based on p2p systems
- Context and location awareness
- Fault-tolerance, reliability, availability, and recovery
- Security issues
- (Self-)Management
- Mobility and resource constrained device support
- Streaming queries, transformations, or correlation engines
- Logic-based event processing
- Semantic event processing
- Business Process Management with events
*** Applications, Experiences, and Requirements
- Use cases and applications of event-based systems
- Real-world application deployments using event-based middleware
- Domain-specific deployments of event-based systems
- Real-world data characterizing event-based applications
- Benchmarks, performance evaluations, and testbeds
- Application requirements for next-generation event-based solutions
- Relation to other architectures
- Enterprise application integration
- Event-driven business process management
- Information logistics
- Seamless integration of event-based mechanisms into middleware platforms
=== Organization:
General Co-Chairs:
Umesh Bellur (IIT Bombay, India)
Ravi Kothari (IBM India Research Labs)
Program Co-Chairs:
Dharanipragada Janakiram (IIT Madras, India)
Pascal Felber (U. of Neuchatel, Switzerland)
Proceedings Chairs:
David Eyers (U. of Otago, New Zealand)
Industry Co-Chairs:
Koustuv Dasgupta (Xerox Research Center, India)
Todd Montogomery (Informatica, USA)
Local Organization Chair:
Shruti Kunde (Xerox Research Center India)
Tutorial Co-Chairs:
R K Shyamsundar (TIFR, India)
Alexander Wolf (Imperial College, London, UK)
Poster & Demo Co-Chairs:
Vana Kalogeraki (U. of Athens, Greece)
Puru Kulkarni (IIT Bombay, India)
Doctoral Workshop Co-Chairs:
Niloy Ganguly (IIT Kharagpur, India)
Nalini Venkatasubramanian (UC Irvine, USA)
Grand Challenge Co-Chairs:
Zbigniew Jerzak (SAP AG, Germany)
Holger Ziekow (AGT International, Germany)
Publicity Co-Chairs:
Annika Hinze (U. of Waikato, New Zealand)
Boris Koldehofe (U. of Stuttgart, Germany)
Madhu Kumar SD (NIT Calicut, India)
**********************************************************
*
* 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/
*
**********************************************************
Systems
May 26th-29th 2014, IIT Bombay, Mumbai, India,
Co-sponsored by ACM SIGMOD and ACM SIGSOFT
http://www.cse.iitb.ac.in/debs2014/
The scope of DEBS conference covers all topics relevant to event-based
computing ranging from those discussed in related disciplines (e.g.,
software systems, distributed systems, data management, dependability,
knowledge management, networking, programming languages, security and
software engineering), to domain-specific topics of event-based
computing (e.g., real-time analytics, mobile computing, social
networking, pervasive, green computing and ubiquitous computing, sensors
networks, user interfaces, big data processing, spatio-temporal
processing, Cloud computing, the internet of things, peer-to-peer
computing, embedded systems and stream processing), and
enterprise-related topics (e.g., complex event detection, enterprise
application integration, real-time enterprises and web services).
=== DEBS2014 tracks:
- A Research Track featuring high-quality, peer-reviewed research papers.
- An Industry Track for systems and concepts and experience reports.
- A Tutorial Track geared towards both academia and industry.
- A Demonstration and Posters Track with practical demonstrations and
early work.
- A Grand Challenges Track to test research and commercial systems.
- A Doctoral Workshop.
=== DEBS 2014 Important Dates:
Research Track:
Abstracts due January 24, 2014
Full papers due February 1, 2014
Author Notification March 31, 2014
Camera Ready papers April 15, 2014
Industry Track
Papers due February 15, 2014
Author Notification March 31, 2014
Camera Ready papers April 15, 2014
Tutorials:
Proposals due February 1, 2014
Presenter Notification March 15, 2014
Tutorials date May 26, 2014
Grand Challenge
Grand Challenge Problem Posted November 22, 2013
Submissions due March 1, 2014
Author Notification March 31, 2014
Camera Ready Submission April 15, 2014
Doctoral Symposium:
Papers due April 5, 2014
Author Notification April 15, 2014
Poster and Demo Track
Submissions due April 5, 2014
Author Notifications April 15, 2014
Camera Ready Copies due April 20, 2014
=== Submissions
All submissions must be original and unpublished. Accepted papers will
be published by ACM and disseminated through the ACM Digital Library.
More information about the tracks and submission information can be
found on the DEBS 2014 website:
http://www.cse.iitb.ac.in/debs2014/
=== Scope of the Conference
The topics addressed by the conference include (but are not limited to):
*** Models, Architectures and Paradigms
- Event-driven architectures
- Big Data (event-processing in Big Data)
- Internet of Things (event-processing in M2M)
- Basic interaction models
- Event algebras, event schemas and type systems
- Languages for event correlation and patterns, streaming and continuous
queries, data fusion
- Models for static and dynamic environments
- Complex event processing
- Design and programming methodologies
- Event-based business process management and modeling
- Experimental methodologies
- Performance modeling and prediction based on analytic approaches
- Functional Reactive Programming
*** Middleware Infrastructures for Event-Based Computing
- Federated event-based systems
- Middleware for actuator and sensor networks
- Algorithms and protocols
- Optimization techniques for event-based (or streaming) systems
- Event dissemination based on p2p systems
- Context and location awareness
- Fault-tolerance, reliability, availability, and recovery
- Security issues
- (Self-)Management
- Mobility and resource constrained device support
- Streaming queries, transformations, or correlation engines
- Logic-based event processing
- Semantic event processing
- Business Process Management with events
*** Applications, Experiences, and Requirements
- Use cases and applications of event-based systems
- Real-world application deployments using event-based middleware
- Domain-specific deployments of event-based systems
- Real-world data characterizing event-based applications
- Benchmarks, performance evaluations, and testbeds
- Application requirements for next-generation event-based solutions
- Relation to other architectures
- Enterprise application integration
- Event-driven business process management
- Information logistics
- Seamless integration of event-based mechanisms into middleware platforms
=== Organization:
General Co-Chairs:
Umesh Bellur (IIT Bombay, India)
Ravi Kothari (IBM India Research Labs)
Program Co-Chairs:
Dharanipragada Janakiram (IIT Madras, India)
Pascal Felber (U. of Neuchatel, Switzerland)
Proceedings Chairs:
David Eyers (U. of Otago, New Zealand)
Industry Co-Chairs:
Koustuv Dasgupta (Xerox Research Center, India)
Todd Montogomery (Informatica, USA)
Local Organization Chair:
Shruti Kunde (Xerox Research Center India)
Tutorial Co-Chairs:
R K Shyamsundar (TIFR, India)
Alexander Wolf (Imperial College, London, UK)
Poster & Demo Co-Chairs:
Vana Kalogeraki (U. of Athens, Greece)
Puru Kulkarni (IIT Bombay, India)
Doctoral Workshop Co-Chairs:
Niloy Ganguly (IIT Kharagpur, India)
Nalini Venkatasubramanian (UC Irvine, USA)
Grand Challenge Co-Chairs:
Zbigniew Jerzak (SAP AG, Germany)
Holger Ziekow (AGT International, Germany)
Publicity Co-Chairs:
Annika Hinze (U. of Waikato, New Zealand)
Boris Koldehofe (U. of Stuttgart, Germany)
Madhu Kumar SD (NIT Calicut, India)
**********************************************************
*
* 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] Professor in quantitative logistics
Dear colleague
I apologize for cross-posting.
Molde University College (HiM) is searching for a professor in logistics. The Professorship is within the area of quantitative logistics, encompassing topics such as operation research, operations management, informatics, mathematics, or other quantitative approaches related to logistics. We are searching for an active researcher in his or her field, and with a strong publication record.
Possible application areas may include:
.Rich vehicle routing problems. This implies using VRP methodology to solve real-word problems.
.Production planning and inventory control models.
.Models for profit maximization and price controlled demand.
.Game-theoretic approaches to supply chain co-operation
.Stochastic problems - how to include uncertainties in the problem formulations
.Parallel processing implementation - to obtain increased computing speed by utilizing multiple kernels and/or a large number of CPU's.
The professor is expected to have an international focus. The person filling the position will have particular responsibility to initiate, participate in, and sustain research activities in logistics.
The full announcement and application details can be found on
http://himolde.easycruit.com/vacancy/1110341/42153?iso=no
The application deadline is 1st March 2014
Best regards
___________________________
Arild Hoff
Associate Professor
Program Coordinator, Master programs in Logistics
Molde University College
P.O.Box 2110, 6402 Molde, Norway
Phone: +47 71 21 42 02
Mob. +47 91 13 14 10
E-mail: arild.hoff@himolde.no
http://home.himolde.no/~arildh/
**********************************************************
*
* 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/
*
**********************************************************
I apologize for cross-posting.
Molde University College (HiM) is searching for a professor in logistics. The Professorship is within the area of quantitative logistics, encompassing topics such as operation research, operations management, informatics, mathematics, or other quantitative approaches related to logistics. We are searching for an active researcher in his or her field, and with a strong publication record.
Possible application areas may include:
.Rich vehicle routing problems. This implies using VRP methodology to solve real-word problems.
.Production planning and inventory control models.
.Models for profit maximization and price controlled demand.
.Game-theoretic approaches to supply chain co-operation
.Stochastic problems - how to include uncertainties in the problem formulations
.Parallel processing implementation - to obtain increased computing speed by utilizing multiple kernels and/or a large number of CPU's.
The professor is expected to have an international focus. The person filling the position will have particular responsibility to initiate, participate in, and sustain research activities in logistics.
The full announcement and application details can be found on
http://himolde.easycruit.com/vacancy/1110341/42153?iso=no
The application deadline is 1st March 2014
Best regards
___________________________
Arild Hoff
Associate Professor
Program Coordinator, Master programs in Logistics
Molde University College
P.O.Box 2110, 6402 Molde, Norway
Phone: +47 71 21 42 02
Mob. +47 91 13 14 10
E-mail: arild.hoff@himolde.no
http://home.himolde.no/~arildh/
**********************************************************
*
* 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] Multiple PhD and Postdoc positions in Algorithms at Eindhoven University
Multiple PhD and Postdoc positions are available at the Eindhoven
University of Technology. The
positions are supported by the ERC Consolidator grant: ACUITY
(Algorithms for coping with
uncertainty and intractability), led by Nikhil Bansal.
The goal of the project is to develop new algorithmic methods for
addressing NP-Hard problems
(approximation algorithms), and for dealing with problems involving
uncertainly (online algorithms).
Application deadline: January 31, 2014 (for full consideration)
For more details about the position and the application process, please
see http://www.win.tue.nl/~nikhil/vacancies.html
**********************************************************
*
* Contributions to be spread via DMANET are submitted to
*
* DMANET@zpr.uni-koeln.de
*
* Replies to a message carried on DMANET should NOT be
* addressed to DMANET but to the original sender. The
* original sender, however, is invited to prepare an
* update of the replies received and to communicate it
* via DMANET.
*
* DISCRETE MATHEMATICS AND ALGORITHMS NETWORK (DMANET)
* http://www.zaik.uni-koeln.de/AFS/publications/dmanet/
*
**********************************************************
University of Technology. The
positions are supported by the ERC Consolidator grant: ACUITY
(Algorithms for coping with
uncertainty and intractability), led by Nikhil Bansal.
The goal of the project is to develop new algorithmic methods for
addressing NP-Hard problems
(approximation algorithms), and for dealing with problems involving
uncertainly (online algorithms).
Application deadline: January 31, 2014 (for full consideration)
For more details about the position and the application process, please
see http://www.win.tue.nl/~nikhil/vacancies.html
**********************************************************
*
* Contributions to be spread via DMANET are submitted to
*
* DMANET@zpr.uni-koeln.de
*
* Replies to a message carried on DMANET should NOT be
* addressed to DMANET but to the original sender. The
* original sender, however, is invited to prepare an
* update of the replies received and to communicate it
* via DMANET.
*
* DISCRETE MATHEMATICS AND ALGORITHMS NETWORK (DMANET)
* http://www.zaik.uni-koeln.de/AFS/publications/dmanet/
*
**********************************************************
[DMANET] PostDoc/PhD Position in randomized/distributed algorithms
Applications are invited for a
PostDoc / PhD Position in randomized/distributed algorithms
(full-time, up to 3 years)
at University of Jena, Germany, in cooperation with University of Cambridge, UK. The position is part of the project "Analysis of Discrete Load Balancing on Heterogeneous Networks (ADLON)", funded by the German Research Foundation (DFG). The applicant will be based in the group of Tobias Friedrich in Jena, but the project will be done in close cooperation with Thomas Sauerwald (Cambridge). The project involves mutual research stays and visits to Cambridge.
Applicants should have an interest in at least one of the following topics:
-- random structures and algorithms
-- distributed and parallel computing
-- analysis of scale-free network models
The salary scale for the position is full-time TV-L E13 (100%) with a monthly gross salary between 3370 EUR and 4860 EUR depending on experience and previous position. The first contract will be limited to two years with the possibility of extension for another year. The position can be started as soon as possible for the applicant.
Applicants should have an excellent first academic degree in mathematics, computer science or a related discipline. Applications should include a detailed CV, a copy of master (or PhD) thesis, a brief statement of research interests, and a list of publications (if applicable). Please also mention one or two references -- preferably one from the thesis advisor. Applicants interested in doing a PhD should also include a list of courses and grades.
Interested candidates should direct their questions and applications via email to Tobias Friedrich (friedrich@uni-jena.de) before February 15, 2014.
Friedrich Schiller University of Jena
Chair of Theoretical Computer Science I
Prof. Dr. Tobias Friedrich
Ernst-Abbe-Platz 2
07743 Jena, Germany
WWW: http://www.theinf.uni-jena.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/
*
**********************************************************
PostDoc / PhD Position in randomized/distributed algorithms
(full-time, up to 3 years)
at University of Jena, Germany, in cooperation with University of Cambridge, UK. The position is part of the project "Analysis of Discrete Load Balancing on Heterogeneous Networks (ADLON)", funded by the German Research Foundation (DFG). The applicant will be based in the group of Tobias Friedrich in Jena, but the project will be done in close cooperation with Thomas Sauerwald (Cambridge). The project involves mutual research stays and visits to Cambridge.
Applicants should have an interest in at least one of the following topics:
-- random structures and algorithms
-- distributed and parallel computing
-- analysis of scale-free network models
The salary scale for the position is full-time TV-L E13 (100%) with a monthly gross salary between 3370 EUR and 4860 EUR depending on experience and previous position. The first contract will be limited to two years with the possibility of extension for another year. The position can be started as soon as possible for the applicant.
Applicants should have an excellent first academic degree in mathematics, computer science or a related discipline. Applications should include a detailed CV, a copy of master (or PhD) thesis, a brief statement of research interests, and a list of publications (if applicable). Please also mention one or two references -- preferably one from the thesis advisor. Applicants interested in doing a PhD should also include a list of courses and grades.
Interested candidates should direct their questions and applications via email to Tobias Friedrich (friedrich@uni-jena.de) before February 15, 2014.
Friedrich Schiller University of Jena
Chair of Theoretical Computer Science I
Prof. Dr. Tobias Friedrich
Ernst-Abbe-Platz 2
07743 Jena, Germany
WWW: http://www.theinf.uni-jena.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/
*
**********************************************************
Thursday, January 16, 2014
[DMANET] ADHOC-NOW 2014 (Abstract Subm.: Jan.31, 2014): Benidorm, Spain
CALL FOR PAPERS
**************************************************************
News: Abstract Submission: January 31th, 2014
**************************************************************
ADHOC-NOW 2014 : Ad-Hoc, Mobile and Wireless Networks
June 22 - 27, 2014, Benidorm, Spain
Link: www.adhocnow.net/
Link for Submissions Guidelines and Electronic Submissions:
http://www.adhocnow.net/index.php?option=com_content&view=article&id=85&Itemid=88
=====================================================================
IMPORTANT DATES:
- Abstract Submission: January 31, 2014
- Submission Deadline: Februay 7, 2014
- Author Notification: March 7, 2014
- Camera ready: March 28, 2014
=====================================================================
CALL FOR PAPERS
Since its creation in 2002, the International Conference on Ad Hoc Networks and Wireless (ADHOC-NOW) has become a well-established and well known event dedicated to wireless and mobile computing. It serves as a forum for interesting discussions on
ongoing research and new contributions. The conference addresses both experimental and theoretical research in the areas of ad hoc networks, sensor networks, mesh networks and vehicular networks. It focuses on all issues from link layer up to the application layer. The thirteenth edition of ADHOC-NOW will for the first time be organized in Benidorm, Spain, from the 22nd to the 27th of June, 2014.
We seek original contributions as work in progress, experimental and theoretical research in Wireless Sensor, Ad-Hoc, Mobile and Wireless Networks. Submissions must not be published or under review for another conference or journal. We are interested, but not limited to, research papers in any of the following areas:
-Access Control
-Ad Hoc Networks of Autonomous Intelligent Systems
-Algorithmic Issues
-Analytic Methods and Modeling for Performance Evaluation
-Ad Hoc Network Applications and Architectures
-Delay-Tolerant Networking
-Distributed Algorithms for Ad Hoc Networks
-Energy Efficiency
-Geometric Graphs
-Location Discovery and Management
-Mobility Handling and Utilization
-Wireless Mesh Networks
-Mobile Ad Hoc Computing Platforms
-Systems and Testbeds
-Mobile Social Networking
-Quality-of-Service
-Routing Protocols (Unicast, Multicast, etc.)
-Secure Services and Protocols
-Sensor Networks
-Self-Configuration
-Service Discovery
-Timing Synchronization
-Vehicular Networks
-Wireless Internet.
The conference proceedings will be published by Springer-Verlag, as part of the Lecture Notes in Computer Science (LNCS) series. Authors are invited to submit either regular papers or short papers. Regular papers should not exceed 14 pages in LNCS format. Short papers must be limited to up to 4 pages in LNCS format. The paper should provide sufficient detail to allow the Program Committee to evaluate its validity, quality, and relevance. Each accepted paper will be included in the conference proceedings, provided at least one author of the paper registers to present the paper at the conference.
High-quality articles will be invited for submission to a special issue of Ad Hoc & Sensor Wireless Networks and the International Journal of Parallel, Emergent and Distributed Systems.
=====================================================================
GENERAL CHAIRS
-Jaime Lloret Mauri, Universitat Politecnica de Valencia, Spain
-Ivan Stojmenovic, University of Ottawa, Ottawa, Canada
STEERING COMMITTEE
-Evangelos Kranakis, Carleton University, Ottawa, Canada
-Michel Barbeau, Carleton University, Ottawa, Canada
-Thomas Kunz, Carleton University, Ottawa, Canada
-Ioanis Nikolaidis, University of Alberta, Edmonton, Canada
-S. S. Ravi, SUNY University, Albany, USA
-Violet Sirotiuk, Arizona State University, Temple, USA
-Ivan Stojmenovic, University of Ottawa, Ottawa, Canada
PROGRAM CO-CHAIRS
-Song Guo, University of Aizu, Japan
-Pietro Manzoni, Universitat Politecnica de Valencia, Spain
PUBLICITY CO-CHAIRS
-Paul Yongli, Deakin University, Australia
-Gongjun Yan, Indiana University, USA
-Sandra Sendra, Universidad Polit�cnica de Valencia, Valencia, Spain
PROCEEDINGS CHAIR
-Stefan Ruehrup, FTW - Viena, Austria
SUBMISSIONS CHAIRS
-Miguel Garcia, Universitat Politecnica de Valencia, Spain
-Zhen Huang, University of Ottawa, Canada
WEB CHAIR
-Milos Stojmenovic, Singidunum University, Belgrade, Serbia
=====================================================================
**************************************************************
News: Abstract Submission: January 31th, 2014
**************************************************************
ADHOC-NOW 2014 : Ad-Hoc, Mobile and Wireless Networks
June 22 - 27, 2014, Benidorm, Spain
Link: www.adhocnow.net/
Link for Submissions Guidelines and Electronic Submissions:
http://www.adhocnow.net/index.php?option=com_content&view=article&id=85&Itemid=88
=====================================================================
IMPORTANT DATES:
- Abstract Submission: January 31, 2014
- Submission Deadline: Februay 7, 2014
- Author Notification: March 7, 2014
- Camera ready: March 28, 2014
=====================================================================
CALL FOR PAPERS
Since its creation in 2002, the International Conference on Ad Hoc Networks and Wireless (ADHOC-NOW) has become a well-established and well known event dedicated to wireless and mobile computing. It serves as a forum for interesting discussions on
ongoing research and new contributions. The conference addresses both experimental and theoretical research in the areas of ad hoc networks, sensor networks, mesh networks and vehicular networks. It focuses on all issues from link layer up to the application layer. The thirteenth edition of ADHOC-NOW will for the first time be organized in Benidorm, Spain, from the 22nd to the 27th of June, 2014.
We seek original contributions as work in progress, experimental and theoretical research in Wireless Sensor, Ad-Hoc, Mobile and Wireless Networks. Submissions must not be published or under review for another conference or journal. We are interested, but not limited to, research papers in any of the following areas:
-Access Control
-Ad Hoc Networks of Autonomous Intelligent Systems
-Algorithmic Issues
-Analytic Methods and Modeling for Performance Evaluation
-Ad Hoc Network Applications and Architectures
-Delay-Tolerant Networking
-Distributed Algorithms for Ad Hoc Networks
-Energy Efficiency
-Geometric Graphs
-Location Discovery and Management
-Mobility Handling and Utilization
-Wireless Mesh Networks
-Mobile Ad Hoc Computing Platforms
-Systems and Testbeds
-Mobile Social Networking
-Quality-of-Service
-Routing Protocols (Unicast, Multicast, etc.)
-Secure Services and Protocols
-Sensor Networks
-Self-Configuration
-Service Discovery
-Timing Synchronization
-Vehicular Networks
-Wireless Internet.
The conference proceedings will be published by Springer-Verlag, as part of the Lecture Notes in Computer Science (LNCS) series. Authors are invited to submit either regular papers or short papers. Regular papers should not exceed 14 pages in LNCS format. Short papers must be limited to up to 4 pages in LNCS format. The paper should provide sufficient detail to allow the Program Committee to evaluate its validity, quality, and relevance. Each accepted paper will be included in the conference proceedings, provided at least one author of the paper registers to present the paper at the conference.
High-quality articles will be invited for submission to a special issue of Ad Hoc & Sensor Wireless Networks and the International Journal of Parallel, Emergent and Distributed Systems.
=====================================================================
GENERAL CHAIRS
-Jaime Lloret Mauri, Universitat Politecnica de Valencia, Spain
-Ivan Stojmenovic, University of Ottawa, Ottawa, Canada
STEERING COMMITTEE
-Evangelos Kranakis, Carleton University, Ottawa, Canada
-Michel Barbeau, Carleton University, Ottawa, Canada
-Thomas Kunz, Carleton University, Ottawa, Canada
-Ioanis Nikolaidis, University of Alberta, Edmonton, Canada
-S. S. Ravi, SUNY University, Albany, USA
-Violet Sirotiuk, Arizona State University, Temple, USA
-Ivan Stojmenovic, University of Ottawa, Ottawa, Canada
PROGRAM CO-CHAIRS
-Song Guo, University of Aizu, Japan
-Pietro Manzoni, Universitat Politecnica de Valencia, Spain
PUBLICITY CO-CHAIRS
-Paul Yongli, Deakin University, Australia
-Gongjun Yan, Indiana University, USA
-Sandra Sendra, Universidad Polit�cnica de Valencia, Valencia, Spain
PROCEEDINGS CHAIR
-Stefan Ruehrup, FTW - Viena, Austria
SUBMISSIONS CHAIRS
-Miguel Garcia, Universitat Politecnica de Valencia, Spain
-Zhen Huang, University of Ottawa, Canada
WEB CHAIR
-Milos Stojmenovic, Singidunum University, Belgrade, Serbia
=====================================================================
[DMANET] ICGT 2014 - Grenoble, France, June 30 - July 4, 2014
The 9th International Colloquium on Graph Theory and Combinatorics will
take place in Grenoble, France, from June 30 to July 4, 2014.
Registration is now open. Web page: http://oc.inpg.fr/conf/icgt2014/
take place in Grenoble, France, from June 30 to July 4, 2014.
Registration is now open. Web page: http://oc.inpg.fr/conf/icgt2014/
The following speakers have agreed to give a plenary talk:
Noga Alon (Tel-Aviv University)
Jeff Erickson (University of Illinois at Urbana-Champaign)
Bertrand Guenin (University of Waterloo)
Dániel Marx (MTA SZTAKI, Hungarian Academy of Sciences)
Bojan Mohar (Simon Fraser University and University of Ljubljana)
János Pach (EPFL Lausanne and Rényi Institute Budapest)
R. Ravi (Carnegie Mellon)
Bruce Reed (McGill University)
Paul Seymour (Princeton University)
Participants who wish to give a talk are invited to submit an extended
abstract of at most four pages, which will be reviewed by the scientific
committee. The submission deadline is March 31, 2014.
This conference is the 9th edition of an event initiated by Claude
Berge in 1976, and organized by the French community in Graph Theory
every 4 or 5 years since then. Previous meetings took place in Marseille
Luminy, and the most recent editions were held in Hyères in 2005 and
Orsay in 2010.
The purpose of this conference is to highlight major theoretical
advances in the field of Combinatorics and Graph Theory, the development
of new tools, and the most significant new applications of the field to
problems arising in industry and business. It is open to a broad range
of topics dealing with mathematical structures and any topic
establishing direct links between combinatorics and other branches of
mathematics. The conference is also open to theories of discrete
algorithmic computing in the area of combinatorics with strong natural
mathematical flavour.
Talks are solicited in areas including, but not limited to:
* All aspects of Graph Theory,
* Combinatorics (Algebraic, Analytic, Enumerative, Extremal),
* Combinatorial Geometry / Number Theory,
* Algorithms,
* Combinatorial Optimization,
* Designs and Configurations,
* Matroid Theory.
Special Issue
There will be a special issue of Discrete Applied Mathematics (DAM)
devoted to full-version papers presented at the conference. The
deadline for this issue will be in the Fall of 2014.
**********************************************************
*
* Contributions to be spread via DMANET are submitted to
*
* DMANET@zpr.uni-koeln.de
*
* Replies to a message carried on DMANET should NOT be
* addressed to DMANET but to the original sender. The
* original sender, however, is invited to prepare an
* update of the replies received and to communicate it
* via DMANET.
*
* DISCRETE MATHEMATICS AND ALGORITHMS NETWORK (DMANET)
* http://www.zaik.uni-koeln.de/AFS/publications/dmanet/
*
**********************************************************
[DMANET] 3 post-doctoral positions Marie Curie Initial Training Network MINO
The Marie Curie Initial Training Network MINO is looking for applicants to 3 open research positions in the field of Mixed Integer Nonlinear Optimization. The research positions, fully funded for 18 months, involve international mobility within EU countries from the list below. The main requirement for the applicants is to be Experienced Researchers according to the strict Marie Curie EU rules, i.e., e Ph.D. degree or at least 4 years research experience, and not more than 5 years of full time research experience; note that "research experience" counts all the time after one has obtained the degree that gives access to a Ph.D. course, except periods of time demonstrably not devoted to research like military service or maternity leave. Also, a mobility rule has to be fullfilled whereby the applicant must not be hired by a partner belonging to a country where she/he has been working for in the last three years.
For the full list eligibility conditions and jobs description please check: http://www.mino-itn.unibo.it/recruitment
Applications are collected electronically via: https://www.easychair.org/conferences/?conf=mino2013
List of Industrial participant units (in which the current positions are available):
IBM, Italy
MAIOR, Italy
ORTEC, The Netherlands
List of Academic participant units:
UNIBO - University of Bologna, Bologna, Italy (Network Coordinator)
CNR - Consiglio Nazionale delle Ricerche, Roma, Italy
CWI - Centrum Wiskunde & Informatica, Amsterdam, The Netherlands
ETHZ - Swiss Federal Institute of Technology, Zürich, Switzerland
TUDO - Technical University of Dortmund, Dortmund, Germany
UCL - Université Catholique de Louvain, Louvain-la-Neuve, Belgium
UCO - University of Cologne, Cologne, Germany
UHEI - University of Heidelberg, Heidelberg, Germany
UNI-KLU - Alpen-Adria Universität, Klagenfurt, Austria
UTIL - University of Tilburg, Tilburg, The Netherlands
XTEC - École Polytechnique, Paris, France
MINO is a prestigious Marie Curie Initial Training Network (ITN), funded by the European Commission that will address challenging research topics in the field of Mixed-Integer Nonlinear Optimization. The primary mission of MINO is to train the next generation of highly qualified researchers and managers with expertise in Optimization in general and in Mixed-Integer Nonlinear Optimization in particular. Primary goals are:
Train high-quality researchers and managers with expertise in Optimization;
Help satisfy the increasing demand for these researchers and managers;
Push forward the scientific frontiers of the integration between Nonlinear and Discrete Optimization;
Develop open source software for the solution of MINO problems;
Consolidate and expand the network of collaborations among the partners;
Enhance academia-industry transfer of knowledge in Optimization, in both ways;
Increase the employability of the scientists in the field of Optimization.
Please feel free to distribute this call for applications to anyone that might be interested. More details and contact address at www.mino-itn.unibo.it and on EURAXESS portal (searching for MINO).
Prof. Andrea Lodi
Coordinator of MINO ITN
______________________
Prof. Andrea Lodi
DEI, University of Bologna
Viale Risorgimento 2
40136 Bologna, Italy
phone: +39 051 2093029
fax: +39 051 2093073
e-mail: andrea.lodi@unibo.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/
*
**********************************************************
For the full list eligibility conditions and jobs description please check: http://www.mino-itn.unibo.it/recruitment
Applications are collected electronically via: https://www.easychair.org/conferences/?conf=mino2013
List of Industrial participant units (in which the current positions are available):
IBM, Italy
MAIOR, Italy
ORTEC, The Netherlands
List of Academic participant units:
UNIBO - University of Bologna, Bologna, Italy (Network Coordinator)
CNR - Consiglio Nazionale delle Ricerche, Roma, Italy
CWI - Centrum Wiskunde & Informatica, Amsterdam, The Netherlands
ETHZ - Swiss Federal Institute of Technology, Zürich, Switzerland
TUDO - Technical University of Dortmund, Dortmund, Germany
UCL - Université Catholique de Louvain, Louvain-la-Neuve, Belgium
UCO - University of Cologne, Cologne, Germany
UHEI - University of Heidelberg, Heidelberg, Germany
UNI-KLU - Alpen-Adria Universität, Klagenfurt, Austria
UTIL - University of Tilburg, Tilburg, The Netherlands
XTEC - École Polytechnique, Paris, France
MINO is a prestigious Marie Curie Initial Training Network (ITN), funded by the European Commission that will address challenging research topics in the field of Mixed-Integer Nonlinear Optimization. The primary mission of MINO is to train the next generation of highly qualified researchers and managers with expertise in Optimization in general and in Mixed-Integer Nonlinear Optimization in particular. Primary goals are:
Train high-quality researchers and managers with expertise in Optimization;
Help satisfy the increasing demand for these researchers and managers;
Push forward the scientific frontiers of the integration between Nonlinear and Discrete Optimization;
Develop open source software for the solution of MINO problems;
Consolidate and expand the network of collaborations among the partners;
Enhance academia-industry transfer of knowledge in Optimization, in both ways;
Increase the employability of the scientists in the field of Optimization.
Please feel free to distribute this call for applications to anyone that might be interested. More details and contact address at www.mino-itn.unibo.it and on EURAXESS portal (searching for MINO).
Prof. Andrea Lodi
Coordinator of MINO ITN
______________________
Prof. Andrea Lodi
DEI, University of Bologna
Viale Risorgimento 2
40136 Bologna, Italy
phone: +39 051 2093029
fax: +39 051 2093073
e-mail: andrea.lodi@unibo.it
**********************************************************
*
* Contributions to be spread via DMANET are submitted to
*
* DMANET@zpr.uni-koeln.de
*
* Replies to a message carried on DMANET should NOT be
* addressed to DMANET but to the original sender. The
* original sender, however, is invited to prepare an
* update of the replies received and to communicate it
* via DMANET.
*
* DISCRETE MATHEMATICS AND ALGORITHMS NETWORK (DMANET)
* http://www.zaik.uni-koeln.de/AFS/publications/dmanet/
*
**********************************************************
Wednesday, January 15, 2014
[DMANET] CEC Special Session at IEEE WCCI 2014 CALL FOR PAPERS. SUBMISSION DEADLINE IS CLOSE
**** 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: January 20, 2014
* 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: January 20, 2014
* 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/
*
**********************************************************
[DMANET] SPAA 2014 - final call for papers
Update: previous announcements said 10-point font, but a 9-point font is allowed.
======================================================
SPAA 2014 Call for Papers
======================================================
26th ACM Symposium on
Parallelism in Algorithms and Architectures (SPAA 2014)
June 23-25, 2014 Prague, Czech Republic
http://www.spaa-conference.org
This year, the submissions format differs from recent years.
There will also be a rebuttal period.
======================================================
Important Dates:
Submission deadlines:
- Abstract: January 22, 11:59pm EST
- Full versions: January 25, 11:59pm EST
Rebuttal period: March 12-16
Notification: March 31
Camera-ready: April 30
======================================================
Contributed papers are sought in all areas of parallel algorithms and
architectures, encompassing any computation system that can perform multiple
operations or tasks simultaneously. Topics of interest include, but are not
limited to:
- parallel and distributed algorithms
- parallel and distributed data structures
- green computing & power-efficient architectures
- management of massive data sets
- parallel complexity theory
- parallel and distributed architectures
- multi-core architectures
- instruction level parallelism and VLSI
- compilers and tools for concurrent programming
- supercomputing architecture and computing
- transactional memory hardware and software
- the internet and the world wide web
- game theory and collaborative learning
- routing and information dissemination
- resource management and awareness
- peer-to-peer systems
- mobile, ad-hoc, and sensor networks
- robustness, self-stabilization, and security
- synergy of parallelism in algorithms, programming, and architecture
Conference presentations will have two formats:
Regular presentations will be allotted a 25-minute talk and up to 10
pages in the proceedings. This format is intended for contributions
reporting original research, submitted exclusively to this conference.
Brief announcements will be allotted a 10-minute talk and a 2-page
abstract in the proceedings. This format is a forum for brief
communications, which may be published later in other conferences.
Every regular paper is eligible for the best paper award. The program
committee may decline to make this award or may split the award among
multiple papers.
Submission:
Authors of contributed papers are encouraged to submit their manuscript
electronically. To submit electronically, visit http://www.spaa-conference.org
for instructions. This is the preferred method of submission. Authors unable
to submit electronically should contact the program chair Peter Sanders at
sanders@kit.edu to receive instructions on how to proceed.
Submissions for regular presentations should include an introduction
understandable to a nonspecialist including motivation and previous work, and
a technical exposition directed to a specialist. A submission should not
exceed 10 double-column pages in 9-point font, including figures, tables, and
references. More details may be supplied in a clearly marked appendix to
be read at the discretion of the program committee. A submission for brief
announcements should be no longer than two double-column pages in 9-point
font.
Rebuttal Period:
There will be a rebuttal period in which the authors can point out
misunderstandings or comment on critical questions that PC members may have.
The rebuttal period will take place on March 12-16.
======================================================
Program Committee:
Susanne Albers, Technische Universitaet Muenchen, Germany
Gianfranco Bilardi, Padua University, Italy
Phillip Gibbons, Intel Labs Pittsburg, USA
Martin Hoefer, MPI Informatics Saarbruecken, Germany
Dariusz Kowalski, University of Liverpool, UK
Fredrik Manne, University of Bergen, Norway
Ulrich Meyer, Goethe University Frankfurt/M., Germany
Friedhelm Meyer auf der Heide, University of Paderborn, Germany
Seth Pettie, University of Michigan, USA
Vijaya Ramachandran, University of Texas at Austin, USA
Christian Scheideler, University of Paderborn, Germany
Oded Schwartz, UC Berkeley, USA
Sandeep Sen, IIT Delhi, India
Jiri Sgall, Charles University in Prague, Czech Republic
Nodari Sitchinava, University of Hawaii, Manoa, USA
Alexander Tiskin, University of Warwick, UK
Jesper Traeff, Vienna University of Technology, Austria
Phiilippas Tsigas, Chalmers University Gothenburg, Sweden
Roger Wattenhofer, ETH Zuerich, Switzerland
======================================================
Conference Committee:
Program Chair
Peter Sanders, Karlsruhe Institute of Technology, Germany
General Chair
Guy Blelloch, Carnegie Mellon University
Secretary
Christian Scheideler, University of Paderborn
Treasurer
David Bunde, Knox College
Publicity Chair
Jeremy Fineman, Georgetown University
Local Arrangements Chair
Petr Kolman, Charles University in Prague, Czech Republic
**********************************************************
*
* 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/
*
**********************************************************
**********************************************************
*
* 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/
*
**********************************************************
======================================================
SPAA 2014 Call for Papers
======================================================
26th ACM Symposium on
Parallelism in Algorithms and Architectures (SPAA 2014)
June 23-25, 2014 Prague, Czech Republic
http://www.spaa-conference.org
This year, the submissions format differs from recent years.
There will also be a rebuttal period.
======================================================
Important Dates:
Submission deadlines:
- Abstract: January 22, 11:59pm EST
- Full versions: January 25, 11:59pm EST
Rebuttal period: March 12-16
Notification: March 31
Camera-ready: April 30
======================================================
Contributed papers are sought in all areas of parallel algorithms and
architectures, encompassing any computation system that can perform multiple
operations or tasks simultaneously. Topics of interest include, but are not
limited to:
- parallel and distributed algorithms
- parallel and distributed data structures
- green computing & power-efficient architectures
- management of massive data sets
- parallel complexity theory
- parallel and distributed architectures
- multi-core architectures
- instruction level parallelism and VLSI
- compilers and tools for concurrent programming
- supercomputing architecture and computing
- transactional memory hardware and software
- the internet and the world wide web
- game theory and collaborative learning
- routing and information dissemination
- resource management and awareness
- peer-to-peer systems
- mobile, ad-hoc, and sensor networks
- robustness, self-stabilization, and security
- synergy of parallelism in algorithms, programming, and architecture
Conference presentations will have two formats:
Regular presentations will be allotted a 25-minute talk and up to 10
pages in the proceedings. This format is intended for contributions
reporting original research, submitted exclusively to this conference.
Brief announcements will be allotted a 10-minute talk and a 2-page
abstract in the proceedings. This format is a forum for brief
communications, which may be published later in other conferences.
Every regular paper is eligible for the best paper award. The program
committee may decline to make this award or may split the award among
multiple papers.
Submission:
Authors of contributed papers are encouraged to submit their manuscript
electronically. To submit electronically, visit http://www.spaa-conference.org
for instructions. This is the preferred method of submission. Authors unable
to submit electronically should contact the program chair Peter Sanders at
sanders@kit.edu to receive instructions on how to proceed.
Submissions for regular presentations should include an introduction
understandable to a nonspecialist including motivation and previous work, and
a technical exposition directed to a specialist. A submission should not
exceed 10 double-column pages in 9-point font, including figures, tables, and
references. More details may be supplied in a clearly marked appendix to
be read at the discretion of the program committee. A submission for brief
announcements should be no longer than two double-column pages in 9-point
font.
Rebuttal Period:
There will be a rebuttal period in which the authors can point out
misunderstandings or comment on critical questions that PC members may have.
The rebuttal period will take place on March 12-16.
======================================================
Program Committee:
Susanne Albers, Technische Universitaet Muenchen, Germany
Gianfranco Bilardi, Padua University, Italy
Phillip Gibbons, Intel Labs Pittsburg, USA
Martin Hoefer, MPI Informatics Saarbruecken, Germany
Dariusz Kowalski, University of Liverpool, UK
Fredrik Manne, University of Bergen, Norway
Ulrich Meyer, Goethe University Frankfurt/M., Germany
Friedhelm Meyer auf der Heide, University of Paderborn, Germany
Seth Pettie, University of Michigan, USA
Vijaya Ramachandran, University of Texas at Austin, USA
Christian Scheideler, University of Paderborn, Germany
Oded Schwartz, UC Berkeley, USA
Sandeep Sen, IIT Delhi, India
Jiri Sgall, Charles University in Prague, Czech Republic
Nodari Sitchinava, University of Hawaii, Manoa, USA
Alexander Tiskin, University of Warwick, UK
Jesper Traeff, Vienna University of Technology, Austria
Phiilippas Tsigas, Chalmers University Gothenburg, Sweden
Roger Wattenhofer, ETH Zuerich, Switzerland
======================================================
Conference Committee:
Program Chair
Peter Sanders, Karlsruhe Institute of Technology, Germany
General Chair
Guy Blelloch, Carnegie Mellon University
Secretary
Christian Scheideler, University of Paderborn
Treasurer
David Bunde, Knox College
Publicity Chair
Jeremy Fineman, Georgetown University
Local Arrangements Chair
Petr Kolman, Charles University in Prague, Czech Republic
**********************************************************
*
* 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/
*
**********************************************************
**********************************************************
*
* 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] SSTiC 2014: 18 January, 2nd registration deadline
*********************************************************************
2014 TARRAGONA INTERNATIONAL SUMMER SCHOOL ON TRENDS IN COMPUTING
SSTiC 2014
Tarragona, Spain
July 7-11, 2014
Organized by
Rovira i Virgili University
http://grammars.grlmc.com/sstic2014/
*********************************************************************
--- January 18, 2nd registration deadline ---
*********************************************************************
AIM:
SSTiC 2014 is the second edition in a series started in 2013. For the
previous event, see http://grammars.grlmc.com/SSTiC2013/
SSTiC 2014 will be a research training event mainly addressed to PhD
students and PhD holders in the first steps of their academic career. It
intends to update them about the most recent developments in the diverse
branches of computer science and its neighbouring areas. To that purpose,
renowned scholars will lecture and will be available for interaction with
the audience.
SSTiC 2014 will cover the whole spectrum of computer science through 5
keynote lectures and 24 six-hour courses dealing with some of the most
lively topics in the field. The organizers share the idea that outstanding
speakers will really attract the brightest students.
ADDRESSED TO:
Graduate students from around the world. There are no formal pre-requisites
in terms of the academic degree the attendee must hold. However, since there
will be several levels among the courses, reference may be made to specific
knowledge background in the description of some of them.
SSTiC 2014 is also appropriate for more senior people who want to keep
themselves updated on developments in their own field or in other branches
of computer science. They will surely find it fruitful to listen and discuss
with scholars who are main references in computing nowadays.
REGIME:
In addition to keynotes, 3 parallel sessions will be held during the whole
event. Participants will be able to freely choose the courses they will be
willing to attend as well as to move from one to another.
VENUE:
SSTiC 2014 will take place in Tarragona, located 90 kms. to the south of
Barcelona. The venue will be:
Campus Catalunya
Universitat Rovira i Virgili
Av. Catalunya, 35
43002 Tarragona
KEYNOTE SPEAKERS:
Larry S. Davis (U Maryland, College Park), A Historical Perspective of
Computer Vision Models for Object Recognition and Scene Analysis
David S. Johnson (Columbia U, New York), Open and Closed Problems in
NP-Completeness
George Karypis (U Minnesota, Twin Cities), Recommender Systems Past,
Present, & Future
Steffen Staab (U Koblenz), Explicit and Implicit Semantics: Two Sides of One
Coin
Ronald R. Yager (Iona C, New Rochelle), Social Modeling
COURSES AND PROFESSORS:
Divyakant Agrawal (U California, Santa Barbara), [intermediate] Scalable
Data Management in Enterprise and Cloud Computing Infrastructures
Pierre Baldi (U California, Irvine), [intermediate] Big Data Informatics
Challenges and Opportunities in the Life Sciences
Stephen Brewster (U Glasgow), [introductory] Multimodal Human-computer
Interaction
Rajkumar Buyya (U Melbourne), [intermediate] Cloud Computing
John M. Carroll (Pennsylvania State U, University Park), [introductory]
Usability Engineering and Scenario-based Design
Kwang-Ting (Tim) Cheng (U California, Santa Barbara),
[introductory/intermediate] Smartphones: Hardware Platform, Software
Development, and Emerging Apps
Amr El Abbadi (U California, Santa Barbara), [introductory] The Distributed
Foundations of Data Management in the Cloud
Richard M. Fujimoto (Georgia Tech, Atlanta), [introductory] Parallel and
Distributed Simulation
Mark Guzdial (Georgia Tech, Atlanta), [introductory] Computing Education
Research: What We Know about Learning and Teaching Computer Science
David S. Johnson (Columbia U, New York), [introductory] The Traveling
Salesman Problem in Theory and Practice
George Karypis (U Minnesota, Twin Cities), [intermediate] Programming
Models/Frameworks for Parallel & Distributed Computing
Aggelos K. Katsaggelos (Northwestern U, Evanston), [intermediate]
Optimization Techniques for Sparse/Low-rank Recovery Problems in Image
Processing and Machine Learning
Arie E. Kaufman (U Stony Brook), [advanced] Visualization
Carl Lagoze (U Michigan, Ann Arbor), [introductory] Curation of Big Data
Bijan Parsia (U Manchester), [introductory] The Empirical Mindset in
Computer Science
Charles E. Perkins (FutureWei Technologies, Santa Clara), [intermediate]
Beyond LTE: the Evolution of 4G Networks and the Need for Higher Performance
Handover System Designs
Sudhakar M. Reddy (U Iowa, Iowa City), [introductory] Test and Design for
Test of Digital Logic Circuits
Robert Sargent (Syracuse U), [introductory] Validation of Models
Mubarak Shah (U Central Florida, Orlando), [intermediate] Visual Crowd
Analysis
Steffen Staab (U Koblenz), [intermediate] Programming the Semantic Web
Mike Thelwall (U Wolverhampton), [introductory] Sentiment Strength Detection
for Twitter and the Social Web
Jeffrey D. Ullman (Stanford U), [introductory] MapReduce Algorithms
Nitin Vaidya (U Illinois, Urbana-Champaign), [introductory/intermediate]
Distributed Consensus: Theory and Applications
Philip Wadler (U Edinburgh), [intermediate] Topics in Lambda Calculus and
Life
ORGANIZING COMMITTEE:
Adrian Horia Dediu (Tarragona)
Carlos Martín-Vide (Tarragona, chair)
Florentina Lilica Voicu (Tarragona)
REGISTRATION:
It has to be done at
http://grammars.grlmc.com/sstic2014/registration.php
The selection of up to 8 courses requested in the registration template is
only tentative and non-binding. For the sake of organization, it will be
helpful to have an approximation of the respective demand for each course.
Since the capacity of the venue is limited, registration requests will be
processed on a first come first served basis. The registration period will
be closed when the capacity of the venue will be complete. It is very
convenient to register prior to the event.
FEES:
As far as possible, participants are expected to attend for the whole (or
most of the) week (full-time). Fees are a flat rate allowing one to
participate to all courses. They vary depending on the registration
deadline.
ACCOMMODATION:
Information about accommodation will be available on the website of the
School in due time.
CERTIFICATE:
Participants will be delivered a certificate of attendance.
QUESTIONS AND FURTHER INFORMATION:
florentinalilica.voicu@urv.cat
POSTAL ADDRESS:
SSTiC 2014
Lilica Voicu
Rovira i Virgili University
Av. Catalunya, 35
43002 Tarragona, Spain
Phone: +34 977 559 543
Fax: +34 977 558 386
ACKNOWLEDGEMENTS:
Departament d'Economia i Coneixement, Generalitat de Catalunya
Universitat Rovira i Virgili
**********************************************************
*
* 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/
*
**********************************************************
2014 TARRAGONA INTERNATIONAL SUMMER SCHOOL ON TRENDS IN COMPUTING
SSTiC 2014
Tarragona, Spain
July 7-11, 2014
Organized by
Rovira i Virgili University
http://grammars.grlmc.com/sstic2014/
*********************************************************************
--- January 18, 2nd registration deadline ---
*********************************************************************
AIM:
SSTiC 2014 is the second edition in a series started in 2013. For the
previous event, see http://grammars.grlmc.com/SSTiC2013/
SSTiC 2014 will be a research training event mainly addressed to PhD
students and PhD holders in the first steps of their academic career. It
intends to update them about the most recent developments in the diverse
branches of computer science and its neighbouring areas. To that purpose,
renowned scholars will lecture and will be available for interaction with
the audience.
SSTiC 2014 will cover the whole spectrum of computer science through 5
keynote lectures and 24 six-hour courses dealing with some of the most
lively topics in the field. The organizers share the idea that outstanding
speakers will really attract the brightest students.
ADDRESSED TO:
Graduate students from around the world. There are no formal pre-requisites
in terms of the academic degree the attendee must hold. However, since there
will be several levels among the courses, reference may be made to specific
knowledge background in the description of some of them.
SSTiC 2014 is also appropriate for more senior people who want to keep
themselves updated on developments in their own field or in other branches
of computer science. They will surely find it fruitful to listen and discuss
with scholars who are main references in computing nowadays.
REGIME:
In addition to keynotes, 3 parallel sessions will be held during the whole
event. Participants will be able to freely choose the courses they will be
willing to attend as well as to move from one to another.
VENUE:
SSTiC 2014 will take place in Tarragona, located 90 kms. to the south of
Barcelona. The venue will be:
Campus Catalunya
Universitat Rovira i Virgili
Av. Catalunya, 35
43002 Tarragona
KEYNOTE SPEAKERS:
Larry S. Davis (U Maryland, College Park), A Historical Perspective of
Computer Vision Models for Object Recognition and Scene Analysis
David S. Johnson (Columbia U, New York), Open and Closed Problems in
NP-Completeness
George Karypis (U Minnesota, Twin Cities), Recommender Systems Past,
Present, & Future
Steffen Staab (U Koblenz), Explicit and Implicit Semantics: Two Sides of One
Coin
Ronald R. Yager (Iona C, New Rochelle), Social Modeling
COURSES AND PROFESSORS:
Divyakant Agrawal (U California, Santa Barbara), [intermediate] Scalable
Data Management in Enterprise and Cloud Computing Infrastructures
Pierre Baldi (U California, Irvine), [intermediate] Big Data Informatics
Challenges and Opportunities in the Life Sciences
Stephen Brewster (U Glasgow), [introductory] Multimodal Human-computer
Interaction
Rajkumar Buyya (U Melbourne), [intermediate] Cloud Computing
John M. Carroll (Pennsylvania State U, University Park), [introductory]
Usability Engineering and Scenario-based Design
Kwang-Ting (Tim) Cheng (U California, Santa Barbara),
[introductory/intermediate] Smartphones: Hardware Platform, Software
Development, and Emerging Apps
Amr El Abbadi (U California, Santa Barbara), [introductory] The Distributed
Foundations of Data Management in the Cloud
Richard M. Fujimoto (Georgia Tech, Atlanta), [introductory] Parallel and
Distributed Simulation
Mark Guzdial (Georgia Tech, Atlanta), [introductory] Computing Education
Research: What We Know about Learning and Teaching Computer Science
David S. Johnson (Columbia U, New York), [introductory] The Traveling
Salesman Problem in Theory and Practice
George Karypis (U Minnesota, Twin Cities), [intermediate] Programming
Models/Frameworks for Parallel & Distributed Computing
Aggelos K. Katsaggelos (Northwestern U, Evanston), [intermediate]
Optimization Techniques for Sparse/Low-rank Recovery Problems in Image
Processing and Machine Learning
Arie E. Kaufman (U Stony Brook), [advanced] Visualization
Carl Lagoze (U Michigan, Ann Arbor), [introductory] Curation of Big Data
Bijan Parsia (U Manchester), [introductory] The Empirical Mindset in
Computer Science
Charles E. Perkins (FutureWei Technologies, Santa Clara), [intermediate]
Beyond LTE: the Evolution of 4G Networks and the Need for Higher Performance
Handover System Designs
Sudhakar M. Reddy (U Iowa, Iowa City), [introductory] Test and Design for
Test of Digital Logic Circuits
Robert Sargent (Syracuse U), [introductory] Validation of Models
Mubarak Shah (U Central Florida, Orlando), [intermediate] Visual Crowd
Analysis
Steffen Staab (U Koblenz), [intermediate] Programming the Semantic Web
Mike Thelwall (U Wolverhampton), [introductory] Sentiment Strength Detection
for Twitter and the Social Web
Jeffrey D. Ullman (Stanford U), [introductory] MapReduce Algorithms
Nitin Vaidya (U Illinois, Urbana-Champaign), [introductory/intermediate]
Distributed Consensus: Theory and Applications
Philip Wadler (U Edinburgh), [intermediate] Topics in Lambda Calculus and
Life
ORGANIZING COMMITTEE:
Adrian Horia Dediu (Tarragona)
Carlos Martín-Vide (Tarragona, chair)
Florentina Lilica Voicu (Tarragona)
REGISTRATION:
It has to be done at
http://grammars.grlmc.com/sstic2014/registration.php
The selection of up to 8 courses requested in the registration template is
only tentative and non-binding. For the sake of organization, it will be
helpful to have an approximation of the respective demand for each course.
Since the capacity of the venue is limited, registration requests will be
processed on a first come first served basis. The registration period will
be closed when the capacity of the venue will be complete. It is very
convenient to register prior to the event.
FEES:
As far as possible, participants are expected to attend for the whole (or
most of the) week (full-time). Fees are a flat rate allowing one to
participate to all courses. They vary depending on the registration
deadline.
ACCOMMODATION:
Information about accommodation will be available on the website of the
School in due time.
CERTIFICATE:
Participants will be delivered a certificate of attendance.
QUESTIONS AND FURTHER INFORMATION:
florentinalilica.voicu@urv.cat
POSTAL ADDRESS:
SSTiC 2014
Lilica Voicu
Rovira i Virgili University
Av. Catalunya, 35
43002 Tarragona, Spain
Phone: +34 977 559 543
Fax: +34 977 558 386
ACKNOWLEDGEMENTS:
Departament d'Economia i Coneixement, Generalitat de Catalunya
Universitat Rovira i Virgili
**********************************************************
*
* Contributions to be spread via DMANET are submitted to
*
* DMANET@zpr.uni-koeln.de
*
* Replies to a message carried on DMANET should NOT be
* addressed to DMANET but to the original sender. The
* original sender, however, is invited to prepare an
* update of the replies received and to communicate it
* via DMANET.
*
* DISCRETE MATHEMATICS AND ALGORITHMS NETWORK (DMANET)
* http://www.zaik.uni-koeln.de/AFS/publications/dmanet/
*
**********************************************************
[DMANET] computational optimization
[Please post - apologies for multiple copies.]
------------
Call for Papers
7th Workshop on Computational Optimization (WCO 2014
Warsaw, Poland, September 7 - 10, 2014
organized in the framework of FEDERATED CONFERENCE ON COMPUTER SCIENCE
AND INFORMATION SYSTEMS
FedCSIS - 2014
http://www.fedcsis.org/
====================
We invite original contributions related with both theoretical and
practical aspects of optimization methods.
The list of topics includes, but is not limited to:
* unconstrained and constrained optimization
* combinatorial optimization
* global optimization
* multiobjective optimization
* optimization in dynamic and/or noisy environments
* large scale optimization
* parallel and distributed approaches in optimization
* random search algorithms, simulated annealing, tabu search and other
derivative free optimization methods
* nature inspired optimization methods (evolutionary algorithms, ant
colony optimization, particle swarm optimization, immune artificial
systems etc)
* hybrid optimization algorithms involving natural computing
techniques and other global and local optimization methods
*computational biology and optimization
* distance geometry and applications
* optimization methods for learning processes and data mining
* application of optimization methods on real life and industrial problems
* computational optimization methods in statistics, econometrics,
finance, physics, medicine, engineering etc
====================
Important dates:
11.04.2012 (April 11, 2014) – Full paper submission
12.05.2014 (May 12, 2014) - Position paper submission
19.05.2011 (May 19, 2014) – Notification of acceptance
17.06.2012 (June 17, 2014) – Camera-ready version of the accepted
paper and registration
====================
Submission and Publication
* Authors should submit draft papers as PDF.
* The total length of a paper should not exceed 8 pages (IEEE style).
IEEE style templates are available at http://www.fedcsis.org/.
* Papers will be refereed and accepted on the basis of their
scientific merit and relevance to the workshop.
* Accepted and Presented paper will be published in the Conference
Proceedings and included in the IEEE Xplore database (pending) and
indexed in the DBLP.
* Extended versions of selected papers presented during the conference
will be published as Special Issue(s), we will announce later the
publisher.
====================
If you have any question do not hesitate to send a mail to wco2014@fedcsis.org .
Organizing Committee
Stefka Fidanova, Bulgarian Academy of Science, Bulgaria
Daniela Zaharie, West University of Timisoara, Romania
Antonio Mucherino, IRISA, France
--
Assoc. Prof. Stefka Fidanova
IICT-BAS
Acad. G. Bonchev str. bl.25A
1113 Sofia Bulgaria
Ph. +359-2-9796642
**********************************************************
*
* Contributions to be spread via DMANET are submitted to
*
* DMANET@zpr.uni-koeln.de
*
* Replies to a message carried on DMANET should NOT be
* addressed to DMANET but to the original sender. The
* original sender, however, is invited to prepare an
* update of the replies received and to communicate it
* via DMANET.
*
* DISCRETE MATHEMATICS AND ALGORITHMS NETWORK (DMANET)
* http://www.zaik.uni-koeln.de/AFS/publications/dmanet/
*
**********************************************************
------------
Call for Papers
7th Workshop on Computational Optimization (WCO 2014
Warsaw, Poland, September 7 - 10, 2014
organized in the framework of FEDERATED CONFERENCE ON COMPUTER SCIENCE
AND INFORMATION SYSTEMS
FedCSIS - 2014
http://www.fedcsis.org/
====================
We invite original contributions related with both theoretical and
practical aspects of optimization methods.
The list of topics includes, but is not limited to:
* unconstrained and constrained optimization
* combinatorial optimization
* global optimization
* multiobjective optimization
* optimization in dynamic and/or noisy environments
* large scale optimization
* parallel and distributed approaches in optimization
* random search algorithms, simulated annealing, tabu search and other
derivative free optimization methods
* nature inspired optimization methods (evolutionary algorithms, ant
colony optimization, particle swarm optimization, immune artificial
systems etc)
* hybrid optimization algorithms involving natural computing
techniques and other global and local optimization methods
*computational biology and optimization
* distance geometry and applications
* optimization methods for learning processes and data mining
* application of optimization methods on real life and industrial problems
* computational optimization methods in statistics, econometrics,
finance, physics, medicine, engineering etc
====================
Important dates:
11.04.2012 (April 11, 2014) – Full paper submission
12.05.2014 (May 12, 2014) - Position paper submission
19.05.2011 (May 19, 2014) – Notification of acceptance
17.06.2012 (June 17, 2014) – Camera-ready version of the accepted
paper and registration
====================
Submission and Publication
* Authors should submit draft papers as PDF.
* The total length of a paper should not exceed 8 pages (IEEE style).
IEEE style templates are available at http://www.fedcsis.org/.
* Papers will be refereed and accepted on the basis of their
scientific merit and relevance to the workshop.
* Accepted and Presented paper will be published in the Conference
Proceedings and included in the IEEE Xplore database (pending) and
indexed in the DBLP.
* Extended versions of selected papers presented during the conference
will be published as Special Issue(s), we will announce later the
publisher.
====================
If you have any question do not hesitate to send a mail to wco2014@fedcsis.org .
Organizing Committee
Stefka Fidanova, Bulgarian Academy of Science, Bulgaria
Daniela Zaharie, West University of Timisoara, Romania
Antonio Mucherino, IRISA, France
--
Assoc. Prof. Stefka Fidanova
IICT-BAS
Acad. G. Bonchev str. bl.25A
1113 Sofia Bulgaria
Ph. +359-2-9796642
**********************************************************
*
* Contributions to be spread via DMANET are submitted to
*
* DMANET@zpr.uni-koeln.de
*
* Replies to a message carried on DMANET should NOT be
* addressed to DMANET but to the original sender. The
* original sender, however, is invited to prepare an
* update of the replies received and to communicate it
* via DMANET.
*
* DISCRETE MATHEMATICS AND ALGORITHMS NETWORK (DMANET)
* http://www.zaik.uni-koeln.de/AFS/publications/dmanet/
*
**********************************************************
[DMANET] NMA2014 conference CFP
Dear Colleagues,
On behalf of the Organizing Committee, we invite you to participate in
the special session (workshop) on "METAHEURISTICS FOR OPTIMIZATION
PROBLEMS" at the
8th Conference on Numerical Methods and Applications NM&A'14,
to be held 20-24 August 2014 in Borovets, Bulgaria.
The session is organized by:
Assoc. Prof. Stefka Fidanova (stefka@parallel.bas.bg)
from the Institute of Information and Communication Technologies,
Bulgarian Academy of Sciences and
Gabriel Luque (gabriel@lcc.uma.es) from University of Malaga, Spain.
Topics
The list of topics includes, but is not limited to:
- unconstrained and constrained optimization
- combinatorial optimization
- global optimization
- multi-objective optimization
- optimization in dynamic and/or noisy environments
- large scale optimization
- parallel and distributed approaches in optimization
- random search algorithms (simulated annealing, tabu search, free
search and other derivative free optimization methods).
- nature inspired optimization methods (evolutionary algorithms,
ant colony optimization, particle swarm optimization, immune
artificial systems etc.).
- hybrid optimization algorithms involving natural computing
techniques and other global and local optimization methods
- optimization methods for learning processes and data mining
- computational optimization methods in statistics, econometrics,
finance, physics, medicine, biology, engineering etc
Proceedings
The refereed and presented papers will be published as a special
volume of Springer Lecture Notes in Computer Science (LNCS).
Important deadlines
Deadline for submission of abstracts
April 15, 2014
Notification of acceptance of the talks on the basis of the
submitted abstract
April 30, 2014
Deadline for submission of full papers
May 15, 2014
Notification of acceptance of full papers
June 30, 2014
Submission of accommodation forms
July 15, 2014
Abstracts and contributed papers
The abstracts (up to 1 page stating clearly the originality of the
results) are to be written in standard LaTeX. The length of the
contributed papers is limited up to 8 pages. It is assumed that one
participant will present not more than one talk.
Send the abstracts and papers to special session organizers and
conference organizers, indicating the name of the special session.
After sending the abstract go to the conference web page and fill in
the registration form (personal data of the participants, minimum one
per paper, and the name of the special session).
Information about abstract and paper preparation, accommodation,
transportation, registration form and conference location you can find
at the conference web page http://parallel.bas.bg/dpa/NMA_2014/
Special session organizers
Assoc. Prof. S. Fidanova, Institute of Parallel Processing, Bulgarian Academy of
Science, stefka@parallel.bas.bg
Gabriel Luque (gabriel@lcc.uma.es) from University of Malaga, Spain.
--
Assoc. Prof. Stefka Fidanova
IICT-BAS
Acad. G. Bonchev str. bl.25A
1113 Sofia Bulgaria
Ph. +359-2-9796642
**********************************************************
*
* Contributions to be spread via DMANET are submitted to
*
* DMANET@zpr.uni-koeln.de
*
* Replies to a message carried on DMANET should NOT be
* addressed to DMANET but to the original sender. The
* original sender, however, is invited to prepare an
* update of the replies received and to communicate it
* via DMANET.
*
* DISCRETE MATHEMATICS AND ALGORITHMS NETWORK (DMANET)
* http://www.zaik.uni-koeln.de/AFS/publications/dmanet/
*
**********************************************************
On behalf of the Organizing Committee, we invite you to participate in
the special session (workshop) on "METAHEURISTICS FOR OPTIMIZATION
PROBLEMS" at the
8th Conference on Numerical Methods and Applications NM&A'14,
to be held 20-24 August 2014 in Borovets, Bulgaria.
The session is organized by:
Assoc. Prof. Stefka Fidanova (stefka@parallel.bas.bg)
from the Institute of Information and Communication Technologies,
Bulgarian Academy of Sciences and
Gabriel Luque (gabriel@lcc.uma.es) from University of Malaga, Spain.
Topics
The list of topics includes, but is not limited to:
- unconstrained and constrained optimization
- combinatorial optimization
- global optimization
- multi-objective optimization
- optimization in dynamic and/or noisy environments
- large scale optimization
- parallel and distributed approaches in optimization
- random search algorithms (simulated annealing, tabu search, free
search and other derivative free optimization methods).
- nature inspired optimization methods (evolutionary algorithms,
ant colony optimization, particle swarm optimization, immune
artificial systems etc.).
- hybrid optimization algorithms involving natural computing
techniques and other global and local optimization methods
- optimization methods for learning processes and data mining
- computational optimization methods in statistics, econometrics,
finance, physics, medicine, biology, engineering etc
Proceedings
The refereed and presented papers will be published as a special
volume of Springer Lecture Notes in Computer Science (LNCS).
Important deadlines
Deadline for submission of abstracts
April 15, 2014
Notification of acceptance of the talks on the basis of the
submitted abstract
April 30, 2014
Deadline for submission of full papers
May 15, 2014
Notification of acceptance of full papers
June 30, 2014
Submission of accommodation forms
July 15, 2014
Abstracts and contributed papers
The abstracts (up to 1 page stating clearly the originality of the
results) are to be written in standard LaTeX. The length of the
contributed papers is limited up to 8 pages. It is assumed that one
participant will present not more than one talk.
Send the abstracts and papers to special session organizers and
conference organizers, indicating the name of the special session.
After sending the abstract go to the conference web page and fill in
the registration form (personal data of the participants, minimum one
per paper, and the name of the special session).
Information about abstract and paper preparation, accommodation,
transportation, registration form and conference location you can find
at the conference web page http://parallel.bas.bg/dpa/NMA_2014/
Special session organizers
Assoc. Prof. S. Fidanova, Institute of Parallel Processing, Bulgarian Academy of
Science, stefka@parallel.bas.bg
Gabriel Luque (gabriel@lcc.uma.es) from University of Malaga, Spain.
--
Assoc. Prof. Stefka Fidanova
IICT-BAS
Acad. G. Bonchev str. bl.25A
1113 Sofia Bulgaria
Ph. +359-2-9796642
**********************************************************
*
* Contributions to be spread via DMANET are submitted to
*
* DMANET@zpr.uni-koeln.de
*
* Replies to a message carried on DMANET should NOT be
* addressed to DMANET but to the original sender. The
* original sender, however, is invited to prepare an
* update of the replies received and to communicate it
* via DMANET.
*
* DISCRETE MATHEMATICS AND ALGORITHMS NETWORK (DMANET)
* http://www.zaik.uni-koeln.de/AFS/publications/dmanet/
*
**********************************************************
[DMANET] Last Mile, January 27 || CONTENT 2014 || May 25 - 29, 2014 - Venice, Italy
INVITATION:
=================
Please consider to contribute to and/or forward to the appropriate groups the following opportunity to submit and publish original scientific results to CONTENT 2014.
The submission deadline has been extended to January 27, 2014.
Authors of selected papers will be invited to submit extended article versions to one of the IARIA Journals: http://www.iariajournals.org
=================
============== CONTENT 2014 | Call for Papers ===============
CALL FOR PAPERS, TUTORIALS, PANELS
CONTENT 2014, The Sixth International Conference on Creative Content Technologies
May 25 - 29, 2014 - Venice, Italy
General page: http://www.iaria.org/conferences2014/CONTENT14.html
Call for Papers: http://www.iaria.org/conferences2014/CfPCONTENT14.html
- regular papers
- short papers (work in progress)
- posters
Submission page: http://www.iaria.org/conferences2014/SubmitCONTENT14.html
Submission deadline: January 27, 2014
Sponsored by IARIA, www.iaria.org
Extended versions of selected papers will be published in IARIA Journals: http://www.iariajournals.org
Print proceedings will be available via Curran Associates, Inc.: http://www.proceedings.com/9769.html
Articles will be archived in the free access ThinkMind Digital Library: http://www.thinkmind.org
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 conform with the Editorial rules: http://www.iaria.org/editorialrules.html
CONTENT 2014 Topics (topics and submission details: see CfP on the site)
BASICS: Content producers/distributors
Product-innovation and creative content platforms; Creative processes; Product and content innovation; Knowledge representation for content creativity; Content injection, cashing, storage, and distribution; Producing and transmitting streaming content; Content localization services; Content and customers profiles; Documenting and content authoring; Authorizing topic-based content; Content customization and metadata; On-demand content; Content retrieval from archives (alarm-based, time stamp-based); Content management solutions and systems; Unstructured content environment; Multi-channel content delivery/publishing strategies; Content reuse
WEBCONTENT: Web content
Architectures and frameworks for Web content ; Web content mining; Content retrieval on multimedia Web; XML and non-XML Web content; Ontology and semantic for processing Web content; Recommenders for Web content; Content-driven workflow design and management; Web content performance, accuracy, security, and reliability; Web content modeling; Web content-based applications
SOCIAL: Tools for producing and handling social content
On-line content; Games technologies; Multi-user and mono-user games; For-kids contents and programs; Social content and tools (YouTube, FaceBook, etc.); Open portals (e-Democracy, e-Health, etc.); Email lists challenges (membership, spamming, etc.); Virtual social communities; Hybrid real and virtual reality technologies
GRAPHICS: 3D Graphics
Interactive 3D graphics; High-performance 3D graphics; Mixed and augmented reality; Interactive on-line gaming; Animated humanoids and complex reactive characters; 3D documents and web/multimedia; User-interface for real-time 3D graphics and virtual environments; Innovative 3D web applications /industry, science, medicine, technology, culture/; 3D content creation technologies and tools; Interactive 3D graphics for mobile devices
ANIMA: Animation/cinematography
Computer animation; Computational cinematography; Virtual videography; Autonomous interactive characters; Traditional animation and 3D computer animation; Re-cinematography; Casual video; Cinematography; Image stabilization; Virtual Cinematography; Relighting through computation
MEDIMA: Medical image producing, transmission and management
Medical image devices, mechanisms and procedures; Medical imaging systems; Medical image capture and processing; Feature extraction and pattern recognition; Matching and computing anatomical atlases; Surface and volume registration; Medical image analysis (static and motion analysis); Medical image analysis (functional, metabolic); Multi-modal image analysis; Image segmentation; Multidimensional data visualization; Statistical methods (population-based analysis); Image guided diagnosis, surgery and therapy; Medical image transmission and storage (protocols, databases)
AUDIO: Audio producing, transmission and management
Audio transmission and reception systems and devices; Digital audio transmission signal processing; Audio transmission over Internet; Audio Multiplexing Transmission Systems; Stereo audio transmission signal; Digital infrared audio transmission; Multi-stream and multi-path audio transmission; Wireless-compressed digital audio transmission; Perceptual coding for audio; Transmission and storage; Laser audio transmission; Synchronizing video and audio transmission; Wide-band audio transmission; Index-frame audio transmission; Digital audio transmission rights; Noise in wireless audio transmission; Audio tools and products; Standards
DATA: Data transmission and management
Data transmission and reception mechanisms and techniques; Enhanced tools for video data integrity; Data mining, filtering, and reporting; Secure data transmission; Transmission media and data encoding; Text reading devices (super-pen, pen-elite, reading-pen); Scanned and generated lossy (progressive) multi-page text; (Visually) lossless mechanisms; Pricing data transmission; Differential data transmission systems; Data transmission equipments and transmission rates; Delay-constrained data transmission; Undersea and satellite data transmission techniques; Performance evaluation of data transmission; Multicast data transmission; High speed data transmission; Data transmission control; Integrity and privacy in data transmission; Data transmission standards
VOICE: Voice producing, transmission and management
Planning and implementing voice networks and systems; Voice transmission systems; Voice transmission performance; Quality real-time voice transmission; Metrics for quality of voice transmission; Stereophonic voice transmission systems; Header compression for VoIP over WLAN; Voice over IP solution for mobile radio interoperability; VoIP over cable TV networks; VoIP over Wi-Max; WiFi and cellular dual mode phones and services; Voice over WLANs and Wi-Fi to cellular roaming; Voice transmission via the Internet; Wi-Fi voice transmission; Bluetooth-based Ad-Hoc networks for voice transmission; Standards for voice processing and transmission
VIDEO: Coding/Transmission/Processing
Video coding standards (H.264, SMPTE 421M, AVS-China); Video coders and decoders; Video surveillance and privacy; Network video recorders; Video streaming; Video data integrity (error detection, error resilience, error concealment, tamper resistance); Motion detection, object tracking; Distributed video coding; Video quality assessment; Omnidirectional video; 3D video
IMAGE: Image producing, transmission and management
Model-based progressive image transmission; Wireless image transmission; Computer generated images; Image security, scrambling, and regions of interest; Timing requirements for image transmission; Transmission of still and moving images; Protocols for low bit rate; Error-prone image transmission; Energy efficient image transmission; Multi-technology image formation; Devices for image capturing and processing (cams, web-cams, etc.); Scanning and sampling, quantization and halftoning, color reproduction; Image representation and rendering, display and printing systems; Image quality assessment; Image search and sorting, video indexing and editing; Integration of images and video with other media; Image authentication and watermarking; Image storage, retrieval and multimedia; Image and video databases; Generic coding of moving pictures; Media stream packetization; Modes for archival playback; Image-based applications; Standard for image processing; Image analysis and segmentati!
on; Image filtering, restoration an
d enhancement; Image representation and modeling; Pattern recognition
SPEECH: Speech producing, transmission and management
Tooling, architectures, components and standards; Voice modulation, frequencies; Linguistics, phonology and phonetics; Discourse and dialogue; Speech analysis, synthesis, coding, and recognition; Speech enhancement and noise reduction; Speech features, production, and perception; Speech coding and transmission; Speech signal processing; Spoken language generation and synthesis; Speech QoS enhancement; Speaker characterization and recognition; Spoken language resources and annotation; Spoken/Multi-modal dialogue technology and systems; Spoken language information extraction/retrieval; Speech transmission technology for the aged and disabled; Audio-visual speech processing; Biomedical applications of speech analysis; Spoken document retrieval; Speech processing in a packet network environment; Automatic speech recognition in the context of mobile communications; Human factors in speech and communication systems; Automatic speech recognition and understanding technology; Speech!
to text
systems; Spoken dialog systems; Multilingual language processing; New applications of spoken language technology and systems
------------------------
Committee: http://www.iaria.org/conferences2014/ComCONTENT14.html
CONTENT Advisory Chairs
Raouf Hamzaoui, De Montfort University - Leicester, UK
Jalel Ben-Othman, Universit� de Versailles, France
Jaime Lloret Mauri, Polytechnic University of Valencia, Spain
Wolfgang Fohl, Hamburg University of Applied Sciences, Germany
Zhou Su, Waseda University, Japan
CONTENT Industry/Research Chairs
Ajith Abraham, Machine Intelligence Research Labs (MIR Labs), USA
Hans-Werner Sehring, T-Systems Multimedia Solutions GmbH, Germany
Ren� Berndt, Fraunhofer Austria Research GmbH, Austria
CONTENT Publicity Chairs
Lorena Parra, Universidad Polit�cnica de Valencia, Spain
Samuel Kosolapov, Braude Academic College of Engineering, Israel
Wilawan Inchamnan, Queensland University of Technology, Australia
Javier Quevedo-Fernandez, Eindhoven University of Technology, The Netherlands
================================================
=================
Please consider to contribute to and/or forward to the appropriate groups the following opportunity to submit and publish original scientific results to CONTENT 2014.
The submission deadline has been extended to January 27, 2014.
Authors of selected papers will be invited to submit extended article versions to one of the IARIA Journals: http://www.iariajournals.org
=================
============== CONTENT 2014 | Call for Papers ===============
CALL FOR PAPERS, TUTORIALS, PANELS
CONTENT 2014, The Sixth International Conference on Creative Content Technologies
May 25 - 29, 2014 - Venice, Italy
General page: http://www.iaria.org/conferences2014/CONTENT14.html
Call for Papers: http://www.iaria.org/conferences2014/CfPCONTENT14.html
- regular papers
- short papers (work in progress)
- posters
Submission page: http://www.iaria.org/conferences2014/SubmitCONTENT14.html
Submission deadline: January 27, 2014
Sponsored by IARIA, www.iaria.org
Extended versions of selected papers will be published in IARIA Journals: http://www.iariajournals.org
Print proceedings will be available via Curran Associates, Inc.: http://www.proceedings.com/9769.html
Articles will be archived in the free access ThinkMind Digital Library: http://www.thinkmind.org
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 conform with the Editorial rules: http://www.iaria.org/editorialrules.html
CONTENT 2014 Topics (topics and submission details: see CfP on the site)
BASICS: Content producers/distributors
Product-innovation and creative content platforms; Creative processes; Product and content innovation; Knowledge representation for content creativity; Content injection, cashing, storage, and distribution; Producing and transmitting streaming content; Content localization services; Content and customers profiles; Documenting and content authoring; Authorizing topic-based content; Content customization and metadata; On-demand content; Content retrieval from archives (alarm-based, time stamp-based); Content management solutions and systems; Unstructured content environment; Multi-channel content delivery/publishing strategies; Content reuse
WEBCONTENT: Web content
Architectures and frameworks for Web content ; Web content mining; Content retrieval on multimedia Web; XML and non-XML Web content; Ontology and semantic for processing Web content; Recommenders for Web content; Content-driven workflow design and management; Web content performance, accuracy, security, and reliability; Web content modeling; Web content-based applications
SOCIAL: Tools for producing and handling social content
On-line content; Games technologies; Multi-user and mono-user games; For-kids contents and programs; Social content and tools (YouTube, FaceBook, etc.); Open portals (e-Democracy, e-Health, etc.); Email lists challenges (membership, spamming, etc.); Virtual social communities; Hybrid real and virtual reality technologies
GRAPHICS: 3D Graphics
Interactive 3D graphics; High-performance 3D graphics; Mixed and augmented reality; Interactive on-line gaming; Animated humanoids and complex reactive characters; 3D documents and web/multimedia; User-interface for real-time 3D graphics and virtual environments; Innovative 3D web applications /industry, science, medicine, technology, culture/; 3D content creation technologies and tools; Interactive 3D graphics for mobile devices
ANIMA: Animation/cinematography
Computer animation; Computational cinematography; Virtual videography; Autonomous interactive characters; Traditional animation and 3D computer animation; Re-cinematography; Casual video; Cinematography; Image stabilization; Virtual Cinematography; Relighting through computation
MEDIMA: Medical image producing, transmission and management
Medical image devices, mechanisms and procedures; Medical imaging systems; Medical image capture and processing; Feature extraction and pattern recognition; Matching and computing anatomical atlases; Surface and volume registration; Medical image analysis (static and motion analysis); Medical image analysis (functional, metabolic); Multi-modal image analysis; Image segmentation; Multidimensional data visualization; Statistical methods (population-based analysis); Image guided diagnosis, surgery and therapy; Medical image transmission and storage (protocols, databases)
AUDIO: Audio producing, transmission and management
Audio transmission and reception systems and devices; Digital audio transmission signal processing; Audio transmission over Internet; Audio Multiplexing Transmission Systems; Stereo audio transmission signal; Digital infrared audio transmission; Multi-stream and multi-path audio transmission; Wireless-compressed digital audio transmission; Perceptual coding for audio; Transmission and storage; Laser audio transmission; Synchronizing video and audio transmission; Wide-band audio transmission; Index-frame audio transmission; Digital audio transmission rights; Noise in wireless audio transmission; Audio tools and products; Standards
DATA: Data transmission and management
Data transmission and reception mechanisms and techniques; Enhanced tools for video data integrity; Data mining, filtering, and reporting; Secure data transmission; Transmission media and data encoding; Text reading devices (super-pen, pen-elite, reading-pen); Scanned and generated lossy (progressive) multi-page text; (Visually) lossless mechanisms; Pricing data transmission; Differential data transmission systems; Data transmission equipments and transmission rates; Delay-constrained data transmission; Undersea and satellite data transmission techniques; Performance evaluation of data transmission; Multicast data transmission; High speed data transmission; Data transmission control; Integrity and privacy in data transmission; Data transmission standards
VOICE: Voice producing, transmission and management
Planning and implementing voice networks and systems; Voice transmission systems; Voice transmission performance; Quality real-time voice transmission; Metrics for quality of voice transmission; Stereophonic voice transmission systems; Header compression for VoIP over WLAN; Voice over IP solution for mobile radio interoperability; VoIP over cable TV networks; VoIP over Wi-Max; WiFi and cellular dual mode phones and services; Voice over WLANs and Wi-Fi to cellular roaming; Voice transmission via the Internet; Wi-Fi voice transmission; Bluetooth-based Ad-Hoc networks for voice transmission; Standards for voice processing and transmission
VIDEO: Coding/Transmission/Processing
Video coding standards (H.264, SMPTE 421M, AVS-China); Video coders and decoders; Video surveillance and privacy; Network video recorders; Video streaming; Video data integrity (error detection, error resilience, error concealment, tamper resistance); Motion detection, object tracking; Distributed video coding; Video quality assessment; Omnidirectional video; 3D video
IMAGE: Image producing, transmission and management
Model-based progressive image transmission; Wireless image transmission; Computer generated images; Image security, scrambling, and regions of interest; Timing requirements for image transmission; Transmission of still and moving images; Protocols for low bit rate; Error-prone image transmission; Energy efficient image transmission; Multi-technology image formation; Devices for image capturing and processing (cams, web-cams, etc.); Scanning and sampling, quantization and halftoning, color reproduction; Image representation and rendering, display and printing systems; Image quality assessment; Image search and sorting, video indexing and editing; Integration of images and video with other media; Image authentication and watermarking; Image storage, retrieval and multimedia; Image and video databases; Generic coding of moving pictures; Media stream packetization; Modes for archival playback; Image-based applications; Standard for image processing; Image analysis and segmentati!
on; Image filtering, restoration an
d enhancement; Image representation and modeling; Pattern recognition
SPEECH: Speech producing, transmission and management
Tooling, architectures, components and standards; Voice modulation, frequencies; Linguistics, phonology and phonetics; Discourse and dialogue; Speech analysis, synthesis, coding, and recognition; Speech enhancement and noise reduction; Speech features, production, and perception; Speech coding and transmission; Speech signal processing; Spoken language generation and synthesis; Speech QoS enhancement; Speaker characterization and recognition; Spoken language resources and annotation; Spoken/Multi-modal dialogue technology and systems; Spoken language information extraction/retrieval; Speech transmission technology for the aged and disabled; Audio-visual speech processing; Biomedical applications of speech analysis; Spoken document retrieval; Speech processing in a packet network environment; Automatic speech recognition in the context of mobile communications; Human factors in speech and communication systems; Automatic speech recognition and understanding technology; Speech!
to text
systems; Spoken dialog systems; Multilingual language processing; New applications of spoken language technology and systems
------------------------
Committee: http://www.iaria.org/conferences2014/ComCONTENT14.html
CONTENT Advisory Chairs
Raouf Hamzaoui, De Montfort University - Leicester, UK
Jalel Ben-Othman, Universit� de Versailles, France
Jaime Lloret Mauri, Polytechnic University of Valencia, Spain
Wolfgang Fohl, Hamburg University of Applied Sciences, Germany
Zhou Su, Waseda University, Japan
CONTENT Industry/Research Chairs
Ajith Abraham, Machine Intelligence Research Labs (MIR Labs), USA
Hans-Werner Sehring, T-Systems Multimedia Solutions GmbH, Germany
Ren� Berndt, Fraunhofer Austria Research GmbH, Austria
CONTENT Publicity Chairs
Lorena Parra, Universidad Polit�cnica de Valencia, Spain
Samuel Kosolapov, Braude Academic College of Engineering, Israel
Wilawan Inchamnan, Queensland University of Technology, Australia
Javier Quevedo-Fernandez, Eindhoven University of Technology, The Netherlands
================================================
Tuesday, January 14, 2014
from Gabriel Ciobanu: Call for Papers ICTAC 2014, 17-20 Sept, Bucharest
**********************************************************************
11th International Colloquium on Theoretical Aspects of Computing
17-20 September 2014, Bucharest, Romania
http://fmi.unibuc.ro/ictac2014
**********************************************************************
ICTAC 2014 is the 11th International Colloquium on Theoretical Aspects of
Computing and will bring together practitioners and researchers from
academia, industry and government to present research and to exchange ideas
and experience addressing challenges in both theoretical aspects of
computing and in the exploitation of theory through methods and tools for
system development. Another aim of ICTAC is to bring together researchers
working on theoretical aspects of computing in order to present their recent
results and to discuss new ideas concerning computer science.
THEMES AND TOPICS OF PAPERS
ICTAC 2014 calls for regular research papers on theories of computation and
programming, foundations of software engineering and on formal techniques in
software design and verification, as well as papers about tools that support
formal techniques for software modeling, system design and verification.
The topical areas of the conference include, but not limited to
* Automata theory and formal languages;
* Principles and semantics of programming languages;
* Theories of concurrency, mobility and reconfiguration;
* Logics and their applications;
* Software architectures, their models, refinement and verification;
* Relationship between software requirements, models and code;
* Program static and dynamic analysis and verification;
* Software specification, refinement, verification and testing;
* Model checking and theorem proving;
* Models of object and component systems;
* Coordination and feature interaction;
* Integration of theories, formal methods and tools for
engineering computing systems;
* Service-oriented architectures: models and development methods;
* Models of concurrency, security, and mobility;
* Theory of distributed, grid and cloud computing;
* Real-time, embedded, hybrid and cyber-physical systems;
* Type and category theory in computer science.
PAPER SUBMISSION
As for the past editions, the proceedings of ICTAC 2014 will be published by
Springer in the series Lecture Notes in Computer Science (LNCS) and will be
available at the colloquium. Special issue of few journals with extended
version of selected papers from ICTAC 2014 is under negotiation. Submissions
to the colloquium must not have been published or be concurrently considered
for publication elsewhere. All submissions will be judged on the basis of
originality, contribution to the field, technical and presentation quality,
as well as their relevance to the conference.
Regular Papers should not exceed 18 pages in LNCS format (see
http://www.springer.de/comp/lncs/authors.html for details). Papers must be
submitted by using www.easychair.org/conferences/?conf=ictac2014.
IMPORTANT DATES:
Abstract submission: 16 March 2014
Submission deadline: 23 March 2014
Paper notification: 30 May 2014
Revised/final paper: 14 June 2014
PC CHAIRS
Gabriel Ciobanu, Romanian Academy, ICS, Iasi, Romania
Dominique Mery, LORIA, Universite de Lorraine, France
PROGRAM COMMITTEE
Yamine Ait-Ameur, IRIT, ENSEIHT, France
Farhad Arbab, CWI and Leiden University, The Netherlands
Michael Butler, University of Southampton, UK
Ana Calvacanti, University of York, UK
Jeremie Chalopin, CNRS, France
Zhenbang Chen, National University of Defense Technology, China
Maximiliano Cristia, Faculty of Exact Sciences, Argentina
David Deharbe, Universidade Federal do Rio Grande do Norte, Brazil
Rocco De Nicola, IMT Lucca, Italy
Jose Luiz Fiadeiro, Royal Holloway, University of London, UK
John Fitzgerald, Newcastle University, UK
Simon Gay, University of Glasgow, UK
Dimitra Giannakopoulou, NASA Ames, USA
Stefania Gnesi, ISTI-CNR, Italy
Lindsay Groves, Victoria University of Wellington, New Zealand
Geoff Hamilton, Dublin City University, Ireland
Ian J. Hayes, University of Queensland, Australia
Rob Hierons, Brunel University, UK
Jane Hillston, University of Edinburgh, UK
Ross Horne, Romanian Academy, Iasi, Romania
Zhenjiang Hu, National Institute of Informatics, Japan
Florentin Ipate, University of Bucharest, Romania
Tudor Jebelean, Johannes Kepler University, Austria
Cliff Jones, Newcastle University, UK
Lila Kari, University of Western Ontario, Canada
Jetty Kleijn, Leiden University, The Netherlands
Maciej Koutny, Newcastle University, UK
Yassine Lakhnech, VERIMAG, France
Kim G. Larsen, Aalborg University, Denmark
Insup Lee, University of Pennsylvania, USA
Axel Legay, INRIA, France
Martin Leucker, University of Lubeck, Germany
Zhiming Liu, UNU-IIST, Macau, China
Marius Minea, Politehnica University of Timisoara, Romania
Victor Mitrana, University of Bucharest, Romania
Rosemary Monahan, National University of Ireland, Ireland
Mohammed Mosbah, LABRI, University of Bordeaux, France
Tobias Nipkow, Technical University Munich, Germany
Manuel Nunez, Universidad Complutense de Madrid, Spain
Paritosh Pandya, Tata Institute of Fundamental Research, India
Jun Pang, University of Luxembourg, Luxembourg
Corina Pasareanu, NASA Ames, USA
Shengchao Qin, University of Teesside, UK
Antonio Ravara, Universidade Nova de Lisboa, Portugal
Grigore Rosu, University of Illinois at Urbana Champaign, USA
Augusto Sampaio, Federal University of Pernambuco, Brasil
Pierre-Yves Schobbens, Universite de Namur, Belgium
Emil Sekerinski, McMaster University, Canada
Natarajan Shankar, SRI International, USA
Viorica Sofronie-Stokkermans, Max Planck Institute, Germany
Gheorghe Stefanescu, University of Bucharest, Romania
Andrzej Tarlecki, Warsaw University, Poland
Elena Troubitsyna, Abo Akademi University, Finland
Emilio Tuosto, University of Leicester, UK
Martin Wirsing, Ludwig-Maximilian University of Munich, Germany
Burkhart Wolff, Universite de Paris-Sud, France
Jim Woodcock, University of York, UK
Fatiha Zaidi, Universite de Paris-Sud, France
Naijun Zhan, Chinese Academy of Sciences, China
Jianjun Zhao, Shanghai Jiao Tong University, China
Huibiao Zhu, East China Normal University, China
GENERAL CHAIRS
Gabriel Ciobanu, Romanian Academy, ICS, Iasi, Romania
Florentin Ipate, University of Bucharest, Romania
STEERING COMMITTEE
Ana Cavalcanti, University of York, UK
John Fitzgerald, Newcastle University, UK
Martin Leucker, University of Luebeck, Germany
Zhiming Liu, UNU-IIST, Macao, China
Tobias Nipkow, Technical University Munich, Germany
Augusto Sampaio, Federal University of Pernambuco, Brasil
Natarajan Shankar, SRI International, USA
**********************************************************************
This call for papers and additional information about the conference can
be found on the ICTAC 2014 web page http://fmi.unibuc.ro/ictac2014/.
For information regarding the conference and other queries, you can use
the conference email address: ictac2014@fmi.unibuc.ro
11th International Colloquium on Theoretical Aspects of Computing
17-20 September 2014, Bucharest, Romania
http://fmi.unibuc.ro/ictac2014
**********************************************************************
ICTAC 2014 is the 11th International Colloquium on Theoretical Aspects of
Computing and will bring together practitioners and researchers from
academia, industry and government to present research and to exchange ideas
and experience addressing challenges in both theoretical aspects of
computing and in the exploitation of theory through methods and tools for
system development. Another aim of ICTAC is to bring together researchers
working on theoretical aspects of computing in order to present their recent
results and to discuss new ideas concerning computer science.
THEMES AND TOPICS OF PAPERS
ICTAC 2014 calls for regular research papers on theories of computation and
programming, foundations of software engineering and on formal techniques in
software design and verification, as well as papers about tools that support
formal techniques for software modeling, system design and verification.
The topical areas of the conference include, but not limited to
* Automata theory and formal languages;
* Principles and semantics of programming languages;
* Theories of concurrency, mobility and reconfiguration;
* Logics and their applications;
* Software architectures, their models, refinement and verification;
* Relationship between software requirements, models and code;
* Program static and dynamic analysis and verification;
* Software specification, refinement, verification and testing;
* Model checking and theorem proving;
* Models of object and component systems;
* Coordination and feature interaction;
* Integration of theories, formal methods and tools for
engineering computing systems;
* Service-oriented architectures: models and development methods;
* Models of concurrency, security, and mobility;
* Theory of distributed, grid and cloud computing;
* Real-time, embedded, hybrid and cyber-physical systems;
* Type and category theory in computer science.
PAPER SUBMISSION
As for the past editions, the proceedings of ICTAC 2014 will be published by
Springer in the series Lecture Notes in Computer Science (LNCS) and will be
available at the colloquium. Special issue of few journals with extended
version of selected papers from ICTAC 2014 is under negotiation. Submissions
to the colloquium must not have been published or be concurrently considered
for publication elsewhere. All submissions will be judged on the basis of
originality, contribution to the field, technical and presentation quality,
as well as their relevance to the conference.
Regular Papers should not exceed 18 pages in LNCS format (see
http://www.springer.de/comp/lncs/authors.html for details). Papers must be
submitted by using www.easychair.org/conferences/?conf=ictac2014.
IMPORTANT DATES:
Abstract submission: 16 March 2014
Submission deadline: 23 March 2014
Paper notification: 30 May 2014
Revised/final paper: 14 June 2014
PC CHAIRS
Gabriel Ciobanu, Romanian Academy, ICS, Iasi, Romania
Dominique Mery, LORIA, Universite de Lorraine, France
PROGRAM COMMITTEE
Yamine Ait-Ameur, IRIT, ENSEIHT, France
Farhad Arbab, CWI and Leiden University, The Netherlands
Michael Butler, University of Southampton, UK
Ana Calvacanti, University of York, UK
Jeremie Chalopin, CNRS, France
Zhenbang Chen, National University of Defense Technology, China
Maximiliano Cristia, Faculty of Exact Sciences, Argentina
David Deharbe, Universidade Federal do Rio Grande do Norte, Brazil
Rocco De Nicola, IMT Lucca, Italy
Jose Luiz Fiadeiro, Royal Holloway, University of London, UK
John Fitzgerald, Newcastle University, UK
Simon Gay, University of Glasgow, UK
Dimitra Giannakopoulou, NASA Ames, USA
Stefania Gnesi, ISTI-CNR, Italy
Lindsay Groves, Victoria University of Wellington, New Zealand
Geoff Hamilton, Dublin City University, Ireland
Ian J. Hayes, University of Queensland, Australia
Rob Hierons, Brunel University, UK
Jane Hillston, University of Edinburgh, UK
Ross Horne, Romanian Academy, Iasi, Romania
Zhenjiang Hu, National Institute of Informatics, Japan
Florentin Ipate, University of Bucharest, Romania
Tudor Jebelean, Johannes Kepler University, Austria
Cliff Jones, Newcastle University, UK
Lila Kari, University of Western Ontario, Canada
Jetty Kleijn, Leiden University, The Netherlands
Maciej Koutny, Newcastle University, UK
Yassine Lakhnech, VERIMAG, France
Kim G. Larsen, Aalborg University, Denmark
Insup Lee, University of Pennsylvania, USA
Axel Legay, INRIA, France
Martin Leucker, University of Lubeck, Germany
Zhiming Liu, UNU-IIST, Macau, China
Marius Minea, Politehnica University of Timisoara, Romania
Victor Mitrana, University of Bucharest, Romania
Rosemary Monahan, National University of Ireland, Ireland
Mohammed Mosbah, LABRI, University of Bordeaux, France
Tobias Nipkow, Technical University Munich, Germany
Manuel Nunez, Universidad Complutense de Madrid, Spain
Paritosh Pandya, Tata Institute of Fundamental Research, India
Jun Pang, University of Luxembourg, Luxembourg
Corina Pasareanu, NASA Ames, USA
Shengchao Qin, University of Teesside, UK
Antonio Ravara, Universidade Nova de Lisboa, Portugal
Grigore Rosu, University of Illinois at Urbana Champaign, USA
Augusto Sampaio, Federal University of Pernambuco, Brasil
Pierre-Yves Schobbens, Universite de Namur, Belgium
Emil Sekerinski, McMaster University, Canada
Natarajan Shankar, SRI International, USA
Viorica Sofronie-Stokkermans, Max Planck Institute, Germany
Gheorghe Stefanescu, University of Bucharest, Romania
Andrzej Tarlecki, Warsaw University, Poland
Elena Troubitsyna, Abo Akademi University, Finland
Emilio Tuosto, University of Leicester, UK
Martin Wirsing, Ludwig-Maximilian University of Munich, Germany
Burkhart Wolff, Universite de Paris-Sud, France
Jim Woodcock, University of York, UK
Fatiha Zaidi, Universite de Paris-Sud, France
Naijun Zhan, Chinese Academy of Sciences, China
Jianjun Zhao, Shanghai Jiao Tong University, China
Huibiao Zhu, East China Normal University, China
GENERAL CHAIRS
Gabriel Ciobanu, Romanian Academy, ICS, Iasi, Romania
Florentin Ipate, University of Bucharest, Romania
STEERING COMMITTEE
Ana Cavalcanti, University of York, UK
John Fitzgerald, Newcastle University, UK
Martin Leucker, University of Luebeck, Germany
Zhiming Liu, UNU-IIST, Macao, China
Tobias Nipkow, Technical University Munich, Germany
Augusto Sampaio, Federal University of Pernambuco, Brasil
Natarajan Shankar, SRI International, USA
**********************************************************************
This call for papers and additional information about the conference can
be found on the ICTAC 2014 web page http://fmi.unibuc.ro/ictac2014/.
For information regarding the conference and other queries, you can use
the conference email address: ictac2014@fmi.unibuc.ro
[DMANET] Post-doc position at Orange Labs (Issy-les-Mx, France)
The Traffic Resources Modeling department at Orange Labs Networks
invites applications for a post-doc fellowship in the context of an
internal research project devoted to optimization tools for sustainable
development.
A Content Delivery Network (CDN) consists of a set of servers and caches
that are strategically deployed in the network so as to deliver high
quality contents (e.g. video) to end-users. Some studies are conducted
in the department, and in the literature, to optimize the placement of
caches in the network, while improving the quality of service of content
delivery. In this context, the purpose of the fellowship is to analyze
and to model optimization problems related to the minimization of the
energy consumption of such networks, which is a recent, and increasing,
trend in network design.
The candidate will investigate approaches where real traffic data are
used (within simulation tools or analytical models), either as input
parameters in the optimization models, or as scenarios to validate the
output solutions. The combined approaches should allow tackling
realistic situation and deriving operational solutions.
The research will be conducted within the Traffic Resources Modeling
(TRM) department in close collaboration with several optimization and
performance evaluation experts.
The start date is: asap
Applications should consist of a resume, a short research statement and
up to 3 contacts persons that could act as references. The applications
should be sent to: eric.gourdin at orange.com
Profile: the candidate should have defended her/his Ph.D. within less
than one year.
**********************************************************
*
* 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/
*
**********************************************************
invites applications for a post-doc fellowship in the context of an
internal research project devoted to optimization tools for sustainable
development.
A Content Delivery Network (CDN) consists of a set of servers and caches
that are strategically deployed in the network so as to deliver high
quality contents (e.g. video) to end-users. Some studies are conducted
in the department, and in the literature, to optimize the placement of
caches in the network, while improving the quality of service of content
delivery. In this context, the purpose of the fellowship is to analyze
and to model optimization problems related to the minimization of the
energy consumption of such networks, which is a recent, and increasing,
trend in network design.
The candidate will investigate approaches where real traffic data are
used (within simulation tools or analytical models), either as input
parameters in the optimization models, or as scenarios to validate the
output solutions. The combined approaches should allow tackling
realistic situation and deriving operational solutions.
The research will be conducted within the Traffic Resources Modeling
(TRM) department in close collaboration with several optimization and
performance evaluation experts.
The start date is: asap
Applications should consist of a resume, a short research statement and
up to 3 contacts persons that could act as references. The applications
should be sent to: eric.gourdin at orange.com
Profile: the candidate should have defended her/his Ph.D. within less
than one year.
**********************************************************
*
* Contributions to be spread via DMANET are submitted to
*
* DMANET@zpr.uni-koeln.de
*
* Replies to a message carried on DMANET should NOT be
* addressed to DMANET but to the original sender. The
* original sender, however, is invited to prepare an
* update of the replies received and to communicate it
* via DMANET.
*
* DISCRETE MATHEMATICS AND ALGORITHMS NETWORK (DMANET)
* http://www.zaik.uni-koeln.de/AFS/publications/dmanet/
*
**********************************************************
Subscribe to:
Posts (Atom)
Posts
