[We apologise for multiple copies.]
******************************************************************
FIRST CALL FOR PAPERS: ETAPS 2014
17th European Joint Conferences on Theory And Practice of Software
Grenoble, France
5-13 April 2014
http://www.etaps.org/2014
******************************************************************
-- ABOUT ETAPS --
ETAPS is the primary European forum for academic and industrial
researchers working on topics relating to software science. ETAPS,
established in 1998, is a confederation of six main annual
conferences, accompanied by satellite workshops. ETAPS 2014 is the
seventeenth event in the series.
-- MAIN CONFERENCES (7-11 April) --
* CC: Compiler Construction
* ESOP: European Symposium on Programming
* FASE: Fundamental Approaches to Software Engineering
* FOSSACS: Foundations of Software Science
and Computation Structures
* POST: Principles of Security and Trust
* TACAS: Tools and Algorithms for
the Construction and Analysis of Systems
TACAS '14 hosts the 3rd Competition on Software Verification
(SV-COMP).
-- INVITED SPEAKERS --
* Robert Harper (Carnegie Mellon University, US)
* John Launchbury (Galois, US)
* Benoit Dupont de Dinechin (Kalray, France)
* Maurice Herlihy (Brown University, US)
* Christel Baier (Technical University of Dresden, Germany)
* Petr Jancar (Technical Univ of Ostrava, Czech Republic)
* David Mazieres (Stanford University, US)
* Orna Kupferman (Hebrew University Jerusalem, Israel)
-- IMPORTANT DATES --
* 4 October 2013: Submission deadline for abstracts (strict)
* 11 October 2013: Submission deadline for full papers (strict)
* 20 December 2013: Notification of acceptance
* 17 January 2014: Camera-ready versions due
ESOP and FoSSaCS will use a rebuttal (author response) phase.
-- GENERAL SUBMISSION INFORMATION --
ETAPS conferences accept two types of contributions: research papers
and tool demonstration papers. Both types will appear in the
proceedings and have presentations during the conference. (TACAS has
more categories, see below.)
A condition of submission is that, if the submission is accepted, one
of the authors attends the conference to give the
presentation. Submitted papers must be in English presenting original
research. They must be unpublished and not submitted for publication
elsewhere. In particular, simultaneous submission of the same
contribution to multiple ETAPS conferences is forbidden. The
proceedings will be published in the Advanced Research in Computing
and Software Science (ARCoSS) subline of Springer's Lecture Notes in
Computer Science series.
Papers must follow the formatting guidelines specified by Springer at
the URL
http://www.springer.de/comp/lncs/authors.html
and be submitted electronically in pdf through the Easychair author
interface of the respective conference.
Submissions not adhering to the specified format and length may be
rejected immediately.
- Research papers
Different ETAPS 2014 conferences have different page limits.
Specifically, FASE, FOSSACS and TACAS have a page limit of 15 pages,
whereas CC, ESOP and POST allow at most 20 pages. Additional material
intended for the referees but not for publication in the final version
- for example, details of proofs - may be placed in a clearly marked
appendix that is not included in the page limit. ETAPS referees are at
liberty to ignore appendices and papers must be understandable without
them.
TACAS solicits not only regular research papers, but also case study
papers.
- Tool demonstration papers
Submissions should consist of two parts:
* The first part, at most 4 pages, should describe the tool
presented. Please include the URL of the tool (if available) and
provide information that illustrates the maturity and robustness of
the tool. (This part will be included in the proceedings.)
* The second part, at most 6 pages, should explain how the
demonstration will be carried out and what it will show, including
screen dumps and examples. (This part will be not be included in the
proceedings, but will be evaluated.)
ESOP and FOSSACS do not accept tool demonstration papers.
In addition to tool demonstration papers (max 6 pages in their case),
TACAS solicits also regular tool papers (max 15 pages) adhering to
specific instructions about content and organization.
-- SATELLITE EVENTS (5-6 April, 12-13 April) --
Around 20 satellite workshops will take place before and after the
main conferences. In addition, on 6 April, some tutorials on topics of
wide interest will be offered.
-- HOST CITY --
Located in the southeastern part of France, Grenoble is considered as
the capital of the Alps. Grenoble is surrounded by nature and high
mountains: down the Alps, Grenoble is the meeting point of two
important rivers, Drac and Isere. Grenoble has important historical
and gastronomic heritages. Leisure activities in breathtaking nature
are easily organizable and within short-distance. Grenoble is also a
major scientific center in Europe dedicated to high-tech technologies,
e.g., nano, micro, bio, and information technologies.
-- HOST INSTITUTION --
The event is organized by Universite Joseph Fourier. Located at the
heart of the Alps, in outstanding scientific and natural surroundings,
the Universite Joseph Fourier in Grenoble is a leading University of
Science, Technology and Health.
-- ORGANIZERS
* General chair: Saddek Bensalem
* Conferences chair: Yassine Lakhnech
* Workshops chair: Axel Legay
* Publicity chair: Ylies Falcone
* Finance chair: Nicolas Halbwachs
* Web site chair: Marius Bozga
-- FURTHER INFORMATION --
Please do not hesitate to contact the organizers at
etaps2014.organization@imag.fr.
**********************************************************
*
* Contributions to be spread via DMANET are submitted to
*
* DMANET@zpr.uni-koeln.de
*
* Replies to a message carried on DMANET should NOT be
* addressed to DMANET but to the original sender. The
* original sender, however, is invited to prepare an
* update of the replies received and to communicate it
* via DMANET.
*
* DISCRETE MATHEMATICS AND ALGORITHMS NETWORK (DMANET)
* http://www.zaik.uni-koeln.de/AFS/publications/dmanet/
*
**********************************************************
Tuesday, July 23, 2013
[DMANET] Faculty position in Combinatorics & Optimization (Waterloo)
====================================================================
FACULTY POSITION IN COMBINATORICS AND OPTIMIZATION
UNIVERSITY OF WATERLOO
The Department of Combinatorics and Optimization
(http://math.uwaterloo.ca/co) at the University of Waterloo
invites applications for an open rank, tenure-track or tenured
faculty position. The focus of the search is in the areas of
continuous optimization and graph theory.
A Ph.D. degree and evidence of excellence in research and teaching
are required. Successful applications are expected to maintain an
active program of research, to attract and supervise graduate
students, and to participate in undergraduate and graduate teaching.
Salary will depend on the candidate's qualifications. The effective
date of appointment is July 1 2014.
Interested individuals should apply using the MathJobs site
(http://www.mathjobs.org). Applications should include a
curriculum vitae, research and teaching statements, and up to
three reprints/preprints. In addition, at least three reference
letters should be submitted.
Inquiries may be addressed to combopt@math.uwaterloo.ca or to
Alfred Menezes, Chair, Department of Combinatorics and Optimization,
University of Waterloo, Waterloo, Ontario, Canada N2L 3G1. Closing
date for receipt of applications is December 1, 2013.
All qualified candidates are encouraged to apply; however Canadians
and permanent residents will be given priority. The University of
Waterloo encourages applications from all qualified individuals,
including women, members of visible minorities, native people, and
persons with disabilities.
====================================================================
**********************************************************
*
* 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/
*
**********************************************************
FACULTY POSITION IN COMBINATORICS AND OPTIMIZATION
UNIVERSITY OF WATERLOO
The Department of Combinatorics and Optimization
(http://math.uwaterloo.ca/co) at the University of Waterloo
invites applications for an open rank, tenure-track or tenured
faculty position. The focus of the search is in the areas of
continuous optimization and graph theory.
A Ph.D. degree and evidence of excellence in research and teaching
are required. Successful applications are expected to maintain an
active program of research, to attract and supervise graduate
students, and to participate in undergraduate and graduate teaching.
Salary will depend on the candidate's qualifications. The effective
date of appointment is July 1 2014.
Interested individuals should apply using the MathJobs site
(http://www.mathjobs.org). Applications should include a
curriculum vitae, research and teaching statements, and up to
three reprints/preprints. In addition, at least three reference
letters should be submitted.
Inquiries may be addressed to combopt@math.uwaterloo.ca or to
Alfred Menezes, Chair, Department of Combinatorics and Optimization,
University of Waterloo, Waterloo, Ontario, Canada N2L 3G1. Closing
date for receipt of applications is December 1, 2013.
All qualified candidates are encouraged to apply; however Canadians
and permanent residents will be given priority. The University of
Waterloo encourages applications from all qualified individuals,
including women, members of visible minorities, native people, and
persons with disabilities.
====================================================================
**********************************************************
*
* 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, July 22, 2013
[DMANET] EuroGP 2014: First CfP
(apologies for cross-posting)
*****************************************************************************
EuroGP 2014, 17th European Conference on Genetic Programming
23-25 April 2014, Baeza, Spain
www.evostar.org
FIRST CALL FOR PAPERS
*****************************************************************************
(CFP download: www.evostar.org/flyer/EuroGP2014Flyer.pdf)
SUBMISSION DEADLINE: 1 November 2013
EuroGP is the premier annual conference on Genetic Programming,
attracting participants from all over the world. High quality papers
describing new original research are sought on topics strongly related
to the evolution of computer programs, ranging from theoretical work to
innovative applications. Topics include but are not limited to:
* Innovative applications of GP
* Theoretical developments
* GP performance and behaviour
* Fitness landscape analysis of GP
* Algorithms, representations and operators
* Real-world applications
* Evolutionary design
* Evolutionary robotics
* Tree-based GP and Linear GP
* Graph-based GP and Grammar-based GP
* Evolvable hardware
* Self-reproducing programs
* Multi-population GP
* Multi-objective GP
* Fast/Parallel GP
* Probabilistic GP
* Evolution of automata or machine
* Software Engineering and GP
* Object-oriented GP
* Hybrid architectures including GP
* Coevolution in GP
* Modularity in GP
* Semantics in GP
* Unconventional evolvable computation
* Automatic software maintenance
* Evolutionary inductive programming
In 2013, the EuroGP acceptance rate was 49% (38% for oral
presentations). Accepted papers will be included in the proceedings
published by Springer Verlag in the Lecture Notes in Computer Science
(LNCS) series. The papers which receive the best reviews will be
nominated for the Best Paper Award.
EuroGP 2014 will be co-located within the EvoStar event with four
related conferences: EvoBIO, EvoCOP, EvoMUSART, and EvoApplications.
Website: www.evostar.org/cfpEuroGP.html
Facebook: fb.com/evostarconf
Twitter: twitter.com/Evostar2014
LinkedIn: www.linkedin.com/groups/EVOstar-1908983
EuroGP programme chairs
Miguel Nicolau, University College Dublin, Ireland
Krzysztof Krawiec, Poznan University of Technology, Poland
**********************************************************
*
* 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/
*
**********************************************************
*****************************************************************************
EuroGP 2014, 17th European Conference on Genetic Programming
23-25 April 2014, Baeza, Spain
www.evostar.org
FIRST CALL FOR PAPERS
*****************************************************************************
(CFP download: www.evostar.org/flyer/EuroGP2014Flyer.pdf)
SUBMISSION DEADLINE: 1 November 2013
EuroGP is the premier annual conference on Genetic Programming,
attracting participants from all over the world. High quality papers
describing new original research are sought on topics strongly related
to the evolution of computer programs, ranging from theoretical work to
innovative applications. Topics include but are not limited to:
* Innovative applications of GP
* Theoretical developments
* GP performance and behaviour
* Fitness landscape analysis of GP
* Algorithms, representations and operators
* Real-world applications
* Evolutionary design
* Evolutionary robotics
* Tree-based GP and Linear GP
* Graph-based GP and Grammar-based GP
* Evolvable hardware
* Self-reproducing programs
* Multi-population GP
* Multi-objective GP
* Fast/Parallel GP
* Probabilistic GP
* Evolution of automata or machine
* Software Engineering and GP
* Object-oriented GP
* Hybrid architectures including GP
* Coevolution in GP
* Modularity in GP
* Semantics in GP
* Unconventional evolvable computation
* Automatic software maintenance
* Evolutionary inductive programming
In 2013, the EuroGP acceptance rate was 49% (38% for oral
presentations). Accepted papers will be included in the proceedings
published by Springer Verlag in the Lecture Notes in Computer Science
(LNCS) series. The papers which receive the best reviews will be
nominated for the Best Paper Award.
EuroGP 2014 will be co-located within the EvoStar event with four
related conferences: EvoBIO, EvoCOP, EvoMUSART, and EvoApplications.
Website: www.evostar.org/cfpEuroGP.html
Facebook: fb.com/evostarconf
Twitter: twitter.com/Evostar2014
LinkedIn: www.linkedin.com/groups/EVOstar-1908983
EuroGP programme chairs
Miguel Nicolau, University College Dublin, Ireland
Krzysztof Krawiec, Poznan University of Technology, Poland
**********************************************************
*
* 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, July 21, 2013
[DMANET] LATA 2014: 1st call for papers
*************************************************************************
8th INTERNATIONAL CONFERENCE ON LANGUAGE AND AUTOMATA THEORY AND
APPLICATIONS
LATA 2014
Madrid, Spain
March 10-14, 2014
Organized by:
Research Group on Implementation of Language-Driven Software and
Applications (ILSA)
Complutense University of Madrid
Research Group on Mathematical Linguistics (GRLMC)
Rovira i Virgili University
http://grammars.grlmc.com/lata2014/
*********************************************************************
AIMS:
LATA is a yearly conference on theoretical computer science and its
applications. Following the tradition of the diverse PhD training events in
the field developed at Rovira i Virgili University in Tarragona since 2002,
LATA 2014 will reserve significant room for young scholars at the beginning
of their career. It will aim at attracting contributions from both classical
theory fields and application areas (bioinformatics, language technology,
artificial intelligence, etc.).
VENUE:
LATA 2014 will take place in Madrid, the capital of Spain. The venue will be
the School of Informatics of Complutense University.
SCOPE:
Topics of either theoretical or applied interest include, but are not
limited to:
algebraic language theory
algorithms for semi-structured data mining
algorithms on automata and words
automata and logic
automata for system analysis and programme verification
automata, concurrency and Petri nets
automatic structures
cellular automata
codes
combinatorics on words
compilers
computability
computational complexity
data and image compression
decidability issues on words and languages
descriptional complexity
DNA and other models of bio-inspired computing
digital libraries and document engineering
foundations of finite state technology
foundations of XML
fuzzy and rough languages
grammars (Chomsky hierarchy, contextual, unification, categorial, etc.)
grammatical inference and algorithmic learning
graphs and graph transformation
language varieties and semigroups
language-based cryptography
language-theoretic foundations of artificial intelligence and artificial
life
natural language and speech automatic processing
parallel and regulated rewriting
parsing
patterns
power series
quantum, chemical and optical computing
semantics
string and combinatorial issues in computational biology and bioinformatics
string processing algorithms
symbolic dynamics
symbolic neural networks
term rewriting
transducers
trees, tree languages and tree automata
weighted automata
STRUCTURE:
LATA 2014 will consist of:
invited talks
invited tutorials
peer-reviewed contributions
INVITED SPEAKERS:
to be announced
PROGRAMME COMMITTEE:
Dana Angluin (Yale, US)
Eugene Asarin (Paris Diderot, FR)
Jos Baeten (Amsterdam, NL)
Christel Baier (Dresden, DE)
Jan Bergstra (Amsterdam, NL)
Jin-Yi Cai (Madison, US)
Marek Chrobak (Riverside, US)
Andrea Corradini (Pisa, IT)
Mariangiola Dezani (Turin, IT)
Ding-Zhu Du (Dallas, US)
Michael R. Fellows (Darwin, AU)
Jörg Flum (Freiburg, DE)
Nissim Francez (Technion, IL)
Jürgen Giesl (Aachen, DE)
Annegret Habel (Oldenburg, DE)
Kazuo Iwama (Kyoto, JP)
Sampath Kannan (Philadelphia, US)
Ming-Yang Kao (Northwestern, US)
Deepak Kapur (Albuquerque, US)
Joost-Pieter Katoen (Aachen, DE)
S. Rao Kosaraju (Johns Hopkins, US)
Evangelos Kranakis (Carleton, CA)
Gad M. Landau (Haifa, IL)
Andrzej Lingas (Lund, SE)
Jack Lutz (Iowa State, US)
Ian Mackie (École Polytechnique, FR)
Carlos Martín-Vide (Tarragona, ES, chair)
Giancarlo Mauri (Milan, IT)
Faron G. Moller (Swansea, UK)
Paliath Narendran (Albany, US)
Enno Ohlebusch (Ulm, DE)
Helmut Prodinger (Stellenbosch, ZA)
Jean-François Raskin (Brussels, BE)
Wolfgang Reisig (Humboldt Berlin, DE)
Marco Roveri (Bruno Kessler, Trento, IT)
Michaël Rusinowitch (LORIA, Nancy, FR)
Yasubumi Sakakibara (Keio, JP)
Davide Sangiorgi (Bologna, IT)
Colin Stirling (Edinburgh, UK)
Jianwen Su (Santa Barbara, US)
Jean-Pierre Talpin (IRISA, Rennes, FR)
Andrzej Tarlecki (Warsaw, PL)
Rick Thomas (Leicester, UK)
Sophie Tison (Lille, FR)
Rob van Glabbeek (NICTA, Sydney, AU)
Helmut Veith (Vienna Tech, AT)
ORGANIZING COMMITTEE:
Adrian Horia Dediu (Tarragona)
Ana Fernández-Pampillón (Madrid)
Carlos Martín-Vide (Tarragona, co-chair)
Antonio Sarasa (Madrid)
José-Luis Sierra (Madrid, co-chair)
Bianca Truthe (Magdeburg)
Florentina Lilica Voicu (Tarragona)
SUBMISSIONS:
Authors are invited to submit non-anonymized papers in English presenting
original and unpublished research. Papers should not exceed 12 single-spaced
pages (including eventual appendices) and should be formatted according to
the standard format for Springer Verlag's LNCS series (see
http://www.springer.com/computer/lncs?SGWID=0-164-6-793341-0).
Submissions have to be uploaded to:
https://www.easychair.org/conferences/?conf=lata2014
PUBLICATIONS:
A volume of proceedings published by Springer in the LNCS series will be
available by the time of the conference.
A special issue of a major journal will be later published containing
peer-reviewed extended versions of some of the papers contributed to the
conference. Submissions to it will be by invitation.
REGISTRATION:
The period for registration is open from July 15, 2013 to March 10, 2014.
The registration form can be found at:
http://grammars.grlmc.com/lata2014/Registration.php
DEADLINES:
Paper submission: October 14, 2013 (23:59 CET)
Notification of paper acceptance or rejection: November 25, 2013
Final version of the paper for the LNCS proceedings: December 2, 2013
Early registration: December 9, 2013
Late registration: February 24, 2014
Starting of the conference: March 10, 2014
End of the conference: March 14, 2014
Submission to the post-conference journal special issue: June 14, 2014
QUESTIONS AND FURTHER INFORMATION:
florentinalilica.voicu@urv.cat
POSTAL ADDRESS:
LATA 2014
Research Group on Mathematical Linguistics (GRLMC)
Rovira i Virgili University
Av. Catalunya, 35
43002 Tarragona, Spain
Phone: +34-977-559543
Fax: +34-977-558386
ACKNOWLEDGEMENTS:
Departament d'Economia i Coneixement, Generalitat de Catalunya
Universidad Complutense de Madrid
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/
*
**********************************************************
8th INTERNATIONAL CONFERENCE ON LANGUAGE AND AUTOMATA THEORY AND
APPLICATIONS
LATA 2014
Madrid, Spain
March 10-14, 2014
Organized by:
Research Group on Implementation of Language-Driven Software and
Applications (ILSA)
Complutense University of Madrid
Research Group on Mathematical Linguistics (GRLMC)
Rovira i Virgili University
http://grammars.grlmc.com/lata2014/
*********************************************************************
AIMS:
LATA is a yearly conference on theoretical computer science and its
applications. Following the tradition of the diverse PhD training events in
the field developed at Rovira i Virgili University in Tarragona since 2002,
LATA 2014 will reserve significant room for young scholars at the beginning
of their career. It will aim at attracting contributions from both classical
theory fields and application areas (bioinformatics, language technology,
artificial intelligence, etc.).
VENUE:
LATA 2014 will take place in Madrid, the capital of Spain. The venue will be
the School of Informatics of Complutense University.
SCOPE:
Topics of either theoretical or applied interest include, but are not
limited to:
algebraic language theory
algorithms for semi-structured data mining
algorithms on automata and words
automata and logic
automata for system analysis and programme verification
automata, concurrency and Petri nets
automatic structures
cellular automata
codes
combinatorics on words
compilers
computability
computational complexity
data and image compression
decidability issues on words and languages
descriptional complexity
DNA and other models of bio-inspired computing
digital libraries and document engineering
foundations of finite state technology
foundations of XML
fuzzy and rough languages
grammars (Chomsky hierarchy, contextual, unification, categorial, etc.)
grammatical inference and algorithmic learning
graphs and graph transformation
language varieties and semigroups
language-based cryptography
language-theoretic foundations of artificial intelligence and artificial
life
natural language and speech automatic processing
parallel and regulated rewriting
parsing
patterns
power series
quantum, chemical and optical computing
semantics
string and combinatorial issues in computational biology and bioinformatics
string processing algorithms
symbolic dynamics
symbolic neural networks
term rewriting
transducers
trees, tree languages and tree automata
weighted automata
STRUCTURE:
LATA 2014 will consist of:
invited talks
invited tutorials
peer-reviewed contributions
INVITED SPEAKERS:
to be announced
PROGRAMME COMMITTEE:
Dana Angluin (Yale, US)
Eugene Asarin (Paris Diderot, FR)
Jos Baeten (Amsterdam, NL)
Christel Baier (Dresden, DE)
Jan Bergstra (Amsterdam, NL)
Jin-Yi Cai (Madison, US)
Marek Chrobak (Riverside, US)
Andrea Corradini (Pisa, IT)
Mariangiola Dezani (Turin, IT)
Ding-Zhu Du (Dallas, US)
Michael R. Fellows (Darwin, AU)
Jörg Flum (Freiburg, DE)
Nissim Francez (Technion, IL)
Jürgen Giesl (Aachen, DE)
Annegret Habel (Oldenburg, DE)
Kazuo Iwama (Kyoto, JP)
Sampath Kannan (Philadelphia, US)
Ming-Yang Kao (Northwestern, US)
Deepak Kapur (Albuquerque, US)
Joost-Pieter Katoen (Aachen, DE)
S. Rao Kosaraju (Johns Hopkins, US)
Evangelos Kranakis (Carleton, CA)
Gad M. Landau (Haifa, IL)
Andrzej Lingas (Lund, SE)
Jack Lutz (Iowa State, US)
Ian Mackie (École Polytechnique, FR)
Carlos Martín-Vide (Tarragona, ES, chair)
Giancarlo Mauri (Milan, IT)
Faron G. Moller (Swansea, UK)
Paliath Narendran (Albany, US)
Enno Ohlebusch (Ulm, DE)
Helmut Prodinger (Stellenbosch, ZA)
Jean-François Raskin (Brussels, BE)
Wolfgang Reisig (Humboldt Berlin, DE)
Marco Roveri (Bruno Kessler, Trento, IT)
Michaël Rusinowitch (LORIA, Nancy, FR)
Yasubumi Sakakibara (Keio, JP)
Davide Sangiorgi (Bologna, IT)
Colin Stirling (Edinburgh, UK)
Jianwen Su (Santa Barbara, US)
Jean-Pierre Talpin (IRISA, Rennes, FR)
Andrzej Tarlecki (Warsaw, PL)
Rick Thomas (Leicester, UK)
Sophie Tison (Lille, FR)
Rob van Glabbeek (NICTA, Sydney, AU)
Helmut Veith (Vienna Tech, AT)
ORGANIZING COMMITTEE:
Adrian Horia Dediu (Tarragona)
Ana Fernández-Pampillón (Madrid)
Carlos Martín-Vide (Tarragona, co-chair)
Antonio Sarasa (Madrid)
José-Luis Sierra (Madrid, co-chair)
Bianca Truthe (Magdeburg)
Florentina Lilica Voicu (Tarragona)
SUBMISSIONS:
Authors are invited to submit non-anonymized papers in English presenting
original and unpublished research. Papers should not exceed 12 single-spaced
pages (including eventual appendices) and should be formatted according to
the standard format for Springer Verlag's LNCS series (see
http://www.springer.com/computer/lncs?SGWID=0-164-6-793341-0).
Submissions have to be uploaded to:
https://www.easychair.org/conferences/?conf=lata2014
PUBLICATIONS:
A volume of proceedings published by Springer in the LNCS series will be
available by the time of the conference.
A special issue of a major journal will be later published containing
peer-reviewed extended versions of some of the papers contributed to the
conference. Submissions to it will be by invitation.
REGISTRATION:
The period for registration is open from July 15, 2013 to March 10, 2014.
The registration form can be found at:
http://grammars.grlmc.com/lata2014/Registration.php
DEADLINES:
Paper submission: October 14, 2013 (23:59 CET)
Notification of paper acceptance or rejection: November 25, 2013
Final version of the paper for the LNCS proceedings: December 2, 2013
Early registration: December 9, 2013
Late registration: February 24, 2014
Starting of the conference: March 10, 2014
End of the conference: March 14, 2014
Submission to the post-conference journal special issue: June 14, 2014
QUESTIONS AND FURTHER INFORMATION:
florentinalilica.voicu@urv.cat
POSTAL ADDRESS:
LATA 2014
Research Group on Mathematical Linguistics (GRLMC)
Rovira i Virgili University
Av. Catalunya, 35
43002 Tarragona, Spain
Phone: +34-977-559543
Fax: +34-977-558386
ACKNOWLEDGEMENTS:
Departament d'Economia i Coneixement, Generalitat de Catalunya
Universidad Complutense de Madrid
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/
*
**********************************************************
Saturday, July 20, 2013
LATA 2014: 1st call for papers
*To be removed from our mailing list, please respond to this message with
UNSUBSCRIBE in the subject line*
*************************************************************************
8th INTERNATIONAL CONFERENCE ON LANGUAGE AND AUTOMATA THEORY AND
APPLICATIONS
LATA 2014
Madrid, Spain
March 10-14, 2014
Organized by:
Research Group on Implementation of Language-Driven Software and
Applications (ILSA)
Complutense University of Madrid
Research Group on Mathematical Linguistics (GRLMC)
Rovira i Virgili University
http://grammars.grlmc.com/lata2014/
*********************************************************************
AIMS:
LATA is a yearly conference on theoretical computer science and its
applications. Following the tradition of the diverse PhD training events in
the field developed at Rovira i Virgili University in Tarragona since 2002,
LATA 2014 will reserve significant room for young scholars at the beginning
of their career. It will aim at attracting contributions from both classical
theory fields and application areas (bioinformatics, language technology,
artificial intelligence, etc.).
VENUE:
LATA 2014 will take place in Madrid, the capital of Spain. The venue will be
the School of Informatics of Complutense University.
SCOPE:
Topics of either theoretical or applied interest include, but are not
limited to:
algebraic language theory
algorithms for semi-structured data mining
algorithms on automata and words
automata and logic
automata for system analysis and programme verification
automata, concurrency and Petri nets
automatic structures
cellular automata
codes
combinatorics on words
compilers
computability
computational complexity
data and image compression
decidability issues on words and languages
descriptional complexity
DNA and other models of bio-inspired computing
digital libraries and document engineering
foundations of finite state technology
foundations of XML
fuzzy and rough languages
grammars (Chomsky hierarchy, contextual, unification, categorial, etc.)
grammatical inference and algorithmic learning
graphs and graph transformation
language varieties and semigroups
language-based cryptography
language-theoretic foundations of artificial intelligence and artificial
life
natural language and speech automatic processing
parallel and regulated rewriting
parsing
patterns
power series
quantum, chemical and optical computing
semantics
string and combinatorial issues in computational biology and bioinformatics
string processing algorithms
symbolic dynamics
symbolic neural networks
term rewriting
transducers
trees, tree languages and tree automata
weighted automata
STRUCTURE:
LATA 2014 will consist of:
invited talks
invited tutorials
peer-reviewed contributions
INVITED SPEAKERS:
to be announced
PROGRAMME COMMITTEE:
Dana Angluin (Yale, US)
Eugene Asarin (Paris Diderot, FR)
Jos Baeten (Amsterdam, NL)
Christel Baier (Dresden, DE)
Jan Bergstra (Amsterdam, NL)
Jin-Yi Cai (Madison, US)
Marek Chrobak (Riverside, US)
Andrea Corradini (Pisa, IT)
Mariangiola Dezani (Turin, IT)
Ding-Zhu Du (Dallas, US)
Michael R. Fellows (Darwin, AU)
Jörg Flum (Freiburg, DE)
Nissim Francez (Technion, IL)
Jürgen Giesl (Aachen, DE)
Annegret Habel (Oldenburg, DE)
Kazuo Iwama (Kyoto, JP)
Sampath Kannan (Philadelphia, US)
Ming-Yang Kao (Northwestern, US)
Deepak Kapur (Albuquerque, US)
Joost-Pieter Katoen (Aachen, DE)
S. Rao Kosaraju (Johns Hopkins, US)
Evangelos Kranakis (Carleton, CA)
Gad M. Landau (Haifa, IL)
Andrzej Lingas (Lund, SE)
Jack Lutz (Iowa State, US)
Ian Mackie (École Polytechnique, FR)
Carlos Martín-Vide (Tarragona, ES, chair)
Giancarlo Mauri (Milan, IT)
Faron G. Moller (Swansea, UK)
Paliath Narendran (Albany, US)
Enno Ohlebusch (Ulm, DE)
Helmut Prodinger (Stellenbosch, ZA)
Jean-François Raskin (Brussels, BE)
Wolfgang Reisig (Humboldt Berlin, DE)
Marco Roveri (Bruno Kessler, Trento, IT)
Michaël Rusinowitch (LORIA, Nancy, FR)
Yasubumi Sakakibara (Keio, JP)
Davide Sangiorgi (Bologna, IT)
Colin Stirling (Edinburgh, UK)
Jianwen Su (Santa Barbara, US)
Jean-Pierre Talpin (IRISA, Rennes, FR)
Andrzej Tarlecki (Warsaw, PL)
Rick Thomas (Leicester, UK)
Sophie Tison (Lille, FR)
Rob van Glabbeek (NICTA, Sydney, AU)
Helmut Veith (Vienna Tech, AT)
ORGANIZING COMMITTEE:
Adrian Horia Dediu (Tarragona)
Ana Fernández-Pampillón (Madrid)
Carlos Martín-Vide (Tarragona, co-chair)
Antonio Sarasa (Madrid)
José-Luis Sierra (Madrid, co-chair)
Bianca Truthe (Magdeburg)
Florentina Lilica Voicu (Tarragona)
SUBMISSIONS:
Authors are invited to submit non-anonymized papers in English presenting
original and unpublished research. Papers should not exceed 12 single-spaced
pages (including eventual appendices) and should be formatted according to
the standard format for Springer Verlag's LNCS series (see
http://www.springer.com/computer/lncs?SGWID=0-164-6-793341-0).
Submissions have to be uploaded to:
https://www.easychair.org/conferences/?conf=lata2014
PUBLICATIONS:
A volume of proceedings published by Springer in the LNCS series will be
available by the time of the conference.
A special issue of a major journal will be later published containing
peer-reviewed extended versions of some of the papers contributed to the
conference. Submissions to it will be by invitation.
REGISTRATION:
The period for registration is open from July 15, 2013 to March 10, 2014.
The registration form can be found at:
http://grammars.grlmc.com/lata2014/Registration.php
DEADLINES:
Paper submission: October 14, 2013 (23:59 CET)
Notification of paper acceptance or rejection: November 25, 2013
Final version of the paper for the LNCS proceedings: December 2, 2013
Early registration: December 9, 2013
Late registration: February 24, 2014
Starting of the conference: March 10, 2014
End of the conference: March 14, 2014
Submission to the post-conference journal special issue: June 14, 2014
QUESTIONS AND FURTHER INFORMATION:
florentinalilica.voicu@urv.cat
POSTAL ADDRESS:
LATA 2014
Research Group on Mathematical Linguistics (GRLMC)
Rovira i Virgili University
Av. Catalunya, 35
43002 Tarragona, Spain
Phone: +34-977-559543
Fax: +34-977-558386
ACKNOWLEDGEMENTS:
Departament d'Economia i Coneixement, Generalitat de Catalunya
Universidad Complutense de Madrid
Universitat Rovira i Virgili
UNSUBSCRIBE in the subject line*
*************************************************************************
8th INTERNATIONAL CONFERENCE ON LANGUAGE AND AUTOMATA THEORY AND
APPLICATIONS
LATA 2014
Madrid, Spain
March 10-14, 2014
Organized by:
Research Group on Implementation of Language-Driven Software and
Applications (ILSA)
Complutense University of Madrid
Research Group on Mathematical Linguistics (GRLMC)
Rovira i Virgili University
http://grammars.grlmc.com/lata2014/
*********************************************************************
AIMS:
LATA is a yearly conference on theoretical computer science and its
applications. Following the tradition of the diverse PhD training events in
the field developed at Rovira i Virgili University in Tarragona since 2002,
LATA 2014 will reserve significant room for young scholars at the beginning
of their career. It will aim at attracting contributions from both classical
theory fields and application areas (bioinformatics, language technology,
artificial intelligence, etc.).
VENUE:
LATA 2014 will take place in Madrid, the capital of Spain. The venue will be
the School of Informatics of Complutense University.
SCOPE:
Topics of either theoretical or applied interest include, but are not
limited to:
algebraic language theory
algorithms for semi-structured data mining
algorithms on automata and words
automata and logic
automata for system analysis and programme verification
automata, concurrency and Petri nets
automatic structures
cellular automata
codes
combinatorics on words
compilers
computability
computational complexity
data and image compression
decidability issues on words and languages
descriptional complexity
DNA and other models of bio-inspired computing
digital libraries and document engineering
foundations of finite state technology
foundations of XML
fuzzy and rough languages
grammars (Chomsky hierarchy, contextual, unification, categorial, etc.)
grammatical inference and algorithmic learning
graphs and graph transformation
language varieties and semigroups
language-based cryptography
language-theoretic foundations of artificial intelligence and artificial
life
natural language and speech automatic processing
parallel and regulated rewriting
parsing
patterns
power series
quantum, chemical and optical computing
semantics
string and combinatorial issues in computational biology and bioinformatics
string processing algorithms
symbolic dynamics
symbolic neural networks
term rewriting
transducers
trees, tree languages and tree automata
weighted automata
STRUCTURE:
LATA 2014 will consist of:
invited talks
invited tutorials
peer-reviewed contributions
INVITED SPEAKERS:
to be announced
PROGRAMME COMMITTEE:
Dana Angluin (Yale, US)
Eugene Asarin (Paris Diderot, FR)
Jos Baeten (Amsterdam, NL)
Christel Baier (Dresden, DE)
Jan Bergstra (Amsterdam, NL)
Jin-Yi Cai (Madison, US)
Marek Chrobak (Riverside, US)
Andrea Corradini (Pisa, IT)
Mariangiola Dezani (Turin, IT)
Ding-Zhu Du (Dallas, US)
Michael R. Fellows (Darwin, AU)
Jörg Flum (Freiburg, DE)
Nissim Francez (Technion, IL)
Jürgen Giesl (Aachen, DE)
Annegret Habel (Oldenburg, DE)
Kazuo Iwama (Kyoto, JP)
Sampath Kannan (Philadelphia, US)
Ming-Yang Kao (Northwestern, US)
Deepak Kapur (Albuquerque, US)
Joost-Pieter Katoen (Aachen, DE)
S. Rao Kosaraju (Johns Hopkins, US)
Evangelos Kranakis (Carleton, CA)
Gad M. Landau (Haifa, IL)
Andrzej Lingas (Lund, SE)
Jack Lutz (Iowa State, US)
Ian Mackie (École Polytechnique, FR)
Carlos Martín-Vide (Tarragona, ES, chair)
Giancarlo Mauri (Milan, IT)
Faron G. Moller (Swansea, UK)
Paliath Narendran (Albany, US)
Enno Ohlebusch (Ulm, DE)
Helmut Prodinger (Stellenbosch, ZA)
Jean-François Raskin (Brussels, BE)
Wolfgang Reisig (Humboldt Berlin, DE)
Marco Roveri (Bruno Kessler, Trento, IT)
Michaël Rusinowitch (LORIA, Nancy, FR)
Yasubumi Sakakibara (Keio, JP)
Davide Sangiorgi (Bologna, IT)
Colin Stirling (Edinburgh, UK)
Jianwen Su (Santa Barbara, US)
Jean-Pierre Talpin (IRISA, Rennes, FR)
Andrzej Tarlecki (Warsaw, PL)
Rick Thomas (Leicester, UK)
Sophie Tison (Lille, FR)
Rob van Glabbeek (NICTA, Sydney, AU)
Helmut Veith (Vienna Tech, AT)
ORGANIZING COMMITTEE:
Adrian Horia Dediu (Tarragona)
Ana Fernández-Pampillón (Madrid)
Carlos Martín-Vide (Tarragona, co-chair)
Antonio Sarasa (Madrid)
José-Luis Sierra (Madrid, co-chair)
Bianca Truthe (Magdeburg)
Florentina Lilica Voicu (Tarragona)
SUBMISSIONS:
Authors are invited to submit non-anonymized papers in English presenting
original and unpublished research. Papers should not exceed 12 single-spaced
pages (including eventual appendices) and should be formatted according to
the standard format for Springer Verlag's LNCS series (see
http://www.springer.com/computer/lncs?SGWID=0-164-6-793341-0).
Submissions have to be uploaded to:
https://www.easychair.org/conferences/?conf=lata2014
PUBLICATIONS:
A volume of proceedings published by Springer in the LNCS series will be
available by the time of the conference.
A special issue of a major journal will be later published containing
peer-reviewed extended versions of some of the papers contributed to the
conference. Submissions to it will be by invitation.
REGISTRATION:
The period for registration is open from July 15, 2013 to March 10, 2014.
The registration form can be found at:
http://grammars.grlmc.com/lata2014/Registration.php
DEADLINES:
Paper submission: October 14, 2013 (23:59 CET)
Notification of paper acceptance or rejection: November 25, 2013
Final version of the paper for the LNCS proceedings: December 2, 2013
Early registration: December 9, 2013
Late registration: February 24, 2014
Starting of the conference: March 10, 2014
End of the conference: March 14, 2014
Submission to the post-conference journal special issue: June 14, 2014
QUESTIONS AND FURTHER INFORMATION:
florentinalilica.voicu@urv.cat
POSTAL ADDRESS:
LATA 2014
Research Group on Mathematical Linguistics (GRLMC)
Rovira i Virgili University
Av. Catalunya, 35
43002 Tarragona, Spain
Phone: +34-977-559543
Fax: +34-977-558386
ACKNOWLEDGEMENTS:
Departament d'Economia i Coneixement, Generalitat de Catalunya
Universidad Complutense de Madrid
Universitat Rovira i Virgili
CFP - Workshops in conjunction with Synasc 2013, 23 - 26 September, Timisoara, Romania
[Please post - apologies for multiple copies.]
Call for papers
---------------
SYNASC 2013
15th International Symposium on
Symbolic and Numeric Algorithms for Scientific Computing
September 23-26, 2013, Timisoara, Romania
http://www.synasc.ro/workshops
Aim
---
SYNASC aims to stimulate the interaction between the two
scientific communities of symbolic and numeric computing
and to exhibit interesting applications of the areas both
in theory and in practice. The choice of the topic is motivated
by the belief of the organizers that the dialogue between
the two communities is very necessary for accelerating the
progress in making the computer a truly intelligent aid for
mathematicians and engineers.
Important Dates for Workshops Submissions
-----------------------------------------
31 July 2013 (Final Deadline) : Paper submission
15 August 2013 : Notification of acceptance
01 September 2013 : Revised papers and registration
23-26 September 2013 : Symposium
30 November 2013 : Final papers for post-proceedings
Submission of papers
--------------------
We invite submissions containing original research results in the form of:
+ full research papers
+ short papers (work in progress)
Papers of up to 8 pages (IEEE conference style http://synasc13.info.uvt.ro/submission),
must be submitted electronically through EasyChair (https://www.easychair.org/conferences/?conf=synasc2013workshops).
Research papers must contain original research results not submitted and not published elsewhere.
Authors who want to present work in progress or discuss new aspects or a survey of their older research results at the workshop are welcome to submit an extended abstract (up to 4 pages).
Papers will be refereed and accepted on the basis of their scientific merit and relevance to the workshop topics.
Publication
-----------
Accepted research papers should be presented at the conference and the best papers will be selected for publication in the post proceedings published by Conference Publishing Services.
Extended versions of the papers accepted and presented at the workshop will be considered for publication as a special issue in the Mathematics and Computer Science Annals of the West University of Timisoara (http://users.math.uvt.ro/~anmath/) or in SCPE – Scalable Computing: Practice and Experience (http://www.scpe.org/).
Workshops
---------
* Workshop on Agents for Complex Systems (ACSys)
http://www.synasc.ro/workshops/acsys-2013/
* Workshop of HPC for scientific problems (HPCSP)
http://host.hpc.uvt.ro/events/hpcsp/
* Workshop on Iterative Approximation of Fixed Points (IAFP)
http://www.synasc.ro/workshops/iafp-2013/
* Workshop on Management of Resources and Services in Cloud and Sky Computing (MICAS)
http://amicas.hpc.uvt.ro/micas-2013/
* Workshop on Natural Computing and Applications (NCA)
http://www.synasc.ro/workshops/nca-2013/
Workshops details: please visit each workshop webpage
-----------
SYNASC 2013
West University of Timisoara
Department of Computer Science
Bd. V. Parvan 4, 300223 Timisoara, Romania
tel: + (40) 256 592155, +(40) 256 592195
fax: + (40) 256 592316, +(40) 256 592380
e-mail: synasc13@synasc.ro
Call for papers
---------------
SYNASC 2013
15th International Symposium on
Symbolic and Numeric Algorithms for Scientific Computing
September 23-26, 2013, Timisoara, Romania
http://www.synasc.ro/workshops
Aim
---
SYNASC aims to stimulate the interaction between the two
scientific communities of symbolic and numeric computing
and to exhibit interesting applications of the areas both
in theory and in practice. The choice of the topic is motivated
by the belief of the organizers that the dialogue between
the two communities is very necessary for accelerating the
progress in making the computer a truly intelligent aid for
mathematicians and engineers.
Important Dates for Workshops Submissions
-----------------------------------------
31 July 2013 (Final Deadline) : Paper submission
15 August 2013 : Notification of acceptance
01 September 2013 : Revised papers and registration
23-26 September 2013 : Symposium
30 November 2013 : Final papers for post-proceedings
Submission of papers
--------------------
We invite submissions containing original research results in the form of:
+ full research papers
+ short papers (work in progress)
Papers of up to 8 pages (IEEE conference style http://synasc13.info.uvt.ro/submission),
must be submitted electronically through EasyChair (https://www.easychair.org/conferences/?conf=synasc2013workshops).
Research papers must contain original research results not submitted and not published elsewhere.
Authors who want to present work in progress or discuss new aspects or a survey of their older research results at the workshop are welcome to submit an extended abstract (up to 4 pages).
Papers will be refereed and accepted on the basis of their scientific merit and relevance to the workshop topics.
Publication
-----------
Accepted research papers should be presented at the conference and the best papers will be selected for publication in the post proceedings published by Conference Publishing Services.
Extended versions of the papers accepted and presented at the workshop will be considered for publication as a special issue in the Mathematics and Computer Science Annals of the West University of Timisoara (http://users.math.uvt.ro/~anmath/) or in SCPE – Scalable Computing: Practice and Experience (http://www.scpe.org/).
Workshops
---------
* Workshop on Agents for Complex Systems (ACSys)
http://www.synasc.ro/workshops/acsys-2013/
* Workshop of HPC for scientific problems (HPCSP)
http://host.hpc.uvt.ro/events/hpcsp/
* Workshop on Iterative Approximation of Fixed Points (IAFP)
http://www.synasc.ro/workshops/iafp-2013/
* Workshop on Management of Resources and Services in Cloud and Sky Computing (MICAS)
http://amicas.hpc.uvt.ro/micas-2013/
* Workshop on Natural Computing and Applications (NCA)
http://www.synasc.ro/workshops/nca-2013/
Workshops details: please visit each workshop webpage
-----------
SYNASC 2013
West University of Timisoara
Department of Computer Science
Bd. V. Parvan 4, 300223 Timisoara, Romania
tel: + (40) 256 592155, +(40) 256 592195
fax: + (40) 256 592316, +(40) 256 592380
e-mail: synasc13@synasc.ro
Thursday, July 18, 2013
[DMANET] Postdoc positions in Lisbon and Lyon
Dear Colleagues,
Please, disseminate the announcement below in your community. Thank
you in advance!
kind regards, Susana Vinga and Marie-France Sagot
---
In the context of a FP7 KBBE European Project, BacHBerry ("BACterial
Hosts for production of Bioactive phenolics from bERRY fruits"), we
are seeking two postdoc candidates, each for one year, possibly
renewable for up to three years. The candidates will work:
- for one, in the CSI team at the IDMEC-IST in Lisbon, Portugal
(http://www.idmec.ist.utl.pt/);
- and for the other, in the BAMBOO team at the Inria-UCBL in Lyon,
France (http://team.inria.fr/bamboo/).
Both teams are methodological with an expertise in computational and
systems biology. Each successful candidate will also interact with the
team in the other country.
This project aims at tapping the potential of living organisms or
systems to develop or make natural chemical compounds that are
believed to be useful for medicine, agriculture, bioremediation,
biodegradation, or etc. Most often, the compound is already produced
by the organism but in small quantity, and one needs then to
manipulate it in order for the production to be increased. Other
situations require transplanting part of the chemical factory of an
organism into another, in general a bacterium, for better efficiency.
In some cases, the transplant might better be split among a community
of different bacteria in interaction.
BacHBerry is more specifically interested in the generation of
bacterial platforms for sustainable bio-based production of phenolic
compounds found in berry fruits. Phenolics are recognised for their
antioxydant health-promoting and functional properties, and applied
accross applications as diverse as aromas, colours, nutraceuticals,
and medicines.
More specifically, we are looking for candidates with a PhD in either
of the following areas: computer science, mathematics, statistics,
computational biology, metabolic engineering, regulation, or related,
with a strong taste for inter-disciplinary research, and with very
good interpersonal skills.
Ideally, the person will have a long experience with optimisation
techniques and:
- for the group in Lisbon, in dynamic models and control theory;
- for the group in Lyon, in graph algorithms and discrete combinatorics.
Unsual CVs are welcome. Knowledge of the portuguese language (Brazil /
Portugal) would also be a plus :-)
Applications should include a motivation letter, a CV, and the address
of three references. The applications should be sent to both:
Susana Vinga, susanavinga@gmail.com
and
Marie-France Sagot, marie-france.sagot@inria.fr
ideally before September 15, 2013.
**********************************************************
*
* Contributions to be spread via DMANET are submitted to
*
* DMANET@zpr.uni-koeln.de
*
* Replies to a message carried on DMANET should NOT be
* addressed to DMANET but to the original sender. The
* original sender, however, is invited to prepare an
* update of the replies received and to communicate it
* via DMANET.
*
* DISCRETE MATHEMATICS AND ALGORITHMS NETWORK (DMANET)
* http://www.zaik.uni-koeln.de/AFS/publications/dmanet/
*
**********************************************************
Please, disseminate the announcement below in your community. Thank
you in advance!
kind regards, Susana Vinga and Marie-France Sagot
---
In the context of a FP7 KBBE European Project, BacHBerry ("BACterial
Hosts for production of Bioactive phenolics from bERRY fruits"), we
are seeking two postdoc candidates, each for one year, possibly
renewable for up to three years. The candidates will work:
- for one, in the CSI team at the IDMEC-IST in Lisbon, Portugal
(http://www.idmec.ist.utl.pt/);
- and for the other, in the BAMBOO team at the Inria-UCBL in Lyon,
France (http://team.inria.fr/bamboo/).
Both teams are methodological with an expertise in computational and
systems biology. Each successful candidate will also interact with the
team in the other country.
This project aims at tapping the potential of living organisms or
systems to develop or make natural chemical compounds that are
believed to be useful for medicine, agriculture, bioremediation,
biodegradation, or etc. Most often, the compound is already produced
by the organism but in small quantity, and one needs then to
manipulate it in order for the production to be increased. Other
situations require transplanting part of the chemical factory of an
organism into another, in general a bacterium, for better efficiency.
In some cases, the transplant might better be split among a community
of different bacteria in interaction.
BacHBerry is more specifically interested in the generation of
bacterial platforms for sustainable bio-based production of phenolic
compounds found in berry fruits. Phenolics are recognised for their
antioxydant health-promoting and functional properties, and applied
accross applications as diverse as aromas, colours, nutraceuticals,
and medicines.
More specifically, we are looking for candidates with a PhD in either
of the following areas: computer science, mathematics, statistics,
computational biology, metabolic engineering, regulation, or related,
with a strong taste for inter-disciplinary research, and with very
good interpersonal skills.
Ideally, the person will have a long experience with optimisation
techniques and:
- for the group in Lisbon, in dynamic models and control theory;
- for the group in Lyon, in graph algorithms and discrete combinatorics.
Unsual CVs are welcome. Knowledge of the portuguese language (Brazil /
Portugal) would also be a plus :-)
Applications should include a motivation letter, a CV, and the address
of three references. The applications should be sent to both:
Susana Vinga, susanavinga@gmail.com
and
Marie-France Sagot, marie-france.sagot@inria.fr
ideally before September 15, 2013.
**********************************************************
*
* Contributions to be spread via DMANET are submitted to
*
* DMANET@zpr.uni-koeln.de
*
* Replies to a message carried on DMANET should NOT be
* addressed to DMANET but to the original sender. The
* original sender, however, is invited to prepare an
* update of the replies received and to communicate it
* via DMANET.
*
* DISCRETE MATHEMATICS AND ALGORITHMS NETWORK (DMANET)
* http://www.zaik.uni-koeln.de/AFS/publications/dmanet/
*
**********************************************************
Wednesday, July 17, 2013
[DMANET] Postdoctoral research associate in integer/computational optimization, SBS (Glasgow, UK)
*Apologies for cross-listing*
POSTDOCTORAL RESEARCH ASSOCIATE IN OPTIMIZATION
STRATHCLYDE BUSINESS SCHOOL, GLASGOW, UK
The Department of Management Science at Strathclyde Business School (Glasgow, UK) seeks a Postdoctoral Research Associate to work in integer and computational optimization. You will work with Dr Kerem Akartunali in the EPSRC-funded project "Multi-Item Production Planning: Theory, Computation and Practice" (EP/L000911/1), and you will join a fast growing research group in optimization including other postdoctoral researchers and a number of PhD students.
The appointment is for 14 months with a start date of 01 October 2013 (the start date is negotiable up to 6 months). The annual salary is in the range of £29,541 - £36,298, and there is generous travel support available from the project budget as well as the department.
In this project, you will do detailed mathematical analysis of some sub-problems apparent in realistic production planning problems and develop novel theory using methods such as polyhedral analysis. Moreover, you will design various algorithms and perform extensive computational experiments, in particular using the High Performance Computing (HPC) facilities available in the university. Finally, you will have an opportunity to work with two industry partners, solving some specific production planning problems from the food & drink industry in cooperation with a software company. Brief summary of the project can be found at:
http://gow.epsrc.ac.uk/NGBOViewGrant.aspx?GrantRef=EP/L000911/1
You have a PhD (or about to complete) in Operational Research, Industrial Engineering, Computer Science, Mathematics, or other relevant discipline. You have fundamental knowledge of theory and practice of integer programming. You have strong programming skills (such as in C, C++) and preferably familiar with optimization software (such as Xpress-MP, Cplex). Familiarity with the production planning/lot-sizing area is a plus but not essential. Experience in HPC is not necessary, as training will be provided.
Glasgow, Scotland's largest city, offers a mix of internationally-acclaimed galleries, fascinating architecture (including masterpieces of Rennie Mackintosh), vibrant nightlife, beautiful city parks, and a diverse range of restaurants.
For application, go to http://vacancies.strath.ac.uk/ and search Job Ref. R66/2013 under 'Research Jobs'. The closing date for applications is 15 August 2013.
For further details about the post and informal enquiries, please contact Dr. Kerem Akartunali, kerem.akartunali@strath.ac.uk; http://www.strath.ac.uk/mansci/staff/akartunalikeremdr/
===============================
Dr. Kerem Akartunali
John Anderson Research Lecturer in Optimisation
Dept. of Management Science
University of Strathclyde
Graham Hills Building, Rm 873
40 George Street
Glasgow G1 1QE
United Kingdom
Tel (work): +44-141-548 4542
Tel (mobile): +44-776-869 5448
Web: http://personal.strath.ac.uk/kerem.akartunali/
===============================
Strathclyde Business School is 8th ranked Business and Management School in the UK!
http://www.guardian.co.uk/education/table/2012/may/22/university-guide-business-management-studies
**********************************************************
*
* Contributions to be spread via DMANET are submitted to
*
* DMANET@zpr.uni-koeln.de
*
* Replies to a message carried on DMANET should NOT be
* addressed to DMANET but to the original sender. The
* original sender, however, is invited to prepare an
* update of the replies received and to communicate it
* via DMANET.
*
* DISCRETE MATHEMATICS AND ALGORITHMS NETWORK (DMANET)
* http://www.zaik.uni-koeln.de/AFS/publications/dmanet/
*
**********************************************************
POSTDOCTORAL RESEARCH ASSOCIATE IN OPTIMIZATION
STRATHCLYDE BUSINESS SCHOOL, GLASGOW, UK
The Department of Management Science at Strathclyde Business School (Glasgow, UK) seeks a Postdoctoral Research Associate to work in integer and computational optimization. You will work with Dr Kerem Akartunali in the EPSRC-funded project "Multi-Item Production Planning: Theory, Computation and Practice" (EP/L000911/1), and you will join a fast growing research group in optimization including other postdoctoral researchers and a number of PhD students.
The appointment is for 14 months with a start date of 01 October 2013 (the start date is negotiable up to 6 months). The annual salary is in the range of £29,541 - £36,298, and there is generous travel support available from the project budget as well as the department.
In this project, you will do detailed mathematical analysis of some sub-problems apparent in realistic production planning problems and develop novel theory using methods such as polyhedral analysis. Moreover, you will design various algorithms and perform extensive computational experiments, in particular using the High Performance Computing (HPC) facilities available in the university. Finally, you will have an opportunity to work with two industry partners, solving some specific production planning problems from the food & drink industry in cooperation with a software company. Brief summary of the project can be found at:
http://gow.epsrc.ac.uk/NGBOViewGrant.aspx?GrantRef=EP/L000911/1
You have a PhD (or about to complete) in Operational Research, Industrial Engineering, Computer Science, Mathematics, or other relevant discipline. You have fundamental knowledge of theory and practice of integer programming. You have strong programming skills (such as in C, C++) and preferably familiar with optimization software (such as Xpress-MP, Cplex). Familiarity with the production planning/lot-sizing area is a plus but not essential. Experience in HPC is not necessary, as training will be provided.
Glasgow, Scotland's largest city, offers a mix of internationally-acclaimed galleries, fascinating architecture (including masterpieces of Rennie Mackintosh), vibrant nightlife, beautiful city parks, and a diverse range of restaurants.
For application, go to http://vacancies.strath.ac.uk/ and search Job Ref. R66/2013 under 'Research Jobs'. The closing date for applications is 15 August 2013.
For further details about the post and informal enquiries, please contact Dr. Kerem Akartunali, kerem.akartunali@strath.ac.uk; http://www.strath.ac.uk/mansci/staff/akartunalikeremdr/
===============================
Dr. Kerem Akartunali
John Anderson Research Lecturer in Optimisation
Dept. of Management Science
University of Strathclyde
Graham Hills Building, Rm 873
40 George Street
Glasgow G1 1QE
United Kingdom
Tel (work): +44-141-548 4542
Tel (mobile): +44-776-869 5448
Web: http://personal.strath.ac.uk/kerem.akartunali/
===============================
Strathclyde Business School is 8th ranked Business and Management School in the UK!
http://www.guardian.co.uk/education/table/2012/may/22/university-guide-business-management-studies
**********************************************************
*
* Contributions to be spread via DMANET are submitted to
*
* DMANET@zpr.uni-koeln.de
*
* Replies to a message carried on DMANET should NOT be
* addressed to DMANET but to the original sender. The
* original sender, however, is invited to prepare an
* update of the replies received and to communicate it
* via DMANET.
*
* DISCRETE MATHEMATICS AND ALGORITHMS NETWORK (DMANET)
* http://www.zaik.uni-koeln.de/AFS/publications/dmanet/
*
**********************************************************
[DMANET] PhD positions in Lisbon and Lyon
In the context of a FP7 KBBE European Project, BacHBerry ("BACterial Hosts for production of Bioactive phenolics from bERRY fruits"), we are seeking two PhD candidates. The candidates will work:
- for one, in the CSI team at the IDMEC-IST in Lisbon, Portugal (http://www.idmec.ist.utl.pt/);
- and for the other, in the BAMBOO team at the Inria-UCBL in Lyon, France (http://team.inria.fr/bamboo/).
Both teams are methodological with an expertise in computational and systems biology. Each successful candidate will also interact with the team in the other country.
This project aims at tapping the potential of living organisms or systems to develop or make natural chemical compounds that are believed to be useful for medicine, agriculture, bioremediation, biodegradation, or etc. Most often, the compound is already produced by the organism but in small quantity, and one needs then to manipulate it in order for the production to be increased. Other situations require transplanting part of the chemical factory of an organism into another, in general a bacterium, for better efficiency. In some cases, the transplant might better be split among a community of different bacteria in interaction.
BacHBerry is more specifically interested in the generation of bacterial platforms for sustainable bio-based production of phenolic compounds found in berry fruits. Phenolics are recognised for their antioxydant health-promoting and functional properties, and applied accross applications as diverse as aromas, colours, nutraceuticals, and medicines.
More specifically, we are looking for candidates with a Master in either of the following areas: computer science, mathematics, statistics, computational biology, metabolic engineering, regulation, or related, with a strong taste for inter-disciplinary research, and with very good interpersonal skills.
Ideally, the person will have some experience with optimisation techniques and/or:
- for the group in Lisbon, in dynamic models, control theory or machine learning;
- for the group in Lyon, in computational biology, graph algorithms or statistics.
Both PhD students will be in co-supervision between the Portuguese and French teams, with plenty of opportunities to travel between the two countries.
Unsual CVs are welcome. Knowledge of the portuguese language (Brazil / Portugal) would also be a plus :-)
Applications should include a motivation letter, a CV, copies of the relevant certificates, and the address of three references. The applications should be sent to both:
Susana Vinga, susanavinga@gmail.com
and
Marie-France Sagot, marie-france.sagot@inria.fr
ideally before August 15, 2013.
**********************************************************
*
* Contributions to be spread via DMANET are submitted to
*
* DMANET@zpr.uni-koeln.de
*
* Replies to a message carried on DMANET should NOT be
* addressed to DMANET but to the original sender. The
* original sender, however, is invited to prepare an
* update of the replies received and to communicate it
* via DMANET.
*
* DISCRETE MATHEMATICS AND ALGORITHMS NETWORK (DMANET)
* http://www.zaik.uni-koeln.de/AFS/publications/dmanet/
*
**********************************************************
- for one, in the CSI team at the IDMEC-IST in Lisbon, Portugal (http://www.idmec.ist.utl.pt/);
- and for the other, in the BAMBOO team at the Inria-UCBL in Lyon, France (http://team.inria.fr/bamboo/).
Both teams are methodological with an expertise in computational and systems biology. Each successful candidate will also interact with the team in the other country.
This project aims at tapping the potential of living organisms or systems to develop or make natural chemical compounds that are believed to be useful for medicine, agriculture, bioremediation, biodegradation, or etc. Most often, the compound is already produced by the organism but in small quantity, and one needs then to manipulate it in order for the production to be increased. Other situations require transplanting part of the chemical factory of an organism into another, in general a bacterium, for better efficiency. In some cases, the transplant might better be split among a community of different bacteria in interaction.
BacHBerry is more specifically interested in the generation of bacterial platforms for sustainable bio-based production of phenolic compounds found in berry fruits. Phenolics are recognised for their antioxydant health-promoting and functional properties, and applied accross applications as diverse as aromas, colours, nutraceuticals, and medicines.
More specifically, we are looking for candidates with a Master in either of the following areas: computer science, mathematics, statistics, computational biology, metabolic engineering, regulation, or related, with a strong taste for inter-disciplinary research, and with very good interpersonal skills.
Ideally, the person will have some experience with optimisation techniques and/or:
- for the group in Lisbon, in dynamic models, control theory or machine learning;
- for the group in Lyon, in computational biology, graph algorithms or statistics.
Both PhD students will be in co-supervision between the Portuguese and French teams, with plenty of opportunities to travel between the two countries.
Unsual CVs are welcome. Knowledge of the portuguese language (Brazil / Portugal) would also be a plus :-)
Applications should include a motivation letter, a CV, copies of the relevant certificates, and the address of three references. The applications should be sent to both:
Susana Vinga, susanavinga@gmail.com
and
Marie-France Sagot, marie-france.sagot@inria.fr
ideally before August 15, 2013.
**********************************************************
*
* Contributions to be spread via DMANET are submitted to
*
* DMANET@zpr.uni-koeln.de
*
* Replies to a message carried on DMANET should NOT be
* addressed to DMANET but to the original sender. The
* original sender, however, is invited to prepare an
* update of the replies received and to communicate it
* via DMANET.
*
* DISCRETE MATHEMATICS AND ALGORITHMS NETWORK (DMANET)
* http://www.zaik.uni-koeln.de/AFS/publications/dmanet/
*
**********************************************************
[DMANET] Late registration for PCC 2013
-------------------------------------------------------------------------------------------------------------
23rd Postgraduate Combinatorial Conference
14th-16th August 2013, Royal Holloway, University of London, UK
-------------------------------------------------------------------------------------------------------------
Late registration (£40) for the Postgraduate combinatorial conference
at Royal Holloway, University of London (14th-16th August) is still
available, but if you
will require accommodation when attending (£130), you will need to
register in the next few days.
http://www.rhul.ac.uk/mathematics/events/eventsarticles/postgraduatecombinatorialconference%28pcc%29.aspx
An LMS grant will allow us to cover travel costs of students to the
conference (up to a reasonable limit).
-------------------------------------------------------------------------------------------------------------
The British Combinatorial Committee is a charity registered in
Scotland, number SC019723
**********************************************************
*
* 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/
*
**********************************************************
23rd Postgraduate Combinatorial Conference
14th-16th August 2013, Royal Holloway, University of London, UK
-------------------------------------------------------------------------------------------------------------
Late registration (£40) for the Postgraduate combinatorial conference
at Royal Holloway, University of London (14th-16th August) is still
available, but if you
will require accommodation when attending (£130), you will need to
register in the next few days.
http://www.rhul.ac.uk/mathematics/events/eventsarticles/postgraduatecombinatorialconference%28pcc%29.aspx
An LMS grant will allow us to cover travel costs of students to the
conference (up to a reasonable limit).
-------------------------------------------------------------------------------------------------------------
The British Combinatorial Committee is a charity registered in
Scotland, number SC019723
**********************************************************
*
* 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, July 15, 2013
[DMANET] Groups St Andrews: Deadline extended
Dear Colleagues
The final deadline for booking university accommodation at Groups St Andrews has been extended to 5pm (BST) this WEDNESDAY, 17TH JULY. It will still be possible to register after that, but accommodation options in town may be very limited.
We have also extended the deadline for submitting an abstract for a contributed talk to this FRIDAY, 19TH JULY.
The conference website is here: http://www.groupsstandrews.org/2013/index.shtml
Further details about the conference are at the end of this message.
Best wishes
The Organisers
(Colin Campbell, Max Neunhoeffer, Martyn Quick, Edmund Robertson and Colva Roney-Dougal)
*************
Principal Speakers:
Emmanuel Breuillard: Approximate groups
Martin Liebeck: Width questions for simple groups
Alan Reid: Profinite properties of discrete groups
Karen Vogtmann: Out(F_n), GL(n,Z) and everything in between: automorphism groups of right-angled Artin groups
One Hour Speakers:
Radha Kessar: Finiteness conjectures in modular representation theory
Markus Lohrey: Rational subsets in groups
Derek Robinson: Recent Results on Generalized Baumslag-Solitar Groups
Christopher Voll: Zeta functions of groups and rings: recent developments
Over 100 contributed talks so far!
In addition, there will be an extensive social programme, including an excursion to Falkland Palace, a Musical Evening, and much more.
The University of St Andrews is a charity registered in Scotland : No SC013532
**********************************************************
*
* Contributions to be spread via DMANET are submitted to
*
* DMANET@zpr.uni-koeln.de
*
* Replies to a message carried on DMANET should NOT be
* addressed to DMANET but to the original sender. The
* original sender, however, is invited to prepare an
* update of the replies received and to communicate it
* via DMANET.
*
* DISCRETE MATHEMATICS AND ALGORITHMS NETWORK (DMANET)
* http://www.zaik.uni-koeln.de/AFS/publications/dmanet/
*
**********************************************************
The final deadline for booking university accommodation at Groups St Andrews has been extended to 5pm (BST) this WEDNESDAY, 17TH JULY. It will still be possible to register after that, but accommodation options in town may be very limited.
We have also extended the deadline for submitting an abstract for a contributed talk to this FRIDAY, 19TH JULY.
The conference website is here: http://www.groupsstandrews.org/2013/index.shtml
Further details about the conference are at the end of this message.
Best wishes
The Organisers
(Colin Campbell, Max Neunhoeffer, Martyn Quick, Edmund Robertson and Colva Roney-Dougal)
*************
Principal Speakers:
Emmanuel Breuillard: Approximate groups
Martin Liebeck: Width questions for simple groups
Alan Reid: Profinite properties of discrete groups
Karen Vogtmann: Out(F_n), GL(n,Z) and everything in between: automorphism groups of right-angled Artin groups
One Hour Speakers:
Radha Kessar: Finiteness conjectures in modular representation theory
Markus Lohrey: Rational subsets in groups
Derek Robinson: Recent Results on Generalized Baumslag-Solitar Groups
Christopher Voll: Zeta functions of groups and rings: recent developments
Over 100 contributed talks so far!
In addition, there will be an extensive social programme, including an excursion to Falkland Palace, a Musical Evening, and much more.
The University of St Andrews is a charity registered in Scotland : No SC013532
**********************************************************
*
* 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] TPNC 2013: extended submission deadline 23 July
*To be removed from our mailing list, please respond to this message with UNSUBSCRIBE in the subject line*
----------------------------------------------------------------------------------------------------
SUBMISSION DEADLINE EXTENDED: July 23 !!!
----------------------------------------------------------------------------------------------------
*************************************************************************
2nd INTERNATIONAL CONFERENCE ON THE THEORY AND PRACTICE OF NATURAL COMPUTING
TPNC 2013
Cáceres, Spain
December 3-5, 2013
Organized by:
Computer Architecture and Logic Design Group (ARCO)
University of Extremadura
Research Group on Mathematical Linguistics (GRLMC)
Rovira i Virgili University
http://grammars.grlmc.com/tpnc2013/
*********************************************************************
AIMS:
TPNC is a conference series intending to cover the wide spectrum of computational principles, models and techniques inspired by information processing in nature. TPNC 2013 will reserve significant room for young scholars at the beginning of their career. It aims at attracting contributions to nature-inspired models of computation, synthesizing nature by means of computation, nature-inspired materials, and information processing in nature.
VENUE:
TPNC 2013 will take place in Cáceres, in Western Spain, 300 kms. to the southwest of Madrid and 100 kms. to the Portuguese border. The old city is a UNESCO World Heritage site.
SCOPE:
Topics of either theoretical, experimental, or applied interest include, but are not limited to:
* Nature-inspired models of computation:
- amorphous computing
- cellular automata
- chaos and dynamical systems based computing
- evolutionary computing
- membrane computing
- neural computing
- optical computing
- swarm intelligence
* Synthesizing nature by means of computation:
- artificial chemistry
- artificial immune systems
- artificial life
* Nature-inspired materials:
- computing with DNA
- nanocomputing
- physarum computing
- quantum computing and quantum information
- reaction-diffusion computing
* Information processing in nature:
- developmental systems
- fractal geometry
- gene assembly in unicellular organisms
- rough/fuzzy computing in nature
- synthetic biology
- systems biology
* Applications of natural computing to: algorithms, bioinformatics, control, cryptography, design, economics, graphics, hardware, learning, logistics, optimization, pattern recognition, programming, robotics, telecommunications etc.
A flexible "theory to/from practice" approach would be the perfect focus for the expected contributions.
STRUCTURE:
TPNC 2013 will consist of:
‐ invited talks
‐ invited tutorials
‐ peer-reviewed contributions
INVITED SPEAKERS:
Risto Miikkulainen (Austin), Evolving Neural Networks (tutorial)
Yew-Soon Ong (Singapore), Advances in Memetic Computation
Xin Yao (Birmingham), Evolutionary Algorithm Portfolios for Numerical Optimisation
PROGRAMME COMMITTEE:
Selim G. Akl (Kingston, CA)
Thomas Bäck (Leiden, NL)
Peter J. Bentley (London, UK)
Hans-Georg Beyer (Dornbirn, AT)
Mauro Birattari (Brussels, BE)
Jinde Cao (Nanjing, CN)
Vladimir Cherkassky (Minneapolis, US)
Sung-Bae Cho (Seoul, KR)
John A. Clark (York, UK)
Carlos A. Coello Coello (Mexico DF, MX)
David W. Corne (Edinburgh, UK)
Peter Dayan (London, UK)
Bernard De Baets (Ghent, BE)
Andries P. Engelbrecht (Pretoria, ZA)
Enrique Herrera-Viedma (Granada, ES)
Yaochu Jin (Guildford, UK)
Nikola Kasabov (Auckland, NZ)
Vladik Kreinovich (El Paso, US)
Kwong-Sak Leung (Hong Kong, CN)
Xiaohui Liu (London, UK)
Manuel Lozano (Granada, ES)
Carlos Martín-Vide (Tarragona, ES, chair)
Julian F. Miller (York, UK)
Frank Neumann (Adelaide, AU)
Leandro Nunes de Castro (São Paulo, BR)
Nikhil R. Pal (Kolkata, IN)
Günther Palm (Ulm, DE)
José Carlos Príncipe (Gainesville, US)
Helge Ritter (Bielefeld, DE)
Conor Ryan (Limerick, IE)
Hava Siegelmann (Amherst, US)
Moshe Sipper (Beer-Sheva, IL)
Thomas Stützle (Brussels, BE)
Ponnuthurai N. Suganthan (Singapore, SG)
Johan Suykens (Leuven, BE)
Kay Chen Tan (Singapore, SG)
Dacheng Tao (Sydney, AU)
Jon Timmis (York, UK)
Marco Tomassini (Lausanne, CH)
Michael D. Vose (Knoxville, US)
Michael N. Vrahatis (Patras, GR)
Harald Weinfurter (Munich, DE)
Rolf Würtz (Bochum, DE)
Jun Zhang (Guangzhou, CN)
ORGANIZING COMMITTEE:
Adrian Horia Dediu (Tarragona)
Carlos Martín-Vide (Tarragona, co-chair)
Bianca Truthe (Magdeburg)
Miguel A. Vega-Rodríguez (Cáceres, co-chair)
Florentina Lilica Voicu (Tarragona)
LOCAL COMMITTEE:
Víctor Berrocal-Plaza
José M. Chaves-González
Juan A. Gómez-Pulido
David L. González-Álvarez
José M. Granado-Criado
Alejandro Hidalgo-Paniagua
José M. Lanza-Gutiérrez
Álvaro Rubio-Largo
Sergio Santander-Jiménez
Miguel A. Vega-Rodríguez (chair)
SUBMISSIONS:
Authors are invited to submit non-anonymized papers in English presenting original and unpublished research. Papers should not exceed 12 single-spaced pages (including eventual appendices) and should be formatted according to the standards of the Springer Verlag's LNCS series (see http://www.springer.com/computer/lncs?SGWID=0-164-6-793341-0).
Submissions have to be uploaded to:
https://www.easychair.org/conferences/?conf=tpnc2013
PUBLICATIONS:
A volume of proceedings published by Springer in the LNCS series will be available by the time of the conference.
A special issue of the journal Soft Computing (Springer, 2011 impact factor: 1.880) will be later published containing peer-reviewed extended versions of some of the papers contributed to the conference. Submissions to it will be by invitation.
REGISTRATION:
The period for registration is open from April 17 to December 3, 2013. The registration form can be found at:
http://grammars.grlmc.com/tpnc2013/Registration
DEADLINES:
Paper submission: July 23, 2013 (23:59h, CET) – EXTENDED –
Notification of paper acceptance or rejection: August 27, 2013
Final version of the paper for the LNCS proceedings: September 3, 2013
Early registration: September 10, 2013
Late registration: November 19, 2013
Starting of the conference: December 3, 2013
End of the conference: December 5, 2013
Submission to the post-conference special issue: March 5, 2014
QUESTIONS AND FURTHER INFORMATION:
florentinalilica.voicu@urv.cat
POSTAL ADDRESS:
TPNC 2013
Research Group on Mathematical Linguistics (GRLMC)
Rovira i Virgili University
Av. Catalunya, 35
43002 Tarragona, Spain
Phone: +34-977-559543
Fax: +34-977-558386
ACKNOWLEDGEMENTS:
Departament d'Economia i Coneixement, Generalitat de Catalunya
Diputación de Cáceres
Universidad de Extremadura
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] COST Workshop on MINLP 2013 (CWMINLP13)
COST Workshop on MINLP 2013 (CWMINLP13)
---------------------------------------
Sept. 30 to Oct. 2, 2013
Institut Henri Poincare, Paris, France
Mixed-Integer Nonlinear Programming (MINLP) is concerned with finding
optimal solutions of optimization problems involving continuous and
integer variables, as well as nonlinear terms in the objective
function and constraints.
The EU COST Action TD1207 "Mathematical Optimization in the Decision
Support Systems for Efficient and Robust Energy Networks" sponsors the
event, so the broad topic of energy networks is one that we plan
to emphasize at the workshop.
Call for posters: if you want to present a poster, please send:
author names, title and a short abstract (max 1 page) to
cwminlp@gmail.com.
To register, just send your name and affiliation to cwminlp@gmail.com
There is no registration fee.
Confirmed invited speakers so far:
Amir AHMADI (IBM Research, USA)
Aysegul ALTIN (TOBB University, Turkey)
Immanuel BOMZE (Universitaet Wien, Austria)
Christoph BUCHHEIM (TU Dortmund, Germany)
Sonia CAFIERI (Ecole Nationale de l'Aviation Civile, France)
Emilio CARRIZOSA (Universidad de Sevilla, Spain)
Sandrine CHAROUSSET (Electricite` de France)
Antonio FRANGIONI (Universita` di Pisa, Italy)
Joao GOUVEIA (Universidade de Coimbra, Portugal)
Christoph HELMBERG (TU Chemnitz, Germany)
Christian KIRCHES (Universitaet Heidelberg, Germany)
James LUEDTKE (University of Winsconsin-Madison, USA)
Martin MEVISSEN (IBM Research, Ireland)
Ruth MISENER (Imperial College London, UK)
Shmuel ONN (Israel Institute of Technology)
Frederic ROUPIN (Universite de Paris 13, France)
Nikolaos SAHINIDIS (Carnegie-Mellon University, USA)
Stefan VIGERSKE (GAMS)
Julius ZILINSKAS (Vilnius University, Lithuania)
Program/organizing Committee:
Andrea Cassioli (Ecole Polytechnique, France)
Claudia D'Ambrosio (CNRS & Ecole Polytechnique, France) -- co-chair
Gustavo Dias (Ecole Polytechnique, France)
Thorsten Koch (Zuze-Institut Berlin, Germany)
Jon Lee (University of Michigan, USA)
Leo Liberti (Ecole Polytechnique, France & IBM Research, USA) -- co-chair
Andrea Lodi (Universita` di Bologna, Italy)
Sebastian Sager (Universitaet Magdeburg, Germany)
Angelika Wiegele (Alpen-Adria-Universitaet, Austria)
For more information: https://sites.google.com/site/cwminlp13/
Email: cwminlp@gmail.com
Supported by:
- EU COST action TD1207 (Mathematical Optimization in the Decision
Support Systems for Efficient and Robust Energy Networks)
http://www.cost.eu/domains_actions/ict/Actions/TD1207
- Institut Henri Poincare (ihp.fr)
The CWMINLP13 will be followed by a related workshop (Optimization and
energy) organized by the "Programme Gaspard Monge pour l'Optimization"
(PGMO) on 3-4 Oct. 2013 at the Ecole Nationale Superieure de
Techniques Avancees (ENSTA), on the campus of Ecole Polytechnique
(http://www.fondation-hadamard.fr/pgmo/conferences/2013).
Participants to CWMINLP13 are encouraged to attend.
**********************************************************
*
* 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/
*
**********************************************************
---------------------------------------
Sept. 30 to Oct. 2, 2013
Institut Henri Poincare, Paris, France
Mixed-Integer Nonlinear Programming (MINLP) is concerned with finding
optimal solutions of optimization problems involving continuous and
integer variables, as well as nonlinear terms in the objective
function and constraints.
The EU COST Action TD1207 "Mathematical Optimization in the Decision
Support Systems for Efficient and Robust Energy Networks" sponsors the
event, so the broad topic of energy networks is one that we plan
to emphasize at the workshop.
Call for posters: if you want to present a poster, please send:
author names, title and a short abstract (max 1 page) to
cwminlp@gmail.com.
To register, just send your name and affiliation to cwminlp@gmail.com
There is no registration fee.
Confirmed invited speakers so far:
Amir AHMADI (IBM Research, USA)
Aysegul ALTIN (TOBB University, Turkey)
Immanuel BOMZE (Universitaet Wien, Austria)
Christoph BUCHHEIM (TU Dortmund, Germany)
Sonia CAFIERI (Ecole Nationale de l'Aviation Civile, France)
Emilio CARRIZOSA (Universidad de Sevilla, Spain)
Sandrine CHAROUSSET (Electricite` de France)
Antonio FRANGIONI (Universita` di Pisa, Italy)
Joao GOUVEIA (Universidade de Coimbra, Portugal)
Christoph HELMBERG (TU Chemnitz, Germany)
Christian KIRCHES (Universitaet Heidelberg, Germany)
James LUEDTKE (University of Winsconsin-Madison, USA)
Martin MEVISSEN (IBM Research, Ireland)
Ruth MISENER (Imperial College London, UK)
Shmuel ONN (Israel Institute of Technology)
Frederic ROUPIN (Universite de Paris 13, France)
Nikolaos SAHINIDIS (Carnegie-Mellon University, USA)
Stefan VIGERSKE (GAMS)
Julius ZILINSKAS (Vilnius University, Lithuania)
Program/organizing Committee:
Andrea Cassioli (Ecole Polytechnique, France)
Claudia D'Ambrosio (CNRS & Ecole Polytechnique, France) -- co-chair
Gustavo Dias (Ecole Polytechnique, France)
Thorsten Koch (Zuze-Institut Berlin, Germany)
Jon Lee (University of Michigan, USA)
Leo Liberti (Ecole Polytechnique, France & IBM Research, USA) -- co-chair
Andrea Lodi (Universita` di Bologna, Italy)
Sebastian Sager (Universitaet Magdeburg, Germany)
Angelika Wiegele (Alpen-Adria-Universitaet, Austria)
For more information: https://sites.google.com/site/cwminlp13/
Email: cwminlp@gmail.com
Supported by:
- EU COST action TD1207 (Mathematical Optimization in the Decision
Support Systems for Efficient and Robust Energy Networks)
http://www.cost.eu/domains_actions/ict/Actions/TD1207
- Institut Henri Poincare (ihp.fr)
The CWMINLP13 will be followed by a related workshop (Optimization and
energy) organized by the "Programme Gaspard Monge pour l'Optimization"
(PGMO) on 3-4 Oct. 2013 at the Ecole Nationale Superieure de
Techniques Avancees (ENSTA), on the campus of Ecole Polytechnique
(http://www.fondation-hadamard.fr/pgmo/conferences/2013).
Participants to CWMINLP13 are encouraged to attend.
**********************************************************
*
* 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] BDA 2013 --- last call for submissions
*** Apologies for multiple messages ***
==================================================
The 1st Workshop on Biological Distributed Algorithms (BDA 2013)
14 October 2013, Jerusalem, Israel – in conjunction with DISC 2013
http://www.disc-conference.org/wp/bda2013/
==================================================
Distributed systems are prevalent in computer science and biology.
Both domains rely on networks of interacting entities to reach joint
decisions, coordinate and respond to inputs. Both also share several
other attributes including the use of randomization, the ability to
successfully handle failures and attacks, and reusing certain
components and ideas in multiple processes or algorithms.
These observations, some dating back to the 60s, have inspired the
development of several computational methods including neural networks
and genetic algorithms. However, until recently little thought has
been given to the specific connections between information processing
in biology and the field of distributed computing.
In this workshop we intend to focus on these connections.
Specifically, our goal is to highlight that thinking computationally
about the settings, requirements and goals of information processing
in biological networks can both, improve our understanding of the
underlying biology and lead to the development of novel computational
methods providing solutions to specific distributed computing
problems. Topics include but are not limited to:
- Communication models inspired by biological systems
- Coordination in cell fate determination
- Interactions in ant colonies
- The design and usage of networks in the brain
- Adaptability of networks to changing environments
- Robustness of networks to attacks and failures
- Synchronization
While we anticipate a wide range of topics, both from the biological
and from the computational point of view, we expect the submitted
papers to identify a specific biological system or process and a
corresponding computational problem on which they base their work.
===========
SUBMISSIONS
===========
We solicit submissions describing recent results relevant to
biological distributed computing. We especially welcome papers
describing new insights and / or case studies regarding the
relationship between distributed computing and biological systems even
if these are not fully formed. Since a major goal of the workshop is
to explore new directions and approaches, we especially encourage the
submission of ongoing work. Selected contributors would be asked to
present, discuss and defend their work at the workshop. Submissions
should be in PDF and include title, author information, and a 4-page
extended abstract.
Please use the following EasyChair submission link:
https://www.easychair.org/conferences/?conf=bda20131
Note: The workshop will not include published proceedings. In
particular, we welcome submissions of papers describing work that has
appeared or is expected to appear in other venues.
===============
IMPORTANT DATES (notice the changes from the previous announcement)
===============
17 July 2013 – Paper submission deadline
11 August 2013 – Decision notifications
14 October 2013 – Workshop
================
INVITED SPEAKERS
================
Uri Alon – Weizmann Institute
Ziv Bar-Joseph – CMU
Yuval Emek – ETH Zurich
Jasmine Fischer – Microsoft Research UK
Ofer Feinerman – Weizmann Institute
Amos Korman – CNRS and University of Paris Diderot
===================
PROGRAM COMMITTEE
===================
Ziv Bar-Joseph – CMU (Co-chair)
Yuval Emek – ETH Zurich (Co-chair)
Amos Korman – CNRS and University of Paris Diderot (Co-chair)
Naomi Leonard – Princeton
Nancy Lynch – MIT
Saket Navlakha – CMU
Roger Wattenhofer – ETH Zurich
--
Dr. Yuval Emek
Distributed Computing Group
TIK Laboratory, ETH Zurich
Gloriastrasse 35
8092 Zurich
Switzerland
+41 44 632 7974
yuval.emek@tik.ee.ethz.ch
http://www.disco.ethz.ch/members/yuval.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/
*
**********************************************************
==================================================
The 1st Workshop on Biological Distributed Algorithms (BDA 2013)
14 October 2013, Jerusalem, Israel – in conjunction with DISC 2013
http://www.disc-conference.org/wp/bda2013/
==================================================
Distributed systems are prevalent in computer science and biology.
Both domains rely on networks of interacting entities to reach joint
decisions, coordinate and respond to inputs. Both also share several
other attributes including the use of randomization, the ability to
successfully handle failures and attacks, and reusing certain
components and ideas in multiple processes or algorithms.
These observations, some dating back to the 60s, have inspired the
development of several computational methods including neural networks
and genetic algorithms. However, until recently little thought has
been given to the specific connections between information processing
in biology and the field of distributed computing.
In this workshop we intend to focus on these connections.
Specifically, our goal is to highlight that thinking computationally
about the settings, requirements and goals of information processing
in biological networks can both, improve our understanding of the
underlying biology and lead to the development of novel computational
methods providing solutions to specific distributed computing
problems. Topics include but are not limited to:
- Communication models inspired by biological systems
- Coordination in cell fate determination
- Interactions in ant colonies
- The design and usage of networks in the brain
- Adaptability of networks to changing environments
- Robustness of networks to attacks and failures
- Synchronization
While we anticipate a wide range of topics, both from the biological
and from the computational point of view, we expect the submitted
papers to identify a specific biological system or process and a
corresponding computational problem on which they base their work.
===========
SUBMISSIONS
===========
We solicit submissions describing recent results relevant to
biological distributed computing. We especially welcome papers
describing new insights and / or case studies regarding the
relationship between distributed computing and biological systems even
if these are not fully formed. Since a major goal of the workshop is
to explore new directions and approaches, we especially encourage the
submission of ongoing work. Selected contributors would be asked to
present, discuss and defend their work at the workshop. Submissions
should be in PDF and include title, author information, and a 4-page
extended abstract.
Please use the following EasyChair submission link:
https://www.easychair.org/conferences/?conf=bda20131
Note: The workshop will not include published proceedings. In
particular, we welcome submissions of papers describing work that has
appeared or is expected to appear in other venues.
===============
IMPORTANT DATES (notice the changes from the previous announcement)
===============
17 July 2013 – Paper submission deadline
11 August 2013 – Decision notifications
14 October 2013 – Workshop
================
INVITED SPEAKERS
================
Uri Alon – Weizmann Institute
Ziv Bar-Joseph – CMU
Yuval Emek – ETH Zurich
Jasmine Fischer – Microsoft Research UK
Ofer Feinerman – Weizmann Institute
Amos Korman – CNRS and University of Paris Diderot
===================
PROGRAM COMMITTEE
===================
Ziv Bar-Joseph – CMU (Co-chair)
Yuval Emek – ETH Zurich (Co-chair)
Amos Korman – CNRS and University of Paris Diderot (Co-chair)
Naomi Leonard – Princeton
Nancy Lynch – MIT
Saket Navlakha – CMU
Roger Wattenhofer – ETH Zurich
--
Dr. Yuval Emek
Distributed Computing Group
TIK Laboratory, ETH Zurich
Gloriastrasse 35
8092 Zurich
Switzerland
+41 44 632 7974
yuval.emek@tik.ee.ethz.ch
http://www.disco.ethz.ch/members/yuval.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] CFP: IJAHUC_ Special Issue on "Emerging Technologies for Ubiquitous Communications, Computing and Applications in Ad-hoc Networks"
Call for Papers
International Journal of Ad Hoc and Ubiquitous Computing Special Issue
on Emerging Technologies for Ubiquitous Communications, Computing and
Applications in Ad-hoc Networks
International Journal of Ad Hoc and Ubiquitous Computing Special Issue
on Emerging Technologies for Ubiquitous Communications, Computing and
Applications in Ad-hoc Networks
Guest Editors:
Dr. Chih-Yung Chang, Dept. CSIE, Tamkang University, Taiwan
Email: cychang@mail.tku.edu.tw
Dr. Zhangdui Zhong, State Key Lab. of Rail Traffic Control and Safety,
Beijing Jiaotong University, China
Email: zhdzhong@bjtu.edu.cn
Dr. Wen-Hwa Liao, Department of Information Management, Tatung
University, Taiwan
Email: whliao@ttu.edu.tw
Wireless communications and ubiquitous computing in ad-hoc networks
have received considerable attention in literature. In general,
wireless sensor networks, vehicular ad-hoc networks as well as
wireless social networks can be treated as ad-hoc networks with
different constraints. The ubiquitous computing developed based on
ad-hoc networks further supports human for information access at any
time and any place. However, ubiquitous computing in ad-hoc networks
faces various challenges like network scalability, energy limitation,
inaccurate location information, interoperability, connectivity and
security. Emerging technologies that improve the efficiency of
ubiquitous computing include distributed computing, embedded system,
mobile computing, wearable computers, and so forth.
This special issue seeks original and high quality contributions such
as work in progress and experimental and theoretical research in
Emerging Technologies for Ubiquitous Communications, Computing and
Applications in Ad-hoc Networks. Topics of interest include, but are
not limited to:
-Hardware and Architecture for MANETs and WSNs
-Protocol and Algorithm Designs for MANETs, WSNs or VANETs
-Ubiquitous Computing for Ad-hoc Networks
-Power Aware and Energy Efficient Design for MANETs or WSNs
-Security, Privacy and Trust for MANETs or VANETs
-Distributed Technologies for Ubiquitous Computing
-Resource Allocation for MANETs and VANETs
-Routing protocols for Ad-hoc Wireless Networks
-Simulation, Modeling and Analysis for Ad-hoc Wireless Networks
-Services and Applications for Ad-hoc Wireless Networks
Submitted papers should not have been previously published and not
be currently under consideration for publication elsewhere. All papers
must be submitted online. To submit a paper, please read our
information on http://www.inderscience.com/info/inauthors/author_submit.php.
Important Dates:
Submission Deadline: Nov. 30, 2013
First Round of Review: Feb. 28, 2014
Notification of Acceptance: May 30, 2014
Publication Date: Tentative
--
Best regards,
===============================================
Tzu-Lin Wang (王姿琳), PhD. student
Department of Computer Science and Information Engineering
Tamkang University
No.151, Yingzhuan Rd., Danshui Dist., New Taipei City 25137, Taiwan (R.O.C.)
**********************************************************
*
* Contributions to be spread via DMANET are submitted to
*
* DMANET@zpr.uni-koeln.de
*
* Replies to a message carried on DMANET should NOT be
* addressed to DMANET but to the original sender. The
* original sender, however, is invited to prepare an
* update of the replies received and to communicate it
* via DMANET.
*
* DISCRETE MATHEMATICS AND ALGORITHMS NETWORK (DMANET)
* http://www.zaik.uni-koeln.de/AFS/publications/dmanet/
*
**********************************************************
[DMANET] CfP: Distributed Cloud Computing
CALL FOR PAPERS (Deadline extended by one week!)
Workshop on
Distributed Cloud Computing (DCC)
https://sites.google.com/site/dcc2013workshop/
held in Dresden, Germany
December 9-12
co-located with 6th IEEE/ACM International Conference on Utility and Cloud
Computing (UCC)
DATES
Submissions due: 28 July 2013
Notification of acceptance: 10 September 2013
Camera-ready papers due: 27 September 2013
WORKSHOP GOAL
The workshop is interdisciplinary and touches both distributed systems as
well as networking and cloud computing. It is intended as a forum where
people with different backgrounds can learn from their respective field and
expertise. We want to attract both industry relevant papers as well as
papers
from academic researchers working on the foundations of the distributed
cloud.
DCC 2013 accepts high-quality papers related to the distributed cloud which
fall into at least one of the following categories:
- Novel ideas on how to design and operate/manage the distributed cloud
- Principles and foundations of distributed cloud computing; algorithmic
solutions (resource management, scheduling, embedding, elasticity,
brokering)
- Architectural models, prototype implementations and applications (content
distribution, games, social networks, scientific computing, business)
- Virtualization technology and enablers (network virtualization,
software-defined networking)
- Experience with existing deployments and measurements (private, public,
hybrid, federated, aggregated clouds)
- Service and resource specification, languages, and formal verification
- Economic, robustness, and energy aspects of the distributed cloud (e.g.,
pricing and service models)
SYNOPSIS
Most of the focus in public cloud computing technology over the last 10
years
has been on deploying massive, centralized data centers with thousands or
hundreds of thousands of servers. The data centers are typically replicated
with a few instances on a continent wide scale in semi-autonomous zones.
This
model has proven quite successful in economically scaling cloud service, but
it has some drawbacks. Failure of a zone can lead to service dropout for
tenants if the tenants do not replicate their services across zones. Some
applications may need finer grained control over network latency than is
provided by a connection to a large centralized data center, or may benefit
from being able to specify location as a parameter in their deployment.
Nontechnical issues, such as the availability of real estate, power, and
bandwidth for a large mega data center, also enter into consideration.
Another model that may be useful in many cases is to have many micro or even
nano data centers, interconnected by medium to high bandwidth links, and the
ability to manage these data centers and interconnecting links as if they
were one larger data center. This distributed cloud model is perhaps a
better
match for private enterprise clouds, which tend to be smaller than the
large,
public mega data centers, and it also has attractions for public clouds run
by telcom carriers which have facilities in geographically diverse
locations,
with power, cooling, and bandwidth already available. It is attractive for
mobile operators as well, since it provides a platform on which applications
can be deployed and easily managed that could benefit from a tighter
coupling
to the wireless access network. The two models are not mutually exclusive:
for instance a public cloud operator with many large data centers
distributed
internationally could manage its network of data centers like a distributed
cloud. The distinguishing characteristic from federated clouds is that the
component data centers are more integrated, especially with respect to
authentication and authorization, so that the computation, storage, and
networking resources are as tightly managed as if they were in a single
large
data center.
SUBMISSION AND PUBLICATION
Submissions are single-blind and should not exceed 6 pages in length (in
IEEE
format). For an accepted paper, at least one author must attend the workshop
(all participants must pay the UCC 2013 workshop and conference fee).
Submissions will be handled by EasyChair.
The DCC 2013 workshop proceedings will be published as part of the UCC 2013
proceedings volume.
CHAIRS
James Kempf, Ericsson Research, San Francisco, USA
Stefan Schmid, Telekom Innovation Laboratories (T-Labs) & TU Berlin, Germany
TPC
Chen Avin, Ben Gurion Uni, Israel
Raouf Boutaba, Uni Waterloo, Canada
David Breitgand, IBM Research Haifa, Israel
Marco Canini, T-Labs & TU Berlin, Germany
Yvonne Coady, Uni Victoria, Canada
Paolo Costa, Microsoft Research Cambridge & Imperial College, United Kingdom
György Dán, KTH, Sweden
Xiaoming Fu, Uni Goettingen, Germany
Pan Hui, HKUST, Hong Kong
Holger Karl, Uni Paderborn, Germany
Wolfgang Kellerer, TU Munich, Germany
Hermann de Meer, Uni Passau, Germany
Ruben S. Montero, Universidad Complutense de Madrid, Spain
Joerg Ott, Aalto Uni, Finland
Djamel F. H. Sadok, UFPE, Brazil
Arunabha Sen, Arizona State University, USA
Srini Seetharaman, T-Labs Silicon Valley, USA
Azimeh Sefidcon, Ericsson Research, Sweden
Puneet Sharma, HP Labs Palo Alto, USA
Upendra Sharma, IBM T. J. Watson Research Center, USA
Soren Telfer, AT&T Palo Alto, USA
Benoit Tremblay, Ericsson Research, Canada
Christian Tschudin, Uni Basel, Switzerland
VENUE:
DCC 2013 will take place in the Dorint Hotel Dresden, in the center of the
lively capital of Saxony. Dresden offers much more than the historic center
with its opera house, the 'Semperoper', and the 'Frauenkirche' church.
Dotted
along the approximately 30 km long stretch of the Elbe River which runs
through the city, you will find many treasures: castles, villas, vineyards,
historic funiculars, and steamboats that are up to 130 years old. During the
conference week, the 579th annual Striezelmarkt will welcome all conference
participants for a unique artisanal and culinary experience.
**********************************************************
*
* Contributions to be spread via DMANET are submitted to
*
* DMANET@zpr.uni-koeln.de
*
* Replies to a message carried on DMANET should NOT be
* addressed to DMANET but to the original sender. The
* original sender, however, is invited to prepare an
* update of the replies received and to communicate it
* via DMANET.
*
* DISCRETE MATHEMATICS AND ALGORITHMS NETWORK (DMANET)
* http://www.zaik.uni-koeln.de/AFS/publications/dmanet/
*
**********************************************************
Workshop on
Distributed Cloud Computing (DCC)
https://sites.google.com/site/dcc2013workshop/
held in Dresden, Germany
December 9-12
co-located with 6th IEEE/ACM International Conference on Utility and Cloud
Computing (UCC)
DATES
Submissions due: 28 July 2013
Notification of acceptance: 10 September 2013
Camera-ready papers due: 27 September 2013
WORKSHOP GOAL
The workshop is interdisciplinary and touches both distributed systems as
well as networking and cloud computing. It is intended as a forum where
people with different backgrounds can learn from their respective field and
expertise. We want to attract both industry relevant papers as well as
papers
from academic researchers working on the foundations of the distributed
cloud.
DCC 2013 accepts high-quality papers related to the distributed cloud which
fall into at least one of the following categories:
- Novel ideas on how to design and operate/manage the distributed cloud
- Principles and foundations of distributed cloud computing; algorithmic
solutions (resource management, scheduling, embedding, elasticity,
brokering)
- Architectural models, prototype implementations and applications (content
distribution, games, social networks, scientific computing, business)
- Virtualization technology and enablers (network virtualization,
software-defined networking)
- Experience with existing deployments and measurements (private, public,
hybrid, federated, aggregated clouds)
- Service and resource specification, languages, and formal verification
- Economic, robustness, and energy aspects of the distributed cloud (e.g.,
pricing and service models)
SYNOPSIS
Most of the focus in public cloud computing technology over the last 10
years
has been on deploying massive, centralized data centers with thousands or
hundreds of thousands of servers. The data centers are typically replicated
with a few instances on a continent wide scale in semi-autonomous zones.
This
model has proven quite successful in economically scaling cloud service, but
it has some drawbacks. Failure of a zone can lead to service dropout for
tenants if the tenants do not replicate their services across zones. Some
applications may need finer grained control over network latency than is
provided by a connection to a large centralized data center, or may benefit
from being able to specify location as a parameter in their deployment.
Nontechnical issues, such as the availability of real estate, power, and
bandwidth for a large mega data center, also enter into consideration.
Another model that may be useful in many cases is to have many micro or even
nano data centers, interconnected by medium to high bandwidth links, and the
ability to manage these data centers and interconnecting links as if they
were one larger data center. This distributed cloud model is perhaps a
better
match for private enterprise clouds, which tend to be smaller than the
large,
public mega data centers, and it also has attractions for public clouds run
by telcom carriers which have facilities in geographically diverse
locations,
with power, cooling, and bandwidth already available. It is attractive for
mobile operators as well, since it provides a platform on which applications
can be deployed and easily managed that could benefit from a tighter
coupling
to the wireless access network. The two models are not mutually exclusive:
for instance a public cloud operator with many large data centers
distributed
internationally could manage its network of data centers like a distributed
cloud. The distinguishing characteristic from federated clouds is that the
component data centers are more integrated, especially with respect to
authentication and authorization, so that the computation, storage, and
networking resources are as tightly managed as if they were in a single
large
data center.
SUBMISSION AND PUBLICATION
Submissions are single-blind and should not exceed 6 pages in length (in
IEEE
format). For an accepted paper, at least one author must attend the workshop
(all participants must pay the UCC 2013 workshop and conference fee).
Submissions will be handled by EasyChair.
The DCC 2013 workshop proceedings will be published as part of the UCC 2013
proceedings volume.
CHAIRS
James Kempf, Ericsson Research, San Francisco, USA
Stefan Schmid, Telekom Innovation Laboratories (T-Labs) & TU Berlin, Germany
TPC
Chen Avin, Ben Gurion Uni, Israel
Raouf Boutaba, Uni Waterloo, Canada
David Breitgand, IBM Research Haifa, Israel
Marco Canini, T-Labs & TU Berlin, Germany
Yvonne Coady, Uni Victoria, Canada
Paolo Costa, Microsoft Research Cambridge & Imperial College, United Kingdom
György Dán, KTH, Sweden
Xiaoming Fu, Uni Goettingen, Germany
Pan Hui, HKUST, Hong Kong
Holger Karl, Uni Paderborn, Germany
Wolfgang Kellerer, TU Munich, Germany
Hermann de Meer, Uni Passau, Germany
Ruben S. Montero, Universidad Complutense de Madrid, Spain
Joerg Ott, Aalto Uni, Finland
Djamel F. H. Sadok, UFPE, Brazil
Arunabha Sen, Arizona State University, USA
Srini Seetharaman, T-Labs Silicon Valley, USA
Azimeh Sefidcon, Ericsson Research, Sweden
Puneet Sharma, HP Labs Palo Alto, USA
Upendra Sharma, IBM T. J. Watson Research Center, USA
Soren Telfer, AT&T Palo Alto, USA
Benoit Tremblay, Ericsson Research, Canada
Christian Tschudin, Uni Basel, Switzerland
VENUE:
DCC 2013 will take place in the Dorint Hotel Dresden, in the center of the
lively capital of Saxony. Dresden offers much more than the historic center
with its opera house, the 'Semperoper', and the 'Frauenkirche' church.
Dotted
along the approximately 30 km long stretch of the Elbe River which runs
through the city, you will find many treasures: castles, villas, vineyards,
historic funiculars, and steamboats that are up to 130 years old. During the
conference week, the 579th annual Striezelmarkt will welcome all conference
participants for a unique artisanal and culinary experience.
**********************************************************
*
* 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, July 14, 2013
[DMANET] CFP: Autonomic Clouds 2013, Dresden, Germany
The 3rd International Workshop on Intelligent Techniques and Architectures for Autonomic Clouds (ITAAC 2013)
http://www.derby.ac.uk/computing/itaac2013
In association with
The 6th IEEE/ACM International Conference on Utility and Cloud Computing (UCC 2013), December 9-12, 2013, Dresden, Germany
Call for Papers
Autonomic computing refers to principles and techniques for designing, building, deploying and managing computing systems with minimal human involvement. An autonomic system should be capable of adapting its behaviour to suit its context of use through methods of self-management, self-tuning, self-configuration, self-diagnosis, and self-healing.
Autonomic approaches are particularly suitable for use in Cloud Computing systems, where rapid scalability is required across a pool of resources to support various unpredictable demands, and where the system should automatically adapt to avoid failures in the underlying hardware impacting on the user experience. Autonomic Clouds emerge as a result of applying autonomic computing techniques to Cloud Computing, resulting into robust, fault tolerant and easy to manage and operate cloud architectures and deployments.
The application of intelligent approaches to Autonomic Clouds is gaining prominence in research and industry. Such intelligent approaches include evolutionary techniques, multi-objective and combinational optimization heuristics, genetic algorithms, neural networks, swarm intelligence, and multi-agents systems. Application of these intelligent approaches to Clouds can improve how computing systems and applications are built, used, managed and optimized, maximizing the benefits for users, applications and systems by reducing the operational, maintenance and usage costs of clouds. The interplay of intelligent approaches and Clouds offers numerous challenges.
The international workshop on Intelligent Techniques and Architectures for Autonomic Clouds (ITAAC 2013) aims to bring together researchers and practitioners across Cloud Computing, Intelligent Systems, and Autonomic Computing to discuss issues at the intersection of these disciplines. Key questions to be addressed include: How do emerging cloud architectures satisfy or contradict the vision of autonomic computing? How does the vision of autonomic computing satisfy the vision of self managing and self healing clouds? How do contemporary and emerging intelligent techniques support and enable both of these? Academics, researchers and practitioners are invited to submit original work on the theory and practice of intelligent and autonomic clouds.
Key topics
Topics of interest include (but are not limited to):
* Theory and foundations of Intelligent Clouds
* Quality of Service and Intelligent Clouds
* (auto)scaling of Clouds
* Self-organizing, self-healing and self-managing Cloud systems
* Intelligent deployment, configuration and maintenance approaches for Clouds
* Agent based techniques for Clouds
* Adaptive and Evolutionary Approaches for Clouds
* Intelligent Cloud Workflows, Planning and Scheduling
* Intelligent Cloud Resource Management and Discovery in Clouds
* Autonomic Clouds of Sensors
* Intelligent Management and Monitoring for Clouds
* Intelligent approaches to Cloud Service Level Agreement satisfaction
* Applications, Toolkits and frameworks for Intelligent and Autonomic Clouds
* Advances in Intelligent Data Analysis due to Clouds
Submissions that offer position statements, theoretical and industrial perspectives, lessons learned, comparisons, evaluations and technical contributions to intelligent autonomic clouds are also welcome.
Paper submission guidelines
All papers must be submitted electronically and in PDF format. The material presented should be original and not published or under submission elsewhere. Authors should submit full papers of up to 6 pages, following strictly the IEEE Computer Society Proceedings Manuscript style<http://www.computer.org/portal/web/cscps/formatting>, using two-column, single-space format, with 10-point font size. Figures and references must be included in the 6 pages. At least one of the authors of each accepted paper must register early to attend the conference, in order for the paper to appear in the conference proceedings.
Submitted papers must represent original unpublished research that is not currently under review for any other conference or journal. The proceedings will be published and will be made online through the IEEE Xplore.
All papers should be submitted online using EasyChair submission system https://www.easychair.org/account/signin.cgi?conf=itaac2013
High quality articles will be invited to become part of the Journal of Cloud Computing Advances, Systems and Applications (JoCCASA)
Workshop Chairs
* Professor Nick Antonopoulos, University of Derby, UK
Email: n.antonopoulos@derby.ac.uk<mailto:n.antonopoulos@derby.ac.uk>
* Dr Ashiq Anjum , University of Derby, UK
Email: a.anjum@derby.ac.uk<mailto:a.anjum@derby.ac.uk>
* Dr Lee Gillam, University of Surrey, UK
Email: l.gillam@surrey.ac.uk<mailto:l.gillam@surrey.ac.uk>.
Programme Committee
* Antonio Liotta, Eindhoven University of Technology, Netherlands
* Manish Parashar, Rutgers, The State University of New Jersey, USA
* Richard McClatchey, UWE Bristol, UK
* Morris Riedel, Jülich Supercomputing Centre (JSC), Forschungszentrum Jülich, Germany
* Omer Rana, Cardiff University, UK
* Rajkumar Buyya, University of Melbourne, Australia
* David Wallom, Oxford e-Research Centre, University of Oxford, UK
* Jianxin Li, Beihang University, China
* Kurt Stockinger, Zurich University of Applied Sciences, Switzerland
* Adel Taweel, Kings College London, UK
* Fatos Xhafa, Universitat Politècnica de Catalunya, Barcelona, Spain
* Daniel S. Katz, Computation Institute, University of Chicago, USA
* Ciprian Dobre, University Politehnica of Bucharest, Romania
* Richard Hill, University of Derby, UK
* Muhammad Atif, The Australian National University, Canberra, Australia
* Lu Liu, University of Derby, UK
* Peter Bloodsworth, National University of Sciences and Technology (NUST), Pakistan
* Saad Liaquat Kiani, University of the West of England, Bristol, UK
* Silvio Pardi, University of Naples, Naples, Italy
* Zaheer Khan, University of the West of England, Bristol, UK
* Liangmin Wang, Jiangsu University, China
* Taimoor Khan, Johannes Kepler University, Austria
Important Dates
* Manuscript Submission Due: 20 August 2013
* Notification of Acceptance: 10 September 2013
* Final Manuscript Due: 27 September 2013
* Author Registration Due: 27 September 2013
* Conference Dates: 9 - 12 December 2013
**********************************************************
*
* Contributions to be spread via DMANET are submitted to
*
* DMANET@zpr.uni-koeln.de
*
* Replies to a message carried on DMANET should NOT be
* addressed to DMANET but to the original sender. The
* original sender, however, is invited to prepare an
* update of the replies received and to communicate it
* via DMANET.
*
* DISCRETE MATHEMATICS AND ALGORITHMS NETWORK (DMANET)
* http://www.zaik.uni-koeln.de/AFS/publications/dmanet/
*
**********************************************************
http://www.derby.ac.uk/computing/itaac2013
In association with
The 6th IEEE/ACM International Conference on Utility and Cloud Computing (UCC 2013), December 9-12, 2013, Dresden, Germany
Call for Papers
Autonomic computing refers to principles and techniques for designing, building, deploying and managing computing systems with minimal human involvement. An autonomic system should be capable of adapting its behaviour to suit its context of use through methods of self-management, self-tuning, self-configuration, self-diagnosis, and self-healing.
Autonomic approaches are particularly suitable for use in Cloud Computing systems, where rapid scalability is required across a pool of resources to support various unpredictable demands, and where the system should automatically adapt to avoid failures in the underlying hardware impacting on the user experience. Autonomic Clouds emerge as a result of applying autonomic computing techniques to Cloud Computing, resulting into robust, fault tolerant and easy to manage and operate cloud architectures and deployments.
The application of intelligent approaches to Autonomic Clouds is gaining prominence in research and industry. Such intelligent approaches include evolutionary techniques, multi-objective and combinational optimization heuristics, genetic algorithms, neural networks, swarm intelligence, and multi-agents systems. Application of these intelligent approaches to Clouds can improve how computing systems and applications are built, used, managed and optimized, maximizing the benefits for users, applications and systems by reducing the operational, maintenance and usage costs of clouds. The interplay of intelligent approaches and Clouds offers numerous challenges.
The international workshop on Intelligent Techniques and Architectures for Autonomic Clouds (ITAAC 2013) aims to bring together researchers and practitioners across Cloud Computing, Intelligent Systems, and Autonomic Computing to discuss issues at the intersection of these disciplines. Key questions to be addressed include: How do emerging cloud architectures satisfy or contradict the vision of autonomic computing? How does the vision of autonomic computing satisfy the vision of self managing and self healing clouds? How do contemporary and emerging intelligent techniques support and enable both of these? Academics, researchers and practitioners are invited to submit original work on the theory and practice of intelligent and autonomic clouds.
Key topics
Topics of interest include (but are not limited to):
* Theory and foundations of Intelligent Clouds
* Quality of Service and Intelligent Clouds
* (auto)scaling of Clouds
* Self-organizing, self-healing and self-managing Cloud systems
* Intelligent deployment, configuration and maintenance approaches for Clouds
* Agent based techniques for Clouds
* Adaptive and Evolutionary Approaches for Clouds
* Intelligent Cloud Workflows, Planning and Scheduling
* Intelligent Cloud Resource Management and Discovery in Clouds
* Autonomic Clouds of Sensors
* Intelligent Management and Monitoring for Clouds
* Intelligent approaches to Cloud Service Level Agreement satisfaction
* Applications, Toolkits and frameworks for Intelligent and Autonomic Clouds
* Advances in Intelligent Data Analysis due to Clouds
Submissions that offer position statements, theoretical and industrial perspectives, lessons learned, comparisons, evaluations and technical contributions to intelligent autonomic clouds are also welcome.
Paper submission guidelines
All papers must be submitted electronically and in PDF format. The material presented should be original and not published or under submission elsewhere. Authors should submit full papers of up to 6 pages, following strictly the IEEE Computer Society Proceedings Manuscript style<http://www.computer.org/portal/web/cscps/formatting>, using two-column, single-space format, with 10-point font size. Figures and references must be included in the 6 pages. At least one of the authors of each accepted paper must register early to attend the conference, in order for the paper to appear in the conference proceedings.
Submitted papers must represent original unpublished research that is not currently under review for any other conference or journal. The proceedings will be published and will be made online through the IEEE Xplore.
All papers should be submitted online using EasyChair submission system https://www.easychair.org/account/signin.cgi?conf=itaac2013
High quality articles will be invited to become part of the Journal of Cloud Computing Advances, Systems and Applications (JoCCASA)
Workshop Chairs
* Professor Nick Antonopoulos, University of Derby, UK
Email: n.antonopoulos@derby.ac.uk<mailto:n.antonopoulos@derby.ac.uk>
* Dr Ashiq Anjum , University of Derby, UK
Email: a.anjum@derby.ac.uk<mailto:a.anjum@derby.ac.uk>
* Dr Lee Gillam, University of Surrey, UK
Email: l.gillam@surrey.ac.uk<mailto:l.gillam@surrey.ac.uk>.
Programme Committee
* Antonio Liotta, Eindhoven University of Technology, Netherlands
* Manish Parashar, Rutgers, The State University of New Jersey, USA
* Richard McClatchey, UWE Bristol, UK
* Morris Riedel, Jülich Supercomputing Centre (JSC), Forschungszentrum Jülich, Germany
* Omer Rana, Cardiff University, UK
* Rajkumar Buyya, University of Melbourne, Australia
* David Wallom, Oxford e-Research Centre, University of Oxford, UK
* Jianxin Li, Beihang University, China
* Kurt Stockinger, Zurich University of Applied Sciences, Switzerland
* Adel Taweel, Kings College London, UK
* Fatos Xhafa, Universitat Politècnica de Catalunya, Barcelona, Spain
* Daniel S. Katz, Computation Institute, University of Chicago, USA
* Ciprian Dobre, University Politehnica of Bucharest, Romania
* Richard Hill, University of Derby, UK
* Muhammad Atif, The Australian National University, Canberra, Australia
* Lu Liu, University of Derby, UK
* Peter Bloodsworth, National University of Sciences and Technology (NUST), Pakistan
* Saad Liaquat Kiani, University of the West of England, Bristol, UK
* Silvio Pardi, University of Naples, Naples, Italy
* Zaheer Khan, University of the West of England, Bristol, UK
* Liangmin Wang, Jiangsu University, China
* Taimoor Khan, Johannes Kepler University, Austria
Important Dates
* Manuscript Submission Due: 20 August 2013
* Notification of Acceptance: 10 September 2013
* Final Manuscript Due: 27 September 2013
* Author Registration Due: 27 September 2013
* Conference Dates: 9 - 12 December 2013
**********************************************************
*
* Contributions to be spread via DMANET are submitted to
*
* DMANET@zpr.uni-koeln.de
*
* Replies to a message carried on DMANET should NOT be
* addressed to DMANET but to the original sender. The
* original sender, however, is invited to prepare an
* update of the replies received and to communicate it
* via DMANET.
*
* DISCRETE MATHEMATICS AND ALGORITHMS NETWORK (DMANET)
* http://www.zaik.uni-koeln.de/AFS/publications/dmanet/
*
**********************************************************
Friday, July 12, 2013
[DMANET] 1st CfP_EURO WG on Computational Biology, Bionformatics and Medicine, June 26-28, 2014
EURO WG on Operational Research in Computational Biology, Bioinformatics and
Medicine
First Call for Abstracts
The organizers of the EURO Working Group conference on Operational
Research in Computational Biology, Bioinformatics and Medicine have a
pleasure to invite you to take part in this conference to be held in
Poznan, Poland
June 26-28, 2014
http://cbbm2014.cs.put.poznan.pl.
Aims and Scope
The objective of EURO CBBM is to bring together researchers developing and
using computational methods to solve problems in computational biology,
bioinformatics and medicine. The conference intends to be an effective
forum for the exchange of ideas and discussion of current research issues
and future trends in the above area.
Topics
-biomolecular sequence analysis,
-comparative genomics,
-metabolic network modeling and analysis,
-modeling and prediction of gene patterns,
-microarray informatics,
-protein and RNA structure prediction,
-protein interactions,
-genetic networks,
-analysis of genetic variations,
-systems biology,
-gene classification,
-docking and drug design,
-phylogenetics
-and others
Confirmed Invited Speakers
prof. Marek Figlerowicz (Inst.of Bioorganic Chemistry, PAS, Poland) prof.
Giuseppe Lancia (University of Udine, Italy)
prof. Eric Westhof (Centre National de la Recherche Scientifique, France)
Conference site
The conference will be hosted in the 130-year-old neo-renaissance
Biedrusko Palace (Poznan, Poland).
Abstract submission
Abstracts must be written in English and contain no more than 600
characters (no formulae or mathematical notations are allowed). Each
attendee is allowed to present one paper at the conference. To submit an
abstract, use the abstract submission system of EURO-Online available on
the conference website http://cbbm2014.cs.put.poznan.pl.
Important dates
Deadline for abstract submission: 15/02/2014
Notification of acceptance: 01/03/2014
Deadline for early registration: 15/03/2014
Special issue
Selected conference papers can be submitted for peer-reviewed publication
in the Special Issue of RAIRO - Operations Research.
Program Committee Organizing Committee
- Jacek Blazewicz (co-chair) - Piotr Lukasiak (Co-chair)
- Metin Turkay (co-chair) - Marta Szachniuk (Co-chair)
- Paola Bertolazzi - Marcin Borowski
- Giovanni Felici - Chandra Sekhar Pedamallu
- Piotr Formanowicz - Tomasz Ratajczak
- Jon Garibaldi - Aleksandra Swiercz
- Marta Kasprzak - Pawel Wojciechowski
- Piotr Lukasiak - Tomasz Zok
- Ceyda Oguz
- Marta Szachniuk
- Gerhard Wilhelm Weber
Contacts
For all questions please contact: cbbm2014@cs.put.poznan.pl.
Please visit our website http://cbbm2014.cs.put.poznan.pl for more
information.
**********************************************************
*
* 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/
*
**********************************************************
Medicine
First Call for Abstracts
The organizers of the EURO Working Group conference on Operational
Research in Computational Biology, Bioinformatics and Medicine have a
pleasure to invite you to take part in this conference to be held in
Poznan, Poland
June 26-28, 2014
http://cbbm2014.cs.put.poznan.pl.
Aims and Scope
The objective of EURO CBBM is to bring together researchers developing and
using computational methods to solve problems in computational biology,
bioinformatics and medicine. The conference intends to be an effective
forum for the exchange of ideas and discussion of current research issues
and future trends in the above area.
Topics
-biomolecular sequence analysis,
-comparative genomics,
-metabolic network modeling and analysis,
-modeling and prediction of gene patterns,
-microarray informatics,
-protein and RNA structure prediction,
-protein interactions,
-genetic networks,
-analysis of genetic variations,
-systems biology,
-gene classification,
-docking and drug design,
-phylogenetics
-and others
Confirmed Invited Speakers
prof. Marek Figlerowicz (Inst.of Bioorganic Chemistry, PAS, Poland) prof.
Giuseppe Lancia (University of Udine, Italy)
prof. Eric Westhof (Centre National de la Recherche Scientifique, France)
Conference site
The conference will be hosted in the 130-year-old neo-renaissance
Biedrusko Palace (Poznan, Poland).
Abstract submission
Abstracts must be written in English and contain no more than 600
characters (no formulae or mathematical notations are allowed). Each
attendee is allowed to present one paper at the conference. To submit an
abstract, use the abstract submission system of EURO-Online available on
the conference website http://cbbm2014.cs.put.poznan.pl.
Important dates
Deadline for abstract submission: 15/02/2014
Notification of acceptance: 01/03/2014
Deadline for early registration: 15/03/2014
Special issue
Selected conference papers can be submitted for peer-reviewed publication
in the Special Issue of RAIRO - Operations Research.
Program Committee Organizing Committee
- Jacek Blazewicz (co-chair) - Piotr Lukasiak (Co-chair)
- Metin Turkay (co-chair) - Marta Szachniuk (Co-chair)
- Paola Bertolazzi - Marcin Borowski
- Giovanni Felici - Chandra Sekhar Pedamallu
- Piotr Formanowicz - Tomasz Ratajczak
- Jon Garibaldi - Aleksandra Swiercz
- Marta Kasprzak - Pawel Wojciechowski
- Piotr Lukasiak - Tomasz Zok
- Ceyda Oguz
- Marta Szachniuk
- Gerhard Wilhelm Weber
Contacts
For all questions please contact: cbbm2014@cs.put.poznan.pl.
Please visit our website http://cbbm2014.cs.put.poznan.pl for more
information.
**********************************************************
*
* 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] First CFP: EURO Summer Winter Institute “OR applied to health in a modern world”, June 2014
-----=-----=-----=-----=-----=-----=-----=-----=-----=-----=-----=-----=-----=-----=-----=-----=-----
First Call For Papers: EURO Summer Winter Institute
"Operational Research applied to health in a modern world"
June 2014 – Forte di Bard, Bard, Italy
WWW: http://di.unito.it/eswihealth2014
CFP: http://di.unito.it/eswihealth2014firstcfp
The OR Societies of Italy and the UK are pleased to announce a EURO Summer
Winter Institute (ESWI) in June 2014 on the theme "Operational Research applied
to health in a modern world".
Theme:
OR modelling for healthcare has developed with the complexities of the modern world.
Health Care Systems (HCS) are often awash with data but managers are unable to
benefit while concerned only with trouble-shooting.
Furthermore, HCS should reflect a patient centered and societal perspective focusing
on outcomes rather than only on output. ESWI Health 2014 will bring together those
issues proposing new modelling and solution techniques to aid decision makers in
the fields of health and disease management, patient flow and all aspects of optimal
use of scarce resources.
Dates:
ESWI will be held during one of the following periods:
From 04 to 13 June 2014
From 11 to 20 June 2014
Dates will be announced later and defined in order to maximize the participation of
international speakers.
Important dates:
- 31st July 2013: deadline for expressions of interest.
- 1st February 2014: deadline for submission of applications.
- 1st March 2014: selection of Candidates by Scientific Committee and communication
to the National OR Societies.
- 31st October 2014: submission of final versions of papers for publication in the special
issue.
Expressions of interest:
Expressions of interest are now being sought in order to assess the likely number of
participants. Please email
eswihealth2014 [ A T ] di [dot] unito [dot] it
if you are considering submitting a paper.
Applications:
Applicants will submit their papers to the Scientific Committee, along with a curriculum
vitae. The committee will select and rank the candidates on the basis of submitted papers,
and afterwards channel this information to the national OR societies for funding decisions.
Candidates fulfilling the eligibility rules but exceeding the number of 25 participants may
be accepted, in a limited number, in the ESWI. Such candidates should cover their expenses.
Fees will be also required but their amount will be defined later.
The organising committee:
Dr Roberto Aringhieri, Università degli Studi di Torino, Italy
Dr Vincent Knight, Cardiff University, UK
Dr Honora Smith, University of Southampton, UK
**we apologize for any cross-posting of this message**
-----=-----=-----=-----=-----=-----=-----=-----=-----=-----=-----=-----=-----=-----=-----=-----=-----
--
Dr Roberto Aringhieri, Ph.D. - Assistant Professor
Dipartimento di Informatica, Università degli Studi di Torino
Corso Svizzera 185, I-10149 Torino, Italy
Office: +39 011 6706755 - Mobile: +39 331 1239026
http://di.unito.it/aringhieri
ESWI 2014: http://di.unito.it/eswihealth2014
ORAHS officer: http://orahs.di.unito.it/
**********************************************************
*
* Contributions to be spread via DMANET are submitted to
*
* DMANET@zpr.uni-koeln.de
*
* Replies to a message carried on DMANET should NOT be
* addressed to DMANET but to the original sender. The
* original sender, however, is invited to prepare an
* update of the replies received and to communicate it
* via DMANET.
*
* DISCRETE MATHEMATICS AND ALGORITHMS NETWORK (DMANET)
* http://www.zaik.uni-koeln.de/AFS/publications/dmanet/
*
**********************************************************
[DMANET] FPS 2013, Deadline Approaching, July 15, 6th International Symposium on Foundations & Practice of Security, La Rochelle, France, LNCS proceedings
[Apologies if you receive multiple copies of this message]
*******************************************************************
FPS 2013, CALL FOR PAPERS
6th International Symposium on
FOUNDATIONS & PRACTICE OF SECURITY,
(proceedings by Springer-Verlag, LNCS series)
http://conferences.telecom-bretagne.eu/fps/2013/
La Rochelle, France, October 21-22, 2013
*******************************************************************
Important Dates:
* Paper Submission: July 15, 2013 (FIRM)
* Acceptance Notification: August 15, 2013
* Camera Ready Version: September 1, 2013
Scope: Protecting the communication and data infrastructure of an
increasingly inter-connected world has become vital to the normal
functioning of all aspects of our world. Security has emerged as an
important scientific discipline whose many multifaceted complexities
deserve the attention and synergy of the mathematical, computer
science and engineering communities.
After the previous meetings held in Montreal, Grenoble, Toronto and
Paris, this sixth edition will be held in La Rochelle (France), the
21st and 22nd of October of 2013. The objective of the FPS symposium
is to present and discuss international research in different areas of
theoretical and practical security solutions.
Topics: we invite papers from researchers and practitioners working in
security, privacy, trustworthy data systems and related areas to
submit their original papers. The main topics, but not limited to,
include:
* Security in Service Oriented Architecture & Web Services
* Security Administration & Policy-based Security Architectures
* Access Control Languages
* Cryptography & Cryptanalysis
* Threat Analysis
* Privacy & Sensitive Data Management
* Security on P2P Systems and their Applications
* Policy-based Distributed Information Systems and Security Policies
* Security in Sensor Networks and RFID
* Security of Cloud Computing, Grid Computing and their Applications
* Trust Management
* Security of Distributed Embedded Middleware
* Distributed Security Protocols
* Privacy in Social Networks
* Formal foundations in Information Security
* Side-channel analysis and Fault injection attacks
* Countermeasures against physical attacks
* Protected implementations, security by design
* Formal Verification of security properties
* Methods and Platforms for evaluation of attacks and countermeasures
* Malware, botnets, binary analysis
Submission Guidelines: Full papers should be at most 16 pages (using
11-point font), excluding the bibliography and well-marked appendices.
Position papers, as well as extended abstract and contributed talks,
should be up to 8 pages (using 11-point font). Committee members are
not required to read the appendices, so the paper should be
intelligible without them.
All submissions must be written in English. Authors must submit their
papers by the deadline indicated above, using the EasyChair web site
(using the link http://www.easychair.org/conferences/?conf=fps2013)
and following the requirements stated there. All papers will be
refereed. The submitted contribution should be formatted according to
Springer's LNCS style. Submissions by PhD students as well as surveys
and controversial ideas are encouraged. Case studies (successful or
not) are also encouraged.
Publication: Proceedings published by Springer in the Lecture Notes in
Computer Science (LNCS) series. At least one author of each accepted
paper must register to the symposium, by the early date indicated by
the organizers, and present the paper.
Symposium Website: http://conferences.telecom-bretagne.eu/fps/2013/
Submission Website: http://www.easychair.org/conferences/?conf=fps2013
Visit http://conferences.telecom-bretagne.eu/fps/2013/ for further
information.
**********************************************************
*
* 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/
*
**********************************************************
*******************************************************************
FPS 2013, CALL FOR PAPERS
6th International Symposium on
FOUNDATIONS & PRACTICE OF SECURITY,
(proceedings by Springer-Verlag, LNCS series)
http://conferences.telecom-bretagne.eu/fps/2013/
La Rochelle, France, October 21-22, 2013
*******************************************************************
Important Dates:
* Paper Submission: July 15, 2013 (FIRM)
* Acceptance Notification: August 15, 2013
* Camera Ready Version: September 1, 2013
Scope: Protecting the communication and data infrastructure of an
increasingly inter-connected world has become vital to the normal
functioning of all aspects of our world. Security has emerged as an
important scientific discipline whose many multifaceted complexities
deserve the attention and synergy of the mathematical, computer
science and engineering communities.
After the previous meetings held in Montreal, Grenoble, Toronto and
Paris, this sixth edition will be held in La Rochelle (France), the
21st and 22nd of October of 2013. The objective of the FPS symposium
is to present and discuss international research in different areas of
theoretical and practical security solutions.
Topics: we invite papers from researchers and practitioners working in
security, privacy, trustworthy data systems and related areas to
submit their original papers. The main topics, but not limited to,
include:
* Security in Service Oriented Architecture & Web Services
* Security Administration & Policy-based Security Architectures
* Access Control Languages
* Cryptography & Cryptanalysis
* Threat Analysis
* Privacy & Sensitive Data Management
* Security on P2P Systems and their Applications
* Policy-based Distributed Information Systems and Security Policies
* Security in Sensor Networks and RFID
* Security of Cloud Computing, Grid Computing and their Applications
* Trust Management
* Security of Distributed Embedded Middleware
* Distributed Security Protocols
* Privacy in Social Networks
* Formal foundations in Information Security
* Side-channel analysis and Fault injection attacks
* Countermeasures against physical attacks
* Protected implementations, security by design
* Formal Verification of security properties
* Methods and Platforms for evaluation of attacks and countermeasures
* Malware, botnets, binary analysis
Submission Guidelines: Full papers should be at most 16 pages (using
11-point font), excluding the bibliography and well-marked appendices.
Position papers, as well as extended abstract and contributed talks,
should be up to 8 pages (using 11-point font). Committee members are
not required to read the appendices, so the paper should be
intelligible without them.
All submissions must be written in English. Authors must submit their
papers by the deadline indicated above, using the EasyChair web site
(using the link http://www.easychair.org/conferences/?conf=fps2013)
and following the requirements stated there. All papers will be
refereed. The submitted contribution should be formatted according to
Springer's LNCS style. Submissions by PhD students as well as surveys
and controversial ideas are encouraged. Case studies (successful or
not) are also encouraged.
Publication: Proceedings published by Springer in the Lecture Notes in
Computer Science (LNCS) series. At least one author of each accepted
paper must register to the symposium, by the early date indicated by
the organizers, and present the paper.
Symposium Website: http://conferences.telecom-bretagne.eu/fps/2013/
Submission Website: http://www.easychair.org/conferences/?conf=fps2013
Visit http://conferences.telecom-bretagne.eu/fps/2013/ for further
information.
**********************************************************
*
* 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
