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. Post-doc position at the University of Luxembourg
(Rolando TRUJILLO RASUA)
2. SoCG 2016: Call for papers - 32nd International Symposium on
Computational Geometry (Sándor Fekete)
----------------------------------------------------------------------
Message: 1
Date: Tue, 10 Nov 2015 12:32:53 +0100
From: Rolando TRUJILLO RASUA <rolando.trujillo@uni.lu>
To: <dmanet@zpr.uni-koeln.de>
Subject: [DMANET] Post-doc position at the University of Luxembourg
Message-ID: <5641D5E5.7010805@uni.lu>
Content-Type: text/plain; charset="windows-1252"; format=flowed
The University of Luxembourg seeks to hire an outstanding post-doctoral
researcher at its Interdisciplinary Centre for Security, Reliability and
Trust (SnT). The successful candidate will participate in the activities
of the Security and Trust of Software Systems (SaToSS) research group
led by Prof. Dr. Sjouke Mauw. The SaToSS group is working on formalising
and applying formal reasoning to real-world security problems and trust
issues. The research topics of the group include: security protocols,
security modeling, formal methods for security, socio-technical aspects
of security, risk management, privacy, verification, etc.
The position is within the national project "Distance Bounding: a graph
theoretical and formal approach" (DIST). The objectives of DIST are
twofold. First, establishing the relation between graph properties,
graph-based hash functions, and graph-based distance bounding protocols.
Second, developing a symbolic approach for the formal verification of
distance bounding protocols.
The university offers a one year employment that may be extended up to
five years. The successful candidates will be working in an exciting,
international and multicultural environment. The university offers
highly competitive salaries and is an equal opportunity employer.
We welcome applications from candidates who have completed a Ph. D.
degree in Mathematics or Computer Science by March, 2016. Preference
will be given to applicants with proven interest in security and graph
theory.
Applications will be considered on receipt therefore applying before the
deadline is encouraged.
For further information and to submit your application please visit:
http://emea3.mrted.ly/ved5
Deadline for applications:
7 Dec, 2015
Contact:
Prof. Dr. Sjouke Mauw (sjouke.mauw@uni.lu) or
Dr. Rolando Trujillo Rasua (rolando.trujillo@uni.lu)
------------------------------
Message: 2
Date: Tue, 10 Nov 2015 13:11:18 +0100C
From: Sándor Fekete <s.fekete@tu-bs.de>
To: dmanet@zpr.uni-koeln.de
Subject: [DMANET] SoCG 2016: Call for papers - 32nd International
Symposium on Computational Geometry
Message-ID: <49F61DA2-BB2E-4153-A38C-D07803059632@tu-bs.de>
Content-Type: text/plain; charset=us-ascii
Reminder:
- Abstracts are due November 27
- Papers are due December 4.
- Precise time: midnight Alaska time, i.e., (23:59, UTC-9)
*********************************************************************************************
Call for Papers
32nd International Symposium on
Computational Geometry (SoCG)
Boston, June 14-18, 2016
http://socg2016.cs.tufts.edu
*********************************************************************************************
The 32nd International Symposium on Computational Geometry (SoCG) will be held in
Boston, MA, as part of Computational Geometry Week. SoCG will be collocated
with the 48th Symposium on the Theory of Computing (STOC), which will be held
June 18-21, 2016. Making use of this collocation, it is intended to hold joint
workshops with STOC (at the conference hotel of STOC) on June 18, and
coordinate other aspects of the program where appropriate.
We invite submissions of high-quality papers that describe original research on
computational problems in a geometric setting, in particular their algorithmic
solutions, implementation issues, applications, and mathematical foundations.
The program committee intends to interpret the scope of the conference
broadly, and will seriously consider all papers that are of significant
interest to the computational geometry research community.
Topics of interest include, but are not limited to:
* Design, analysis, and implementation of geometric algorithms and data structures;
lower bounds on the computational complexity of geometric problems;
* Mathematical, numerical, and algebraic issues arising in the formulation, analysis,
implementation, and experimental evaluation of geometric algorithms and heuristics;
discrete and combinatorial geometry; computational topology;
* Novel algorithmic applications of geometry in computer graphics, geometric modeling,
computer-aided design and manufacturing, scientific computing, geographic
information systems, database systems, robotics, computational biology, machine
learning, sensor networks, medical imaging, combinatorial optimization,
statistical analysis, discrete differential geometry, theoretical computer science,
graph drawing, pure mathematics, and other fields.
Important Dates
============
* November 27, 2015: Paper abstracts (at most 300 words) due (23:59, UTC-9)
* December 4, 2015: Paper submissions due (23:59, UTC-9)
* February 12, 2016: Notification of acceptance/rejection of papers
* March 24, 2016: Final versions of accepted papers due
* June 14-18, 2016: Symposium in Boston
There will be *no* extension of abstract and paper submission deadlines; late
submissions will not be considered.
Program committee
=================
* Mohammad Ali Abam (Sharif University, Iran)
* Nina Amenta (University of California at Davis, USA)
* Ulrich Bauer (TU Munich, Germany)
* Sergio Cabello (University of Ljubljana, Slovenia)
* Jean Cardinal (Universite Libre de Bruxelles, Belgium)
* Eric Colin de Verdiere (Ecole normale superieure, Paris and CNRS, France)
* Sandor Fekete (co-chair, TU Braunschweig, Germany)
* Marc Glisse (Inria, France)
* David Gu (Stony Brook University, USA)
* Matias Korman (Tohoku University, Japan)
* Anna Lubiw (co-chair, University of Waterloo, Canada)
* Wolfgang Mulzer (FU Berlin, Germany)
* Joseph O'Rourke (Smith College, USA)
* Jeff M. Phillips (University of Utah, USA)
* Micha Sharir (Tel Aviv University, Israel)
* Takeshi Tokuyama (Tohuku University, Japan)
* Geza Toth (Renyi Institute, Hungary)
* Kevin Verbeek (TU Eindhoven, Netherlands)
* Yusu Wang (Ohio State University, USA)
* Emo Welzl (ETH Zurich, Switzerland)
* Chee Yap (New York University, USA)
Local organizing committee
==========================
Greg Aloupis, Tufts University
Diane Souvaine, Tufts University
Csaba Toth, California State University Northridge
Publication and Awards
======================
Final versions of accepted papers will be published by LIPIcs (Leibniz
International Proceedings in Informatics) in the symposium proceedings. An
author of each accepted paper will be expected to attend the Symposium and give
a presentation (approximately 20 minutes) of the paper. Authors of a selection
of papers from the conference will be invited to submit extended versions of
their papers to special issues of "Discrete and Computational Geometry" and
"Journal of Computational Geometry". There will be a best paper award. A best
student presentation award will also be given based on the quality of the
presentation by a student during the conference.
Paper Submission Guidelines
===========================
Submissions must be formatted in accordance with the LIPIcs proceedings
guidelines and not exceed 15 pages including title-page and references, but
possible excluding a clearly marked appendix (further described below). LIPIcs
typesetting instructions can be found at
http://www.dagstuhl.de/en/publications/lipics and the lipics.cls LaTeX style at
http://drops.dagstuhl.de/styles/lipics/lipics-authors.tgz. Final proceedings
versions of accepted papers must be formatted using the same rules but without
the appendix. See http://drops.dagstuhl.de/portals/extern/index.php?semnr=15005
for the proceedings of 2015. Submissions deviating from the above guidelines
will be rejected without consideration of their merits.
In order to encourage submission from both theory and practice, authors should
clearly identify the main merits of the paper by choosing one of the following
categories.
(T) Contributions to the theory of computational geometry
(P) Contributions to practical aspects of computational geometry
(B) Contributions to both theory and practice
There is no preassigned quota and there will not be separate tracks; the only
purpose is to help the PC in focusing on the main strengths of papers. Authors
should assign these categories by checking one or two of the appropriate boxes
on the easychair submission page.
After the title, authors and abstract, the main body of the submission should
begin with a precise statement of the problem considered, a succinct summary of
the results obtained (emphasizing the significance, novelty, and potential
impact of the research), and a clear comparison with related work. The
remainder of the submission should provide sufficient detail to allow the
Program Committee to evaluate the validity, quality, and relevance of the
contribution. Clarity of presentation is very important; the whole submission
should be written carefully, taking into consideration that it will be read and
evaluated by both experts and non-experts, often under tight time constraints.
All details needed to convince the Program Committee of the validity of the
results should be provided, and supporting materials (including proofs of
theoretical claims and experimental details) that do not fit in the 15-page
limit should be given in an appendix. The appendix should not be a full version
of the paper. It will be read by the program committee members at their
discretion and will not be published as part of the proceedings. Thus, the
submission should be able to stand on its own when references to the appendix
are deleted or replaced by references to an extended version of the paper.
If an appendix was used at the time of submission, authors are strongly
encouraged to post a full version of their paper on some online repository
(such as the arXiv) after acceptance.
Results previously published in another conference proceedings cannot be
submitted. Simultaneous submissions of the results to another conference with
published proceedings are not allowed. Exempted are workshop or conference
handouts containing short abstracts. Results that have already been accepted
(with or without revision) for publication by a journal, at the time of their
submission to the conference, will not be allowed. A paper submitted to a
journal but not yet accepted to a journal can be submitted to the conference.
In such cases, the authors must mention this in the submission appendix and
clearly identify the status of the journal submission on November 27, 2015.
Paper Submission
================
All submissions must be made electronically; see the EasyChair SoCG2016 web
page https://www.easychair.org/conferences/?conf=socg2016 for detailed
submission instructions.
------------------------------
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 93, Issue 9
*************************************
No comments:
Post a Comment