Tuesday, September 30, 2014

[DMANET] Fully funded PhD positions at the Erasmus University

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/
*
**********************************************************

[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/
*
**********************************************************

[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)

-----------------------------------------------------------------------------------------------------
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

http://www.etaps.org/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/
*
**********************************************************

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/

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

****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

[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/
*
**********************************************************

[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/
*
**********************************************************

[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/
*
**********************************************************

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/
*
**********************************************************

[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/
*
**********************************************************

[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/
*
**********************************************************

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

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/
*
**********************************************************