The Erasmus University Rotterdam in the Netherlands is currently inviting applications for two PhD positions on the topic of network design and route planning for last mile delivery.
The candidates should have an interest in the challenges faced by online retailers and logistics service providers in the last-mile. Besides that, they should have a quantitative orientation towards problem solving and a MSc. in Industrial engineering, Supply Chain Management, Econometrics, Applied Mathematics, Operations Research or Computer Science.
For more details on the positions and the application procedure visit:
http://www.erim.nl/doctoral-programme/phd-in-management/phd-projects/detail/1146-designing-sustainable-last-mile-delivery-services-in-online-retailing/
Application is possible until November 1. Interested candidates are encouraged to directly contact dr. Agatz (nagatz@rsm.nl) or dr. Spliet (spliet@ese.eur.nl) before submitting an online application.
**********************************************************
*
* 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, September 30, 2014
[DMANET] PhD/Postdoc position in Combinatorial Optimization at TU Berlin
Institute of Mathematics
Technische Universität Berlin
PhD/Postdoc position in Combinatorial Optimization
Research Assistant (100% TV-L 13)
for up to 5 years
A PhD or Postdoc position is available in the "Combinatorial Optimization and Graph Algorithms Group" at TU Berlin (www.coga.tu-berlin.de). The successful applicant will perform innovative research in the area of combinatorial optimization and also contribute to third-party funded research projects. Moreover, he or she will contribute to basic as well as advanced math courses as a teaching assistant, mainly in the area of algorithmic discrete mathematics.
Candidates should have an excellent academic degree in mathematics, computer science or a related area, and must have very good knowledge in algorithmic discrete mathematics and/or algorithm theory. Good communication skills and solid English writing skills are expected. Profound knowledge of combinatorial optimization and related areas are desirable. Teaching experience (e.g., as a student assistant) are of advantage.
Besides its many cultural attractions, Berlin offers a strong scientific landscape including three major universities, the international graduate program BERLIN MATHEMATICAL SCHOOL (www.math-berlin.de), promoted by the German Excellence Initiative, the DFG research training group "Methods for Discrete Structures" (www.math.tu-berlin.de/MDS) and the DFG research center MATHEON (www.matheon.de) as well as the newly established Einstein Center for Mathematics Berlin ECMath (www.ecmath.de); these offer opportunities for joint research and support for PhD students and postdocs (e.g., meetings, lecture series, international summer schools etc.).
Applicants should send their application by email as *a single pdf* file containing:
- cover and motivation letter
- curriculum vitae
- copies of diplomas
- summary of thesis (max. 2 pages)
- names and contact details of one or two referees (including thesis advisor)
by
October 17, 2014
to
Prof. Dr. Martin Skutella
martin.skutella@tu-berlin.de
www.coga.tu-berlin.de/people/skutella
A tender specification in German can be found at:
http://www.personalabteilung.tu-berlin.de/menue/jobs/
**********************************************************
*
* Contributions to be spread via DMANET are submitted to
*
* DMANET@zpr.uni-koeln.de
*
* Replies to a message carried on DMANET should NOT be
* addressed to DMANET but to the original sender. The
* original sender, however, is invited to prepare an
* update of the replies received and to communicate it
* via DMANET.
*
* DISCRETE MATHEMATICS AND ALGORITHMS NETWORK (DMANET)
* http://www.zaik.uni-koeln.de/AFS/publications/dmanet/
*
**********************************************************
Technische Universität Berlin
PhD/Postdoc position in Combinatorial Optimization
Research Assistant (100% TV-L 13)
for up to 5 years
A PhD or Postdoc position is available in the "Combinatorial Optimization and Graph Algorithms Group" at TU Berlin (www.coga.tu-berlin.de). The successful applicant will perform innovative research in the area of combinatorial optimization and also contribute to third-party funded research projects. Moreover, he or she will contribute to basic as well as advanced math courses as a teaching assistant, mainly in the area of algorithmic discrete mathematics.
Candidates should have an excellent academic degree in mathematics, computer science or a related area, and must have very good knowledge in algorithmic discrete mathematics and/or algorithm theory. Good communication skills and solid English writing skills are expected. Profound knowledge of combinatorial optimization and related areas are desirable. Teaching experience (e.g., as a student assistant) are of advantage.
Besides its many cultural attractions, Berlin offers a strong scientific landscape including three major universities, the international graduate program BERLIN MATHEMATICAL SCHOOL (www.math-berlin.de), promoted by the German Excellence Initiative, the DFG research training group "Methods for Discrete Structures" (www.math.tu-berlin.de/MDS) and the DFG research center MATHEON (www.matheon.de) as well as the newly established Einstein Center for Mathematics Berlin ECMath (www.ecmath.de); these offer opportunities for joint research and support for PhD students and postdocs (e.g., meetings, lecture series, international summer schools etc.).
Applicants should send their application by email as *a single pdf* file containing:
- cover and motivation letter
- curriculum vitae
- copies of diplomas
- summary of thesis (max. 2 pages)
- names and contact details of one or two referees (including thesis advisor)
by
October 17, 2014
to
Prof. Dr. Martin Skutella
martin.skutella@tu-berlin.de
www.coga.tu-berlin.de/people/skutella
A tender specification in German can be found at:
http://www.personalabteilung.tu-berlin.de/menue/jobs/
**********************************************************
*
* Contributions to be spread via DMANET are submitted to
*
* DMANET@zpr.uni-koeln.de
*
* Replies to a message carried on DMANET should NOT be
* addressed to DMANET but to the original sender. The
* original sender, however, is invited to prepare an
* update of the replies received and to communicate it
* via DMANET.
*
* DISCRETE MATHEMATICS AND ALGORITHMS NETWORK (DMANET)
* http://www.zaik.uni-koeln.de/AFS/publications/dmanet/
*
**********************************************************
[DMANET] CNSM 2014 - Call for Participation (Nov 17-21st, Rio de Janeiro)
Apologies in advance, if you receive multiple copies of the Call for
Participation)
Participation)
-----------------------------------------------------------------------------------------------------
CALL FOR PARTICIPATION
CNS 2014
International Conference on Network and Service Management
November 17-21, 2014
Rio de Janeiro, Brazil
http://www.cnsm-conf.org/2014/
Follow us on the social networks for all the latest news:
- Facebook: https://www.facebook.com/pages/CNSM-2014/1428943997353010
- Twitter: https://twitter.com/cnsm2014
- Google+: https://plus.google.com/105546746070456492345
- LinkedIn: http://www.linkedin.com/groups/CNSM-2014-6683605
-----------------------------------------------------------------------------------------------------
The organizing committee is delighted to invite you to the 10th
International Conference on Network and Service Management (CNSM 2014),
to be held in Rio de Janeiro, Brazil, November 17-21, 2014. CNSM is the
premier annual conference in the general area of network and services
management. It has become a premier venue for the presentation of novel
results and experience reports in all aspects of management of networks,
pervasive systems, enterprises, and cloud computing environments. The
conference is technically co-sponsored by IFIP, IEEE Communications
Society and IEEE Computer Society.
CONFIRMED KEYNOTE SPEAKERS
- Randy Katz, U.C. Berkeley, USA
- Deep Medhi, UMKC, USA
- Danny Raz, Bell Labs and Technion, Israel (ManSDN/NVF workshop)
- Scott Shenker, U.C. Berkeley/ICSI, USA
PRELIMINARY PROGRAM
- Papers accepted for presentation in CNSM 2014:
http://www.cnsm-conf.org/2014/index.html
- Preliminary schedule: http://www.cnsm-conf.org/2014/program.html
WORKSHOPS AND CO-LOCATED EVENTS
- 1st International Workshop on Management of SDN and NFV Systems
(ManSDN/NFV): http://www.cnsm-conf.org/2014/sdnnfv2014.html
- Papers accepted for presentation in ManSDN/NFV:
http://www.cnsm-conf.org/2014/index.html
- 35th IRTF's Network Management Research Group (NMRG) meeting:
http://www.cnsm-conf.org/2014/nmrg.html
-----------------------------------------------------------------------------------------------------
PATRONS
- Gold: CGI.br/NIC.br, CAPES, DMTF, EMC
- Bronze: Google Brasil, HP, Globo.com, IEEE Software-Defined Networks
Initiative
-----------------------------------------------------------------------------------------------------
ORGANIZING COMMITTEE
General Co-Chairs
- Lisandro Zambenedetti Granville, Federal University of Rio Grande do
Sul, Brazil
- Luciano Paschoal Gaspary, Federal University of Rio Grande do Sul, Brazil
Technical Program Co-Chairs
- Danny Raz, Bell Labs Israel and Technion, Israel
- Michele Nogueira, Federal University of Paraná, Brazil
Workshops Co-Chairs
- Filip De Turck, Ghent University - iMinds, Belgium
- José Marcos Silva Nogueira, Federal University of Minas Gerais, Brazil
Publication Co-Chairs
- Brendan Jennings, EMC² and Waterford Institute of Technology, Ireland
- Edmundo Roberto Mauro Madeira, State University of Campinas, Brazil
Steering Committee
- Raouf Boutaba, University of Waterloo, Canada
- Marcus Brunner, Swisscom, Switzerland
- Prosper Chemouil, Orange Labs, France
- James Hong, POSTECH, Korea
- Deep Medhi, University of Missouri-Kansas City, USA
- Aiko Pras, University of Twente, The Netherlands
- Doug Zuckerman, Applied Communication Sciences, USA
More info at http://www.cnsm-conf.org/2014/
**********************************************************
*
* Contributions to be spread via DMANET are submitted to
*
* DMANET@zpr.uni-koeln.de
*
* Replies to a message carried on DMANET should NOT be
* addressed to DMANET but to the original sender. The
* original sender, however, is invited to prepare an
* update of the replies received and to communicate it
* via DMANET.
*
* DISCRETE MATHEMATICS AND ALGORITHMS NETWORK (DMANET)
* http://www.zaik.uni-koeln.de/AFS/publications/dmanet/
*
**********************************************************
Monday, September 29, 2014
[DMANET] ETAPS 2015 final call for papers
******************************************************************
CALL FOR PAPERS: ETAPS 2015
18th European Joint Conferences on Theory And Practice of Software
London, UK, 11-18 April 2015
******************************************************************
-- ABOUT ETAPS --
ETAPS is the primary European forum for academic and industrial
researchers working on topics relating to software science. ETAPS,
established in 1998, is a confederation of six main annual
conferences, accompanied by satellite workshops. ETAPS 2015 is the
eighteenth event in the series.
-- MAIN CONFERENCES (13-17 April) --
* CC: Compiler Construction
(PC chair Björn Franke, University of Edinburgh, UK)
* ESOP: European Symposium on Programming
(PC chair Jan Vitek, Northeastern University, USA)
* FASE: Fundamental Approaches to Software Engineering
(PC chairs Alexander Egyed, Johannes Kepler U Linz, Austria,
and Ina Schaefer, Technische Universität Braunschweig, Germany)
* FOSSACS: Foundations of Software Science
and Computation Structures
(PC chair Andrew Pitts, University of Cambridge, UK)
* POST: Principles of Security and Trust
(PC chairs Riccardo Focardi, Università Ca' Foscari Venezia,
Italy, and Andrew Myers, Cornell University, USA)
* TACAS: Tools and Algorithms for
the Construction and Analysis of Systems
(PC chairs Christel Baier, Technische Univ Dresden, Germany,
and Cesare Tinelli, The University of Iowa, USA)
TACAS '15 will host the 4rd Competition on Software Verification
(SV-COMP).
-- INVITED SPEAKERS --
* Unifying speakers:
Robert Harper (Carnegie Mellon University, USA)
Catuscia Palamidessi (INRIA Saclay and LIX, France)
* CC invited speaker:
Keshav Pingali (University of Texas, USA)
* FoSSaCS invited speaker:
Frank Pfenning (Carnegie Mellon University, USA)
* TACAS invited speaker:
Wang Yi (Uppsala Universitet, Sweden)
-- IMPORTANT DATES --
* 10 October 2014: Submission deadline for abstracts
* 17 October 2014: Submission deadline for full papers
* 3-5 December 2014: Author response period (ESOP and FoSSaCS only)
* 19 December 2014: Notification of acceptance
* 16 January 2015: Camera-ready versions due
-- SUBMISSION INSTRUCTIONS --
ETAPS conferences accept two types of contributions: research papers
and tool demonstration papers. Both types will appear in the
proceedings and have presentations during the conference.
ESOP and FoSSaCS accept only research papers. TACAS has more paper
categories (see http://www.etaps.org/2015/tacas).
A condition of submission is that, if the submission is accepted, one
of the authors attends the conference to give the presentation.
Submitted papers must be in English presenting original
research. They must be unpublished and not submitted for publication
elsewhere. In particular, simultaneous submission of the same
contribution to multiple ETAPS conferences is forbidden. The
proceedings will be published in the Advanced Research in Computing
and Software Science (ARCoSS) subline of Springer's Lecture Notes in
Computer Science series.
Papers must follow the formatting guidelines specified by Springer at
http://www.springer.de/comp/lncs/authors.html
and be submitted electronically in pdf through the EasyChair author
interface of the respective conference (HotCRP for ESOP).
Submissions not adhering to the specified format and length may be
rejected immediately.
- Research papers
FASE, FOSSACS and TACAS have a page limit of 15 pages for research
papers, whereas CC, POST allow at most 20 pages and ESOP 25 pages.
Additional material intended for the referees but not for publication
in the final version - for example, details of proofs - may be placed
in a clearly marked appendix that is not included in the page
limit. ETAPS referees are at liberty to ignore appendices and papers
must be understandable without them.
In addition to regular research papers, TACAS solicits also case study
papers (at most 15 pages).
Both TACAS and FASE solicit also regular tool papers (at most 15
pages).
- Tool demonstration papers
Submissions should consist of two parts:
* The first part, at most 4 pages, should describe the tool
presented. Please include the URL of the tool (if available) and
provide information that illustrates the maturity and robustness of
the tool. (This part will be included in the proceedings.)
* The second part, at most 6 pages, should explain how the
demonstration will be carried out and what it will show, including
screen dumps and examples. (This part will be not be included in the
proceedings, but will be evaluated.)
ESOP and FOSSACS do not accept tool demonstration papers.
TACAS has a page limit of 6 pages for tool demonstrations.
-- SATELLITE EVENTS (11-12 April, 18 April) --
Around 20 satellite workshops will take place before and after the
main conferences.
-- HOST CITY --
London, the capital city of England and the UK, is a leading global
city, with strengths in the arts, commerce, education, entertainment,
fashion, finance, healthcare, media, professional services, research
and development, tourism and transport all contributing to its
prominence. It is one of the world's leading financial centers and a
world cultural capital. It is the world's most-visited city as
measured by international arrivals and has the world's largest city
airport system measured by passenger traffic. In 2012, London became
the first city to host the modern Summer Olympic Games three times.
-- HOST INSTITUTION --
ETAPS 2015 is hosted by the School of Electrical Engineering and
Computer Science of the Queen Mary University of London.
The main campus is located in the Mile End area of the East End of
London.
-- ORGANIZERS
* General chairs: Pasquale Malacaria, Nikos Tzevelekos
* Workshops chair: Paulo Oliva
-- FURTHER INFORMATION --
Please do not hesitate to contact the organizers at
p.malacaria@qmul.ac.uk, nikos.tzevelekos@qmul.ac.uk.
**********************************************************
*
* Contributions to be spread via DMANET are submitted to
*
* DMANET@zpr.uni-koeln.de
*
* Replies to a message carried on DMANET should NOT be
* addressed to DMANET but to the original sender. The
* original sender, however, is invited to prepare an
* update of the replies received and to communicate it
* via DMANET.
*
* DISCRETE MATHEMATICS AND ALGORITHMS NETWORK (DMANET)
* http://www.zaik.uni-koeln.de/AFS/publications/dmanet/
*
**********************************************************
[DMANET] 2 Post-Docs in Bordeaux on Dynamic Formulation for Large-Scale Planning and Stochastic Optimisation
RealOpt is a joint research team between INRIA and the University of Bordeaux, doing research in mathematical optimization with a focus on decomposition and extended formulation approaches. Current academic and industrial projects concern large scale planning problems, accounting for stochastic events, and online re-optimization.
The group is currently offering two post-doctoral positions as announced on
https://realopt.bordeaux.inria.fr/?page_id=881
Candidates (French or English speaking), with a strong background in mathematical programming methods and numerical validation, are invited to contact Francois.Vanderbeck@inria.fr
**********************************************************
*
* Contributions to be spread via DMANET are submitted to
*
* DMANET@zpr.uni-koeln.de
*
* Replies to a message carried on DMANET should NOT be
* addressed to DMANET but to the original sender. The
* original sender, however, is invited to prepare an
* update of the replies received and to communicate it
* via DMANET.
*
* DISCRETE MATHEMATICS AND ALGORITHMS NETWORK (DMANET)
* http://www.zaik.uni-koeln.de/AFS/publications/dmanet/
*
**********************************************************
The group is currently offering two post-doctoral positions as announced on
https://realopt.bordeaux.inria.fr/?page_id=881
Candidates (French or English speaking), with a strong background in mathematical programming methods and numerical validation, are invited to contact Francois.Vanderbeck@inria.fr
**********************************************************
*
* Contributions to be spread via DMANET are submitted to
*
* DMANET@zpr.uni-koeln.de
*
* Replies to a message carried on DMANET should NOT be
* addressed to DMANET but to the original sender. The
* original sender, however, is invited to prepare an
* update of the replies received and to communicate it
* via DMANET.
*
* DISCRETE MATHEMATICS AND ALGORITHMS NETWORK (DMANET)
* http://www.zaik.uni-koeln.de/AFS/publications/dmanet/
*
**********************************************************
Sunday, September 28, 2014
PhD/Postdoc position in Combinatorial Optimization at TU Berlin
-----BEGIN PGP SIGNATURE-----
Comment: GPGTools - http://gpgtools.org
iQEcBAEBCgAGBQJUKG2QAAoJEJQUBEM48xm/gVgH/A9srGuOgkY+bH9xSnSaaetK
4B3/a6mkv2eWeiguu2d2QQzlEGfEhNVbAfNTecXsO9I6jVjtE8Yqzl+AFTAH0L26
Jr1FpZghBfKSxZ+QMJwTPhFQ+JYDKZj81pdWh6xQyDGFlFgRqk85lwzVOGhCI9sr
99ZrcFauq7hXa1uNyHh+Mo3PYqxKXV3I9Ln1cm3JBQlIqhf48VZrXI1Fo35y/guj
b9aEyS2iG+lBGJgHBT0MaDiYifU4S9CW7wplWgy6Y5V/+f0WKYzmwL6+cgqRINK8
VpP9HZkM81ld0gjL90Bagt0119LChHYtJw6FM0VsgXQ6zTb1DysbXE+lOH+sn5s=
=m6PC
-----END PGP SIGNATURE-----
Institute of Mathematics
Technische Universität Berlin
PhD/Postdoc position in Combinatorial Optimization
Research Assistant (100% TV-L 13)
for up to 5 years
A PhD or Postdoc position is available in the "Combinatorial Optimization and Graph Algorithms Group" at TU Berlin (www.coga.tu-berlin.de). The successful applicant will perform innovative research in the area of combinatorial optimization and also contribute to third-party funded research projects. Moreover, he or she will contribute to basic as well as advanced math courses as a teaching assistant, mainly in the area of algorithmic discrete mathematics.
Candidates should have an excellent academic degree in mathematics, computer science or a related area, and must have very good knowledge in algorithmic discrete mathematics and/or algorithm theory. Good communication skills and solid English writing skills are expected. Profound knowledge of combinatorial optimization and related areas are desirable. Teaching experience (e.g., as a student assistant) are of advantage.
Besides its many cultural attractions, Berlin offers a strong scientific landscape including three major universities, the international graduate program BERLIN MATHEMATICAL SCHOOL (www.math-berlin.de), promoted by the German Excellence Initiative, the DFG research training group "Methods for Discrete Structures" (www.math.tu-berlin.de/MDS) and the DFG research center MATHEON (www.matheon.de) as well as the newly established Einstein Center for Mathematics Berlin ECMath (www.ecmath.de); these offer opportunities for joint research and support for PhD students and postdocs (e.g., meetings, lecture series, international summer schools etc.).
Applicants should send their application by email as *a single pdf* file containing:
- cover and motivation letter
- curriculum vitae
- copies of diplomas
- summary of thesis (max. 2 pages)
- names and contact details of one or two referees (including thesis advisor)
by
October 17, 2014
to
Prof. Dr. Martin Skutella
martin.skutella@tu-berlin.de
www.coga.tu-berlin.de/people/skutella
A tender specification in German can be found at:
http://www.personalabteilung.tu-berlin.de/menue/jobs/
Comment: GPGTools - http://gpgtools.org
iQEcBAEBCgAGBQJUKG2QAAoJEJQUBEM48xm/gVgH/A9srGuOgkY+bH9xSnSaaetK
4B3/a6mkv2eWeiguu2d2QQzlEGfEhNVbAfNTecXsO9I6jVjtE8Yqzl+AFTAH0L26
Jr1FpZghBfKSxZ+QMJwTPhFQ+JYDKZj81pdWh6xQyDGFlFgRqk85lwzVOGhCI9sr
99ZrcFauq7hXa1uNyHh+Mo3PYqxKXV3I9Ln1cm3JBQlIqhf48VZrXI1Fo35y/guj
b9aEyS2iG+lBGJgHBT0MaDiYifU4S9CW7wplWgy6Y5V/+f0WKYzmwL6+cgqRINK8
VpP9HZkM81ld0gjL90Bagt0119LChHYtJw6FM0VsgXQ6zTb1DysbXE+lOH+sn5s=
=m6PC
-----END PGP SIGNATURE-----
Institute of Mathematics
Technische Universität Berlin
PhD/Postdoc position in Combinatorial Optimization
Research Assistant (100% TV-L 13)
for up to 5 years
A PhD or Postdoc position is available in the "Combinatorial Optimization and Graph Algorithms Group" at TU Berlin (www.coga.tu-berlin.de). The successful applicant will perform innovative research in the area of combinatorial optimization and also contribute to third-party funded research projects. Moreover, he or she will contribute to basic as well as advanced math courses as a teaching assistant, mainly in the area of algorithmic discrete mathematics.
Candidates should have an excellent academic degree in mathematics, computer science or a related area, and must have very good knowledge in algorithmic discrete mathematics and/or algorithm theory. Good communication skills and solid English writing skills are expected. Profound knowledge of combinatorial optimization and related areas are desirable. Teaching experience (e.g., as a student assistant) are of advantage.
Besides its many cultural attractions, Berlin offers a strong scientific landscape including three major universities, the international graduate program BERLIN MATHEMATICAL SCHOOL (www.math-berlin.de), promoted by the German Excellence Initiative, the DFG research training group "Methods for Discrete Structures" (www.math.tu-berlin.de/MDS) and the DFG research center MATHEON (www.matheon.de) as well as the newly established Einstein Center for Mathematics Berlin ECMath (www.ecmath.de); these offer opportunities for joint research and support for PhD students and postdocs (e.g., meetings, lecture series, international summer schools etc.).
Applicants should send their application by email as *a single pdf* file containing:
- cover and motivation letter
- curriculum vitae
- copies of diplomas
- summary of thesis (max. 2 pages)
- names and contact details of one or two referees (including thesis advisor)
by
October 17, 2014
to
Prof. Dr. Martin Skutella
martin.skutella@tu-berlin.de
www.coga.tu-berlin.de/people/skutella
A tender specification in German can be found at:
http://www.personalabteilung.tu-berlin.de/menue/jobs/
Thursday, September 25, 2014
COMPUTABILITY IN EUROPE 2015: Evolving Computability, Bucharest, Romania, June 29-July 3
----------------------------------------------------------------------------
P R E L I M I N A R Y A N N O U N C E M E N T
COMPUTABILITY IN EUROPE 2015: Evolving Computability
Bucharest, Romania
June 29 - July 3
http://fmi.unibuc.ro/CiE2015/
----------------------------------------------------------------------------
CiE 2015 is the 11-th 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), Milan (2013) and Budapest (2014)
CONFIRMED INVITED SPEAKERS
Ann Copestake (University of Cambridge)
Pawel Gawrychowski (Max-Planck-Institut fuer Informatik)
Julia Knight (University of Notre Dame)
Anca Muscholl (Universite Bordeaux)
Gheorghe Paun (Romanian Academy)
Alexander Razborov (University of Chicago and Steklov Mathematical Institute)
Vlatko Vedral (University of Oxford)
TUTORIAL SPEAKERS
John Reif (Duke Unversity)
Steve Simpson (Pennsylvania State University)
SPECIAL SESSIONS on
Representing streams (Organizers: Joerg Endrullis and Dimtri Hendriks)
Automata, logic and infinite games (Organizers: Dietmar Berwanger and
Ioana Leustean)
Reverse mathematics (Organizers: Damir Dzhafarov and Alberto Marcone)
Classical computability theory (Organizers: Marat Arslanov and Steffen Lempp)
Bio-inspired computation (Organizers: Andrei Paun and Petr Sosik)
History and philosophy of computing (Organizers: Christine Proust and
Marco Benini)
Evolution of the universe, and us within it, invite a parallel evolution
in understanding. The CiE agenda - fundamental and engaged - targets the
extracting and developing of computational models basic to current
challenges. From the origins of life, to the understanding of human
mentality, to the characterising of quantum randomness - computability
theoretic questions arise in many guises. The CiE community, this coming
year meeting for the first time in Bucharest, carries forward the search
for coherence, depth and new thinking across this rich and vital field of
research.
In all cases we are looking for fundamental and theoretical
submissions. In line with other conferences in this series, CiE
2015 has a broad scope and provides a forum for the discussion of
theoretical and practical issues in Computability with an
emphasis on new paradigms of computation and the development of
their mathematical theory.
We particularly invite papers that build bridges between
different parts of the research community.
The PROGRAMME COMMITTEE consists of:
Marat Arslanov (Kazan), Jeremy Avigad (Pittsburgh), Veronica Becher
(Buenos Aires), Arnold Beckmann (Swansea), Laurent Bienvenu (Paris),
Gabriel Ciobanu (Bucharest), S Barry Cooper (Leeds), Laura Crosilla
(Leeds), Liesbeth De Mol (Ghent), Walter Dean (Warwick), Volker
Diekert (Stuttgart), Damir Dzhafarov (Storrs, Connecticut), Peter van
Emde Boas (Amsterdam), Rachel Epstein (Harvard), Johanna Franklin
(Storrs, Connecticut), Neil Ghani (Glasgow), Joel David Hamkins (New
York), Rosalie Iemhoff (Utrecht), Emmanuel Jeandel (LORIA), Natasha
Jonoska (Tampa, FL), Antonina Kolokolova (St.John's, NL), Antonin
Kucera (Prague), Oliver Kutz (Bremen), Benedikt Loewe (Hamburg &
Amsterdam), Jack Lutz (Ames, IA), Florin Manea (Kiel), Alberto Marcone
(Udine), Radu Mardare (Aalborg), Joe Miller (Madison, WI), Russell
Miller (Flushing, NY), Mia Minnes (La Jolla, CA), Victor Mitrana
(Bucharest, co-chair), Dag Normann (Oslo), Ian Pratt-Hartmann
(Manchester), Mehrnoosh Sadrzadeh (London), Anne Smith (St Andrews),
Mariya Soskova (Sofia, co-chair), Paul Spirakis (Patras & Liverpool),
Susan Stepney (York), Jacobo Toran (Ulm), Marius Zimand (Towson, MD).
In a Call for Papers to be sent out in October 2014, the PC will
invite all researchers in the area of the conference to submit
their papers for presentation at CiE 2015. The best of the
accepted papers will be published in the conference proceedings
within the Lecture Notes in Computer Science (LNCS) series of
Springer (tbc), which will be available at the conference.
____________________________________________________________________
CiE 2015 http://fmi.unibuc.ro/CiE2015/
ASSOCIATION COMPUTABILITY IN EUROPE http://www.computability.org.uk
CiE Conference Series http://www.illc.uva.nl/CiE
CiE Membership Application Form http://www.cs.swan.ac.uk/acie
Computability (Journal of CiE) http://www.computability.de/journal/
CiE on FaceBook https://www.facebook.com/AssnCiE
Association CiE on Twitter https://twitter.com/AssociationCiE
P R E L I M I N A R Y A N N O U N C E M E N T
COMPUTABILITY IN EUROPE 2015: Evolving Computability
Bucharest, Romania
June 29 - July 3
http://fmi.unibuc.ro/CiE2015/
----------------------------------------------------------------------------
CiE 2015 is the 11-th 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), Milan (2013) and Budapest (2014)
CONFIRMED INVITED SPEAKERS
Ann Copestake (University of Cambridge)
Pawel Gawrychowski (Max-Planck-Institut fuer Informatik)
Julia Knight (University of Notre Dame)
Anca Muscholl (Universite Bordeaux)
Gheorghe Paun (Romanian Academy)
Alexander Razborov (University of Chicago and Steklov Mathematical Institute)
Vlatko Vedral (University of Oxford)
TUTORIAL SPEAKERS
John Reif (Duke Unversity)
Steve Simpson (Pennsylvania State University)
SPECIAL SESSIONS on
Representing streams (Organizers: Joerg Endrullis and Dimtri Hendriks)
Automata, logic and infinite games (Organizers: Dietmar Berwanger and
Ioana Leustean)
Reverse mathematics (Organizers: Damir Dzhafarov and Alberto Marcone)
Classical computability theory (Organizers: Marat Arslanov and Steffen Lempp)
Bio-inspired computation (Organizers: Andrei Paun and Petr Sosik)
History and philosophy of computing (Organizers: Christine Proust and
Marco Benini)
Evolution of the universe, and us within it, invite a parallel evolution
in understanding. The CiE agenda - fundamental and engaged - targets the
extracting and developing of computational models basic to current
challenges. From the origins of life, to the understanding of human
mentality, to the characterising of quantum randomness - computability
theoretic questions arise in many guises. The CiE community, this coming
year meeting for the first time in Bucharest, carries forward the search
for coherence, depth and new thinking across this rich and vital field of
research.
In all cases we are looking for fundamental and theoretical
submissions. In line with other conferences in this series, CiE
2015 has a broad scope and provides a forum for the discussion of
theoretical and practical issues in Computability with an
emphasis on new paradigms of computation and the development of
their mathematical theory.
We particularly invite papers that build bridges between
different parts of the research community.
The PROGRAMME COMMITTEE consists of:
Marat Arslanov (Kazan), Jeremy Avigad (Pittsburgh), Veronica Becher
(Buenos Aires), Arnold Beckmann (Swansea), Laurent Bienvenu (Paris),
Gabriel Ciobanu (Bucharest), S Barry Cooper (Leeds), Laura Crosilla
(Leeds), Liesbeth De Mol (Ghent), Walter Dean (Warwick), Volker
Diekert (Stuttgart), Damir Dzhafarov (Storrs, Connecticut), Peter van
Emde Boas (Amsterdam), Rachel Epstein (Harvard), Johanna Franklin
(Storrs, Connecticut), Neil Ghani (Glasgow), Joel David Hamkins (New
York), Rosalie Iemhoff (Utrecht), Emmanuel Jeandel (LORIA), Natasha
Jonoska (Tampa, FL), Antonina Kolokolova (St.John's, NL), Antonin
Kucera (Prague), Oliver Kutz (Bremen), Benedikt Loewe (Hamburg &
Amsterdam), Jack Lutz (Ames, IA), Florin Manea (Kiel), Alberto Marcone
(Udine), Radu Mardare (Aalborg), Joe Miller (Madison, WI), Russell
Miller (Flushing, NY), Mia Minnes (La Jolla, CA), Victor Mitrana
(Bucharest, co-chair), Dag Normann (Oslo), Ian Pratt-Hartmann
(Manchester), Mehrnoosh Sadrzadeh (London), Anne Smith (St Andrews),
Mariya Soskova (Sofia, co-chair), Paul Spirakis (Patras & Liverpool),
Susan Stepney (York), Jacobo Toran (Ulm), Marius Zimand (Towson, MD).
In a Call for Papers to be sent out in October 2014, the PC will
invite all researchers in the area of the conference to submit
their papers for presentation at CiE 2015. The best of the
accepted papers will be published in the conference proceedings
within the Lecture Notes in Computer Science (LNCS) series of
Springer (tbc), which will be available at the conference.
____________________________________________________________________
CiE 2015 http://fmi.unibuc.ro/CiE2015/
ASSOCIATION COMPUTABILITY IN EUROPE http://www.computability.org.uk
CiE Conference Series http://www.illc.uva.nl/CiE
CiE Membership Application Form http://www.cs.swan.ac.uk/acie
Computability (Journal of CiE) http://www.computability.de/journal/
CiE on FaceBook https://www.facebook.com/AssnCiE
Association CiE on Twitter https://twitter.com/AssociationCiE
****SPAM**** COMPUTABILITY IN EUROPE 2015: Evolving Computability, Bucharest, Romania, June 29-July 3
----------------------------------------------------------------------------
P R E L I M I N A R Y A N N O U N C E M E N T
COMPUTABILITY IN EUROPE 2015: Evolving Computability
Bucharest, Romania
June 29 - July 3
http://fmi.unibuc.ro/CiE2015/
----------------------------------------------------------------------------
CiE 2015 is the 11-th 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), Milan (2013) and Budapest (2014)
CONFIRMED INVITED SPEAKERS
Ann Copestake (University of Cambridge)
Pawel Gawrychowski (Max-Planck-Institut fuer Informatik)
Julia Knight (University of Notre Dame)
Anca Muscholl (Universite Bordeaux)
Gheorghe Paun (Romanian Academy)
Alexander Razborov (University of Chicago and Steklov Mathematical Institute)
Vlatko Vedral (University of Oxford)
TUTORIAL SPEAKERS
John Reif (Duke Unversity)
Steve Simpson (Pennsylvania State University)
SPECIAL SESSIONS on
Representing streams (Organizers: Joerg Endrullis and Dimtri Hendriks)
Automata, logic and infinite games (Organizers: Dietmar Berwanger and
Ioana Leustean)
Reverse mathematics (Organizers: Damir Dzhafarov and Alberto Marcone)
Classical computability theory (Organizers: Marat Arslanov and Steffen Lempp)
Bio-inspired computation (Organizers: Andrei Paun and Petr Sosik)
History and philosophy of computing (Organizers: Christine Proust and
Marco Benini)
Evolution of the universe, and us within it, invite a parallel evolution
in understanding. The CiE agenda - fundamental and engaged - targets the
extracting and developing of computational models basic to current
challenges. From the origins of life, to the understanding of human
mentality, to the characterising of quantum randomness - computability
theoretic questions arise in many guises. The CiE community, this coming
year meeting for the first time in Bucharest, carries forward the search
for coherence, depth and new thinking across this rich and vital field of
research.
In all cases we are looking for fundamental and theoretical
submissions. In line with other conferences in this series, CiE
2015 has a broad scope and provides a forum for the discussion of
theoretical and practical issues in Computability with an
emphasis on new paradigms of computation and the development of
their mathematical theory.
We particularly invite papers that build bridges between
different parts of the research community.
The PROGRAMME COMMITTEE consists of:
Marat Arslanov (Kazan), Jeremy Avigad (Pittsburgh), Veronica Becher
(Buenos Aires), Arnold Beckmann (Swansea), Laurent Bienvenu (Paris),
Gabriel Ciobanu (Bucharest), S Barry Cooper (Leeds), Laura Crosilla
(Leeds), Liesbeth De Mol (Ghent), Walter Dean (Warwick), Volker
Diekert (Stuttgart), Damir Dzhafarov (Storrs, Connecticut), Peter van
Emde Boas (Amsterdam), Rachel Epstein (Harvard), Johanna Franklin
(Storrs, Connecticut), Neil Ghani (Glasgow), Joel David Hamkins (New
York), Rosalie Iemhoff (Utrecht), Emmanuel Jeandel (LORIA), Natasha
Jonoska (Tampa, FL), Antonina Kolokolova (St.John's, NL), Antonin
Kucera (Prague), Oliver Kutz (Bremen), Benedikt Loewe (Hamburg &
Amsterdam), Jack Lutz (Ames, IA), Florin Manea (Kiel), Alberto Marcone
(Udine), Radu Mardare (Aalborg), Joe Miller (Madison, WI), Russell
Miller (Flushing, NY), Mia Minnes (La Jolla, CA), Victor Mitrana
(Bucharest, co-chair), Dag Normann (Oslo), Ian Pratt-Hartmann
(Manchester), Mehrnoosh Sadrzadeh (London), Anne Smith (St Andrews),
Mariya Soskova (Sofia, co-chair), Paul Spirakis (Patras & Liverpool),
Susan Stepney (York), Jacobo Toran (Ulm), Marius Zimand (Towson, MD).
In a Call for Papers to be sent out in October 2014, the PC will
invite all researchers in the area of the conference to submit
their papers for presentation at CiE 2015. The best of the
accepted papers will be published in the conference proceedings
within the Lecture Notes in Computer Science (LNCS) series of
Springer (tbc), which will be available at the conference.
____________________________________________________________________
CiE 2015 http://fmi.unibuc.ro/CiE2015/
ASSOCIATION COMPUTABILITY IN EUROPE http://www.computability.org.uk
CiE Conference Series http://www.illc.uva.nl/CiE
CiE Membership Application Form http://www.cs.swan.ac.uk/acie
Computability (Journal of CiE) http://www.computability.de/journal/
CiE on FaceBook https://www.facebook.com/AssnCiE
Association CiE on Twitter https://twitter.com/AssociationCiE
P R E L I M I N A R Y A N N O U N C E M E N T
COMPUTABILITY IN EUROPE 2015: Evolving Computability
Bucharest, Romania
June 29 - July 3
http://fmi.unibuc.ro/CiE2015/
----------------------------------------------------------------------------
CiE 2015 is the 11-th 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), Milan (2013) and Budapest (2014)
CONFIRMED INVITED SPEAKERS
Ann Copestake (University of Cambridge)
Pawel Gawrychowski (Max-Planck-Institut fuer Informatik)
Julia Knight (University of Notre Dame)
Anca Muscholl (Universite Bordeaux)
Gheorghe Paun (Romanian Academy)
Alexander Razborov (University of Chicago and Steklov Mathematical Institute)
Vlatko Vedral (University of Oxford)
TUTORIAL SPEAKERS
John Reif (Duke Unversity)
Steve Simpson (Pennsylvania State University)
SPECIAL SESSIONS on
Representing streams (Organizers: Joerg Endrullis and Dimtri Hendriks)
Automata, logic and infinite games (Organizers: Dietmar Berwanger and
Ioana Leustean)
Reverse mathematics (Organizers: Damir Dzhafarov and Alberto Marcone)
Classical computability theory (Organizers: Marat Arslanov and Steffen Lempp)
Bio-inspired computation (Organizers: Andrei Paun and Petr Sosik)
History and philosophy of computing (Organizers: Christine Proust and
Marco Benini)
Evolution of the universe, and us within it, invite a parallel evolution
in understanding. The CiE agenda - fundamental and engaged - targets the
extracting and developing of computational models basic to current
challenges. From the origins of life, to the understanding of human
mentality, to the characterising of quantum randomness - computability
theoretic questions arise in many guises. The CiE community, this coming
year meeting for the first time in Bucharest, carries forward the search
for coherence, depth and new thinking across this rich and vital field of
research.
In all cases we are looking for fundamental and theoretical
submissions. In line with other conferences in this series, CiE
2015 has a broad scope and provides a forum for the discussion of
theoretical and practical issues in Computability with an
emphasis on new paradigms of computation and the development of
their mathematical theory.
We particularly invite papers that build bridges between
different parts of the research community.
The PROGRAMME COMMITTEE consists of:
Marat Arslanov (Kazan), Jeremy Avigad (Pittsburgh), Veronica Becher
(Buenos Aires), Arnold Beckmann (Swansea), Laurent Bienvenu (Paris),
Gabriel Ciobanu (Bucharest), S Barry Cooper (Leeds), Laura Crosilla
(Leeds), Liesbeth De Mol (Ghent), Walter Dean (Warwick), Volker
Diekert (Stuttgart), Damir Dzhafarov (Storrs, Connecticut), Peter van
Emde Boas (Amsterdam), Rachel Epstein (Harvard), Johanna Franklin
(Storrs, Connecticut), Neil Ghani (Glasgow), Joel David Hamkins (New
York), Rosalie Iemhoff (Utrecht), Emmanuel Jeandel (LORIA), Natasha
Jonoska (Tampa, FL), Antonina Kolokolova (St.John's, NL), Antonin
Kucera (Prague), Oliver Kutz (Bremen), Benedikt Loewe (Hamburg &
Amsterdam), Jack Lutz (Ames, IA), Florin Manea (Kiel), Alberto Marcone
(Udine), Radu Mardare (Aalborg), Joe Miller (Madison, WI), Russell
Miller (Flushing, NY), Mia Minnes (La Jolla, CA), Victor Mitrana
(Bucharest, co-chair), Dag Normann (Oslo), Ian Pratt-Hartmann
(Manchester), Mehrnoosh Sadrzadeh (London), Anne Smith (St Andrews),
Mariya Soskova (Sofia, co-chair), Paul Spirakis (Patras & Liverpool),
Susan Stepney (York), Jacobo Toran (Ulm), Marius Zimand (Towson, MD).
In a Call for Papers to be sent out in October 2014, the PC will
invite all researchers in the area of the conference to submit
their papers for presentation at CiE 2015. The best of the
accepted papers will be published in the conference proceedings
within the Lecture Notes in Computer Science (LNCS) series of
Springer (tbc), which will be available at the conference.
____________________________________________________________________
CiE 2015 http://fmi.unibuc.ro/CiE2015/
ASSOCIATION COMPUTABILITY IN EUROPE http://www.computability.org.uk
CiE Conference Series http://www.illc.uva.nl/CiE
CiE Membership Application Form http://www.cs.swan.ac.uk/acie
Computability (Journal of CiE) http://www.computability.de/journal/
CiE on FaceBook https://www.facebook.com/AssnCiE
Association CiE on Twitter https://twitter.com/AssociationCiE
[DMANET] COMPUTABILITY IN EUROPE 2015: Evolving Computability, Bucharest, Romania, June 29-July 3
----------------------------------------------------------------------------
P R E L I M I N A R Y A N N O U N C E M E N T
COMPUTABILITY IN EUROPE 2015: Evolving Computability
Bucharest, Romania
June 29 - July 3
http://fmi.unibuc.ro/CiE2015/
----------------------------------------------------------------------------
CiE 2015 is the 11-th 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), Milan (2013) and Budapest (2014)
CONFIRMED INVITED SPEAKERS
Ann Copestake (University of Cambridge)
Pawel Gawrychowski (Max-Planck-Institut fuer Informatik)
Julia Knight (University of Notre Dame)
Anca Muscholl (Universite Bordeaux)
Gheorghe Paun (Romanian Academy)
Alexander Razborov (University of Chicago and Steklov Mathematical Institute)
Vlatko Vedral (University of Oxford)
TUTORIAL SPEAKERS
John Reif (Duke Unversity)
Steve Simpson (Pennsylvania State University)
SPECIAL SESSIONS on
Representing streams (Organizers: Joerg Endrullis and Dimtri Hendriks)
Automata, logic and infinite games (Organizers: Dietmar Berwanger and
Ioana Leustean)
Reverse mathematics (Organizers: Damir Dzhafarov and Alberto Marcone)
Classical computability theory (Organizers: Marat Arslanov and Steffen Lempp)
Bio-inspired computation (Organizers: Andrei Paun and Petr Sosik)
History and philosophy of computing (Organizers: Christine Proust and
Marco Benini)
Evolution of the universe, and us within it, invite a parallel evolution
in understanding. The CiE agenda - fundamental and engaged - targets the
extracting and developing of computational models basic to current
challenges. From the origins of life, to the understanding of human
mentality, to the characterising of quantum randomness - computability
theoretic questions arise in many guises. The CiE community, this coming
year meeting for the first time in Bucharest, carries forward the search
for coherence, depth and new thinking across this rich and vital field of
research.
In all cases we are looking for fundamental and theoretical
submissions. In line with other conferences in this series, CiE
2015 has a broad scope and provides a forum for the discussion of
theoretical and practical issues in Computability with an
emphasis on new paradigms of computation and the development of
their mathematical theory.
We particularly invite papers that build bridges between
different parts of the research community.
The PROGRAMME COMMITTEE consists of:
Marat Arslanov (Kazan), Jeremy Avigad (Pittsburgh), Veronica Becher
(Buenos Aires), Arnold Beckmann (Swansea), Laurent Bienvenu (Paris),
Gabriel Ciobanu (Bucharest), S Barry Cooper (Leeds), Laura Crosilla
(Leeds), Liesbeth De Mol (Ghent), Walter Dean (Warwick), Volker
Diekert (Stuttgart), Damir Dzhafarov (Storrs, Connecticut), Peter van
Emde Boas (Amsterdam), Rachel Epstein (Harvard), Johanna Franklin
(Storrs, Connecticut), Neil Ghani (Glasgow), Joel David Hamkins (New
York), Rosalie Iemhoff (Utrecht), Emmanuel Jeandel (LORIA), Natasha
Jonoska (Tampa, FL), Antonina Kolokolova (St.John's, NL), Antonin
Kucera (Prague), Oliver Kutz (Bremen), Benedikt Loewe (Hamburg &
Amsterdam), Jack Lutz (Ames, IA), Florin Manea (Kiel), Alberto Marcone
(Udine), Radu Mardare (Aalborg), Joe Miller (Madison, WI), Russell
Miller (Flushing, NY), Mia Minnes (La Jolla, CA), Victor Mitrana
(Bucharest, co-chair), Dag Normann (Oslo), Ian Pratt-Hartmann
(Manchester), Mehrnoosh Sadrzadeh (London), Anne Smith (St Andrews),
Mariya Soskova (Sofia, co-chair), Paul Spirakis (Patras & Liverpool),
Susan Stepney (York), Jacobo Toran (Ulm), Marius Zimand (Towson, MD).
In a Call for Papers to be sent out in October 2014, the PC will
invite all researchers in the area of the conference to submit
their papers for presentation at CiE 2015. The best of the
accepted papers will be published in the conference proceedings
within the Lecture Notes in Computer Science (LNCS) series of
Springer (tbc), which will be available at the conference.
____________________________________________________________________
CiE 2015 http://fmi.unibuc.ro/CiE2015/
ASSOCIATION COMPUTABILITY IN EUROPE http://www.computability.org.uk
CiE Conference Series http://www.illc.uva.nl/CiE
CiE Membership Application Form http://www.cs.swan.ac.uk/acie
Computability (Journal of CiE) http://www.computability.de/journal/
CiE on FaceBook https://www.facebook.com/AssnCiE
Association CiE on Twitter https://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/
*
**********************************************************
P R E L I M I N A R Y A N N O U N C E M E N T
COMPUTABILITY IN EUROPE 2015: Evolving Computability
Bucharest, Romania
June 29 - July 3
http://fmi.unibuc.ro/CiE2015/
----------------------------------------------------------------------------
CiE 2015 is the 11-th 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), Milan (2013) and Budapest (2014)
CONFIRMED INVITED SPEAKERS
Ann Copestake (University of Cambridge)
Pawel Gawrychowski (Max-Planck-Institut fuer Informatik)
Julia Knight (University of Notre Dame)
Anca Muscholl (Universite Bordeaux)
Gheorghe Paun (Romanian Academy)
Alexander Razborov (University of Chicago and Steklov Mathematical Institute)
Vlatko Vedral (University of Oxford)
TUTORIAL SPEAKERS
John Reif (Duke Unversity)
Steve Simpson (Pennsylvania State University)
SPECIAL SESSIONS on
Representing streams (Organizers: Joerg Endrullis and Dimtri Hendriks)
Automata, logic and infinite games (Organizers: Dietmar Berwanger and
Ioana Leustean)
Reverse mathematics (Organizers: Damir Dzhafarov and Alberto Marcone)
Classical computability theory (Organizers: Marat Arslanov and Steffen Lempp)
Bio-inspired computation (Organizers: Andrei Paun and Petr Sosik)
History and philosophy of computing (Organizers: Christine Proust and
Marco Benini)
Evolution of the universe, and us within it, invite a parallel evolution
in understanding. The CiE agenda - fundamental and engaged - targets the
extracting and developing of computational models basic to current
challenges. From the origins of life, to the understanding of human
mentality, to the characterising of quantum randomness - computability
theoretic questions arise in many guises. The CiE community, this coming
year meeting for the first time in Bucharest, carries forward the search
for coherence, depth and new thinking across this rich and vital field of
research.
In all cases we are looking for fundamental and theoretical
submissions. In line with other conferences in this series, CiE
2015 has a broad scope and provides a forum for the discussion of
theoretical and practical issues in Computability with an
emphasis on new paradigms of computation and the development of
their mathematical theory.
We particularly invite papers that build bridges between
different parts of the research community.
The PROGRAMME COMMITTEE consists of:
Marat Arslanov (Kazan), Jeremy Avigad (Pittsburgh), Veronica Becher
(Buenos Aires), Arnold Beckmann (Swansea), Laurent Bienvenu (Paris),
Gabriel Ciobanu (Bucharest), S Barry Cooper (Leeds), Laura Crosilla
(Leeds), Liesbeth De Mol (Ghent), Walter Dean (Warwick), Volker
Diekert (Stuttgart), Damir Dzhafarov (Storrs, Connecticut), Peter van
Emde Boas (Amsterdam), Rachel Epstein (Harvard), Johanna Franklin
(Storrs, Connecticut), Neil Ghani (Glasgow), Joel David Hamkins (New
York), Rosalie Iemhoff (Utrecht), Emmanuel Jeandel (LORIA), Natasha
Jonoska (Tampa, FL), Antonina Kolokolova (St.John's, NL), Antonin
Kucera (Prague), Oliver Kutz (Bremen), Benedikt Loewe (Hamburg &
Amsterdam), Jack Lutz (Ames, IA), Florin Manea (Kiel), Alberto Marcone
(Udine), Radu Mardare (Aalborg), Joe Miller (Madison, WI), Russell
Miller (Flushing, NY), Mia Minnes (La Jolla, CA), Victor Mitrana
(Bucharest, co-chair), Dag Normann (Oslo), Ian Pratt-Hartmann
(Manchester), Mehrnoosh Sadrzadeh (London), Anne Smith (St Andrews),
Mariya Soskova (Sofia, co-chair), Paul Spirakis (Patras & Liverpool),
Susan Stepney (York), Jacobo Toran (Ulm), Marius Zimand (Towson, MD).
In a Call for Papers to be sent out in October 2014, the PC will
invite all researchers in the area of the conference to submit
their papers for presentation at CiE 2015. The best of the
accepted papers will be published in the conference proceedings
within the Lecture Notes in Computer Science (LNCS) series of
Springer (tbc), which will be available at the conference.
____________________________________________________________________
CiE 2015 http://fmi.unibuc.ro/CiE2015/
ASSOCIATION COMPUTABILITY IN EUROPE http://www.computability.org.uk
CiE Conference Series http://www.illc.uva.nl/CiE
CiE Membership Application Form http://www.cs.swan.ac.uk/acie
Computability (Journal of CiE) http://www.computability.de/journal/
CiE on FaceBook https://www.facebook.com/AssnCiE
Association CiE on Twitter https://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] Latin-American Summer School in Operations Research - ELAVIO 2015 - call for applications
XIX ELAVIO - Latin-American Summer School in Operations Research
CALL FOR APPLICATIONS
http://www.math.epn.edu.ec/elavio2015/index.php/en/
Quito, Ecuador, FROM FEBRUARY 23th TO 27th, 2015.
The ELAVIOs are schools supported by ALIO (the Latin-Iberoamerican Association of Operations Research)
and mainly addressed to young researchers and postgraduate students (both at the PhD and master level) from Latin-Iberoamerican countries. However, advanced undergraduate students from all over the world with excellent skills and special interest in the areas of Operations Research, Informatics, and Applied Mathematics are also welcome to apply.
The ELAVIO 2015 will be hosted at the Escuela Politécnica Nacional (EPN) in Quito, the capital city of Ecuador, from February 23th to 27th, 2015. The two million inhabitants city has a rich cultural and touristic offer that will significantly enhance the ELAVIO 2015 experience for all participants.
Besides of one of the largest colonial old towns in Latin-America, there are various museums to visit, and a cable car which can bring tourists above the 4,000 meters barrier. Additionally, several touristic destinations in the Ecuadorian Andes can be reached within one-day trips.
ELAVIO 2015 will include mini-courses, invited talks, as well as discussion panels where participants can share their research advances, open problems, and related issues. Selected contributed papers from participants will be presented in special tracks.
Research topics of the school include, but are not limited to:
1. Combinatorial optimization and polyhedral theory.
2. Nonlinear optimization.
3. Modeling with linear and nonlinear integer programs.
4. Applications to problem solving in the areas of sustainability, environmental care, logistics, fishery, agricultures, engineering and production, among others.
The official languages of the school are: English, Spanish, and Portuguese. *Talks and lectures will be either in english or in spanish* (in the latter case with english slides). More details on this regard are published on the website.
REGISTRATION AND GRANTS:
Students interested in applying must send the following documents (pdf file format) to the
e-mail address elavio2015@gmail.com:
- short curriculum vitae;
- a recommendation letter from an academic of the applicant's university or institute;
- summary (max. 2 pages) of a work to present at the school in case of acceptance (mandatory for PhD students, optional for the others).
Additionally, all applicants must fill the form located on this webpage:
http://www.math.epn.edu.ec/elavio2015/index.php/en/registration
There are grants for around 60 school participants, each grant covering hotel and food expenses. Applications will be revised by the Scientific Committee and results of the selection process will be announced on the website of the event.
EURO is offering up to two travel-sponsorships for applicants from countries affiliated to that Association. More details can be found on the webpage:
http://www.euro-online.org/web/pages/1573/elavio-2015
IFORS is offering one scholarship to cover travel expenses. The text of the call for applications can be downloaded from
http://www.math.epn.edu.ec/elavio2015/images/elavio/ELAVIO-IFORS-Call.pdf
Important dates:
14/12/2014 – deadline for applications;
31/12/2014 – notification of selected applicants
18/01/2015 - deadline for confirming paticipation;
23-27/02/2015 – XIX ELAVIO.
Please keep in mind that applications to the EURO and IFORS scholarships are INDEPENDENT from applications to ELAVIO and have their own SCHEDULES.
----
Dr. Luis Miguel Torres
Centro de Modelización Matemática ModeMat
Escuela Politécnica Nacional
Quito, Ecuador - Telf.: (+593-2) 2507-144 ext. 2383
**********************************************************
*
* 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 APPLICATIONS
http://www.math.epn.edu.ec/elavio2015/index.php/en/
Quito, Ecuador, FROM FEBRUARY 23th TO 27th, 2015.
The ELAVIOs are schools supported by ALIO (the Latin-Iberoamerican Association of Operations Research)
and mainly addressed to young researchers and postgraduate students (both at the PhD and master level) from Latin-Iberoamerican countries. However, advanced undergraduate students from all over the world with excellent skills and special interest in the areas of Operations Research, Informatics, and Applied Mathematics are also welcome to apply.
The ELAVIO 2015 will be hosted at the Escuela Politécnica Nacional (EPN) in Quito, the capital city of Ecuador, from February 23th to 27th, 2015. The two million inhabitants city has a rich cultural and touristic offer that will significantly enhance the ELAVIO 2015 experience for all participants.
Besides of one of the largest colonial old towns in Latin-America, there are various museums to visit, and a cable car which can bring tourists above the 4,000 meters barrier. Additionally, several touristic destinations in the Ecuadorian Andes can be reached within one-day trips.
ELAVIO 2015 will include mini-courses, invited talks, as well as discussion panels where participants can share their research advances, open problems, and related issues. Selected contributed papers from participants will be presented in special tracks.
Research topics of the school include, but are not limited to:
1. Combinatorial optimization and polyhedral theory.
2. Nonlinear optimization.
3. Modeling with linear and nonlinear integer programs.
4. Applications to problem solving in the areas of sustainability, environmental care, logistics, fishery, agricultures, engineering and production, among others.
The official languages of the school are: English, Spanish, and Portuguese. *Talks and lectures will be either in english or in spanish* (in the latter case with english slides). More details on this regard are published on the website.
REGISTRATION AND GRANTS:
Students interested in applying must send the following documents (pdf file format) to the
e-mail address elavio2015@gmail.com:
- short curriculum vitae;
- a recommendation letter from an academic of the applicant's university or institute;
- summary (max. 2 pages) of a work to present at the school in case of acceptance (mandatory for PhD students, optional for the others).
Additionally, all applicants must fill the form located on this webpage:
http://www.math.epn.edu.ec/elavio2015/index.php/en/registration
There are grants for around 60 school participants, each grant covering hotel and food expenses. Applications will be revised by the Scientific Committee and results of the selection process will be announced on the website of the event.
EURO is offering up to two travel-sponsorships for applicants from countries affiliated to that Association. More details can be found on the webpage:
http://www.euro-online.org/web/pages/1573/elavio-2015
IFORS is offering one scholarship to cover travel expenses. The text of the call for applications can be downloaded from
http://www.math.epn.edu.ec/elavio2015/images/elavio/ELAVIO-IFORS-Call.pdf
Important dates:
14/12/2014 – deadline for applications;
31/12/2014 – notification of selected applicants
18/01/2015 - deadline for confirming paticipation;
23-27/02/2015 – XIX ELAVIO.
Please keep in mind that applications to the EURO and IFORS scholarships are INDEPENDENT from applications to ELAVIO and have their own SCHEDULES.
----
Dr. Luis Miguel Torres
Centro de Modelización Matemática ModeMat
Escuela Politécnica Nacional
Quito, Ecuador - Telf.: (+593-2) 2507-144 ext. 2383
**********************************************************
*
* Contributions to be spread via DMANET are submitted to
*
* DMANET@zpr.uni-koeln.de
*
* Replies to a message carried on DMANET should NOT be
* addressed to DMANET but to the original sender. The
* original sender, however, is invited to prepare an
* update of the replies received and to communicate it
* via DMANET.
*
* DISCRETE MATHEMATICS AND ALGORITHMS NETWORK (DMANET)
* http://www.zaik.uni-koeln.de/AFS/publications/dmanet/
*
**********************************************************
[DMANET] Last Days Before IM 2015 Extended Deadline (September 30, 2014 Firm)
[We apologize if you've received multiple copies of this message.]
[In addition to the full paper track (8 pages), IM 2015 also offers a
great short paper track (4 pages) that is perfect for reporting
work-in-progress.]
************************************************************************************
CFP IFIP/IEEE IM 2015
The 14th IFIP/IEEE International Symposium on Integrated Network Management
Ottawa, Ontario, Canada, 11-15 May 2015
http://www.ieee-im.org/
Paper Submission Date: September 30, 2014 (Extended)
"Integrated Management in the Age of Big Data"
************************************************************************************
The 14th IFIP/IEEE International Symposium on Integrated Network
Management
(IM 2015) will be held 11-15 May 2015 in Ottawa, Ontario, Canada and
hosted by
the Ottawa Convention Centre. Held in odd-numbered years since 1989,
IM 2015
follows the 27 years tradition of NOMS and IM as the primary IEEE
Communications
Society's forum for technical exchange on management of
information and
communication technology focusing on research, development,
integration,
standards, service provisioning, and user communities. IM 2015 will
focus on the
theme "Integrated Management in the Age of Big Data"
presenting recent,
emerging approaches and technical solutions for dealing with Big Data
as well as
using it for management solutions. IM 2015 will offer five types
of sessions:
technical, experience, poster, panel and dissertation. High quality
will be assured
through a well qualified Technical Program Committee and stringent
peer review
of paper submissions. A special call for demonstrations is
organized to allow
industry partners and researchers to demonstrate early products and
prototypes.
KEYNOTE SPEAKERS
We would like to highlight the four Keynote Addresses confirmed so far:
- Alberto Leon Garcia (University of Toronto, Canada)
- Dinesh Verma (IBM, USA)
- Ibrahim Gideon (Telus, Canada)
- Rich Friedrich (HP, USA)
CALL FOR SUBMISSIONS
Technical Papers (extended deadline: September 30, 2014)
http://www.ieee-im.org/content/technical-session-papers
Experience Papers (extended deadline: September 30, 2014)
http://www.ieee-im.org/content/experience-session-papers
Dissertation Papers (deadline: October 30, 2014)
http://www.ieee-im.org/content/dissertation-papers
Tutorials (deadline: October 17, 2014)
http://www.ieee-im.org/content/tutorials-0
Panels (deadline: October 31, 2014)
http://www.ieee-im.org/content/panels
Exhibits and Demos (deadline: January 30, 2015)
http://www.ieee-im.org/content/demos
More Information on Workshops
http://www.ieee-im.org/content/workshops-0
TOPICS OF INTEREST
Authors are invited to submit papers that fall into or are related to
the topic areas
that are listed below. In addition, we invite submissions of
proposals for
demonstrations, exhibits, technical panels, tutorials and workshops.
Papers can be
submitted as technical session full papers, technical session
short papers,
experience session papers and dissertation papers.
Network Management & Operational Experience
- Software Defined Networks (SDN)
- Smart Cities, Smart Grids
- Internet of Things (IoT)
- Future Internet
- Content Distribution Networks (P2P, CDN, ICN)
- Virtual and Overlay Networks
- Data Centers, Storage Area Networks
- Cyber-Physical Systems
- Wireless and Mobile Networks (Ad-Hoc, Mesh, Sensor, Vehicular)
- Smart Devices and Home Networks
- Broadband Access Networks
- Cognitive Radio Networks
- IP/MPLS Networks
- Optical Networks
- Heterogeneous Networks
Service Management
- Cloud Services (IaaS, PaaS, SaaS)
- IT Service Management
- Multimedia and Data Services
- QoE-Centric Management
- Service Discovery, Migration and Orchestration
- Resource Provisioning and Management
- Hosting and Virtualized Infrastructures
- OTT Service Management
- Management as a Service
Business Management
- Legal and Ethical Issues
- Process Management
Functional Areas
- Deployment
- Fault Management
- Diagnostics, Tracing, Troubleshooting
- Configuration Management
- Accounting and Billing Management
- Performance Management
- Service Level Management
- Security Management, IDS, IPS
Management Approaches
- Centralized management
- Distributed management
- Autonomic and self-management
- Policy-based management
- Federated Management
- Pro-Active Management
- Energy-Aware Management
- Management Architectures
Management Enablers & Technologies
- Network Programmability
- Cloud Computing
- Network Function Virtualization (NFV), Service Chaining
- (Big) Data, Information and Semantic Modeling
- Protocols and Languages
- Message and Software Buses
- Middleware, Grids
- Mobile Agents
- Social Networking
- Human-Machine Interactions
- Operations and Business Support Systems (OSS/BSS)
Methodologies for Network Operations and Management
- (Big) Data Analytics and Data Mining
- Monitoring and Measurements
- Control Theories
- Optimization Theories
- Economic Theories
- Machine learning and Genetic Algorithms
- Probability, Stochastic Processes, and Queuing Theory
- Design and Simulation
- Experimental Studies
- Visualization
GENERAL CO-CHAIRS
- Raouf Boutaba, University of Waterloo, Canada
- Wahab Almuhtadi, Algonquin College, Canada
TPC CO-CHAIRS
- Shingo Ata, Osaka City University, Japan
- Remi Badonnel, TELECOM Nancy - LORIA/INRIA, France
- Jin Xiao, IBM T.J. Watson, USA
STEERING COMMITTEE
- Raouf Boutaba, University of Waterloo, Canada
- Marcus Brunner, Swisscom, Switzerland
- Alex Clemm, Cisco, USA
- Olivier Festor, Telecom Nancy, France
- Nobuo Fujii, NTT, Japan
- Lisandro Zambenedetti Granville, UFRGS, Brazil
- Aiko Pras, University of Twente, Netherlands
- Doug Zuckerman, Applied Communication Sciences, USA
A PDF version of this call is available for download on:
http://im2015.ieee-im.org/call-for-submissions
For more information, please feel free to contact the TPC chairs
at im2015tpcchairs@gmail.com or visit http://www.ieee-im.org
**********************************************************
*
* 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/
*
**********************************************************
[In addition to the full paper track (8 pages), IM 2015 also offers a
great short paper track (4 pages) that is perfect for reporting
work-in-progress.]
************************************************************************************
CFP IFIP/IEEE IM 2015
The 14th IFIP/IEEE International Symposium on Integrated Network Management
Ottawa, Ontario, Canada, 11-15 May 2015
http://www.ieee-im.org/
Paper Submission Date: September 30, 2014 (Extended)
"Integrated Management in the Age of Big Data"
************************************************************************************
The 14th IFIP/IEEE International Symposium on Integrated Network
Management
(IM 2015) will be held 11-15 May 2015 in Ottawa, Ontario, Canada and
hosted by
the Ottawa Convention Centre. Held in odd-numbered years since 1989,
IM 2015
follows the 27 years tradition of NOMS and IM as the primary IEEE
Communications
Society's forum for technical exchange on management of
information and
communication technology focusing on research, development,
integration,
standards, service provisioning, and user communities. IM 2015 will
focus on the
theme "Integrated Management in the Age of Big Data"
presenting recent,
emerging approaches and technical solutions for dealing with Big Data
as well as
using it for management solutions. IM 2015 will offer five types
of sessions:
technical, experience, poster, panel and dissertation. High quality
will be assured
through a well qualified Technical Program Committee and stringent
peer review
of paper submissions. A special call for demonstrations is
organized to allow
industry partners and researchers to demonstrate early products and
prototypes.
KEYNOTE SPEAKERS
We would like to highlight the four Keynote Addresses confirmed so far:
- Alberto Leon Garcia (University of Toronto, Canada)
- Dinesh Verma (IBM, USA)
- Ibrahim Gideon (Telus, Canada)
- Rich Friedrich (HP, USA)
CALL FOR SUBMISSIONS
Technical Papers (extended deadline: September 30, 2014)
http://www.ieee-im.org/content/technical-session-papers
Experience Papers (extended deadline: September 30, 2014)
http://www.ieee-im.org/content/experience-session-papers
Dissertation Papers (deadline: October 30, 2014)
http://www.ieee-im.org/content/dissertation-papers
Tutorials (deadline: October 17, 2014)
http://www.ieee-im.org/content/tutorials-0
Panels (deadline: October 31, 2014)
http://www.ieee-im.org/content/panels
Exhibits and Demos (deadline: January 30, 2015)
http://www.ieee-im.org/content/demos
More Information on Workshops
http://www.ieee-im.org/content/workshops-0
TOPICS OF INTEREST
Authors are invited to submit papers that fall into or are related to
the topic areas
that are listed below. In addition, we invite submissions of
proposals for
demonstrations, exhibits, technical panels, tutorials and workshops.
Papers can be
submitted as technical session full papers, technical session
short papers,
experience session papers and dissertation papers.
Network Management & Operational Experience
- Software Defined Networks (SDN)
- Smart Cities, Smart Grids
- Internet of Things (IoT)
- Future Internet
- Content Distribution Networks (P2P, CDN, ICN)
- Virtual and Overlay Networks
- Data Centers, Storage Area Networks
- Cyber-Physical Systems
- Wireless and Mobile Networks (Ad-Hoc, Mesh, Sensor, Vehicular)
- Smart Devices and Home Networks
- Broadband Access Networks
- Cognitive Radio Networks
- IP/MPLS Networks
- Optical Networks
- Heterogeneous Networks
Service Management
- Cloud Services (IaaS, PaaS, SaaS)
- IT Service Management
- Multimedia and Data Services
- QoE-Centric Management
- Service Discovery, Migration and Orchestration
- Resource Provisioning and Management
- Hosting and Virtualized Infrastructures
- OTT Service Management
- Management as a Service
Business Management
- Legal and Ethical Issues
- Process Management
Functional Areas
- Deployment
- Fault Management
- Diagnostics, Tracing, Troubleshooting
- Configuration Management
- Accounting and Billing Management
- Performance Management
- Service Level Management
- Security Management, IDS, IPS
Management Approaches
- Centralized management
- Distributed management
- Autonomic and self-management
- Policy-based management
- Federated Management
- Pro-Active Management
- Energy-Aware Management
- Management Architectures
Management Enablers & Technologies
- Network Programmability
- Cloud Computing
- Network Function Virtualization (NFV), Service Chaining
- (Big) Data, Information and Semantic Modeling
- Protocols and Languages
- Message and Software Buses
- Middleware, Grids
- Mobile Agents
- Social Networking
- Human-Machine Interactions
- Operations and Business Support Systems (OSS/BSS)
Methodologies for Network Operations and Management
- (Big) Data Analytics and Data Mining
- Monitoring and Measurements
- Control Theories
- Optimization Theories
- Economic Theories
- Machine learning and Genetic Algorithms
- Probability, Stochastic Processes, and Queuing Theory
- Design and Simulation
- Experimental Studies
- Visualization
GENERAL CO-CHAIRS
- Raouf Boutaba, University of Waterloo, Canada
- Wahab Almuhtadi, Algonquin College, Canada
TPC CO-CHAIRS
- Shingo Ata, Osaka City University, Japan
- Remi Badonnel, TELECOM Nancy - LORIA/INRIA, France
- Jin Xiao, IBM T.J. Watson, USA
STEERING COMMITTEE
- Raouf Boutaba, University of Waterloo, Canada
- Marcus Brunner, Swisscom, Switzerland
- Alex Clemm, Cisco, USA
- Olivier Festor, Telecom Nancy, France
- Nobuo Fujii, NTT, Japan
- Lisandro Zambenedetti Granville, UFRGS, Brazil
- Aiko Pras, University of Twente, Netherlands
- Doug Zuckerman, Applied Communication Sciences, USA
A PDF version of this call is available for download on:
http://im2015.ieee-im.org/call-for-submissions
For more information, please feel free to contact the TPC chairs
at im2015tpcchairs@gmail.com or visit http://www.ieee-im.org
**********************************************************
*
* Contributions to be spread via DMANET are submitted to
*
* DMANET@zpr.uni-koeln.de
*
* Replies to a message carried on DMANET should NOT be
* addressed to DMANET but to the original sender. The
* original sender, however, is invited to prepare an
* update of the replies received and to communicate it
* via DMANET.
*
* DISCRETE MATHEMATICS AND ALGORITHMS NETWORK (DMANET)
* http://www.zaik.uni-koeln.de/AFS/publications/dmanet/
*
**********************************************************
Wednesday, September 24, 2014
[DMANET] Call for Full Book Chapters (30th October 2014): Information Systems and Management in eMedia and Creative Industries: Springer-Verlag
===============================================================================================================
Call for Book Chapters
Information Systems and Management in eMedia and Creative Industries:
Springer-Verlag
Artur Lugmayr, Emilija Stojmenova, Katarina Stanoevska, and Robert Wellington (Eds.)
===============================================================================================================
Special Focus on NEW Approaches in the eMedia Industries, or Approaches HOW eMedia Support Information Systems:
Strategic Importance of IT ans IS&M in Media, Big Data, Crowd, Open Data, Linked Data, Cloud Application,
New Business Analytics, Information Visualization, Workflow Management, IS&M as Basis of New Business Models of
New Media Products, and Global Digital Production Pipelines.
===============================================================================================================
Upcoming Deadline: 30th October (manuscript), 20th Dec. (reviews)
Book Website: http://www.tut.fi/emmi/WWW/ameamain/ismemedia
Email List: https://listmail.tut.fi/mailman/listinfo/ism-emedia
Submission System: http://www.ambientmediaassociation.org/Submissions/2014ISMEMEDIA/
Facebook: https://www.facebook.com/groups/ismemedia/
Contact us: lartur@acm.org or emilija.stojmenova@ltfe.org
===============================================================================================================
In the context of eMedia and creative industry: information systems, information management, knowledge management,
decision management, workflow management, electronic media, IT systems, human factors of IT systems, management
technology, digital services, big data, open data, linked data
According to Gartner published in Techcrunch, communications media and services are the 3rd largest IT systems spenders with
a yearly growth rate of 4.4% with a share of approx. $4 billion in 2011, after banking & securities and manufacturing &
natural resources [1]. For example, the TV industry was faced with tremendous change in technologies during the past decade,
such as the digital switchover, the introduction of HDTV, or the provision of 3D content. Large scale asset repositories
and different workflows in the content production process had to be introduced. Other media industries faced similar
challenges, as the emergence of digital publishing, digital content distribution, or advancement of in-house customer
relationship management infrastructures, and the digitalization of workflows.
This change towards digital implies a more holistic view of information systems and management in media industries to provide
optimal system solutions, and eventually cut costs. Where other industries are well researched in terms of their IT system
solutions, in media industries the discussion around content repositories, media management solutions, and digital workflows
seems to be predominant. Within the context of this publication, a more holistic view towards information systems and
management in media industries shall be introduced, and emphasize the importance of research of business information
management and systems in media industries.
The media and entertainment industry is the third largest industry segment for investments in information systems. And this
particular industry segment is faced with tremendous challenges in terms of organizational, transformational, leadership,
customer behaviour, and technological changes. One particular challenge is the transformation of the analogue media world
into its digital counterpart. As of today, the successive research of business information management and systems focusing on
media and entertainment industries is rather fragmented and stretches over a wide area of research islands such as social
media, eCommerce, or eBusiness.
To face this challenge, this book focuses on information management and systems for media and entertainment industries and
highlighting their particular needs in production, distribution, and consumption. The book shall gather a scientific community
around the theme of business information management and systems in the larger context of media and entertainment
industries.
Special Focus on the Notion NEW approaches of Content and Media in Information Systems & Management Applications in
Particular in Application Areas as: Big Data, Crowd, Open Data, Linked Data, Cloud Application, New Business Analytics,
Information Visualization, Workflow Management, and Global Digital Production Pipelines.
===============================================================================================================
Topics of Interest
===============================================================================================================
===============================================================================================================
Management, Marketing, Business Aspects and Strategic
Importance of IT and IS&M in Creative eMedia Industries
===============================================================================================================
o IS as basis of new business models/new media products
o business process modelling
o customer intelligence either in real-time / non-real-time
o enterprise systems and project management
o subscriber management & marketing
o business model innovations and analytics
o personalized and individualized offerings to increase consumer loyalty
o increase revenue from intellectual property (IP) rights and royalties
o financial performance management
o marketing and targeted marketing for media services and consumer feedback management
o subscriber management & marketing
o target niche groups and create new revenue streams
o increase revenue from intellectual property (IP) rights and royalties
o financial performance management
===============================================================================================================
Consumer, Audience, Human-Computer-Interaction, and
User Viewpoints
===============================================================================================================
* perception of media content in systems
* understanding audiences, advertisement statistics, audience trends, and audience preferences
* social media analysis and marketing
* collaborative productions
* customer intelligence either in real-time / non- real-time
* marketing and targeted marketing for media services and consumer feedback management
* target niche groups and create new revenue streams
* personalized and individualized offerings to increase consumer loyalty
* the behavioural, cognitive, motivational and affective aspects of human and technology interaction in media
and content production
* digital documents/genres; human information seeking and web navigation behaviours; human information
interaction; information visualization in media industries
* behavioural information security and information assurance; privacy and trust in human technology
interaction
* user interface design and evaluation for various applications in business, managerial, organizational
domains in media
* integrated and/or innovative approaches, guidelines, and standards or metrics for human centred analysis,
design, construction, evaluation, and use of interactive devices and information systems
* information systems usability engineering; universal usability
* the impact of interfaces/information technology on people's attitude, behaviour, performance, perception,
and productivity
* the elderly, the young, and special needs populations for new applications, modalities, and multimedia
interaction in content/media industry
* user-centred/participatory/informed design and evaluation for different types of applications in a
variety of contexts in the media and content industries.
===============================================================================================================
Technology Perspective of the Usage of Media in IS&M in Media Industry and the Application of Media in IS&M
across Domains: Technology, Processes, Workflows, Infrastructures and Global Production Pipelines
===============================================================================================================
o digital content End-to-End
o data warehousing; digital archiving & asset management
o data warehousing
o digital archiving & asset management
o digital workflows and workflow management
o workflow management applications
o process automation
o IT supporting new services: cloud, big data, crowd, linked data, and open data
o Decision making systems using media content
o ?
===============================================================================================================
Methods, Approaches, and Importance of IT and
Information Systems and Management in Media - Media
and Content as Part of IS&M across Application Domains
===============================================================================================================
o impact of media in IS&M (e.g. business case calculation)
o information systems research methods
o system analysis and design
o design methods and approaches, including visual design
o methods in human-computer-interaction and IS&M
o information quality and measurement
o evaluation of the impact of IS in media
o methods for performance management, business model innovations, and analytics
o ?
===============================================================================================================
Content, Service, Application, and Artistic Viewpoint on IS&M in Media and Creativity Industries
===============================================================================================================
o IS & media services targeted to the end consumer
o open data and linked data applications
o Big Data related to media industry and for vertical industries (government, healthcare, ?)
o crowd-funding and crowd-sourcing applications and for market research and innovation
o media for/media industry and cloud applications
o digital production management applications
o knowledge visualization & management
o digital storytelling (serious and entertainment contexts)
o ?
We strongly welcome other topic suggestions dealing with the topic matter. Please feel free to submit. However, we
do NOT want chapters outside the information systems & management context.
===============================================================================================================
30th October 2014
submission of full book chapters
===============================================================================================================
* please follow the manuscript formatting guidelines below, and only submit the original version (in Microsoft Word)
* each final manuscript should be 15-17 pages long (depending on the number of submissions longer manuscripts will also be
accepted) and follow the guidelines on http://www.springer.com/authors/book+authors?SGWID=0-154102-12-417900-0
* Manuscript submission website: http://www.ambientmediaassociation.org/Submissions/2014ISMEMEDIA/
**********************************************************
*
* 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 Book Chapters
Information Systems and Management in eMedia and Creative Industries:
Springer-Verlag
Artur Lugmayr, Emilija Stojmenova, Katarina Stanoevska, and Robert Wellington (Eds.)
===============================================================================================================
Special Focus on NEW Approaches in the eMedia Industries, or Approaches HOW eMedia Support Information Systems:
Strategic Importance of IT ans IS&M in Media, Big Data, Crowd, Open Data, Linked Data, Cloud Application,
New Business Analytics, Information Visualization, Workflow Management, IS&M as Basis of New Business Models of
New Media Products, and Global Digital Production Pipelines.
===============================================================================================================
Upcoming Deadline: 30th October (manuscript), 20th Dec. (reviews)
Book Website: http://www.tut.fi/emmi/WWW/ameamain/ismemedia
Email List: https://listmail.tut.fi/mailman/listinfo/ism-emedia
Submission System: http://www.ambientmediaassociation.org/Submissions/2014ISMEMEDIA/
Facebook: https://www.facebook.com/groups/ismemedia/
Contact us: lartur@acm.org or emilija.stojmenova@ltfe.org
===============================================================================================================
In the context of eMedia and creative industry: information systems, information management, knowledge management,
decision management, workflow management, electronic media, IT systems, human factors of IT systems, management
technology, digital services, big data, open data, linked data
According to Gartner published in Techcrunch, communications media and services are the 3rd largest IT systems spenders with
a yearly growth rate of 4.4% with a share of approx. $4 billion in 2011, after banking & securities and manufacturing &
natural resources [1]. For example, the TV industry was faced with tremendous change in technologies during the past decade,
such as the digital switchover, the introduction of HDTV, or the provision of 3D content. Large scale asset repositories
and different workflows in the content production process had to be introduced. Other media industries faced similar
challenges, as the emergence of digital publishing, digital content distribution, or advancement of in-house customer
relationship management infrastructures, and the digitalization of workflows.
This change towards digital implies a more holistic view of information systems and management in media industries to provide
optimal system solutions, and eventually cut costs. Where other industries are well researched in terms of their IT system
solutions, in media industries the discussion around content repositories, media management solutions, and digital workflows
seems to be predominant. Within the context of this publication, a more holistic view towards information systems and
management in media industries shall be introduced, and emphasize the importance of research of business information
management and systems in media industries.
The media and entertainment industry is the third largest industry segment for investments in information systems. And this
particular industry segment is faced with tremendous challenges in terms of organizational, transformational, leadership,
customer behaviour, and technological changes. One particular challenge is the transformation of the analogue media world
into its digital counterpart. As of today, the successive research of business information management and systems focusing on
media and entertainment industries is rather fragmented and stretches over a wide area of research islands such as social
media, eCommerce, or eBusiness.
To face this challenge, this book focuses on information management and systems for media and entertainment industries and
highlighting their particular needs in production, distribution, and consumption. The book shall gather a scientific community
around the theme of business information management and systems in the larger context of media and entertainment
industries.
Special Focus on the Notion NEW approaches of Content and Media in Information Systems & Management Applications in
Particular in Application Areas as: Big Data, Crowd, Open Data, Linked Data, Cloud Application, New Business Analytics,
Information Visualization, Workflow Management, and Global Digital Production Pipelines.
===============================================================================================================
Topics of Interest
===============================================================================================================
===============================================================================================================
Management, Marketing, Business Aspects and Strategic
Importance of IT and IS&M in Creative eMedia Industries
===============================================================================================================
o IS as basis of new business models/new media products
o business process modelling
o customer intelligence either in real-time / non-real-time
o enterprise systems and project management
o subscriber management & marketing
o business model innovations and analytics
o personalized and individualized offerings to increase consumer loyalty
o increase revenue from intellectual property (IP) rights and royalties
o financial performance management
o marketing and targeted marketing for media services and consumer feedback management
o subscriber management & marketing
o target niche groups and create new revenue streams
o increase revenue from intellectual property (IP) rights and royalties
o financial performance management
===============================================================================================================
Consumer, Audience, Human-Computer-Interaction, and
User Viewpoints
===============================================================================================================
* perception of media content in systems
* understanding audiences, advertisement statistics, audience trends, and audience preferences
* social media analysis and marketing
* collaborative productions
* customer intelligence either in real-time / non- real-time
* marketing and targeted marketing for media services and consumer feedback management
* target niche groups and create new revenue streams
* personalized and individualized offerings to increase consumer loyalty
* the behavioural, cognitive, motivational and affective aspects of human and technology interaction in media
and content production
* digital documents/genres; human information seeking and web navigation behaviours; human information
interaction; information visualization in media industries
* behavioural information security and information assurance; privacy and trust in human technology
interaction
* user interface design and evaluation for various applications in business, managerial, organizational
domains in media
* integrated and/or innovative approaches, guidelines, and standards or metrics for human centred analysis,
design, construction, evaluation, and use of interactive devices and information systems
* information systems usability engineering; universal usability
* the impact of interfaces/information technology on people's attitude, behaviour, performance, perception,
and productivity
* the elderly, the young, and special needs populations for new applications, modalities, and multimedia
interaction in content/media industry
* user-centred/participatory/informed design and evaluation for different types of applications in a
variety of contexts in the media and content industries.
===============================================================================================================
Technology Perspective of the Usage of Media in IS&M in Media Industry and the Application of Media in IS&M
across Domains: Technology, Processes, Workflows, Infrastructures and Global Production Pipelines
===============================================================================================================
o digital content End-to-End
o data warehousing; digital archiving & asset management
o data warehousing
o digital archiving & asset management
o digital workflows and workflow management
o workflow management applications
o process automation
o IT supporting new services: cloud, big data, crowd, linked data, and open data
o Decision making systems using media content
o ?
===============================================================================================================
Methods, Approaches, and Importance of IT and
Information Systems and Management in Media - Media
and Content as Part of IS&M across Application Domains
===============================================================================================================
o impact of media in IS&M (e.g. business case calculation)
o information systems research methods
o system analysis and design
o design methods and approaches, including visual design
o methods in human-computer-interaction and IS&M
o information quality and measurement
o evaluation of the impact of IS in media
o methods for performance management, business model innovations, and analytics
o ?
===============================================================================================================
Content, Service, Application, and Artistic Viewpoint on IS&M in Media and Creativity Industries
===============================================================================================================
o IS & media services targeted to the end consumer
o open data and linked data applications
o Big Data related to media industry and for vertical industries (government, healthcare, ?)
o crowd-funding and crowd-sourcing applications and for market research and innovation
o media for/media industry and cloud applications
o digital production management applications
o knowledge visualization & management
o digital storytelling (serious and entertainment contexts)
o ?
We strongly welcome other topic suggestions dealing with the topic matter. Please feel free to submit. However, we
do NOT want chapters outside the information systems & management context.
===============================================================================================================
30th October 2014
submission of full book chapters
===============================================================================================================
* please follow the manuscript formatting guidelines below, and only submit the original version (in Microsoft Word)
* each final manuscript should be 15-17 pages long (depending on the number of submissions longer manuscripts will also be
accepted) and follow the guidelines on http://www.springer.com/authors/book+authors?SGWID=0-154102-12-417900-0
* Manuscript submission website: http://www.ambientmediaassociation.org/Submissions/2014ISMEMEDIA/
**********************************************************
*
* 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] NEO UBIMEDIA MINDTREK AWARD 2014 (the ubimedia competition) - deadline extended till the 30th September
==============================================================================
NEO UBIMEDIA MINDTREK AWARD 2014
CALL FOR COMPETITION ENTRIES
THE award for the pervasive, ubiqutious, and ambient intelligent community
EXTENDED Award submission DEADLINE: 30th SEPTEMBER 2014
4th-6th November, Tampere Finland
http://www.numa.fi, http://www.mindtrek.org
Join us on Facebook: https://www.facebook.com/groups/numa.award/
In cooperation with MindTrek Association, Internatinal Ambient Media Association (iAMEA),
and the AIS SIG-eMedia
==============================================================================
NUMA 2014 - THE award for pervasive, ubiquitous, ambient technologies, media, services, user experience,
concepts, and applications. We refurbished the competition for 2014 after having received over 220
competition entries over the past seven years. We want to integrate all the latest trends in the world
of smart media, as we want to see incredible re-interpretations of the original notion of ubimedia,
pervasive media, and ambient media. Any new fresh idea is welcome in this area! The vision of ubimedia
today spreads in smart city concepts, smart cards, and smart phones - and starts to become mainstream -
there are still many more exciting, seamless, and unobtrusive experiences that need to be discovered.
We still seek for cutting edge tech innovations, and look for makers that single-handedly engineer
fascinating new ubimedia services and devices on a shoestring budget. We welcome all ubimedia masterminds,
pervasive computation enthusiasts, and ambient intelligent researchers to participate in writing the
next chapter for the most innovative, inspiring, and sometimes slightly mad competition in ubimedia's
history and seek projects, applications, services, technological solutions, concepts, or new media
environment as competition entry. Note, there will be also a price sum giving to the very best three
entries.
Possible themes, topics, and areas where your application could contribute to:
- smart environments (smart cars, smart houses, smart devices, smart cities)
- cyber, social, and physical computing
- human computer interaction in the era of ubiquitous computation
- smart robots, interaction with robots, and robotic applications
- new interaction devices (Google glasses, Pebble, ?)
- big data concepts for pervasive computation
- the ?quantified? self and the digital human
- sensor data, context awareness, and intelligence
- mobile phone applications, NFC technologies, and embedded systems (e.g. Arduino)
- wearable technologies, smart watches, smart glasses, and smart gadgets
- cyber physical systems (CPS)
- urban informatics and smart transportation
- security and safety of environments
- smart saving of energy, and sustainable environments
- production and industrial applications that are smart
- information systems and management in smart environments
- entertainment applications (e.g. pervasive games, ambient television, ...)
- artisic works, apps, and creative designs
- ergonomics, human-computer interaction designs, and consumer experience
- software, hardware, and middleware frameworks
NUMA is looking for your bold, irritating and mind-opening ideas, no matter if you are a student,
seasoned researcher, entrepreneur or artist. Whether thesis, project or product - our only condition
is: you must be able to demo it, otherwise you are out! You will have to prove your idea with a working
prototype, and if you are nominated you will need to demonstrate your work during MindTrek. As we are a
cross-disciplinary competition, we created the following categories, to cope with all the latest trends:
- ?NUMA-TEC? - You have been pushing the boundaries of sensors and ubiquitous computing or invented
some incredible new pervasive hardware? This award focuses on advances in ?Technology?.
- ?NUMA-KERS? - You have mastered the odds of physical computing and rapid prototyping and want to expose
your devices beyond the maker community? This award focuses on the community of ?Makers?.
- ?NUMA-UX? - You are an interaction, experience designer, or artist and have gone where no content
has been seen before? This award focuses on the ?Experience?.
- ?NUMA-CONTENT? - You are a content creator, application developer, designer, artist, game designer,
or new media developer? This award focuses on new ambient, ubiquitous, and pervasive content.
NUMA 2014 gives all of you the chance to show your work to an interdisciplinary international jury and
win a the award! Winners will also be invited to become part of the great MindTrek 2014 event and
community with travel costs covered.
To submit your entry, please go to http://www.numa.fi (http://www.numa.fi/call-open). If you would
like to get more information or have questions, please send your email to: chairs@lists.numa.fi.
Subscribe to our email list on: http://lists.numa.fi/mailman/listinfo/numa.
The competition is organized in cooperation with the MindTrek Association (http://www.mindtrek.org)
and the International Ambient Media Association (iAMEA) (http://www.ambientmediaassociation.org),
the AIS SIG-eMedia (http://aisnet.org/group/SIG-eMedia) and part of the MindTrek Festival.
The chairs of the competition are Artur Lugmayr, Tampere Univ. of Technology (TUT), FINLAND;
Bjoern Stockleben, Univ. of Applied Sciences Magdeburg-Stendal, GERMANY; and Timothy Merritt,
Aarhus School of Architecture, DENMARK.
Website: http://www.numa.fi (http://www.numa.fi/call-open)
Contact Email: chairs@lists.numa.fi
EMAIL List: http://lists.numa.fi/mailman/listinfo/numa
Facebook Group: https://www.facebook.com/groups/numa.award/
**********************************************************
*
* 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/
*
**********************************************************
NEO UBIMEDIA MINDTREK AWARD 2014
CALL FOR COMPETITION ENTRIES
THE award for the pervasive, ubiqutious, and ambient intelligent community
EXTENDED Award submission DEADLINE: 30th SEPTEMBER 2014
4th-6th November, Tampere Finland
http://www.numa.fi, http://www.mindtrek.org
Join us on Facebook: https://www.facebook.com/groups/numa.award/
In cooperation with MindTrek Association, Internatinal Ambient Media Association (iAMEA),
and the AIS SIG-eMedia
==============================================================================
NUMA 2014 - THE award for pervasive, ubiquitous, ambient technologies, media, services, user experience,
concepts, and applications. We refurbished the competition for 2014 after having received over 220
competition entries over the past seven years. We want to integrate all the latest trends in the world
of smart media, as we want to see incredible re-interpretations of the original notion of ubimedia,
pervasive media, and ambient media. Any new fresh idea is welcome in this area! The vision of ubimedia
today spreads in smart city concepts, smart cards, and smart phones - and starts to become mainstream -
there are still many more exciting, seamless, and unobtrusive experiences that need to be discovered.
We still seek for cutting edge tech innovations, and look for makers that single-handedly engineer
fascinating new ubimedia services and devices on a shoestring budget. We welcome all ubimedia masterminds,
pervasive computation enthusiasts, and ambient intelligent researchers to participate in writing the
next chapter for the most innovative, inspiring, and sometimes slightly mad competition in ubimedia's
history and seek projects, applications, services, technological solutions, concepts, or new media
environment as competition entry. Note, there will be also a price sum giving to the very best three
entries.
Possible themes, topics, and areas where your application could contribute to:
- smart environments (smart cars, smart houses, smart devices, smart cities)
- cyber, social, and physical computing
- human computer interaction in the era of ubiquitous computation
- smart robots, interaction with robots, and robotic applications
- new interaction devices (Google glasses, Pebble, ?)
- big data concepts for pervasive computation
- the ?quantified? self and the digital human
- sensor data, context awareness, and intelligence
- mobile phone applications, NFC technologies, and embedded systems (e.g. Arduino)
- wearable technologies, smart watches, smart glasses, and smart gadgets
- cyber physical systems (CPS)
- urban informatics and smart transportation
- security and safety of environments
- smart saving of energy, and sustainable environments
- production and industrial applications that are smart
- information systems and management in smart environments
- entertainment applications (e.g. pervasive games, ambient television, ...)
- artisic works, apps, and creative designs
- ergonomics, human-computer interaction designs, and consumer experience
- software, hardware, and middleware frameworks
NUMA is looking for your bold, irritating and mind-opening ideas, no matter if you are a student,
seasoned researcher, entrepreneur or artist. Whether thesis, project or product - our only condition
is: you must be able to demo it, otherwise you are out! You will have to prove your idea with a working
prototype, and if you are nominated you will need to demonstrate your work during MindTrek. As we are a
cross-disciplinary competition, we created the following categories, to cope with all the latest trends:
- ?NUMA-TEC? - You have been pushing the boundaries of sensors and ubiquitous computing or invented
some incredible new pervasive hardware? This award focuses on advances in ?Technology?.
- ?NUMA-KERS? - You have mastered the odds of physical computing and rapid prototyping and want to expose
your devices beyond the maker community? This award focuses on the community of ?Makers?.
- ?NUMA-UX? - You are an interaction, experience designer, or artist and have gone where no content
has been seen before? This award focuses on the ?Experience?.
- ?NUMA-CONTENT? - You are a content creator, application developer, designer, artist, game designer,
or new media developer? This award focuses on new ambient, ubiquitous, and pervasive content.
NUMA 2014 gives all of you the chance to show your work to an interdisciplinary international jury and
win a the award! Winners will also be invited to become part of the great MindTrek 2014 event and
community with travel costs covered.
To submit your entry, please go to http://www.numa.fi (http://www.numa.fi/call-open). If you would
like to get more information or have questions, please send your email to: chairs@lists.numa.fi.
Subscribe to our email list on: http://lists.numa.fi/mailman/listinfo/numa.
The competition is organized in cooperation with the MindTrek Association (http://www.mindtrek.org)
and the International Ambient Media Association (iAMEA) (http://www.ambientmediaassociation.org),
the AIS SIG-eMedia (http://aisnet.org/group/SIG-eMedia) and part of the MindTrek Festival.
The chairs of the competition are Artur Lugmayr, Tampere Univ. of Technology (TUT), FINLAND;
Bjoern Stockleben, Univ. of Applied Sciences Magdeburg-Stendal, GERMANY; and Timothy Merritt,
Aarhus School of Architecture, DENMARK.
Website: http://www.numa.fi (http://www.numa.fi/call-open)
Contact Email: chairs@lists.numa.fi
EMAIL List: http://lists.numa.fi/mailman/listinfo/numa
Facebook Group: https://www.facebook.com/groups/numa.award/
**********************************************************
*
* 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] [deadline approaching, September 30, 2014] SI on Critical Systems Modeling and Security, Elsevier Computers & Electrical Engineering
Apologies for cross-posting
---------------------------
Special issue on Critical Systems Modeling and Security
Elsevier Computers & Electrical Engineering
Manuscript Due: September 30, 2014 (Hard deadline)
Aim and scope
Modeling is an essential tool for the study and analysis of
security and dependability of Critical Information
Infrastructures. It can be used to evaluate properties such as
disruption, disturbance and loss of information, and to
anticipate incidents that could lead to situations involving
economical, material and, even, human loss. This special issue is
intended to report the most recent research works related to
security threats, critical service malfunctioning or information
leakage targeting, among others, SCADA, Industrial Control
Systems and other Critical Scenarios, associated to both
government and industrial companies. It also seeks to report new
needs, approaches, methods and tools addressing this crucial
topic.
The objective is to bring together advances particularly in the
following fields:
- Attack and vulnerability analysis
- Benchmarking and statistical analysis tools
- Critical Infrastructure Protection (CIP)
- Cybersecurity and cyberwarfare modeling
- Continuity of services
- Dependable communication models
- Early Warning Systems
- Embedded Technologies Security
- Intrusion detection and prevention in Critical Scenarios
- Fault tolerance and incident response
- Risk analysis and management
- SCADA/DCS and Control System Security
- Secure information sharing
- Security and dependability logistic models
- Self-management architectures
- Situation awareness and response optimization
- Trust and reputation management in Critical Scenarios
Submission Guidelines
Papers will be evaluated based on their originality,
presentation, relevance and contribution to the topic associated
to the special issue, and for their overall quality. The
submitted papers have to describe original research which has not
been published nor currently under review by other journals or
conferences. Guest editors will make an initial determination of
the suitability and scope of all submissions. Papers that either
lack originality, clarity in presentation or fall outside the
scope of the special issue will not be sent for review and
authors will be promptly informed in such cases.
Author guidelines for preparation of manuscript can be found at
http://www.elsevier.com/wps/find/journaldescription.cws_home/367/authorinstructions
Papers should be submitted via the EES application that can be found at
http://ees.elsevier.com/compeleceng
To ensure that all manuscripts are correctly identified for
inclusion into the special issue, it is important that authors
select SI-sec4 when they reach the "Article Type" step in the
submission process.
Schedule
Manuscript Due: September 30, 2014 (Extended deadline)
First Round of Reviews: November 31, 2014
Second Round of Reviews: January 15, 2015
Acceptance of Final papers: February 15, 2015
Final Manuscript Due: March 15, 2015
Publication Date: October 2015
Guest Editors
Joaquin Garcia-Alfaro
Institut Mines-Telecom, Telecom SudParis, France
Email: joaquin.garcia_alfaro@telecom-sudparis.eu
Francesco Longo
University of Calabria, Italy
Email: f.longo@unical.it
Gregorio Martinez Perez
University of Murcia, Spain
Email: gregorio@um.es
**********************************************************
*
* 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/
*
**********************************************************
---------------------------
Special issue on Critical Systems Modeling and Security
Elsevier Computers & Electrical Engineering
Manuscript Due: September 30, 2014 (Hard deadline)
Aim and scope
Modeling is an essential tool for the study and analysis of
security and dependability of Critical Information
Infrastructures. It can be used to evaluate properties such as
disruption, disturbance and loss of information, and to
anticipate incidents that could lead to situations involving
economical, material and, even, human loss. This special issue is
intended to report the most recent research works related to
security threats, critical service malfunctioning or information
leakage targeting, among others, SCADA, Industrial Control
Systems and other Critical Scenarios, associated to both
government and industrial companies. It also seeks to report new
needs, approaches, methods and tools addressing this crucial
topic.
The objective is to bring together advances particularly in the
following fields:
- Attack and vulnerability analysis
- Benchmarking and statistical analysis tools
- Critical Infrastructure Protection (CIP)
- Cybersecurity and cyberwarfare modeling
- Continuity of services
- Dependable communication models
- Early Warning Systems
- Embedded Technologies Security
- Intrusion detection and prevention in Critical Scenarios
- Fault tolerance and incident response
- Risk analysis and management
- SCADA/DCS and Control System Security
- Secure information sharing
- Security and dependability logistic models
- Self-management architectures
- Situation awareness and response optimization
- Trust and reputation management in Critical Scenarios
Submission Guidelines
Papers will be evaluated based on their originality,
presentation, relevance and contribution to the topic associated
to the special issue, and for their overall quality. The
submitted papers have to describe original research which has not
been published nor currently under review by other journals or
conferences. Guest editors will make an initial determination of
the suitability and scope of all submissions. Papers that either
lack originality, clarity in presentation or fall outside the
scope of the special issue will not be sent for review and
authors will be promptly informed in such cases.
Author guidelines for preparation of manuscript can be found at
http://www.elsevier.com/wps/find/journaldescription.cws_home/367/authorinstructions
Papers should be submitted via the EES application that can be found at
http://ees.elsevier.com/compeleceng
To ensure that all manuscripts are correctly identified for
inclusion into the special issue, it is important that authors
select SI-sec4 when they reach the "Article Type" step in the
submission process.
Schedule
Manuscript Due: September 30, 2014 (Extended deadline)
First Round of Reviews: November 31, 2014
Second Round of Reviews: January 15, 2015
Acceptance of Final papers: February 15, 2015
Final Manuscript Due: March 15, 2015
Publication Date: October 2015
Guest Editors
Joaquin Garcia-Alfaro
Institut Mines-Telecom, Telecom SudParis, France
Email: joaquin.garcia_alfaro@telecom-sudparis.eu
Francesco Longo
University of Calabria, Italy
Email: f.longo@unical.it
Gregorio Martinez Perez
University of Murcia, Spain
Email: gregorio@um.es
**********************************************************
*
* 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, September 23, 2014
Tenure-Track Assistant Professorship on Formal Methods at TUM (Technical University of Munich)
The Technical University of Munich (TUM) offers a Tenure-Track Assistant Professorship
on Formal Methods for Software Reliability. The position is primarily intended
for researchers with 2-4 years of postdoctoral experience.
Particulars on the position and instructions to apply can be found at
http://portal.mytum.de/jobs/professuren/NewsArticle_20140911_110816
Information on the TUM Faculty Tenure Track system is available at
https://www.tum.de/en/about-tum/working-at-tum/faculty-recruiting/tum-faculty-tenure-track/
Applications must be submitted by October 15, 2014.
For more information, please contact:
Javier Esparza <esparza@in.tum.de>
--
Prof.Dr. Javier Esparza
Institute of Computer Science
Technische Universität München
Boltzmansstr. 3, 85748 Garching
Germany
--
Prof.Dr. Javier Esparza
Institute of Computer Science
Technische Universität München
Boltzmansstr. 3, 85748 Garching
Germany
on Formal Methods for Software Reliability. The position is primarily intended
for researchers with 2-4 years of postdoctoral experience.
Particulars on the position and instructions to apply can be found at
http://portal.mytum.de/jobs/professuren/NewsArticle_20140911_110816
Information on the TUM Faculty Tenure Track system is available at
https://www.tum.de/en/about-tum/working-at-tum/faculty-recruiting/tum-faculty-tenure-track/
Applications must be submitted by October 15, 2014.
For more information, please contact:
Javier Esparza <esparza@in.tum.de>
--
Prof.Dr. Javier Esparza
Institute of Computer Science
Technische Universität München
Boltzmansstr. 3, 85748 Garching
Germany
--
Prof.Dr. Javier Esparza
Institute of Computer Science
Technische Universität München
Boltzmansstr. 3, 85748 Garching
Germany
Monday, September 22, 2014
[DMANET] PhD position at University of Kassel in Computational Mathematics/Applied Discrete Optimization
==========================================
PhD position in Computational Mathematics/Applied Discrete Optimization, University of Kassel
==========================================
The Department of Mathematics and Natural Sciences at the University of Kassel
invites applications for a
PhD student position in Computational Mathematics/Applied Discrete Optimization
- fixed-term full-time research assistant (100% E13 TV-H) -
for 3 years, starting as soon as possible (from 01-Oct-2014 onwards)
within the BMBF funded project „North Sea Offshore and Storage Network (NSON): Mathematical Methods for Network Design". The position is a fixed-term position for the duration of the project, contingent on the final approval of the project.
The position is subject to the usual regulations according to Hessian law. The official German announcement is available on
http://www.uni-kassel.de/intranet/aktuelles/stellenangebote/stellenausschreibung-details/tx_ukstellenausschreibung/24159.html
We are looking for a PhD student who is or wishes to specialize in computational and applied discrete optimization. The successful candidate will participate in the development and the implementation of mathematical models and algorithms to solve difficult and large-scale optimization problems arising in the planning of energy networks.
The position will be located in the group for "Computational Mathematics/Applied Discrete Optimization" at the University of Kassel. The group's research focus is on combinatorial optimization, integer programming, network optimization, and scheduling and their application in practice.
Candidates must hold a diploma/master's degree in mathematics or computer science and should have very strong background in computational integer programming and combinatorial optimization. Good command of C++ or an equivalent programming language is required. Experience in solving difficult real-world application problems is desirable.
Applicants should send their application containing:
- cover and motivation letter, with the job reference number 24159
- curriculum vitae
- copies of diplomas
- summary of Masters thesis (or Doctoral) thesis (max. 3 pages in English or German)
by
*September 29, 2014* (yet, applications will be considered as long as the position is still free)
either via mail to the
President of the University of Kassel
34109 Kassel
or, preferably, via email as a *single pdf file* to
bewerbungen@uni-kassel.de
For further information please contact Prof. Dr. Andreas Bley, andreas.bley@mathematik.uni-kassel.de
Prof. Andreas Bley
Institut für Mathematik
Computational Mathematics / Angewandte Diskrete Mathematik
Universität Kassel
Heinrich-Plett-Str. 40
34132 Kassel
Germany
Tel: +49 561 804 4650
Fax: +49 561 804 4646
E-Mail: andreas.bley@mathematik.uni-kassel.de
**********************************************************
*
* Contributions to be spread via DMANET are submitted to
*
* DMANET@zpr.uni-koeln.de
*
* Replies to a message carried on DMANET should NOT be
* addressed to DMANET but to the original sender. The
* original sender, however, is invited to prepare an
* update of the replies received and to communicate it
* via DMANET.
*
* DISCRETE MATHEMATICS AND ALGORITHMS NETWORK (DMANET)
* http://www.zaik.uni-koeln.de/AFS/publications/dmanet/
*
**********************************************************
PhD position in Computational Mathematics/Applied Discrete Optimization, University of Kassel
==========================================
The Department of Mathematics and Natural Sciences at the University of Kassel
invites applications for a
PhD student position in Computational Mathematics/Applied Discrete Optimization
- fixed-term full-time research assistant (100% E13 TV-H) -
for 3 years, starting as soon as possible (from 01-Oct-2014 onwards)
within the BMBF funded project „North Sea Offshore and Storage Network (NSON): Mathematical Methods for Network Design". The position is a fixed-term position for the duration of the project, contingent on the final approval of the project.
The position is subject to the usual regulations according to Hessian law. The official German announcement is available on
http://www.uni-kassel.de/intranet/aktuelles/stellenangebote/stellenausschreibung-details/tx_ukstellenausschreibung/24159.html
We are looking for a PhD student who is or wishes to specialize in computational and applied discrete optimization. The successful candidate will participate in the development and the implementation of mathematical models and algorithms to solve difficult and large-scale optimization problems arising in the planning of energy networks.
The position will be located in the group for "Computational Mathematics/Applied Discrete Optimization" at the University of Kassel. The group's research focus is on combinatorial optimization, integer programming, network optimization, and scheduling and their application in practice.
Candidates must hold a diploma/master's degree in mathematics or computer science and should have very strong background in computational integer programming and combinatorial optimization. Good command of C++ or an equivalent programming language is required. Experience in solving difficult real-world application problems is desirable.
Applicants should send their application containing:
- cover and motivation letter, with the job reference number 24159
- curriculum vitae
- copies of diplomas
- summary of Masters thesis (or Doctoral) thesis (max. 3 pages in English or German)
by
*September 29, 2014* (yet, applications will be considered as long as the position is still free)
either via mail to the
President of the University of Kassel
34109 Kassel
or, preferably, via email as a *single pdf file* to
bewerbungen@uni-kassel.de
For further information please contact Prof. Dr. Andreas Bley, andreas.bley@mathematik.uni-kassel.de
Prof. Andreas Bley
Institut für Mathematik
Computational Mathematics / Angewandte Diskrete Mathematik
Universität Kassel
Heinrich-Plett-Str. 40
34132 Kassel
Germany
Tel: +49 561 804 4650
Fax: +49 561 804 4646
E-Mail: andreas.bley@mathematik.uni-kassel.de
**********************************************************
*
* Contributions to be spread via DMANET are submitted to
*
* DMANET@zpr.uni-koeln.de
*
* Replies to a message carried on DMANET should NOT be
* addressed to DMANET but to the original sender. The
* original sender, however, is invited to prepare an
* update of the replies received and to communicate it
* via DMANET.
*
* DISCRETE MATHEMATICS AND ALGORITHMS NETWORK (DMANET)
* http://www.zaik.uni-koeln.de/AFS/publications/dmanet/
*
**********************************************************
Saturday, September 20, 2014
[DMANET] CFP for ESI 2015 Szeged
Dear colleagues,
The OR Society of Hungary is pleased to announce a EURO Summer Institute
(ESI) on Online Optimization. The ESI will take place at University of
Szeged, from 15th to 27th June in 2015, the homepage of the event can be
found at http://www.eswi.u-szeged.hu
EURO Summer and Winter Institutes (ESWI) provide an excellent forum for
PhD students and early career researchers to discuss their research at
length with experts in the field, as well as forming links with other
early stage researchers. For further details, see
http://www.euro-online.org/web/pages/458/summerwinter-institutes.
Around twenty early stage researchers from the EURO member societies will
be invited to participate at the ESWI. They must be very early career
academics (PhD students and/or those who have less than two years
research experience post PhD). They have to present the material of an
unpublished piece of work, discussing it with others and with the invited
senior experts in the field. The ESI will also present a series of
lectures by the invited senior experts. After the ESI, the papers can be
submitted to a special issue of an OR publication (TBA).
Apart from the senior experts, no one can participate in an ESWI more than
once in their lifetime. EURO provides a substantial contribution towards
all the ESWI expenses 'on location' (room and board, social programs,
etc.) and sponsorship is being sought to meet the remaining part of these
expenses. The travel costs, however, must be borne by the participants
themselves, eventually with the support of their national OR societies.
Applicants have to submit an unpublished paper to the Scientific
Committee, along with a curriculum vitae. The Committee will select and
rank the candidates on the basis of submitted papers, and afterwards
channel this information to the national OR societies for funding decisions.
Candidates who fulfill the eligibility rules but exceed the quota of 20
participants might be accepted, in a limited number. These candidates
should cover their own expenses. Fees will be also required, but their
amount will be specified later.
Interested candidates are asked to notify us in advance in order to help
us assess the likely number of participants. Please send an email to
esi15@inf.u-szeged.hu if you are planning to submit a paper.
Important dates
15th October 2014 deadline for interested candidates to notify us
31st January 2015 deadline for submission of applications
15th March 2015 selection of Candidates by the Scientific Committee and
communication to the National OR Societies
15th June- 27th June 2015 ESWI at the University of Szeged
30th September 2015 submission of final versions of papers for publication
in the special issue
The Scientific Committee which is the same as the list of the planned
senior speakers is the following
• Joan Boyar (University of Southern Denmark)
• Leah Epstein (University of Haifa, Israel)
• Sándor Fekete (TU Braunschweig, Germany)
• Gábor Galambos (University of Szeged, Hungary)
• Csanád Imreh (University of Szeged, Hungary)
• Piotr Krysta (University of Liverpool, United Kingdom)
• Jiri Sgall (Charles University Prague, Czech Republic)
• Gerhard Woeginger (TU Eindhoven, The Netherlands)
Csanád Imreh
chair of the ESI 2015
**********************************************************
*
* 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 AAAI-15 Workshop on Planning, Search, and Optimization: PlanSOpt
CALL FOR PAPERS
================================================================
AAAI-15 Workshop on Planning, Search, and Optimization: PlanSOpt
Austin, Texas, 25-26 January 2015
http://org.nicta.com.au/plansopt-15
Submission deadline: October 14, 2014
================================================================
Mainstream AI planning and heuristic search have traditionally been
concerned with finding paths through a state transition system. The
objective is typically to find either a feasible solution or an
optimal solution to a fairly restricted objective function (e.g.,
minimize plan length or the sum of the costs of actions in a plan).
While there have been pioneering efforts at using optimization for
planning (notably in compilation approaches to mixed integer
programming and constraint programming), there has been significant
renewed interest in a number of areas, including:
- formulating heuristic generation and selection as an optimization
problem
- linear programming as a basis for search heuristics in classical
planning
- hybridization of optimization approaches (e.g,. linear, mixed
integer linear, constraint, and non-linear programming) and
planning to solve more expressive problems involving time,
resources, and complex systems (e.g., the electricity grid)
- adaptation of optimization methods to design planning and search
algorithms that continually improve plan quality as time permits
The goal of this workshop is to bring together researchers in AI
planning, search, and optimization to investigate both problems and
solution approaches. We encourage applications of optimization
technology to planning/search problems, applications of traditional
planning/search technology (e.g., variations of A* search) to
optimization problems, and hybrid approaches that combine planning and
optimization.
SUGGESTED TOPICS
- Planning with time and/or resources
- Planning over complex systems
- Optimization over complex systems
- Optimization-based search heuristics
- Optimization techniques for planning and search (e.g. local search)
- Decomposition approaches for planning and search (e.g. column
generation, Benders Decomposition/Planning Modulo Theory)
- Anytime plan quality optimization
- AI-style search for optimization problems and solvers
- Reasoning about complex objective functions (e.g. requiring
multi-objective, bi-level, robust, or adversarial optimization or
search)
- Understanding, comparing, and combining the modelling approaches
from AI and optimization
- Hybrid and cross-over applications
- Comparing planning/search and optimization approaches on problems to
which both are applicable
- Search algorithms for graphical models, in particular weighted
counting and constraint satisfaction queries
- Exploitation of symmetries in search, in particular comparison of
such approaches in CP, MIP, and counting queries
WORKSHOP FORMAT
The workshop will include invited talks, presentations of accepted
contributions, and discussion. It will also feature tutorials about
planning and search for optimization researchers and about optimization
for planning and search researchers. It is expected that attendees
will have open minds and will engage in discussions in the spirit of
developing a mutual understanding of both problems and solution
approaches of interest to all backgrounds.
SUBMISSIONS
Papers should be accessible to researchers from AI planning, search,
and optimization. Work that only focuses on AI planning or search
without an aspect of optimization are not suitable. Conversely,
however, as our goal is to attract researchers from optimization, work
that is focused on optimization but that introduces problems or uses
techniques that the authors believe are of interest to the AI planning
and search communities are expressly encouraged.
Two paper formats are solicited:
- full-length papers (up to 8 pages in AAAI format)
- challenge or position papers (2 pages in AAAI format).
Papers should be submitted in PDF to EasyChair. All papers will be peer
reviewed.
Paper Submission website:
https://easychair.org/conferences/?conf=plansopt2015
IMPORTANT DATES
Submission: October 14, 2014
Notification: November 14, 2014
Final paper: November 25, 2014
Early Registration: November 28, 2014
Late Registration: January 2, 2014
Workshop: 25-25 January, 2015
ORGANIZING COMMITTEE
J. Christopher Beck (University of Toronto)
Robert Holte (University of Alberta)
Thorsten Koch (TU Berlin / Zuse Institute Berlin)
Sylvie Thiebaux (Australian National University & NICTA)
PROGRAM COMMITTEE
Peter van Beek (University of Waterloo)
John Chinneck (Carleton University)
Amanda Coles (Kings College London)
Rina Dechter (University of Calfornia, Irvine)
Stefan Edelkamp (University of Bremen)
Alex Fukunaga (University of Tokyo)
Malte Helmert (University of Basel)
Laurent Michel (University of Connecticut)
Gilles Pesant (Ecole Polytechnique, Montreal)
Ted Ralphs (Lehigh University)
Chris Rayner (University of Alberta)
Dan Steffy (Oakland University)
Wheeler Ruml (University of New Hampshire)
**********************************************************
*
* 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/
*
**********************************************************
================================================================
AAAI-15 Workshop on Planning, Search, and Optimization: PlanSOpt
Austin, Texas, 25-26 January 2015
http://org.nicta.com.au/plansopt-15
Submission deadline: October 14, 2014
================================================================
Mainstream AI planning and heuristic search have traditionally been
concerned with finding paths through a state transition system. The
objective is typically to find either a feasible solution or an
optimal solution to a fairly restricted objective function (e.g.,
minimize plan length or the sum of the costs of actions in a plan).
While there have been pioneering efforts at using optimization for
planning (notably in compilation approaches to mixed integer
programming and constraint programming), there has been significant
renewed interest in a number of areas, including:
- formulating heuristic generation and selection as an optimization
problem
- linear programming as a basis for search heuristics in classical
planning
- hybridization of optimization approaches (e.g,. linear, mixed
integer linear, constraint, and non-linear programming) and
planning to solve more expressive problems involving time,
resources, and complex systems (e.g., the electricity grid)
- adaptation of optimization methods to design planning and search
algorithms that continually improve plan quality as time permits
The goal of this workshop is to bring together researchers in AI
planning, search, and optimization to investigate both problems and
solution approaches. We encourage applications of optimization
technology to planning/search problems, applications of traditional
planning/search technology (e.g., variations of A* search) to
optimization problems, and hybrid approaches that combine planning and
optimization.
SUGGESTED TOPICS
- Planning with time and/or resources
- Planning over complex systems
- Optimization over complex systems
- Optimization-based search heuristics
- Optimization techniques for planning and search (e.g. local search)
- Decomposition approaches for planning and search (e.g. column
generation, Benders Decomposition/Planning Modulo Theory)
- Anytime plan quality optimization
- AI-style search for optimization problems and solvers
- Reasoning about complex objective functions (e.g. requiring
multi-objective, bi-level, robust, or adversarial optimization or
search)
- Understanding, comparing, and combining the modelling approaches
from AI and optimization
- Hybrid and cross-over applications
- Comparing planning/search and optimization approaches on problems to
which both are applicable
- Search algorithms for graphical models, in particular weighted
counting and constraint satisfaction queries
- Exploitation of symmetries in search, in particular comparison of
such approaches in CP, MIP, and counting queries
WORKSHOP FORMAT
The workshop will include invited talks, presentations of accepted
contributions, and discussion. It will also feature tutorials about
planning and search for optimization researchers and about optimization
for planning and search researchers. It is expected that attendees
will have open minds and will engage in discussions in the spirit of
developing a mutual understanding of both problems and solution
approaches of interest to all backgrounds.
SUBMISSIONS
Papers should be accessible to researchers from AI planning, search,
and optimization. Work that only focuses on AI planning or search
without an aspect of optimization are not suitable. Conversely,
however, as our goal is to attract researchers from optimization, work
that is focused on optimization but that introduces problems or uses
techniques that the authors believe are of interest to the AI planning
and search communities are expressly encouraged.
Two paper formats are solicited:
- full-length papers (up to 8 pages in AAAI format)
- challenge or position papers (2 pages in AAAI format).
Papers should be submitted in PDF to EasyChair. All papers will be peer
reviewed.
Paper Submission website:
https://easychair.org/conferences/?conf=plansopt2015
IMPORTANT DATES
Submission: October 14, 2014
Notification: November 14, 2014
Final paper: November 25, 2014
Early Registration: November 28, 2014
Late Registration: January 2, 2014
Workshop: 25-25 January, 2015
ORGANIZING COMMITTEE
J. Christopher Beck (University of Toronto)
Robert Holte (University of Alberta)
Thorsten Koch (TU Berlin / Zuse Institute Berlin)
Sylvie Thiebaux (Australian National University & NICTA)
PROGRAM COMMITTEE
Peter van Beek (University of Waterloo)
John Chinneck (Carleton University)
Amanda Coles (Kings College London)
Rina Dechter (University of Calfornia, Irvine)
Stefan Edelkamp (University of Bremen)
Alex Fukunaga (University of Tokyo)
Malte Helmert (University of Basel)
Laurent Michel (University of Connecticut)
Gilles Pesant (Ecole Polytechnique, Montreal)
Ted Ralphs (Lehigh University)
Chris Rayner (University of Alberta)
Dan Steffy (Oakland University)
Wheeler Ruml (University of New Hampshire)
**********************************************************
*
* 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] SLSP 2014: call for participation
**********************************************************************************
2nd INTERNATIONAL CONFERENCE ON STATISTICAL LANGUAGE AND SPEECH PROCESSING
SLSP 2014
Grenoble, France
October 14-16, 2014
Organised by:
Équipe GETALP
Laboratoire d'Informatique de Grenoble
Research Group on Mathematical Linguistics (GRLMC)
Rovira i Virgili University
http://grammars.grlmc.com/slsp2014/
**********************************************************************************
PROGRAM
Tuesday, October 14
9:00 - 10:00 Registration
10:00 - 10:15 Opening
10:15 - 11:05 Roger K. Moore: Spoken Language Processing: Time to Look Outside? - Invited Lecture
11:05 - 11:35 Coffee Break
11:35 - 12:50
Georgios Kontonatsios, Claudiu Mihaila, Ioannis Korkontzelos, Paul Thompson, and Sophia Ananiadou: A Hybrid Approach to Compiling Bilingual Dictionaries of Medical Terms from Parallel Corpora
Wei Liu, Zhipeng Chang, and William J. Teahan: Experiments with a PPM Compression-based Method for English-Chinese Bilingual Sentence Alignment
Chi-kiu Lo and Dekai Wu: BiMEANT: Integrating Cross-lingual and Monolingual Semantic Frame Similarities in the MEANT Semantic MT Evaluation Metric
12:50 - 14:20 Lunch
14:20 - 15:35
Mathias Verbeke, Vincent Van Asch, Walter Daelemans, and Luc De Raedt: Lazy and Eager Relational Learning using Graph-Kernels
Mohamed Amine Boukhaled, and Jean-Gabriel Ganascia: Probabilistic Anomaly Detection Method for Authorship Verification
Uli Fahrenberg, Fabrizio Biondi, Kevin Corre, Cyrille Jegourel, Simon Kongsh j, and Axel Legay: Measuring Global Similarity between Texts
16:00 - 18:00 Touristic visit
Wednesday, October 15
9:00 - 9:50 Claire Gardent: Syntax and Data-to-Text Generation - Invited Lecture
9:50 - 10:05 Break
10:05 - 11:20
Borbála Siklósi and Attila Novák: Identifying and Clustering Relevant Terms in Clinical Records Using Unsupervised Methods
Amine Abdaoui, Jérôme Azé, Sandra Bringay, Natalia Grabar, and Pascal Poncelet: Predicting Medical Roles in Online Health Fora
Ekaterina Pronoza, Elena Yagunova, and Svetlana Volskaya: Corpus-based Information Extraction and Opinion Mining for the Restaurant Recommendation System
11:20 - 11:50 Coffee Break and Group Photo
11:50 - 13:05
Raúl Ernesto Gutierrez de Piñerez Reyes and Juan Francisco Díaz-Frías: Informal Mathematical Discourse Parsing with Conditional Random Fields
Waad Ben Kheder, Driss Matrouf, Pierre-Michel Bousquet, Jean-François Bonastre and Moez Ajili: Robust Speaker Recognition Using MAP Estimation of Additive Noise in i-vectors Space
Arseniy Gorin and Denis Jouvet: Structured GMM Based on Unsupervised Clustering for Recognizing Adult and Child Speech
13:05 - 14:35 Lunch
14:35 - 16:35 Visit to the Domus apartment
Thursday, October 16
9:00 - 9:50 Martti Vainio: Phonetics and Machine Learning: Hierarchical Modelling of Prosody in Statistical Speech Synthesis - Invited Lecture
9:50 - 10:05 Break
10:05 - 11:20
Gábor Kiss and Klára Vicsi: Physiological and Cognitive Status Monitoring on the Base of Acoustic-phonetic Speech Parameters
Barbara Schuppler, Sebastian Grill, André Menrath, and Juan A. Morales-Cordovilla: Automatic Phonetic Transcription in Two Steps: Forced Alignment and Burst Detection
Mian Du, Matthew Pierce, Lidia Pivovarova, and Roman Yangarber: Supervised Classification using Balanced Training
11:20 - 11:50 Coffee Break
11:50 - 13:05
Márius Šajgalík, Michal Barla, and Mária Bieliková: Exploring Multidimensional Continuous Feature Space to Extract Relevant Words
Zhemin Zhu, Djoerd Hiemstra, and Peter Apers: Linear Co-occurrence Rate Networks (L-CRNs) for Sequence Labeling
Théodore Bluche, Hermann Ney, and Christopher Kermorvant: Handwriting Recognition with Deep and Recurrent Neural Networks
13:05 - 13:15 Closing
---
Este mensaje no contiene virus ni malware porque la protección de avast! Antivirus está activa.
http://www.avast.com
**********************************************************
*
* 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
