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. W2-Professur f?r Mathematische Optimierung, TU Darmstadt
(Marc Pfetsch)
2. ATMOS 2014 -- Second Call for Papers (Submission Server Open)
(Matus Mihalak)
3. 1st International Conference on Algorithms and Discrete
Applied Mathematics (sganguly@cse.iitk.ac.in)
4. ALGOSENSORS 2014: Submission server open
(Constantinos Marios Angelopoulos)
5. Last CFP:: DINWC2014- Czech Republic
(The International Conference on Digital Information, Networking, and Wireless Communications (DINWC2014))
----------------------------------------------------------------------
Message: 1
Date: Thu, 05 Jun 2014 11:01:06 +0200
From: Marc Pfetsch <pfetsch@mathematik.tu-darmstadt.de>
To: dmanet@zpr.uni-koeln.de
Subject: [DMANET] W2-Professur f?r Mathematische Optimierung, TU
Darmstadt
Message-ID: <539031D2.7040906@mathematik.tu-darmstadt.de>
Content-Type: text/plain; charset=windows-1252; format=flowed
We are seeking candidates for a Professorship (W2) for Mathematical
Optimization. Please see below for the English version.
----------------------------------------------------------------------
Am Fachbereich Mathematik der TU Darmstadt ist zum n?chstm?glichen
Zeitpunkt eine
W2-Professur f?r Mathematik
mit der fachlichen Ausrichtung Mathematische Optimierung zu besetzen.
Bewerberinnen/Bewerber sollen sich durch Forschungsarbeiten im Bereich
Mathematische Optimierung ausgewiesen haben und die in der AG
Optimierung vertretenen Themen sinnvoll erg?nzen.
Erfahrungen mit der Einwerbung von Drittmitteln sind erw?nscht. Die
Bereitschaft zur Mitarbeit bei interdisziplin?ren Forschungsprojekten
und zur Zusammenarbeit mit anderen Fachgebieten des Fachbereichs wird
vorausgesetzt. Neben einer hervorragenden wissenschaftlichen
Qualifikation werden auch besondere didaktische F?higkeiten erwartet.
Die Lehrverpflichtungen umfassen neben den Vorlesungen in Mathematischer
Optimierung auch Lehrveranstaltungen f?r Studierende anderer Fachbereiche.
Die Einstellung erfolgt im au?ertariflichen Angestelltenverh?ltnis mit
einer qualifikationsabh?ngigen Verg?tung in Anlehnung an die
W-Besoldung. Diese wird zwischen Bewerber/in und Hochschulleitung
verhandelt. Professorinnen und Professoren, die bereits in einem
Beamtenverh?ltnis stehen, k?nnen in einem solchen weiterbesch?ftigt
werden. Es gelten ferner die Einstellungsvoraussetzungen der ?? 61 und
62 Hessisches Hochschulgesetz.
Die Technische Universit?t Darmstadt strebt eine Erh?hung des Anteils
der Frauen am Personal an und fordert deshalb besonders Frauen auf, sich
zu bewerben. Bewerberinnen oder Bewerber mit einem Grad der Behinderung
von mindestens 50 oder diesen Gleichgestellte werden bei gleicher
Eignung bevorzugt.
Bewerbungen sind mit den ?blichen Unterlagen (Lebenslauf, Zeugnisse,
Schriftenverzeichnis, Angaben ?ber wissenschaftliche Aktivit?ten,
bisherige Lehrt?tigkeiten und ggf. Lehrevaluierungen) unter Angabe der
Kenn-Nummer postalisch an den Dekan des Fachbereichs Mathematik,
Schlossgartenstr. 7, 64289 Darmstadt oder elektronisch an bewerbung [at]
mathematik.tu-darmstadt.de (bitte in einer .pdf-Datei, max. 5 MB) zu senden.
Kenn.-Nr. 196
Bewerbungsfrist: 06. Juli 2014
-----------------------------------------------------------------------
The Department of Mathematics at Technische Universit?t Darmstadt
invites applications for a
Professorship (W2) for Mathematics
in the field of Mathematical Optimization starting as soon as possible.
Candidates applying for the professorship should have expertise in
Mathematical Optimization and complement the areas represented in the
research group optimization.
Experience with the procurement of third party funding is desirable. The
motivation for contributing to interdisciplinary research projects and
the ability to cooperate with other fields of science is required. In
addition to excellent scientific qualifications, notable didactical
skills are expected. Besides courses in mathematical optimization, the
responsibilities include teaching for students of other scientific fields.
Applicants should be qualified as university lecturers (?Habilitation?)
or have an equivalent scientific qualification.
The position is tenured with a remuneration package commensurate with
experience and qualifications, following the German "W-Besoldung". The
regulations for employment are specified under ?? 61 and 62 HHG
(Hessisches Hochschulgesetz).
The Technische Universit?t Darmstadt intends to increase the number of
female faculty members and encourages female candidates to apply. In
case of equal qualifications applicants with a degree of disability of
at least 50 or equal will be given preference.
Qualified applicants must submit a letter of application, a curriculum
vitae, and a record of publications, teaching and further scientific
activities under the above reference number to the following address:
Dekan des Fachbereichs Mathematik, Technische Universit?t Darmstadt,
Schlossgartenstr. 7, 64289 Darmstadt, Germany (postal) or bewerbung [at]
mathematik.tu-darmstadt.de (please enclose a single .pdf-file of at most
5 MB size).
Code. No. 196
Application deadline: July 06, 2014
------------------------------
Message: 2
Date: Thu, 5 Jun 2014 12:07:28 +0200
From: Matus Mihalak <matus.mihalak@inf.ethz.ch>
To: <dmanet@zpr.uni-koeln.de>
Subject: [DMANET] ATMOS 2014 -- Second Call for Papers (Submission
Server Open)
Message-ID: <53904160.1070308@inf.ethz.ch>
Content-Type: text/plain; charset="windows-1252"
SECOND CALL FOR PAPERS
14th WORKSHOP ON ALGORITHMIC APPROACHES FOR TRANSPORTATION MODELLING,
OPTIMIZATION, AND SYSTEMS (ATMOS 2014)
September 11, 2014, Wroclaw, Poland
http://algo2014.ii.uni.wroc.pl/atmos/
----------------------------------------------------------------------
SUBMISSIONS NOW POSSIBLE
------------------------
Submission deadline: June 22, 2014
Submission server: https://www.easychair.org/conferences/?conf=atmos2014
Format: see below
----------------------------------------------------------------------
SCOPE
-----
ATMOS is an annual workshop bringing together researchers and
practitioners who are interested in all aspects of algorithmic methods
and models for transportation optimization.
The workshop provides a forum for the exchange and dissemination of
new ideas and techniques from mathematical optimization, theoretical
computer science, and operations research. Applicable tools and
concepts include those from graph and network algorithms,
combinatorial optimization, approximation and online algorithms,
stochastic and robust optimization.
The scope of the workshop comprises all modes of transportation.
----------------------------------------------------------------------
INVITED SPEAKER
---------------
* Renato Werneck, Microsoft Research Silicon Valley, USA
----------------------------------------------------------------------
IMPORTANT DATES
---------------
Submission deadline: June 22, 2014
Notification to authors: July 22, 2014
Camera ready submission: August 3, 2014
Workshop date: September 11, 2014
----------------------------------------------------------------------
TOPICS
------
We invite authors to present work that advances optimization methods
and algorithms to facilitate planning and operational management of
freight and passenger transportation and traffic. The workshop
welcomes but is not limited to papers addressing the following
challenges:
* Demand Forecasting
* Models for User Behavior
* Design of Pricing Systems
* Infrastructure Planning
* Multi-modal Transport Optimization
* Mobile Applications for Transport
* Congestion Modeling and Reduction
* Line Planning
* Timetable Generation
* Routing and Platform Assignment
* Vehicle Scheduling
* Route Planning
* Crew and Duty Scheduling
* Rostering
* Delay Management
* Routing in Road Networks
* Traffic Guidance
The workshop welcomes but is not limited to papers applying and
advancing the following techniques: Graph and Network Algorithms,
Combinatorial Optimization, Mathematical Programming, Approximation
Algorithms, Methods for the Integration of Planning Stages, Stochastic
and Robust Optimization, Online and Real-time Algorithms, Algorithmic
Game Theory, Heuristics for Real-world Instances, Simulation Tools.
----------------------------------------------------------------------
SUBMISSIONS
-----------
Authors are invited to submit an extended abstract or full paper of at
most 12 pages. Submissions must be formatted in LaTeX, using the OASIcs
style (http://drops.dagstuhl.de/styles/oasics/oasics-authors.tgz). The
paper should contain a succinct statement of the issues and of their
motivation, a summary of the main results, and a brief explanation of
their significance, accessible to non-specialist readers. Proofs
omitted due to space constraints can be put into an appendix to be
read by the program committee members at their discretion. Papers must
be submitted electronically at
https://www.easychair.org/conferences/?conf=atmos2014
The submission must be received by June 22, 2014. Each accepted paper
must be presented at the workshop by one of the authors.
----------------------------------------------------------------------
PROCEEDINGS
-----------
The proceedings will be published online and as open-access in the
Dagstuhl Open Access Series in Informatics (OASIcs).
----------------------------------------------------------------------
PROGRAM COMMITTEE
-----------------
Alberto Ceselli, University of Milano, Italy
Stefan Funke (co-chair), University of Stuttgart, Germany
Marco L?bbecke, RWTH Aachen, Germany
Juan Antonio Mesa, University of Sevilla, Spain
Mat?? Mihal?k (co-chair), ETH Zurich, Switzerland
Matthias M?ller-Hannemann, University of Halle, Germany
Christian Reitwiessner, TomTom NV, Germany
Marie Schmidt, University G?ttingen, Germany
Gabriele Di Stefano, University of L'Aquila, Italy
Sabine Storandt, University of Freiburg, Germany
Renato Werneck, Microsoft Research, USA
Peter Widmayer, ETH Zurich, Switzerland
----------------------------------------------------------------------
STEERING COMMITTEE
------------------
Alberto Marchetti-Spaccamela, Sapienza University of Rome, Italy
Anita Sch?bel, Georg-August-Universit?t G?ttingen, Germany
Dorothea Wagner, Karlsruhe Institute of Technology (KIT), Germany
Christos Zaroliagis, University of Patras, Greece
------------------------------
Message: 3
Date: Thu, 5 Jun 2014 16:01:05 +0530
From: sganguly@cse.iitk.ac.in
To: dmanet@zpr.uni-koeln.de
Subject: [DMANET] 1st International Conference on Algorithms and
Discrete Applied Mathematics
Message-ID:
<a19f7dbd44cbf3394f491ca2ee89348c.squirrel@webmail.cse.iitk.ac.in>
Content-Type: text/plain;charset=iso-8859-1
1st International Conference on Algorithms and Discrete Applied
Mathematics (CALDAM)
Indian Institute of Technology, Kanpur February 8-10, 2015
http://caldam.cse.iitk.ac.in
CALDAM 2015 invites papers describing original research in the areas of
design, analysis and experimental evaluation of algorithms and in discrete
applied mathematics. Papers must be typeset using LaTeX/LaTeX2e and may
not exceed 12 pages in LNCS style, including bibliographic references.
Further details may be included in a clearly marked appendix that will be
read at the discretion of the program committee. Only electronic
submission is allowed. Submitted papers must describe previously
unpublished work and may not be submitted concurrently to another
conference with refereed proceedings or to a refereed journal.
SCOPE
The range of topics within the scope of CALDAM 2015 includes (but is not
limited to) the following
Topics Related to Algorithms
Approximation Algorithms | Combinatorial Algorithms | Combinatorial
Optimization | Computational Biology | Computational Complexity |
Computational Geometry | Data Structures | Experimental Algorithm
Methodologies | Graph Algorithms | Graph Drawing | Parallel and
Distributed Algorithms | Parameterized Complexity | Network Optimization |
Online Algorithms | Randomized Algorithms
Topics Related to Discrete Applied Mathematics
Algebraic Combinatorics | Design Theory | Enumeration | Extremal
Combinatorics | Graph Theory | Topological and Analytical Techniques in
Combinatorics | Probabilistic Combinatorics | Combinatorial Number Theory
| Discrete Geometry | Ramsey Theory
PROCEEDINGS
The proceedings of accepted papers will be published in Lecture Notes in
Computer Science by Springer: LNCS. Special issues on CALDAM 2015 are
likely to be published in reputed international journals.
PROGRAM COMMITTEE
Amitabha Bagchi, Indian Institute of Technology Delhi, India
Giuseppe Di Battista, Universita' Roma Tre, Italy
Amitava Bhattacharya, Tata Institute of Fundamental Research Mumbai, India
Bostjan Breser, University of Maribor, Slovenia
Sunil Chandran, Indian Institute of Science Bangalore, India
Manoj Changat, University of Kerala, Trivandrum, India
Sandip Das, Indian Statistical Institute Kolkata, India
Sumit Ganguly (Co-Chair), Indian Institute of Technology Kanpur, India
Daya Gaur, University of Lethbridge, Canada
Partha Goswami, Calcutta University, India
Sathish Govindarajan, Indian Institute of Science Bangalore, India
Prahladh Harsha, Tata Institute of Fundamental Research Mumbai, India
R Inkulu, Indian Institute of Technology Guwahati, India
Matya Katz, Ben-Gurion University, Israel
Ken-ichi Kawarabayashi, National Institute of Informatics, Japan
Shuji Kijima, Kyushu University, Japan
Sandi Klavzar, University of Ljubljana, Slovenia
Ramesh Krishnamurti (Co-Chair), Simon Fraser University, Canada
Andrzej Lingas, Lund University, Sweden
Anil Maheshwari, Carleton University, Canada
Bojan Mohar, Simon Fraser University, Canada
Ian Munro, University of Waterloo, Canada
N S Narayanaswamy, Indian Institute of Technology Madras, India
Sudebkumar Pal, Indian Institute of Technology Kharagpur, India
Bhawani S Panda, Indian Institute of Technology Delhi, India
Abhiram Ranade, Indian Institute of Technology Bombay, India
Kunihiko Sadakane, National Institute of Informatics, Japan
Shakhar Smorodinsky, Ben-Gurion University, Israel
Angelika Steger, ETH Zurich, Switzerland
C R Subramanian, Institute for Mathematical Sciences, Chennai
Pavel Valtr, Charles University Prague, Czech Republic
David Wood, Monash University, Australia
LOCAL ORGANIZATION
Surender Baswana (Chair), IIT Kanpur, India
Sasanka Roy, Chennai Mathematical Institute, India
John Augustine, IIT Madras, India
S. V. Rao, IIT Guwahati, India
Arindam Biswas, IIEST Shibpur, India
IMPORTANT DATES
Paper Submission: Authors should submit the first version by September 18,
2014, AOE.
Notification of Acceptance: November 4, 2014
Camera-ready Version: November 21, 2014,
Conference: February 8-10, 2015
SUBMISSION
Submissions may be made using the server at
https://www.easychair.org/conferences/?conf=caldam2015
Venue: Outreach Auditorium, IIT Kanpur, Kanpur
------------------------------
Message: 4
Date: Fri, 06 Jun 2014 00:15:26 +0200
From: Constantinos Marios Angelopoulos <aggeloko@ceid.upatras.gr>
To: Dmanet <dmanet@zpr.uni-koeln.de>
Subject: [DMANET] ALGOSENSORS 2014: Submission server open
Message-ID: <6ec841178aa38c16fe14e121f2b4027d@ceid.upatras.gr>
Content-Type: text/plain; charset=UTF-8; format=flowed
****Please Receive our Apologies for Cross-postings******
CALL FOR PAPERS
ALGOSENSORS 2014
10th International Symposium on Algorithms and Experiments for Sensor
Systems, Wireless Networks and Distributed Robotics
September 11-12, 2014, Wroclaw, Poland; to be held in conjunction with
ALGO/ESA 2014
https://sites.google.com/site/algosensors2014/
SCOPE AND TOPICS: The ALGOSENSORS symposium aims to bring together
research contributions related to diverse algorithmic aspects of sensor
networks, wireless networks as well as distributed robotics, both from a
theoretical and an experimental perspective. Starting from 2013 we have
a new track on wireless networks and distributed robotics.
This year ALGOSENSORS has three tracks:
- Sensor Network Algorithms
- Wireless Networks and Distributed Robotics
- Experiments
Each paper will be initially submitted to a single track. But all papers
will be handled by the the same program committee. The program committee
will make sure that papers are reviewed by the PC members in the
expertise area.
Topics include, but are not limited to:
Computational Models
Complexity and Computability
Approximation/Randomized Algorithms
Communication Protocols
Deployment, Topology Control
Infrastructure Discovery
Routing, Data Propagation
Data Aggregation, Data Fusion
Localization
Tracking
Energy Management
Power Saving Schemes
Resource Efficiency
Game Theoretic Aspects
Fault Tolerance, Dependability
Self-stabilization, Self-* Properties
Error/Erasure Correcting Codes
Cryptography, Security and Trust
Mobile Sensor Networks
Autonomous Mobile Robots
Sensor-Actuator Networks
Dynamic Networks
Swarm Computing
Pattern Formation
Obstacle Avoidance
Algorithms for RFID
Performance Evaluation
Systems and Testbeds
Experimental Analysis
Medium Access Control
Time Synchronization
Virtual Infrastructures
Cyber Physical Systems
PROGRAM COMMITTEE
Jie Gao, Stony Brook University, USA (General chair)
Alon Efrat, University of Arizona, USA (Track co-chair, Sensor Networks
Algorithms)
Sandor Fekete, University of Technology, Braunschweig, Germany (Track
co-chair, Wireless Networks and Distributed Robotics)
Yanyong Zhang, Rutgers University, USA (Track co-chair, Experiments)
Algorithms Track
Chris Gniady, University of Arizona, USA
Guy Grebla, Columbia University, USA
Loukas Lazos, University of Arizona, USA
Miao Jin, University of Louisiana, USA
Thienne Johnson, University of Arizona, USA
Valentin Polishchuk, Linkoping University, Sweden
Andrea Richa, Arizona State University, USA
Rik Sarkar, University of Edinburgh, UK
Michael Segal, Ben-Gurion University of the Negev, Israel
Guoliang Xue, Arizona State University, USA
Robotics Track
Aaron Becker, Harvard University, USA
Thomas Erlebach, University of Leicester, UK
Michael Hemmer, TU Braunschweig, Germany
Alejandro Lopez-Ortiz, University of Waterloo, Canada
James McLurkin, Rice University, USA
Friedhelm Meyer auf der Heide, University of Paderborn, Germany
Joe Mitchell, Stony Brook University, USA
Nicola Santoro, Carleton University, Canada
Christiane Schmidt, TU Braunschweig, Germany
Jukka Suomela, Aalto University, Finland
Experiments Track
James Gross, KTH, Sweden
Yuan He, Tsinghua University, P.R.China
Tommaso Melodia, University of Buffalo, USA
Hui Pan, Hong Kong University of Science and Technology, Hong Kong
Dario Pompili, Rutgers University, USA
Aaron Striegel, University of Notre Dame, USA
Niki Trigoni, Univ. of Oxford, UK
Guiling Wang, New Jersey Institute of Technology, USA
Kai Xing, University of Science and Technology of China, P.R. China
Rong Zheng, McMaster University, Canada
Marco Zuniga, TU Delft, Netherlands
Constantinos Marios Angelopoulos, Univ. of Geneva, Switzerland
STEERING COMMITTEE
Josep Diaz, U.P. Catalunya
Magnus M. Halldorsson, Reykjavik U., Iceland
Bhaskar Krishnamachari, U. of Southern California, USA
P.R. Kumar, Texas A&M U., USA
Sotiris Nikoletseas, U. of Patras and CTI, Greece (Chair)
Jose Rolim, U. of Geneva
Paul Spirakis, U. of Patras and CTI, Greece
Adam Wolisz, T.U. Berlin, Germany
IMPORTANT DATES:
Paper submission: June 14, 2014
Notification: July 14, 2014
Camera-ready for pre-proceedings: August 10, 2014
Symposium: September 11-12, 2014
PROCEEDINGS:
Accepted papers will be published in full text in hardcopy
post-proceedings, in the Lecture Notes in Computer Science (LNCS) Series
of Springer Verlag.
TCS JOURNAL SPECIAL ISSUE: As in previous years, selected high-quality
papers will be considered for publication in a Special Issue of the
Theoretical Computer Science (TCS) Journal.
HOW TO SUBMIT: Full papers are to be submitted electronically using the
EasyChair server.
Original research papers must contain results that have not previously
appeared and have not been concurrently submitted to a journal or
conference with published proceedings. Each paper should select a track
to submit to. Since there can be a lot of overlap of the three tracks,
the selection of a track is a suggestion and all papers will be handled
by the single PC to ensure that each paper is handled by PC members of
the expertise area. Authors need to ensure that for each accepted paper
at least one author will register and attend the symposium. Submissions
are limited to twelve (12) single-column pages on letter/A4-size paper
(using at least 11 point font, 1 inch margins, standard line spacing,
preferably formatted in the LNCS style). This includes figures, but
excludes references and an optional appendix (to be read at the program
committee's discretion).
--
Constantinos Marios Angelopoulos, Ph.D.
University of Geneva
Centre Universitaire d'Informatique
Battelle Bat. A, 7 rte de Drize
CH-1227 Carouge - Switzerland
Phone: (+41)0223790121
Skype: aggeloko
WEB: http://tcs.unige.ch/doku.php/user/angelopo
------------------------------
Message: 5
Date: Fri, 6 Jun 2014 11:08:46 +0400
From: "The International Conference on Digital Information,
Networking, and Wireless Communications (DINWC2014)" <din@sdiwc.net>
To: dmanet@zpr.uni-koeln.de
Subject: [DMANET] Last CFP:: DINWC2014- Czech Republic
Message-ID: <5cfb17f7e323fb0e4c5473afef135a9f.squirrel@sdiwc.net>
Content-Type: text/plain;charset=iso-8859-1
| Please accept our apology for multiple posting. THANK YOU |
+-----------------------------------------------------------+
L A S T C A L L F O R R E S E A R C H P A P E R S
T H E S U B M I S S I O N I S S T I L L O P E N
-------------------------------------------------------------
The International Conference on Digital Information, Networking,
and Wireless Communications (DINWC2014)
VSB-Technical University of Ostrava, Czech Republic
June 24-26, 2014.
http://sdiwc.net/conferences/2014/dinwc2014/
+-----------------------------------------------------------+
The event will be held over three days, with presentations delivered by
researchers from the international community, including presentations from
keynote speakers and state-of-the-art lectures.
------------------------------
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 6
*************************************
Sunday, June 8, 2014
Thursday, June 5, 2014
dmanet Digest, Vol 76, Issue 5
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. WAOA 2014 - Submission server open (Ola Svensson)
2. ALIO/EURO 2014: deadline approaches (Antonio Mauttone)
----------------------------------------------------------------------
Message: 1
Date: Wed, 4 Jun 2014 15:38:55 +0200
From: Ola Svensson <ola.svensson@epfl.ch>
To: dmanet@zpr.uni-koeln.de
Subject: [DMANET] WAOA 2014 - Submission server open
Message-ID: <D0D121E9-B2F2-4791-B654-98F73A6027B7@epfl.ch>
Content-Type: text/plain; charset=utf-8
12th Workshop on Approximation and Online Algorithms 2014
IMPORTANT INFORMATION:
Submission server: https://www.easychair.org/conferences/?conf=waoa2014
Deadline: June 20, 2014
WAOA 2014 - 2nd Call for papers below
http://algo2014.ii.uni.wroc.pl/waoa/
Scope
Algorithms have become a fundamental tool in several fields outside of Computer Science, and in several applications algorithms have to cope with computationally hard problems and problems in which the input is gradually disclosed over time. The workshop focuses on the design and analysis of approximation and online algorithms. WAOA 2014 will be part of ALGO 2014, which also hosts ESA, ALGOSENSORS, ATMOS, IPEC, MASSIVE and WABI. ALGO 2014 will take place 8-12 September 2014 in Wroc?aw, Poland.
Invited Speaker
Aleksander M?dry, EPFL
Tutorial
Monaldo Mastrolilli, IDSIA
Topics
Papers are solicited in all research areas related to approximation and online algorithms, including, but not limited to:
? algorithmic game theory
? algorithmic trading
? coloring and partitioning
? competitive analysis
? computational advertising
? computational finance
? cuts and connectivity
? geometric problems
? graph algorithms
? inapproximability results
? mechanism design
? natural algorithms
? network design
? packing and covering
? paradigms for the design and analysis of approximation and online algorithms
? parameterized complexity
? real-world applications
? scheduling problems
Important dates
Deadline: June 20, 2014
Notification: July 27, 2014
Workshop: September 11-12th, 2014
Publication
Proceedings will be published after the workshop takes place in the Springer series Lecture Notes in Computer Science. Instructions for authors can be found at Springer web site.
Submission guidelines
Authors are invited to submit an extended abstract or full paper of at most 12 pages describing original unpublished research. Simultaneous submission to other conferences with published proceedings is not permitted. The title page of the submission should include the authors' full names, addresses, e-mail addresses, and an abstract summarizing the results in roughly 100-200 words; the remainder of the submission should contain a description of the main results and an explanation of their importance. The submission must include a full proof of the results, part of which can be placed in the appendix, whose length is not constrained. Papers should be submitted electronically via the EasyChair submission system.
The WAOA proceedings will be published in the Lecture Notes in Computer Science series by Springer-Verlag.
Each accepted paper will be allotted 12 pages in the proceedings.
Program Committee
Evripidis Bampis, Sorbonne Universit?s, UPMC, France, co-chair
Nikhil Bansal, Eindhoven University of Technology, Netherlands
Ioannis Caragiannis, University of Patras, Greece
Marek Chrobak, University of California Riverside, USA
Alina R. Ene, Princeton University, USA
Moran Feldman, EPFL, Switzerland
Laurent Gourv?s, CNRS, Universit? Paris-Dauphine, France
Nguyen Kim Thang, Universit? d?Evry, France
Alejandro L?pez-Ortiz, University of Waterloo, Canada
Giorgio Lucarelli, Sorbonne Universit?s, UPMC, France
Monaldo Mastrolilli, IDSIA, Lugano, Switzerland
Julian Mestre, The University of Sydney, Australia
Seffi Naor, Technion, Israel
Neil Olver, CWI & VU University of Amsterdam, Netherlands
Kirk Pruhs, University of Pittsburgh, USA
Thomas Rothvoss, University of Washington, USA
Laura Sanit?, Univesity of Waterloo, Canada
Ola Svensson, EPFL, Switzerland, co-chair
Jos? Verschae, Universidad de Chile, Chile
Andreas Wiese, Max-Planck-Institut f?r Informatik, Germany
------------------------------
Message: 2
Date: Wed, 04 Jun 2014 19:41:40 -0300
From: Antonio Mauttone <mauttone@fing.edu.uy>
To: dmanet@zpr.uni-koeln.de
Subject: [DMANET] ALIO/EURO 2014: deadline approaches
Message-ID: <538FA0A4.5010704@fing.edu.uy>
Content-Type: text/plain; charset=ISO-8859-1; format=flowed
Apologies for any cross-postings. I would greatly appreciate if you can
distribute this call within your contacts.
---
VIII ALIO/EURO Workshop on Applied Combinatorial Optimization
Montevideo, Uruguay, December 8-10, 2014
http://www.fing.edu.uy/en/alio-euro-2014
AIMS AND OBJECTIVES
The ALIO/EURO Workshop on Applied Combinatorial Optimization series is a
triennial event jointly promoted by the Association of
Latin-Iberoamerican Operational Research Societies (ALIO) and the
Association of European Operational Research Societies (EURO), both
within the International Federation of Operational Research Societies
(IFORS).
The main purpose of the event is to bring together Latin American and
European researchers and to stimulate activities and discussions about
methods and applications in the field of combinatorial optimization.
Researchers from other regions worldwide are also welcome. Previous
editions of the ALIO/EURO Workshop on Applied Combinatorial Optimization
were held in:
- Rio de Janeiro, Brazil (1989)
- Valparaiso, Chile (1996)
- Erice, Italy (1999)
- Pucon, Chile (2002)
- Paris, France (2005)
- Buenos Aires, Argentina (2008)
- Porto, Portugal (2011)
The 2014 edition of the workshop is organized by the Operations Research
Department of the Computer Science Institute, Faculty of Engineering,
Universidad de la Rep?blica, Uruguay.
CONFERENCE TOPICS
Contributions dealing with any aspect of Applied Combinatorial
Optimization are welcome. This includes theoretical achievements,
algorithm development and real-world implementations. Main topics of
this workshop are, among others:
- Applications of Combinatorial Optimization
- Approximation algorithms
- Bio-informatics
- Branch-and-cut-and-price algorithms
- Computational complexity
- Emerging applications of OR
- Energy planning
- Graph theory
- Heuristics and metaheuristics
- Hybrid methods
- Integer programming
- Natural resource management
- Network design and analysis
- Production planning
- Telecommunications
- Transportation and logistics
INVITED SPEAKERS
- Michel Gendreau, D?partement de Math?matiques et de G?nie Industriel,
?cole Polytechnique de Montr?al and CIRRELT, Canada
- Thomas St?tzle, IRIDIA, Universit? Libre de Bruxelles, Belgium
- Andres Weintraub, Departamento de Ingenier?a Industrial, Universidad
de Chile, Chile
IMPORTANT DATES
- Deadline for submitting extended abstracts: June 9, 2014.
- Notification of acceptance to authors: August 11, 2014.
- Deadline for reception of final versions: September 22, 2014.
- Workshop: December 8-10, 2014.
PAPER SUBMISSION
Extended abstracts comprising up to six pages should be prepared
according to the instructions given at the conference website.
A Special Issue of International Transactions in Operational Research
including selected contributions from the workshop will be published.
PROGRAM COMMITTEE
- Gulnara Baldoqu?n
- H?ctor Cancela
- Michel Gendreau
- Martine Labb?
- Gilbert Laporte
- Irene Loiseau
- Simone Martins
- Antonio Mauttone
- Isabel M?ndez-D?az
- Philippe Michelon
- Mauricio Resende
- Celso Ribeiro
- Mikael R?nnqvist
- Juan Jos? Salazar-Gonz?lez
- El-Ghazali Talbi
- Paolo Toth
- Mar?a E. Urquhart - Chair
- Ana Viana
- Andres Weintraub
- Paula Zabala
LOCAL ORGANIZING COMMITTEE
- H?ctor Cancela
- Antonio Mauttone - Chair
- Sandro Moscatelli
- Franco Robledo
- Libertad Tansini
- Carlos Testuri
- Mar?a E. Urquhart
- Omar Viera
VENUE
The VIII ALIO/EURO Workshop on Applied Combinatorial Optimization will
be held at Edificio Polifuncional Jos? Luis Massera, next to the Faculty
of Engineering. This is a central location with full access to services
such as transportation, lodging and restaurants. The surroundings of the
conference venue offer a pleasant environment, including Parque Rod? and
the riverside of R?o de la Plata.
CONTACT
Please use the form in the Contact section at the conference website.
------------------------------
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 5
*************************************
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. WAOA 2014 - Submission server open (Ola Svensson)
2. ALIO/EURO 2014: deadline approaches (Antonio Mauttone)
----------------------------------------------------------------------
Message: 1
Date: Wed, 4 Jun 2014 15:38:55 +0200
From: Ola Svensson <ola.svensson@epfl.ch>
To: dmanet@zpr.uni-koeln.de
Subject: [DMANET] WAOA 2014 - Submission server open
Message-ID: <D0D121E9-B2F2-4791-B654-98F73A6027B7@epfl.ch>
Content-Type: text/plain; charset=utf-8
12th Workshop on Approximation and Online Algorithms 2014
IMPORTANT INFORMATION:
Submission server: https://www.easychair.org/conferences/?conf=waoa2014
Deadline: June 20, 2014
WAOA 2014 - 2nd Call for papers below
http://algo2014.ii.uni.wroc.pl/waoa/
Scope
Algorithms have become a fundamental tool in several fields outside of Computer Science, and in several applications algorithms have to cope with computationally hard problems and problems in which the input is gradually disclosed over time. The workshop focuses on the design and analysis of approximation and online algorithms. WAOA 2014 will be part of ALGO 2014, which also hosts ESA, ALGOSENSORS, ATMOS, IPEC, MASSIVE and WABI. ALGO 2014 will take place 8-12 September 2014 in Wroc?aw, Poland.
Invited Speaker
Aleksander M?dry, EPFL
Tutorial
Monaldo Mastrolilli, IDSIA
Topics
Papers are solicited in all research areas related to approximation and online algorithms, including, but not limited to:
? algorithmic game theory
? algorithmic trading
? coloring and partitioning
? competitive analysis
? computational advertising
? computational finance
? cuts and connectivity
? geometric problems
? graph algorithms
? inapproximability results
? mechanism design
? natural algorithms
? network design
? packing and covering
? paradigms for the design and analysis of approximation and online algorithms
? parameterized complexity
? real-world applications
? scheduling problems
Important dates
Deadline: June 20, 2014
Notification: July 27, 2014
Workshop: September 11-12th, 2014
Publication
Proceedings will be published after the workshop takes place in the Springer series Lecture Notes in Computer Science. Instructions for authors can be found at Springer web site.
Submission guidelines
Authors are invited to submit an extended abstract or full paper of at most 12 pages describing original unpublished research. Simultaneous submission to other conferences with published proceedings is not permitted. The title page of the submission should include the authors' full names, addresses, e-mail addresses, and an abstract summarizing the results in roughly 100-200 words; the remainder of the submission should contain a description of the main results and an explanation of their importance. The submission must include a full proof of the results, part of which can be placed in the appendix, whose length is not constrained. Papers should be submitted electronically via the EasyChair submission system.
The WAOA proceedings will be published in the Lecture Notes in Computer Science series by Springer-Verlag.
Each accepted paper will be allotted 12 pages in the proceedings.
Program Committee
Evripidis Bampis, Sorbonne Universit?s, UPMC, France, co-chair
Nikhil Bansal, Eindhoven University of Technology, Netherlands
Ioannis Caragiannis, University of Patras, Greece
Marek Chrobak, University of California Riverside, USA
Alina R. Ene, Princeton University, USA
Moran Feldman, EPFL, Switzerland
Laurent Gourv?s, CNRS, Universit? Paris-Dauphine, France
Nguyen Kim Thang, Universit? d?Evry, France
Alejandro L?pez-Ortiz, University of Waterloo, Canada
Giorgio Lucarelli, Sorbonne Universit?s, UPMC, France
Monaldo Mastrolilli, IDSIA, Lugano, Switzerland
Julian Mestre, The University of Sydney, Australia
Seffi Naor, Technion, Israel
Neil Olver, CWI & VU University of Amsterdam, Netherlands
Kirk Pruhs, University of Pittsburgh, USA
Thomas Rothvoss, University of Washington, USA
Laura Sanit?, Univesity of Waterloo, Canada
Ola Svensson, EPFL, Switzerland, co-chair
Jos? Verschae, Universidad de Chile, Chile
Andreas Wiese, Max-Planck-Institut f?r Informatik, Germany
------------------------------
Message: 2
Date: Wed, 04 Jun 2014 19:41:40 -0300
From: Antonio Mauttone <mauttone@fing.edu.uy>
To: dmanet@zpr.uni-koeln.de
Subject: [DMANET] ALIO/EURO 2014: deadline approaches
Message-ID: <538FA0A4.5010704@fing.edu.uy>
Content-Type: text/plain; charset=ISO-8859-1; format=flowed
Apologies for any cross-postings. I would greatly appreciate if you can
distribute this call within your contacts.
---
VIII ALIO/EURO Workshop on Applied Combinatorial Optimization
Montevideo, Uruguay, December 8-10, 2014
http://www.fing.edu.uy/en/alio-euro-2014
AIMS AND OBJECTIVES
The ALIO/EURO Workshop on Applied Combinatorial Optimization series is a
triennial event jointly promoted by the Association of
Latin-Iberoamerican Operational Research Societies (ALIO) and the
Association of European Operational Research Societies (EURO), both
within the International Federation of Operational Research Societies
(IFORS).
The main purpose of the event is to bring together Latin American and
European researchers and to stimulate activities and discussions about
methods and applications in the field of combinatorial optimization.
Researchers from other regions worldwide are also welcome. Previous
editions of the ALIO/EURO Workshop on Applied Combinatorial Optimization
were held in:
- Rio de Janeiro, Brazil (1989)
- Valparaiso, Chile (1996)
- Erice, Italy (1999)
- Pucon, Chile (2002)
- Paris, France (2005)
- Buenos Aires, Argentina (2008)
- Porto, Portugal (2011)
The 2014 edition of the workshop is organized by the Operations Research
Department of the Computer Science Institute, Faculty of Engineering,
Universidad de la Rep?blica, Uruguay.
CONFERENCE TOPICS
Contributions dealing with any aspect of Applied Combinatorial
Optimization are welcome. This includes theoretical achievements,
algorithm development and real-world implementations. Main topics of
this workshop are, among others:
- Applications of Combinatorial Optimization
- Approximation algorithms
- Bio-informatics
- Branch-and-cut-and-price algorithms
- Computational complexity
- Emerging applications of OR
- Energy planning
- Graph theory
- Heuristics and metaheuristics
- Hybrid methods
- Integer programming
- Natural resource management
- Network design and analysis
- Production planning
- Telecommunications
- Transportation and logistics
INVITED SPEAKERS
- Michel Gendreau, D?partement de Math?matiques et de G?nie Industriel,
?cole Polytechnique de Montr?al and CIRRELT, Canada
- Thomas St?tzle, IRIDIA, Universit? Libre de Bruxelles, Belgium
- Andres Weintraub, Departamento de Ingenier?a Industrial, Universidad
de Chile, Chile
IMPORTANT DATES
- Deadline for submitting extended abstracts: June 9, 2014.
- Notification of acceptance to authors: August 11, 2014.
- Deadline for reception of final versions: September 22, 2014.
- Workshop: December 8-10, 2014.
PAPER SUBMISSION
Extended abstracts comprising up to six pages should be prepared
according to the instructions given at the conference website.
A Special Issue of International Transactions in Operational Research
including selected contributions from the workshop will be published.
PROGRAM COMMITTEE
- Gulnara Baldoqu?n
- H?ctor Cancela
- Michel Gendreau
- Martine Labb?
- Gilbert Laporte
- Irene Loiseau
- Simone Martins
- Antonio Mauttone
- Isabel M?ndez-D?az
- Philippe Michelon
- Mauricio Resende
- Celso Ribeiro
- Mikael R?nnqvist
- Juan Jos? Salazar-Gonz?lez
- El-Ghazali Talbi
- Paolo Toth
- Mar?a E. Urquhart - Chair
- Ana Viana
- Andres Weintraub
- Paula Zabala
LOCAL ORGANIZING COMMITTEE
- H?ctor Cancela
- Antonio Mauttone - Chair
- Sandro Moscatelli
- Franco Robledo
- Libertad Tansini
- Carlos Testuri
- Mar?a E. Urquhart
- Omar Viera
VENUE
The VIII ALIO/EURO Workshop on Applied Combinatorial Optimization will
be held at Edificio Polifuncional Jos? Luis Massera, next to the Faculty
of Engineering. This is a central location with full access to services
such as transportation, lodging and restaurants. The surroundings of the
conference venue offer a pleasant environment, including Parque Rod? and
the riverside of R?o de la Plata.
CONTACT
Please use the form in the Contact section at the conference website.
------------------------------
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 5
*************************************
Wednesday, June 4, 2014
dmanet Digest, Vol 76, Issue 4
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. Deadline Approaching (June 20), Call for papers: Special
session on Healthcare systems planning and optimization (IEEE,
CODIT'14, in Metz 3-5 November 2014) (Masmoudi Malek)
2. NSysS 2015- First Call for Papers (Dr. M. Sohel Rahman)
3. Special session: Graph Theory and Applications in Metz 3-5
November 2014 (CODIT'14) (S?bastien Martin)
4. REGISTRATION NOW OPEN: MADALGO Summer School on Learning at
Scale (Lars Arge)
----------------------------------------------------------------------
Message: 1
Date: Tue, 03 Jun 2014 12:11:02 +0200
From: "Masmoudi Malek" <malek.masmoudi@univ-st-etienne.fr>
To: dmanet@zpr.uni-koeln.de
Subject: [DMANET] Deadline Approaching (June 20), Call for papers:
Special session on Healthcare systems planning and optimization (IEEE,
CODIT'14, in Metz 3-5 November 2014)
Message-ID: <27f8-538d9f00-21-1f737d00@206418579>
Content-Type: text/plain; charset="utf-8"
Dear colleagues,
You are cordially invited to participate and to encourage your team members and fellow scientists to contribute to the following event : International Conference on Control, Decision and Information Technologies CoDIT'14, technically sponsored by IEEE, Metz, France
November 3-5, 2014. Website: http://codit2014.event.univ-lorraine.fr/
---------------------------------- ** Call for Paper ** ----------------------------------
Special session : "Healthcare systems planning and optimization"
http://codit2014.event.univ-lorraine.fr/docs/SessionSpecialeHealthcare.pdf
Submission:
Please submit your full paper (maximum of 6 pages in the standard IEEE conference double column format)
or extended abstract of 2 to 3 pages choosing the right track on the Easychair site:
https://www.easychair.org/conferences/?conf=codit14
Thanks for forwarding the information on this Call for Papers to those potentially interested to submit.
The submission deadline extended to June 20, 2014
----------------------------------------------------------------------------------------------
Thanks and best regards.
Dr. Malek Masmoudi
University of Jean-Monnet, Saint-Etienne, France
------------------------------
Message: 2
Date: Tue, 3 Jun 2014 17:07:31 +0700
From: "Dr. M. Sohel Rahman" <msrahman@cse.buet.ac.bd>
To: DMANET@zpr.uni-koeln.de
Subject: [DMANET] NSysS 2015- First Call for Papers
Message-ID: <20140603100638.M27760@cse.buet.ac.bd>
Content-Type: text/plain; charset=iso-8859-1
NSysS 2015
http://www.buet.ac.bd/cse/nsyss/
First Call for Papers
The 1st International Conference on Networking Systems and Security 2015
(NSysS 2015) aims at providing a forum of researchers, practitioners,
developers, and users to exchange new ideas and results related to computer
networks, networking systems, and security across academia and industry. NSysS
2015 will be held during January 5-7, 2015 in Dhaka, the capital of Bangladesh.
We solicit original technical papers articulating novel ideas, protocols, and
algorithms with ground-breaking results and/or quantified experiences
involving networking systems and security. The conference values papers, which
will take a broad networking and/or security perspective(s) covering
contemporary and future applications. Of particular interest are technical
contributions that enable new and compelling networking and security paradigms.
Important dates:
Abstract submission deadline: July 26, 2014
Paper submission deadline: August 3, 2014
Notification of paper acceptance: September 30, 2014
Poster and demo submission deadline: October 7, 2014
Notification of poster and demo acceptance: October 14, 2014
Program: January 5-7, 2015
TPC Co-Chairs
Md. Mostofa Akbar, BUET, Bangladesh
Suman Kumar Nath, Microsoft Research, USA
Invited Speakers
Raouf Boutaba, University of Waterloo, Canada
Mohammed Atiquzzaman, University of Oklahoma, USA
Manzur Murshed, Federation University, Australia
Scope:
Scope of the workshop covers, but is not limited to, the following:
Addressing and location management
Broadband access technologies
Capacity planning
Cellular and broadband wireless nets
Challenges for 'Big Sensor Data'
Cognitive radio networking
Congestion control
Content-based network service
Cross layer design and optimization
Cyber‐physical systems and networking
Data centers
Data reduction, inference, and signal processing
Delay/disruption tolerant networks
Denial of service
Detection, classification, tracking, reasoning, and decision making
Dynamic spectrum management
Economic aspects of the Internet
Embedded software for sensor networks
Energy harvesting
Experience with real-world applications
Experimental results from operational networks or network applications
Fault-tolerance, reliability, and troubleshooting
Future Internet design
Innovative applications and deployment experiences
Innovative sensing and processing platforms including cloud, crowd, and
consumer devices
Insights into network and traffic characteristics
Middleware support for networking
Mobile, participatory, and social sensing
Multicast, broadcast and anycast
Multimedia protocols
Near field communication
Network applications and services
Network architectures
Network coding
Network control
Network health monitoring and management
Network management and traffic engineering
Network security and privacy
Network simulation and emulation
Network, transport, and application-layer protocols
Networking issues for emerging applications
New models of sensor usage (e.g. mobile sensing, body sensing, RFIDs, robots)
Novel components, devices and architectures for networked sensing
Operating system and host support for networking
Operating systems and runtime environments
Optical networks
P2P, overlay, and content distribution networks
Peer‐to‐peer networks
Performance evaluation
Power control and management
Pricing and billing
Programming paradigms for sensing systems
Provable correctness and performance guarantees
Quality of service
Resource allocation and management
Resource management
Resource management, QoS, and signaling
RFID networks and protocols
Routing protocols
Satellite networks
Scheduling and buffer management
SDNs and network programming
Security, trust and privacy
Self-organizing networks
Sensor data processing, mining, and machine learning
Sensor data quality, integrity, and trustworthiness
Sensor data storage, retrieval, processing and management
Sensor tasking, control, and actuation
Social computing and networks
Support for integrated sensing, actuation and control
Switches and switching
Techniques for network measurement and simulation
Testing, Verification and Validation
Theoretical foundation and fundamental bounds
Topology characterization and inference
Underground and underwater networks
User interfaces for sensing applications and systems
Vehicular networks
Web services and performance
Wireless, mobile, ad-hoc, and sensor networks
Author Instructions
Authors are invited to submit papers describing original research of
theoretical or practical significance to Network Systems and Security.
Submitted papers must describe work not previously published. They must not be
submitted simultaneously to another conference with refereed proceedings or to
a journal. Papers should not exceed 10 pages in IEEE style. Please find the
template of IEEE style here. Papers significantly shorter than 10 pages,
however, having sufficient novelty and depth are also welcome. Only
electronic submissions will be allowed. The submission system will be open soon.
Proceedings
Accepted papers will be published in the conference proceedings, which will be
indexed in various reputed computer science index databases.
Journal Special Issue
A special issue in a reputed journal is planned for selected papers appeared
in the conference.
------------------------------
Message: 3
Date: Wed, 04 Jun 2014 09:03:33 +0200
From: S?bastien Martin <sebastien.martin@univ-lorraine.fr>
To: dmanet@zpr.uni-koeln.de
Subject: [DMANET] Special session: Graph Theory and Applications in
Metz 3-5 November 2014 (CODIT'14)
Message-ID: <538EC4C5.1040403@univ-lorraine.fr>
Content-Type: text/plain; charset=ISO-8859-1; format=flowed
Dear colleagues,
In order to answer to many requests, the deadline for submission to
Codit 2014 has been extended to June 20th.
---------------------------------- ** Call for Paper **
----------------------------------
Special Session on
Graph Theory and Applications
http://codit2014.event.univ-lorraine.fr/docs/SessionSpecialeGraph.pdf
at International Conference on Control, Decision and Information
Technologies (CODIT'14),
IEEE Conference, http://codit2014.event.univ-lorraine.fr/index.html
November 3 - 5, 2014, Universit? de Lorraine, Metz, France.
-----------------------------------------------------------------------------------------------
Description:
This special session focuses on a variety of topics in graph theory,
such as structural results about graphs,
graph algorithms with theoretical emphasis, and discrete optimization on
graphs.
The aim of this special session is to present recent advances on
well-known graph problems (and variants)
and also on new problems related to industrial application.
Topics:
- All aspect of Graph Theory
- Graph Algorithms
- Combinatorial Optimization
- Complexity
- Approximation Algorithms
Submission:
Please submit your full paper (maximum of 6 pages in the standard IEEE
conference double column format)
or extended abstract of 2 to 3 pages choosing the right track on the
Easychair site:
https://www.easychair.org/conferences/?conf=codit14
Important Dates:
June 20, 2014: deadline for paper submission,
September 10, 2014: deadline for final paper and registration.
Organizer:
S?bastien Martin
LCOMS - Universit? de Lorraine, Metz, France.
--
S?bastien Martin
Ma?tre de Conf?rences ? l'IUT de Metz et au LCOMS.
Bureau B37
IUT de Metz
Ile du Saulcy
57045 Metz cedex
T?l?phone : 03 87 31 51 59
https://perso.iut.univ-metz.fr/~martin/
------------------------------
Message: 4
Date: Wed, 4 Jun 2014 09:37:55 +0200
From: Lars Arge <large@cs.au.dk>
To: "DMANET@zpr.uni-koeln.de" <DMANET@zpr.uni-koeln.de>
Subject: [DMANET] REGISTRATION NOW OPEN: MADALGO Summer School on
Learning at Scale
Message-ID: <538ECCD3.1030003@cs.au.dk>
Content-Type: text/plain; charset="ISO-8859-1"; format=flowed
MADALGO Summer School on
LEARNING AT SCALE
August 11- 14, 2014, Aarhus University, Denmark
madalgo.au.dk/learningatscale2014
OVERVIEW AND GOAL
The MADALGO Summer School 2014 will introduce attendees to the latest
developments in learning at scale. The topics will include high
dimensional inference, algorithmic perspectives on learning and
optimization, and challenges in learning with huge data.
LECTURES
The school will be taught by experts in learning:
* Amr Ahmed (Google)
* Mikhail Belkin (Ohio State)
* Stefanie Jegelka (Berkeley)
* Ankur Moitra (MIT)
PARTICIPATION
The summer school will take place on August 11-14, 2014 at Center for
Massive Data Algorithmics (MADALGO) at the Department of Computer
Science, Aarhus University, Denmark. The school is targeted at graduate
students, as well as researchers interested in an in-depth introduction
to Learning.
The capacity of the Summer School is limited. Prospective participants
should register as soon as possible. Registering graduate students must
also have their supervisor send a letter confirming their graduate
students status directly to tjh@cs.au.dk; the subject of the e-mail
should be 'student_/SS_2014/confirming'. Registration is on a
first-come-first-serve basis and will close on Friday July 4, 2014.
Registration is free; handouts, coffee breaks, lunches and a dinner will
be provided by MADALGO and Aarhus University.
ORGANIZING COMMITTEE
* Suresh Venkatasubramanian (University of Utah)
* Peyman Afshani (MADALGO, Aarhus University)
* Lars Arge (MADALGO, Aarhus University)
* Gerth S. Brodal (MADALGO, Aarhus University)
* Kasper Green Larsen (MADALGO, Aarhus University)
LOCAL ARRANGEMENTS
* Trine Ji Holmgaard (MADALGO, Aarhus University)
* Katrine ?stergaard Rasmussen (MADALGO, Aarhus University)
ABOUT MADALGO
Center for Massive Data Algorithmics is a major basic research center
funded by the Danish National Research Foundation. The center is located
at the Department of Computer Science, Aarhus University, Denmark, but
also includes researchers at CSAIL, Massachusetts Institute of
Technology in the US, and at the Max Planck Institute for Informatics
and at Frankfurt University in Germany. The center covers all areas of
the design, analysis and implementation of algorithms and data
structures for processing massive data (interpreted broadly to cover
computations where data is large compared to the computational
resources), but with a main focus on I/O-efficient, cache-oblivious and
data stream algorithms.
------------------------------
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 4
*************************************
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. Deadline Approaching (June 20), Call for papers: Special
session on Healthcare systems planning and optimization (IEEE,
CODIT'14, in Metz 3-5 November 2014) (Masmoudi Malek)
2. NSysS 2015- First Call for Papers (Dr. M. Sohel Rahman)
3. Special session: Graph Theory and Applications in Metz 3-5
November 2014 (CODIT'14) (S?bastien Martin)
4. REGISTRATION NOW OPEN: MADALGO Summer School on Learning at
Scale (Lars Arge)
----------------------------------------------------------------------
Message: 1
Date: Tue, 03 Jun 2014 12:11:02 +0200
From: "Masmoudi Malek" <malek.masmoudi@univ-st-etienne.fr>
To: dmanet@zpr.uni-koeln.de
Subject: [DMANET] Deadline Approaching (June 20), Call for papers:
Special session on Healthcare systems planning and optimization (IEEE,
CODIT'14, in Metz 3-5 November 2014)
Message-ID: <27f8-538d9f00-21-1f737d00@206418579>
Content-Type: text/plain; charset="utf-8"
Dear colleagues,
You are cordially invited to participate and to encourage your team members and fellow scientists to contribute to the following event : International Conference on Control, Decision and Information Technologies CoDIT'14, technically sponsored by IEEE, Metz, France
November 3-5, 2014. Website: http://codit2014.event.univ-lorraine.fr/
---------------------------------- ** Call for Paper ** ----------------------------------
Special session : "Healthcare systems planning and optimization"
http://codit2014.event.univ-lorraine.fr/docs/SessionSpecialeHealthcare.pdf
Submission:
Please submit your full paper (maximum of 6 pages in the standard IEEE conference double column format)
or extended abstract of 2 to 3 pages choosing the right track on the Easychair site:
https://www.easychair.org/conferences/?conf=codit14
Thanks for forwarding the information on this Call for Papers to those potentially interested to submit.
The submission deadline extended to June 20, 2014
----------------------------------------------------------------------------------------------
Thanks and best regards.
Dr. Malek Masmoudi
University of Jean-Monnet, Saint-Etienne, France
------------------------------
Message: 2
Date: Tue, 3 Jun 2014 17:07:31 +0700
From: "Dr. M. Sohel Rahman" <msrahman@cse.buet.ac.bd>
To: DMANET@zpr.uni-koeln.de
Subject: [DMANET] NSysS 2015- First Call for Papers
Message-ID: <20140603100638.M27760@cse.buet.ac.bd>
Content-Type: text/plain; charset=iso-8859-1
NSysS 2015
http://www.buet.ac.bd/cse/nsyss/
First Call for Papers
The 1st International Conference on Networking Systems and Security 2015
(NSysS 2015) aims at providing a forum of researchers, practitioners,
developers, and users to exchange new ideas and results related to computer
networks, networking systems, and security across academia and industry. NSysS
2015 will be held during January 5-7, 2015 in Dhaka, the capital of Bangladesh.
We solicit original technical papers articulating novel ideas, protocols, and
algorithms with ground-breaking results and/or quantified experiences
involving networking systems and security. The conference values papers, which
will take a broad networking and/or security perspective(s) covering
contemporary and future applications. Of particular interest are technical
contributions that enable new and compelling networking and security paradigms.
Important dates:
Abstract submission deadline: July 26, 2014
Paper submission deadline: August 3, 2014
Notification of paper acceptance: September 30, 2014
Poster and demo submission deadline: October 7, 2014
Notification of poster and demo acceptance: October 14, 2014
Program: January 5-7, 2015
TPC Co-Chairs
Md. Mostofa Akbar, BUET, Bangladesh
Suman Kumar Nath, Microsoft Research, USA
Invited Speakers
Raouf Boutaba, University of Waterloo, Canada
Mohammed Atiquzzaman, University of Oklahoma, USA
Manzur Murshed, Federation University, Australia
Scope:
Scope of the workshop covers, but is not limited to, the following:
Addressing and location management
Broadband access technologies
Capacity planning
Cellular and broadband wireless nets
Challenges for 'Big Sensor Data'
Cognitive radio networking
Congestion control
Content-based network service
Cross layer design and optimization
Cyber‐physical systems and networking
Data centers
Data reduction, inference, and signal processing
Delay/disruption tolerant networks
Denial of service
Detection, classification, tracking, reasoning, and decision making
Dynamic spectrum management
Economic aspects of the Internet
Embedded software for sensor networks
Energy harvesting
Experience with real-world applications
Experimental results from operational networks or network applications
Fault-tolerance, reliability, and troubleshooting
Future Internet design
Innovative applications and deployment experiences
Innovative sensing and processing platforms including cloud, crowd, and
consumer devices
Insights into network and traffic characteristics
Middleware support for networking
Mobile, participatory, and social sensing
Multicast, broadcast and anycast
Multimedia protocols
Near field communication
Network applications and services
Network architectures
Network coding
Network control
Network health monitoring and management
Network management and traffic engineering
Network security and privacy
Network simulation and emulation
Network, transport, and application-layer protocols
Networking issues for emerging applications
New models of sensor usage (e.g. mobile sensing, body sensing, RFIDs, robots)
Novel components, devices and architectures for networked sensing
Operating system and host support for networking
Operating systems and runtime environments
Optical networks
P2P, overlay, and content distribution networks
Peer‐to‐peer networks
Performance evaluation
Power control and management
Pricing and billing
Programming paradigms for sensing systems
Provable correctness and performance guarantees
Quality of service
Resource allocation and management
Resource management
Resource management, QoS, and signaling
RFID networks and protocols
Routing protocols
Satellite networks
Scheduling and buffer management
SDNs and network programming
Security, trust and privacy
Self-organizing networks
Sensor data processing, mining, and machine learning
Sensor data quality, integrity, and trustworthiness
Sensor data storage, retrieval, processing and management
Sensor tasking, control, and actuation
Social computing and networks
Support for integrated sensing, actuation and control
Switches and switching
Techniques for network measurement and simulation
Testing, Verification and Validation
Theoretical foundation and fundamental bounds
Topology characterization and inference
Underground and underwater networks
User interfaces for sensing applications and systems
Vehicular networks
Web services and performance
Wireless, mobile, ad-hoc, and sensor networks
Author Instructions
Authors are invited to submit papers describing original research of
theoretical or practical significance to Network Systems and Security.
Submitted papers must describe work not previously published. They must not be
submitted simultaneously to another conference with refereed proceedings or to
a journal. Papers should not exceed 10 pages in IEEE style. Please find the
template of IEEE style here. Papers significantly shorter than 10 pages,
however, having sufficient novelty and depth are also welcome. Only
electronic submissions will be allowed. The submission system will be open soon.
Proceedings
Accepted papers will be published in the conference proceedings, which will be
indexed in various reputed computer science index databases.
Journal Special Issue
A special issue in a reputed journal is planned for selected papers appeared
in the conference.
------------------------------
Message: 3
Date: Wed, 04 Jun 2014 09:03:33 +0200
From: S?bastien Martin <sebastien.martin@univ-lorraine.fr>
To: dmanet@zpr.uni-koeln.de
Subject: [DMANET] Special session: Graph Theory and Applications in
Metz 3-5 November 2014 (CODIT'14)
Message-ID: <538EC4C5.1040403@univ-lorraine.fr>
Content-Type: text/plain; charset=ISO-8859-1; format=flowed
Dear colleagues,
In order to answer to many requests, the deadline for submission to
Codit 2014 has been extended to June 20th.
---------------------------------- ** Call for Paper **
----------------------------------
Special Session on
Graph Theory and Applications
http://codit2014.event.univ-lorraine.fr/docs/SessionSpecialeGraph.pdf
at International Conference on Control, Decision and Information
Technologies (CODIT'14),
IEEE Conference, http://codit2014.event.univ-lorraine.fr/index.html
November 3 - 5, 2014, Universit? de Lorraine, Metz, France.
-----------------------------------------------------------------------------------------------
Description:
This special session focuses on a variety of topics in graph theory,
such as structural results about graphs,
graph algorithms with theoretical emphasis, and discrete optimization on
graphs.
The aim of this special session is to present recent advances on
well-known graph problems (and variants)
and also on new problems related to industrial application.
Topics:
- All aspect of Graph Theory
- Graph Algorithms
- Combinatorial Optimization
- Complexity
- Approximation Algorithms
Submission:
Please submit your full paper (maximum of 6 pages in the standard IEEE
conference double column format)
or extended abstract of 2 to 3 pages choosing the right track on the
Easychair site:
https://www.easychair.org/conferences/?conf=codit14
Important Dates:
June 20, 2014: deadline for paper submission,
September 10, 2014: deadline for final paper and registration.
Organizer:
S?bastien Martin
LCOMS - Universit? de Lorraine, Metz, France.
--
S?bastien Martin
Ma?tre de Conf?rences ? l'IUT de Metz et au LCOMS.
Bureau B37
IUT de Metz
Ile du Saulcy
57045 Metz cedex
T?l?phone : 03 87 31 51 59
https://perso.iut.univ-metz.fr/~martin/
------------------------------
Message: 4
Date: Wed, 4 Jun 2014 09:37:55 +0200
From: Lars Arge <large@cs.au.dk>
To: "DMANET@zpr.uni-koeln.de" <DMANET@zpr.uni-koeln.de>
Subject: [DMANET] REGISTRATION NOW OPEN: MADALGO Summer School on
Learning at Scale
Message-ID: <538ECCD3.1030003@cs.au.dk>
Content-Type: text/plain; charset="ISO-8859-1"; format=flowed
MADALGO Summer School on
LEARNING AT SCALE
August 11- 14, 2014, Aarhus University, Denmark
madalgo.au.dk/learningatscale2014
OVERVIEW AND GOAL
The MADALGO Summer School 2014 will introduce attendees to the latest
developments in learning at scale. The topics will include high
dimensional inference, algorithmic perspectives on learning and
optimization, and challenges in learning with huge data.
LECTURES
The school will be taught by experts in learning:
* Amr Ahmed (Google)
* Mikhail Belkin (Ohio State)
* Stefanie Jegelka (Berkeley)
* Ankur Moitra (MIT)
PARTICIPATION
The summer school will take place on August 11-14, 2014 at Center for
Massive Data Algorithmics (MADALGO) at the Department of Computer
Science, Aarhus University, Denmark. The school is targeted at graduate
students, as well as researchers interested in an in-depth introduction
to Learning.
The capacity of the Summer School is limited. Prospective participants
should register as soon as possible. Registering graduate students must
also have their supervisor send a letter confirming their graduate
students status directly to tjh@cs.au.dk; the subject of the e-mail
should be 'student_/SS_2014/confirming'. Registration is on a
first-come-first-serve basis and will close on Friday July 4, 2014.
Registration is free; handouts, coffee breaks, lunches and a dinner will
be provided by MADALGO and Aarhus University.
ORGANIZING COMMITTEE
* Suresh Venkatasubramanian (University of Utah)
* Peyman Afshani (MADALGO, Aarhus University)
* Lars Arge (MADALGO, Aarhus University)
* Gerth S. Brodal (MADALGO, Aarhus University)
* Kasper Green Larsen (MADALGO, Aarhus University)
LOCAL ARRANGEMENTS
* Trine Ji Holmgaard (MADALGO, Aarhus University)
* Katrine ?stergaard Rasmussen (MADALGO, Aarhus University)
ABOUT MADALGO
Center for Massive Data Algorithmics is a major basic research center
funded by the Danish National Research Foundation. The center is located
at the Department of Computer Science, Aarhus University, Denmark, but
also includes researchers at CSAIL, Massachusetts Institute of
Technology in the US, and at the Max Planck Institute for Informatics
and at Frankfurt University in Germany. The center covers all areas of
the design, analysis and implementation of algorithms and data
structures for processing massive data (interpreted broadly to cover
computations where data is large compared to the computational
resources), but with a main focus on I/O-efficient, cache-oblivious and
data stream algorithms.
------------------------------
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 4
*************************************
Tuesday, June 3, 2014
dmanet Digest, Vol 76, Issue 3
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. SSTiC 2014: 7 June, early registration deadline (GRLMC - URV)
2. 10 Fellowships for a PhD in Computer Science at GSSI in
L'Aquila (Michele Flammini)
----------------------------------------------------------------------
Message: 1
Date: Mon, 2 Jun 2014 21:38:56 +0200
From: "GRLMC - URV" <grlmc@urv.cat>
To: <dmanet@zpr.uni-koeln.de>
Subject: [DMANET] SSTiC 2014: 7 June, early registration deadline
Message-ID: <000101cf7e9a$4d08f610$6400a8c0@GRLMC.local>
Content-Type: text/plain; charset="iso-8859-1"
*********************************************************************
2014 TARRAGONA INTERNATIONAL SUMMER SCHOOL ON TRENDS IN COMPUTING
SSTiC 2014
Tarragona, Spain
July 7-11, 2014
Organized by
Rovira i Virgili University
http://grammars.grlmc.com/sstic2014/
*********************************************************************
--- Early registration deadline: June 7 ---
*********************************************************************
AIM:
SSTiC 2014 is the second edition in a series started in 2013. For the
previous event, see http://grammars.grlmc.com/SSTiC2013/
SSTiC 2014 will be a research training event mainly addressed to PhD
students and PhD holders in the first steps of their academic career. It
intends to update them about the most recent developments in the diverse
branches of computer science and its neighbouring areas. To that purpose,
renowned scholars will lecture and will be available for interaction with
the audience.
SSTiC 2014 will cover the whole spectrum of computer science through 6
keynote lectures and 22 six-hour courses dealing with some of the most
lively topics in the field. The organizers share the idea that outstanding
speakers will really attract the brightest students.
ADDRESSED TO:
Graduate students from around the world. There are no formal pre-requisites
in terms of the academic degree the attendee must hold. However, since there
will be several levels among the courses, reference may be made to specific
knowledge background in the description of some of them.
SSTiC 2014 is also appropriate for more senior people who want to keep
themselves updated on developments in their own field or in other branches
of computer science. They will surely find it fruitful to listen and discuss
with scholars who are main references in computing nowadays.
REGIME:
In addition to keynotes, 3 parallel sessions will be held during the whole
event. Participants will be able to freely choose the courses they will be
willing to attend as well as to move from one to another.
VENUE:
SSTiC 2014 will take place in Tarragona, located 90 kms. to the south of
Barcelona. The venue will be:
Campus Catalunya
Universitat Rovira i Virgili
Av. Catalunya, 35
43002 Tarragona
KEYNOTE SPEAKERS:
Larry S. Davis (U Maryland, College Park), A Historical Perspective of
Computer Vision Models for Object Recognition and Scene Analysis
David S. Johnson (Columbia U, New York), Open and Closed Problems in
NP-Completeness
George Karypis (U Minnesota, Twin Cities), Top-N Recommender Systems:
Revisiting Item Neighborhood Methods
Steffen Staab (U Koblenz), Explicit and Implicit Semantics: Two Sides of One
Coin
Philip Wadler (U Edinburgh), You and Your Research and The Elements of Style
Ronald R. Yager (Iona C, New Rochelle), Social Modeling
COURSES AND PROFESSORS:
Divyakant Agrawal (Qatar Computing Research Institute, Doha), [intermediate]
Scalable Data Management in Enterprise and Cloud Computing Infrastructures
Pierre Baldi (U California, Irvine), [intermediate] Big Data Informatics
Challenges and Opportunities in the Life Sciences
Rajkumar Buyya (U Melbourne), [intermediate] Cloud Computing
John M. Carroll (Pennsylvania State U, University Park), [introductory]
Usability Engineering and Scenario-based Design
Kwang-Ting (Tim) Cheng (U California, Santa Barbara),
[introductory/intermediate] Smartphones: Hardware Platform, Software
Development, and Emerging Apps
Amr El Abbadi (U California, Santa Barbara), [introductory] The Distributed
Foundations of Data Management in the Cloud
Richard M. Fujimoto (Georgia Tech, Atlanta), [introductory] Parallel and
Distributed Simulation
Mark Guzdial (Georgia Tech, Atlanta), [introductory] Computing Education
Research: What We Know about Learning and Teaching Computer Science
David S. Johnson (Columbia U, New York), [introductory] The Traveling
Salesman Problem in Theory and Practice
George Karypis (U Minnesota, Twin Cities), [intermediate] Programming
Models/Frameworks for Parallel & Distributed Computing
Aggelos K. Katsaggelos (Northwestern U, Evanston), [intermediate]
Optimization Techniques for Sparse/Low-rank Recovery Problems in Image
Processing and Machine Learning
Arie E. Kaufman (U Stony Brook), [intermediate/advanced] Visualization
Carl Lagoze (U Michigan, Ann Arbor), [introductory] Curation of Big Data
Dinesh Manocha (U North Carolina, Chapel Hill), [introductory/intermediate]
Robot Motion Planning
Bijan Parsia (U Manchester), [introductory] The Empirical Mindset in
Computer Science
Charles E. Perkins (FutureWei Technologies, Santa Clara), [intermediate]
Beyond LTE: the Evolution of 4G Networks and the Need for Higher Performance
Handover System Designs
Robert Sargent (Syracuse U), [introductory] Validation of Models
Steffen Staab (U Koblenz), [intermediate] Programming the Semantic Web
Mike Thelwall (U Wolverhampton), [introductory] Sentiment Strength Detection
for Twitter and the Social Web
Jeffrey D. Ullman (Stanford U), [introductory] MapReduce Algorithms
Nitin Vaidya (U Illinois, Urbana-Champaign), [introductory/intermediate]
Distributed Consensus: Theory and Applications
Philip Wadler (U Edinburgh), [intermediate] Topics in Lambda Calculus and
Life
ORGANIZING COMMITTEE:
Adrian Horia Dediu (Tarragona)
Carlos Mart?n-Vide (Tarragona, chair)
Florentina Lilica Voicu (Tarragona)
REGISTRATION:
It has to be done at
http://grammars.grlmc.com/sstic2014/registration.php
The selection of up to 8 courses requested in the registration template is
only tentative and non-binding. For the sake of organization, it will be
helpful to have an approximation of the respective demand for each course.
Since the capacity of the venue is limited, registration requests will be
processed on a first come first served basis. The registration period will
be closed when the capacity of the venue will be complete. It is very
convenient to register prior to the event.
DEADLINES AND FEES:
As far as possible, participants are expected to attend for the whole (or
most of the) week (full-time). Fees are a flat rate allowing one to
participate to all courses. They vary depending on the registration
deadline:
Early registration: June 7, 2014 --- 470 Euro
Regular registration: July 5, 2014 --- 500 Euro
On-site registration: July 11, 2014 --- 530 Euro
ACCOMMODATION:
Information about accommodation is available on the website of the School.
CERTIFICATE:
Participants will be delivered a certificate of attendance.
QUESTIONS AND FURTHER INFORMATION:
florentinalilica.voicu@urv.cat
POSTAL ADDRESS:
SSTiC 2014
Lilica Voicu
Rovira i Virgili University
Av. Catalunya, 35
43002 Tarragona, Spain
Phone: +34 977 559 543
Fax: +34 977 558 386
ACKNOWLEDGEMENTS:
Universitat Rovira i Virgili
------------------------------
Message: 2
Date: Tue, 3 Jun 2014 10:04:14 +0200 (CEST)
From: Michele Flammini <michele.flammini@univaq.it>
To: dmanet@zpr.uni-koeln.de
Subject: [DMANET] 10 Fellowships for a PhD in Computer Science at GSSI
in L'Aquila
Message-ID:
<1729955489.485146.1401782654429.JavaMail.zimbra@di.univaq.it>
Content-Type: text/plain; charset=utf-8
PLEASE DIFFUSE AMONG INTERESTED PEOPLE
--- APOLOGIES FOR MULTIPLE COPIES ---
10 fellowships at GSSI L'AQUILA Italy, for the PhD program in
Computer Science
In collaboration with IMT - Institute for Advanced Studies - Lucca
http://www.imtlucca.it
Core Topics:
- Foundations of (Modern) Networks,
- Specification and Analysis of Concurrent Reactive Systems,
- Software Systems and Services.
Download the call for applications at
http://www.gssi.infn.it/phd/docs/call_english_14-15.pdf
Online applications
http://www.gssi.infn.it/phd/
Deadline June 22, 2014
Scholarships
GSSI awards scholarships for 3 years.
The yearly amount of the scholarship is of ? 16.159,91 gross
Facilities and benefits
All PhD students will receive free accommodation, tuition fees waived, free luncheon vouchers.
Further Informations
http://www.gssi.infn.it/
For additional informations please contact: info@gssi.infn.it
-----------
Michele Flammini
Department of Information Engineering, Computer Science, and Mathematics
University of L'Aquila
Italy
email michele.flammini@univaq.it
------------------------------
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 3
*************************************
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. SSTiC 2014: 7 June, early registration deadline (GRLMC - URV)
2. 10 Fellowships for a PhD in Computer Science at GSSI in
L'Aquila (Michele Flammini)
----------------------------------------------------------------------
Message: 1
Date: Mon, 2 Jun 2014 21:38:56 +0200
From: "GRLMC - URV" <grlmc@urv.cat>
To: <dmanet@zpr.uni-koeln.de>
Subject: [DMANET] SSTiC 2014: 7 June, early registration deadline
Message-ID: <000101cf7e9a$4d08f610$6400a8c0@GRLMC.local>
Content-Type: text/plain; charset="iso-8859-1"
*********************************************************************
2014 TARRAGONA INTERNATIONAL SUMMER SCHOOL ON TRENDS IN COMPUTING
SSTiC 2014
Tarragona, Spain
July 7-11, 2014
Organized by
Rovira i Virgili University
http://grammars.grlmc.com/sstic2014/
*********************************************************************
--- Early registration deadline: June 7 ---
*********************************************************************
AIM:
SSTiC 2014 is the second edition in a series started in 2013. For the
previous event, see http://grammars.grlmc.com/SSTiC2013/
SSTiC 2014 will be a research training event mainly addressed to PhD
students and PhD holders in the first steps of their academic career. It
intends to update them about the most recent developments in the diverse
branches of computer science and its neighbouring areas. To that purpose,
renowned scholars will lecture and will be available for interaction with
the audience.
SSTiC 2014 will cover the whole spectrum of computer science through 6
keynote lectures and 22 six-hour courses dealing with some of the most
lively topics in the field. The organizers share the idea that outstanding
speakers will really attract the brightest students.
ADDRESSED TO:
Graduate students from around the world. There are no formal pre-requisites
in terms of the academic degree the attendee must hold. However, since there
will be several levels among the courses, reference may be made to specific
knowledge background in the description of some of them.
SSTiC 2014 is also appropriate for more senior people who want to keep
themselves updated on developments in their own field or in other branches
of computer science. They will surely find it fruitful to listen and discuss
with scholars who are main references in computing nowadays.
REGIME:
In addition to keynotes, 3 parallel sessions will be held during the whole
event. Participants will be able to freely choose the courses they will be
willing to attend as well as to move from one to another.
VENUE:
SSTiC 2014 will take place in Tarragona, located 90 kms. to the south of
Barcelona. The venue will be:
Campus Catalunya
Universitat Rovira i Virgili
Av. Catalunya, 35
43002 Tarragona
KEYNOTE SPEAKERS:
Larry S. Davis (U Maryland, College Park), A Historical Perspective of
Computer Vision Models for Object Recognition and Scene Analysis
David S. Johnson (Columbia U, New York), Open and Closed Problems in
NP-Completeness
George Karypis (U Minnesota, Twin Cities), Top-N Recommender Systems:
Revisiting Item Neighborhood Methods
Steffen Staab (U Koblenz), Explicit and Implicit Semantics: Two Sides of One
Coin
Philip Wadler (U Edinburgh), You and Your Research and The Elements of Style
Ronald R. Yager (Iona C, New Rochelle), Social Modeling
COURSES AND PROFESSORS:
Divyakant Agrawal (Qatar Computing Research Institute, Doha), [intermediate]
Scalable Data Management in Enterprise and Cloud Computing Infrastructures
Pierre Baldi (U California, Irvine), [intermediate] Big Data Informatics
Challenges and Opportunities in the Life Sciences
Rajkumar Buyya (U Melbourne), [intermediate] Cloud Computing
John M. Carroll (Pennsylvania State U, University Park), [introductory]
Usability Engineering and Scenario-based Design
Kwang-Ting (Tim) Cheng (U California, Santa Barbara),
[introductory/intermediate] Smartphones: Hardware Platform, Software
Development, and Emerging Apps
Amr El Abbadi (U California, Santa Barbara), [introductory] The Distributed
Foundations of Data Management in the Cloud
Richard M. Fujimoto (Georgia Tech, Atlanta), [introductory] Parallel and
Distributed Simulation
Mark Guzdial (Georgia Tech, Atlanta), [introductory] Computing Education
Research: What We Know about Learning and Teaching Computer Science
David S. Johnson (Columbia U, New York), [introductory] The Traveling
Salesman Problem in Theory and Practice
George Karypis (U Minnesota, Twin Cities), [intermediate] Programming
Models/Frameworks for Parallel & Distributed Computing
Aggelos K. Katsaggelos (Northwestern U, Evanston), [intermediate]
Optimization Techniques for Sparse/Low-rank Recovery Problems in Image
Processing and Machine Learning
Arie E. Kaufman (U Stony Brook), [intermediate/advanced] Visualization
Carl Lagoze (U Michigan, Ann Arbor), [introductory] Curation of Big Data
Dinesh Manocha (U North Carolina, Chapel Hill), [introductory/intermediate]
Robot Motion Planning
Bijan Parsia (U Manchester), [introductory] The Empirical Mindset in
Computer Science
Charles E. Perkins (FutureWei Technologies, Santa Clara), [intermediate]
Beyond LTE: the Evolution of 4G Networks and the Need for Higher Performance
Handover System Designs
Robert Sargent (Syracuse U), [introductory] Validation of Models
Steffen Staab (U Koblenz), [intermediate] Programming the Semantic Web
Mike Thelwall (U Wolverhampton), [introductory] Sentiment Strength Detection
for Twitter and the Social Web
Jeffrey D. Ullman (Stanford U), [introductory] MapReduce Algorithms
Nitin Vaidya (U Illinois, Urbana-Champaign), [introductory/intermediate]
Distributed Consensus: Theory and Applications
Philip Wadler (U Edinburgh), [intermediate] Topics in Lambda Calculus and
Life
ORGANIZING COMMITTEE:
Adrian Horia Dediu (Tarragona)
Carlos Mart?n-Vide (Tarragona, chair)
Florentina Lilica Voicu (Tarragona)
REGISTRATION:
It has to be done at
http://grammars.grlmc.com/sstic2014/registration.php
The selection of up to 8 courses requested in the registration template is
only tentative and non-binding. For the sake of organization, it will be
helpful to have an approximation of the respective demand for each course.
Since the capacity of the venue is limited, registration requests will be
processed on a first come first served basis. The registration period will
be closed when the capacity of the venue will be complete. It is very
convenient to register prior to the event.
DEADLINES AND FEES:
As far as possible, participants are expected to attend for the whole (or
most of the) week (full-time). Fees are a flat rate allowing one to
participate to all courses. They vary depending on the registration
deadline:
Early registration: June 7, 2014 --- 470 Euro
Regular registration: July 5, 2014 --- 500 Euro
On-site registration: July 11, 2014 --- 530 Euro
ACCOMMODATION:
Information about accommodation is available on the website of the School.
CERTIFICATE:
Participants will be delivered a certificate of attendance.
QUESTIONS AND FURTHER INFORMATION:
florentinalilica.voicu@urv.cat
POSTAL ADDRESS:
SSTiC 2014
Lilica Voicu
Rovira i Virgili University
Av. Catalunya, 35
43002 Tarragona, Spain
Phone: +34 977 559 543
Fax: +34 977 558 386
ACKNOWLEDGEMENTS:
Universitat Rovira i Virgili
------------------------------
Message: 2
Date: Tue, 3 Jun 2014 10:04:14 +0200 (CEST)
From: Michele Flammini <michele.flammini@univaq.it>
To: dmanet@zpr.uni-koeln.de
Subject: [DMANET] 10 Fellowships for a PhD in Computer Science at GSSI
in L'Aquila
Message-ID:
<1729955489.485146.1401782654429.JavaMail.zimbra@di.univaq.it>
Content-Type: text/plain; charset=utf-8
PLEASE DIFFUSE AMONG INTERESTED PEOPLE
--- APOLOGIES FOR MULTIPLE COPIES ---
10 fellowships at GSSI L'AQUILA Italy, for the PhD program in
Computer Science
In collaboration with IMT - Institute for Advanced Studies - Lucca
http://www.imtlucca.it
Core Topics:
- Foundations of (Modern) Networks,
- Specification and Analysis of Concurrent Reactive Systems,
- Software Systems and Services.
Download the call for applications at
http://www.gssi.infn.it/phd/docs/call_english_14-15.pdf
Online applications
http://www.gssi.infn.it/phd/
Deadline June 22, 2014
Scholarships
GSSI awards scholarships for 3 years.
The yearly amount of the scholarship is of ? 16.159,91 gross
Facilities and benefits
All PhD students will receive free accommodation, tuition fees waived, free luncheon vouchers.
Further Informations
http://www.gssi.infn.it/
For additional informations please contact: info@gssi.infn.it
-----------
Michele Flammini
Department of Information Engineering, Computer Science, and Mathematics
University of L'Aquila
Italy
email michele.flammini@univaq.it
------------------------------
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 3
*************************************
Monday, June 2, 2014
dmanet Digest, Vol 76, Issue 2
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. Extended deadline BPCAS 2014: Business Processes in
Collective Adaptive Systems (Deadline extended to June 8)
(Lavygina, Anna)
2. MeCBIC 2014 : 2nd Call for Papers (Bogdan Aman)
3. STM 2014: Deadline Approaching (June 13, 2014)
(Rolando TRUJILLO RASUA)
----------------------------------------------------------------------
Message: 1
Date: Sun, 1 Jun 2014 20:44:00 +0000
From: "Lavygina, Anna" <a.lavygina@imperial.ac.uk>
To: "dmanet@zpr.uni-koeln.de" <dmanet@zpr.uni-koeln.de>
Subject: [DMANET] Extended deadline BPCAS 2014: Business Processes in
Collective Adaptive Systems (Deadline extended to June 8)
Message-ID: <DEFC33F3-5F98-4B91-ACAF-92120ABFBDFF@imperial.ac.uk>
Content-Type: text/plain; charset="Windows-1252"
CALL FOR PAPERS
Business Processes in Collective Adaptive Systems
(BPCAS 2014)
September 8, 2014, Haifa, Israel
In conjunction with the 12th International Conference on Business Process Management (BPM 2014)
Submission deadline (extended): 8 June 2014
http://www.bpcas.org
ABOUT THE WORKSHOP
BPCAS is a new workshop focusing on all topics related to Collective Adaptive Systems (CAS). It aims to provide a high-quality forum for the presentation of developments in CASs and for bringing together researchers and practitioners from diverse disciplines interested in CASs both within the business process community and outside. The latter are particularly welcome to submit to the workshop.
Topics of interest include:
* business process modeling for CAS
* collective configuration of business processes in CAS
* context/knowledge-aware business processes in CAS
* adaptation and evolution in CAS
* formal methods for CAS
* distribution and mobility in CAS
* big data in CAS
* process similarity and emergent properties of CAS
* security and privacy in CAS
* machine learning and data mining techniques for CAS
* optimization of CAS
* frameworks, tools and programming paradigms for CAS
* usability aspects of CAS
* case studies and scenarios
Accepted papers will be published by Springer as a post-workshop proceedings volume in the series Lecture Notes in Business Information Processing (LNBIP). In addition authors of the best papers will be invited to submit a revised and extended version of their paper to a special issue of the IET Software journal. The workshop is sponsored by the EU?s Fundamentals of Collective Adaptive Systems programme initiative (http://focas.eu/about-focas/).
IMPORTANT DATES
Submission deadline (extended): June 8, 2014
Author notification: July 1, 2014
Camera-ready submission: July 23, 2014
Workshop date: September 8, 2014
KEYNOTE SPEAKER
Manfred Reichert, Universit?t Ulm, Germany
WORKSHOP ORGANISATION
Organisers
Antonio Bucchiarone, Fondazione Bruno Kessler, Italy
Naranker Dulay, Imperial College London, UK
Dimka Karastoyanova, University of Stuttgart, Germany
Anna Lavygina, Imperial College London, UK
Adnan Tariq, University of Stuttgart, Germany
Program Committee
Vasilios Andrikopoulos, University of Stuttgart, Germany
Salima Benbernou, Universit? Paris Descartes, France
Marina Bitsaki, University of Crete, Greece
Alexei Lapouchnian, University of Toronto, Canada
Kim Larsen, Aalborg University, Denmark
Lior Limonad, IBM Haifa, Israel
Christos Nikolaou, University of Crete, Greece
Francisco Pereira, SMART-MIT, Singapore
Marco Pistore, Fondazione Bruno Kessler, Italy
Manfred Reichert, Universit?t Ulm, Germany
Kurt Rothermel, University of Stuttgart, Germany
Alessandra Russo, Imperial College, UK
Nikola Serbedija, Fraunhofer FIRST, Germany
Pnino Soffer, University of Haifa, Israel
Arnon Sturm, Ben-Gurion University of the Negev, Israel
Yury Tsoy, Institut Pasteur Korea, South Korea
Ingo Weber, NICTA, Australia
PAPER SUBMISSION DETAILS
We invite submissions in two forms: full papers and position papers. Submitted papers must be written in English, should not have been submitted for review or published elsewhere, and should not exceed 12 pages for full papers, and 6 pages for position papers (including figures, bibliography and appendices).
Submissions are only accepted in PDF format via the EasyChair system (https://www.easychair.org/conferences/?conf=bpcas2014). Submissions should be formatted according to the LNBIP format specified by Springer.
At least one author of each accepted paper is required to present the paper at the workshop.
CONTACT
For further information contact Anna Lavygina (a.lavygina@imperial.ac.uk)
------------------------------
Message: 2
Date: Mon, 2 Jun 2014 10:21:23 +0300
From: "Bogdan Aman" <baman@iit.tuiasi.ro>
To: DMANET@zpr.uni-koeln.de
Subject: [DMANET] MeCBIC 2014 : 2nd Call for Papers
Message-ID:
<2c1a78382b981f0fd248160e17bef84c.squirrel@iit.iit.tuiasi.ro>
Content-Type: text/plain;charset=utf-8
---------------------------------------------------------------
2nd Call for Papers
MeCBIC 2014
7th Workshop on Membrane Computing
and Biologically Inspired Process Calculi
16th September 2014, Bucharest, Romania
http://profs.info.uaic.ro/~mecbic/mecbic2014/
================================================================
IMPORTANT DATES:
*** Abstract Submission: 22 June, 2014
*** Paper Submission: 29 June, 2014
*** Notification: 9 August, 2014
*** Meeting: 16 September, 2014
================================================================
The 7th Workshop on Membrane Computing and Biologically Inspired Process
Calculi (MeCBIC 2014) will take place in Bucharest on 16th September 2014
as a related event of ICTAC 2014, the 11th International Colloquium on
Theoretical Aspects of Computing.
If your work is related to MeCBIC topics, it is now a good opportunity to
submit a paper (of about 16 pages), using the web page
http://www.easychair.org/conferences/?conf=mecbic2014.
================================================================
AIMS AND SCOPE
The modeling and the analysis of biological systems has attracted the
interest of several research communities. The main aim of the workshop is
to bring together researchers in concurrency theory, formal methods, and
related fields that are interested to present recent results and to
discuss new ideas concerning such formalisms, their properties and
relationships. We welcome contributions that address both theoretical and
applied contributions related to the relevance and potential of formal
methods in biology. Topics of interest include (but not limited to):
- Biologically inspired models and calculi (rewrite systems, process
calculi, Petri nets, etc.);
- Theoretical links and comparison of different biological inspired formal
models;
- Qualitative biological modeling;
- Quantitative formal methods;
- Modelling, analysis and simulation tools for biologically inspired systems.
The workshop proceedings will be published in the Electronic Proceedings
in Theoretical Computer Science. After the event, papers presented at the
workshop will be invited to be furtherly extended and submitted to a
special issue of a visible journal (indexed by DBLP, SCOPUS, Web of
Science, etc)
================================================================
PAST EVENTS
The first edition of MeCBIC was held in Venice in 2006 (co-located with
ICALP 2006). The second MeCBIC was held in Iasi in 2008, the third one
took place in Bologna (as a satellite event of CONCUR 2009), the forth one
in Jena, the fifth in Paris and the sixth in Newcastle. The previous
proceedings of the MeCBIC workshops have been published as ENTCS volumes
171(2) and 227 (2006 and 2008), EPTCS volumes 11, 40 and 100 (2009, 2010
and 2012), in arXiv.org in 2011. A selection of revised papers from 2008,
2009 and 2009 appeared in Theoretical Computer Science volume 431 in 2012.
================================================================
PROGRAM COMMITTEE
Bogdan Aman (co-chair) - Romanian Academy, Iasi, RO
Roberto Barbuti - University of Pisa, Italy
Luca Cardelli - Microsoft, Cambridge, UK
jane Hillston - University of Edinburgh, UK
Florentin Ipate (co-chair) - University of Bucharest, RO
Jean-Louis Giavitto - IRCAM CNRS, Paris, France
Jetty Kleijn - Leiden University, NL
Jean Krivine - University Paris 7, France
Emanuela Merelli - University of Camerino, Italy
Gethin Norman - University of Glasgow, UK
Jun Pang - University of Luxembourg, LU
Anna Philippou - University of Cyprus, Cyprus
G. Michele Pinna - University of Cagliari, Italy
Franck Pommereau - University of Evry, France
Jason Steggles - Newcastle University, UK
Gy?rgy Vaszil - University of Debrecen, Hungary
Angelo Troina - University of Torino, Italy
**********************************************************************
Additional information about the workshop can be found on the MeCBIC 2014
web page http://profs.info.uaic.ro/~mecbic/mecbic2014/.
For information regarding the workshop and other queries, you can use
the chairs email addresses: bogdan.aman@iit.academiaromana-is.ro or
baman@iit.tuiasi.ro (Bogdan Aman) or florentin.ipate@ifsoft.ro (Florentin
Ipate)
**********************************************************************
--
This message has been scanned for viruses and
dangerous content by MailScanner, and is
believed to be clean.
------------------------------
Message: 3
Date: Mon, 2 Jun 2014 08:15:24 +0000
From: Rolando TRUJILLO RASUA <rolando.trujillo@uni.lu>
To: "dmanet@zpr.uni-koeln.de" <dmanet@zpr.uni-koeln.de>
Subject: [DMANET] STM 2014: Deadline Approaching (June 13, 2014)
Message-ID: <01F62D384F520E40A4DFE22F7492406C0546909B@hoshi.uni.lux>
Content-Type: text/plain; charset="iso-8859-1"
[Apologies for multiple copies]
=======================================================================
10th International Workshop on Security and Trust Management - STM 2014
Wroclaw, Poland - September 10-11, 2014
http://stm14.uni.lu/
in conjunction with ESORICS 2014
=======================================================================
STM (Security and Trust Management) is a working group of ERCIM
(European Research Consortium in Informatics and Mathematics). STM
2014 is the tenth workshop in this series and will be held in Wroclaw,
Poland, in conjunction with the 19th European Symposium on Research in
Computer Security (ESORICS 2014). The workshop seeks submissions from
academia, industry, and government presenting novel research on all
theoretical and practical aspects of security and trust in ICTs.
Topics of interest include, but are not limited to:
- Access control
- Anonymity
- Applied cryptography
- Authentication
- Complex systems security
- Data and application security
- Data protection
- Data/system integrity
- Digital right management
- Economics of security and privacy
- E-services
- Formal methods for security and trust
- Identity management
- Legal and ethical issues
- Networked systems security
- Operating systems security
- Privacy
- Security and trust metrics
- Security and trust policies
- Security and trust management architectures
- Security and trust in cloud environments
- Security and trust in grid computing
- Security and trust in pervasive computing
- Security and trust in social networks
- Social implications of security and trust
- Trust assessment and negotiation
- Trust in mobile code
- Trust models
- Trust management policies
- Trust and reputation systems
- Trusted platforms
- Trustworthy systems and user devices
- Web services security
========================================================================
SUBMISSION INSTRUCTIONS
========================================================================
Submitted papers must not substantially overlap papers that have been
published or that are simultaneously submitted to a journal or a
conference with proceedings. All submissions should be appropriately
anonymized (i.e., papers should not contain author names or affiliations,
or obvious citations). Submissions should be at most 16 pages, including
the bibliography and well-marked appendices, and should follow the LNCS
style. Submissions are to be made to the submission web site at
https://www.easychair.org/conferences/?conf=stm2014. Only pdf files
will be accepted. Submissions not meeting these guidelines risk
rejection without consideration of their merits. Papers must be
received by the deadline of June 13, 2014 (11:59 p.m. American Samoa
time). Authors of accepted papers must guarantee that their papers
will be presented at the workshop. Pre-proceedings will be made
available at the workshop. As for previous STM events, it is planned
to have post-proceedings published by Springer in the Lecture Notes in
Computer Science (LNCS) series.
========================================================================
IMPORTANT DATES
========================================================================
Paper submission due: June 13, 2014
Notification to authors: July 21, 2014
Camera ready due: August 5, 2014
========================================================================
PROGRAM CHAIRS
========================================================================
Christian Damsgaard Jensen - Technical University of Denmark
Sjouke Mauw - University of Luxembourg
========================================================================
PROGRAM COMMITTEE
========================================================================
Gildas Avoine - IRISA Rennes and Universit? Catholique de Louvain
Rafael Accorsi - University of Freiburg
Cas Cremers - University of Oxford
Jorge Cu?llar - Siemens AG, Corporate Technology
Christian Damsgaard Jensen - Technical University of Denmark
Sabrina De Capitani di Vimercati - Universit? degli Studi di Milano
Roberto Di Pietro - Roma Tre University of Rome
Josep Domingo-Ferrer - Universitat Rovira i Virgili
M. Carmen Fern?ndez Gago - University of Malaga
Simone Fischer-H?bner - Karlstad University
Sara Foresti - Universit? degli Studi di Milano
Sascha Hauke - Technische Universit?t Darmstadt
Michael Huth - Imperial College London
Bart Jacobs - Radboud University Nijmegen
Martin Johns - SAP Research
G?nter Karjoth - IBM Research, Zurich
Dogan Kesdogan - Universit?t Regensburg
Marek Klonowski - Wroclaw University of Technology
Giovanni Livraga - Universit? degli Studi di Milano
Javier Lopez - University of Malaga
Yang Liu - Nanyang Technological University
Fabio Martinelli - Istituto di Informatica e Telematica
Sjouke Mauw - University of Luxembourg
Catherine Meadows - Naval Research Laboratory
Pierangela Samarati - Universit? degli Studi di Milano
Silvio Ranise - Fondazione Bruno Kessler
Jan-Philipp Stegh?fer - Augsburg University
Rolando Trujillo-Rasua - University of Luxembourg
Micha?l Rusinowitch - INRIA Nancy-Grand Est
Jie Zhang - Nanyang Technological University
========================================================================
CONFERENCE WEB PAGE
========================================================================
http://stm14.uni.lu/
------------------------------
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 2
*************************************
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. Extended deadline BPCAS 2014: Business Processes in
Collective Adaptive Systems (Deadline extended to June 8)
(Lavygina, Anna)
2. MeCBIC 2014 : 2nd Call for Papers (Bogdan Aman)
3. STM 2014: Deadline Approaching (June 13, 2014)
(Rolando TRUJILLO RASUA)
----------------------------------------------------------------------
Message: 1
Date: Sun, 1 Jun 2014 20:44:00 +0000
From: "Lavygina, Anna" <a.lavygina@imperial.ac.uk>
To: "dmanet@zpr.uni-koeln.de" <dmanet@zpr.uni-koeln.de>
Subject: [DMANET] Extended deadline BPCAS 2014: Business Processes in
Collective Adaptive Systems (Deadline extended to June 8)
Message-ID: <DEFC33F3-5F98-4B91-ACAF-92120ABFBDFF@imperial.ac.uk>
Content-Type: text/plain; charset="Windows-1252"
CALL FOR PAPERS
Business Processes in Collective Adaptive Systems
(BPCAS 2014)
September 8, 2014, Haifa, Israel
In conjunction with the 12th International Conference on Business Process Management (BPM 2014)
Submission deadline (extended): 8 June 2014
http://www.bpcas.org
ABOUT THE WORKSHOP
BPCAS is a new workshop focusing on all topics related to Collective Adaptive Systems (CAS). It aims to provide a high-quality forum for the presentation of developments in CASs and for bringing together researchers and practitioners from diverse disciplines interested in CASs both within the business process community and outside. The latter are particularly welcome to submit to the workshop.
Topics of interest include:
* business process modeling for CAS
* collective configuration of business processes in CAS
* context/knowledge-aware business processes in CAS
* adaptation and evolution in CAS
* formal methods for CAS
* distribution and mobility in CAS
* big data in CAS
* process similarity and emergent properties of CAS
* security and privacy in CAS
* machine learning and data mining techniques for CAS
* optimization of CAS
* frameworks, tools and programming paradigms for CAS
* usability aspects of CAS
* case studies and scenarios
Accepted papers will be published by Springer as a post-workshop proceedings volume in the series Lecture Notes in Business Information Processing (LNBIP). In addition authors of the best papers will be invited to submit a revised and extended version of their paper to a special issue of the IET Software journal. The workshop is sponsored by the EU?s Fundamentals of Collective Adaptive Systems programme initiative (http://focas.eu/about-focas/).
IMPORTANT DATES
Submission deadline (extended): June 8, 2014
Author notification: July 1, 2014
Camera-ready submission: July 23, 2014
Workshop date: September 8, 2014
KEYNOTE SPEAKER
Manfred Reichert, Universit?t Ulm, Germany
WORKSHOP ORGANISATION
Organisers
Antonio Bucchiarone, Fondazione Bruno Kessler, Italy
Naranker Dulay, Imperial College London, UK
Dimka Karastoyanova, University of Stuttgart, Germany
Anna Lavygina, Imperial College London, UK
Adnan Tariq, University of Stuttgart, Germany
Program Committee
Vasilios Andrikopoulos, University of Stuttgart, Germany
Salima Benbernou, Universit? Paris Descartes, France
Marina Bitsaki, University of Crete, Greece
Alexei Lapouchnian, University of Toronto, Canada
Kim Larsen, Aalborg University, Denmark
Lior Limonad, IBM Haifa, Israel
Christos Nikolaou, University of Crete, Greece
Francisco Pereira, SMART-MIT, Singapore
Marco Pistore, Fondazione Bruno Kessler, Italy
Manfred Reichert, Universit?t Ulm, Germany
Kurt Rothermel, University of Stuttgart, Germany
Alessandra Russo, Imperial College, UK
Nikola Serbedija, Fraunhofer FIRST, Germany
Pnino Soffer, University of Haifa, Israel
Arnon Sturm, Ben-Gurion University of the Negev, Israel
Yury Tsoy, Institut Pasteur Korea, South Korea
Ingo Weber, NICTA, Australia
PAPER SUBMISSION DETAILS
We invite submissions in two forms: full papers and position papers. Submitted papers must be written in English, should not have been submitted for review or published elsewhere, and should not exceed 12 pages for full papers, and 6 pages for position papers (including figures, bibliography and appendices).
Submissions are only accepted in PDF format via the EasyChair system (https://www.easychair.org/conferences/?conf=bpcas2014). Submissions should be formatted according to the LNBIP format specified by Springer.
At least one author of each accepted paper is required to present the paper at the workshop.
CONTACT
For further information contact Anna Lavygina (a.lavygina@imperial.ac.uk)
------------------------------
Message: 2
Date: Mon, 2 Jun 2014 10:21:23 +0300
From: "Bogdan Aman" <baman@iit.tuiasi.ro>
To: DMANET@zpr.uni-koeln.de
Subject: [DMANET] MeCBIC 2014 : 2nd Call for Papers
Message-ID:
<2c1a78382b981f0fd248160e17bef84c.squirrel@iit.iit.tuiasi.ro>
Content-Type: text/plain;charset=utf-8
---------------------------------------------------------------
2nd Call for Papers
MeCBIC 2014
7th Workshop on Membrane Computing
and Biologically Inspired Process Calculi
16th September 2014, Bucharest, Romania
http://profs.info.uaic.ro/~mecbic/mecbic2014/
================================================================
IMPORTANT DATES:
*** Abstract Submission: 22 June, 2014
*** Paper Submission: 29 June, 2014
*** Notification: 9 August, 2014
*** Meeting: 16 September, 2014
================================================================
The 7th Workshop on Membrane Computing and Biologically Inspired Process
Calculi (MeCBIC 2014) will take place in Bucharest on 16th September 2014
as a related event of ICTAC 2014, the 11th International Colloquium on
Theoretical Aspects of Computing.
If your work is related to MeCBIC topics, it is now a good opportunity to
submit a paper (of about 16 pages), using the web page
http://www.easychair.org/conferences/?conf=mecbic2014.
================================================================
AIMS AND SCOPE
The modeling and the analysis of biological systems has attracted the
interest of several research communities. The main aim of the workshop is
to bring together researchers in concurrency theory, formal methods, and
related fields that are interested to present recent results and to
discuss new ideas concerning such formalisms, their properties and
relationships. We welcome contributions that address both theoretical and
applied contributions related to the relevance and potential of formal
methods in biology. Topics of interest include (but not limited to):
- Biologically inspired models and calculi (rewrite systems, process
calculi, Petri nets, etc.);
- Theoretical links and comparison of different biological inspired formal
models;
- Qualitative biological modeling;
- Quantitative formal methods;
- Modelling, analysis and simulation tools for biologically inspired systems.
The workshop proceedings will be published in the Electronic Proceedings
in Theoretical Computer Science. After the event, papers presented at the
workshop will be invited to be furtherly extended and submitted to a
special issue of a visible journal (indexed by DBLP, SCOPUS, Web of
Science, etc)
================================================================
PAST EVENTS
The first edition of MeCBIC was held in Venice in 2006 (co-located with
ICALP 2006). The second MeCBIC was held in Iasi in 2008, the third one
took place in Bologna (as a satellite event of CONCUR 2009), the forth one
in Jena, the fifth in Paris and the sixth in Newcastle. The previous
proceedings of the MeCBIC workshops have been published as ENTCS volumes
171(2) and 227 (2006 and 2008), EPTCS volumes 11, 40 and 100 (2009, 2010
and 2012), in arXiv.org in 2011. A selection of revised papers from 2008,
2009 and 2009 appeared in Theoretical Computer Science volume 431 in 2012.
================================================================
PROGRAM COMMITTEE
Bogdan Aman (co-chair) - Romanian Academy, Iasi, RO
Roberto Barbuti - University of Pisa, Italy
Luca Cardelli - Microsoft, Cambridge, UK
jane Hillston - University of Edinburgh, UK
Florentin Ipate (co-chair) - University of Bucharest, RO
Jean-Louis Giavitto - IRCAM CNRS, Paris, France
Jetty Kleijn - Leiden University, NL
Jean Krivine - University Paris 7, France
Emanuela Merelli - University of Camerino, Italy
Gethin Norman - University of Glasgow, UK
Jun Pang - University of Luxembourg, LU
Anna Philippou - University of Cyprus, Cyprus
G. Michele Pinna - University of Cagliari, Italy
Franck Pommereau - University of Evry, France
Jason Steggles - Newcastle University, UK
Gy?rgy Vaszil - University of Debrecen, Hungary
Angelo Troina - University of Torino, Italy
**********************************************************************
Additional information about the workshop can be found on the MeCBIC 2014
web page http://profs.info.uaic.ro/~mecbic/mecbic2014/.
For information regarding the workshop and other queries, you can use
the chairs email addresses: bogdan.aman@iit.academiaromana-is.ro or
baman@iit.tuiasi.ro (Bogdan Aman) or florentin.ipate@ifsoft.ro (Florentin
Ipate)
**********************************************************************
--
This message has been scanned for viruses and
dangerous content by MailScanner, and is
believed to be clean.
------------------------------
Message: 3
Date: Mon, 2 Jun 2014 08:15:24 +0000
From: Rolando TRUJILLO RASUA <rolando.trujillo@uni.lu>
To: "dmanet@zpr.uni-koeln.de" <dmanet@zpr.uni-koeln.de>
Subject: [DMANET] STM 2014: Deadline Approaching (June 13, 2014)
Message-ID: <01F62D384F520E40A4DFE22F7492406C0546909B@hoshi.uni.lux>
Content-Type: text/plain; charset="iso-8859-1"
[Apologies for multiple copies]
=======================================================================
10th International Workshop on Security and Trust Management - STM 2014
Wroclaw, Poland - September 10-11, 2014
http://stm14.uni.lu/
in conjunction with ESORICS 2014
=======================================================================
STM (Security and Trust Management) is a working group of ERCIM
(European Research Consortium in Informatics and Mathematics). STM
2014 is the tenth workshop in this series and will be held in Wroclaw,
Poland, in conjunction with the 19th European Symposium on Research in
Computer Security (ESORICS 2014). The workshop seeks submissions from
academia, industry, and government presenting novel research on all
theoretical and practical aspects of security and trust in ICTs.
Topics of interest include, but are not limited to:
- Access control
- Anonymity
- Applied cryptography
- Authentication
- Complex systems security
- Data and application security
- Data protection
- Data/system integrity
- Digital right management
- Economics of security and privacy
- E-services
- Formal methods for security and trust
- Identity management
- Legal and ethical issues
- Networked systems security
- Operating systems security
- Privacy
- Security and trust metrics
- Security and trust policies
- Security and trust management architectures
- Security and trust in cloud environments
- Security and trust in grid computing
- Security and trust in pervasive computing
- Security and trust in social networks
- Social implications of security and trust
- Trust assessment and negotiation
- Trust in mobile code
- Trust models
- Trust management policies
- Trust and reputation systems
- Trusted platforms
- Trustworthy systems and user devices
- Web services security
========================================================================
SUBMISSION INSTRUCTIONS
========================================================================
Submitted papers must not substantially overlap papers that have been
published or that are simultaneously submitted to a journal or a
conference with proceedings. All submissions should be appropriately
anonymized (i.e., papers should not contain author names or affiliations,
or obvious citations). Submissions should be at most 16 pages, including
the bibliography and well-marked appendices, and should follow the LNCS
style. Submissions are to be made to the submission web site at
https://www.easychair.org/conferences/?conf=stm2014. Only pdf files
will be accepted. Submissions not meeting these guidelines risk
rejection without consideration of their merits. Papers must be
received by the deadline of June 13, 2014 (11:59 p.m. American Samoa
time). Authors of accepted papers must guarantee that their papers
will be presented at the workshop. Pre-proceedings will be made
available at the workshop. As for previous STM events, it is planned
to have post-proceedings published by Springer in the Lecture Notes in
Computer Science (LNCS) series.
========================================================================
IMPORTANT DATES
========================================================================
Paper submission due: June 13, 2014
Notification to authors: July 21, 2014
Camera ready due: August 5, 2014
========================================================================
PROGRAM CHAIRS
========================================================================
Christian Damsgaard Jensen - Technical University of Denmark
Sjouke Mauw - University of Luxembourg
========================================================================
PROGRAM COMMITTEE
========================================================================
Gildas Avoine - IRISA Rennes and Universit? Catholique de Louvain
Rafael Accorsi - University of Freiburg
Cas Cremers - University of Oxford
Jorge Cu?llar - Siemens AG, Corporate Technology
Christian Damsgaard Jensen - Technical University of Denmark
Sabrina De Capitani di Vimercati - Universit? degli Studi di Milano
Roberto Di Pietro - Roma Tre University of Rome
Josep Domingo-Ferrer - Universitat Rovira i Virgili
M. Carmen Fern?ndez Gago - University of Malaga
Simone Fischer-H?bner - Karlstad University
Sara Foresti - Universit? degli Studi di Milano
Sascha Hauke - Technische Universit?t Darmstadt
Michael Huth - Imperial College London
Bart Jacobs - Radboud University Nijmegen
Martin Johns - SAP Research
G?nter Karjoth - IBM Research, Zurich
Dogan Kesdogan - Universit?t Regensburg
Marek Klonowski - Wroclaw University of Technology
Giovanni Livraga - Universit? degli Studi di Milano
Javier Lopez - University of Malaga
Yang Liu - Nanyang Technological University
Fabio Martinelli - Istituto di Informatica e Telematica
Sjouke Mauw - University of Luxembourg
Catherine Meadows - Naval Research Laboratory
Pierangela Samarati - Universit? degli Studi di Milano
Silvio Ranise - Fondazione Bruno Kessler
Jan-Philipp Stegh?fer - Augsburg University
Rolando Trujillo-Rasua - University of Luxembourg
Micha?l Rusinowitch - INRIA Nancy-Grand Est
Jie Zhang - Nanyang Technological University
========================================================================
CONFERENCE WEB PAGE
========================================================================
http://stm14.uni.lu/
------------------------------
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 2
*************************************
dmanet Digest, Vol 76, Issue 1
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
*************************************
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
*************************************
Subscribe to:
Posts (Atom)