Dear all,
I'd like to draw your attention to the fact that fresh Erasmus Mundus
scholarships are available for Non-European AND European students who
enrol in our European Master's Program in Computational Logic in the
fall of 2014. The deadline for application is 31 January, 2014. More
details are given below. In particular, I'd like to draw your attention
to the fact that we are able to provide grants to EU-students for doing
their project at the National ICT of Australia (NICTA).
Please spread this information as wide as possible among friends and
colleagues, at your old universities and the places, where you currently
live and work.
Many thanks -- Steffen
*******************************************************************************************************
The European Master's Program in Computational Logic
We are glad to announce to you the possibility to join our European
Master's Program of Computational Logic. This program is offered jointly
at the Free-University of Bozen-Bolzano in Italy, the Technische
Universität Dresden in Germany, the Universidade Nova de Lisboa in
Portugal and the Technische Universität Wien in Austria. Within this
program you have the choice to study at two /three of the four European
universities. In addition, you can do your project work at the National
ICT of Australia (NICTA). You will graduate with a MSc in Computer
Science and obtain a joint degree. Information on the universities and
the program including the application procedure is provided here:
http://www.emcl-study.eu/home.html
Language of instruction is English. Tuition fees are 3.000 EUR (for
non-European students) and 1.000 (for European students) per year.
We would like to draw your attention to the ERASMUS-MUNDUS scholarship
program. The ERASMUS-MUNDUS consortium offers 2-year scholarships up to
48.000 EUR for non-EU students and up to 23.000 EUR for EU students of
our European Master's Program in Computational Logic.
More information on the scholarship program is available from:
http://www.emcl-study.eu/fileadmin/emcl_booklet_tree/ma_em_grant.html
Do not hesitate to contact us if you have any further questions.
Kind regards -- Steffen Hölldobler
Prof. Dr. Steffen Hoelldobler
International Center for Computational Logic
Technische Universität Dresden
01062 Dresden, Germany
phone: [+49](351)46 33 83 40
fax: [+49](351)46 33 83 42
email: sh@iccl.tu-dresden.de
Thursday, January 9, 2014
Wednesday, January 8, 2014
from Jeff Kinne: tenure-track position in Computer Science at Indiana State University
The Department of Mathematics and Computer Science at Indiana State University invites applications for a tenure-track position in Computer Science at the rank of Assistant Professor. Applicants are expected to have a Ph.D. in Computer Science and a strong interest in research and teaching. The individual holding this position is expected to teach undergraduate and graduate courses, continue their research program, and contribute to the academic well-being of the department and university. The regular teaching/research load at Indiana State University is equivalent to twelve credit hours per semester. We encourage applicants with research from all areas of computer science, with a preference for research on the foundations of computing.
The Computer Science undergraduate and master's programs within the department continue to grow, with roughly 90 undergraduate majors and 50 master's students currently. With enrollment growing and potential retirements in the future, the one who fills this position stands to have a significant influence on the future directions of the department and computer science programs. Student activities currently supported by the department include paid summer research with faculty and participation in the ACM intercollegiate programming contest. In addition to our degrees in Computer Science, the Department also offers BS and BA degrees in Mathematics and Mathematics Education and MS and MA degrees in Mathematics.
Apply for the position at http://jobs.indstate.edu. Upload your vita and a letter of intent describing your research experience, teaching experience, vision for your research going forward, teaching philosophy, and teaching interests. Arrange for three letters of recommendation to be sent to Jeff Kinne, Search Committee Chairperson, Department of Mathematics and Computer Science, Indiana State University, Terre Haute, IN 47809 or cssearch@cs.indstate.edu. Review of candidates begins January 14, 2014.
ISU is an AA/EO employer with a strong institutional commitment to the achievement of diversity among its faculty, staff, and students. The College of Arts and Sciences welcomes all faculty, staff, and students, regardless of identity or affiliation. The College values the contribution of all individuals in the execution of its primary mission, which is to educate undergraduate and graduate students. To that end, we will strive to attract representative staff and faculty. The College will actively support endeavors that embrace and explore human differences and global awareness. The College's Diversity Plan is accessible from the College's website: http://www.indstate.edu/cas/diversityplan.htm
Terre Haute received the 2010 "Indiana Community of the Year" award from the state's s Chamber of Commerce. Our city has a college summer league baseball team, Children's Museum, and new downtown Barnes and Noble bookstore. Between June and October, the farmers' market offers a great selection of local and org
The Computer Science undergraduate and master's programs within the department continue to grow, with roughly 90 undergraduate majors and 50 master's students currently. With enrollment growing and potential retirements in the future, the one who fills this position stands to have a significant influence on the future directions of the department and computer science programs. Student activities currently supported by the department include paid summer research with faculty and participation in the ACM intercollegiate programming contest. In addition to our degrees in Computer Science, the Department also offers BS and BA degrees in Mathematics and Mathematics Education and MS and MA degrees in Mathematics.
Apply for the position at http://jobs.indstate.edu. Upload your vita and a letter of intent describing your research experience, teaching experience, vision for your research going forward, teaching philosophy, and teaching interests. Arrange for three letters of recommendation to be sent to Jeff Kinne, Search Committee Chairperson, Department of Mathematics and Computer Science, Indiana State University, Terre Haute, IN 47809 or cssearch@cs.indstate.edu. Review of candidates begins January 14, 2014.
ISU is an AA/EO employer with a strong institutional commitment to the achievement of diversity among its faculty, staff, and students. The College of Arts and Sciences welcomes all faculty, staff, and students, regardless of identity or affiliation. The College values the contribution of all individuals in the execution of its primary mission, which is to educate undergraduate and graduate students. To that end, we will strive to attract representative staff and faculty. The College will actively support endeavors that embrace and explore human differences and global awareness. The College's Diversity Plan is accessible from the College's website: http://www.indstate.edu/cas/diversityplan.htm
Terre Haute received the 2010 "Indiana Community of the Year" award from the state's s Chamber of Commerce. Our city has a college summer league baseball team, Children's Museum, and new downtown Barnes and Noble bookstore. Between June and October, the farmers' market offers a great selection of local and org
[DMANET] CFP: 7th International Workshop on Numerical Software Verification
[Deadline for paper submission: March 20th 2014]
Apologies for multiple copies.
———
CALL FOR PAPERS
**************
** NSV 2014 **
**************
7th International Workshop on Numerical Software Verification
July 17-18, 2014
A Sattelite Workshop of Vienna Summer of Logic 2014
Vienna, Austria
Web Page: http://www.lix.polytechnique.fr/~bouissou/NSV14
Important Dates
===============
Submissions deadline: March 20th 2014.
Notification: May 4th 2014.
Final version: May 25th 2014.
Workshop: July 17th-18th 2014.
Novelty of this edition
=======================
The 2014 edition of NSV will be published electronically by Elsevier
in the Electronic Notes in Theoretical Computer Science Serie (ENTCS).
In this new NSV edition, we encourage publications about the numerical
issues in new domains, in particular computational finance and
biological systems: problems, consequences and state-of-the-art
approaches.
Description of the Workshop
===========================
Numerical computations are ubiquitous in digital systems: supervision,
prediction, simulation and signal processing rely heavily on numerical
calculus to achieve desired goals. Verification of numerical
algorithms has a unique set of challenges, which set it apart from
the rest of software verification. To achieve the verification and
validation of global properties, numerical techniques need to
precisely represent local behaviors of each component. In fact, in
numerical algorithms, coarse abstractions are unlikely to succeed
essentially because of the above mentioned issue. The implementation
of numerical techniques on modern hardware adds another layer of
approximation: the use of finite representations of infinite
precision numbers usually lack basic arithmetic properties such
as commutativity and associativity. It is hence imperative to develop
logical and mathematical techniques that would allow reasoning about
programmability and reliability. The NSV workshop is dedicated to the
current development and the future prospects for such techniques.
Topics
===============
The scope of the workshop includes, but is not restricted to, the
following topics:
- Models and abstraction techniques
- Specifications of correctness for numerical programs
- Formal specification and verification of numerical programs
- Quality of finite precision implementations
- Propagation of uncertainties, deterministic and probabilistic models
- Numerical properties of control software
- Hybrid systems verification
- Validation for space, avionics, automotive and real-time applications
- Validation for scientific computing programs
- Optimality of program behavior
- Trade-offs between quality of service and resource (for example
energy) consumption in programs
- Benchmarks and tools for numerical software verification
- Numerical issues in computational finance
Submission information
======================
We solicit regular and short papers.
Paper submission must be performed via the EasyChair system:
http://easychair.org/?conf=nsv14
Regular papers must describe original work, be written and presented
in English, and must not substantially overlap with papers that have
been published or that are simultaneously submitted to a journal or a
conference with refereed proceedings. Submitted papers will be judged
on the basis of significance, relevance, correctness, originality, and
clarity. They should clearly identify what has been accomplished and
why it is significant.
Regular paper submissions should not exceed 15 pages in ENTCS style,
including bibliography and well-marked appendices:
http://www.entcs.org/prelim.html
Program committee members are not required to read the appendices, and
thus papers must be intelligible without them.
Short papers are also welcomed, they should present tools, benchmarks,
case-studies or be extended abstracts of ongoing research. Short
papers should not exceed 6 pages.
Regular papers will be published electronically by Elsevier in the
Electronic Notes in Theoretical Computer Science serie ENTCS), all
accepted (regular and short) papers will also be included in the
Vienna Summer of Logic USB-stick distributed to all participants to the VSL.
Organizers
==========
Olivier Bouissou, CEA, LIST
Khalil Ghorbal, Carnegie Mellon University
All questions about the workshop can be addressed to them via email:
nsv2014@easychair.org
Program Committee
==================
- Sylvie Boldo Inria
- Olivier Bouissou CEA, LIST
- Jyotirmoy Deshmukh Toyota Technical Center
- Khalil Ghorbal Carnegie Mellon University
- Eric Goubault CEA, LIST
- Sylvie Putot CEA, LIST
- Sriram Sankaranarayanan Boulder University
**********************************************************
*
* Contributions to be spread via DMANET are submitted to
*
* DMANET@zpr.uni-koeln.de
*
* Replies to a message carried on DMANET should NOT be
* addressed to DMANET but to the original sender. The
* original sender, however, is invited to prepare an
* update of the replies received and to communicate it
* via DMANET.
*
* DISCRETE MATHEMATICS AND ALGORITHMS NETWORK (DMANET)
* http://www.zaik.uni-koeln.de/AFS/publications/dmanet/
*
**********************************************************
Apologies for multiple copies.
———
CALL FOR PAPERS
**************
** NSV 2014 **
**************
7th International Workshop on Numerical Software Verification
July 17-18, 2014
A Sattelite Workshop of Vienna Summer of Logic 2014
Vienna, Austria
Web Page: http://www.lix.polytechnique.fr/~bouissou/NSV14
Important Dates
===============
Submissions deadline: March 20th 2014.
Notification: May 4th 2014.
Final version: May 25th 2014.
Workshop: July 17th-18th 2014.
Novelty of this edition
=======================
The 2014 edition of NSV will be published electronically by Elsevier
in the Electronic Notes in Theoretical Computer Science Serie (ENTCS).
In this new NSV edition, we encourage publications about the numerical
issues in new domains, in particular computational finance and
biological systems: problems, consequences and state-of-the-art
approaches.
Description of the Workshop
===========================
Numerical computations are ubiquitous in digital systems: supervision,
prediction, simulation and signal processing rely heavily on numerical
calculus to achieve desired goals. Verification of numerical
algorithms has a unique set of challenges, which set it apart from
the rest of software verification. To achieve the verification and
validation of global properties, numerical techniques need to
precisely represent local behaviors of each component. In fact, in
numerical algorithms, coarse abstractions are unlikely to succeed
essentially because of the above mentioned issue. The implementation
of numerical techniques on modern hardware adds another layer of
approximation: the use of finite representations of infinite
precision numbers usually lack basic arithmetic properties such
as commutativity and associativity. It is hence imperative to develop
logical and mathematical techniques that would allow reasoning about
programmability and reliability. The NSV workshop is dedicated to the
current development and the future prospects for such techniques.
Topics
===============
The scope of the workshop includes, but is not restricted to, the
following topics:
- Models and abstraction techniques
- Specifications of correctness for numerical programs
- Formal specification and verification of numerical programs
- Quality of finite precision implementations
- Propagation of uncertainties, deterministic and probabilistic models
- Numerical properties of control software
- Hybrid systems verification
- Validation for space, avionics, automotive and real-time applications
- Validation for scientific computing programs
- Optimality of program behavior
- Trade-offs between quality of service and resource (for example
energy) consumption in programs
- Benchmarks and tools for numerical software verification
- Numerical issues in computational finance
Submission information
======================
We solicit regular and short papers.
Paper submission must be performed via the EasyChair system:
http://easychair.org/?conf=nsv14
Regular papers must describe original work, be written and presented
in English, and must not substantially overlap with papers that have
been published or that are simultaneously submitted to a journal or a
conference with refereed proceedings. Submitted papers will be judged
on the basis of significance, relevance, correctness, originality, and
clarity. They should clearly identify what has been accomplished and
why it is significant.
Regular paper submissions should not exceed 15 pages in ENTCS style,
including bibliography and well-marked appendices:
http://www.entcs.org/prelim.html
Program committee members are not required to read the appendices, and
thus papers must be intelligible without them.
Short papers are also welcomed, they should present tools, benchmarks,
case-studies or be extended abstracts of ongoing research. Short
papers should not exceed 6 pages.
Regular papers will be published electronically by Elsevier in the
Electronic Notes in Theoretical Computer Science serie ENTCS), all
accepted (regular and short) papers will also be included in the
Vienna Summer of Logic USB-stick distributed to all participants to the VSL.
Organizers
==========
Olivier Bouissou, CEA, LIST
Khalil Ghorbal, Carnegie Mellon University
All questions about the workshop can be addressed to them via email:
nsv2014@easychair.org
Program Committee
==================
- Sylvie Boldo Inria
- Olivier Bouissou CEA, LIST
- Jyotirmoy Deshmukh Toyota Technical Center
- Khalil Ghorbal Carnegie Mellon University
- Eric Goubault CEA, LIST
- Sylvie Putot CEA, LIST
- Sriram Sankaranarayanan Boulder University
**********************************************************
*
* Contributions to be spread via DMANET are submitted to
*
* DMANET@zpr.uni-koeln.de
*
* Replies to a message carried on DMANET should NOT be
* addressed to DMANET but to the original sender. The
* original sender, however, is invited to prepare an
* update of the replies received and to communicate it
* via DMANET.
*
* DISCRETE MATHEMATICS AND ALGORITHMS NETWORK (DMANET)
* http://www.zaik.uni-koeln.de/AFS/publications/dmanet/
*
**********************************************************
[DMANET] INFORMS Telecommunications 2014 - Extended deadline
INFORMS Telecommunications 2014 (www.informstelecom2014.fc.ul.pt) - Extended Deadline
The 12th INFORMS Telecommunications Conference will be held March 2 - 4, 2014 in Campo Grande, Lisboa, Portugal.
In the tradition of the previous conferences, the 12th Conference will focus on the theory and application of operations research and management science to problems in telecommunications, with particular emphasis on new and emerging technologies. The conference is organized by the INFORMS Technical Section on Telecommunications.
Conference chair: Luís Gouveia
Conference co-chairs: Maurício Resende and Youngho Lee
Plenary speakers: Thomas Bonald (Telecom Paris Tech), Martin Grötschel (Zuse Institut Berlin) and Guy Leduc (Université de Liège)
2014 Doctoral Dissertation Award for Operations Research in Telecommunications
Abstract submission - EXTENDED DEADLINE: January 17th, 2014
The 3rd International Symposium in Combinatorial Optimization (ISCO 2014) will also be held from the 5th to the 7th of March, just after the INFORMS Telecommunications Conference, also at Campo Grande, Lisbon.
See the registration (to be updated) for reduced fees for people attending the two conferences.
**********************************************************
*
* 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 12th INFORMS Telecommunications Conference will be held March 2 - 4, 2014 in Campo Grande, Lisboa, Portugal.
In the tradition of the previous conferences, the 12th Conference will focus on the theory and application of operations research and management science to problems in telecommunications, with particular emphasis on new and emerging technologies. The conference is organized by the INFORMS Technical Section on Telecommunications.
Conference chair: Luís Gouveia
Conference co-chairs: Maurício Resende and Youngho Lee
Plenary speakers: Thomas Bonald (Telecom Paris Tech), Martin Grötschel (Zuse Institut Berlin) and Guy Leduc (Université de Liège)
2014 Doctoral Dissertation Award for Operations Research in Telecommunications
Abstract submission - EXTENDED DEADLINE: January 17th, 2014
The 3rd International Symposium in Combinatorial Optimization (ISCO 2014) will also be held from the 5th to the 7th of March, just after the INFORMS Telecommunications Conference, also at Campo Grande, Lisbon.
See the registration (to be updated) for reduced fees for people attending the two conferences.
**********************************************************
*
* 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] LATD 2014: Logic, Algebra and Truth Degrees, Vienna (Austria), 16-19 Jul 2014
(Apologies for multiple postings)
Logic, Algebra and Truth Degrees 2014
July 16 - 19, Vienna, Austria
Call for papers
The conference "Logic, Algebra and Truth Degrees 2014" will be
held on 16-19 July 2014 in Vienna, Austria, as part of the
Vienna Summer of Logic event http://vsl2014.at.
Logic, Algebra and Truth Degrees is the fourth official meeting
of the EUSFLAT Working Group on Mathematical Fuzzy Logic.
Mathematical Fuzzy Logic is the sub-discipline of Mathematical
Logic that is concerned with the notion of comparative truth.
The assumption that "truth comes in degrees" has proved to be
very useful in many theoretical and applied areas of Mathematics,
Computer Science, and Philosophy.
The featured topics include:
- Proof theory and computational complexity
- Algebraic semantics and abstract algebraic logic
- First, higher-order and modal formalisms
- Applications and foundational issues
- Geometric and game theoretic aspects
We particularly welcome contributions on many-valued and
related logical systems.
Invited speakers:
- Silvio Ghilardi, Italy
- Melvin Fitting, USA
- George Metcalfe, Switzerland
- Dale Miller, France
- Dana Scott, USA
- Alasdair Urquhart, Canada
Tutorials:
- Franz Baader, Germany
- Vincenzo Marra, Italy
Programme Committee:
- Arnon Avron, Israel
- Matthias Baaz (Chair), Austria
- Agata Ciabattoni (Co-Chair), Austria
- Petr Cintula, Czech Republic
- Nikolaos Galatos, USA
- Lluis Godo, Spain
- Rosalie Iemhoff, The Netherlands
- Nicola Olivetti, France
- Hiroakira Ono, Japan
- Kazushige Terui, Japan
- Richard Zach, Canada
Contributed talks:
Abstracts of contributed talks, 2-4 pages, are to be prepared
using the ASL abstract template and submitted via Easychair.
The accepted abstracts will be available on-line and published
in the joint volume of abstracts with the Logic Colloquium.
The deadline for contributions is 6th April 2014. The
notification of acceptance will be sent by 10th May 2014.
For more information please visit the official web page
of the conference: http://www.logic.at/latd2014.
All correspondence should be directed to latd2014@logic.at.
Please feel free to distribute this call.
The Organizing Committee
Agata Ciabattoni (Chair), Paolo Baldi, Petr Cintula,
Bjoern Lellmann, Revantha Ramanayake, Lara Spendier
**********************************************************
*
* 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/
*
**********************************************************
Logic, Algebra and Truth Degrees 2014
July 16 - 19, Vienna, Austria
Call for papers
The conference "Logic, Algebra and Truth Degrees 2014" will be
held on 16-19 July 2014 in Vienna, Austria, as part of the
Vienna Summer of Logic event http://vsl2014.at.
Logic, Algebra and Truth Degrees is the fourth official meeting
of the EUSFLAT Working Group on Mathematical Fuzzy Logic.
Mathematical Fuzzy Logic is the sub-discipline of Mathematical
Logic that is concerned with the notion of comparative truth.
The assumption that "truth comes in degrees" has proved to be
very useful in many theoretical and applied areas of Mathematics,
Computer Science, and Philosophy.
The featured topics include:
- Proof theory and computational complexity
- Algebraic semantics and abstract algebraic logic
- First, higher-order and modal formalisms
- Applications and foundational issues
- Geometric and game theoretic aspects
We particularly welcome contributions on many-valued and
related logical systems.
Invited speakers:
- Silvio Ghilardi, Italy
- Melvin Fitting, USA
- George Metcalfe, Switzerland
- Dale Miller, France
- Dana Scott, USA
- Alasdair Urquhart, Canada
Tutorials:
- Franz Baader, Germany
- Vincenzo Marra, Italy
Programme Committee:
- Arnon Avron, Israel
- Matthias Baaz (Chair), Austria
- Agata Ciabattoni (Co-Chair), Austria
- Petr Cintula, Czech Republic
- Nikolaos Galatos, USA
- Lluis Godo, Spain
- Rosalie Iemhoff, The Netherlands
- Nicola Olivetti, France
- Hiroakira Ono, Japan
- Kazushige Terui, Japan
- Richard Zach, Canada
Contributed talks:
Abstracts of contributed talks, 2-4 pages, are to be prepared
using the ASL abstract template and submitted via Easychair.
The accepted abstracts will be available on-line and published
in the joint volume of abstracts with the Logic Colloquium.
The deadline for contributions is 6th April 2014. The
notification of acceptance will be sent by 10th May 2014.
For more information please visit the official web page
of the conference: http://www.logic.at/latd2014.
All correspondence should be directed to latd2014@logic.at.
Please feel free to distribute this call.
The Organizing Committee
Agata Ciabattoni (Chair), Paolo Baldi, Petr Cintula,
Bjoern Lellmann, Revantha Ramanayake, Lara Spendier
**********************************************************
*
* 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] SCOR 2014 - 2nd Announcement and Call for Papers
******************CALL FOR PAPERS******************
**4th Student Conference on Operational Research**
************************SCOR 2014***********************
******May 2-4 2014, University of Nottingham, UK*****
*********************www.scor14.com*********************
We are pleased to announce the official launch of the PhD Student
Conference on Operational Research (SCOR 2014), now back for its
fourth instalment. We invite you to join us once again, at the
beautiful University of Nottingham campus the 2-4 May 2014.
PhD students from all European Universities studying Operational
Research, Management Science or a related field are kindly invited to
submit an abstract for presentation at the conference. As some
presenters may still be on an early stage of in their careers, the
work presented does not need to be fully developed or thoroughly
explored as of yet. The purpose of SCOR 2014 is to provide a friendly
environment for the next generation of Operational Researchers to
receive constructive feedback on their work and to meet people with
similar interests. The scope of the conference includes, but is not
limited to:
*Big Data & Analytics * Data Mining * Energy * Forecasting * Graphs /
Networks * Healthcare *
*Heuristics * Inventory * Mathematical Programming * Multicriteria
Decision Analysis * *Neural Networks / Machine Learning * Optimisation
and Applications * Reliability / Risk Assessment * Scheduling /
Timetabling * Stochastic Modelling * Supply Chain Management *
*Simulation / System Dynamics * Transport /Logistics*
The conference takes place just after the NATCOR course, which will
also be held in Nottingham.
*******Deadline for abstract (250 words) submission: Monday 24th
February 2014*********
A notification of acceptance will be sent shortly after this deadline.
In order to encourage a wide
range of students to attend, an affordable conference fee will cover
accommodation, a full social
program and full catering provided.
******************Deadline for PAPERS submission: Friday 11th April
2014******************
Presenters are also invited to submit a paper (no more than 10 pages)
on their work to be
published electronically as part of the SCOR 2014 proceedings. This
will be available in the
Dagstuhl OpenAccess Series in Informatics (OASIcs). Paper submissions
will undergo a selection
process based on refereeing by the Committee. This gives doctoral
candidates a chance to
experience the peer-review process and to enhance their technical
writing skills. Although it
is not mandatory, it is again, highly recommended. To get an idea on
the paper standards
please visit the SCOR2012 proceedings.
See you in Nottingham!!!
**********************Follow us on**********************
* www.scor14.com *
* www.facebook.com/scor2014 *
* www.twitter.com/scor2014 *
* www.linkedin.com/company/scor-2014 *
***********************************************************
**********************************************************
*
* 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/
*
**********************************************************
**4th Student Conference on Operational Research**
************************SCOR 2014***********************
******May 2-4 2014, University of Nottingham, UK*****
*********************www.scor14.com*********************
We are pleased to announce the official launch of the PhD Student
Conference on Operational Research (SCOR 2014), now back for its
fourth instalment. We invite you to join us once again, at the
beautiful University of Nottingham campus the 2-4 May 2014.
PhD students from all European Universities studying Operational
Research, Management Science or a related field are kindly invited to
submit an abstract for presentation at the conference. As some
presenters may still be on an early stage of in their careers, the
work presented does not need to be fully developed or thoroughly
explored as of yet. The purpose of SCOR 2014 is to provide a friendly
environment for the next generation of Operational Researchers to
receive constructive feedback on their work and to meet people with
similar interests. The scope of the conference includes, but is not
limited to:
*Big Data & Analytics * Data Mining * Energy * Forecasting * Graphs /
Networks * Healthcare *
*Heuristics * Inventory * Mathematical Programming * Multicriteria
Decision Analysis * *Neural Networks / Machine Learning * Optimisation
and Applications * Reliability / Risk Assessment * Scheduling /
Timetabling * Stochastic Modelling * Supply Chain Management *
*Simulation / System Dynamics * Transport /Logistics*
The conference takes place just after the NATCOR course, which will
also be held in Nottingham.
*******Deadline for abstract (250 words) submission: Monday 24th
February 2014*********
A notification of acceptance will be sent shortly after this deadline.
In order to encourage a wide
range of students to attend, an affordable conference fee will cover
accommodation, a full social
program and full catering provided.
******************Deadline for PAPERS submission: Friday 11th April
2014******************
Presenters are also invited to submit a paper (no more than 10 pages)
on their work to be
published electronically as part of the SCOR 2014 proceedings. This
will be available in the
Dagstuhl OpenAccess Series in Informatics (OASIcs). Paper submissions
will undergo a selection
process based on refereeing by the Committee. This gives doctoral
candidates a chance to
experience the peer-review process and to enhance their technical
writing skills. Although it
is not mandatory, it is again, highly recommended. To get an idea on
the paper standards
please visit the SCOR2012 proceedings.
See you in Nottingham!!!
**********************Follow us on**********************
* www.scor14.com *
* www.facebook.com/scor2014 *
* www.twitter.com/scor2014 *
* www.linkedin.com/company/scor-2014 *
***********************************************************
**********************************************************
*
* 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, January 7, 2014
COLT 2014 - Call For Papers Reminder (Deadline: Feb 7, 2014)
The 27th Annual Conference on Learning Theory (COLT 2014) will take
place in Barcelona, Spain, on June 13-15, 2014.
We invite submissions of papers addressing theoretical aspects of
machine learning and related topics. Submissions by authors who are
new to COLT are encouraged. We strongly support a broad definition of
learning theory, including, but not limited to:
• Design and analysis of learning algorithms and their generalization ability
• Computational complexity of learning
• Optimization procedures for learning
• Unsupervised, semi-supervised learning, and clustering
• Online learning
• Interactive learning
• Kernel Methods
• High dimensional and non-parametric empirical inference, including
sparsity methods
• Planning and control, including reinforcement learning
• Learning with additional constraints: E.g. privacy, time or memory
budget, communication
• Learning in other settings: E.g. social, economic, and game-theoretic
• Analysis of learning in related fields: natural language processing,
neuroscience, bioinformatics, privacy and security, machine vision,
data mining, information retrieval.
We are also interested in papers that include viewpoints that are new
to the COLT community. We welcome experimental and algorithmic papers
provided they are relevant to the focus of the conference by
elucidating theoretical results. Also, while the primary focus of the
conference is theoretical, papers can be strengthened by the inclusion
of relevant experimental results.
COLT will award both best paper and best student paper awards. Best
student papers must be authored or coauthored by a student. Authors
must indicate (using a footnote on the first page of the paper) at
submission time if they wish their paper to be eligible for a student
award. This does not preclude the paper to be eligible for the best
paper award. The program committee may decline to make these awards,
or may split them among several papers.
Papers that have previously appeared in journals or at other
conferences, or that are being submitted to other conferences, are not
appropriate for COLT. Papers that include work that has already been
submitted for journal publication may be submitted to COLT, as long as
the papers have not been accepted for publication by the COLT
submission deadline (conditionally or otherwise) and that the paper is
not expected to be published before the COLT conference (June 2014).
Accepted papers will be published electronically, in the JMLR Workshop
and Conference Proceedings series.
Rebuttal Phase
As in the previous years, we will have a rebuttal phase during the
review process. Initial reviews will be sent to authors before final
decisions have been made. Authors will have the opportunity to provide
a short response on the PC's initial evaluation. Final
acceptance/rejection decision will be made a week later.
Open Problems Session:
We also invite submission of open problems. A separate call for open
problems will be available at the conference website:
http://orfe.princeton.edu/conferences/colt2014/
Submission Instructions:
Submissions are limited to 12 JMLR-formatted pages, plus additional
pages for references and appendices. All details, proofs and
derivations required to substantiate the results must be included in
the submission, possibly in the appendices. However, the contribution,
novelty and significance of submissions will be judged primarily based
on the main text (without appendices), and so enough details,
including proof details, must be provided in the main text to convince
the reviewers of the submissions' merits.
Invited speakers:
Leslie Valiant (Harvard University)
Michael Jordan (UC Berkeley)
Program Committee:
Program Chairs
Maria-Florina Balcan (Georgia Institute of Technology)
Csaba Szepesvári (University of Alberta)
Local Arrangements Chairs
Sébastien Bubeck (Princeton University)
Gábor Lugosi (ICREA and Pompeu Fabra University)
Publication Chair
Vitaly Feldman (IBM Almaden Research Center)
Program Committee:
András Antos
Sanjeev Arora (Princeton University)
Peter Auer (University of Leoben)
Pranjal Awasthi (Princeton University)
Peter Bartlett (University of California, Berkeley)
Shai Ben-David (University of Waterloo)
Avrim Blum (Carnegie Mellon University)
Sébastien Bubeck (Princeton University)
Nicolò Cesa-Bianchi (Università degli Studi di Milano)
Kamalika Chaudhuri (University of California, San Diego)
Sanjoy Dasgupta (University of California, San Diego)
Vitaly Feldman (IBM Almaden Research Center)
Claudio Gentile (Università degli Studi dell'Insubria)
András György (University of Alberta)
Steve Hanneke
Elad Hazan (Technion)
Satyen Kale (IBM T. J. Watson Research Center)
Jyrki Kivinen (University of Helsinki)
Phil Long (Microsoft)
Gábor Lugosi (ICREA and Pompeu Fabra University)
Shie Mannor (Technion)
Yishay Mansour (Tel Aviv University)
Rémi Munos (INRIA Lille)
Alexander Rakhlin (University of Pennsylvania)
Philippe Rigollet (Princeton University)
Lorenzo Rosasco (Massachusetts Institute of Technology)
Robert Schapire (Princeton University)
Rocco Servedio (Columbia University)
Ohad Shamir (Weizmann Institute)
Alex Slivkins (Microsoft Research)
Nati Srebro (Toyota Technological Institute at Chicago)
Hans Ulrich Simon (Ruhr-Universität Bochum)
Karthik Sridharan (University of Pennsylvania)
Ambuj Tewari (University of Michigan)
Manfred Warmuth (University of California, Santa Cruz)
Bob Williamson (NICTA)
Sandra Zilles (University of Regina)
Important Dates:
• Paper submission deadline: February 7th, 2014, 11:00 PM EST
• Author response period: April 5-10, 2014
• Author notification: April 19, 2014
• Conference: June 13-15, 2014
place in Barcelona, Spain, on June 13-15, 2014.
We invite submissions of papers addressing theoretical aspects of
machine learning and related topics. Submissions by authors who are
new to COLT are encouraged. We strongly support a broad definition of
learning theory, including, but not limited to:
• Design and analysis of learning algorithms and their generalization ability
• Computational complexity of learning
• Optimization procedures for learning
• Unsupervised, semi-supervised learning, and clustering
• Online learning
• Interactive learning
• Kernel Methods
• High dimensional and non-parametric empirical inference, including
sparsity methods
• Planning and control, including reinforcement learning
• Learning with additional constraints: E.g. privacy, time or memory
budget, communication
• Learning in other settings: E.g. social, economic, and game-theoretic
• Analysis of learning in related fields: natural language processing,
neuroscience, bioinformatics, privacy and security, machine vision,
data mining, information retrieval.
We are also interested in papers that include viewpoints that are new
to the COLT community. We welcome experimental and algorithmic papers
provided they are relevant to the focus of the conference by
elucidating theoretical results. Also, while the primary focus of the
conference is theoretical, papers can be strengthened by the inclusion
of relevant experimental results.
COLT will award both best paper and best student paper awards. Best
student papers must be authored or coauthored by a student. Authors
must indicate (using a footnote on the first page of the paper) at
submission time if they wish their paper to be eligible for a student
award. This does not preclude the paper to be eligible for the best
paper award. The program committee may decline to make these awards,
or may split them among several papers.
Papers that have previously appeared in journals or at other
conferences, or that are being submitted to other conferences, are not
appropriate for COLT. Papers that include work that has already been
submitted for journal publication may be submitted to COLT, as long as
the papers have not been accepted for publication by the COLT
submission deadline (conditionally or otherwise) and that the paper is
not expected to be published before the COLT conference (June 2014).
Accepted papers will be published electronically, in the JMLR Workshop
and Conference Proceedings series.
Rebuttal Phase
As in the previous years, we will have a rebuttal phase during the
review process. Initial reviews will be sent to authors before final
decisions have been made. Authors will have the opportunity to provide
a short response on the PC's initial evaluation. Final
acceptance/rejection decision will be made a week later.
Open Problems Session:
We also invite submission of open problems. A separate call for open
problems will be available at the conference website:
http://orfe.princeton.edu/conferences/colt2014/
Submission Instructions:
Submissions are limited to 12 JMLR-formatted pages, plus additional
pages for references and appendices. All details, proofs and
derivations required to substantiate the results must be included in
the submission, possibly in the appendices. However, the contribution,
novelty and significance of submissions will be judged primarily based
on the main text (without appendices), and so enough details,
including proof details, must be provided in the main text to convince
the reviewers of the submissions' merits.
Invited speakers:
Leslie Valiant (Harvard University)
Michael Jordan (UC Berkeley)
Program Committee:
Program Chairs
Maria-Florina Balcan (Georgia Institute of Technology)
Csaba Szepesvári (University of Alberta)
Local Arrangements Chairs
Sébastien Bubeck (Princeton University)
Gábor Lugosi (ICREA and Pompeu Fabra University)
Publication Chair
Vitaly Feldman (IBM Almaden Research Center)
Program Committee:
András Antos
Sanjeev Arora (Princeton University)
Peter Auer (University of Leoben)
Pranjal Awasthi (Princeton University)
Peter Bartlett (University of California, Berkeley)
Shai Ben-David (University of Waterloo)
Avrim Blum (Carnegie Mellon University)
Sébastien Bubeck (Princeton University)
Nicolò Cesa-Bianchi (Università degli Studi di Milano)
Kamalika Chaudhuri (University of California, San Diego)
Sanjoy Dasgupta (University of California, San Diego)
Vitaly Feldman (IBM Almaden Research Center)
Claudio Gentile (Università degli Studi dell'Insubria)
András György (University of Alberta)
Steve Hanneke
Elad Hazan (Technion)
Satyen Kale (IBM T. J. Watson Research Center)
Jyrki Kivinen (University of Helsinki)
Phil Long (Microsoft)
Gábor Lugosi (ICREA and Pompeu Fabra University)
Shie Mannor (Technion)
Yishay Mansour (Tel Aviv University)
Rémi Munos (INRIA Lille)
Alexander Rakhlin (University of Pennsylvania)
Philippe Rigollet (Princeton University)
Lorenzo Rosasco (Massachusetts Institute of Technology)
Robert Schapire (Princeton University)
Rocco Servedio (Columbia University)
Ohad Shamir (Weizmann Institute)
Alex Slivkins (Microsoft Research)
Nati Srebro (Toyota Technological Institute at Chicago)
Hans Ulrich Simon (Ruhr-Universität Bochum)
Karthik Sridharan (University of Pennsylvania)
Ambuj Tewari (University of Michigan)
Manfred Warmuth (University of California, Santa Cruz)
Bob Williamson (NICTA)
Sandra Zilles (University of Regina)
Important Dates:
• Paper submission deadline: February 7th, 2014, 11:00 PM EST
• Author response period: April 5-10, 2014
• Author notification: April 19, 2014
• Conference: June 13-15, 2014
[DMANET] Deadline extension: JSC - SCSS special issue
[Please post - apologies for multiple copies.]
Deadline extension
----------------------------------------
Special issue of the
JOURNAL OF SYMBOLIC COMPUTATION
on
SYMBOLIC COMPUTATION IN SOFTWARE SCIENCE
----------------------------------------
http://www.risc.jku.at/people/tkutsia/jsc-scss-2013.html
IMPORTANT DATES
---------
Paper submission: January 31, 2014 (extended)
Notification of acceptance: April 25, 2014 (extended)
Publication: Second half of 2014
SCOPE
--------
Symbolic Computation is the science of computing with symbolic objects
(terms, formulae, programs, representations of algebraic objects etc..).
Powerful symbolic algorithms and methods have been developed during the
past decades like computer algebra, theorem proving, automated
reasoning, software verification, model checking, rewriting,
formalization of mathematics, Groebner bases, characteristic sets,
telescoping for recurrence relations, cylindric algebraic decomposition
and other quantifier elimination techniques, etc.
The purpose of this special issue is to promote research on theoretical
and practical aspects of symbolic computation in software science. The
special issue is related to the topics of the International Symposiums
on Symbolic Computation in Software Science - SCSS 2013 and SCSS 2012.
It will be published by Elsevier within the Journal of Symbolic Computation.
Participants of the SCSS 2013 and SCSS 2012 symposiums, as well as other
authors are invited to submit contributions.
EXAMPLES of TOPICS
-------------------
This special issue focuses on advanced symbolic computation techniques
for algorithm and software testing, property analysis, termination,
verification, induction assertion generation, synthesis, systematic
generation from components, equivalent transformation, library build-up.
Relevant topics include (but are not limited to) the following:
- automated synthesis of algorithms by symbolic computation
- automated generation of verification conditions of programs by
algebraic methods
- automated generation of inductive program properties
- analysis of algorithm complexity and program termination by algebraic
methods
- algebraic reasoning for computational origami
- efficient decision procedures for hybrid systems
- synthesis of numerical algorithms by algebraic methods
- symbolic model checking
- business process representations and analysis by symbolic methods
- symbolic preprocessing of numerical algorithms
- symbolic techniques for debugging and testing
- formalization and computerization of knowledge (maths, medicine,
economy, etc.)
- rewriting algorithms
- component-based programming by algebraic methods
- query languages (in particular for XML documents)
- symbolic methods for the semantic web, cloud computing and big data
SUBMISSION GUIDELINES
-------------------
This special issue welcomes original high-quality contributions that
have been neither published in nor simultaneously submitted to any
journals or refereed conferences. Submissions will be peer-reviewed
using the standard refereeing procedure of the Journal of Symbolic
Computation.
Authors of papers presented at the SCSS 2013 and SCSS 2012 symposiums
are welcome and encouraged to submit extended and revised versions of
their papers. Furthermore, submissions of papers that are in the scope
of SCSS, but did not appear in SCSS 2013 and SCSS 2012 are welcome as well.
Submitted papers must be in English and include a well written
introduction addressing the following questions in succinct and informal
manner:
- What is the problem?
- Why is the problem important?
- What has been done so far on the problem?
- What is the main contribution of the paper on the problem?
- What aspect of symbolic computation helps solving the problem?
- Is the contribution original? Explain why.
- Is the contribution non-trivial? Explain why.
All the main definitions, theorems and algorithms should be illustrated
by simple but meaningful examples.
SUBMISSION
--------------------
Please prepare your submission in LaTeX using the JSC document format from:
http://www4.ncsu.edu/~hong/jsc.htm
(link to the submission template:
http://www4.ncsu.edu/~hong/jsc/JSC_LaTex_2007_Mar_12.zip)
Submission is via the EasyChair submission site at:
https://www.easychair.org/conferences/?conf=jscscss13
GUEST EDITORS
--------------------
Adel Bouhoula (Higher School of Communications of Tunis, Tunisia)
Bruno Buchberger (RISC, Johannes Kepler University Linz, Austria)
Laura Kovacs (Chalmers University of Technology, Sweden)
Temur Kutsia (RISC, Johannes Kepler University Linz, Austria)
FURTHER INFORMATION
-------------------------------
Laura Kovacs <laura.kovacs@chalmers.se>
Temur Kutsia <kutsia@risc.jku.at>
**********************************************************
*
* Contributions to be spread via DMANET are submitted to
*
* DMANET@zpr.uni-koeln.de
*
* Replies to a message carried on DMANET should NOT be
* addressed to DMANET but to the original sender. The
* original sender, however, is invited to prepare an
* update of the replies received and to communicate it
* via DMANET.
*
* DISCRETE MATHEMATICS AND ALGORITHMS NETWORK (DMANET)
* http://www.zaik.uni-koeln.de/AFS/publications/dmanet/
*
**********************************************************
Deadline extension
----------------------------------------
Special issue of the
JOURNAL OF SYMBOLIC COMPUTATION
on
SYMBOLIC COMPUTATION IN SOFTWARE SCIENCE
----------------------------------------
http://www.risc.jku.at/people/tkutsia/jsc-scss-2013.html
IMPORTANT DATES
---------
Paper submission: January 31, 2014 (extended)
Notification of acceptance: April 25, 2014 (extended)
Publication: Second half of 2014
SCOPE
--------
Symbolic Computation is the science of computing with symbolic objects
(terms, formulae, programs, representations of algebraic objects etc..).
Powerful symbolic algorithms and methods have been developed during the
past decades like computer algebra, theorem proving, automated
reasoning, software verification, model checking, rewriting,
formalization of mathematics, Groebner bases, characteristic sets,
telescoping for recurrence relations, cylindric algebraic decomposition
and other quantifier elimination techniques, etc.
The purpose of this special issue is to promote research on theoretical
and practical aspects of symbolic computation in software science. The
special issue is related to the topics of the International Symposiums
on Symbolic Computation in Software Science - SCSS 2013 and SCSS 2012.
It will be published by Elsevier within the Journal of Symbolic Computation.
Participants of the SCSS 2013 and SCSS 2012 symposiums, as well as other
authors are invited to submit contributions.
EXAMPLES of TOPICS
-------------------
This special issue focuses on advanced symbolic computation techniques
for algorithm and software testing, property analysis, termination,
verification, induction assertion generation, synthesis, systematic
generation from components, equivalent transformation, library build-up.
Relevant topics include (but are not limited to) the following:
- automated synthesis of algorithms by symbolic computation
- automated generation of verification conditions of programs by
algebraic methods
- automated generation of inductive program properties
- analysis of algorithm complexity and program termination by algebraic
methods
- algebraic reasoning for computational origami
- efficient decision procedures for hybrid systems
- synthesis of numerical algorithms by algebraic methods
- symbolic model checking
- business process representations and analysis by symbolic methods
- symbolic preprocessing of numerical algorithms
- symbolic techniques for debugging and testing
- formalization and computerization of knowledge (maths, medicine,
economy, etc.)
- rewriting algorithms
- component-based programming by algebraic methods
- query languages (in particular for XML documents)
- symbolic methods for the semantic web, cloud computing and big data
SUBMISSION GUIDELINES
-------------------
This special issue welcomes original high-quality contributions that
have been neither published in nor simultaneously submitted to any
journals or refereed conferences. Submissions will be peer-reviewed
using the standard refereeing procedure of the Journal of Symbolic
Computation.
Authors of papers presented at the SCSS 2013 and SCSS 2012 symposiums
are welcome and encouraged to submit extended and revised versions of
their papers. Furthermore, submissions of papers that are in the scope
of SCSS, but did not appear in SCSS 2013 and SCSS 2012 are welcome as well.
Submitted papers must be in English and include a well written
introduction addressing the following questions in succinct and informal
manner:
- What is the problem?
- Why is the problem important?
- What has been done so far on the problem?
- What is the main contribution of the paper on the problem?
- What aspect of symbolic computation helps solving the problem?
- Is the contribution original? Explain why.
- Is the contribution non-trivial? Explain why.
All the main definitions, theorems and algorithms should be illustrated
by simple but meaningful examples.
SUBMISSION
--------------------
Please prepare your submission in LaTeX using the JSC document format from:
http://www4.ncsu.edu/~hong/jsc.htm
(link to the submission template:
http://www4.ncsu.edu/~hong/jsc/JSC_LaTex_2007_Mar_12.zip)
Submission is via the EasyChair submission site at:
https://www.easychair.org/conferences/?conf=jscscss13
GUEST EDITORS
--------------------
Adel Bouhoula (Higher School of Communications of Tunis, Tunisia)
Bruno Buchberger (RISC, Johannes Kepler University Linz, Austria)
Laura Kovacs (Chalmers University of Technology, Sweden)
Temur Kutsia (RISC, Johannes Kepler University Linz, Austria)
FURTHER INFORMATION
-------------------------------
Laura Kovacs <laura.kovacs@chalmers.se>
Temur Kutsia <kutsia@risc.jku.at>
**********************************************************
*
* 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] ACM DEBS 2014 - Submission Deadlines Approaching
DEBS 2014: 8th ACM International Conference on Distributed Event Based
Systems
May 26th-29th 2014, IIT Bombay, Mumbai, India,
Co-sponsored by ACM SIGMOD and ACM SIGSOFT
http://www.cse.iitb.ac.in/debs2014/
The scope of DEBS conference covers all topics relevant to event-based
computing ranging from those discussed in related disciplines (e.g.,
software systems, distributed systems, data management, dependability,
knowledge management, networking, programming languages, security and
software engineering), to domain-specific topics of event-based
computing (e.g., real-time analytics, mobile computing, social
networking, pervasive, green computing and ubiquitous computing, sensors
networks, user interfaces, big data processing, spatio-temporal
processing, Cloud computing, the internet of things, peer-to-peer
computing, embedded systems and stream processing), and
enterprise-related topics (e.g., complex event detection, enterprise
application integration, real-time enterprises and web services).
=== DEBS2014 tracks:
- A Research Track featuring high-quality, peer-reviewed research papers.
- An Industry Track for systems and concepts and experience reports.
- A Tutorial Track geared towards both academia and industry.
- A Demonstration and Posters Track with practical demonstrations and
early work.
- A Grand Challenges Track to test research and commercial systems.
- A Doctoral Workshop.
=== DEBS 2014 Important Dates:
Research Track:
Abstracts due January 24, 2014
Full papers due February 1, 2014
Author Notification March 31, 2014
Camera Ready papers April 15, 2014
Industry Track
Papers due Feb 15, 2014
Author Notification March 31, 2014
Camera Ready papers April 15, 2014
Tutorials:
Proposals due February 1, 2014
Presenter Notification March 15, 2014
Tutorials date May 26, 2014
Grand Challenge
Grand Challenge Problem Posted November 22, 2013
Submissions due March 1, 2014
Author Notification March 31, 2014
Camera Ready Submission April 15, 2014
Doctoral Symposium:
Papers due April 5, 2014
Author Notification April 15, 2014
Poster and Demo Track
Submissions due April 5, 2014
Author Notifications April 15, 2014
Camera Ready Copies due April 20, 2014
=== Submissions
All submissions must be original and unpublished. Accepted papers will
be published by ACM and disseminated through the ACM Digital Library.
More information about the tracks and submission information can be
found on the DEBS 2014 website:
http://www.cse.iitb.ac.in/debs2014/
=== Scope of the Conference
The topics addressed by the conference include (but are not limited to):
*** Models, Architectures and Paradigms
- Event-driven architectures
- Big Data (event-processing in Big Data)
- Internet of Things (event-processing in M2M)
- Basic interaction models
- Event algebras, event schemas and type systems
- Languages for event correlation and patterns, streaming and continuous
queries, data fusion
- Models for static and dynamic environments
- Complex event processing
- Design and programming methodologies
- Event-based business process management and modeling
- Experimental methodologies
- Performance modeling and prediction based on analytic approaches
- Functional Reactive Programming
*** Middleware Infrastructures for Event-Based Computing
- Federated event-based systems
- Middleware for actuator and sensor networks
- Algorithms and protocols
- Optimization techniques for event-based (or streaming) systems
- Event dissemination based on p2p systems
- Context and location awareness
- Fault-tolerance, reliability, availability, and recovery
- Security issues
- (Self-)Management
- Mobility and resource constrained device support
- Streaming queries, transformations, or correlation engines
- Logic-based event processing
- Semantic event processing
- Business Process Management with events
*** Applications, Experiences, and Requirements
- Use cases and applications of event-based systems
- Real-world application deployments using event-based middleware
- Domain-specific deployments of event-based systems
- Real-world data characterizing event-based applications
- Benchmarks, performance evaluations, and testbeds
- Application requirements for next-generation event-based solutions
- Relation to other architectures
- Enterprise application integration
- Event-driven business process management
- Information logistics
- Seamless integration of event-based mechanisms into middleware platforms
=== Organization:
General Co-Chairs:
Umesh Bellur (IIT Bombay, India)
Ravi Kothari (IBM India Research Labs)
Program Co-Chairs:
Dharanipragada Janakiram (IIT Madras, India)
Pascal Felber (U. of Neuchatel, Switzerland)
Proceedings Chairs:
David Eyers (U. of Otago, New Zealand)
Industry Co-Chairs:
Koustuv Dasgupta (Xerox Research Center, India)
Todd Montogomery (Informatica, USA)
Local Organization Chair:
Shruti Kunde (Xerox Research Center India)
Tutorial Co-Chairs:
R K Shyamsundar (TIFR, India)
Alexander Wolf (Imperial College, London, UK)
Poster & Demo Co-Chairs:
Vana Kalogeraki (U. of Athens, Greece)
Puru Kulkarni (IIT Bombay, India)
Doctoral Workshop Co-Chairs:
Niloy Ganguly (IIT Kharagpur, India)
Nalini Venkatasubramanian (UC Irvine, USA)
Grand Challenge Co-Chairs:
Zbigniew Jerzak (SAP AG, Germany)
Holger Ziekow (AGT International, Germany)
Publicity Co-Chairs:
Annika Hinze (U. of Waikato, New Zealand)
Boris Koldehofe (U. of Stuttgart, Germany)
Madhu Kumar SD (NIT Calicut, India)
**********************************************************
*
* Contributions to be spread via DMANET are submitted to
*
* DMANET@zpr.uni-koeln.de
*
* Replies to a message carried on DMANET should NOT be
* addressed to DMANET but to the original sender. The
* original sender, however, is invited to prepare an
* update of the replies received and to communicate it
* via DMANET.
*
* DISCRETE MATHEMATICS AND ALGORITHMS NETWORK (DMANET)
* http://www.zaik.uni-koeln.de/AFS/publications/dmanet/
*
**********************************************************
Systems
May 26th-29th 2014, IIT Bombay, Mumbai, India,
Co-sponsored by ACM SIGMOD and ACM SIGSOFT
http://www.cse.iitb.ac.in/debs2014/
The scope of DEBS conference covers all topics relevant to event-based
computing ranging from those discussed in related disciplines (e.g.,
software systems, distributed systems, data management, dependability,
knowledge management, networking, programming languages, security and
software engineering), to domain-specific topics of event-based
computing (e.g., real-time analytics, mobile computing, social
networking, pervasive, green computing and ubiquitous computing, sensors
networks, user interfaces, big data processing, spatio-temporal
processing, Cloud computing, the internet of things, peer-to-peer
computing, embedded systems and stream processing), and
enterprise-related topics (e.g., complex event detection, enterprise
application integration, real-time enterprises and web services).
=== DEBS2014 tracks:
- A Research Track featuring high-quality, peer-reviewed research papers.
- An Industry Track for systems and concepts and experience reports.
- A Tutorial Track geared towards both academia and industry.
- A Demonstration and Posters Track with practical demonstrations and
early work.
- A Grand Challenges Track to test research and commercial systems.
- A Doctoral Workshop.
=== DEBS 2014 Important Dates:
Research Track:
Abstracts due January 24, 2014
Full papers due February 1, 2014
Author Notification March 31, 2014
Camera Ready papers April 15, 2014
Industry Track
Papers due Feb 15, 2014
Author Notification March 31, 2014
Camera Ready papers April 15, 2014
Tutorials:
Proposals due February 1, 2014
Presenter Notification March 15, 2014
Tutorials date May 26, 2014
Grand Challenge
Grand Challenge Problem Posted November 22, 2013
Submissions due March 1, 2014
Author Notification March 31, 2014
Camera Ready Submission April 15, 2014
Doctoral Symposium:
Papers due April 5, 2014
Author Notification April 15, 2014
Poster and Demo Track
Submissions due April 5, 2014
Author Notifications April 15, 2014
Camera Ready Copies due April 20, 2014
=== Submissions
All submissions must be original and unpublished. Accepted papers will
be published by ACM and disseminated through the ACM Digital Library.
More information about the tracks and submission information can be
found on the DEBS 2014 website:
http://www.cse.iitb.ac.in/debs2014/
=== Scope of the Conference
The topics addressed by the conference include (but are not limited to):
*** Models, Architectures and Paradigms
- Event-driven architectures
- Big Data (event-processing in Big Data)
- Internet of Things (event-processing in M2M)
- Basic interaction models
- Event algebras, event schemas and type systems
- Languages for event correlation and patterns, streaming and continuous
queries, data fusion
- Models for static and dynamic environments
- Complex event processing
- Design and programming methodologies
- Event-based business process management and modeling
- Experimental methodologies
- Performance modeling and prediction based on analytic approaches
- Functional Reactive Programming
*** Middleware Infrastructures for Event-Based Computing
- Federated event-based systems
- Middleware for actuator and sensor networks
- Algorithms and protocols
- Optimization techniques for event-based (or streaming) systems
- Event dissemination based on p2p systems
- Context and location awareness
- Fault-tolerance, reliability, availability, and recovery
- Security issues
- (Self-)Management
- Mobility and resource constrained device support
- Streaming queries, transformations, or correlation engines
- Logic-based event processing
- Semantic event processing
- Business Process Management with events
*** Applications, Experiences, and Requirements
- Use cases and applications of event-based systems
- Real-world application deployments using event-based middleware
- Domain-specific deployments of event-based systems
- Real-world data characterizing event-based applications
- Benchmarks, performance evaluations, and testbeds
- Application requirements for next-generation event-based solutions
- Relation to other architectures
- Enterprise application integration
- Event-driven business process management
- Information logistics
- Seamless integration of event-based mechanisms into middleware platforms
=== Organization:
General Co-Chairs:
Umesh Bellur (IIT Bombay, India)
Ravi Kothari (IBM India Research Labs)
Program Co-Chairs:
Dharanipragada Janakiram (IIT Madras, India)
Pascal Felber (U. of Neuchatel, Switzerland)
Proceedings Chairs:
David Eyers (U. of Otago, New Zealand)
Industry Co-Chairs:
Koustuv Dasgupta (Xerox Research Center, India)
Todd Montogomery (Informatica, USA)
Local Organization Chair:
Shruti Kunde (Xerox Research Center India)
Tutorial Co-Chairs:
R K Shyamsundar (TIFR, India)
Alexander Wolf (Imperial College, London, UK)
Poster & Demo Co-Chairs:
Vana Kalogeraki (U. of Athens, Greece)
Puru Kulkarni (IIT Bombay, India)
Doctoral Workshop Co-Chairs:
Niloy Ganguly (IIT Kharagpur, India)
Nalini Venkatasubramanian (UC Irvine, USA)
Grand Challenge Co-Chairs:
Zbigniew Jerzak (SAP AG, Germany)
Holger Ziekow (AGT International, Germany)
Publicity Co-Chairs:
Annika Hinze (U. of Waikato, New Zealand)
Boris Koldehofe (U. of Stuttgart, Germany)
Madhu Kumar SD (NIT Calicut, India)
**********************************************************
*
* Contributions to be spread via DMANET are submitted to
*
* DMANET@zpr.uni-koeln.de
*
* Replies to a message carried on DMANET should NOT be
* addressed to DMANET but to the original sender. The
* original sender, however, is invited to prepare an
* update of the replies received and to communicate it
* via DMANET.
*
* DISCRETE MATHEMATICS AND ALGORITHMS NETWORK (DMANET)
* http://www.zaik.uni-koeln.de/AFS/publications/dmanet/
*
**********************************************************
[DMANET] IFORS 2014 - Call for talks on Container Terminal Operations
Friends and colleagues (and apologies for multiple postings):
I am organizing a session on 'Container Terminal Operations' under the
stream of "Port operations" for the upcoming IFORS 2014 meeting to be
held July 13-18 in Barcelona. The website for the conference can be
found at www.ifors2014.org.
I would like to invite you to submit an abstract (until January 31,
2014) and participate in the discussion.
If you are interested in presenting a paper in that session, please
send me your title along with your name at
deniz.ozdemir@yasar.edu.tr . So that I can provide you the invitation
code and the necessary details.
Looking forward to seeing you in Barcelona!
-deniz
Deniz Ozdemir
Department of International Logistics Management
Yasar University
Universite Caddesi, No:35-37,
Agacli Yol, Bornova, Izmir, 35100 Turkey
Phone: +90 (232) 411-5275
Fax: +90 (232) 374 54 74
deniz.ozdemir@yasar.edu.tr
Web: http://dozdemir.yasar.edu.tr
**********************************************************
*
* Contributions to be spread via DMANET are submitted to
*
* DMANET@zpr.uni-koeln.de
*
* Replies to a message carried on DMANET should NOT be
* addressed to DMANET but to the original sender. The
* original sender, however, is invited to prepare an
* update of the replies received and to communicate it
* via DMANET.
*
* DISCRETE MATHEMATICS AND ALGORITHMS NETWORK (DMANET)
* http://www.zaik.uni-koeln.de/AFS/publications/dmanet/
*
**********************************************************
I am organizing a session on 'Container Terminal Operations' under the
stream of "Port operations" for the upcoming IFORS 2014 meeting to be
held July 13-18 in Barcelona. The website for the conference can be
found at www.ifors2014.org.
I would like to invite you to submit an abstract (until January 31,
2014) and participate in the discussion.
If you are interested in presenting a paper in that session, please
send me your title along with your name at
deniz.ozdemir@yasar.edu.tr . So that I can provide you the invitation
code and the necessary details.
Looking forward to seeing you in Barcelona!
-deniz
Deniz Ozdemir
Department of International Logistics Management
Yasar University
Universite Caddesi, No:35-37,
Agacli Yol, Bornova, Izmir, 35100 Turkey
Phone: +90 (232) 411-5275
Fax: +90 (232) 374 54 74
deniz.ozdemir@yasar.edu.tr
Web: http://dozdemir.yasar.edu.tr
**********************************************************
*
* 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] Fwd: TCS 2014 cfp
TCS 2014
8th IFIP International Conference on Theoretical Computer Science
September 1-3, 2014 Rome, Italy
http://www.cyprusconferences.org/tcs2014/
Held in conjunction with the 25th Conference on Concurrency Theory (CONCUR 2014)
We apologize if you receive multiple copies of this message.
AIM AND SCOPE OF THE CONFERENCE:
Under the patronage of the International Federation of Information
Processing (IFIP), since year 2000 the IFIP Technical Committee 1
(Foundations of Computer Science) has organized a series of biannual
international conferences in Theoretical Computer Science. After
Sendai (2000), Montreal (2002), Toulouse (2004), Santiago (2006),
Milano (2008), Brisbane (2010), and Amsterdam (2012), the 8th edition
will be held in Rome in September 2014, in cooperation with the IFIP
Working Group 2.2 (Formal Description of Programming Concepts) and in
conjunction with the 25th Conference on Concurrency Theory. We call
for papers in all areas of Theoretical Computer Science: they will be
evaluated by two committees:
Track A: Algorithms, Complexity and Models of Computation
Track B: Logic, Semantics, Specification and Verification
TOPICS:
Suggested, but not exclusive, topics of interest include:
Track A - analysis and design of algorithms; automata and formal
languages; cellular automata and systems; combinatorial, graph and
optimization algorithms; computational learning theory; computational
complexity; computational geometry; cryptography; descriptive
complexity; evolutionary and genetic computing; experimental
algorithms; mobile computing; molecular computing and algorithmic
aspects of bioinformatics; network computing; neural computing;
parallel and distributed algorithms; probabilistic and randomized
algorithms; quantum computing; structural information and
communication complexity.
Track B - automata theory; automated deduction; constructive and
non-standard logics in computer science; concurrency theory and
foundations of distributed and mobile computing; database theory;
finite model theory; formal aspects of program analysis, foundations
of hybrid and real-time systems; lambda and combinatory calculi;
logical aspects of computational complexity; modal and temporal
logics; model checking and verification; probabilistic systems; logics
and semantics of programs; foundations of security; term rewriting;
specifications; type, proof and category theory in computer science.
SUBMISSION GUIDELINES:
Authors are invited to submit an extended abstract of at most 15 pages
(LNCS style with at least 11-point font size) to arrive before April
27, 2014. If more space is needed, a clearly marked appendix, to be
read at the discretion of the program committee, may be included if
desired. Submission will be handled by EasyChair. Further information
and submission details can be found on the Conference web page.
Simultaneous submissions to other conferences with published
proceedings are not allowed.
PROCEEDINGS:
The conference proceedings will be published by Springer-Verlag in
Lecture Notes in Computer Science (LNCS) series. Selected papers from
TCS 2014 will be invited to a special issue of the Journal Theoretical
Computer Science.
IMPORTANT DATES:
Deadline for submission: April 27, 2014.
Notification of acceptance: June 25, 2014.
Final manuscript due: July 6, 2014.
Conference: September 1-3, 2014.
STEERING COMMITTEE:
- Giorgio Ausiello, Sapienza Univ. di Roma
- Jos Baeten, CWI Amsterdam
- Jacques Sakarovitch, CNRS/T el ecom ParisTech
CONFERENCE CO-CHAIRS:
- Daniele Gorla, Sapienza Univ. di Roma
- Rossella Petreschi, Sapienza Univ. di Roma
PROGRAM COMMITTEES:
Track A
- Cristian Calude, University of Auckland
- Josep Diaz (Chair), UPC Barcelona
- Irene Finocchi, Sapienza Univ. di Roma
- Paola Flocchini, University of Ottawa
- Aristides Gionis, Aalto University Helsinki
- Mordecai Golin, Hong Kong University of Tech.
- Juhani Karhum aki, Turku University
- Massimo Melucci, Univ. di Padova
- Elvira Mayordomo, Universidad de Zaragoza
- Friedhelm Meyer auf der Heide, Univ. of Paderborn
- Pekka Orponen, Aalto University Helsinki
- Giuseppe Persiano, Univ. di Salerno
- G eraud S enizergues, Universit e Bordeaux 1
- Olivier Serre, CNRS / Universit e Paris 7
- Paul Spirakis, University of Liverpool
- Osamu Watanabe, Tokyo Inst. of Technology
- Peter Widmayer, ETH Zurich
Track B
- Jos Baeten, CWI Amsterdam
- Lars Birkedal, Aarhus University
- Andrei Bulatov, Simon Fraser University
- James Cheney, University of Edinburgh
- Ugo Dal Lago, Univ. di Bologna
- Jos ee Desharnais, Universit e Laval
- J org Endrullis, Vrije Universiteit Amsterdam
- J erome Feret, ENS Paris
- Marcelo Fiore, University of Cambridge
- Silvio Ghilardi, Univ. di Milano
- Benjamin Gr egoire, INRIA Sophia
- Ichiro Hasuo, University of Tokyo
- Marieke Huisman, University of Twente
- Jean Krivine, CNRS / Universit e Paris 7
- Radha Jagadeesan, DePaul University, Chicago
- Ivan Lanese, Univ. di Bologna
- Grigore Rosu, University of Illinois at U-C
- Davide Sangiorgi (Chair), Univ. di Bologna
- Vladimiro Sassone, University of Southampton
- Igor Walukiewicz, CNRS / Universit e Bordeaux 1
**********************************************************
*
* 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 IFIP International Conference on Theoretical Computer Science
September 1-3, 2014 Rome, Italy
http://www.cyprusconferences.org/tcs2014/
Held in conjunction with the 25th Conference on Concurrency Theory (CONCUR 2014)
We apologize if you receive multiple copies of this message.
AIM AND SCOPE OF THE CONFERENCE:
Under the patronage of the International Federation of Information
Processing (IFIP), since year 2000 the IFIP Technical Committee 1
(Foundations of Computer Science) has organized a series of biannual
international conferences in Theoretical Computer Science. After
Sendai (2000), Montreal (2002), Toulouse (2004), Santiago (2006),
Milano (2008), Brisbane (2010), and Amsterdam (2012), the 8th edition
will be held in Rome in September 2014, in cooperation with the IFIP
Working Group 2.2 (Formal Description of Programming Concepts) and in
conjunction with the 25th Conference on Concurrency Theory. We call
for papers in all areas of Theoretical Computer Science: they will be
evaluated by two committees:
Track A: Algorithms, Complexity and Models of Computation
Track B: Logic, Semantics, Specification and Verification
TOPICS:
Suggested, but not exclusive, topics of interest include:
Track A - analysis and design of algorithms; automata and formal
languages; cellular automata and systems; combinatorial, graph and
optimization algorithms; computational learning theory; computational
complexity; computational geometry; cryptography; descriptive
complexity; evolutionary and genetic computing; experimental
algorithms; mobile computing; molecular computing and algorithmic
aspects of bioinformatics; network computing; neural computing;
parallel and distributed algorithms; probabilistic and randomized
algorithms; quantum computing; structural information and
communication complexity.
Track B - automata theory; automated deduction; constructive and
non-standard logics in computer science; concurrency theory and
foundations of distributed and mobile computing; database theory;
finite model theory; formal aspects of program analysis, foundations
of hybrid and real-time systems; lambda and combinatory calculi;
logical aspects of computational complexity; modal and temporal
logics; model checking and verification; probabilistic systems; logics
and semantics of programs; foundations of security; term rewriting;
specifications; type, proof and category theory in computer science.
SUBMISSION GUIDELINES:
Authors are invited to submit an extended abstract of at most 15 pages
(LNCS style with at least 11-point font size) to arrive before April
27, 2014. If more space is needed, a clearly marked appendix, to be
read at the discretion of the program committee, may be included if
desired. Submission will be handled by EasyChair. Further information
and submission details can be found on the Conference web page.
Simultaneous submissions to other conferences with published
proceedings are not allowed.
PROCEEDINGS:
The conference proceedings will be published by Springer-Verlag in
Lecture Notes in Computer Science (LNCS) series. Selected papers from
TCS 2014 will be invited to a special issue of the Journal Theoretical
Computer Science.
IMPORTANT DATES:
Deadline for submission: April 27, 2014.
Notification of acceptance: June 25, 2014.
Final manuscript due: July 6, 2014.
Conference: September 1-3, 2014.
STEERING COMMITTEE:
- Giorgio Ausiello, Sapienza Univ. di Roma
- Jos Baeten, CWI Amsterdam
- Jacques Sakarovitch, CNRS/T el ecom ParisTech
CONFERENCE CO-CHAIRS:
- Daniele Gorla, Sapienza Univ. di Roma
- Rossella Petreschi, Sapienza Univ. di Roma
PROGRAM COMMITTEES:
Track A
- Cristian Calude, University of Auckland
- Josep Diaz (Chair), UPC Barcelona
- Irene Finocchi, Sapienza Univ. di Roma
- Paola Flocchini, University of Ottawa
- Aristides Gionis, Aalto University Helsinki
- Mordecai Golin, Hong Kong University of Tech.
- Juhani Karhum aki, Turku University
- Massimo Melucci, Univ. di Padova
- Elvira Mayordomo, Universidad de Zaragoza
- Friedhelm Meyer auf der Heide, Univ. of Paderborn
- Pekka Orponen, Aalto University Helsinki
- Giuseppe Persiano, Univ. di Salerno
- G eraud S enizergues, Universit e Bordeaux 1
- Olivier Serre, CNRS / Universit e Paris 7
- Paul Spirakis, University of Liverpool
- Osamu Watanabe, Tokyo Inst. of Technology
- Peter Widmayer, ETH Zurich
Track B
- Jos Baeten, CWI Amsterdam
- Lars Birkedal, Aarhus University
- Andrei Bulatov, Simon Fraser University
- James Cheney, University of Edinburgh
- Ugo Dal Lago, Univ. di Bologna
- Jos ee Desharnais, Universit e Laval
- J org Endrullis, Vrije Universiteit Amsterdam
- J erome Feret, ENS Paris
- Marcelo Fiore, University of Cambridge
- Silvio Ghilardi, Univ. di Milano
- Benjamin Gr egoire, INRIA Sophia
- Ichiro Hasuo, University of Tokyo
- Marieke Huisman, University of Twente
- Jean Krivine, CNRS / Universit e Paris 7
- Radha Jagadeesan, DePaul University, Chicago
- Ivan Lanese, Univ. di Bologna
- Grigore Rosu, University of Illinois at U-C
- Davide Sangiorgi (Chair), Univ. di Bologna
- Vladimiro Sassone, University of Southampton
- Igor Walukiewicz, CNRS / Universit e Bordeaux 1
**********************************************************
*
* Contributions to be spread via DMANET are submitted to
*
* DMANET@zpr.uni-koeln.de
*
* Replies to a message carried on DMANET should NOT be
* addressed to DMANET but to the original sender. The
* original sender, however, is invited to prepare an
* update of the replies received and to communicate it
* via DMANET.
*
* DISCRETE MATHEMATICS AND ALGORITHMS NETWORK (DMANET)
* http://www.zaik.uni-koeln.de/AFS/publications/dmanet/
*
**********************************************************
[DMANET] Call for Papers (Deadline Approaching) -- Seventh International Conference on FUN WITH ALGORITHMS (FUN 2014)
[Deadline for paper submission: 15th of January, 2014]
Apologies for multiple copies.
Apologies for multiple copies.
--------
FUN 2014
CALL FOR PAPERS
http://www.di.unipi.it/fun14
Seventh International Conference on FUN WITH ALGORITHMS
July 1-3, 2014, Lipari Island, Sicily, Italy
The Seventh International conference on Fun with Algorithms (FUN 2014)
is dedicated to the use, design, and analysis of algorithms and data
structures, focusing on results that provide amusing, witty but
nonetheless original and scientifically profound contributions to the
area. The previous FUNs were held in Elba Island, Italy; in
Castiglioncello, Tuscany, Italy; in Ischia Island, Italy; and in San
Servolo Island, Venice, Italy. Special issues of Theoretical Computer
Science, Discrete Applied Mathematics, and Theory of Computing Systems
were dedicated to them.
TOPICS OF INTEREST include (but are not limited to):
FUN with biological algorithms
FUN with combinatorial algorithms
FUN with cryptographic algorithms
FUN with distributed algorithms
FUN with game-theoretic algorithms
FUN with geometrical algorithms
FUN with graph algorithms
FUN with internet algorithms
FUN with mobile algorithms
FUN with optimization algorithms
FUN with parallel algorithms
FUN with randomized algorithms
FUN with robotics algorithms
FUN with space-conscious algorithms
FUN with string algorithms
FUN with visualization of algorithms
PROGRAM COMMITTEE
Jérémie Chalopin, LIF, CNRS & Aix Marseille Université
Pierluigi Crescenzi, University of Florence
Shantanu Das, Aix-Marseille Université
Josep Diaz, UPC Barcelona
Yann Disser, TU Berlin
Paolo Ferragina, University of Pisa
Fedor Fomin, University of Bergen
Pierre Fraigniaud, CNRS and University Paris Diderot
Leszek Gasieniec, University of Liverpool
Fabrizio Grandoni, IDSIA, University of Lugano
Evangelos Kranakis, Carleton University
Danny Krizanc, Wesleyan University
Flaminia Luccio, Ca' Foscari University of Venice
Matus Mihalak, ETH Zurich
Linda Pagli, University of Pisa
David Peleg, The Weizmann Institute
Paolo Penna, Autonomous Research, Ancona
Giuseppe Persiano, University of Salerno
Giuseppe Prencipe, University of Pisa
Jose Rolim, University of Geneva
Piotr Sankowski, University of Warsaw
Ryuhei Uehara, Japan Advanced Institute of Science and Technology
Jorge Urrutia, Universidad Nacional Autónoma de México
Peter Widmayer (chair), ETH Zurich
Christos Zaroliagis, CTI and University of Patras
IMPORTANT DATES
Paper Submission: January 15, 2014
Acceptance Notification: February 28, 2014
Hotel reservation: March 31, 2014
Final version due: March 31, 2014
Conference: July 1-3, 2014
SUBMISSION DETAILS
A full paper should be submitted by January 15, 2014 following the
submission link given at the FUN 2014 web site. Manuscripts should not
exceed 12 pages. Authors of accepted papers are expected to present
their work at the conference.
PUBLICATIONS
Conference proceedings will be published by Springer in the LNCS
series. A special issue of Theoretical Computer Science will be
dedicated to a selected set of papers.
ADDITIONAL DETAILS
Additional details can be found in the conference web page:
http://www.di.unipi.it/fun14
Conference Chairs: Alfredo Ferro and Fabrizio Luccio
PC Chair: Peter Widmayer
--
Giuseppe Prencipe
Dipartimento di Informatica
L.go B. Pontecorvo, 3
56100, Pisa
ITALY
tel. +39 050 2213148
fax. +39 050 2212726
**********************************************************
*
* 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: Special session "Evolutionary Computation in Combinatorial Optimization" at WCCI'2014
-----------------------------------------------
Call for Paper
Special Session on
*Evolutionary Computation in Combinatorial Optimization*
http://www.cs.nott.ac.uk/~rxq/CEC2014ECCO.htm
at 2014 IEEE Congress on Evolutionary Computation (CEC'2014), WCCI'2014
Extended deadline: 20 January 2014
-----------------------------------------------
This special session aims to bring together state-of-the-art research on evolutionary computation in a wide range of combinatorial optimization problems. Examples of computational algorithms include ant colony systems, artificial immune systems, cultural algorithms, evolutionary strategies, genetic algorithms, genetic programming, evolutionary based hyper-heuristics, memetic algorithms, path relinking, particle swarm optimization and scatter search, etc.
Topics of applications include but not limited to:
- 2D/3D strip packing and bin packing
- assignment problem
- cutting stock
- scheduling, dynamic scheduling and rescheduling
- educational timetabling
- grid scheduling
- knapsack problems
- multi-objective scheduling
- network routing
- personnel scheduling
- portfolio optimisation
- production scheduling
- project scheduling
- recourse allocation
- space allocation
- sports timetabling
- transport scheduling
- and many more
*Paper submission*
Please follow the IEEE CEC/WCCI 2014 Submission Web Site. Please select the corresponding special session name ("Evolutionary Computation in Combinatorial Optimisation") as the "main research topic" in submission. Special session papers are included as regular conference papers.
*Organizers*
Rong Qu
School of Computer Science
University of Nottingham, Nottingham, NG8 1BB, UK
Email: rxq@cs.nott.ac.uk
A. Sima Uyar
Computer Engineering Department
Istanbul Technical University, Istanbul, Turkey
Email: etaner@itu.edu.tr
Michel Toulouse
Department of computer science
Oklahoma State University, Oklahoma, USA
Email: michel.toulouse@cirrelt.ca
This message and any attachment are intended solely for the addressee and may contain confidential information. If you have received this message in error, please send it back to me, and immediately delete it. Please do not use, copy or disclose the information contained in this message or in any attachment. Any views or opinions expressed by the author of this email do not necessarily reflect the views of the University of Nottingham.
This message has been checked for viruses but the contents of an attachment
may still contain software viruses which could damage your computer system, you are advised to perform your own checks. Email communications with the University of Nottingham may be monitored as permitted by UK legislation.
**********************************************************
*
* Contributions to be spread via DMANET are submitted to
*
* DMANET@zpr.uni-koeln.de
*
* Replies to a message carried on DMANET should NOT be
* addressed to DMANET but to the original sender. The
* original sender, however, is invited to prepare an
* update of the replies received and to communicate it
* via DMANET.
*
* DISCRETE MATHEMATICS AND ALGORITHMS NETWORK (DMANET)
* http://www.zaik.uni-koeln.de/AFS/publications/dmanet/
*
**********************************************************
Call for Paper
Special Session on
*Evolutionary Computation in Combinatorial Optimization*
http://www.cs.nott.ac.uk/~rxq/CEC2014ECCO.htm
at 2014 IEEE Congress on Evolutionary Computation (CEC'2014), WCCI'2014
Extended deadline: 20 January 2014
-----------------------------------------------
This special session aims to bring together state-of-the-art research on evolutionary computation in a wide range of combinatorial optimization problems. Examples of computational algorithms include ant colony systems, artificial immune systems, cultural algorithms, evolutionary strategies, genetic algorithms, genetic programming, evolutionary based hyper-heuristics, memetic algorithms, path relinking, particle swarm optimization and scatter search, etc.
Topics of applications include but not limited to:
- 2D/3D strip packing and bin packing
- assignment problem
- cutting stock
- scheduling, dynamic scheduling and rescheduling
- educational timetabling
- grid scheduling
- knapsack problems
- multi-objective scheduling
- network routing
- personnel scheduling
- portfolio optimisation
- production scheduling
- project scheduling
- recourse allocation
- space allocation
- sports timetabling
- transport scheduling
- and many more
*Paper submission*
Please follow the IEEE CEC/WCCI 2014 Submission Web Site. Please select the corresponding special session name ("Evolutionary Computation in Combinatorial Optimisation") as the "main research topic" in submission. Special session papers are included as regular conference papers.
*Organizers*
Rong Qu
School of Computer Science
University of Nottingham, Nottingham, NG8 1BB, UK
Email: rxq@cs.nott.ac.uk
A. Sima Uyar
Computer Engineering Department
Istanbul Technical University, Istanbul, Turkey
Email: etaner@itu.edu.tr
Michel Toulouse
Department of computer science
Oklahoma State University, Oklahoma, USA
Email: michel.toulouse@cirrelt.ca
This message and any attachment are intended solely for the addressee and may contain confidential information. If you have received this message in error, please send it back to me, and immediately delete it. Please do not use, copy or disclose the information contained in this message or in any attachment. Any views or opinions expressed by the author of this email do not necessarily reflect the views of the University of Nottingham.
This message has been checked for viruses but the contents of an attachment
may still contain software viruses which could damage your computer system, you are advised to perform your own checks. Email communications with the University of Nottingham may be monitored as permitted by UK legislation.
**********************************************************
*
* Contributions to be spread via DMANET are submitted to
*
* DMANET@zpr.uni-koeln.de
*
* Replies to a message carried on DMANET should NOT be
* addressed to DMANET but to the original sender. The
* original sender, however, is invited to prepare an
* update of the replies received and to communicate it
* via DMANET.
*
* DISCRETE MATHEMATICS AND ALGORITHMS NETWORK (DMANET)
* http://www.zaik.uni-koeln.de/AFS/publications/dmanet/
*
**********************************************************
Monday, January 6, 2014
[DMANET] CFP: The Second International Workshop on Vehicular Traffic Management for Smart Cities (VTM 2014)
----------------------------------------------------------------------------------------
The Second International Workshop on Vehicular Traffic Management for Smart
Cities (VTM 2014) (http://csserver.ucd.ie/~sdjahel/VTM2014/VTM.html)
-----------------------------------------------------------------------------------------
To be held in conjunction with The 2014 IEEE 79th Vehicular Technology
Conference (VTC2014-Spring), 18-21 May 2014, Seoul, Korea
-----------------------------------------------------------------------------------------
CALL FOR PAPERS
---------------
The rapid growth of the number of cars on the roads has created a
plethora of
challenges for road traffic management authorities such as, traffic
congestion, increasing number of accidents, air pollution, etc. Over the
last
decade, researchers from both industry and academia have focused their
efforts
on exploiting advances in sensing and communication technologies to make
the
existing road Traffic Management Systems (TMSs) more efficient.
Their main goal is to improve the traveler's safety, shorten the travel
time
and reduce the environmental impact.
Road traffic management for smart cities involves monitoring the actual
traffic situation in real-time (including volumes, speeds, incidents, etc.)
and then controlling or influencing the flow using that information in
order
to reduce traffic congestion, deal efficiently with incidents and provide
accurate and reliable traffic information and prediction to both drivers
and
authorities. Moreover, it is foreseen that future smart cities will provide
faster and secure emergency service delivery by granting proper traffic
privileges to emergency vehicles.
This workshop seeks to bring together researchers, scientists and engineers
from various research communities, as well as practitioners and
administrators
who face the challenges of traffic management in smart cities. They are all
welcome to present and discuss their latest research findings, ideas,
simulation tools and applications at the 2014 VTM workshop.
Topics of Interest
------------------
Topics of interest include, but are not limited to:
• Vehicular traffic management
• Vehicle-to-Vehicle (V2V) and Vehicle-to-Infrastructure (V2I) protocols
for smart cities
• Data sensing and gathering techniques in urban environments
• Mobile sensing (privacy, trust management and security issues)
• Data fusion and integration for traffic management systems
(techniques, algorithms, data types, etc.)
• Distributed simulations for large scale urban environments
• Route planning protocols and road traffic prediction mechanisms
• Wireless Sensor Networks (WSNs), Wireless Mesh Networks (WMNs) and VANETs
applied to traffic management systems in smart cities
• Mobility and vehicular traffic measurement, modeling, and simulation
• Security and QoS issues for ITS applications
• V2X feasibility over LTE networks
• M2M communication for data collection in road environment
• Mobile applications for intelligent traffic management
• Deployment issues for smart infrastructure in urban areas
• Vehicular Sensor Networks (VSNs) applications for road traffic management
• Decision making tools for road traffic management
• Electric vehicles
All accepted papers will be published in the proceedings of the VTM2014
workshop and made available through IEEE Xplore.
Important Dates
---------------
Submission deadline ------ 10 February 2014
Acceptance notification ------ 15 March 2014
Camera-ready version ------ 24 March 2014
Keynote speakers
----------------
Prof. Yacine Ghamri-Doudane, L3i Lab, University of La Rochelle, France
A second keynote speaker will be confirmed later.
Submission guidelines
---------------------
The VTM2014 workshop follows the formatting guidelines of IEEE
VTC2014-Spring.
Submissions should be original and limited to 6 double-column pages in IEEE
paper templates. All submissions should be written in English using
10-point
font. Authors are invited to submit their manuscripts in PDF format through
Track Chair conference system
(http://vtc2014spring-wk.trackchair.com/track/1237/submit ). Please contact
Dr. Soufiene Djahel (soufiene.djahel at ucd dot ie), Prof. Damien Magoni
(magoni at labri dot fr) or Dr. Philip Perry (philip.perry at ucd dot
ie) if
you have any questions about submitting your manuscripts.
General co-Chairs
-----------------
Soufiene Djahel
University College Dublin, Ireland
Falko Dressler
University of Innsbruck, Austria
John Murphy
University College Dublin, Ireland
TPC co-Chairs
-------------
Damien Magoni
University of Bordeaux 1, France
Philip Perry
University College Dublin, Ireland
Publicity Chair
---------------
Rahim Kacimi
Paul Sabatier University, France
TPC members
-----------
Wei Wei, Xi'an Jiao Tong University, China
Imad Jawhar, United Arab Emirates University, UAE
Amit Pande, University of California Davis, USA
Mélanie Bouroche, Trinity College Dublin, Ireland
Celimuge Wu, University of Electro-communications, Japan
Yassine Hadjadj Aoul, IRISA, France
Abdelmalik Bachir, Imperial College London, UK
Dalil Moad, City Passenger, France
Mohamed Hamdi, Sup'Com, Tunisia
Sidi-Mohammed Senouci, University of Bourgogne, France
Ramona Trestian, Middlesex University, UK
Marco Slot, Trinity College Dublin, Ireland
Lyes Khoukhi, University of Troyes, France
Stefan Joerer, University of Innsbruck, Austria
Saïd Gharout, Orange Labs, France
Djamel Djenouri, CERIST Research Center, Algeria
Xiang Cheng, Peking University, China
Ali Hamieh, University of Versailles, France
Hassine Moungla, University Paris Descartes, France
Intesab Hussain, University Paris Descartes, France
Mikael Asplund, Linköping University, Sweden
Razvan Stanica, INSA de Lyon, France
Nafaâ Jabeur, German University of Technology in Oman (GUtech), Oman
Huaqun Guo, Institute for Infocomm Research, A*STAR, Singapore
Ahcene Bendjoudi, CERIST Research Center, Algeria
Mostepha-redouane khouadjia, INRIA-SACLAY/LRI, France
Gabriel-Miro Muntean, Dublin City University, Ireland
Cyril Cassagnes, NSC, USMA, West Point, USA
Rahim Kacimi, Paul Sabatier University, France
Fen Zhou, Avignon University, France
**********************************************************
*
* 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 Second International Workshop on Vehicular Traffic Management for Smart
Cities (VTM 2014) (http://csserver.ucd.ie/~sdjahel/VTM2014/VTM.html)
-----------------------------------------------------------------------------------------
To be held in conjunction with The 2014 IEEE 79th Vehicular Technology
Conference (VTC2014-Spring), 18-21 May 2014, Seoul, Korea
-----------------------------------------------------------------------------------------
CALL FOR PAPERS
---------------
The rapid growth of the number of cars on the roads has created a
plethora of
challenges for road traffic management authorities such as, traffic
congestion, increasing number of accidents, air pollution, etc. Over the
last
decade, researchers from both industry and academia have focused their
efforts
on exploiting advances in sensing and communication technologies to make
the
existing road Traffic Management Systems (TMSs) more efficient.
Their main goal is to improve the traveler's safety, shorten the travel
time
and reduce the environmental impact.
Road traffic management for smart cities involves monitoring the actual
traffic situation in real-time (including volumes, speeds, incidents, etc.)
and then controlling or influencing the flow using that information in
order
to reduce traffic congestion, deal efficiently with incidents and provide
accurate and reliable traffic information and prediction to both drivers
and
authorities. Moreover, it is foreseen that future smart cities will provide
faster and secure emergency service delivery by granting proper traffic
privileges to emergency vehicles.
This workshop seeks to bring together researchers, scientists and engineers
from various research communities, as well as practitioners and
administrators
who face the challenges of traffic management in smart cities. They are all
welcome to present and discuss their latest research findings, ideas,
simulation tools and applications at the 2014 VTM workshop.
Topics of Interest
------------------
Topics of interest include, but are not limited to:
• Vehicular traffic management
• Vehicle-to-Vehicle (V2V) and Vehicle-to-Infrastructure (V2I) protocols
for smart cities
• Data sensing and gathering techniques in urban environments
• Mobile sensing (privacy, trust management and security issues)
• Data fusion and integration for traffic management systems
(techniques, algorithms, data types, etc.)
• Distributed simulations for large scale urban environments
• Route planning protocols and road traffic prediction mechanisms
• Wireless Sensor Networks (WSNs), Wireless Mesh Networks (WMNs) and VANETs
applied to traffic management systems in smart cities
• Mobility and vehicular traffic measurement, modeling, and simulation
• Security and QoS issues for ITS applications
• V2X feasibility over LTE networks
• M2M communication for data collection in road environment
• Mobile applications for intelligent traffic management
• Deployment issues for smart infrastructure in urban areas
• Vehicular Sensor Networks (VSNs) applications for road traffic management
• Decision making tools for road traffic management
• Electric vehicles
All accepted papers will be published in the proceedings of the VTM2014
workshop and made available through IEEE Xplore.
Important Dates
---------------
Submission deadline ------ 10 February 2014
Acceptance notification ------ 15 March 2014
Camera-ready version ------ 24 March 2014
Keynote speakers
----------------
Prof. Yacine Ghamri-Doudane, L3i Lab, University of La Rochelle, France
A second keynote speaker will be confirmed later.
Submission guidelines
---------------------
The VTM2014 workshop follows the formatting guidelines of IEEE
VTC2014-Spring.
Submissions should be original and limited to 6 double-column pages in IEEE
paper templates. All submissions should be written in English using
10-point
font. Authors are invited to submit their manuscripts in PDF format through
Track Chair conference system
(http://vtc2014spring-wk.trackchair.com/track/1237/submit ). Please contact
Dr. Soufiene Djahel (soufiene.djahel at ucd dot ie), Prof. Damien Magoni
(magoni at labri dot fr) or Dr. Philip Perry (philip.perry at ucd dot
ie) if
you have any questions about submitting your manuscripts.
General co-Chairs
-----------------
Soufiene Djahel
University College Dublin, Ireland
Falko Dressler
University of Innsbruck, Austria
John Murphy
University College Dublin, Ireland
TPC co-Chairs
-------------
Damien Magoni
University of Bordeaux 1, France
Philip Perry
University College Dublin, Ireland
Publicity Chair
---------------
Rahim Kacimi
Paul Sabatier University, France
TPC members
-----------
Wei Wei, Xi'an Jiao Tong University, China
Imad Jawhar, United Arab Emirates University, UAE
Amit Pande, University of California Davis, USA
Mélanie Bouroche, Trinity College Dublin, Ireland
Celimuge Wu, University of Electro-communications, Japan
Yassine Hadjadj Aoul, IRISA, France
Abdelmalik Bachir, Imperial College London, UK
Dalil Moad, City Passenger, France
Mohamed Hamdi, Sup'Com, Tunisia
Sidi-Mohammed Senouci, University of Bourgogne, France
Ramona Trestian, Middlesex University, UK
Marco Slot, Trinity College Dublin, Ireland
Lyes Khoukhi, University of Troyes, France
Stefan Joerer, University of Innsbruck, Austria
Saïd Gharout, Orange Labs, France
Djamel Djenouri, CERIST Research Center, Algeria
Xiang Cheng, Peking University, China
Ali Hamieh, University of Versailles, France
Hassine Moungla, University Paris Descartes, France
Intesab Hussain, University Paris Descartes, France
Mikael Asplund, Linköping University, Sweden
Razvan Stanica, INSA de Lyon, France
Nafaâ Jabeur, German University of Technology in Oman (GUtech), Oman
Huaqun Guo, Institute for Infocomm Research, A*STAR, Singapore
Ahcene Bendjoudi, CERIST Research Center, Algeria
Mostepha-redouane khouadjia, INRIA-SACLAY/LRI, France
Gabriel-Miro Muntean, Dublin City University, Ireland
Cyril Cassagnes, NSC, USMA, West Point, USA
Rahim Kacimi, Paul Sabatier University, France
Fen Zhou, Avignon University, France
**********************************************************
*
* Contributions to be spread via DMANET are submitted to
*
* DMANET@zpr.uni-koeln.de
*
* Replies to a message carried on DMANET should NOT be
* addressed to DMANET but to the original sender. The
* original sender, however, is invited to prepare an
* update of the replies received and to communicate it
* via DMANET.
*
* DISCRETE MATHEMATICS AND ALGORITHMS NETWORK (DMANET)
* http://www.zaik.uni-koeln.de/AFS/publications/dmanet/
*
**********************************************************
Saturday, January 4, 2014
[DMANET] IFORS 2014 - Green Logistics Stream
With apologies for cross-postings.
=======================
Green Logistics Stream
IFORS 2014: 20th Conference of the International Federation of Operational
Research Societies
Barcelona
1318 July 2014
Abstracts are sought in any area of Green Logistics, including those that
fit the two thematic sessions being organised within this stream:
- "Green Freight Transportation", chaired by Dr Emrah Demir
(E.Demir@tue.nl)
- "Electric Vehicles", chaired by Dr Jakob Puchinger
(jakob.puchinger@ait.ac.at)
Please contact the chairs to submit to one of the two sessions above, or
myself for abstracts that do not fall into the two themes.
Please note that abstract submission closes on 31 January 2014. Further
details are available on the conference website http://www.ifors2014.com
Tolga Bektas
Southampton Management School
University of Southampton
=======================
**********************************************************
*
* 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/
*
**********************************************************
=======================
Green Logistics Stream
IFORS 2014: 20th Conference of the International Federation of Operational
Research Societies
Barcelona
1318 July 2014
Abstracts are sought in any area of Green Logistics, including those that
fit the two thematic sessions being organised within this stream:
- "Green Freight Transportation", chaired by Dr Emrah Demir
(E.Demir@tue.nl)
- "Electric Vehicles", chaired by Dr Jakob Puchinger
(jakob.puchinger@ait.ac.at)
Please contact the chairs to submit to one of the two sessions above, or
myself for abstracts that do not fall into the two themes.
Please note that abstract submission closes on 31 January 2014. Further
details are available on the conference website http://www.ifors2014.com
Tolga Bektas
Southampton Management School
University of Southampton
=======================
**********************************************************
*
* Contributions to be spread via DMANET are submitted to
*
* DMANET@zpr.uni-koeln.de
*
* Replies to a message carried on DMANET should NOT be
* addressed to DMANET but to the original sender. The
* original sender, however, is invited to prepare an
* update of the replies received and to communicate it
* via DMANET.
*
* DISCRETE MATHEMATICS AND ALGORITHMS NETWORK (DMANET)
* http://www.zaik.uni-koeln.de/AFS/publications/dmanet/
*
**********************************************************
Friday, January 3, 2014
[DMANET] AAAC 2014: submission is open now
***********************************************************************
AAAC2014
The 7th Annual Meeting of Asian Association for Algorithms and Computation
May 17-19, 2014, Hangzhou, China
http://www.cs.zju.edu.cn/algo/aaac2014/
***********************************************************************
Asian Association for Algorithms and Computation (AAAC) was founded in
2007, aiming at promoting collaborations among Asian scientists in all
areas of theoretical computer science.
The 7th AAAC Annual Meeting AAAC 2014 will take place in Hangzhou,
China. We invite submissions of abstracts presenting original research
or surveys in theoretical computer science.
****Topics****
All areas of theoretical computer science, especially design and
analysis of algorithms and complexity theory.
****Submissions****
Authors are invited to submit one-page abstracts (A4, PDF-files are
strongly preferred) presenting original research results or surveys.
Informal working notes including the one-page abstracts will be
distributed at
the meeting, which does not prevent any form of future publication on
the same work.
Authors can submit via easychiar (the server will be open on January 1,
2014)
http://www.easychair.org/conferences/?conf=aaac2014
****Important Dates****
Dates: May 17-19, 2014.
One-page abstract submission due: Feb 5, 2014
Notification: March 1, 2014
Early registration deadline: Mar 15, 2014
****Keynote Speakers****
Sanjeev Arora (Princeton University)
Francis Y.L. Chin (The University of Hong Kong)
****Program Committee****
Hee-Kap Ahn (Pohang University of Sci. and Tech.)
Leizhen Cai (The Chinese University of Hong Kong)
Mao-Cheng Cai (Institute of Systems Science)
Siu-Wing Cheng (The Hong Kong University of Science and Technology)
Otfried Cheong (Korea Advanced Institute of Science and Technology)
Francis Chin (The University of Hong Kong)
Kyung-Yong Chwa (Korea Advanced Institute of Science and Technology)
Xiaotie Deng (Shanghai Jiao Tong University)
Wen-Lian Hsu (Academia Sinica)
Xiaodong Hu (Chinese Academy of Sciences)
Kazuo Iwama (Kyoto University, Chair)
Sung Kwon Kim (Chung-Ang Univeristy)
DT Lee (Academia Sinica)
Zhiyong Liu (Institute of Computing Technology)
Chi-Jen Lu (Academia Sinica)
Kazuhisa Makino (The University of Tokyo)
Kunsoo Park (Seoul National University)
Sheung-Hung Poon (National Tsing Hua University)
Kunihiko Sadakane (Kyushu University)
Takeshi Tokuyama (Tohoku University)
Osamu Watanabe (Tokyo Institute of Technology)
Deshi Ye (Zhejiang University) Co-Chair
Guochuan Zhang (Zhejiang University) Co-Chair
Hong Zhu (Fudan University)
****Contact****
Deshi Ye (Zhejiang University)
yedeshi at zju.edu.cn
**********************************************************
*
* 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/
*
**********************************************************
AAAC2014
The 7th Annual Meeting of Asian Association for Algorithms and Computation
May 17-19, 2014, Hangzhou, China
http://www.cs.zju.edu.cn/algo/aaac2014/
***********************************************************************
Asian Association for Algorithms and Computation (AAAC) was founded in
2007, aiming at promoting collaborations among Asian scientists in all
areas of theoretical computer science.
The 7th AAAC Annual Meeting AAAC 2014 will take place in Hangzhou,
China. We invite submissions of abstracts presenting original research
or surveys in theoretical computer science.
****Topics****
All areas of theoretical computer science, especially design and
analysis of algorithms and complexity theory.
****Submissions****
Authors are invited to submit one-page abstracts (A4, PDF-files are
strongly preferred) presenting original research results or surveys.
Informal working notes including the one-page abstracts will be
distributed at
the meeting, which does not prevent any form of future publication on
the same work.
Authors can submit via easychiar (the server will be open on January 1,
2014)
http://www.easychair.org/conferences/?conf=aaac2014
****Important Dates****
Dates: May 17-19, 2014.
One-page abstract submission due: Feb 5, 2014
Notification: March 1, 2014
Early registration deadline: Mar 15, 2014
****Keynote Speakers****
Sanjeev Arora (Princeton University)
Francis Y.L. Chin (The University of Hong Kong)
****Program Committee****
Hee-Kap Ahn (Pohang University of Sci. and Tech.)
Leizhen Cai (The Chinese University of Hong Kong)
Mao-Cheng Cai (Institute of Systems Science)
Siu-Wing Cheng (The Hong Kong University of Science and Technology)
Otfried Cheong (Korea Advanced Institute of Science and Technology)
Francis Chin (The University of Hong Kong)
Kyung-Yong Chwa (Korea Advanced Institute of Science and Technology)
Xiaotie Deng (Shanghai Jiao Tong University)
Wen-Lian Hsu (Academia Sinica)
Xiaodong Hu (Chinese Academy of Sciences)
Kazuo Iwama (Kyoto University, Chair)
Sung Kwon Kim (Chung-Ang Univeristy)
DT Lee (Academia Sinica)
Zhiyong Liu (Institute of Computing Technology)
Chi-Jen Lu (Academia Sinica)
Kazuhisa Makino (The University of Tokyo)
Kunsoo Park (Seoul National University)
Sheung-Hung Poon (National Tsing Hua University)
Kunihiko Sadakane (Kyushu University)
Takeshi Tokuyama (Tohoku University)
Osamu Watanabe (Tokyo Institute of Technology)
Deshi Ye (Zhejiang University) Co-Chair
Guochuan Zhang (Zhejiang University) Co-Chair
Hong Zhu (Fudan University)
****Contact****
Deshi Ye (Zhejiang University)
yedeshi at zju.edu.cn
**********************************************************
*
* 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/
*
**********************************************************
from: National Science Foundation: Exploiting Parallelism and Scalability (XPS) program Webinar
From: National Science Foundation Update [mailto:nsf-update@nsf.gov]
Subject: Exploiting Parallelism and Scalability (XPS) program Webinar
Exploiting Parallelism and Scalability (XPS) program Webinar
Jan 10 2014 1:30PM to
Jan 10 2014 2:30PM
NSF Room 1105
The Exploiting Parallelism and Scalability (XPS) program (http://www.nsf.gov/funding/pgm_summ.jsp?pims_id=504842) aims to support groundbreaking research leading to a new era of parallel computing. Achieving the needed breakthroughs will require a collaborative effort among researchers representing all areas-- from services and applications down to the micro-architecture-- and will be built on new concepts, ...
More at http://www.nsf.gov/events/event_summ.jsp?cntn_id=129984&WT.mc_id=USNSF_13&WT.mc_ev=click
Subject: Exploiting Parallelism and Scalability (XPS) program Webinar
Exploiting Parallelism and Scalability (XPS) program Webinar
Jan 10 2014 1:30PM to
Jan 10 2014 2:30PM
NSF Room 1105
The Exploiting Parallelism and Scalability (XPS) program (http://www.nsf.gov/funding/pgm_summ.jsp?pims_id=504842) aims to support groundbreaking research leading to a new era of parallel computing. Achieving the needed breakthroughs will require a collaborative effort among researchers representing all areas-- from services and applications down to the micro-architecture-- and will be built on new concepts, ...
More at http://www.nsf.gov/events/event_summ.jsp?cntn_id=129984&WT.mc_id=USNSF_13&WT.mc_ev=click
[DMANET] CiE 2014: Language, Life, Limits - Budapest, 23-27 June 2014
3rd CALL FOR PAPERS:
CiE 2014: Language, Life, Limits
Budapest, Hungary
June 23 - 27, 2014
http://cie2014.inf.elte.hu
IMPORTANT DATES:
Submission Deadline for LNCS: 10 January 2014
Notification of authors: 3 March 2014
Deadline for final revisions: 31 March 2014
FUNDING and AWARDS:
CiE 2014 has received funding for student participation from the European
Association for Theoretical Computer Science EATCS. Please contact the PC
chairs if you are interested.
The best student paper will receive an award sponsored by Springer.
CiE 2014 is the tenth conference organized by CiE (Computability in
Europe), a European association of mathematicians, logicians, computer
scientists, philosophers, physicists and others interested in new
developments in computability and their underlying significance for the
real world. Previous meetings have taken place in Amsterdam (2005),
Swansea (2006), Siena (2007), Athens (2008), Heidelberg (2009), Ponta
Delgada (2010), Sofia (2011), Cambridge (2012), and Milan (2013).
The motto of CiE 2014 "Language, Life, Limits" intends to put a special
focus on relations between computational linguistics, natural and
biological computing, and more traditional fields of computability theory.
This is to be understood in its broadest sense including computational
aspects of problems in linguistics, studying models of computation and
algorithms inspired by physical and biological approaches as well as
exhibiting limits (and non-limits) of computability when considering
different models of computation arising from such approaches.
As with previous CiE conferences the allover glueing perspective is to
strengthen the mutual benefits of analyzing traditional and new
computational paradigms in their corresponding frameworks both with
respect to practical applications and a deeper theoretical understanding.
We particularly invite papers that build bridges between different parts
of the research community.
For topics covered by the conference, please visit
http://cie2014.inf.elte.hu/?Topics
We particularly welcome submissions in emergent areas, such as
bioinformatics and natural computation, where they have a basic connection
with computability.
TUTORIAL SPEAKERS:
Wolfgang Thomas (RWTH Aachen)
Peter Gruenwald (CWI, Amsterdam)
INVITED SPEAKERS:
Lev Beklemishev (Steklov Mathematical Institute, Moscow)
Alessandra Carbone (Universite Pierre et Marie Curie and CNRS Paris)
Maribel Fernandez (King's College London)
Przemyslaw Prusinkiewicz (University of Calgary)
Eva Tardos (Cornell University
Albert Visser (Utrecht University)
SPECIAL SESSIONS:
History and Philosophy of Computing
(organizers: Liesbeth de Mol, Giuseppe Primiero)
Computational Linguistics
(organizers: Maria Dolores Jimenez-Lopez, Gabor Proszeky)
Computability Theory
(organizers: Karen Lange, Barbara Csima)
Bio-inspired Computation
(organizers: Marian Gheorghe, Florin Manea)
Online Algorithms
(organizers: Joan Boyar, Csanad Imreh)
Complexity in Automata Theory
(organizers: Markus Lohrey, Giovanni Pighizzini)
Contributed papers will be selected from submissions received by the
PROGRAM COMMITTEE consisting of:
* Gerard Alberts (Amsterdam) * Sandra Alves (Porto)
* Hajnal Andreka (Budapest) * Luis Antunes (Porto)
* Arnold Beckmann (Swansea) * Laurent Bienvenu (Paris)
* Paola Bonizzoni (Milan) * Olivier Bournez (Palaiseau)
* Vasco Brattka (Munich) * Bruno Codenotti (Pisa)
* Erzsebet Csuhaj-Varju (Budapest, co-chair)
* Barry Cooper (Leeds) * Michael J. Dinneen (Auckland)
* Erich Graedel (Aachen) * Marie Hicks (Chicago IL)
* Natasha Jonoska (Tampa FL) * Jarkko Kari (Turku)
* Elham Kashefi (Edinburgh) * Viv Kendon (Leeds)
* Satoshi Kobayashi (Tokyo) * Andras Kornai (Budapest)
* Marcus Kracht (Bielefeld) * Benedikt Loewe (Amsterdam & Hamburg)
* Klaus Meer (Cottbus, co-chair) * Joseph R. Mileti (Grinnell IA)
* Georg Moser (Innsbruck) * Benedek Nagy (Debrecen)
* Sara Negri (Helsinki) * Thomas Schwentick (Dortmund)
* Neil Thapen (Prague) * Peter van Emde Boas (Amsterdam)
* Xizhong Zheng (Glenside PA)
The PROGRAMME COMMITTEE cordially invites all researchers (European and
non-European) in computability related areas to submit their papers (in
PDF format, max 10 pages using the LNCS style) for presentation at CiE
2014.
The submission site
https://www.easychair.org/conferences/?conf=cie2014
is open.
For submission instructions consult
http://cie2014.inf.elte.hu/?Submission_Instructions
The CONFERENCE PROCEEDINGS will be published by LNCS, Springer Verlag.
Contact: Erzsebet Csuhaj-Varju - csuhaj[at]inf.elte.hu
Website: http://cie2014.inf.elte.hu/
__________________________________________________________________________
ASSOCIATION COMPUTABILITY IN EUROPE http://www.computability.org.uk
CiE Conference Series http://www.illc.uva.nl/CiE
CiE 2014: Language, Life, Limits http://cie2014.inf.elte.hu
CiE Membership Application Form http://www.lix.polytechnique.fr/CIE
AssociationCiE on Twitter http://twitter.com/AssociationCiE
__________________________________________________________________________
**********************************************************
*
* 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/
*
**********************************************************
CiE 2014: Language, Life, Limits
Budapest, Hungary
June 23 - 27, 2014
http://cie2014.inf.elte.hu
IMPORTANT DATES:
Submission Deadline for LNCS: 10 January 2014
Notification of authors: 3 March 2014
Deadline for final revisions: 31 March 2014
FUNDING and AWARDS:
CiE 2014 has received funding for student participation from the European
Association for Theoretical Computer Science EATCS. Please contact the PC
chairs if you are interested.
The best student paper will receive an award sponsored by Springer.
CiE 2014 is the tenth conference organized by CiE (Computability in
Europe), a European association of mathematicians, logicians, computer
scientists, philosophers, physicists and others interested in new
developments in computability and their underlying significance for the
real world. Previous meetings have taken place in Amsterdam (2005),
Swansea (2006), Siena (2007), Athens (2008), Heidelberg (2009), Ponta
Delgada (2010), Sofia (2011), Cambridge (2012), and Milan (2013).
The motto of CiE 2014 "Language, Life, Limits" intends to put a special
focus on relations between computational linguistics, natural and
biological computing, and more traditional fields of computability theory.
This is to be understood in its broadest sense including computational
aspects of problems in linguistics, studying models of computation and
algorithms inspired by physical and biological approaches as well as
exhibiting limits (and non-limits) of computability when considering
different models of computation arising from such approaches.
As with previous CiE conferences the allover glueing perspective is to
strengthen the mutual benefits of analyzing traditional and new
computational paradigms in their corresponding frameworks both with
respect to practical applications and a deeper theoretical understanding.
We particularly invite papers that build bridges between different parts
of the research community.
For topics covered by the conference, please visit
http://cie2014.inf.elte.hu/?Topics
We particularly welcome submissions in emergent areas, such as
bioinformatics and natural computation, where they have a basic connection
with computability.
TUTORIAL SPEAKERS:
Wolfgang Thomas (RWTH Aachen)
Peter Gruenwald (CWI, Amsterdam)
INVITED SPEAKERS:
Lev Beklemishev (Steklov Mathematical Institute, Moscow)
Alessandra Carbone (Universite Pierre et Marie Curie and CNRS Paris)
Maribel Fernandez (King's College London)
Przemyslaw Prusinkiewicz (University of Calgary)
Eva Tardos (Cornell University
Albert Visser (Utrecht University)
SPECIAL SESSIONS:
History and Philosophy of Computing
(organizers: Liesbeth de Mol, Giuseppe Primiero)
Computational Linguistics
(organizers: Maria Dolores Jimenez-Lopez, Gabor Proszeky)
Computability Theory
(organizers: Karen Lange, Barbara Csima)
Bio-inspired Computation
(organizers: Marian Gheorghe, Florin Manea)
Online Algorithms
(organizers: Joan Boyar, Csanad Imreh)
Complexity in Automata Theory
(organizers: Markus Lohrey, Giovanni Pighizzini)
Contributed papers will be selected from submissions received by the
PROGRAM COMMITTEE consisting of:
* Gerard Alberts (Amsterdam) * Sandra Alves (Porto)
* Hajnal Andreka (Budapest) * Luis Antunes (Porto)
* Arnold Beckmann (Swansea) * Laurent Bienvenu (Paris)
* Paola Bonizzoni (Milan) * Olivier Bournez (Palaiseau)
* Vasco Brattka (Munich) * Bruno Codenotti (Pisa)
* Erzsebet Csuhaj-Varju (Budapest, co-chair)
* Barry Cooper (Leeds) * Michael J. Dinneen (Auckland)
* Erich Graedel (Aachen) * Marie Hicks (Chicago IL)
* Natasha Jonoska (Tampa FL) * Jarkko Kari (Turku)
* Elham Kashefi (Edinburgh) * Viv Kendon (Leeds)
* Satoshi Kobayashi (Tokyo) * Andras Kornai (Budapest)
* Marcus Kracht (Bielefeld) * Benedikt Loewe (Amsterdam & Hamburg)
* Klaus Meer (Cottbus, co-chair) * Joseph R. Mileti (Grinnell IA)
* Georg Moser (Innsbruck) * Benedek Nagy (Debrecen)
* Sara Negri (Helsinki) * Thomas Schwentick (Dortmund)
* Neil Thapen (Prague) * Peter van Emde Boas (Amsterdam)
* Xizhong Zheng (Glenside PA)
The PROGRAMME COMMITTEE cordially invites all researchers (European and
non-European) in computability related areas to submit their papers (in
PDF format, max 10 pages using the LNCS style) for presentation at CiE
2014.
The submission site
https://www.easychair.org/conferences/?conf=cie2014
is open.
For submission instructions consult
http://cie2014.inf.elte.hu/?Submission_Instructions
The CONFERENCE PROCEEDINGS will be published by LNCS, Springer Verlag.
Contact: Erzsebet Csuhaj-Varju - csuhaj[at]inf.elte.hu
Website: http://cie2014.inf.elte.hu/
__________________________________________________________________________
ASSOCIATION COMPUTABILITY IN EUROPE http://www.computability.org.uk
CiE Conference Series http://www.illc.uva.nl/CiE
CiE 2014: Language, Life, Limits http://cie2014.inf.elte.hu
CiE Membership Application Form http://www.lix.polytechnique.fr/CIE
AssociationCiE on Twitter http://twitter.com/AssociationCiE
__________________________________________________________________________
**********************************************************
*
* 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] LATD 2014: Logic, Algebra and Truth Degrees, Vienna (Austria), 16-19 Jul 2014
(Apologies for multiple postings)
Logic, Algebra and Truth Degrees 2014
July 16 - 19, Vienna, Austria
Call for papers
The conference "Logic, Algebra and Truth Degrees 2014" will be
held on 16-19 July 2014 in Vienna, Austria, as part of the
Vienna Summer of Logic event http://vsl2014.at.
Logic, Algebra and Truth Degrees is the fourth official meeting
of the EUSFLAT Working Group on Mathematical Fuzzy Logic.
Mathematical Fuzzy Logic is the sub-discipline of Mathematical
Logic that is concerned with the notion of comparative truth.
The assumption that "truth comes in degrees" has proved to be
very useful in many theoretical and applied areas of Mathematics,
Computer Science, and Philosophy.
The featured topics include:
- Proof theory and computational complexity
- Algebraic semantics and abstract algebraic logic
- First, higher-order and modal formalisms
- Applications and foundational issues
- Geometric and game theoretic aspects
We particularly welcome contributions on many-valued and
related logical systems.
Invited speakers:
- Silvio Ghilardi, Italy
- Melvin Fitting, USA
- George Metcalfe, Switzerland
- Dale Miller, France
- Dana Scott, USA
- Alasdair Urquhart, Canada
Tutorials:
- Franz Baader, Germany
- Vincenzo Marra, Italy
Programme Committee:
- Arnon Avron, Israel
- Matthias Baaz (Chair), Austria
- Agata Ciabattoni (Co-Chair), Austria
- Petr Cintula, Czech Republic
- Nikolaos Galatos, USA
- Lluis Godo, Spain
- Rosalie Iemhoff, The Netherlands
- Nicola Olivetti, France
- Hiroakira Ono, Japan
- Kazushige Terui, Japan
- Richard Zach, Canada
Contributed talks:
Abstracts of contributed talks, 2-4 pages, are to be prepared
using the ASL abstract template and submitted via Easychair.
The accepted abstracts will be available on-line and published
in the joint volume of abstracts with the Logic Colloquium.
The deadline for contributions is 6th April 2013. The
notification of acceptance will be sent by 10th May 2013.
For more information please visit the official web page
of the conference: http://www.logic.at/latd2014.
All correspondence should be directed to latd2014@logic.at.
Please feel free to distribute this call.
The Organizing Committee
Agata Ciabattoni (Chair), Paolo Baldi, Petr Cintula,
Bjoern Lellmann, Revantha Ramanayake, Lara Spendier
**********************************************************
*
* 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/
*
**********************************************************
Logic, Algebra and Truth Degrees 2014
July 16 - 19, Vienna, Austria
Call for papers
The conference "Logic, Algebra and Truth Degrees 2014" will be
held on 16-19 July 2014 in Vienna, Austria, as part of the
Vienna Summer of Logic event http://vsl2014.at.
Logic, Algebra and Truth Degrees is the fourth official meeting
of the EUSFLAT Working Group on Mathematical Fuzzy Logic.
Mathematical Fuzzy Logic is the sub-discipline of Mathematical
Logic that is concerned with the notion of comparative truth.
The assumption that "truth comes in degrees" has proved to be
very useful in many theoretical and applied areas of Mathematics,
Computer Science, and Philosophy.
The featured topics include:
- Proof theory and computational complexity
- Algebraic semantics and abstract algebraic logic
- First, higher-order and modal formalisms
- Applications and foundational issues
- Geometric and game theoretic aspects
We particularly welcome contributions on many-valued and
related logical systems.
Invited speakers:
- Silvio Ghilardi, Italy
- Melvin Fitting, USA
- George Metcalfe, Switzerland
- Dale Miller, France
- Dana Scott, USA
- Alasdair Urquhart, Canada
Tutorials:
- Franz Baader, Germany
- Vincenzo Marra, Italy
Programme Committee:
- Arnon Avron, Israel
- Matthias Baaz (Chair), Austria
- Agata Ciabattoni (Co-Chair), Austria
- Petr Cintula, Czech Republic
- Nikolaos Galatos, USA
- Lluis Godo, Spain
- Rosalie Iemhoff, The Netherlands
- Nicola Olivetti, France
- Hiroakira Ono, Japan
- Kazushige Terui, Japan
- Richard Zach, Canada
Contributed talks:
Abstracts of contributed talks, 2-4 pages, are to be prepared
using the ASL abstract template and submitted via Easychair.
The accepted abstracts will be available on-line and published
in the joint volume of abstracts with the Logic Colloquium.
The deadline for contributions is 6th April 2013. The
notification of acceptance will be sent by 10th May 2013.
For more information please visit the official web page
of the conference: http://www.logic.at/latd2014.
All correspondence should be directed to latd2014@logic.at.
Please feel free to distribute this call.
The Organizing Committee
Agata Ciabattoni (Chair), Paolo Baldi, Petr Cintula,
Bjoern Lellmann, Revantha Ramanayake, Lara Spendier
**********************************************************
*
* 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] WG 2014: submission server is open
******************************
WG 2014 CALL FOR PAPERS
40th International Workshop on Graph-Theoretic Concepts in Computer Science
June 25-27, Domaine de Chalès near Orléans, France
http://www.univ-orleans.fr/lifo/evenements/WG2014/
submissions on https://www.easychair.org/conferences/?conf=wg2014
******************************
The WG 2014 conference is the 40th edition of the WG series. It will take place in the region of the wonderful castles at the Loire, near Orléans. The conference will be from the 25th to the 27th of June 2014, with participants expected to arrive in Orléans on the 24th of June.
AIMS AND SCOPE
***************
WG conferences aim to connect theory and applications by demonstrating how graph-theoretic concepts can be applied in various areas of computer science. The goal is to present recent results and to identify and explore directions for future research. Submitted papers should describe original results in any aspects of graph theory related to computer science, including but not restricted to:
- design and analysis of sequential, parallel, randomized, parameterized and distributed graph and network algorithms,
- structural graph theory with algorithmic or complexity applications,
- computational complexity of graph and network problems,
- graph grammars, graph rewriting systems and graph modeling,
- graph drawing and layouts,
- computational geometry,
- random graphs and models of the web and scale-free networks, and
- support of these concepts by suitable implementations and applications.
SUBMISSIONS AND PROCEEDINGS
***************
Contributors are invited to submit an extended abstract of at most 12 pages Springer LNCS format including title, abstract and references. Proofs omitted due to space restrictions must be placed in an appendix, to be read by program committee members at their discretion. Simultaneous submission of papers to any other conference with published proceedings or submitting papers previously accepted for journal publication is not allowed. Authors are encouraged to post full versions of their submissions in a freely accessible repository such as the arXiv or ECCC.
Invited papers and accepted contributions will be published in the conference proceedings in the Lecture Notes in Computer Science, Springer-Verlag.
WG 2014 offers an award for the best paper written by students only. Three papers selected by the PC will be invited to contribute to a special section in Algorithmica.
IMPORTANT DATES
***************
Submission of papers: March 1, 2014 on https://www.easychair.org/conferences/?conf=wg2014
Acceptance notification: April 22, 2014
Conference: June 25-27, 2014
INVITED SPEAKERS
***************
- Reinhard Diestel (Universität Hamburg)
- Pierre Fraigniaud, (CNRS/Université Paris Diderot)
PROGRAM COMMITTEE
***************
- Hans Bodlaender (Universiteit Utrecht, The Netherlands)
- Jean Cardinal (Université Libre de Bruxelles, Belgium)
- Josep Diaz (Universitat Politecnica de Catalunya, Barcelona, Spain)
- David Eppstein (University of California, Irvine, USA)
- Fedor Fomin (Universitetet i Bergen, Norway)
- Cyril Gavoille (Université de Bordeaux, France)
- Frédéric Havet (CNRS/Université Nice-Sophia-Antipolis, France)
- Iyad Kanj (DePaul University, Chicago, USA)
- Michael Kaufmann (Universität Tübingen, Germany)
- Ekki Köhler (Brandenburgische Technische Universität, Cottbus, Germany)
- Daniel Král' (University of Warwick, United Kingdom)
- Dieter Kratsch, co-chair (Université de Lorraine, Metz, France)
- Alberto Marchetti-Spaccamela (Università "La Sapienza", Rome, Italy)
- Claire Mathieu (CNRS/École Normale Supérieure, Paris, France)
- George Mertzios (Durham University, United Kingdom)
- Marcin Pilipczuk (Universitetet i Bergen, Norway)
- Lorna Stewart (University of Alberta, Edmonton, Canada)
- Jayme Szwarcfiter (Universidade Federal do Rio de Janeiro, Brazil)
- Ioan Todinca, co-chair (Université d'Orléans, France)
ORGANIZING COMMITTEE
***************
- Romain Letourneur
- Mathieu Liedloff (chair)
- Pedro Montealegre Barba
- Anthony Perez
- Ioan Todinca
**********************************************************
*
* 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/
*
**********************************************************
WG 2014 CALL FOR PAPERS
40th International Workshop on Graph-Theoretic Concepts in Computer Science
June 25-27, Domaine de Chalès near Orléans, France
http://www.univ-orleans.fr/lifo/evenements/WG2014/
submissions on https://www.easychair.org/conferences/?conf=wg2014
******************************
The WG 2014 conference is the 40th edition of the WG series. It will take place in the region of the wonderful castles at the Loire, near Orléans. The conference will be from the 25th to the 27th of June 2014, with participants expected to arrive in Orléans on the 24th of June.
AIMS AND SCOPE
***************
WG conferences aim to connect theory and applications by demonstrating how graph-theoretic concepts can be applied in various areas of computer science. The goal is to present recent results and to identify and explore directions for future research. Submitted papers should describe original results in any aspects of graph theory related to computer science, including but not restricted to:
- design and analysis of sequential, parallel, randomized, parameterized and distributed graph and network algorithms,
- structural graph theory with algorithmic or complexity applications,
- computational complexity of graph and network problems,
- graph grammars, graph rewriting systems and graph modeling,
- graph drawing and layouts,
- computational geometry,
- random graphs and models of the web and scale-free networks, and
- support of these concepts by suitable implementations and applications.
SUBMISSIONS AND PROCEEDINGS
***************
Contributors are invited to submit an extended abstract of at most 12 pages Springer LNCS format including title, abstract and references. Proofs omitted due to space restrictions must be placed in an appendix, to be read by program committee members at their discretion. Simultaneous submission of papers to any other conference with published proceedings or submitting papers previously accepted for journal publication is not allowed. Authors are encouraged to post full versions of their submissions in a freely accessible repository such as the arXiv or ECCC.
Invited papers and accepted contributions will be published in the conference proceedings in the Lecture Notes in Computer Science, Springer-Verlag.
WG 2014 offers an award for the best paper written by students only. Three papers selected by the PC will be invited to contribute to a special section in Algorithmica.
IMPORTANT DATES
***************
Submission of papers: March 1, 2014 on https://www.easychair.org/conferences/?conf=wg2014
Acceptance notification: April 22, 2014
Conference: June 25-27, 2014
INVITED SPEAKERS
***************
- Reinhard Diestel (Universität Hamburg)
- Pierre Fraigniaud, (CNRS/Université Paris Diderot)
PROGRAM COMMITTEE
***************
- Hans Bodlaender (Universiteit Utrecht, The Netherlands)
- Jean Cardinal (Université Libre de Bruxelles, Belgium)
- Josep Diaz (Universitat Politecnica de Catalunya, Barcelona, Spain)
- David Eppstein (University of California, Irvine, USA)
- Fedor Fomin (Universitetet i Bergen, Norway)
- Cyril Gavoille (Université de Bordeaux, France)
- Frédéric Havet (CNRS/Université Nice-Sophia-Antipolis, France)
- Iyad Kanj (DePaul University, Chicago, USA)
- Michael Kaufmann (Universität Tübingen, Germany)
- Ekki Köhler (Brandenburgische Technische Universität, Cottbus, Germany)
- Daniel Král' (University of Warwick, United Kingdom)
- Dieter Kratsch, co-chair (Université de Lorraine, Metz, France)
- Alberto Marchetti-Spaccamela (Università "La Sapienza", Rome, Italy)
- Claire Mathieu (CNRS/École Normale Supérieure, Paris, France)
- George Mertzios (Durham University, United Kingdom)
- Marcin Pilipczuk (Universitetet i Bergen, Norway)
- Lorna Stewart (University of Alberta, Edmonton, Canada)
- Jayme Szwarcfiter (Universidade Federal do Rio de Janeiro, Brazil)
- Ioan Todinca, co-chair (Université d'Orléans, France)
ORGANIZING COMMITTEE
***************
- Romain Letourneur
- Mathieu Liedloff (chair)
- Pedro Montealegre Barba
- Anthony Perez
- Ioan Todinca
**********************************************************
*
* Contributions to be spread via DMANET are submitted to
*
* DMANET@zpr.uni-koeln.de
*
* Replies to a message carried on DMANET should NOT be
* addressed to DMANET but to the original sender. The
* original sender, however, is invited to prepare an
* update of the replies received and to communicate it
* via DMANET.
*
* DISCRETE MATHEMATICS AND ALGORITHMS NETWORK (DMANET)
* http://www.zaik.uni-koeln.de/AFS/publications/dmanet/
*
**********************************************************
Thursday, January 2, 2014
[DMANET] PostDoc in Approximation Algorithms at IDSIA, University of Lugano, Switzerland
The Algorithms and Complexity Group of IDSIA, University of Lugano
(Switzerland), opens one PostDoc position in approximation algorithms.
The position is supported by the ERC Starting Grant "New Approaches to
Network Design" held by Fabrizio Grandoni.
The appointment is for up to 2 years, and it should tentatively start
within Spring 2014.
The salary is roughly 75.000 CHF per year (taxes ~20-25%). There are
no teaching duties and there is a (very) generous
travel support. An ideal candidate should have (or be close to
obtaining) a Ph.D. in Computer Science or in a related area, and
should have a strong publication record in top journals and
conferences in Theoretical Computer Science and Algorithms.
Further details about the position can be found at:
www.idsia.ch/~grandoni/ERC2010.html
Applicants should email a detailed CV, including a list of
publications and the email addresses of 3 references, to:
Prof. Fabrizio Grandoni, fabrizio.grandoni@gmail.com
The deadline for the application (with moderate flexibility) is
January 31st, 2014.
For any question, do not hesitate to contact Prof. Grandoni.
**********************************************************
*
* 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/
*
**********************************************************
(Switzerland), opens one PostDoc position in approximation algorithms.
The position is supported by the ERC Starting Grant "New Approaches to
Network Design" held by Fabrizio Grandoni.
The appointment is for up to 2 years, and it should tentatively start
within Spring 2014.
The salary is roughly 75.000 CHF per year (taxes ~20-25%). There are
no teaching duties and there is a (very) generous
travel support. An ideal candidate should have (or be close to
obtaining) a Ph.D. in Computer Science or in a related area, and
should have a strong publication record in top journals and
conferences in Theoretical Computer Science and Algorithms.
Further details about the position can be found at:
www.idsia.ch/~grandoni/ERC2010.html
Applicants should email a detailed CV, including a list of
publications and the email addresses of 3 references, to:
Prof. Fabrizio Grandoni, fabrizio.grandoni@gmail.com
The deadline for the application (with moderate flexibility) is
January 31st, 2014.
For any question, do not hesitate to contact Prof. Grandoni.
**********************************************************
*
* 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] Metaheuristics for optimization problems
Dear Colleagues,
On behalf of the Organizing Committee, we invite you to participate in
the special session (workshop) on "METAHEURISTICS FOR OPTIMIZATION
PROBLEMS" at the
8th Conference on Numerical Methods and Applications NM&A'14,
to be held 20-24 August 2014 in Borovets, Bulgaria.
The session is organized by:
Assoc. Prof. Stefka Fidanova (stefka@parallel.bas.bg)
from the Institute of Information and Communication Technologies,
Bulgarian Academy of Sciences and
Gabriel Luque (gabriel@lcc.uma.es) from University of Malaga, Spain.
Topics
The list of topics includes, but is not limited to:
- unconstrained and constrained optimization
- combinatorial optimization
- global optimization
- multi-objective optimization
- optimization in dynamic and/or noisy environments
- large scale optimization
- parallel and distributed approaches in optimization
- random search algorithms (simulated annealing, tabu search, free
search and other derivative free optimization methods).
- nature inspired optimization methods (evolutionary algorithms,
ant colony optimization, particle swarm optimization, immune
artificial systems etc.).
- hybrid optimization algorithms involving natural computing
techniques and other global and local optimization methods
- optimization methods for learning processes and data mining
- computational optimization methods in statistics, econometrics,
finance, physics, medicine, biology, engineering etc
Proceedings
The refereed and presented papers will be published as a special
volume of Springer Lecture Notes in Computer Science (LNCS).
Important deadlines
Deadline for submission of abstracts
April 15, 2014
Notification of acceptance of the talks on the basis of the
submitted abstract
April 30, 2014
Deadline for submission of full papers
May 15, 2014
Notification of acceptance of full papers
June 30, 2014
Submission of accommodation forms
July 15, 2014
Abstracts and contributed papers
The abstracts (up to 1 page stating clearly the originality of the
results) are to be written in standard LaTeX. The length of the
contributed papers is limited up to 8 pages. It is assumed that one
participant will present not more than one talk.
Send the abstracts and papers to special session organizers and
conference organizers, indicating the name of the special session.
After sending the abstract go to the conference web page and fill in
the registration form (personal data of the participants, minimum one
per paper, and the name of the special session).
Information about abstract and paper preparation, accommodation,
transportation, registration form and conference location you can find
at the conference web page http://parallel.bas.bg/dpa/NMA_2014/
Special session organizers
Assoc. Prof. S. Fidanova, Institute of Parallel Processing, Bulgarian Academy of
Science, stefka@parallel.bas.bg
Gabriel Luque (gabriel@lcc.uma.es) from University of Malaga, Spain.
--
Assoc. Prof. Stefka Fidanova
IICT-BAS
Acad. G. Bonchev str. bl.25A
1113 Sofia Bulgaria
Ph. +359-2-9796642
**********************************************************
*
* Contributions to be spread via DMANET are submitted to
*
* DMANET@zpr.uni-koeln.de
*
* Replies to a message carried on DMANET should NOT be
* addressed to DMANET but to the original sender. The
* original sender, however, is invited to prepare an
* update of the replies received and to communicate it
* via DMANET.
*
* DISCRETE MATHEMATICS AND ALGORITHMS NETWORK (DMANET)
* http://www.zaik.uni-koeln.de/AFS/publications/dmanet/
*
**********************************************************
On behalf of the Organizing Committee, we invite you to participate in
the special session (workshop) on "METAHEURISTICS FOR OPTIMIZATION
PROBLEMS" at the
8th Conference on Numerical Methods and Applications NM&A'14,
to be held 20-24 August 2014 in Borovets, Bulgaria.
The session is organized by:
Assoc. Prof. Stefka Fidanova (stefka@parallel.bas.bg)
from the Institute of Information and Communication Technologies,
Bulgarian Academy of Sciences and
Gabriel Luque (gabriel@lcc.uma.es) from University of Malaga, Spain.
Topics
The list of topics includes, but is not limited to:
- unconstrained and constrained optimization
- combinatorial optimization
- global optimization
- multi-objective optimization
- optimization in dynamic and/or noisy environments
- large scale optimization
- parallel and distributed approaches in optimization
- random search algorithms (simulated annealing, tabu search, free
search and other derivative free optimization methods).
- nature inspired optimization methods (evolutionary algorithms,
ant colony optimization, particle swarm optimization, immune
artificial systems etc.).
- hybrid optimization algorithms involving natural computing
techniques and other global and local optimization methods
- optimization methods for learning processes and data mining
- computational optimization methods in statistics, econometrics,
finance, physics, medicine, biology, engineering etc
Proceedings
The refereed and presented papers will be published as a special
volume of Springer Lecture Notes in Computer Science (LNCS).
Important deadlines
Deadline for submission of abstracts
April 15, 2014
Notification of acceptance of the talks on the basis of the
submitted abstract
April 30, 2014
Deadline for submission of full papers
May 15, 2014
Notification of acceptance of full papers
June 30, 2014
Submission of accommodation forms
July 15, 2014
Abstracts and contributed papers
The abstracts (up to 1 page stating clearly the originality of the
results) are to be written in standard LaTeX. The length of the
contributed papers is limited up to 8 pages. It is assumed that one
participant will present not more than one talk.
Send the abstracts and papers to special session organizers and
conference organizers, indicating the name of the special session.
After sending the abstract go to the conference web page and fill in
the registration form (personal data of the participants, minimum one
per paper, and the name of the special session).
Information about abstract and paper preparation, accommodation,
transportation, registration form and conference location you can find
at the conference web page http://parallel.bas.bg/dpa/NMA_2014/
Special session organizers
Assoc. Prof. S. Fidanova, Institute of Parallel Processing, Bulgarian Academy of
Science, stefka@parallel.bas.bg
Gabriel Luque (gabriel@lcc.uma.es) from University of Malaga, Spain.
--
Assoc. Prof. Stefka Fidanova
IICT-BAS
Acad. G. Bonchev str. bl.25A
1113 Sofia Bulgaria
Ph. +359-2-9796642
**********************************************************
*
* Contributions to be spread via DMANET are submitted to
*
* DMANET@zpr.uni-koeln.de
*
* Replies to a message carried on DMANET should NOT be
* addressed to DMANET but to the original sender. The
* original sender, however, is invited to prepare an
* update of the replies received and to communicate it
* via DMANET.
*
* DISCRETE MATHEMATICS AND ALGORITHMS NETWORK (DMANET)
* http://www.zaik.uni-koeln.de/AFS/publications/dmanet/
*
**********************************************************
[DMANET] Computational optimization
[Please post - apologies for multiple copies.]
------------
Call for Papers
7th Workshop on Computational Optimization (WCO 2014
Warsaw, Poland, September 7 - 10, 2014
organized in the framework of FEDERATED CONFERENCE ON COMPUTER SCIENCE
AND INFORMATION SYSTEMS
FedCSIS - 2014
http://www.fedcsis.org/
====================
We invite original contributions related with both theoretical and
practical aspects of optimization methods.
The list of topics includes, but is not limited to:
* unconstrained and constrained optimization
* combinatorial optimization
* global optimization
* multiobjective optimization
* optimization in dynamic and/or noisy environments
* large scale optimization
* parallel and distributed approaches in optimization
* random search algorithms, simulated annealing, tabu search and other
derivative free optimization methods
* nature inspired optimization methods (evolutionary algorithms, ant
colony optimization, particle swarm optimization, immune artificial
systems etc)
* hybrid optimization algorithms involving natural computing
techniques and other global and local optimization methods
*computational biology and optimization
* distance geometry and applications
* optimization methods for learning processes and data mining
* application of optimization methods on real life and industrial problems
* computational optimization methods in statistics, econometrics,
finance, physics, medicine, engineering etc
====================
Important dates:
11.04.2012 (April 11, 2014) – Full paper submission
12.05.2014 (May 12, 2014) - Position paper submission
19.05.2011 (May 19, 2014) – Notification of acceptance
17.06.2012 (June 17, 2014) – Camera-ready version of the accepted
paper and registration
====================
Submission and Publication
* Authors should submit draft papers as PDF.
* The total length of a paper should not exceed 8 pages (IEEE style).
IEEE style templates are available at http://www.fedcsis.org/.
* Papers will be refereed and accepted on the basis of their
scientific merit and relevance to the workshop.
* Accepted and Presented paper will be published in the Conference
Proceedings and included in the IEEE Xplore database (pending) and
indexed in the DBLP.
* Extended versions of selected papers presented during the conference
will be published as Special Issue(s), we will announce later the
publisher.
====================
If you have any question do not hesitate to send a mail to wco2014@fedcsis.org .
Organizing Committee
Stefka Fidanova, Bulgarian Academy of Science, Bulgaria
Daniela Zaharie, West University of Timisoara, Romania
Antonio Mucherino, IRISA, France
--
Assoc. Prof. Stefka Fidanova
IICT-BAS
Acad. G. Bonchev str. bl.25A
1113 Sofia Bulgaria
Ph. +359-2-9796642
**********************************************************
*
* Contributions to be spread via DMANET are submitted to
*
* DMANET@zpr.uni-koeln.de
*
* Replies to a message carried on DMANET should NOT be
* addressed to DMANET but to the original sender. The
* original sender, however, is invited to prepare an
* update of the replies received and to communicate it
* via DMANET.
*
* DISCRETE MATHEMATICS AND ALGORITHMS NETWORK (DMANET)
* http://www.zaik.uni-koeln.de/AFS/publications/dmanet/
*
**********************************************************
------------
Call for Papers
7th Workshop on Computational Optimization (WCO 2014
Warsaw, Poland, September 7 - 10, 2014
organized in the framework of FEDERATED CONFERENCE ON COMPUTER SCIENCE
AND INFORMATION SYSTEMS
FedCSIS - 2014
http://www.fedcsis.org/
====================
We invite original contributions related with both theoretical and
practical aspects of optimization methods.
The list of topics includes, but is not limited to:
* unconstrained and constrained optimization
* combinatorial optimization
* global optimization
* multiobjective optimization
* optimization in dynamic and/or noisy environments
* large scale optimization
* parallel and distributed approaches in optimization
* random search algorithms, simulated annealing, tabu search and other
derivative free optimization methods
* nature inspired optimization methods (evolutionary algorithms, ant
colony optimization, particle swarm optimization, immune artificial
systems etc)
* hybrid optimization algorithms involving natural computing
techniques and other global and local optimization methods
*computational biology and optimization
* distance geometry and applications
* optimization methods for learning processes and data mining
* application of optimization methods on real life and industrial problems
* computational optimization methods in statistics, econometrics,
finance, physics, medicine, engineering etc
====================
Important dates:
11.04.2012 (April 11, 2014) – Full paper submission
12.05.2014 (May 12, 2014) - Position paper submission
19.05.2011 (May 19, 2014) – Notification of acceptance
17.06.2012 (June 17, 2014) – Camera-ready version of the accepted
paper and registration
====================
Submission and Publication
* Authors should submit draft papers as PDF.
* The total length of a paper should not exceed 8 pages (IEEE style).
IEEE style templates are available at http://www.fedcsis.org/.
* Papers will be refereed and accepted on the basis of their
scientific merit and relevance to the workshop.
* Accepted and Presented paper will be published in the Conference
Proceedings and included in the IEEE Xplore database (pending) and
indexed in the DBLP.
* Extended versions of selected papers presented during the conference
will be published as Special Issue(s), we will announce later the
publisher.
====================
If you have any question do not hesitate to send a mail to wco2014@fedcsis.org .
Organizing Committee
Stefka Fidanova, Bulgarian Academy of Science, Bulgaria
Daniela Zaharie, West University of Timisoara, Romania
Antonio Mucherino, IRISA, France
--
Assoc. Prof. Stefka Fidanova
IICT-BAS
Acad. G. Bonchev str. bl.25A
1113 Sofia Bulgaria
Ph. +359-2-9796642
**********************************************************
*
* Contributions to be spread via DMANET are submitted to
*
* DMANET@zpr.uni-koeln.de
*
* Replies to a message carried on DMANET should NOT be
* addressed to DMANET but to the original sender. The
* original sender, however, is invited to prepare an
* update of the replies received and to communicate it
* via DMANET.
*
* DISCRETE MATHEMATICS AND ALGORITHMS NETWORK (DMANET)
* http://www.zaik.uni-koeln.de/AFS/publications/dmanet/
*
**********************************************************
Subscribe to:
Posts (Atom)
Posts
