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. CfP: Workshop SNR collocated with CPSWeek 2016 (Sergiy Bogomolov)
2. Junior professor position "Efficient Algorithms" at TU Berlin
(deadline 28/04/2016) (Rolf Niedermeier)
3. computational optimization (Stefka Fidanova)
4. CALL FOR PAPERS: ICAMIS-Oman-2016 (Chefi Triki)
5. DISC 2016 -- FIRST CALL FOR PAPERS (Swan Dubois)
----------------------------------------------------------------------
Message: 1
Date: Wed, 16 Mar 2016 17:27:22 +0100
From: Sergiy Bogomolov <bogom.s@gmail.com>
To: DMANET@zpr.uni-koeln.de
Subject: [DMANET] CfP: Workshop SNR collocated with CPSWeek 2016
Message-ID:
<CAAZpL9gpS-=iwMTrwYn6qgRk_NiCt_ChUG42QM-o2Ug0zwp17g@mail.gmail.com>
Content-Type: text/plain; charset=UTF-8
CALL FOR PARTICIPATION
SNR 2016
========
2nd International Workshop on Symbolic and Numerical Methods for
Reachability Analysis
April 11th, 2016, Vienna, Austria
Affiliated with CPSWeek 2016
https://snr2016.pages.ist.ac.at/
Topics
=====
The scope of the workshop includes, but is not restricted to, the
following topics:
- Reachability analysis approaches for hybrid systems
- Flow-pipe construction; symbolic state set representations
- Trajectory generation from symbolic paths; counterexample computation
- Abstraction techniques for hybrid systems
- Reliable integration
- Decision procedures for real arithmetic
- Automated deduction
- Logics to reason about hybrid systems
- Reachability analysis for planning and synthesis
- Domain-specific approaches in biology, robotics, etc.
- Stochastic/probabilistic hybrid systems
- Tools, benchmarks, and case studies
Registration
==========
http://www.cpsweek.org/2016/reg.html
Early registration deadline: *March 18, 2016*
Invited talks
============
Stylianos Basagiannis (United Technologies Research Center, Ireland)
Formal Verification towards Software Safety-Critical Certification of
Airborne Systems under DO-178C
Thao Dang (Verimag, France)
Template Complex Zonotopes: A New Set Representation for Verification
of Hybrid Systems
Walid Taha (Halmstad University, Sweden)
Accurate Rigorous Simulation Should be Possible for Good Designs
Program
========
9:00-10:30 Session 1: Validated simulation
9:00-10:00 Invited talk
Walid Taha (joint work with Adam Duracz and Ference Bartha).
Accurate Rigorous Simulation Should be Possible for Good Designs
10:00-10:30
Adrien Le Coent, Julien Alexandre Dit Sandretto, Alexandre Chapoutot
and Laurent Fribourg.
Control of Nonlinear Switched Systems Based on Validated Simulation
11:00-12:30 Session 2: Formal methods in industry
11:00-12:00 Invited talk
Stylianos Basagiannis.
Software Certification of Airborne Cyber-Physical Systems under DO-178C
12:00-12:30 Podium discussion
Formal Methods: Bridging the Gap Between Academic and Industrial Research
14:00-15:30 Session 3: Reachability analysis
14:00-15:00 Invited talk
Thao Dang (joint work with Santosh Arvind Adimoolam).
Template complex zonotopes: A new set representation for
verification of hybrid systems
15:00-15:30
Stefan Ratschan.
Computing ODE-barriers in Hyper-rectangles
16:00-17:30 Session 4: Discrete-time and probabilistic systems
16:00-16:30
Riccardo Vignali and Maria Prandini.
Model reduction of discrete time hybrid systems: A structural
approach based on observability
16:30-17:00
Yang Gao and Martin Fränzle.
CSiSAT: A Satisfiability Solver for SMT Formulas with Continuous
Probability Distributions
17:00-17:30
Kristóf Marussy, Attila Klenik, Vince Molnár, András Vörös, Miklos
Telek and Istvan Majzik.
Configurable Numerical Analysis for Stochastic Systems
------------------------------
Message: 2
Date: Wed, 16 Mar 2016 21:01:59 +0100
From: Rolf Niedermeier <rolf.niedermeier@tu-berlin.de>
To: dmanet@zpr.uni-koeln.de
Subject: [DMANET] Junior professor position "Efficient Algorithms" at
TU Berlin (deadline 28/04/2016)
Message-ID: <56E9BBB7.6020407@tu-berlin.de>
Content-Type: text/plain; charset=ISO-8859-1; format=flowed
Technische Universität Berlin
Faculty IV - Electrical Engineering and Computer Science
Department of Software Engineering and Theoretical Computer Science
offers an open position of a
Junior professor - salary grade W1 -
in the field of "Efficient Algorithms".
Reference number: IV-68/16
(starting at the earliest possible / to be filled as soon
as possible for a period of 3 years;
an extension of 3 more years is possible after successful evaluation /
closing date for applications 28/04/16)
Working field: The position includes teaching duties in the Bachelor and
Master programs "Computer Science", "Computer Engineering", and
"Information Systems Engineering and Management". In addition, an active
participation in Berlin's algorithmic research (in particular concerning
successful grant application, cooperations, committee work, regular
publications) is expected.
Requirements: Candidates must meet the requirements of the Berlin Higher
Education Act (§102a BerlHG)
(the information leaflet will be forwarded upon request), including a
completed academic education, qualified achievements in research,
usually proven by an outstanding doctoral thesis (PhD),
educational and didactic competences. We are seeking a scientist with
a PhD and expertise in the theoretical study of algorithms or a closely
related area. Applicants should have a strong scientific track record
witnessed by publications in peer-reviewed journals
and conferences related to algorithmic research.
Applicants should be experts in one of the following research areas or
in a related field:
* algorithm engineering,
* algorithms for massive data (in particular streaming algorithms),
* algorithmic game theory,
* approximation and online algorithms,
* data structures,
* graph algorithms,
* parameterized algorithms,
* randomized algorithms.
In addition, knowledge in one or more areas of applied computer science
is favourable, for example in
* bioinformatics,
* computational social choice,
* data mining,
* machine learning,
* social network analysis.
Technische Universität Berlin strives to increase the proportion of
women in research and teaching and therefore
strongly encourages qualified female researchers to apply. Qualified
individuals with disabilities will be favored.
Technische Universität Berlin is a certified family-friendly higher
education institution, and our Dual Career Service offers assistance to
you and your family when relocating to Berlin.
Please send your written application with the reference number and the
usual documents (including a CV listing publications, teaching
experience etc., copies of academic degrees,
as well as copies of up to five selected publications)
until 28/04/2016 to
Technische Universität Berlin - Der Präsident -, Dekan der Fakultät IV,
Sekr. MAR 6-1, Marchstr. 23,
D-10587 Berlin, Germany
or by email to bianca.hahn@tu-berlin.de
Please send copies only. Original documents will not be returned.
The vacancy is also available on the internet at
http://www.personalabteilung.tu-berlin.de/menue/jobs/
------------------------------
Message: 3
Date: Thu, 17 Mar 2016 10:15:00 +0200
From: Stefka Fidanova <stefka.fidanova@gmail.com>
To: dmanet@zpr.uni-koeln.de
Subject: [DMANET] computational optimization
Message-ID:
<CAAL360tug94BKrdZ9CPaSmx80Vcjq=AQwjvNsZfQNauZ+x1yvw@mail.gmail.com>
Content-Type: text/plain; charset=UTF-8
------------
Call for Papers
9th International Workshop on Computational Optimization (WCO 2016)
Gdansk, Poland, September 11 - 14, 2016)
organized in the framework of FEDERATED CONFERENCE ON COMPUTER SCIENCE
AND INFORMATION SYSTEMS
FedCSIS - 2016
====================
We invite original contributions related with both theoretical and
practical aspects of optimization methods.
The list of topics includes, but is not limited to:
* unconstrained and constrained optimization
* combinatorial optimization
* continues optimization
* global optimization
* multiobjective optimization
* optimization in dynamic and/or noisy environments
* large scale optimization
* parallel and distributed approaches in optimization
* random search algorithms, simulated annealing, tabu search and other
derivative free optimization methods
* nature inspired optimization methods (evolutionary algorithms, ant
colony optimization, particle swarm optimization, immune artificial
systems etc)
* hybrid optimization algorithms involving natural computing
techniques and other global and local optimization methods
*computational biology and optimization
* distance geometry and applications
* optimization methods for learning processes and data mining
* application of optimization methods on real life and industrial problems
* computational optimization methods in statistics, econometrics,
finance, physics, chemistry, biology, medicine, engineering etc.
====================
Important dates:
18.04.2016 (April 18, 2016) – Full paper submission
30.05.2016 (May 30, 2016) - Position paper submission
13.06.2016 (June 13, 2016) – Notification of acceptance
04.07.2016 (July 04, 2016) – Camera-ready version of the accepted paper
====================
Submission and Publication
* Authors should submit draft papers as PDF.
* The total length of a paper should not exceed 10 pages for full
paper and 4 pages for short papers (IEEE style). IEEE style templates
are available at http://www.fedcsis.org/.
* Papers will be refereed and accepted on the basis of their
scientific merit and relevance to the workshop.
* Accepted and Presented paper will be published in the Conference
Proceedings and included in the IEEE Xplore database (pending) and
indexed in the DBLP.
* Extended versions of selected papers presented during the conference
will be published as Special Issue(s) of Springer Studies of
Computational Intelligence.
====================
If you have any question do not hesitate to send a mail to wco2016@fedcsis.org .
Organizing Committee
Stefka Fidanova, Bulgarian Academy of Science, Bulgaria
Daniela Zaharie, West University of Timisoara, Romania
Antonio Mucherino, IRISA, France
--
Assoc. Prof. Stefka Fidanova
IICT-BAS
Acad. G. Bonchev str. bl.25A
1113 Sofia Bulgaria
Ph. +359-2-9796642
------------------------------
Message: 4
Date: Thu, 17 Mar 2016 10:49:04 +0100
From: "Chefi Triki" <chefi.triki@unisalento.it>
To: DMANET@zpr.uni-koeln.de
Subject: [DMANET] CALL FOR PAPERS: ICAMIS-Oman-2016
Message-ID:
<31def0d1d390c286bd36750150645650.squirrel@webmail.unisalento.it>
Content-Type: text/plain;charset=iso-8859-1
=========================================================================
International Conference on Applied Mechanics and Industrial Systems
(ICAMIS-Oman-2016)
Muscat--Oman, 6-8 December 2016.
http://conference.squ.edu.om/ICAMIS-OMAN
========================================================================
The main objective of ICAMIS-Oman is to provide an international forum for
communicating the most recent advances in the fields of Applied Mechanics
and Industrial Systems to delegates from industry, research organizations,
and academia. The official language of the conference is English.
CONFERENCE VENUE
All sessions of ICAMIS-Oman-2016 will be held at the picturesque campus of
Sultan Qaboos University, located about 15km from Muscat International
Airport.
KEYNOTE SPEAKERS
* Prof. Heshmat A. Aglan, Tuskegee University, USA
* Prof. Teodor Gabriel Crainic, Universite du Quebec a Montreal, Canada
* Prof. Ibrahim Dincer, University of Ontario, Canada
SCOPE
Original papers are invited from all areas of Applied Mechanics and
Industrial Systems, including (but not limited to) the following. more
details are available at the conference website.
Applied Mechanics:
- Applied Mechanics and Design
- Dynamics and Control
- Materials and Manufacturing
- Thermo-Fluids Engineering
Industrial Systems;
- Decision Making in Industry and Services
- Logistics and Supply Chain Management
- Optimization Models and Algorithms
- Sustainability and Production
PUBLICATION
All conference papers and abstracts will be published in the
ICAMIS-Oman-2016 Proceedings (soft copy). Authors of selected papers
presented at the conference will be requested to submit extended versions
of their papers to be published in special issues of the following
international journals:
- Journal of Elastomers and Plastics? (ISI indexed)
- EURO Journal on Transportation and Logistics (Journal of the
Association of European Operations Research Societies)
- The Journal of Engineering Research (Scopus indexed)
Other journal names may be announced shortly
GUIDELINES FOR SUBMISSION
To be considered for conference attendance and paper presentation, please
submit an extended abstract (2 pages) or a full paper (4-6 pages) by the
deadline given below. Selected papers will be also considered for
publication in special issues of International Journals. Guidelines for
preparation of Extended Abstract and Full Paper are available on the
conference website.
IMPORTANT DATES
Submission of Extended Abstract or Full Paper: 17 May 2016
Notification of acceptance: 17 July 2016
Submission of camera-ready Extended Abstract/Full Paper: 17 October 2016
ABOUT MUSCAT AND OMAN
The Sultanate of Oman is a beautiful and scenic country in the Gulf region.
Desert safaris, ocean cruises, historical sites, variety of local and
international cuisines, and warm and hospitable people lure hordes of
tourists each year. December is high touristic season in Oman and the
weather is generally moderate in the capital city of Muscat, typical
daytime temperature being 27C (81F). For more information, please check
out the following websites:
http://www.omantourism.gov.om;
http://www.oman.org/tourism.htm;
http://www.destinationoman.com
CONTACT US
For any enquiries or more information, please drop us an email at:
ICAMIS2016@squ.edu.om.
------------------------------
Message: 5
Date: Thu, 17 Mar 2016 14:33:12 +0100
From: Swan Dubois <swan.dubois@lip6.fr>
To: dmanet@zpr.uni-koeln.de
Subject: [DMANET] DISC 2016 -- FIRST CALL FOR PAPERS
Message-ID: <56EAB218.9090909@lip6.fr>
Content-Type: text/plain; charset=utf-8; format=flowed
======================================================
DISC 2016 -- FIRST CALL FOR PAPERS
30th International Symposium on Distributed Computing
September 26-29, 2016, Paris, France
www.disc-conference.org/wp/disc2016
======================================================
DISC is the International Symposium on Distributed Computing, organized
in cooperation with the European Association for Theoretical Computer
Science (EATCS).
---------------
Important Dates
---------------
Abstract Registration : May 3, 2016 (AoE)
Paper Submission : May 10, 2016 (AoE)
Notification : July 7, 2016
Camera-Ready Submission : July 20, 2016
Conference : September 26--29, 2016
-----
Scope
-----
Original contributions to theory, design, implementation, modeling,
analysis, or application of distributed systems and networks are
solicited. Topics of interest include, but are not limited to:
- Distributed algorithms; correctness and complexity
- Concurrency, synchronization, and transactional memory
- Distributed operating systems, middleware, database systems
- Self-stabilizing, self-organizing, and autonomous systems
- Wireless, mobile, sensor and ad-hoc networks
- Fault tolerance, reliability, availability
- Game-theoretic approaches to distributed computing
- Specification, verification, and testing: tools, methodologies
- Networks: protocols, architectures, services, applications
- Multiprocessor and multicore architectures and algorithms
- System on chip and network on chip architectures
- Security in distributed computing, cryptographic protocols
- Distributed computing issues in the Internet and the Web
- Cloud and peer-to-peer computing
- Software-defined networking and network functions virtualization
- Mobile agents and autonomous robots
----------
Submission
----------
Papers are to be submitted electronically, following the guidelines on
the conference web page. Submissions must be in English, in .pdf format,
and begin with a cover page (not a cover letter) including: (1) title,
(2) authors' names and affiliations, (3) contact author's email address,
(4) a short abstract of the paper, (5) indication of whether this is a
regular paper or a brief announcement, and (6) indication of whether the
paper is eligible for the best student paper award.
A submission for a ***regular presentation*** must report on original
research that has not previously appeared, and has not been concurrently
submitted to a journal or conference with published proceedings. Any
overlap with a published or concurrently submitted paper must be clearly
indicated. A regular submission must not exceed 10 single-column pages
using at least 11 point font on letter paper (excluding cover page and
references). Authors are expected to include all the ideas necessary for
an expert to verify the central claims in the paper. If necessary, the
details may appear in a clearly marked appendix, which will be read at
the discretion of the program committee.
A ***brief announcement*** submission must not exceed 2 pages in the
same format. The material in brief announcements can be published in
other conferences. Submissions not conforming to these rules and papers
outside of the scope of the conference will be rejected without
consideration. If requested by the authors on the cover page, a regular
submission that is not selected for a regular presentation can be
considered for the brief announcements track. Such a request will not
affect consideration of the paper for a regular presentation.
-----------
Publication
-----------
The proceedings will be published as a volume in the ARCoSS Springer
Lecture Notes in Computer Science series. Camera-ready versions of
accepted papers must be submitted in the LNCS format. Accepted papers
must be presented by one of the paper's authors, at the conference site,
and according to the final schedule. Any paper accepted into the
technical program but not presented on-site will be withdrawn from the
official proceedings archived on Springer.
------
Awards
------
Awards will be given to the best paper and the best student paper. To be
eligible for the best student paper award at least one of the paper
authors must be a full-time student at the time of submission, and the
student(s) must have made a significant contribution to the paper.
-----------------
Program Committee
-----------------
Silvia Bonomi, Sapienza Università di Roma, Italy
Carole Delporte-Gallet, Paris-Diderot University, France
Swan Dubois, UPMC Sorbonne Universités, France
Michael Elkin, Ben-Gurion University of the Negev, Israel
Godard Emmanuel, Aix-Marseille University, France
Panagiota Fatourou, FORTH ICS & Crete University, Greece
Pascal Felber, Neuchâtel University, Switzerland
Paola Flocchini, Ottawa University, Canada
Cyril Gavoille (chair), Bordeaux University, France
Chryssis Georgiou, Cyprus University, Cyprus
Seth Gilbert, National University of Singapore, Singapore
Vincent Gramoli, Sydney University, Australia
Rachid Guerraoui, Ecole Polytechnique Fédérale de Lausanne, Switzerland
Magnús M. Halldórsson, Reykjavik University, Island
David Ilcinkas, CNRS & Bordeaux University, France
Matthew P. Johnson, CUNY Graduate Center, USA
Christoph Lenzen, MPI for Informatics, Germany
Toshimitsu Masuzawa, Osaka University, Japan
Mikhail Nesterenko, Kent State University, USA
Paolo Penna, Swiss Federal Institute of Technology in Zurich,
Switzerland
Luís Rodrigues, Lisbona University, Portugal
Elad M. Schiller, Chalmers University, Sweden
Johannes Schneider, ABB Corp. Research, Switzerland
Christian Sommer, Apple Inc., USA
Jennifer L. Welch Texas A&M University, USA
Philipp Woelfel, Calgary University, Canada
--------------------
Organizing Committee
--------------------
Lélia Blin (logistic chair), Evry University, France
Swan Dubois (publicity chair), UPMC Sorbonne Universités, France
David Ilcinkas (proceedings chair), CNRS & Bordeaux University, France
Colette Johnen (workshop chair), Bordeaux University, France
Petr Kouznetsov (sponsoring chair) Telecom ParisTech, France
Maria Potop-Butucaru (general chair), UPMC Sorbonne Universités, France
Stéphane Rovedakis (web chair), Conservatoire National des Arts et
Métiers, France
------------------
Steering Committee
------------------
Roberto Baldoni, Sapienza Università di Roma, Italy
Keren Censor-Hillel, Technion, Israel
Shlomi Dolev (chair), Ben-Gurion University of the Negev, Israel
Cyril Gavoille, Bordeaux University, France
Fabian Kuhn, Freiburg University, Germany
Yoram Moses, Technion, Israel
Achour Mostefaoui, Nantes University, France
-------------------
Contact Information
-------------------
If you have any question about the CFP and paper submission, please
email to gavoille@labri.fr.
-------------------
Swan DUBOIS
UPMC Sorbonne Universités
DISC 2016 Publicity Chair
------------------------------
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 97, Issue 20
**************************************
No comments:
Post a Comment