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. PhD/project position at TU Chemnitz in Discrete and,
Algorithmic Mathematics (Christoph Helmberg)
2. ISDA 2014 - Final CFP - IEEE - Okinawa, Japan (Ajith Abraham)
3. NetSys 2015 - Deadline Extension (Andreas Paul)
4. SCSS 2014: Call for short and work-in-progress papers
(Temur Kutsia)
----------------------------------------------------------------------
Message: 1
Date: Fri, 29 Aug 2014 16:17:51 +0200
From: Christoph Helmberg <helmberg@mathematik.tu-chemnitz.de>
To: dmanet@zpr.uni-koeln.de
Subject: [DMANET] PhD/project position at TU Chemnitz in Discrete and,
Algorithmic Mathematics
Message-ID: <54008B8F.3030605@mathematik.tu-chemnitz.de>
Content-Type: text/plain; charset=ISO-8859-1; format=flowed
At the Department of Mathematics of Technische Universitaet Chemnitz a
PhD position is available in the Algorithmic and Discrete Mathematics
group in the project
"Operational Train Timetabling for Energy Efficient Schedules"
within the joint BMBF-project "Energy Efficient Mobility" (E-Motion)
starting as soon as possible (from 01.10.2014 onwards, the project
ends on 31.03.2016) at the level
Wissenschaftlicher Mitarbeiter/Wissenschaftliche Mitarbeiterin
(75%, Entgeltgruppe 13 TV-L)
The position is subject to the usual regulations according to Saxonian
law. The official German announcement is available on
http://www.tu-chemnitz.de/verwaltung/personal/stellen/221033_5_Ar.php
Applicants should have completed their studies at least at master level
in a program with strong mathematical background in convex and discrete
optimization and have strong programming skills in C++ or comparable.
The project focuses on the scientific development, investigation and
algorithmic implementation of mathematical models for energy efficient
train timetabling. Starting point are time discretized network models of
train rides decoupled by Langrangian relaxation. The project aims at
exploring possibilities for dynamic discretization techniques and for
reducing energetic peak loads. The topic is intended for advancing the
scientific qualification of the applicant towards a PhD or beyond.
Applications should refer to the official announcement and should be
directed electronically or by standard mail before 12.09.2014 (but
applications will be considered as long as the position is still free) to
Prof. Dr. Christoph Helmberg
Technische Universitaet Chemnitz
Fakultaet fuer Mathematik
Reichenhainer Str. 39/41
09126 Chemnitz
Phone: 0371 531 34122
Email:helmberg@mathematik.tu-chemnitz.de
------------------------------
Message: 2
Date: Sun, 31 Aug 2014 23:08:13 +0300
From: Ajith Abraham <ajith.abraham@ieee.org>
To: dmanet <dmanet@zpr.uni-koeln.de>
Subject: [DMANET] ISDA 2014 - Final CFP - IEEE - Okinawa, Japan
Message-ID:
<CAGkggF7wxomvBVsPCVf8tmfNVKiPCsDffDkqr-dwBysAxhayKw@mail.gmail.com>
Content-Type: text/plain; charset=ISO-8859-1
* ISDA 2014- Final Call for Papers *
Fourteen International Conference on Intelligent Systems Design and
Applications (ISDA 2014)
27-30 November 2014
Okinawa, Japan
http://www.mirlabs.org/isda1
http://www.mirlabs.net/isda14
Publication: IEEE
About the Conference
------------------------------
The International Conference on Intelligent Systems Design and
Applications (ISDA) is a major international conference bringing
together researchers, engineers, and practitioners who work in the
areas of intelligent systems and its applications in the industry and
real world. Every year, ISDA attracts authors from over 30 countries.
After the success of the thirteenth edition, which was held in
Malaysia, this year event will be held in Japan. ISDA 2014 is
co-organized by Machine Intelligence Research Labs (MIR Labs) and Meio
University - Okinawa Japan will take place from 27th November 2014 to
30th November 2014 at the Meio University & OIST - Sea Side House in
Okinawa.
ISDA 2014 is expected to provide an opportunity for the researchers to
meet and discuss the latest solutions, scientific results and methods
in solving intriguing problems in the fields of artificial
intelligence and its real world applications. The conference programme
will include workshops, special sessions and tutorials, along with the
prominent keynote speakers and regular paper presentations in parallel
tracks. All submitted papers will be reviewed by experts in the field
based on the criteria of originality, significance, quality and
clarity. Conference contents will be submitted for inclusion into IEEE
Xplore as well as other Abstracting and Indexing (A&I) databases. Like
in the past events, accepted papers presented at ISDA 2014 will be
selected and recommended for possible publication in Journal Special
Issues (Indexed by SCI) and Edited Volumes.
* Topics of interest *
----------------------------
A. Intelligent Systems Architectures and Applications
B. Intelligent Image and Signal Processing
C. Intelligent Internet Modeling
D. Intelligent Data mining:
E. Intelligent Business Systems:
F. Intelligent Control and Automation:
G. Intelligent Agents:
H. Intelligent Knowledge Management:
I. Innovative Information Security
J. Innovative Networking and Communication Techniques
K. Web Intelligence
L. Intelligent Software Engineering
Further information on these topics:
http://www.mirlabs.org/isda14/cfp.php
** Submission Guidelines **
--------------------------------------
Conference contents will be submitted for inclusion into IEEE Xplore
as well as other Abstracting and Indexing (A&I) databases. Like in the
past events, accepted papers presented at ISDA 2014 will be selected
and recommended for possible publication in Journal Special Issues
(Indexed by SCI) and Edited Volumes.
It is required that all accepted manuscripts will be presented at the
conference. All accepted papers must be accompanied by a fully paid
registration to appear in the proceedings. Papers have to be submitted
electronically in the PDF format via the web site
(https://easychair.org/conferences/?conf=isda2014) .
For further instructions, please consult:
http://www.mirlabs.org/isda14/submission.php
** Important Dates **
----------------------------
Paper submission due: September 28, 2014
Notification of paper acceptance: October 18, 2014
Registration and Final manuscript due: October 31, 2014
* Organizing Committee *
----------------------------------
(Please consult web site)
For technical contact:
Ajith Abraham
Email: ajith.abraham@ieee.org
------------------------------
Message: 3
Date: Mon, 01 Sep 2014 11:26:52 +0200
From: Andreas Paul <andreas.paul@tu-cottbus.de>
To: dmanet@zpr.uni-koeln.de
Subject: [DMANET] NetSys 2015 - Deadline Extension
Message-ID: <54043BDC.5020401@TU-Cottbus.DE>
Content-Type: text/plain; charset=UTF-8; format=flowed
**** Apologies if you receive multiple copies of this message ****
========================================================================
CALL FOR PAPERS - DEADLINE EXTENSION
The deadline for paper submission has been extended to:
- September 15, 2014 (paper registration)
- September 18, 2014 (paper submission)
NetSys 2015
2nd International Conference on Networked Systems
http://www.netsys2015.com
Cottbus, Germany, March 9-13, 2015
========================================================================
The Conference on Networked Systems (NetSys 2015) provides an
international forum for engineers and scientists in academia, industry,
and government to discuss recent innovations in the realm of networked
systems ? including aspects of networking, distributed systems,
communications, middleware, and applications. NetSys is a biennial
conference that originates from the major scientific event on networked
systems in German-speaking countries KiVS (Kommunikation in Verteilten
Systemen) ? a series of conferences that was initiated 35 years ago. In
2013, NetSys was first organized on international scale in Stuttgart.
NetSys is organized by the special interest group ?Communication and
Distributed Systems? (KUVS), which is anchored both in the German
Computer Science society (Gesellschaft f?r Informatik (GI)) and in the
Information Technology society (Informationstechnische Gesellschaft im
VDE (ITG)). The conference proceedings will be submitted to IEEE
Xplore (R).
NetSys solicits submission of high-quality, original scientific papers
presenting novel research on the wide range of networked systems,
including but not limited to:
* Network architectures and protocols
* Transport- and application-layer protocols
* Emerging networked applications
* Peer-to-peer and overlay networks
* Software-defined networking
* SOA, Web services, and mobile services
* Cloud computing
* Virtualization in networked systems
* Social networks
* Internet of Things
* Cyber-physical systems
* Smart grid
* Cyber security and privacy
* Mobile, ad-hoc, opportunistic, vehicular and sensor networks
* Middleware architectures and platforms for networked systems
* Methods for design, implementation, and analysis of networked systems
Separate workshops, tutorials, demonstrator presentations, and a
doctoral forum will complement the technical sessions.
Important Dates:
----------------
* Paper Registration: August, 25th, 2014
* Paper Submission: September 1st, 2014
* Author Notification: November 8th, 2014
* Final Manuscript: December 10th, 2014
Submission Guidelines:
----------------------
All submissions must describe original research, not published or
currently under review for another workshop, conference, or journal.
Papers must be submitted electronically in PDF format via the
con?ference submission website
(see http://www.netsys2015.com/calls/call-for-papers/ for further
information). Submissions should be restricted to 8 camera-ready pages
and must be formatted in IEEE style (10pt font, double column, US
letter size [8.5 x 11 inches]).
General Chairs:
---------------
H. K?nig, BTU Cottbus, Germany
P. Langend?rfer, IHP Frankfurt (Oder), Germany
Program Chairs:
------------------
K. Zieli?ski, AGH Krakow, Poland
H. K?nig, BTU Cottbus, Germany
_______________________________________________
SIGOps-l mailing list
SIGOps-l@acm.uiuc.edu
https://www-s.acm.uiuc.edu/cgi-bin/mailman/listinfo/sigops-l
------------------------------
Message: 4
Date: Mon, 01 Sep 2014 15:21:54 +0200
From: Temur Kutsia <kutsia@risc.jku.at>
To: dmanet@zpr.uni-koeln.de
Subject: [DMANET] SCSS 2014: Call for short and work-in-progress
papers
Message-ID: <540472F2.5030707@risc.jku.at>
Content-Type: text/plain; charset=utf-8; format=flowed
[Please post - apologies for multiple copies.]
CALL FOR SHORT AND WORK-IN-PROGRESS PAPERS
================================================
SCSS 2014
Symbolic Computation in Software Science
6th International Symposium
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. 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
Submission
----------
Researchers and practitioners are invited to submit short papers, reports on
interesting work in progress or system descriptions. They need not be
original.
Concurrent submission to another conference or a journal is allowed. The
papers
are limited in length to 5 pages in the EasyChair format.
Submission page: https://www.easychair.org/conferences/?conf=scss2014
Important Dates
---------------
September 29, 2014: Submission deadline
October 3, 2014: Notification
December 7-11, 2014: SCSS 2014 in Gammarth
Invited Speakers
----------------
Nikolaj Bjorner (Microsoft Research)
William M. Farmer (McMaster University)
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)
------------------------------
Subject: Digest Footer
_______________________________________________
dmanet mailing list
dmanet@zpr.uni-koeln.de
http://www.zaik.uni-koeln.de/mailman/listinfo/dmanet
------------------------------
End of dmanet Digest, Vol 79, Issue 1
*************************************
No comments:
Post a Comment