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. Enter FICO's New "Optimize the Real World" competition
(Timo Berthold)
2. Summer School AACIMP 2014 >> OR Stream >> New dates
(Gerhard-Wilhelm Weber)
3. Senior Lecturer/Reader (associate professor/professor) in
Management Science/Operational Research, Strathclyde Business
School, Glasgow, UK (Kerem Akartunali)
4. Two PhD position at university of Wuppertal (Dirk Briskorn)
5. CALL FOR PAPERS ? SPECIAL ISSUE of EJCO (1st announcement)
(Luis Eduardo Neves Gouveia)
6. 2nd CfP: SCSS 2014 (Temur Kutsia)
7. UNIF 2014: Call for Participation (Temur Kutsia)
----------------------------------------------------------------------
Message: 1
Date: Wed, 28 May 2014 15:01:12 +0200
From: "Timo Berthold" <berthold@zib.de>
To: dmanet@zpr.uni-koeln.de, opt-net@zib.de
Subject: [DMANET] Enter FICO's New "Optimize the Real World"
competition
Message-ID: <d8984d2192cf96bfc828c119cb74408f.squirrel@imap.zib.de>
Content-Type: text/plain;charset=iso-8859-1
Dear colleagues,
The deadline for FICO's ?Optimize the Real World competition? has been
extended to June 15. This contest honors innovative uses of optimization
technology and mathematical programming to solve real world business
problems. There are three first prizes, awarded with US$ 10,000 each.
Please find all details at: http://www.fico.com/en/optimization-contest/.
Best regards,
Timo Berthold
Sr Engineer
FICO
ZIB, Room 3105
Takustr. 7
14195 Berlin
Germany
timoberthold@fico.com
www.fico.com
------------------------------
Message: 2
Date: Wed, 28 May 2014 18:03:25 +0300
From: Gerhard-Wilhelm Weber <gweber@metu.edu.tr>
To: dmanet@zpr.uni-koeln.de
Subject: [DMANET] Summer School AACIMP 2014 >> OR Stream >> New dates
Message-ID: <20140528180325.16457jwcfk1tbdml@horde.metu.edu.tr>
Content-Type: text/plain; charset=ISO-8859-1; DelSp="Yes";
format="flowed"
Please forward this letter to everyone who might be interested
Operational Research Stream: Logistics, Finance (OR) -
IX Summer School
"Achievements and Applications of Contemporary Informatics,
Mathematics and Physics" (AACIMP-2014)
Annual Operational Research (OR) stream aims to provide an overview on
state-of-the-art OR. Students will explore different types of models
(both hard and soft techniques) that are used to improve
decision-making in the face of uncertainty in real problems of
business, governments or society, e.g., supply chain management,
humanitarian and commercial logistics, financial markets modelling and
also soft OR methods and approaches.
Preliminary topics of the stream are:
? Financial markets modeling: Financial Mathematics;
Computational Finance; Risk Management; Stochastic Programming and its
applications.
? Value Chain Modelling: Commercial and Humanitarian Logistics;
Supply Chain Management; Robust Products Design; Multi-criteria
Decision Making; Forecasting; Business Analytics; Robust Optimization.
Prerequisites: Proficiency in basic calculus is the only requirement
for the stream courses.
Preliminary list of tutors:
Dr. Emel Aktas, Senior Lecturer at Cranfield University, United Kingdom
Prof. Giuseppe Bruno, University of Naples "Federico II", University
Parthenope of Naples, Naples, Italy
Dr. Erik Kropat, Bundeswehr University Munich / ITIS, Institute for
Theoretical Computer Science, Mathematics and Operations Research,
Munich, Germany
Prof. Oleksandr Makarenko, Institute for Applied System Analysis,
National Technical University of Ukraine "KPI", Ukraine
Dr. Oleksii Mostovyi, University of Texas, Austin, USA
Dr. Oleg Prokopyev, Department of Industrial Engineering, University
of Pittsburgh, USA
Prof. Leonidas Sakalauskas, Institute of Mathematics and Informatics,
Head of Operational Research Department, Lithuania
Prof. Gerhard-Wilhelm Weber, Institute of Applied Mathematics, Middle
East Technical University, Ankara, Turkey
The stream "Operational Research" is a part of the IX Summer School
"AACIMP-2014" that will take place at the National Technical
University of Ukraine "Kyiv Polytechnic Institute" (Kyiv, Ukraine),
August 1 - 15, 2014. It will include lectures, seminars and workshops
as well as social program.
In order to apply for participation in the stream, applicants need to
complete and submit the Summer School online application form -
http://summerschool.ssa.org.ua/. Programme committee will make the
decision on applicant?s admission within a month from the date of
submitting the application form.
? Late registration - June, 1
Stay tuned with updates in Summer School Program at AACIMP website
http://summerschool.ssa.org.ua
Organizing Committee:
Student Science Association
Building 14-8, street Politekhnichna 14, Kyiv 03056, Ukraine
03056, Ukraine, Kyiv,
Telephone/Fax: +38 044 454 9572
Web: http://ssa.org.ua
E-mail: summerschool@ssa.org.ua
------------------------------
Message: 3
Date: Thu, 29 May 2014 16:48:34 +0000
From: Kerem Akartunali <kerem.akartunali@strath.ac.uk>
To: "dmanet@zpr.uni-koeln.de" <dmanet@zpr.uni-koeln.de>
Subject: [DMANET] Senior Lecturer/Reader (associate
professor/professor) in Management Science/Operational Research,
Strathclyde Business School, Glasgow, UK
Message-ID:
<4B17C6D6A097C347A22F9A3FB601F5B915DB89AD@EX2010-MBX2.ds.strath.ac.uk>
Content-Type: text/plain; charset="us-ascii"
*Apologies for cross-posting*
Please note that " Senior Lecturer/Reader" in the UK system are equivalent to "associate professor/professor without a chair" in the US, Europe and elsewhere.
Senior Lecturer/Reader in Management Science/Operational Research
Department of Management Science, Strathclyde Business School
University of Strathclyde, Glasgow, Scotland
The Department of Management Science at the University of Strathclyde is seeking to recruit a Senior Lecturer or Reader in Management Science/Operational Research (MS/OR). The appointee is expected to be an accomplished and enthusiastic researcher in Management Science/Operational Research. We particularly welcome applications from, but are not limited to, those with a research interest in the areas of operations management, innovation, simulation. We seek individuals who have a strong methodological basis, the potential to make significant research contributions and an ability to translate theory to practice through collaborative research with user groups. The department has a strong reputation in both theory and collaborative research, runs a popular Masters programme in MS/OR, and has a strong doctoral programme. It is part of Strathclyde Business School, one of the top ranking UK Business Schools.
MS/OR is a key area for the university in developing its Technology and Innovation Centre. This centre links industry and public bodies with the university through programmes in Energy, Health, Future Cities and Advanced Manufacturing. MS/OR researchers contribute to each of these themes. Strathclyde's Technology and Innovation Centre sits alongside its other industrial research centres and the UK's first Fraunhofer Centre. The university's innovative approach to industrial collaboration is one of the factors that led it to being awarded UK University of the Year in 2012 and UK Entrepreneurial University of the Year in 2013. The university's rapidly developing industrial research collaborations offers tremendous opportunities for MS/OR researchers.
Informal enquiries can be made to Professor Susan Howick (Head of Department). Telephone +44 141 548 3798; email: susan.howick@strath.ac.uk
Online applications can be found at http://vacancies.strath.ac.uk/ and should be submitted by the closing date of 22nd June 2014. Further information about the department is available at http://www.strath.ac.uk/mansci/.
------------------------------
Message: 4
Date: Fri, 30 May 2014 07:16:33 +0200
From: Dirk Briskorn <briskorn@wiwi.uni-wuppertal.de>
To: "dmanet@zpr.uni-koeln.de" <dmanet@zpr.uni-koeln.de>
Subject: [DMANET] Two PhD position at university of Wuppertal
Message-ID: <53881431.4080402@wiwi.uni-wuppertal.de>
Content-Type: text/plain; charset=UTF-8; format=flowed
Two PhD positions at the interface of Computer Science, Operations
Research and Operations Management is available at Faculty B of the
University of Wuppertal.
The first position is a 3/4 time position (salary according to TV-L13),
initially for two years, but extendable. The position is open starting
August 1st.
The second position is a full time position (salary according to
TV-L13), for two years. The position is embedded in the DFG project on
"Scheduling mechanisms for rail mounted gantries with respect to
crane interdependencies". The position is open starting August 1st.
For both positions the following is required:
-- Diploma/Master's degree or equivalent in business studies,
mathematics, applied computer science or theoretical computer science.
-- Excellent written and spoken English.
-- Knowledge in theoretical computer science (algorithms/complexity).
-- Good programming skills (C++, Java).
Desirable:
-- Willingness to write a dissertation thesis.
-- Experience in computational complexity analysis.
Applications on paper (requisite!) should be send to
Bergische Universit?t Wuppertal
Schumpeter School of Business and Economics
Herrn Univ.-Prof. Dr. Briskorn
Rainer-Gruenter-Stra?e 21
42119 Wuppertal
(deadline is June 2nd, 2014)
and contain
- Cover letter,
- curriculum Vitae,
- list of publications (if any), and
- one reference.
The successful candidate will join the group of the chair of production
and logistics http://www.prodlog.uni-wuppertal.de/ at the university of
Wuppertal.
--
Prof. Dr. Dirk Briskorn
Professur f?r BWL, insb. Quantitative Planung
Universit?t Siegen
H?lderlinstr. 3
D - 57068 Siegen
---------------------------------------------
Phone: +49 - 271 / 740 - 3995
E-Mail: dirk.briskorn@uni-siegen.de
URL: http://www.uni-siegen.de/fb5/qp/
=============================================
------------------------------
Message: 5
Date: Fri, 30 May 2014 18:38:51 +0100
From: Luis Eduardo Neves Gouveia <legouveia@fc.ul.pt>
To: "DMANET@zpr.uni-koeln.de" <DMANET@zpr.uni-koeln.de>
Subject: [DMANET] CALL FOR PAPERS ? SPECIAL ISSUE of EJCO (1st
announcement)
Message-ID:
<4752EA098FED804AB3DF056A70B41214568C7B5B47@FC-MBXCLUSTER.fc.ul.pt>
Content-Type: text/plain; charset="Windows-1252"
As announced in the INFORMS Telecommunications Conference held in Lisbon, Portugal last March 2-4, 2014, there will be a special issue of EJCO dedicated to the conference. The topic for this special issue is "Computational Optimization Methods in Telecommunications".
We invite every participant at the conference, to submit a full paper corresponding to his/her oral presentation.
The deadline for the paper submission is June 30, 2014.
We plan on having the review of all submitted papers by December 31, 2014.
The Guest Editors for this special issue are
Bernard Fortz (bernard.fortz@ulb.ac.be) Universit? Libre de Bruxelles
Luis Gouveia (legouveia@fc.ul.pt) CIO, Unversidade de Lisboa
All submissions will be handled by the online system of EJCO.
Any additional information about the Special Issue can be obtained from the Guest Editors.
------------------------------
Message: 6
Date: Sun, 01 Jun 2014 10:57:49 +0200
From: Temur Kutsia <kutsia@risc.jku.at>
To: dmanet@zpr.uni-koeln.de
Subject: [DMANET] 2nd CfP: SCSS 2014
Message-ID: <538AEB0D.9010202@risc.jku.at>
Content-Type: text/plain; charset=ISO-8859-1; format=flowed
SCSS 2014
Symbolic Computation in Software Science
6th International Symposium
Second Call for Papers
Gammarth, La Marsa, Tunisia, December 7-11, 2014
http://www.easychair.org/smart-program/SCSS2014/
Scope
--------
The purpose of SCSS 2014 is to promote research on theoretical and
practical aspects of symbolic computation in software science. The
symposium provides a forum for active dialog between researchers from
several fields of computer algebra, algebraic geometry, algorithmic
combinatorics, computational logic, and software analysis and verification.
SCSS 2014 solicits both regular and tool papers on all aspects of
symbolic computation and their applications in software science. The
topics of the symposium include, but are not limited to the following:
- automated reasoning
- algorithm (program) synthesis and/or verification
- formal methods for the analysis of network security
- termination analysis and complexity analysis of algorithms (programs)
- extraction of specifications from algorithms (programs)
- theorem proving methods and techniques
- proof carrying code
- generation of inductive assertion for algorithm (programs)
- algorithm (program) transformations
- formalization and computerization of knowledge (maths, medicine,
economy, etc.)
- component-based programming
- computational origami
- query languages (in particular for XML documents)
- semantic web and cloud computing
Invited Speakers
----------------
Nikolaj Bjorner (Microsoft Research)
TBA
Program Chairs
--------------
Temur Kutsia (RISC, Johannes Kepler University Linz, Austria)
Andrei Voronkov (University of Manchester, UK)
Program Committee
------------------
Elvira Albert (Complutense University of Madrid, Spain)
Adel Bouhoula (Higher School of Communications of Tunis, Tunisia)
James H. Davenport (University of Bath, UK)
Roberto Giacobazzi (University of Verona, Italy)
Arie Gurfinkel (Carnegie Mellon University, USA)
Nao Hirokawa (JAIST, Japan)
Tetsuo Ida (University of Tsukuba, Japan)
Florent Jacquemard (INRIA - IRCAM, France)
Laura Kovacs (Chalmers University of Technology, Sweden)
Temur Kutsia (RISC, Johannes Kepler University Linz, Austria) - chair
Ali Mili (New Jersey Institute of Technology, USA)
Joel Ouaknine (Oxford University, UK)
Ruzica Piskac (Yale University, USA)
Andrei Voronkov (University of Manchester, UK) - chair
Dongming Wang (Beihang University, China and UPMC-CNRS, France)
General Chairs
---------------
Adel Bouhoula (Higher School of Communications of Tunis, Tunisia)
Tetsuo Ida (University of Tsukuba, Japan)
Local Chair
-----------
Mohamed Becha Kaaniche (University of Carthage, Tunisia)
Important Dates
---------------
June 23, 2014: Abstract submission deadline
June 30, 2014: Paper submission deadline
August 25, 2014: Notification
September 22, 2014: Camera-ready copy deadline
December 7-11, 2014: SCSS 2014 in Gammarth
Submission
----------
Submission is via EasyChair:
https://www.easychair.org/conferences/?conf=scss2014
Submissions are invited in two categories: regular research papers and
tool papers.
- Regular research papers must not exceed 12 pages in the EasyChair
Class format, with up to 3 additional pages for technical appendices.
- Tool papers must not exceed 6 pages in the EasyChair Class format.
Publication
----------
The proceedings will be published in the EasyChair Proceedings in
Computing. We plan also to have a special issue of the Journal of
Symbolic Computation on SCSS 2014. The full version of selected papers
will be considered for the publication of the special issue subjected to
the normal peer review process of the journal.
------------------------------
Message: 7
Date: Sun, 01 Jun 2014 15:07:17 +0200
From: Temur Kutsia <kutsia@risc.jku.at>
To: dmanet@zpr.uni-koeln.de
Subject: [DMANET] UNIF 2014: Call for Participation
Message-ID: <538B2585.9090105@risc.jku.at>
Content-Type: text/plain; charset=ISO-8859-1; format=flowed
====================================================
Call for Participation
UNIF 2014
The 28th International Workshop on Unification
July 13, 2014. Vienna, Austria
a FLoC workshop hosted by RTA-TLCA and IJCAR
http://vsl2014.at/unif
====================================================
Invited Speakers
----------------
* Jordi Levy, IIIA, CSIC, Barcelona, Spain
* Jose Meseguer, University of Illinois at Urbana-Champaign, USA:
Extensible Symbolic System Analysis
Program
-------
http://vsl2014.at/meetings/UNIF-program.html
Registration
------------
http://vsl2014.at/registration
(Don't forget the early registration deadline: June 8)
We look forward to seeing you in Vienna!
The UNIF 2014 organizers:
Temur Kutsia
Christophe Ringeissen
------------------------------
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 76, Issue 1
*************************************
No comments:
Post a Comment