Send dmanet mailing list submissions to
dmanet@zpr.uni-koeln.de
To subscribe or unsubscribe via the World Wide Web, visit
http://www.zaik.uni-koeln.de/mailman/listinfo/dmanet
or, via email, send a message with subject or body 'help' to
dmanet-request@zpr.uni-koeln.de
You can reach the person managing the list at
dmanet-owner@zpr.uni-koeln.de
When replying, please edit your Subject line so it is more specific
than "Re: Contents of dmanet digest..."
Today's Topics:
1. Latin-American Summer School in Operations Research - ELAVIO
2015 - call for applications (TORRES CARVAJAL LUIS MIGUEL)
2. COMPUTABILITY IN EUROPE 2015: Evolving Computability,
Bucharest, Romania, June 29-July 3 (S B Cooper)
3. 2 Post-Docs in Bordeaux on Dynamic Formulation for
Large-Scale Planning and Stochastic Optimisation (Francois Vanderbeck)
4. ETAPS 2015 final call for papers (Tarmo Uustalu)
5. CNSM 2014 - Call for Participation (Nov 17-21st, Rio de
Janeiro) (Giovane C. M. Moura)
----------------------------------------------------------------------
Message: 1
Date: Thu, 25 Sep 2014 15:35:13 +0000
From: TORRES CARVAJAL LUIS MIGUEL <luis.torres@epn.edu.ec>
To: "dmanet@zpr.uni-koeln.de" <dmanet@zpr.uni-koeln.de>
Subject: [DMANET] Latin-American Summer School in Operations Research
- ELAVIO 2015 - call for applications
Message-ID: <0470F2EA-B5B1-4DDD-9150-D815DB7D2E93@epn.edu.ec>
Content-Type: text/plain; charset="Windows-1252"
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
------------------------------
Message: 2
Date: Thu, 25 Sep 2014 22:00:54 +0100 (BST)
From: S B Cooper <pmt6sbc@maths.leeds.ac.uk>
To: dmanet@zpr.uni-koeln.de
Subject: [DMANET] COMPUTABILITY IN EUROPE 2015: Evolving
Computability, Bucharest, Romania, June 29-July 3
Message-ID: <201409252100.s8PL0snl027776@maths.leeds.ac.uk>
----------------------------------------------------------------------------
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
------------------------------
Message: 3
Date: Mon, 29 Sep 2014 18:25:49 +0200
From: Francois Vanderbeck <Francois.Vanderbeck@math.u-bordeaux1.fr>
To: dmanet@zpr.uni-koeln.de
Subject: [DMANET] 2 Post-Docs in Bordeaux on Dynamic Formulation for
Large-Scale Planning and Stochastic Optimisation
Message-ID: <5CB6BBF0-CA1F-4AB5-B3F0-D658A4856F2C@math.u-bordeaux1.fr>
Content-Type: text/plain; charset=us-ascii
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
------------------------------
Message: 4
Date: Tue, 30 Sep 2014 02:15:59 +0300
From: Tarmo Uustalu <tarmo@cs.ioc.ee>
To: dmanet@zpr.uni-koeln.de
Subject: [DMANET] ETAPS 2015 final call for papers
Message-ID: <20140930021559.12c55026@duality>
Content-Type: text/plain; charset=UTF-8
******************************************************************
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.
------------------------------
Message: 5
Date: Tue, 30 Sep 2014 11:19:54 +0200
From: "Giovane C. M. Moura" <g.c.moreiramoura@tudelft.nl>
To: dmanet@zpr.uni-koeln.de
Subject: [DMANET] CNSM 2014 - Call for Participation (Nov 17-21st, Rio
de Janeiro)
Message-ID: <542A75BA.1020906@tudelft.nl>
Content-Type: text/plain; charset=utf-8
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/
------------------------------
Subject: Digest Footer
_______________________________________________
dmanet mailing list
dmanet@zpr.uni-koeln.de
http://www.zaik.uni-koeln.de/mailman/listinfo/dmanet
------------------------------
End of dmanet Digest, Vol 79, Issue 16
**************************************
No comments:
Post a Comment