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. Graph Drawing (Call for Posters) (Duncan, Christian A. Prof.)
----------------------------------------------------------------------
Message: 1
Date: Wed, 30 Jul 2014 02:04:53 +0000
From: "Duncan, Christian A. Prof." <Christian.Duncan@quinnipiac.edu>
To: "dmanet@zpr.uni-koeln.de" <dmanet@zpr.uni-koeln.de>
Subject: [DMANET] Graph Drawing (Call for Posters)
Message-ID:
<C3ECED091AE0CD4FB68EDAF6977EF85E530E166F@cm-72.quinnipiac.edu>
Content-Type: text/plain; charset="iso-8859-1"
Call for Posters - Graph Drawing 2014
22nd International Symposium on Graph Drawing
September 24-26, 2014 * Wuerzburg, Germany
http://gd2014.informatik.uni-wuerzburg.de/
Graph Drawing is concerned with the geometric representation of graphs
and networks and the algorithmic methods for visualizing them. It is
motivated by applications where it is crucial to visually analyze and
interact with relational datasets. Examples of such application areas
include social sciences, Internet and Web computing, information
systems, computational biology, networking, VLSI circuit design, and
software engineering.
The International Symposium on Graph Drawing is the main annual event
in this area and will be hosted by the University of Wuerzburg from
September 24 to 26, 2014, in Wuerzburg, Germany. Researchers and
practitioners working on any aspect of graph drawing and network
visualization are invited to contribute papers and posters and to
participate in the symposium and the graph drawing contest.
POSTERS
Submissions of posters on graph drawing and related areas are
currently being solicited. The poster session will provide a forum for
the communication of late-breaking research results (WHICH MAY ALSO
APPEAR ELSEWHERE) to the graph drawing community. Posters should be
accompanied by an abstract (up to two pages in the single-spaced LNCS
style).
Abstract and poster must be submitted as a single pdf document via the
conference web site by August 19 (23:59 GMT). Notification of poster
acceptance will be made by August 29.
The maximum size for any poster is A0 (84,1 cm x 118,9 cm). The
posters must be in portrait mode.
BEST POSTER AWARD
To recognize the effort of participants in preparing and presenting
their posters in a clear and elegant way, a best-poster award will be
given this year.
IMPORTANT DATES
All deadlines are 23:59 GMT and fixed. There will be no extensions.
o Poster submission deadline: August 19
o Notification of poster acceptance: August 29
o Final versions due: September 3
o Contest submission deadline: September 22
o PhD School (CCC): September 22-23
o Symposium on Graph Drawing: September 24-26
INVITED SPEAKERS
Oswin Aichholzer, TU Graz
Jean-Daniel Fekete, INRIA, Paris
PROGRAM COMMITTEE
Patrizio Angelini, Univ. Roma Tre
Daniel Archambault, Swansea Univ.
David Auber, LaBRI, Univ. Bordeaux
Michael Bekos, Nat. Tech. Univ. Athens
Anastasia Bezerianos, LRI-Univ. Paris-Sud
Franz Brandenburg, Univ. Passau
Erin Chambers, St. Louis Univ.
Stephan Diehl, Univ. Trier
Christian Duncan (co-chair), Quinnipiac Univ.
Tim Dwyer, Monash Univ.
David Eppstein, Univ. of California, Irvine
Emden Gansner, AT&T Research Labs
Michael Kaufmann, Univ. Tuebingen
Stephen Kobourov, Univ. of Arizona
Jan Kratochvil, Charles Univ. Prague
Giuseppe Liotta, Univ. of Perugia
Maarten Loeffler, Utrecht Univ.
Anna Lubiw, Univ. of Waterloo
Petra Mutzel, Univ. Dortmund
Lev Nachmanson, Microsoft Research
Antonios Symvonis (co-chair), Nat. Tech. Univ. Athens
Ioannis Tollis, Univ. of Crete
Dorothea Wagner, Karlsruhe Inst. Tech.
Hsu-Chun Yen, Nat. Taiwan Univ.
ORGANIZING COMMITTEE
Krzysztof Fleszar, Univ. of W?rzburg
Philipp Kindermann, Univ. of W?rzburg
Joachim Spoerhase, Univ. of W?rzburg
Alexander Wolff (chair), Univ. of W?rzburg
CONTEST COMMITTEE
Carsten Gutwenger (chair), TU Dortmund
Maarten Loeffler, Utrecht Univ.
Lev Nachmanson, Microsoft Research
Ignaz Rutter, Karlsruhe Inst. Tech.
------------------------------
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 77, Issue 21
**************************************
Thursday, July 31, 2014
Tuesday, July 29, 2014
dmanet Digest, Vol 77, Issue 20
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. Become a member of the Association for Constraint Programming
(Willem-Jan van Hoeve)
2. Postdoctoral Positions in Mathematics and quantitative
Economics at HCM (Bonn) (Daniela Schmidt)
3. W2-Professorships in Mathematics and quatitative Economics at
HCM (Bonn) (Daniela Schmidt)
----------------------------------------------------------------------
Message: 1
Date: Sun, 27 Jul 2014 21:49:53 -0400
From: Willem-Jan van Hoeve <vanhoeve@andrew.cmu.edu>
To: dmanet@zpr.uni-koeln.de
Subject: [DMANET] Become a member of the Association for Constraint
Programming
Message-ID: <53D5AC41.3070304@andrew.cmu.edu>
Content-Type: text/plain; charset=ISO-8859-1; format=flowed
Don't miss out on the latest developments in Constraint Programming:
Become a member of the Association for Constraint Programming (ACP)
Please go to http://www.a4cp.org/user/register to join.
(Membership is free)
The Association for Constraint Programming aims at promoting constraint
programming in every aspect of the scientific world, by encouraging its
theoretical and practical developments, its teaching in the academic
institutions, its adoption in the industrial world, and its use in
application fields.
The ACP is led by an Executive Committee (EC), which takes all the
decisions necessary to achieve the goals of the association. This
includes the organization of the international annual conference
'Principles and Practice of Constraint Programming', the annual summer
school, and the sponsoring of other workshops and conferences related to
constraint programming.
As a member of the ACP you can stay informed via our quarterly
newsletter and mailinglist announcements. In addition, ACP members are
allowed to vote for the members of the Executive Committee. If you
become a member before July 31st, you can still vote in this year's
election to be held in August!
For more information visit http://www.a4cp.org/
------------------------------
Message: 2
Date: Mon, 28 Jul 2014 15:10:15 +0200
From: Daniela Schmidt <daniela.schmidt@hcm.uni-bonn.de>
To: dmanet@zpr.uni-koeln.de
Subject: [DMANET] Postdoctoral Positions in Mathematics and
quantitative Economics at HCM (Bonn)
Message-ID: <53D64BB7.1070103@hcm.uni-bonn.de>
Content-Type: text/plain; charset=ISO-8859-15; format=flowed
Postdoctoral Positions
The Hausdorff Center for Mathematics (HCM) at Bonn University offers
several postdoctoral positions in all fields of mathematics and
quantitative economics. The duration of these positions is 2 years.
Expected starting date is no later than October 2015. There may be an
option of extension by up to one year, depending on the availability of
funding. There are no teaching obligations but such opportunities are
provided if desired by the candidates.
Your application should contain your CV (with the grade for the
dissertation if applicable), a publication list and a research plan
relating to the research in HCM. Moreover, you have to choose one of the
ten HCM-Research-Areas as well as a potential local postdoctoral mentor
from among the professors in HCM listed as leaders and investigators of
the respective research area whom you are requested to contact regarding
the proposed research plan prior to submitting your application.
Applicants who have not yet completed their PhD are requested to include
a two page outline of their dissertation project comprising results up
to now as well as a detailed evaluation written by his/her supervisor.
In addition we need by the deadline at least two letters of
recommendation from scientists not associated with Bonn University. The
letters of recommendation are to be sent by e-mail to the Board of
Directors of the Hausdorff Center for Mathematics, c/o Daniela Schmidt
(daniela.schmidt(at)hcm.uni-bonn.de).
The University of Bonn is an equal opportunity employer and is committed
to increasing the number of female researchers in disciplines where they
are underrepresented. Therefore, it is intended to fill at least one
third of the positions offered with women, and preference will be given
to suitably qualified female candidates, all other considerations being
equal. Women are strongly encouraged to apply.
Preference will be given to severely disabled applicants with equivalent
qualifications.
If you have any questions please contact Daniela Schmidt
(daniela.schmidt(at)hcm.uni-bonn.de).
Please apply using our online application form
(www.hcm.uni-bonn.de/postdocs/application).
The deadline for the current application round is 1st November 2014.
--
Daniela Schmidt
Administrative Assistant
Hausdorff Center for Mathematics
Endenicher Allee 62, Villa Maria, Room 0.005
53115 Bonn
Tel: +49-228-73-4881, Fax: +49-228-73-62251
E-Mail: daniela.schmidt@hcm.uni-bonn.de
------------------------------
Message: 3
Date: Mon, 28 Jul 2014 15:14:38 +0200
From: Daniela Schmidt <daniela.schmidt@hcm.uni-bonn.de>
To: dmanet@zpr.uni-koeln.de
Subject: [DMANET] W2-Professorships in Mathematics and quatitative
Economics at HCM (Bonn)
Message-ID: <53D64CBE.4010802@hcm.uni-bonn.de>
Content-Type: text/plain; charset=windows-1252; format=flowed
The Hausdorff Center for Mathematics (HCM) at the University of Bonn
brings together researchers in Theoretical and Applied Mathematics, and
Mathematical Economics. In this framework, the center is looking forward
to filling up to four
W2-Professorships
(?Bonn Junior Fellows?)
within the next few years. These are temporary positions for a period of
five years. To some of these positions, a tenure-track option is
associated, and, in exceptional cases, a position may be tenured
immediately.
The University of Bonn is an equal opportunity employer and is committed
to increase the number of female professors in disciplines where they
are underrepresented, in particular on tenured positions. It is
therefore intended to fill about half of the positions offered with
women. Women are strongly encouraged to apply. Preference will be given
to suitably qualified women or persons with disabilities, all other
considerations being equal.
The general conditions of employment are according to ? 36 of the Higher
Education Act of North Rhine-Westphalia (Hochschulgesetz des Landes
Nordrhein-Westfalen).
The professorships.
The professorships intend to encourage independent research by
outstanding young researchers, in analogy to the research groups of the
?Max-Planck-Society? or the ?Emmy-Noether-Program? of the German
Research Foundation. The professorships are endowed with travel and
guest funds, and with a postdoc position during the initial period. Bonn
Junior Fellows also participate in the additional resources of the
Hausdorff Center. Professors are encouraged to supervise doctoral
students. For an initial period, teaching obligations amount to four
hours per week during semesters.
The candidates.
We are looking for young researchers holding a doctoral degree who are
about to develop their own research agenda and who have already
demonstrated their scientific independence by relevant publications.
Candidates should have some international research experience. German
language skills are not required.
Research focus.
We seek candidates who fit into the broad spectrum of the Cluster of
Excellence.
Depending on the respective research focus, candidates become members of
the ?Faculty of Mathematics and Natural Sciences? or of the ?Faculty of
Law and Economics? at the University of Bonn.
Not all positions will be assigned at the same time; there will be
several separate selection rounds.
The deadline for the third application round is 11th October 2014.
Expected starting date is not later than 1st October 2015. Deadlines for
the following rounds and further details will be published at:
www.hcm.uni-bonn.de/opportunities/bonn-junior-fellows
Applications should be sent, using our online application form
www.hcm.unibonn.de/bjf/application, to the joint hiring committee: Prof.
Dr. Karl-Theodor Sturm, Coordinator Hausdorff Center for Mathematics,
Endenicher Allee 62, D-53115 Bonn, Germany
--
Daniela Schmidt
Administrative Assistant
Hausdorff Center for Mathematics
Endenicher Allee 62, Villa Maria, Room 0.005
53115 Bonn
Tel: +49-228-73-4881, Fax: +49-228-73-62251
E-Mail: daniela.schmidt@hcm.uni-bonn.de
------------------------------
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 77, Issue 20
**************************************
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. Become a member of the Association for Constraint Programming
(Willem-Jan van Hoeve)
2. Postdoctoral Positions in Mathematics and quantitative
Economics at HCM (Bonn) (Daniela Schmidt)
3. W2-Professorships in Mathematics and quatitative Economics at
HCM (Bonn) (Daniela Schmidt)
----------------------------------------------------------------------
Message: 1
Date: Sun, 27 Jul 2014 21:49:53 -0400
From: Willem-Jan van Hoeve <vanhoeve@andrew.cmu.edu>
To: dmanet@zpr.uni-koeln.de
Subject: [DMANET] Become a member of the Association for Constraint
Programming
Message-ID: <53D5AC41.3070304@andrew.cmu.edu>
Content-Type: text/plain; charset=ISO-8859-1; format=flowed
Don't miss out on the latest developments in Constraint Programming:
Become a member of the Association for Constraint Programming (ACP)
Please go to http://www.a4cp.org/user/register to join.
(Membership is free)
The Association for Constraint Programming aims at promoting constraint
programming in every aspect of the scientific world, by encouraging its
theoretical and practical developments, its teaching in the academic
institutions, its adoption in the industrial world, and its use in
application fields.
The ACP is led by an Executive Committee (EC), which takes all the
decisions necessary to achieve the goals of the association. This
includes the organization of the international annual conference
'Principles and Practice of Constraint Programming', the annual summer
school, and the sponsoring of other workshops and conferences related to
constraint programming.
As a member of the ACP you can stay informed via our quarterly
newsletter and mailinglist announcements. In addition, ACP members are
allowed to vote for the members of the Executive Committee. If you
become a member before July 31st, you can still vote in this year's
election to be held in August!
For more information visit http://www.a4cp.org/
------------------------------
Message: 2
Date: Mon, 28 Jul 2014 15:10:15 +0200
From: Daniela Schmidt <daniela.schmidt@hcm.uni-bonn.de>
To: dmanet@zpr.uni-koeln.de
Subject: [DMANET] Postdoctoral Positions in Mathematics and
quantitative Economics at HCM (Bonn)
Message-ID: <53D64BB7.1070103@hcm.uni-bonn.de>
Content-Type: text/plain; charset=ISO-8859-15; format=flowed
Postdoctoral Positions
The Hausdorff Center for Mathematics (HCM) at Bonn University offers
several postdoctoral positions in all fields of mathematics and
quantitative economics. The duration of these positions is 2 years.
Expected starting date is no later than October 2015. There may be an
option of extension by up to one year, depending on the availability of
funding. There are no teaching obligations but such opportunities are
provided if desired by the candidates.
Your application should contain your CV (with the grade for the
dissertation if applicable), a publication list and a research plan
relating to the research in HCM. Moreover, you have to choose one of the
ten HCM-Research-Areas as well as a potential local postdoctoral mentor
from among the professors in HCM listed as leaders and investigators of
the respective research area whom you are requested to contact regarding
the proposed research plan prior to submitting your application.
Applicants who have not yet completed their PhD are requested to include
a two page outline of their dissertation project comprising results up
to now as well as a detailed evaluation written by his/her supervisor.
In addition we need by the deadline at least two letters of
recommendation from scientists not associated with Bonn University. The
letters of recommendation are to be sent by e-mail to the Board of
Directors of the Hausdorff Center for Mathematics, c/o Daniela Schmidt
(daniela.schmidt(at)hcm.uni-bonn.de).
The University of Bonn is an equal opportunity employer and is committed
to increasing the number of female researchers in disciplines where they
are underrepresented. Therefore, it is intended to fill at least one
third of the positions offered with women, and preference will be given
to suitably qualified female candidates, all other considerations being
equal. Women are strongly encouraged to apply.
Preference will be given to severely disabled applicants with equivalent
qualifications.
If you have any questions please contact Daniela Schmidt
(daniela.schmidt(at)hcm.uni-bonn.de).
Please apply using our online application form
(www.hcm.uni-bonn.de/postdocs/application).
The deadline for the current application round is 1st November 2014.
--
Daniela Schmidt
Administrative Assistant
Hausdorff Center for Mathematics
Endenicher Allee 62, Villa Maria, Room 0.005
53115 Bonn
Tel: +49-228-73-4881, Fax: +49-228-73-62251
E-Mail: daniela.schmidt@hcm.uni-bonn.de
------------------------------
Message: 3
Date: Mon, 28 Jul 2014 15:14:38 +0200
From: Daniela Schmidt <daniela.schmidt@hcm.uni-bonn.de>
To: dmanet@zpr.uni-koeln.de
Subject: [DMANET] W2-Professorships in Mathematics and quatitative
Economics at HCM (Bonn)
Message-ID: <53D64CBE.4010802@hcm.uni-bonn.de>
Content-Type: text/plain; charset=windows-1252; format=flowed
The Hausdorff Center for Mathematics (HCM) at the University of Bonn
brings together researchers in Theoretical and Applied Mathematics, and
Mathematical Economics. In this framework, the center is looking forward
to filling up to four
W2-Professorships
(?Bonn Junior Fellows?)
within the next few years. These are temporary positions for a period of
five years. To some of these positions, a tenure-track option is
associated, and, in exceptional cases, a position may be tenured
immediately.
The University of Bonn is an equal opportunity employer and is committed
to increase the number of female professors in disciplines where they
are underrepresented, in particular on tenured positions. It is
therefore intended to fill about half of the positions offered with
women. Women are strongly encouraged to apply. Preference will be given
to suitably qualified women or persons with disabilities, all other
considerations being equal.
The general conditions of employment are according to ? 36 of the Higher
Education Act of North Rhine-Westphalia (Hochschulgesetz des Landes
Nordrhein-Westfalen).
The professorships.
The professorships intend to encourage independent research by
outstanding young researchers, in analogy to the research groups of the
?Max-Planck-Society? or the ?Emmy-Noether-Program? of the German
Research Foundation. The professorships are endowed with travel and
guest funds, and with a postdoc position during the initial period. Bonn
Junior Fellows also participate in the additional resources of the
Hausdorff Center. Professors are encouraged to supervise doctoral
students. For an initial period, teaching obligations amount to four
hours per week during semesters.
The candidates.
We are looking for young researchers holding a doctoral degree who are
about to develop their own research agenda and who have already
demonstrated their scientific independence by relevant publications.
Candidates should have some international research experience. German
language skills are not required.
Research focus.
We seek candidates who fit into the broad spectrum of the Cluster of
Excellence.
Depending on the respective research focus, candidates become members of
the ?Faculty of Mathematics and Natural Sciences? or of the ?Faculty of
Law and Economics? at the University of Bonn.
Not all positions will be assigned at the same time; there will be
several separate selection rounds.
The deadline for the third application round is 11th October 2014.
Expected starting date is not later than 1st October 2015. Deadlines for
the following rounds and further details will be published at:
www.hcm.uni-bonn.de/opportunities/bonn-junior-fellows
Applications should be sent, using our online application form
www.hcm.unibonn.de/bjf/application, to the joint hiring committee: Prof.
Dr. Karl-Theodor Sturm, Coordinator Hausdorff Center for Mathematics,
Endenicher Allee 62, D-53115 Bonn, Germany
--
Daniela Schmidt
Administrative Assistant
Hausdorff Center for Mathematics
Endenicher Allee 62, Villa Maria, Room 0.005
53115 Bonn
Tel: +49-228-73-4881, Fax: +49-228-73-62251
E-Mail: daniela.schmidt@hcm.uni-bonn.de
------------------------------
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 77, Issue 20
**************************************
Monday, July 28, 2014
dmanet Digest, Vol 77, Issue 19
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. ALGO 2014 early registration deadline (Jarek Byrka)
2. PPDP 2014: Program and 2nd Call for Participation
(Jacob Johannsen)
3. NSysS 2015- Deadline Extension (Dr. M. Sohel Rahman)
4. Postdoc position in Lyon, France (Marie-France Sagot)
5. LATA 2015: 1st call for papers (GRLMC)
----------------------------------------------------------------------
Message: 1
Date: Fri, 25 Jul 2014 19:07:46 +0200
From: Jarek Byrka <jby@ii.uni.wroc.pl>
To: dmanet@zpr.uni-koeln.de
Subject: [DMANET] ALGO 2014 early registration deadline
Message-ID: <53D28EE2.3000606@ii.uni.wroc.pl>
Content-Type: text/plain; charset=ISO-8859-1; format=flowed
This is to remind you that the deadline for early registration
for ALGO 2014 is approaching. Early registration for ALGO
is possible only until the end of July (local time).
ALGO is a multi-conference on algorithms built around ESA
and organized every year. This year ALGO is organized in Wroclaw,
Poland in the week of 8-12 September.
ALGO 2014 includes ESA, WABI, IPEC, ALGOSENSORS, WAOA, MASSIVE, and ATMOS.
See http://algo2014.ii.uni.wroc.pl/index.html for more details.
Partially due to the generosity of our sponsors this year's registration
fee is slightly lower,
please see registration web-page for precise calculations
http://algo2014.ii.uni.wroc.pl/registration.html
It will be an interesting period in Wroclaw.
In parallel to ALGO there will be:
- a music festival Wratislavia Cantans
http://2014.wratislaviacantans.pl/#!en/program
- Men's Volleyball World Championships
http://en.wikipedia.org/wiki/2014_FIVB_Volleyball_Men%27s_World_Championship
organized in Wroclaw at the same time.
Please consider booking hotels and flights early.
We are convinced ALGO will be a pleasant and stimulating event.
Please consider attending it even if you have no paper accepted.
In case of any questions please contact us at algo2014@cs.uni.wroc.pl
Looking forward to see you in Wroclaw in September.
Best regards,
Jarek Byrka
(ALGO 2014 local co-chair)
------------------------------
Message: 2
Date: Sun, 27 Jul 2014 14:55:49 +0200
From: Jacob Johannsen <cnn@cs.au.dk>
To: <dmanet@zpr.uni-koeln.de>
Subject: [DMANET] PPDP 2014: Program and 2nd Call for Participation
Message-ID: <53D4F6D5.8010606@cs.au.dk>
Content-Type: text/plain; charset="utf-8"; format=flowed
======================================================================
CALL FOR PARTICIPATION:
PPDP 2014
16th International Symposium on
Principles and Practice of Declarative Programming
Canterbury, Kent, September 8-10, 2014
http://users-cs.au.dk/danvy/ppdp14/
co-located with
LOPSTR 2014
24th International Symposium on
Logic-Based Program Synthesis and Transformation
Canterbury, Kent, September 9-11, 2014
http://www.iasi.cnr.it/events/lopstr14/
======================================================================
Two weeks left for early registration (until August 8):
http://www.cs.kent.ac.uk/events/2014/ppdp-lopstr-14/
A significant discount is available when registering to both events,
especially as a student (until August 8).
PPDP 2014 features
* an invited talk by Roberto Giacobazzi, shared with LOPSTR:
"Obscuring Code -- Unveiling and Veiling Information in Programs"
* no fewer than 4 distilled tutorials by
- Henrik Nilsson and Ivan Perez:
"Declarative Game Programming"
- Danko Ilik:
"Proofs in Continuation-Passing Style:
normalization of G?del's System T extended with sums and
delimited control operators"
- Jerzy Karczmarczuk:
"On the Declarative Structure of Quantum Concepts:
States and Observables"
- Ralf Laemmel, Andrei Varanovich, and Martin Leinberger:
"Declarative Software Development"
* the most influential paper 10-year award for PPDP 2004
Tentative program:
==========
Monday 8 September
Welcome to PPDP 2014 - 08:45-09:00
Olaf Chitil and Andy King
Distilled Tutorial - 9:00-10:00
Ralf Laemmel
"Declarative Software Development"
Break - 10:00-10:15
Session - 10:15-11:15
10:15-10:45
R?mi Douence and Nicolas Tabareau
"Lazier Imperative Programming"
10:45-11:15
Stefan Mehner, Daniel Seidel, Lutz Stra?burger and Janis Voigtl?nder
"Parametricity and Proving Free Theorems for Functional-Logic Languages"
Break - 11:15-11:30
Session - 11:30-12:30
11:30:-12:00
Paul Tarau
"Bijective Collection Encodings and Boolean Operations
with Hereditarily Binary Natural Numbers"
12:00-12:30
Flavio Cruz, Ricardo Rocha and Seth Goldstein
"Design and implementation of a multithreaded virtual machine
for executing linear logic programs"
Lunch break - 12:30-14:00
Distilled tutorial - 14:00-15:00
Danko Ilik
"Proofs in Continuation-Passing Style:
normalization of G?del's System T
extended with sums and delimited control operators"
Break - 15:00-15:15
Session - 15:15-16:15
15:15-15:45
Kenichi Asai, Luminous Fennell, Peter Thiemann and Yang Zhang
"A Type Theoretic Specification for Partial Evaluation"
15:45-16:15
Paul Downen, Luke Maurer, Zena Ariola and Daniele Varacca
"Continuations, Processes, and Sharing"
Break - 16:15-16:30
Session - 16:30-17:30
16:30-17:00
Pierre Neron
"Partial Inlining for Program Transformation"
17:00-17:30
Jean-Louis Giavitto and Jos? Echeveste
"Real-Time Matching of Antescofo Temporal Patterns"
Program-chair report - 17:30-17:45
Olivier Danvy
----------
Tuesday 9 September
Distilled tutorial - 9:00-10:00
Jerzy Karczmarczuk
"On the Declarative Structure of Quantum Concepts:
States and Observables"
Break - 10:00-10:15
Session - 10:15-11:15
10:15-10:45
Jos? Meseguer and Salvador Lucas
"Proving Operational Termination of Declarative Programs in General
Logics"
10:45-11:15
Fan Yang, Santiago Escobar, Catherine Meadows, Jos? Meseguer and
Paliath Narendran
"Theories of Homomorphic Encryption, Unification, and the Finite
Variant Property"
Break - 11:15-11:30
Session - 11:30-12:30
11:30:-12:00
Tzu-Chun Chen, Mariangiola Dezani-Ciancaglini and Nobuko Yoshida
"On the Preciseness of Subtyping in Session Types"
12:00-12:30
Hugo Pacheco, Tao Zan and Zhenjiang Hu
"BiFluX: A Bidirectional Functional Update Language for XML"
Lunch break - 12:30-14:00
Distilled tutorial - 14:00-15:00
Henrik Nilsson
"Declarative Game Programming"
Break - 15:00-15:15
Session - 15:15-16:15
15:15-15:45
Francisco Ferreira and Brigitte Pientka
"Bidirectional Elaboration of Dependently Typed Programs"
15:45-16:15
Steven Ramsay
"Exact Intersection Type Abstractions for Safety Checking of
Recursion Schemes"
Break - 16:15-16:30
Session - 16:30-17:30
16:30-17:00
Julian Kranz and Axel Simon
"Structure-Preserving Compilation:
Efficient Integration of Functional DSLs into Legacy Systems"
17:00-17:30
Ulrich Sch?pp
"Organising Low-Level Programs using Higher Types"
----------
Wednesday 10 September
Invited talk - 9:00-10:00
Roberto Giacobazzi
Obscuring Code -- Unveiling and Veiling Information in Programs
Break - 10:00-10:15
Session - 10:15-11:15
10:15-10:45
R?my Haemmerl?
"On Combining Backward and Forward Chaining in Constraint Logic
Programming"
10:45-11:15
Nataliia Stulova, Jose F. Morales and Manuel V. Hermenegildo
"Assertion-based Debugging of Higher-Order (C)LP Programs"
Break - 11:15-11:30
Session - 11:30-12:30
11:30:-12:00
Takahito Aoto and Sorin Stratulat
"Decision Procedures for Proving Inductive Theorems without Induction"
12:00-12:30
Joachim Jansen, Ingmar Dasseville, Jo Devriendt and Gerda Janssens
"Experimental Evaluation of a State-of-the-Art Grounder"
Lunch break - 12:30-13:30
Session - 13:30-14:30
13:30:-14:00
Tom Schrijvers, Nicolas Wu, Benoit Desouter and Bart Demoen
"Heuristics entwined with handlers combined"
14:00-14:30
James Cheney, Amal Ahmed and Umut Acar
"Database queries that explain their work"
==========
Also, please note a change of dates: LOPSTR will start on September 9,
rather than September 10 as previously announced.
See you in Canterbury!
------------------------------
Message: 3
Date: Sun, 27 Jul 2014 22:18:22 +0700
From: "Dr. M. Sohel Rahman" <msrahman@cse.buet.ac.bd>
To: DMANET@zpr.uni-koeln.de
Subject: [DMANET] NSysS 2015- Deadline Extension
Message-ID: <20140727151257.M76984@cse.buet.ac.bd>
Content-Type: text/plain; charset=iso-8859-1
Deadline Extension
=========================================================================
NSysS 2015
January 5-7, 2015
Dhaka, Bangladesh
Web: http://www.buet.ac.bd/cse/nsyss/
Submission: https://www.easychair.org/conferences/?conf=nsyss2015
========================================================================
Important Dates
===============
Abstract submission deadline: August 9, 2014 (Extended)
Paper submission deadline: August 17, 2014 (Extended)
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
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.
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
Venkat Padmanabhan, Microsoft Research
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: 4
Date: Mon, 28 Jul 2014 11:18:56 +0200
From: Marie-France Sagot <Marie-France.Sagot@inria.fr>
To: dmanet@zpr.uni-koeln.de
Subject: [DMANET] Postdoc position in Lyon, France
Message-ID: <41AD9516-78F2-406B-98DE-815A07C7DC7D@inria.fr>
Content-Type: text/plain; charset=windows-1252
One postdoc opportunity at Inria in Lyon, France, to start no
later than November 1st, 2014
In the context of a FP7 KBBE European Project, BacHBerry
(?BACterial Hosts for production of Bioactive phenolics from
bERRY fruits"), we are seeking for one postdoc candidate,
for one year renewable for up to two years.
The BacHBerry project is interested in the generation of
bacterial platforms for sustainable bio-based production of
phenolic compounds found in berry fruits. Phenolics are
recognised for their antioxydant health-promoting and functional
properties, and applied across applications as diverse as
aromas, colours, nutraceuticals, and medicines. The platform
may involve a single bacterial species, or a community of
different bacteria in interaction. Both approaches will be
explored.
Ideally, the candidate should have a strong background in at
least one of: biochemistry, systems biology of bacterial
communities, metabolic bioengineering; together with an
interest and some expertise in the use and development of
mathematical models and algorithmic methods. The person
should have a strong taste for inter-disciplinary research, and
very good interpersonal skills.
The candidate will work in the BAMBOO team at the
Inria-UCBL in Lyon, France (http://team.inria.fr/bamboo/), in
interaction with the partners of BacHBerry, in particular the
CSI team at the IDMEC-IST in Lisbon, Portugal
(http://www.idmec.ist.utl.pt/).
Applications should include a motivation letter, a CV, and
the address of three references.
The applications should be sent to:
Marie-France Sagot, marie-france.sagot@inria.fr
putting also in copy the partner in Lisbon:
Susana Vinga, susanavinga@gmail.com
ideally before August 31, 2014.
------------------------------
Message: 5
Date: Sat, 26 Jul 2014 16:18:13 +0200
From: "GRLMC" <grlmc@urv.cat>
To: dmanet@zpr.uni-koeln.de
Subject: [DMANET] LATA 2015: 1st call for papers
Message-ID: <6451E4EE5E534036A364583A3B213575@Carlos1>
Content-Type: text/plain; charset="utf-8"
9th INTERNATIONAL CONFERENCE ON LANGUAGE AND AUTOMATA THEORY AND APPLICATIONS
LATA 2015
Nice, France
March 2-6, 2015
Organized by:
CNRS, I3S, UMR 7271
Nice Sophia Antipolis University
Research Group on Mathematical Linguistics (GRLMC)
Rovira i Virgili University
http://grammars.grlmc.com/lata2015/
****************************************************************************************
AIMS:
LATA is a conference series on theoretical computer science and its applications. Following the tradition of the diverse PhD training events in the field developed at Rovira i Virgili University in Tarragona since 2002, LATA 2015 will reserve significant room for young scholars at the beginning of their career. It will aim at attracting contributions from classical theory fields as well as application areas.
VENUE:
LATA 2015 will take place in Nice, the second largest French city on the Mediterranean coast. The venue will be the University Castle at Parc Valrose.
SCOPE:
Topics of either theoretical or applied interest include, but are not limited to:
algebraic language theory
algorithms for semi-structured data mining
algorithms on automata and words
automata and logic
automata for system analysis and programme verification
automata networks
automata, concurrency and Petri nets
automatic structures
cellular automata
codes
combinatorics on words
computational complexity
data and image compression
descriptional complexity
digital libraries and document engineering
foundations of finite state technology
foundations of XML
fuzzy and rough languages
grammars (Chomsky hierarchy, contextual, unification, categorial, etc.)
grammatical inference and algorithmic learning
graphs and graph transformation
language varieties and semigroups
language-based cryptography
parallel and regulated rewriting
parsing
patterns
power series
string and combinatorial issues in bioinformatics
string processing algorithms
symbolic dynamics
term rewriting
transducers
trees, tree languages and tree automata
unconventional models of computation
weighted automata
STRUCTURE:
LATA 2015 will consist of:
invited talks
invited tutorials
peer-reviewed contributions
INVITED SPEAKERS:
to be announced
PROGRAMME COMMITTEE:
Andrew Adamatzky (West of England, Bristol, UK)
Andris Ambainis (Latvia, Riga, LV)
Franz Baader (Dresden Tech, DE)
Rajesh Bhatt (Massachusetts, Amherst, US)
Jos?-Manuel Colom (Zaragoza, ES)
Bruno Courcelle (Bordeaux, FR)
Erzs?bet Csuhaj-Varj? (E?tv?s Lor?nd, Budapest, HU)
Aldo de Luca (Naples Federico II, IT)
Susanna Donatelli (Turin, IT)
Paola Flocchini (Ottawa, CA)
Enrico Formenti (Nice, FR)
Tero Harju (Turku, FI)
Monika Heiner (Brandenburg Tech, Cottbus, DE)
Yiguang Hong (Chinese Academy, Beijing, CN)
Kazuo Iwama (Kyoto, JP)
Sanjay Jain (National Singapore, SG)
Maciej Koutny (Newcastle, UK)
Anton?n Ku?era (Masaryk, Brno, CZ)
Thierry Lecroq (Rouen, FR)
Salvador Lucas (Valencia Tech, ES)
Veli M?kinen (Helsinki, FI)
Carlos Mart?n-Vide (Rovira i Virgili, Tarragona, ES, chair)
Filippo Mignosi (L?Aquila, IT)
Victor Mitrana (Madrid Tech, ES)
Ilan Newman (Haifa, IL)
Joachim Niehren (INRIA, Lille, FR)
Enno Ohlebusch (Ulm, DE)
Arlindo Oliveira (Lisbon, PT)
Jo?l Ouaknine (Oxford, UK)
Wojciech Penczek (Polish Academy, Warsaw, PL)
Dominique Perrin (ESIEE, Paris, FR)
Alberto Policriti (Udine, IT)
Sanguthevar Rajasekaran (Connecticut, Storrs, US)
J?rg Rothe (D?sseldorf, DE)
Frank Ruskey (Victoria, CA)
Helmut Seidl (Munich Tech, DE)
Ayumi Shinohara (Tohoku, Sendai, JP)
Bernhard Steffen (Dortmund, DE)
Frank Stephan (National Singapore, SG)
Paul Tarau (North Texas, Denton, US)
Andrzej Tarlecki (Warsaw, PL)
Jacobo Tor?n (Ulm, DE)
Frits Vaandrager (Nijmegen, NL)
Jaco van de Pol (Twente, Enschede, NL)
Pierre Wolper (Li?ge, BE)
Zhilin Wu (Chinese Academy, Beijing, CN)
Slawomir Zadrozny (Polish Academy, Warsaw, PL)
Hans Zantema (Eindhoven Tech, NL)
ORGANIZING COMMITTEE:
S?bastien Autran (Nice)
Adrian Horia Dediu (Tarragona)
Enrico Formenti (Nice, co-chair)
Sandrine Julia (Nice)
Carlos Mart?n-Vide (Tarragona, co-chair)
Christophe Papazian (Nice)
Julien Provillard (Nice)
Pierre-Alain Scribot (Nice)
Bianca Truthe (Giessen)
Florentina Lilica Voicu (Tarragona)
SUBMISSIONS:
Authors are invited to submit non-anonymized papers in English presenting original and unpublished research. Papers should not exceed 12 single-spaced pages (including eventual appendices, references, etc.) and should be prepared according to the standard format for Springer Verlag's LNCS series (see http://www.springer.com/computer/lncs?SGWID=0-164-6-793341-0).
Submissions have to be uploaded to:
https://www.easychair.org/conferences/?conf=lata2015
PUBLICATIONS:
A volume of proceedings published by Springer in the LNCS series will be available by the time of the conference.
A special issue of a major journal will be later published containing peer-reviewed substantially extended versions of some of the papers contributed to the conference. Submissions to it will be by invitation.
REGISTRATION:
The period for registration is open from July 21, 2014 to March 2, 2015. The registration form can be found at:
http://grammars.grlmc.com/lata2015/Registration.php
DEADLINES:
Paper submission: October 10, 2014 (23:59 CET)
Notification of paper acceptance or rejection: November 18, 2014
Early registration: November 25, 2014
Final version of the paper for the LNCS proceedings: November 26, 2014
Late registration: February 16, 2015
Submission to the journal special issue: June 6, 2015
QUESTIONS AND FURTHER INFORMATION:
florentinalilica.voicu@urv.cat
POSTAL ADDRESS:
LATA 2015
Research Group on Mathematical Linguistics (GRLMC)
Rovira i Virgili University
Av. Catalunya, 35
43002 Tarragona, Spain
Phone: +34 977 559 543
Fax: +34 977 558 386
ACKNOWLEDGEMENTS:
Nice Sophia Antipolis University
Rovira i Virgili University
---
Este mensaje no contiene virus ni malware porque la protecci?n de avast! Antivirus est? activa.
http://www.avast.com
------------------------------
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 77, Issue 19
**************************************
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. ALGO 2014 early registration deadline (Jarek Byrka)
2. PPDP 2014: Program and 2nd Call for Participation
(Jacob Johannsen)
3. NSysS 2015- Deadline Extension (Dr. M. Sohel Rahman)
4. Postdoc position in Lyon, France (Marie-France Sagot)
5. LATA 2015: 1st call for papers (GRLMC)
----------------------------------------------------------------------
Message: 1
Date: Fri, 25 Jul 2014 19:07:46 +0200
From: Jarek Byrka <jby@ii.uni.wroc.pl>
To: dmanet@zpr.uni-koeln.de
Subject: [DMANET] ALGO 2014 early registration deadline
Message-ID: <53D28EE2.3000606@ii.uni.wroc.pl>
Content-Type: text/plain; charset=ISO-8859-1; format=flowed
This is to remind you that the deadline for early registration
for ALGO 2014 is approaching. Early registration for ALGO
is possible only until the end of July (local time).
ALGO is a multi-conference on algorithms built around ESA
and organized every year. This year ALGO is organized in Wroclaw,
Poland in the week of 8-12 September.
ALGO 2014 includes ESA, WABI, IPEC, ALGOSENSORS, WAOA, MASSIVE, and ATMOS.
See http://algo2014.ii.uni.wroc.pl/index.html for more details.
Partially due to the generosity of our sponsors this year's registration
fee is slightly lower,
please see registration web-page for precise calculations
http://algo2014.ii.uni.wroc.pl/registration.html
It will be an interesting period in Wroclaw.
In parallel to ALGO there will be:
- a music festival Wratislavia Cantans
http://2014.wratislaviacantans.pl/#!en/program
- Men's Volleyball World Championships
http://en.wikipedia.org/wiki/2014_FIVB_Volleyball_Men%27s_World_Championship
organized in Wroclaw at the same time.
Please consider booking hotels and flights early.
We are convinced ALGO will be a pleasant and stimulating event.
Please consider attending it even if you have no paper accepted.
In case of any questions please contact us at algo2014@cs.uni.wroc.pl
Looking forward to see you in Wroclaw in September.
Best regards,
Jarek Byrka
(ALGO 2014 local co-chair)
------------------------------
Message: 2
Date: Sun, 27 Jul 2014 14:55:49 +0200
From: Jacob Johannsen <cnn@cs.au.dk>
To: <dmanet@zpr.uni-koeln.de>
Subject: [DMANET] PPDP 2014: Program and 2nd Call for Participation
Message-ID: <53D4F6D5.8010606@cs.au.dk>
Content-Type: text/plain; charset="utf-8"; format=flowed
======================================================================
CALL FOR PARTICIPATION:
PPDP 2014
16th International Symposium on
Principles and Practice of Declarative Programming
Canterbury, Kent, September 8-10, 2014
http://users-cs.au.dk/danvy/ppdp14/
co-located with
LOPSTR 2014
24th International Symposium on
Logic-Based Program Synthesis and Transformation
Canterbury, Kent, September 9-11, 2014
http://www.iasi.cnr.it/events/lopstr14/
======================================================================
Two weeks left for early registration (until August 8):
http://www.cs.kent.ac.uk/events/2014/ppdp-lopstr-14/
A significant discount is available when registering to both events,
especially as a student (until August 8).
PPDP 2014 features
* an invited talk by Roberto Giacobazzi, shared with LOPSTR:
"Obscuring Code -- Unveiling and Veiling Information in Programs"
* no fewer than 4 distilled tutorials by
- Henrik Nilsson and Ivan Perez:
"Declarative Game Programming"
- Danko Ilik:
"Proofs in Continuation-Passing Style:
normalization of G?del's System T extended with sums and
delimited control operators"
- Jerzy Karczmarczuk:
"On the Declarative Structure of Quantum Concepts:
States and Observables"
- Ralf Laemmel, Andrei Varanovich, and Martin Leinberger:
"Declarative Software Development"
* the most influential paper 10-year award for PPDP 2004
Tentative program:
==========
Monday 8 September
Welcome to PPDP 2014 - 08:45-09:00
Olaf Chitil and Andy King
Distilled Tutorial - 9:00-10:00
Ralf Laemmel
"Declarative Software Development"
Break - 10:00-10:15
Session - 10:15-11:15
10:15-10:45
R?mi Douence and Nicolas Tabareau
"Lazier Imperative Programming"
10:45-11:15
Stefan Mehner, Daniel Seidel, Lutz Stra?burger and Janis Voigtl?nder
"Parametricity and Proving Free Theorems for Functional-Logic Languages"
Break - 11:15-11:30
Session - 11:30-12:30
11:30:-12:00
Paul Tarau
"Bijective Collection Encodings and Boolean Operations
with Hereditarily Binary Natural Numbers"
12:00-12:30
Flavio Cruz, Ricardo Rocha and Seth Goldstein
"Design and implementation of a multithreaded virtual machine
for executing linear logic programs"
Lunch break - 12:30-14:00
Distilled tutorial - 14:00-15:00
Danko Ilik
"Proofs in Continuation-Passing Style:
normalization of G?del's System T
extended with sums and delimited control operators"
Break - 15:00-15:15
Session - 15:15-16:15
15:15-15:45
Kenichi Asai, Luminous Fennell, Peter Thiemann and Yang Zhang
"A Type Theoretic Specification for Partial Evaluation"
15:45-16:15
Paul Downen, Luke Maurer, Zena Ariola and Daniele Varacca
"Continuations, Processes, and Sharing"
Break - 16:15-16:30
Session - 16:30-17:30
16:30-17:00
Pierre Neron
"Partial Inlining for Program Transformation"
17:00-17:30
Jean-Louis Giavitto and Jos? Echeveste
"Real-Time Matching of Antescofo Temporal Patterns"
Program-chair report - 17:30-17:45
Olivier Danvy
----------
Tuesday 9 September
Distilled tutorial - 9:00-10:00
Jerzy Karczmarczuk
"On the Declarative Structure of Quantum Concepts:
States and Observables"
Break - 10:00-10:15
Session - 10:15-11:15
10:15-10:45
Jos? Meseguer and Salvador Lucas
"Proving Operational Termination of Declarative Programs in General
Logics"
10:45-11:15
Fan Yang, Santiago Escobar, Catherine Meadows, Jos? Meseguer and
Paliath Narendran
"Theories of Homomorphic Encryption, Unification, and the Finite
Variant Property"
Break - 11:15-11:30
Session - 11:30-12:30
11:30:-12:00
Tzu-Chun Chen, Mariangiola Dezani-Ciancaglini and Nobuko Yoshida
"On the Preciseness of Subtyping in Session Types"
12:00-12:30
Hugo Pacheco, Tao Zan and Zhenjiang Hu
"BiFluX: A Bidirectional Functional Update Language for XML"
Lunch break - 12:30-14:00
Distilled tutorial - 14:00-15:00
Henrik Nilsson
"Declarative Game Programming"
Break - 15:00-15:15
Session - 15:15-16:15
15:15-15:45
Francisco Ferreira and Brigitte Pientka
"Bidirectional Elaboration of Dependently Typed Programs"
15:45-16:15
Steven Ramsay
"Exact Intersection Type Abstractions for Safety Checking of
Recursion Schemes"
Break - 16:15-16:30
Session - 16:30-17:30
16:30-17:00
Julian Kranz and Axel Simon
"Structure-Preserving Compilation:
Efficient Integration of Functional DSLs into Legacy Systems"
17:00-17:30
Ulrich Sch?pp
"Organising Low-Level Programs using Higher Types"
----------
Wednesday 10 September
Invited talk - 9:00-10:00
Roberto Giacobazzi
Obscuring Code -- Unveiling and Veiling Information in Programs
Break - 10:00-10:15
Session - 10:15-11:15
10:15-10:45
R?my Haemmerl?
"On Combining Backward and Forward Chaining in Constraint Logic
Programming"
10:45-11:15
Nataliia Stulova, Jose F. Morales and Manuel V. Hermenegildo
"Assertion-based Debugging of Higher-Order (C)LP Programs"
Break - 11:15-11:30
Session - 11:30-12:30
11:30:-12:00
Takahito Aoto and Sorin Stratulat
"Decision Procedures for Proving Inductive Theorems without Induction"
12:00-12:30
Joachim Jansen, Ingmar Dasseville, Jo Devriendt and Gerda Janssens
"Experimental Evaluation of a State-of-the-Art Grounder"
Lunch break - 12:30-13:30
Session - 13:30-14:30
13:30:-14:00
Tom Schrijvers, Nicolas Wu, Benoit Desouter and Bart Demoen
"Heuristics entwined with handlers combined"
14:00-14:30
James Cheney, Amal Ahmed and Umut Acar
"Database queries that explain their work"
==========
Also, please note a change of dates: LOPSTR will start on September 9,
rather than September 10 as previously announced.
See you in Canterbury!
------------------------------
Message: 3
Date: Sun, 27 Jul 2014 22:18:22 +0700
From: "Dr. M. Sohel Rahman" <msrahman@cse.buet.ac.bd>
To: DMANET@zpr.uni-koeln.de
Subject: [DMANET] NSysS 2015- Deadline Extension
Message-ID: <20140727151257.M76984@cse.buet.ac.bd>
Content-Type: text/plain; charset=iso-8859-1
Deadline Extension
=========================================================================
NSysS 2015
January 5-7, 2015
Dhaka, Bangladesh
Web: http://www.buet.ac.bd/cse/nsyss/
Submission: https://www.easychair.org/conferences/?conf=nsyss2015
========================================================================
Important Dates
===============
Abstract submission deadline: August 9, 2014 (Extended)
Paper submission deadline: August 17, 2014 (Extended)
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
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.
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
Venkat Padmanabhan, Microsoft Research
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: 4
Date: Mon, 28 Jul 2014 11:18:56 +0200
From: Marie-France Sagot <Marie-France.Sagot@inria.fr>
To: dmanet@zpr.uni-koeln.de
Subject: [DMANET] Postdoc position in Lyon, France
Message-ID: <41AD9516-78F2-406B-98DE-815A07C7DC7D@inria.fr>
Content-Type: text/plain; charset=windows-1252
One postdoc opportunity at Inria in Lyon, France, to start no
later than November 1st, 2014
In the context of a FP7 KBBE European Project, BacHBerry
(?BACterial Hosts for production of Bioactive phenolics from
bERRY fruits"), we are seeking for one postdoc candidate,
for one year renewable for up to two years.
The BacHBerry project is interested in the generation of
bacterial platforms for sustainable bio-based production of
phenolic compounds found in berry fruits. Phenolics are
recognised for their antioxydant health-promoting and functional
properties, and applied across applications as diverse as
aromas, colours, nutraceuticals, and medicines. The platform
may involve a single bacterial species, or a community of
different bacteria in interaction. Both approaches will be
explored.
Ideally, the candidate should have a strong background in at
least one of: biochemistry, systems biology of bacterial
communities, metabolic bioengineering; together with an
interest and some expertise in the use and development of
mathematical models and algorithmic methods. The person
should have a strong taste for inter-disciplinary research, and
very good interpersonal skills.
The candidate will work in the BAMBOO team at the
Inria-UCBL in Lyon, France (http://team.inria.fr/bamboo/), in
interaction with the partners of BacHBerry, in particular the
CSI team at the IDMEC-IST in Lisbon, Portugal
(http://www.idmec.ist.utl.pt/).
Applications should include a motivation letter, a CV, and
the address of three references.
The applications should be sent to:
Marie-France Sagot, marie-france.sagot@inria.fr
putting also in copy the partner in Lisbon:
Susana Vinga, susanavinga@gmail.com
ideally before August 31, 2014.
------------------------------
Message: 5
Date: Sat, 26 Jul 2014 16:18:13 +0200
From: "GRLMC" <grlmc@urv.cat>
To: dmanet@zpr.uni-koeln.de
Subject: [DMANET] LATA 2015: 1st call for papers
Message-ID: <6451E4EE5E534036A364583A3B213575@Carlos1>
Content-Type: text/plain; charset="utf-8"
9th INTERNATIONAL CONFERENCE ON LANGUAGE AND AUTOMATA THEORY AND APPLICATIONS
LATA 2015
Nice, France
March 2-6, 2015
Organized by:
CNRS, I3S, UMR 7271
Nice Sophia Antipolis University
Research Group on Mathematical Linguistics (GRLMC)
Rovira i Virgili University
http://grammars.grlmc.com/lata2015/
****************************************************************************************
AIMS:
LATA is a conference series on theoretical computer science and its applications. Following the tradition of the diverse PhD training events in the field developed at Rovira i Virgili University in Tarragona since 2002, LATA 2015 will reserve significant room for young scholars at the beginning of their career. It will aim at attracting contributions from classical theory fields as well as application areas.
VENUE:
LATA 2015 will take place in Nice, the second largest French city on the Mediterranean coast. The venue will be the University Castle at Parc Valrose.
SCOPE:
Topics of either theoretical or applied interest include, but are not limited to:
algebraic language theory
algorithms for semi-structured data mining
algorithms on automata and words
automata and logic
automata for system analysis and programme verification
automata networks
automata, concurrency and Petri nets
automatic structures
cellular automata
codes
combinatorics on words
computational complexity
data and image compression
descriptional complexity
digital libraries and document engineering
foundations of finite state technology
foundations of XML
fuzzy and rough languages
grammars (Chomsky hierarchy, contextual, unification, categorial, etc.)
grammatical inference and algorithmic learning
graphs and graph transformation
language varieties and semigroups
language-based cryptography
parallel and regulated rewriting
parsing
patterns
power series
string and combinatorial issues in bioinformatics
string processing algorithms
symbolic dynamics
term rewriting
transducers
trees, tree languages and tree automata
unconventional models of computation
weighted automata
STRUCTURE:
LATA 2015 will consist of:
invited talks
invited tutorials
peer-reviewed contributions
INVITED SPEAKERS:
to be announced
PROGRAMME COMMITTEE:
Andrew Adamatzky (West of England, Bristol, UK)
Andris Ambainis (Latvia, Riga, LV)
Franz Baader (Dresden Tech, DE)
Rajesh Bhatt (Massachusetts, Amherst, US)
Jos?-Manuel Colom (Zaragoza, ES)
Bruno Courcelle (Bordeaux, FR)
Erzs?bet Csuhaj-Varj? (E?tv?s Lor?nd, Budapest, HU)
Aldo de Luca (Naples Federico II, IT)
Susanna Donatelli (Turin, IT)
Paola Flocchini (Ottawa, CA)
Enrico Formenti (Nice, FR)
Tero Harju (Turku, FI)
Monika Heiner (Brandenburg Tech, Cottbus, DE)
Yiguang Hong (Chinese Academy, Beijing, CN)
Kazuo Iwama (Kyoto, JP)
Sanjay Jain (National Singapore, SG)
Maciej Koutny (Newcastle, UK)
Anton?n Ku?era (Masaryk, Brno, CZ)
Thierry Lecroq (Rouen, FR)
Salvador Lucas (Valencia Tech, ES)
Veli M?kinen (Helsinki, FI)
Carlos Mart?n-Vide (Rovira i Virgili, Tarragona, ES, chair)
Filippo Mignosi (L?Aquila, IT)
Victor Mitrana (Madrid Tech, ES)
Ilan Newman (Haifa, IL)
Joachim Niehren (INRIA, Lille, FR)
Enno Ohlebusch (Ulm, DE)
Arlindo Oliveira (Lisbon, PT)
Jo?l Ouaknine (Oxford, UK)
Wojciech Penczek (Polish Academy, Warsaw, PL)
Dominique Perrin (ESIEE, Paris, FR)
Alberto Policriti (Udine, IT)
Sanguthevar Rajasekaran (Connecticut, Storrs, US)
J?rg Rothe (D?sseldorf, DE)
Frank Ruskey (Victoria, CA)
Helmut Seidl (Munich Tech, DE)
Ayumi Shinohara (Tohoku, Sendai, JP)
Bernhard Steffen (Dortmund, DE)
Frank Stephan (National Singapore, SG)
Paul Tarau (North Texas, Denton, US)
Andrzej Tarlecki (Warsaw, PL)
Jacobo Tor?n (Ulm, DE)
Frits Vaandrager (Nijmegen, NL)
Jaco van de Pol (Twente, Enschede, NL)
Pierre Wolper (Li?ge, BE)
Zhilin Wu (Chinese Academy, Beijing, CN)
Slawomir Zadrozny (Polish Academy, Warsaw, PL)
Hans Zantema (Eindhoven Tech, NL)
ORGANIZING COMMITTEE:
S?bastien Autran (Nice)
Adrian Horia Dediu (Tarragona)
Enrico Formenti (Nice, co-chair)
Sandrine Julia (Nice)
Carlos Mart?n-Vide (Tarragona, co-chair)
Christophe Papazian (Nice)
Julien Provillard (Nice)
Pierre-Alain Scribot (Nice)
Bianca Truthe (Giessen)
Florentina Lilica Voicu (Tarragona)
SUBMISSIONS:
Authors are invited to submit non-anonymized papers in English presenting original and unpublished research. Papers should not exceed 12 single-spaced pages (including eventual appendices, references, etc.) and should be prepared according to the standard format for Springer Verlag's LNCS series (see http://www.springer.com/computer/lncs?SGWID=0-164-6-793341-0).
Submissions have to be uploaded to:
https://www.easychair.org/conferences/?conf=lata2015
PUBLICATIONS:
A volume of proceedings published by Springer in the LNCS series will be available by the time of the conference.
A special issue of a major journal will be later published containing peer-reviewed substantially extended versions of some of the papers contributed to the conference. Submissions to it will be by invitation.
REGISTRATION:
The period for registration is open from July 21, 2014 to March 2, 2015. The registration form can be found at:
http://grammars.grlmc.com/lata2015/Registration.php
DEADLINES:
Paper submission: October 10, 2014 (23:59 CET)
Notification of paper acceptance or rejection: November 18, 2014
Early registration: November 25, 2014
Final version of the paper for the LNCS proceedings: November 26, 2014
Late registration: February 16, 2015
Submission to the journal special issue: June 6, 2015
QUESTIONS AND FURTHER INFORMATION:
florentinalilica.voicu@urv.cat
POSTAL ADDRESS:
LATA 2015
Research Group on Mathematical Linguistics (GRLMC)
Rovira i Virgili University
Av. Catalunya, 35
43002 Tarragona, Spain
Phone: +34 977 559 543
Fax: +34 977 558 386
ACKNOWLEDGEMENTS:
Nice Sophia Antipolis University
Rovira i Virgili University
---
Este mensaje no contiene virus ni malware porque la protecci?n de avast! Antivirus est? activa.
http://www.avast.com
------------------------------
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 77, Issue 19
**************************************
Friday, July 25, 2014
dmanet Digest, Vol 77, Issue 18
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. PostDoc Position in GraphDrawing (Andr? Schulz)
2. PhD studentship in Mathematics and Statistics, The Open
University (Robert Brignall)
3. ICDCN 2015: Extended submission deadline to Aug. 4, 2014
(St?phane Devismes)
4. CSoNet'14: Deadline Extended: July 31: Workshop on
Computational Social Networks, Hawaii, Dec. 2014 (Thang N. Dinh)
5. Research Associate, RWTH Aachen, Mathematical Optimization
(L?bbecke)
6. Call for Papers STACS 2015 (Ernst W. Mayr)
----------------------------------------------------------------------
Message: 1
Date: Thu, 24 Jul 2014 14:52:24 +0200
From: Andr? Schulz <andre.schulz@uni-muenster.de>
To: dmanet@zpr.uni-koeln.de
Subject: [DMANET] PostDoc Position in GraphDrawing
Message-ID: <6CDD5EAE-C2BD-45D7-970D-9E4B35160AFA@uni-muenster.de>
Content-Type: text/plain; charset=iso-8859-1
We announce
ONE PostDoc Position for 18 months
at the Westf?lische Wilhelms-Universit?t M?nster, Germany, at the Institute of
Mathematical Logic, as part of the research project "Graph Drawing with Low Visual
Complexity" funded by the German Research Foundation (DFG). The position is
for 18 months with the chance of an extension for another 18 month.
The project is supervised by Prof. Andr? Schulz ( http://cs.uni-muenster.de/u/schulz ).
The aim of the project is to develop and to evaluate new algorithms for drawing graphs
in the plane while using a small ground set of geometric objects. The
developed algorithms will be evaluated with theoretical methods and also in
online user studies.
We expect that the candidate has (or is very close to) a PhD in Computer Science
or Mathematics and a solid background in discrete math and algorithms. Ideally, the
applicant has knowledge and interest in at least one of the following fields:
- graph drawing
- algorithms
- graph theory
- computational geometry
Good programming skills are mandatory. Experience in statistical analysis of
empirical data would be a plus.
Please send your applications consisting of
- a cover letter,
- curriculum vitae,
- the PhD thesis (preliminary version, if not finished),
- a letter of reference (to be directly sent to us),
to
Prof. Dr. Andr? Schulz
Institut f?r Mathematische Logik und Grundlagenforschung
Fachbereich Mathematik und Informatik der Universit?t M?nster
Einsteinstra?e 62
D-48149 M?nster, Germany
It is also possible to apply via email. In this case send your application as
one single pdf-file to andre.schulz[at]uni-muenster.de .
The deadline is September 30, but applications will be considered until the position
is filled.
If you have further questions about the position, please send an email
to andre.schulz[at]uni-muenster.de .
------------------------------
Message: 2
Date: Fri, 25 Jul 2014 00:02:58 +0100
From: Robert Brignall <rbrignall@gmail.com>
To: dmanet <dmanet@zpr.uni-koeln.de>
Subject: [DMANET] PhD studentship in Mathematics and Statistics, The
Open University
Message-ID:
<CALYwQpBC82s+s_137jUN8gjFcJPQFT55y_mqy07=OoqiG3NLeQ@mail.gmail.com>
Content-Type: text/plain; charset=UTF-8
Department of Mathematics and Statistics, Faculty of Mathematics,
Computing and Technology, The Open University
We have one full-time PhD studentship available, to start 1st October 2014.
The studentship covers full-time fees, and includes a stipend
(currently ?13,726 per annum) and a ?1250 annual travel allocation.
Students are based on-campus in Milton Keynes, UK.
Research projects are available in applied mathematics, pure
mathematics, history of mathematics and statistics, and can be seen at
http://www.mathematics.open.ac.uk/phd
They include one project in discrete mathematics/combinatorics.
Interested persons are strongly encouraged to make informal enquiries to
mcs-mathematics-enquiries@open.ac.uk as soon as possible, and ideally
by 11th August 2014.
Overseas applicants are welcome but those from a non-European Economic
Area country that is not majority English-speaking must hold a Common
European Framework of Reference for Languages (CEFR) certificate for
English at B2 level or higher.
------------------------------
Message: 3
Date: Fri, 25 Jul 2014 08:50:23 +0200
From: St?phane Devismes <stephane.devismes@imag.fr>
To: dmanet@zpr.uni-koeln.de
Subject: [DMANET] ICDCN 2015: Extended submission deadline to Aug. 4,
2014
Message-ID: <53D1FE2F.1090900@imag.fr>
Content-Type: text/plain; charset=ISO-8859-1; format=flowed
[We apologize if you receive multiple copies of this CFP.]
16th International Conference on Distributed Computing and Networking
January 4-7 2015, Goa, India http://www.icdcn.org
Important Dates
Due date for submission: August 4th 2014 (extended)
Date for notification: September 26th 2014
Date for camera-ready submission: October 15th 2014
ICDCN is a premier international conference dedicated to addressing
advances in Distributed Computing and Communication Networks, which over
the years, has become a leading forum for disseminating the latest
research results in these fields. As in the past, ICDCN 2015 will be
organized in two tracks: Distributed Computing and Networking, and will
comprise a highly selective technical program consisting of refereed
concise papers, panel discussions as well as focused workshops on
emerging topics. Papers describing original research work and practical
experiences/experimental results are solicited on topics including, but
not limited to:
I. Distributed Computing Track
- Distributed algorithms : design, analysis, and complexity
- Local algorithms and Congestion aware algorithms
- Distributed biological algorithms and bio-inspired distributed
algorithms
- Concurrent data structures
- Concurrent, Synchronization, and transactional memory
- Distributed operating systems and distributed database systems
- Embedded distributed systems
- Experiments and performance evaluation of distributed systems
- Fault-tolerance, reliability, and availability
- Multiprocessor & multi-core architectures & algorithms
- Self-organization, self-stabilization, & autonomic computing
- High performance computing, grid/cluster/cloud computing
- Security, cryptography, & game theory in distributed systems
- Distributed computing issues in large scale systems such as the
Internet
II. Networking Track
- Ad hoc, sensor and mesh networks
- BANs, PANs and home networks
- Cellular networks (4G/LTE/WiMax)
- Vehicular area networks
- Integration of heterogeneous networks
- Network virtualization
- Data center and cloud networking
- Software defined and cognitive radio networks
- Future Internet design
- Next generation & converged network architectures
- Overlay & peer-to-peer networks and services
- Internetworking protocols & Internet applications
- Network security & privacy
- Energy-efficient networking
- Networking for the smart grid
- Pricing and network economics
GENERAL CHAIRS
Sajal K. Das (Co-chair), Missouri University of Science and Technology,
USA, sdas@mst.edu
Dilip Krishnaswamy (Co-chair), IBM Research, Bangalore, India,
dilikris@in.ibm.com
Santonu Sarkar (Vice-chair), Infosys Labs, Bangalore, India
Santonu_Sarkar01@infosys.com
DISTRIBUTED COMPUTING
TRACK PC CHAIRS
Amos Korman, CNRS, Univ of Paris, France, amos.korman@gmail.com
Srikanth Sastry, Google, New York, USA, ssastry@google.com
NETWORKING TRACK PC CHAIRS
Mohan Kumar, Rochester Institute of Technology, USA, mjkvcs@rit.edu
Marius Portmann, University of Queensland, Australia, marius@itee.uq.edu.au
ORGANIZING COMMITTEE
Bharat Deshpande (Chair), BITS-Goa campus, India,
bmd@goa.bits-pilani.ac.in
Sanjay Kumar Sahay, BITS-Goa campus, India,
ssahay@goa.bits-pilani.ac.in
STUDENT SYMPOSIUM CHAIRS
Kishore Kothapalli, IIIT Hyderabad, India, kkishore@iiit.ac.in
Sathya Peri, IIT Patna, India, peri.sathya@gmail.com
STEERING COMMITTEE
Sajal K. Das (Co-chair), Missouri University of Science and Technology,
USA, sdas@mst.edu
Sukumar Ghosh (Co-chair), University of Iowa, USA. sukumar-ghosh@uiowa.edu
Vijay Garg, University of Texas at Austin, USA
Dilip Krishnaswamy, IBM Research, Bangalore, India
Sanjoy Paul, Accenture, India
David Peleg, Weizmann Institute of Science, Israel
Michel Raynal, IRISA, France
Submisson Instructions
-----------------------
Papers should not exceed 10 pages double column including figures,
tables, and references in standard ACM format. Additional details may be
included in a clearly-marked appendix, not exceeding one page that will
be read at the discretion of the program committee. Papers must be
submitted electronically in printable pdf form via the EasyChair
submission management system at
https://www.easychair.org/conferences/?conf=icdcn2015.
Templates for the standard ACM format can be found at
http://www.acm.org/sigs/publications/proceedings-templates. Both strict
and alternate styles are acceptable for submission. No changes to
margins, spacing, or font sizes are allowed from those specified by the
style files. Papers violating the formatting guidelines will be returned
without review. The proceedings will be published through ACM and will
be available in ACM Digital library. Some papers not accepted as regular
papers may be accepted as "Concise papers" with 4 ACM pages in the
proceedings while full papers will be allowed 10 ACM pages.
Warning: It is ACM policy not to allow double submissions, where the
same paper is submitted to more than one conference/journal
concurrently. Any double submissions detected will be immediately
rejected from all conferences/journals involved. At least one author of
each accepted paper must register for the conference and present the paper.
------------------------------
Message: 4
Date: Fri, 25 Jul 2014 06:29:52 -0400
From: "Thang N. Dinh" <tdinh@cise.ufl.edu>
To: dmanet@zpr.uni-koeln.de
Subject: [DMANET] CSoNet'14: Deadline Extended: July 31: Workshop on
Computational Social Networks, Hawaii, Dec. 2014
Message-ID:
<CABtTHTNrx7f9_8Tq4wYxsZwgDTA77qrg8SWjV6gqWAsX-Tp2gw@mail.gmail.com>
Content-Type: text/plain; charset=UTF-8
Our apology if you receive multiple copies of this
==========================================================
CFP: 3rd Workshop on Computational Social Networks
CSoNet 2014 - http://csonet14.vcu.edu/
Dec. 21, 2014, Maui, Hawaii, In conjunction with COCOA '14
==========================================================
Computing in social network science has recently become one of the
central themes across mathematical science, information and
communication technology, which attracts a significant interest from
researchers in mathematics, computer science, system science, and
social science. The objective of this workshop is to advance and
promote the theoretical foundation, mathematical aspects as well as
applications of social computing.
The topics of interest include (but are not limited to):
* Mathematical modelling and analysis
* Real-world complex systems
* Information retrieval in social contexts, political analysts
* Network structure analysis
* Network dynamics optimization
* Complex network robustness and vulnerability
* Information diffusion models and analysis
* Security and privacy
* Searching in complex networks
* Efficient algorithms
IMPORTANT DATES
------------------
* Paper submission due: ***July 31, 2014***
* Notification of Acceptance: August 21, 2014
* Camera-ready: September 04, 2014
PUBLICATION
----------------
Accepted papers will be published in LNCS - Springer along with main
papers of COCOA 2014. Extended version of selected papers will be
published in a special issue of Computational Social Networks journal
by Springer.
SUBMISSION
----------------
Authors who are interested in the above topics can submit their
unpublished work to this workshop via Easychair using LNCS style. The
maximum length of paper (including references) is 10 pages.
ORGANIZERS
-----------------
Steering Committee
My T. Thai, University of Florida, USA
Zhi-Li Zhang, University of Minnesota, USA
Weili Wu, University of Texas - Dallas, USA
PC Chairs
My T. Thai, University of Florida, USA
Thang Dinh, Virginia Commonwealth University, USA
Publicity Chair
Nam P. Nguyen, Towson University, USA
Technical Program Committee
Nitin Agarwal, (University of Arkansas at Little Rock, USA)
Thang Dinh, (Virginia Commonwealth University, USA) (Co-Chair)
Carol Fung, (Virginia Commonwealth University, USA)
Konstantinos Georgiou, (University of Waterloo, Canada)
Donghyun Kim, (North Carolina Central University, USA)
Sang-Wook Kim, (Hanyang University, South Korea)
Ee-Peng Lim, (Singapore Management University, Singapore)
Ramasuri Narayanam, (IBM Research, India)
Nam Nguyen, (Towson University, USA)
Vinh Nguyen, (University of Melbourne, Australia)
Georgios Piliouras, (Georgia Institute of Technology, USA)
Panos Pardalos, (University of Florida, USA)
Yang Song, (IBM Research, USA)
My Thai, (University of Florida, USA) (Co-Chair)
Mario Ventresca, (Purdue University, USA)
Anil Kumar Vullikanti, (Virginia Tech, USA)
Ying Zhao, (Tsinghua University, China)
------------------------------
Message: 5
Date: Fri, 25 Jul 2014 11:39:39 +0000
From: L?bbecke, Marco <marco.luebbecke@rwth-aachen.de>
To: "dmanet@zpr.uni-koeln.de" <dmanet@zpr.uni-koeln.de>
Subject: [DMANET] Research Associate, RWTH Aachen, Mathematical
Optimization
Message-ID:
<BBC854256BA48F46B07A283CE292E0773AE32F9D@MBX-W3.rwth-ad.de>
Content-Type: text/plain; charset="iso-8859-1"
RWTH Aachen University, Operations Research, www.or.rwth-aachen.de
research associate in
mathematics, computer science, operations research
We invite applications for a position as the scientific and technical team lead in the RWTH Aachen university course timetabling project "carpe diem!". The position as research associate is paid according to German TV-L E13 100%, and should be filled as soon as possible. The project duration is 1.5 years, to be extended by 2.5 more years.
Our team of nine research staff is interested in integer programming, computational optimization, algorithm engineering, scheduling, and graph and network algorithms, both in theory and practical applications thereof. The "carpe diem!" project is a joint effort together with many university members, in collaboration with the TU Berlin, with the aim of providing course timetables which are most beneficial for students and teaching staff. It is a challenging task in many ways.
The successful candidate is responsible for the further development of mathematical optimization models and algorithms, to research in practically relevant directions, such as robust timetabling and mechanism design for gathering teaching preferences. We expect a profound knowledge in mathematical (in paticular discrete and integer) optimization. A talent in producing theoretical results is as desired as a determination to successfully solve real-world optimization problems. The existing software needs to be maintained and extended. Therefore, very good computer skills in general and experience with software development are a must. The post requires strong communication skills, creativity, curiosity, and commitment. There is no teaching obligation. Fluency in the German language is indispensable.
We provide the opportunity to work towards a doctoral degree. It is natural to pick a research topic related to the practical project, but this is not a requirement.
For more information on formal requirements and how to apply please follow the link to the German official opening: http://www.zhv.rwth-aachen.de/mainzhv.php?scriptid=job¶m=vorschau&nr=14277&typ=wiss
Application deadline is August 15, 2014.
------------------------------
Message: 6
Date: Fri, 25 Jul 2014 15:12:39 +0200
From: "Ernst W. Mayr" <mayr@in.tum.de>
To: <dmanet@zpr.uni-koeln.de>
Subject: [DMANET] Call for Papers STACS 2015
Message-ID: <00b001cfa80a$1cfdad00$56f90700$@in.tum.de>
Content-Type: text/plain; charset="iso-8859-1"
(apologies for duplicates)
************************************************************************
STACS 2015 CALL FOR PAPERS
32nd International Symposium on Theoretical Aspects of Computer Science
March 4 - 7, 2015, Garching near Munich, Germany
Submission Deadline: Sep 21, 2014 (23:59:59 GMT/UTC)
http://www14.in.tum.de/STACS2015
************************************************************************
SCOPE
*****
Authors are invited to submit papers presenting original and unpublished
research on theoretical aspects of computer science. Typical areas include
(but are not limited to):
- algorithms and data structures, including: parallel, distributed,
approximation, and randomized algorithms, computational geometry,
cryptography, algorithmic learning theory, algorithmic game theory,
analysis of algorithms;
- automata and formal languages;
- computational complexity, parameterized complexity, randomness in
computation;
- logic in computer science, including: semantics, specification
and verification, rewriting and deduction;
- current challenges, for example: natural computing, quantum computing,
mobile and net computing.
PROGRAM COMMITTEE
*****************
Andris Ambainis, FPM, U Riga
Hagit Attiya, CS, Technion, Haifa
Johannes Bl?mer, CS, U Paderborn
Mikolaj Bojanczyk, II, U Warsaw
Tom?s Br?zdil, Masaryk U, Brno
Niv Buchbinder, SOR, Tel Aviv U
Anuj Dawar, CL, U Cambridge
Adrian Dumitrescu, CS, U Wisconsin-Milwaukee
Matthias Englert, DIMAP/DCS, U Warwick
Funda Ergun, SoIC, Indiana U
Fedor Fomin, IN, U Bergen
Tobias Friedrich, FMI, FSU Jena
Christian Gla?er, I1, U W?rzburg
Etienne Grandjean, GREYC, Caen
Tomasz Jurdzinski, U Wrozlaw
Manfred Kufleitner, FMI, U Stuttgart
Jerome Leroux, CNRS, LaBRI, Bordeaux
Ernst W. Mayr, TUM, M?nchen (co-chair)
Peter Bro Miltersen, CS, U Aarhus
Nicolas Ollinger, LIFO, Orl?ans (co-chair)
Sylvain Perifel, LIAFA, Paris 7
Jayalal Sarma, IIT, Madras
Nicolas Schabanel, CNRS, LIAFA, Paris 7
Lutz Schr?der, FAU Erlangen-N?rnberg
Dimitrios M. Thilikos, CNRS, LIRMM, Montpellier
Gerhard Woeginger, TUE, Eindhoven
INVITED SPEAKERS
****************
Sanjeev Arora, CS, Princeton
Manuel Bodirsky, CNRS, LIX, Palaiseau
Peter Sanders, KIT, Karlsruhe
TUTORIAL
********
Felix Brandt, TUM, Munich: Computational Social Choice
tba: Algorithmic Game Theory
IMPORTANT DATES
***************
Submission website opens: Jun 22, 2014
Submission deadline: Sep 21, 2014 (23:59:59 GMT/UTC)
Rebuttal period: Nov 15 - 17, 2014
Notification: Dec 5, 2014
Final version due: Jan 7, 2015
Symposium: Mar 4 - 7, 2015
SUBMISSIONS
***********
Authors are invited to submit a draft of a full paper with at most 12 pages
(excluding the references section). The usage of pdflatex and the LIPIcs
style file (see below) are mandatory; no changes to font size, page geometry
etc. are permitted. Submissions not in the correct format or submitted
after the deadline will not be considered.
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 must be put into an appendix, to be read by the program
committee members at their discretion.
Simultaneous submission to other conferences with published proceedings or
to journals is not allowed. PC members are excluded from submitting. As a
novelty for STACS, there will also be a rebuttal period for authors. Authors
will receive the reviews of their submissions (via EasyChair) on Nov 14/15
and have three days (Nov 15 - 17) to submit rebuttals (via EasyChair). These
rebuttals become part of the PC meeting, but entail no specific responses.
The submission site, which opens on Jun 22, 2014, is
https://www.easychair.org/conferences/?conf=stacs2015
LIPICS STYLE FILES
******************
LIPIcs homepage: http://www.dagstuhl.de/en/publications/lipics
tar ball: http://drops.dagstuhl.de/styles/lipics/lipics-authors.tgz
CONTACT INFORMATION
*******************
http://www14.in.tum.de/STACS2015 (for general information)
pc-chairs-stacs2015@easychair.org (for information regarding paper
submission)
_______________________________________________________________________
Prof. Ernst W. Mayr Tel.: +49-89-289-17704
Lehrstuhl f?r Effiziente Algorithmen Sekr.: +49-89-289-17706
Fakult?t f?r Informatik, I14 Fax: +49-89-289-17707
TU M?nchen E-Mail: mayr@in.tum.de
Boltzmannstra?e 3
85748 Garching Raum: MI 03.09.052
Germany URL: http://www.in.tum.de/~mayr/
_______________________________________________________________________
------------------------------
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 77, Issue 18
**************************************
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. PostDoc Position in GraphDrawing (Andr? Schulz)
2. PhD studentship in Mathematics and Statistics, The Open
University (Robert Brignall)
3. ICDCN 2015: Extended submission deadline to Aug. 4, 2014
(St?phane Devismes)
4. CSoNet'14: Deadline Extended: July 31: Workshop on
Computational Social Networks, Hawaii, Dec. 2014 (Thang N. Dinh)
5. Research Associate, RWTH Aachen, Mathematical Optimization
(L?bbecke)
6. Call for Papers STACS 2015 (Ernst W. Mayr)
----------------------------------------------------------------------
Message: 1
Date: Thu, 24 Jul 2014 14:52:24 +0200
From: Andr? Schulz <andre.schulz@uni-muenster.de>
To: dmanet@zpr.uni-koeln.de
Subject: [DMANET] PostDoc Position in GraphDrawing
Message-ID: <6CDD5EAE-C2BD-45D7-970D-9E4B35160AFA@uni-muenster.de>
Content-Type: text/plain; charset=iso-8859-1
We announce
ONE PostDoc Position for 18 months
at the Westf?lische Wilhelms-Universit?t M?nster, Germany, at the Institute of
Mathematical Logic, as part of the research project "Graph Drawing with Low Visual
Complexity" funded by the German Research Foundation (DFG). The position is
for 18 months with the chance of an extension for another 18 month.
The project is supervised by Prof. Andr? Schulz ( http://cs.uni-muenster.de/u/schulz ).
The aim of the project is to develop and to evaluate new algorithms for drawing graphs
in the plane while using a small ground set of geometric objects. The
developed algorithms will be evaluated with theoretical methods and also in
online user studies.
We expect that the candidate has (or is very close to) a PhD in Computer Science
or Mathematics and a solid background in discrete math and algorithms. Ideally, the
applicant has knowledge and interest in at least one of the following fields:
- graph drawing
- algorithms
- graph theory
- computational geometry
Good programming skills are mandatory. Experience in statistical analysis of
empirical data would be a plus.
Please send your applications consisting of
- a cover letter,
- curriculum vitae,
- the PhD thesis (preliminary version, if not finished),
- a letter of reference (to be directly sent to us),
to
Prof. Dr. Andr? Schulz
Institut f?r Mathematische Logik und Grundlagenforschung
Fachbereich Mathematik und Informatik der Universit?t M?nster
Einsteinstra?e 62
D-48149 M?nster, Germany
It is also possible to apply via email. In this case send your application as
one single pdf-file to andre.schulz[at]uni-muenster.de .
The deadline is September 30, but applications will be considered until the position
is filled.
If you have further questions about the position, please send an email
to andre.schulz[at]uni-muenster.de .
------------------------------
Message: 2
Date: Fri, 25 Jul 2014 00:02:58 +0100
From: Robert Brignall <rbrignall@gmail.com>
To: dmanet <dmanet@zpr.uni-koeln.de>
Subject: [DMANET] PhD studentship in Mathematics and Statistics, The
Open University
Message-ID:
<CALYwQpBC82s+s_137jUN8gjFcJPQFT55y_mqy07=OoqiG3NLeQ@mail.gmail.com>
Content-Type: text/plain; charset=UTF-8
Department of Mathematics and Statistics, Faculty of Mathematics,
Computing and Technology, The Open University
We have one full-time PhD studentship available, to start 1st October 2014.
The studentship covers full-time fees, and includes a stipend
(currently ?13,726 per annum) and a ?1250 annual travel allocation.
Students are based on-campus in Milton Keynes, UK.
Research projects are available in applied mathematics, pure
mathematics, history of mathematics and statistics, and can be seen at
http://www.mathematics.open.ac.uk/phd
They include one project in discrete mathematics/combinatorics.
Interested persons are strongly encouraged to make informal enquiries to
mcs-mathematics-enquiries@open.ac.uk as soon as possible, and ideally
by 11th August 2014.
Overseas applicants are welcome but those from a non-European Economic
Area country that is not majority English-speaking must hold a Common
European Framework of Reference for Languages (CEFR) certificate for
English at B2 level or higher.
------------------------------
Message: 3
Date: Fri, 25 Jul 2014 08:50:23 +0200
From: St?phane Devismes <stephane.devismes@imag.fr>
To: dmanet@zpr.uni-koeln.de
Subject: [DMANET] ICDCN 2015: Extended submission deadline to Aug. 4,
2014
Message-ID: <53D1FE2F.1090900@imag.fr>
Content-Type: text/plain; charset=ISO-8859-1; format=flowed
[We apologize if you receive multiple copies of this CFP.]
16th International Conference on Distributed Computing and Networking
January 4-7 2015, Goa, India http://www.icdcn.org
Important Dates
Due date for submission: August 4th 2014 (extended)
Date for notification: September 26th 2014
Date for camera-ready submission: October 15th 2014
ICDCN is a premier international conference dedicated to addressing
advances in Distributed Computing and Communication Networks, which over
the years, has become a leading forum for disseminating the latest
research results in these fields. As in the past, ICDCN 2015 will be
organized in two tracks: Distributed Computing and Networking, and will
comprise a highly selective technical program consisting of refereed
concise papers, panel discussions as well as focused workshops on
emerging topics. Papers describing original research work and practical
experiences/experimental results are solicited on topics including, but
not limited to:
I. Distributed Computing Track
- Distributed algorithms : design, analysis, and complexity
- Local algorithms and Congestion aware algorithms
- Distributed biological algorithms and bio-inspired distributed
algorithms
- Concurrent data structures
- Concurrent, Synchronization, and transactional memory
- Distributed operating systems and distributed database systems
- Embedded distributed systems
- Experiments and performance evaluation of distributed systems
- Fault-tolerance, reliability, and availability
- Multiprocessor & multi-core architectures & algorithms
- Self-organization, self-stabilization, & autonomic computing
- High performance computing, grid/cluster/cloud computing
- Security, cryptography, & game theory in distributed systems
- Distributed computing issues in large scale systems such as the
Internet
II. Networking Track
- Ad hoc, sensor and mesh networks
- BANs, PANs and home networks
- Cellular networks (4G/LTE/WiMax)
- Vehicular area networks
- Integration of heterogeneous networks
- Network virtualization
- Data center and cloud networking
- Software defined and cognitive radio networks
- Future Internet design
- Next generation & converged network architectures
- Overlay & peer-to-peer networks and services
- Internetworking protocols & Internet applications
- Network security & privacy
- Energy-efficient networking
- Networking for the smart grid
- Pricing and network economics
GENERAL CHAIRS
Sajal K. Das (Co-chair), Missouri University of Science and Technology,
USA, sdas@mst.edu
Dilip Krishnaswamy (Co-chair), IBM Research, Bangalore, India,
dilikris@in.ibm.com
Santonu Sarkar (Vice-chair), Infosys Labs, Bangalore, India
Santonu_Sarkar01@infosys.com
DISTRIBUTED COMPUTING
TRACK PC CHAIRS
Amos Korman, CNRS, Univ of Paris, France, amos.korman@gmail.com
Srikanth Sastry, Google, New York, USA, ssastry@google.com
NETWORKING TRACK PC CHAIRS
Mohan Kumar, Rochester Institute of Technology, USA, mjkvcs@rit.edu
Marius Portmann, University of Queensland, Australia, marius@itee.uq.edu.au
ORGANIZING COMMITTEE
Bharat Deshpande (Chair), BITS-Goa campus, India,
bmd@goa.bits-pilani.ac.in
Sanjay Kumar Sahay, BITS-Goa campus, India,
ssahay@goa.bits-pilani.ac.in
STUDENT SYMPOSIUM CHAIRS
Kishore Kothapalli, IIIT Hyderabad, India, kkishore@iiit.ac.in
Sathya Peri, IIT Patna, India, peri.sathya@gmail.com
STEERING COMMITTEE
Sajal K. Das (Co-chair), Missouri University of Science and Technology,
USA, sdas@mst.edu
Sukumar Ghosh (Co-chair), University of Iowa, USA. sukumar-ghosh@uiowa.edu
Vijay Garg, University of Texas at Austin, USA
Dilip Krishnaswamy, IBM Research, Bangalore, India
Sanjoy Paul, Accenture, India
David Peleg, Weizmann Institute of Science, Israel
Michel Raynal, IRISA, France
Submisson Instructions
-----------------------
Papers should not exceed 10 pages double column including figures,
tables, and references in standard ACM format. Additional details may be
included in a clearly-marked appendix, not exceeding one page that will
be read at the discretion of the program committee. Papers must be
submitted electronically in printable pdf form via the EasyChair
submission management system at
https://www.easychair.org/conferences/?conf=icdcn2015.
Templates for the standard ACM format can be found at
http://www.acm.org/sigs/publications/proceedings-templates. Both strict
and alternate styles are acceptable for submission. No changes to
margins, spacing, or font sizes are allowed from those specified by the
style files. Papers violating the formatting guidelines will be returned
without review. The proceedings will be published through ACM and will
be available in ACM Digital library. Some papers not accepted as regular
papers may be accepted as "Concise papers" with 4 ACM pages in the
proceedings while full papers will be allowed 10 ACM pages.
Warning: It is ACM policy not to allow double submissions, where the
same paper is submitted to more than one conference/journal
concurrently. Any double submissions detected will be immediately
rejected from all conferences/journals involved. At least one author of
each accepted paper must register for the conference and present the paper.
------------------------------
Message: 4
Date: Fri, 25 Jul 2014 06:29:52 -0400
From: "Thang N. Dinh" <tdinh@cise.ufl.edu>
To: dmanet@zpr.uni-koeln.de
Subject: [DMANET] CSoNet'14: Deadline Extended: July 31: Workshop on
Computational Social Networks, Hawaii, Dec. 2014
Message-ID:
<CABtTHTNrx7f9_8Tq4wYxsZwgDTA77qrg8SWjV6gqWAsX-Tp2gw@mail.gmail.com>
Content-Type: text/plain; charset=UTF-8
Our apology if you receive multiple copies of this
==========================================================
CFP: 3rd Workshop on Computational Social Networks
CSoNet 2014 - http://csonet14.vcu.edu/
Dec. 21, 2014, Maui, Hawaii, In conjunction with COCOA '14
==========================================================
Computing in social network science has recently become one of the
central themes across mathematical science, information and
communication technology, which attracts a significant interest from
researchers in mathematics, computer science, system science, and
social science. The objective of this workshop is to advance and
promote the theoretical foundation, mathematical aspects as well as
applications of social computing.
The topics of interest include (but are not limited to):
* Mathematical modelling and analysis
* Real-world complex systems
* Information retrieval in social contexts, political analysts
* Network structure analysis
* Network dynamics optimization
* Complex network robustness and vulnerability
* Information diffusion models and analysis
* Security and privacy
* Searching in complex networks
* Efficient algorithms
IMPORTANT DATES
------------------
* Paper submission due: ***July 31, 2014***
* Notification of Acceptance: August 21, 2014
* Camera-ready: September 04, 2014
PUBLICATION
----------------
Accepted papers will be published in LNCS - Springer along with main
papers of COCOA 2014. Extended version of selected papers will be
published in a special issue of Computational Social Networks journal
by Springer.
SUBMISSION
----------------
Authors who are interested in the above topics can submit their
unpublished work to this workshop via Easychair using LNCS style. The
maximum length of paper (including references) is 10 pages.
ORGANIZERS
-----------------
Steering Committee
My T. Thai, University of Florida, USA
Zhi-Li Zhang, University of Minnesota, USA
Weili Wu, University of Texas - Dallas, USA
PC Chairs
My T. Thai, University of Florida, USA
Thang Dinh, Virginia Commonwealth University, USA
Publicity Chair
Nam P. Nguyen, Towson University, USA
Technical Program Committee
Nitin Agarwal, (University of Arkansas at Little Rock, USA)
Thang Dinh, (Virginia Commonwealth University, USA) (Co-Chair)
Carol Fung, (Virginia Commonwealth University, USA)
Konstantinos Georgiou, (University of Waterloo, Canada)
Donghyun Kim, (North Carolina Central University, USA)
Sang-Wook Kim, (Hanyang University, South Korea)
Ee-Peng Lim, (Singapore Management University, Singapore)
Ramasuri Narayanam, (IBM Research, India)
Nam Nguyen, (Towson University, USA)
Vinh Nguyen, (University of Melbourne, Australia)
Georgios Piliouras, (Georgia Institute of Technology, USA)
Panos Pardalos, (University of Florida, USA)
Yang Song, (IBM Research, USA)
My Thai, (University of Florida, USA) (Co-Chair)
Mario Ventresca, (Purdue University, USA)
Anil Kumar Vullikanti, (Virginia Tech, USA)
Ying Zhao, (Tsinghua University, China)
------------------------------
Message: 5
Date: Fri, 25 Jul 2014 11:39:39 +0000
From: L?bbecke, Marco <marco.luebbecke@rwth-aachen.de>
To: "dmanet@zpr.uni-koeln.de" <dmanet@zpr.uni-koeln.de>
Subject: [DMANET] Research Associate, RWTH Aachen, Mathematical
Optimization
Message-ID:
<BBC854256BA48F46B07A283CE292E0773AE32F9D@MBX-W3.rwth-ad.de>
Content-Type: text/plain; charset="iso-8859-1"
RWTH Aachen University, Operations Research, www.or.rwth-aachen.de
research associate in
mathematics, computer science, operations research
We invite applications for a position as the scientific and technical team lead in the RWTH Aachen university course timetabling project "carpe diem!". The position as research associate is paid according to German TV-L E13 100%, and should be filled as soon as possible. The project duration is 1.5 years, to be extended by 2.5 more years.
Our team of nine research staff is interested in integer programming, computational optimization, algorithm engineering, scheduling, and graph and network algorithms, both in theory and practical applications thereof. The "carpe diem!" project is a joint effort together with many university members, in collaboration with the TU Berlin, with the aim of providing course timetables which are most beneficial for students and teaching staff. It is a challenging task in many ways.
The successful candidate is responsible for the further development of mathematical optimization models and algorithms, to research in practically relevant directions, such as robust timetabling and mechanism design for gathering teaching preferences. We expect a profound knowledge in mathematical (in paticular discrete and integer) optimization. A talent in producing theoretical results is as desired as a determination to successfully solve real-world optimization problems. The existing software needs to be maintained and extended. Therefore, very good computer skills in general and experience with software development are a must. The post requires strong communication skills, creativity, curiosity, and commitment. There is no teaching obligation. Fluency in the German language is indispensable.
We provide the opportunity to work towards a doctoral degree. It is natural to pick a research topic related to the practical project, but this is not a requirement.
For more information on formal requirements and how to apply please follow the link to the German official opening: http://www.zhv.rwth-aachen.de/mainzhv.php?scriptid=job¶m=vorschau&nr=14277&typ=wiss
Application deadline is August 15, 2014.
------------------------------
Message: 6
Date: Fri, 25 Jul 2014 15:12:39 +0200
From: "Ernst W. Mayr" <mayr@in.tum.de>
To: <dmanet@zpr.uni-koeln.de>
Subject: [DMANET] Call for Papers STACS 2015
Message-ID: <00b001cfa80a$1cfdad00$56f90700$@in.tum.de>
Content-Type: text/plain; charset="iso-8859-1"
(apologies for duplicates)
************************************************************************
STACS 2015 CALL FOR PAPERS
32nd International Symposium on Theoretical Aspects of Computer Science
March 4 - 7, 2015, Garching near Munich, Germany
Submission Deadline: Sep 21, 2014 (23:59:59 GMT/UTC)
http://www14.in.tum.de/STACS2015
************************************************************************
SCOPE
*****
Authors are invited to submit papers presenting original and unpublished
research on theoretical aspects of computer science. Typical areas include
(but are not limited to):
- algorithms and data structures, including: parallel, distributed,
approximation, and randomized algorithms, computational geometry,
cryptography, algorithmic learning theory, algorithmic game theory,
analysis of algorithms;
- automata and formal languages;
- computational complexity, parameterized complexity, randomness in
computation;
- logic in computer science, including: semantics, specification
and verification, rewriting and deduction;
- current challenges, for example: natural computing, quantum computing,
mobile and net computing.
PROGRAM COMMITTEE
*****************
Andris Ambainis, FPM, U Riga
Hagit Attiya, CS, Technion, Haifa
Johannes Bl?mer, CS, U Paderborn
Mikolaj Bojanczyk, II, U Warsaw
Tom?s Br?zdil, Masaryk U, Brno
Niv Buchbinder, SOR, Tel Aviv U
Anuj Dawar, CL, U Cambridge
Adrian Dumitrescu, CS, U Wisconsin-Milwaukee
Matthias Englert, DIMAP/DCS, U Warwick
Funda Ergun, SoIC, Indiana U
Fedor Fomin, IN, U Bergen
Tobias Friedrich, FMI, FSU Jena
Christian Gla?er, I1, U W?rzburg
Etienne Grandjean, GREYC, Caen
Tomasz Jurdzinski, U Wrozlaw
Manfred Kufleitner, FMI, U Stuttgart
Jerome Leroux, CNRS, LaBRI, Bordeaux
Ernst W. Mayr, TUM, M?nchen (co-chair)
Peter Bro Miltersen, CS, U Aarhus
Nicolas Ollinger, LIFO, Orl?ans (co-chair)
Sylvain Perifel, LIAFA, Paris 7
Jayalal Sarma, IIT, Madras
Nicolas Schabanel, CNRS, LIAFA, Paris 7
Lutz Schr?der, FAU Erlangen-N?rnberg
Dimitrios M. Thilikos, CNRS, LIRMM, Montpellier
Gerhard Woeginger, TUE, Eindhoven
INVITED SPEAKERS
****************
Sanjeev Arora, CS, Princeton
Manuel Bodirsky, CNRS, LIX, Palaiseau
Peter Sanders, KIT, Karlsruhe
TUTORIAL
********
Felix Brandt, TUM, Munich: Computational Social Choice
tba: Algorithmic Game Theory
IMPORTANT DATES
***************
Submission website opens: Jun 22, 2014
Submission deadline: Sep 21, 2014 (23:59:59 GMT/UTC)
Rebuttal period: Nov 15 - 17, 2014
Notification: Dec 5, 2014
Final version due: Jan 7, 2015
Symposium: Mar 4 - 7, 2015
SUBMISSIONS
***********
Authors are invited to submit a draft of a full paper with at most 12 pages
(excluding the references section). The usage of pdflatex and the LIPIcs
style file (see below) are mandatory; no changes to font size, page geometry
etc. are permitted. Submissions not in the correct format or submitted
after the deadline will not be considered.
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 must be put into an appendix, to be read by the program
committee members at their discretion.
Simultaneous submission to other conferences with published proceedings or
to journals is not allowed. PC members are excluded from submitting. As a
novelty for STACS, there will also be a rebuttal period for authors. Authors
will receive the reviews of their submissions (via EasyChair) on Nov 14/15
and have three days (Nov 15 - 17) to submit rebuttals (via EasyChair). These
rebuttals become part of the PC meeting, but entail no specific responses.
The submission site, which opens on Jun 22, 2014, is
https://www.easychair.org/conferences/?conf=stacs2015
LIPICS STYLE FILES
******************
LIPIcs homepage: http://www.dagstuhl.de/en/publications/lipics
tar ball: http://drops.dagstuhl.de/styles/lipics/lipics-authors.tgz
CONTACT INFORMATION
*******************
http://www14.in.tum.de/STACS2015 (for general information)
pc-chairs-stacs2015@easychair.org (for information regarding paper
submission)
_______________________________________________________________________
Prof. Ernst W. Mayr Tel.: +49-89-289-17704
Lehrstuhl f?r Effiziente Algorithmen Sekr.: +49-89-289-17706
Fakult?t f?r Informatik, I14 Fax: +49-89-289-17707
TU M?nchen E-Mail: mayr@in.tum.de
Boltzmannstra?e 3
85748 Garching Raum: MI 03.09.052
Germany URL: http://www.in.tum.de/~mayr/
_______________________________________________________________________
------------------------------
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 77, Issue 18
**************************************
dmanet Digest, Vol 77, Issue 17
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. Last Week, July 26 || SENSORDEVICES 2014 || November 16 - 20,
2014 - Lisbon, Portugal (Cristina Pascual)
2. ICDCN 2015: One day before the deadline ! (St?phane Devismes)
----------------------------------------------------------------------
Message: 1
Date: Thu, 24 Jul 2014 09:47:47 +0200
From: Cristina Pascual<cris.pascual.gonzalez@gmail.com>
To: dmanet@zpr.uni-koeln.de
Subject: [DMANET] Last Week, July 26 || SENSORDEVICES 2014 || November
16 - 20, 2014 - Lisbon, Portugal
Message-ID: <201407240747.s6O7llYi006531@smtp.upv.es>
Content-Type: text/plain; charset=us-ascii
INVITATION:
=================
Please consider to contribute to and/or forward to the appropriate groups the following opportunity to submit and publish original scientific results to SENSORDEVICES 2014.
The submission deadline is extended to July 26, 2014.
Authors of selected papers will be invited to submit extended article versions to one of the IARIA Journals: http://www.iariajournals.org
=================
============== SENSORDEVICES 2014 | Call for Papers ===============
CALL FOR PAPERS, TUTORIALS, PANELS
SENSORDEVICES 2014, The Fifth International Conference on Sensor Device Technologies and Applications
November 16 - 20, 2014 - Lisbon, Portugal
General page: http://www.iaria.org/conferences2014/SENSORDEVICES14.html
Call for Papers: http://www.iaria.org/conferences2014/CfPSENSORDEVICES14.html
Submission page: http://www.iaria.org/conferences2014/SubmitSENSORDEVICES14.html
Contributions:
- regular papers
- short papers (work in progress)
- posters
- ideas
- presentations
- demos
- doctoral forum submissions
Proposals for:
- symposia
- workshops
Submission deadline: July 26, 2014
Sponsored by IARIA, www.iaria.org
Extended versions of selected papers will be published in IARIA Journals: http://www.iariajournals.org
Print proceedings will be available via Curran Associates, Inc.: http://www.proceedings.com/9769.html
Articles will be archived in the free access ThinkMind Digital Library: http://www.thinkmind.org
The topics suggested by the conference can be discussed in term of concepts, state of the art, research, standards, implementations, running experiments, applications, and industrial case studies. Authors are invited to submit complete unpublished papers, which are not under review in any other conference or journal in the following, but not limited to, topic areas.
All tracks are open to both research and industry contributions, in terms of Regular papers, Posters, Work in progress, Technical/marketing/business presentations, Demos, Tutorials, and Panels.
Before submission, please check and comply with the Editorial rules: http://www.iaria.org/editorialrules.html
SENSORDEVICES 2014 Topics (topics and submission details: see CfP on the site)
Sensor devices
Movement sensors (acceleration, rotation, speed, inclination, torque, vibrations, resonance); Atmosphere sensors (gas, oxygen, temperature, moisture, vacuum, pressure, wind); Position sensors (displacement, position, proximity, level, gap); Liquid sensors (flow, moisture, humidity, pH, pressure); Sound sensors (acoustic, ultrasonic, resonance); Technology-oriented sensors (nanosensors, optical, chemical, magnetic, biosensors)
Ultrasonic and Piezosensors
Design; Technologies; Signal conditioning; Applications
Photonics
Photonics-based sensors; Optoelectronics; Photonics-based metrology and instrumentation; Photonic integrated circuits; Opto-electro-mechanical sensors and systems
Infrared
Infrared sensing; Passive infrared sensors; Infrared proximity sensors; Infrared temperature sensors; Infrared motion sensors; Infrared sonics; Pyroelectric infrared
Gas Sensors
Non-Dispersive Infrared Gas Sensors; Electrochemical Gas Sensors; Optical Gas Sensors; Gas Sensors Applications: Health & Safety; Environmental Monitoring; Water & Waste Treatment ; Aerospace & Automobile Industries; Materials for Gas Sensors; Physical, Chemical and Biological Methods in Gas Sensing; Micro and Nano Technology in Gas Sensing.
Geosensors
Geosensor networks; Monitoring geographic space change, Tracking moving objects; Spatiotemporal sensors; Motion imagery records and analysis; Geovisualization; Application of geosensor networks
Sensor device technologies
Energy harvesting for autonomous sensors; Smart sensors; Embedded sensors; Nanomaterials for sensors; Nanowire sensors; Nanoparticule-based technologies; Ultrasonic technologies; Film-bases sensors; Resonant systems; Optical interferometry; Micro-and nanofabrication; Coating materials
Sensors signal conditioning and interfacing circuits
Direct sensor-to-microcontroller interfacing; ASICs and ICs for sensors; Signal conditioning; Signal processing; Sensors buses and interfaces; Multi-sensor signal conditioning and sensor arrays; Smart sensor interfaces; Digital and analog sensor interfaces; Universal sensors and transducers interface
Medical devices and sensors applications
Design and technologies for medical devices and sensors; Specialized sensors: EEG, ECG, accelerometers, pressure sensors, temperature sensors; Body sensors
Sensors domain-oriented devices, technologies, and applications
Environmental sensors; Bridges and civil construction sensors; Security sensors; Surveillance sensors; Space sensors; Image sensors
Sensor-based localization and tracking technologies
Distributed and cooperative methods for ad hoc sensor networks; Measurement techniques (RSS, TOA, TDOA, etc.); Indoor/outdoor localization and tracking; Localization and tracking using satellites (GPS, Galileo); Radars; Remote sensing
Sensors and Transducers for Non-Destructive Testing
Ultrasonic Transducers for NDT; Ground Penetrating Radars; Acoustic Guided Waves Transducers; Piezoelectric and Acoustic Materials for Transducers Applications; Fluxgate and Magneto Inductive Sensors; Optical Fiber Sensors; Eddy Current Sensors.
---------------------------------
Committee: http://www.iaria.org/conferences2014/ComSENSORDEVICES14.html
SENSORDEVICES Advisory Chairs
Sergey Y. Yurish, International Frequency Sensor Association (IFSA), Spain
Petre Dini, Concordia University, Canada / China Space Agency Center, China
Elena Gaura, Coventry University, UK
Vittorio Ferrari, Universit� di Brescia, Italy
SENSORDEVICES 2014 Research/Industry Chairs
Raluca - Ioana Stefan-van Staden, National Institute of Research for Electrochemistry and Condensed Matter, Bucharest, Romania
Alberto Y�fera, Centro Nacional de Microelectronica (CNM-CSIC) - Sevilla, Spain
SENSORDEVICES Special Area Chairs
Ultrasonic and piezoelectric sensors
Thomas Herzog, Fraunhofer Institute for Non-Destructive Testing IZFP - Dresden, Germany
Henning Heuer, Fraunhofer Institute for Non-Destructive Testing IZFP - Dresden, Germany
Optical sensors
V�tor Carvalho, Minho University, Portugal
Irinela Chilibon, National Institute of Research and Development for Optoelectronics - Bucharest, Romania
Gas sensors
Dongfang Yang, National Research Council Canada - London, Canada
Nanosensors
Marco Tartagni, University of Bologna - Cesena, Italy
Testing and validation
Ksenia V. Sapozshnikova D.I. Mendeleyev Institute for Metrology - St. Petersburg, Russia
Vibration sensors
Subodh Kumar Singhal, National Physical Laboratory, New Delhi, India
================================================
------------------------------
Message: 2
Date: Thu, 24 Jul 2014 11:18:51 +0200
From: St?phane Devismes <stephane.devismes@imag.fr>
To: dmanet@zpr.uni-koeln.de
Subject: [DMANET] ICDCN 2015: One day before the deadline !
Message-ID: <53D0CF7B.2040700@imag.fr>
Content-Type: text/plain; charset=ISO-8859-1; format=flowed
[We apologize if you receive multiple copies of this CFP.]
16th International Conference on Distributed Computing and Networking
January 4-7 2015, Goa, India http://www.icdcn.org
Important Dates
Due date for submission: July 25th 2014
Date for notification: September 26th 2014
Date for camera-ready submission: October 15th 2014
ICDCN is a premier international conference dedicated to addressing
advances in Distributed Computing and Communication Networks, which over
the years, has become a leading forum for disseminating the latest
research results in these fields. As in the past, ICDCN 2015 will be
organized in two tracks: Distributed Computing and Networking, and will
comprise a highly selective technical program consisting of refereed
concise papers, panel discussions as well as focused workshops on
emerging topics. Papers describing original research work and practical
experiences/experimental results are solicited on topics including, but
not limited to:
I. Distributed Computing Track
- Distributed algorithms : design, analysis, and complexity
- Local algorithms and Congestion aware algorithms
- Distributed biological algorithms and bio-inspired distributed
algorithms
- Concurrent data structures
- Concurrent, Synchronization, and transactional memory
- Distributed operating systems and distributed database systems
- Embedded distributed systems
- Experiments and performance evaluation of distributed systems
- Fault-tolerance, reliability, and availability
- Multiprocessor & multi-core architectures & algorithms
- Self-organization, self-stabilization, & autonomic computing
- High performance computing, grid/cluster/cloud computing
- Security, cryptography, & game theory in distributed systems
- Distributed computing issues in large scale systems such as the
Internet
II. Networking Track
- Ad hoc, sensor and mesh networks
- BANs, PANs and home networks
- Cellular networks (4G/LTE/WiMax)
- Vehicular area networks
- Integration of heterogeneous networks
- Network virtualization
- Data center and cloud networking
- Software defined and cognitive radio networks
- Future Internet design
- Next generation & converged network architectures
- Overlay & peer-to-peer networks and services
- Internetworking protocols & Internet applications
- Network security & privacy
- Energy-efficient networking
- Networking for the smart grid
- Pricing and network economics
GENERAL CHAIRS
Sajal K. Das (Co-chair), Missouri University of Science and Technology,
USA, sdas@mst.edu
Dilip Krishnaswamy (Co-chair), IBM Research, Bangalore, India,
dilikris@in.ibm.com
Santonu Sarkar (Vice-chair), Infosys Labs, Bangalore, India
Santonu_Sarkar01@infosys.com
DISTRIBUTED COMPUTING
TRACK PC CHAIRS
Amos Korman, CNRS, Univ of Paris, France, amos.korman@gmail.com
Srikanth Sastry, Google, New York, USA, ssastry@google.com
NETWORKING TRACK PC CHAIRS
Mohan Kumar, Rochester Institute of Technology, USA, mjkvcs@rit.edu
Marius Portmann, University of Queensland, Australia, marius@itee.uq.edu.au
ORGANIZING COMMITTEE
Bharat Deshpande (Chair), BITS-Goa campus, India,
bmd@goa.bits-pilani.ac.in
Sanjay Kumar Sahay, BITS-Goa campus, India,
ssahay@goa.bits-pilani.ac.in
STUDENT SYMPOSIUM CHAIRS
Kishore Kothapalli, IIIT Hyderabad, India, kkishore@iiit.ac.in
Sathya Peri, IIT Patna, India, peri.sathya@gmail.com
STEERING COMMITTEE
Sajal K. Das (Co-chair), Missouri University of Science and Technology,
USA, sdas@mst.edu
Sukumar Ghosh (Co-chair), University of Iowa, USA. sukumar-ghosh@uiowa.edu
Vijay Garg, University of Texas at Austin, USA
Dilip Krishnaswamy, IBM Research, Bangalore, India
Sanjoy Paul, Accenture, India
David Peleg, Weizmann Institute of Science, Israel
Michel Raynal, IRISA, France
Submisson Instructions
-----------------------
Papers should not exceed 10 pages double column including figures,
tables, and references in standard ACM format. Additional details may be
included in a clearly-marked appendix, not exceeding one page that will
be read at the discretion of the program committee. Papers must be
submitted electronically in printable pdf form via the EasyChair
submission management system at
https://www.easychair.org/conferences/?conf=icdcn2015.
Templates for the standard ACM format can be found at
http://www.acm.org/sigs/publications/proceedings-templates. Both strict
and alternate styles are acceptable for submission. No changes to
margins, spacing, or font sizes are allowed from those specified by the
style files. Papers violating the formatting guidelines will be returned
without review. The proceedings will be published through ACM and will
be available in ACM Digital library. Some papers not accepted as regular
papers may be accepted as "Concise papers" with 4 ACM pages in the
proceedings while full papers will be allowed 10 ACM pages.
Warning: It is ACM policy not to allow double submissions, where the
same paper is submitted to more than one conference/journal
concurrently. Any double submissions detected will be immediately
rejected from all conferences/journals involved. At least one author of
each accepted paper must register for the conference and present the paper.
------------------------------
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 77, Issue 17
**************************************
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. Last Week, July 26 || SENSORDEVICES 2014 || November 16 - 20,
2014 - Lisbon, Portugal (Cristina Pascual)
2. ICDCN 2015: One day before the deadline ! (St?phane Devismes)
----------------------------------------------------------------------
Message: 1
Date: Thu, 24 Jul 2014 09:47:47 +0200
From: Cristina Pascual<cris.pascual.gonzalez@gmail.com>
To: dmanet@zpr.uni-koeln.de
Subject: [DMANET] Last Week, July 26 || SENSORDEVICES 2014 || November
16 - 20, 2014 - Lisbon, Portugal
Message-ID: <201407240747.s6O7llYi006531@smtp.upv.es>
Content-Type: text/plain; charset=us-ascii
INVITATION:
=================
Please consider to contribute to and/or forward to the appropriate groups the following opportunity to submit and publish original scientific results to SENSORDEVICES 2014.
The submission deadline is extended to July 26, 2014.
Authors of selected papers will be invited to submit extended article versions to one of the IARIA Journals: http://www.iariajournals.org
=================
============== SENSORDEVICES 2014 | Call for Papers ===============
CALL FOR PAPERS, TUTORIALS, PANELS
SENSORDEVICES 2014, The Fifth International Conference on Sensor Device Technologies and Applications
November 16 - 20, 2014 - Lisbon, Portugal
General page: http://www.iaria.org/conferences2014/SENSORDEVICES14.html
Call for Papers: http://www.iaria.org/conferences2014/CfPSENSORDEVICES14.html
Submission page: http://www.iaria.org/conferences2014/SubmitSENSORDEVICES14.html
Contributions:
- regular papers
- short papers (work in progress)
- posters
- ideas
- presentations
- demos
- doctoral forum submissions
Proposals for:
- symposia
- workshops
Submission deadline: July 26, 2014
Sponsored by IARIA, www.iaria.org
Extended versions of selected papers will be published in IARIA Journals: http://www.iariajournals.org
Print proceedings will be available via Curran Associates, Inc.: http://www.proceedings.com/9769.html
Articles will be archived in the free access ThinkMind Digital Library: http://www.thinkmind.org
The topics suggested by the conference can be discussed in term of concepts, state of the art, research, standards, implementations, running experiments, applications, and industrial case studies. Authors are invited to submit complete unpublished papers, which are not under review in any other conference or journal in the following, but not limited to, topic areas.
All tracks are open to both research and industry contributions, in terms of Regular papers, Posters, Work in progress, Technical/marketing/business presentations, Demos, Tutorials, and Panels.
Before submission, please check and comply with the Editorial rules: http://www.iaria.org/editorialrules.html
SENSORDEVICES 2014 Topics (topics and submission details: see CfP on the site)
Sensor devices
Movement sensors (acceleration, rotation, speed, inclination, torque, vibrations, resonance); Atmosphere sensors (gas, oxygen, temperature, moisture, vacuum, pressure, wind); Position sensors (displacement, position, proximity, level, gap); Liquid sensors (flow, moisture, humidity, pH, pressure); Sound sensors (acoustic, ultrasonic, resonance); Technology-oriented sensors (nanosensors, optical, chemical, magnetic, biosensors)
Ultrasonic and Piezosensors
Design; Technologies; Signal conditioning; Applications
Photonics
Photonics-based sensors; Optoelectronics; Photonics-based metrology and instrumentation; Photonic integrated circuits; Opto-electro-mechanical sensors and systems
Infrared
Infrared sensing; Passive infrared sensors; Infrared proximity sensors; Infrared temperature sensors; Infrared motion sensors; Infrared sonics; Pyroelectric infrared
Gas Sensors
Non-Dispersive Infrared Gas Sensors; Electrochemical Gas Sensors; Optical Gas Sensors; Gas Sensors Applications: Health & Safety; Environmental Monitoring; Water & Waste Treatment ; Aerospace & Automobile Industries; Materials for Gas Sensors; Physical, Chemical and Biological Methods in Gas Sensing; Micro and Nano Technology in Gas Sensing.
Geosensors
Geosensor networks; Monitoring geographic space change, Tracking moving objects; Spatiotemporal sensors; Motion imagery records and analysis; Geovisualization; Application of geosensor networks
Sensor device technologies
Energy harvesting for autonomous sensors; Smart sensors; Embedded sensors; Nanomaterials for sensors; Nanowire sensors; Nanoparticule-based technologies; Ultrasonic technologies; Film-bases sensors; Resonant systems; Optical interferometry; Micro-and nanofabrication; Coating materials
Sensors signal conditioning and interfacing circuits
Direct sensor-to-microcontroller interfacing; ASICs and ICs for sensors; Signal conditioning; Signal processing; Sensors buses and interfaces; Multi-sensor signal conditioning and sensor arrays; Smart sensor interfaces; Digital and analog sensor interfaces; Universal sensors and transducers interface
Medical devices and sensors applications
Design and technologies for medical devices and sensors; Specialized sensors: EEG, ECG, accelerometers, pressure sensors, temperature sensors; Body sensors
Sensors domain-oriented devices, technologies, and applications
Environmental sensors; Bridges and civil construction sensors; Security sensors; Surveillance sensors; Space sensors; Image sensors
Sensor-based localization and tracking technologies
Distributed and cooperative methods for ad hoc sensor networks; Measurement techniques (RSS, TOA, TDOA, etc.); Indoor/outdoor localization and tracking; Localization and tracking using satellites (GPS, Galileo); Radars; Remote sensing
Sensors and Transducers for Non-Destructive Testing
Ultrasonic Transducers for NDT; Ground Penetrating Radars; Acoustic Guided Waves Transducers; Piezoelectric and Acoustic Materials for Transducers Applications; Fluxgate and Magneto Inductive Sensors; Optical Fiber Sensors; Eddy Current Sensors.
---------------------------------
Committee: http://www.iaria.org/conferences2014/ComSENSORDEVICES14.html
SENSORDEVICES Advisory Chairs
Sergey Y. Yurish, International Frequency Sensor Association (IFSA), Spain
Petre Dini, Concordia University, Canada / China Space Agency Center, China
Elena Gaura, Coventry University, UK
Vittorio Ferrari, Universit� di Brescia, Italy
SENSORDEVICES 2014 Research/Industry Chairs
Raluca - Ioana Stefan-van Staden, National Institute of Research for Electrochemistry and Condensed Matter, Bucharest, Romania
Alberto Y�fera, Centro Nacional de Microelectronica (CNM-CSIC) - Sevilla, Spain
SENSORDEVICES Special Area Chairs
Ultrasonic and piezoelectric sensors
Thomas Herzog, Fraunhofer Institute for Non-Destructive Testing IZFP - Dresden, Germany
Henning Heuer, Fraunhofer Institute for Non-Destructive Testing IZFP - Dresden, Germany
Optical sensors
V�tor Carvalho, Minho University, Portugal
Irinela Chilibon, National Institute of Research and Development for Optoelectronics - Bucharest, Romania
Gas sensors
Dongfang Yang, National Research Council Canada - London, Canada
Nanosensors
Marco Tartagni, University of Bologna - Cesena, Italy
Testing and validation
Ksenia V. Sapozshnikova D.I. Mendeleyev Institute for Metrology - St. Petersburg, Russia
Vibration sensors
Subodh Kumar Singhal, National Physical Laboratory, New Delhi, India
================================================
------------------------------
Message: 2
Date: Thu, 24 Jul 2014 11:18:51 +0200
From: St?phane Devismes <stephane.devismes@imag.fr>
To: dmanet@zpr.uni-koeln.de
Subject: [DMANET] ICDCN 2015: One day before the deadline !
Message-ID: <53D0CF7B.2040700@imag.fr>
Content-Type: text/plain; charset=ISO-8859-1; format=flowed
[We apologize if you receive multiple copies of this CFP.]
16th International Conference on Distributed Computing and Networking
January 4-7 2015, Goa, India http://www.icdcn.org
Important Dates
Due date for submission: July 25th 2014
Date for notification: September 26th 2014
Date for camera-ready submission: October 15th 2014
ICDCN is a premier international conference dedicated to addressing
advances in Distributed Computing and Communication Networks, which over
the years, has become a leading forum for disseminating the latest
research results in these fields. As in the past, ICDCN 2015 will be
organized in two tracks: Distributed Computing and Networking, and will
comprise a highly selective technical program consisting of refereed
concise papers, panel discussions as well as focused workshops on
emerging topics. Papers describing original research work and practical
experiences/experimental results are solicited on topics including, but
not limited to:
I. Distributed Computing Track
- Distributed algorithms : design, analysis, and complexity
- Local algorithms and Congestion aware algorithms
- Distributed biological algorithms and bio-inspired distributed
algorithms
- Concurrent data structures
- Concurrent, Synchronization, and transactional memory
- Distributed operating systems and distributed database systems
- Embedded distributed systems
- Experiments and performance evaluation of distributed systems
- Fault-tolerance, reliability, and availability
- Multiprocessor & multi-core architectures & algorithms
- Self-organization, self-stabilization, & autonomic computing
- High performance computing, grid/cluster/cloud computing
- Security, cryptography, & game theory in distributed systems
- Distributed computing issues in large scale systems such as the
Internet
II. Networking Track
- Ad hoc, sensor and mesh networks
- BANs, PANs and home networks
- Cellular networks (4G/LTE/WiMax)
- Vehicular area networks
- Integration of heterogeneous networks
- Network virtualization
- Data center and cloud networking
- Software defined and cognitive radio networks
- Future Internet design
- Next generation & converged network architectures
- Overlay & peer-to-peer networks and services
- Internetworking protocols & Internet applications
- Network security & privacy
- Energy-efficient networking
- Networking for the smart grid
- Pricing and network economics
GENERAL CHAIRS
Sajal K. Das (Co-chair), Missouri University of Science and Technology,
USA, sdas@mst.edu
Dilip Krishnaswamy (Co-chair), IBM Research, Bangalore, India,
dilikris@in.ibm.com
Santonu Sarkar (Vice-chair), Infosys Labs, Bangalore, India
Santonu_Sarkar01@infosys.com
DISTRIBUTED COMPUTING
TRACK PC CHAIRS
Amos Korman, CNRS, Univ of Paris, France, amos.korman@gmail.com
Srikanth Sastry, Google, New York, USA, ssastry@google.com
NETWORKING TRACK PC CHAIRS
Mohan Kumar, Rochester Institute of Technology, USA, mjkvcs@rit.edu
Marius Portmann, University of Queensland, Australia, marius@itee.uq.edu.au
ORGANIZING COMMITTEE
Bharat Deshpande (Chair), BITS-Goa campus, India,
bmd@goa.bits-pilani.ac.in
Sanjay Kumar Sahay, BITS-Goa campus, India,
ssahay@goa.bits-pilani.ac.in
STUDENT SYMPOSIUM CHAIRS
Kishore Kothapalli, IIIT Hyderabad, India, kkishore@iiit.ac.in
Sathya Peri, IIT Patna, India, peri.sathya@gmail.com
STEERING COMMITTEE
Sajal K. Das (Co-chair), Missouri University of Science and Technology,
USA, sdas@mst.edu
Sukumar Ghosh (Co-chair), University of Iowa, USA. sukumar-ghosh@uiowa.edu
Vijay Garg, University of Texas at Austin, USA
Dilip Krishnaswamy, IBM Research, Bangalore, India
Sanjoy Paul, Accenture, India
David Peleg, Weizmann Institute of Science, Israel
Michel Raynal, IRISA, France
Submisson Instructions
-----------------------
Papers should not exceed 10 pages double column including figures,
tables, and references in standard ACM format. Additional details may be
included in a clearly-marked appendix, not exceeding one page that will
be read at the discretion of the program committee. Papers must be
submitted electronically in printable pdf form via the EasyChair
submission management system at
https://www.easychair.org/conferences/?conf=icdcn2015.
Templates for the standard ACM format can be found at
http://www.acm.org/sigs/publications/proceedings-templates. Both strict
and alternate styles are acceptable for submission. No changes to
margins, spacing, or font sizes are allowed from those specified by the
style files. Papers violating the formatting guidelines will be returned
without review. The proceedings will be published through ACM and will
be available in ACM Digital library. Some papers not accepted as regular
papers may be accepted as "Concise papers" with 4 ACM pages in the
proceedings while full papers will be allowed 10 ACM pages.
Warning: It is ACM policy not to allow double submissions, where the
same paper is submitted to more than one conference/journal
concurrently. Any double submissions detected will be immediately
rejected from all conferences/journals involved. At least one author of
each accepted paper must register for the conference and present the paper.
------------------------------
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 77, Issue 17
**************************************
Wednesday, July 23, 2014
dmanet Digest, Vol 77, Issue 16
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 Extended (July 28), Symposium on Foundations &
Practice of Security (FPS 2014), Montreal, Canada, Springer LNCS
proceedings (Joaquin Garcia-Alfaro)
----------------------------------------------------------------------
Message: 1
Date: Tue, 22 Jul 2014 10:51:12 -0400
From: Joaquin Garcia-Alfaro
<joaquin.garcia_alfaro@telecom-sudparis.eu>
To: dmanet@zpr.uni-koeln.de
Subject: [DMANET] Deadline Extended (July 28), Symposium on
Foundations & Practice of Security (FPS 2014), Montreal, Canada,
Springer LNCS proceedings
Message-ID: <53CE7A60.6020404@telecom-sudparis.eu>
Content-Type: text/plain; charset=ISO-8859-1; format=flowed
Apologies for cross-posting
---------------------------
** Deadline Extended: July 28, 2014 (11:59 PM UTC-11) **
Call for Papers
===============
**The 7th International Symposium on Foundations & Practice of Security
(FPS'2014), Montreal, Canada, November 3-5, 2014.**
Important Dates
---------------
| Event | Date |
|--------------------------|--------------------------------------|
| Submission Deadline: | July 28, 2014 (Extended) |
| Acceptance Notification: | August 20, 2014 |
| Camera Ready: | September 10, 2014 |
| Conference: | November 3-5, 2014, Montreal, Canada |
Conference Website
------------------
<http://conferences.telecom-bretagne.eu/fps/2014>
Scope
-----
Protecting the communication and data infrastructure of an
increasingly inter-connected world has become vital to the normal
functioning of all aspects of our world. Security has emerged as an
important scientific discipline whose many multifaceted complexities
deserve the attention and synergy of the mathematical, computer
science and engineering communities.
After the previous meetings held in La Rochelle, Montreal, Grenoble,
Toronto and Paris, this 7th edition of the FPS symposium will be held
at Montreal.
The aim of this event is to discuss and exchange theoretical and
practical ideas that address security issues in inter-connected
systems. It aims to provide scientific presentations as well as to
establish links, promote scientific collaboration, joint research
programs, and student exchanges between institutions involved in this
important and fast moving research field.
We also invite papers from researchers and practitioners working in
security, privacy, trustworthy data systems and related areas to
submit their original papers. The main topics, but not limited to,
include:
* Security in Service Oriented Architecture & Web Services
* Security Administration & Policy-based Security Architectures
* Access Control Languages
* Cryptography & Cryptanalysis
* Threat Analysis
* Privacy & Sensitive Data Management
* Security on P2P Systems and their Applications
* Policy-based Distributed Information Systems and Security Policies
* Security in Sensor Networks and RFID
* Security of Cloud Computing, Grid Computing and their Applications
* Trust Management
* Security of Distributed Embedded Middleware
* Distributed Security Protocols
* Privacy in Social Networks
* Formal foundations in Information Security
* Side-channel analysis and Fault injection attacks
* Countermeasures against physical attacks
* Protected implementations, security by design
* Formal Verification of security properties
* Methods and Platforms for evaluation of attacks and countermeasures
* Malware, botnets, binary analysis
Submissions Guidelines
----------------------
Full papers should be at most 16 pages (using 11-point font),
excluding the bibliography and well-marked appendices. Position
papers, as well as extended abstract and contributed talks, should be
up to 8 pages (using 11-point font). Committee members are not
required to read the appendices, so the paper should be intelligible
without them. All submissions must be written in English. Authors must
submit their papers by the deadline indicated below, using the
EasyChair web site (using the link
<http://www.easychair.org/conferences/?conf=fps2014>) and following
the requirements stated there. All papers will be refereed. The
submitted contribution should be formatted according to Springer's
LNCS style. Submissions by PhD students as well as surveys and
controversial ideas are encouraged. Case studies (successful or not)
are also encouraged.
Authors should indicate whether their paper is a "position paper" to
differentiate them from regular ones (you mention "Position paper" in
the title).
Publication
-----------
Proceedings will be published by Springer-Verlag in the Lecture Notes
in Computer Science (LNCS) series. At least one author of each
accepted paper must register to the symposium, by the date indicated
by the organizers, and present the paper.
Committees
------------------
General Chair
Mourad Debbabi (University of Conccordia)
Program Committee Chairs
Philip W. L. Fong (University of Calgary)
Fr?d?ric Cuppens (Telecom Bretagne)
Organization Chairs
Lingyu Wang (University of Concrdia)
Publicity and Publication Chairs
Joaquin Garcia-Alfaro (Telecom SudParis)
Nur Zincir Heywood (Dalhousie University)
Program Committee
Diala Abi Haidar (Dar Al Hekma College)
Carlisle Adams (Ottawa University)
Gildas Avoine (UCL, Belgium)
Guillaume Bonfante (Universit? de Lorraine, LORIA)
Jordi Castell?-Roca (Rovira i Virgili Univ.)
Ana Cavalli (T?l?com SudParis)
Fr?d?ric Cuppens (TELECOM Bretagne)
Nora Cuppens-Boulahia (TELECOM Bretagne)
Mila Dalla Preda (Bologna University)
Jean-Luc Danger (Telecom ParisTech)
Mourad Debbabi (Concordia University)
Nicola Dragoni (Technical University of Denmark)
Philip W. L. Fong (University of Calgary)
Sara Foresti (Univ. degli Studi di Milano)
Eric Freyssinet (Universit? Paris 6)
Sebastien Gambs (Universit? de Rennes 1)
Joaquin Garcia-Alfaro (Telecom SudParis)
Ali Ghorbani (UNB)
Roberto Giacobazzi (University of Verona)
Sylvain Guilley (T?l?com ParisTech)
Abdelwahab Hamou-Lhadj (Concordia University)
Jordi Herrera (Universitat Aut?noma de Barcelona)
Bruce Kapron (University of Victoria)
Hyoungshick Kim (SungKyunKwan University )
Evangelos Kranakis (Carleton University)
Pascal Lafourcade (University Joseph Fourier)
Yassine Lakhnech (University Joseph Fourier)
Georgios Lioudakis (National Technical University of Athens)
Luigi Logrippo (Universit? du Qu?bec en Outaouais)
Stefan Mangard (Infineon Technologies)
Jean-Yves Marion (Mines de Nancy)
Joan Melia-Segui (Universitat Pomepu Fabra)
Ali Miri (Ryerson University)
Guillermo Navarro-Arribas (UAB)
Jordi Nin (UPC)
Andreas Pashalidis (K.U.Leuven)
Emmanuel Prouff (ANSSI)
Silvio Ranise (FBK-Irst)
Jean-Marc Robert (Ecole de technologie superieure)
Alessandro Sorniotti (SAP Research)
Anna Squicciarini (The Pennsylvania State University)
Chamseddine Talhi (ETS, Montreal)
Nadia Tawbi (Universit? LAVAL)
Alexandre Viejo (Universitat Rovira i Virgili)
Lena Wiese (Georg-August-Universit?t G?ttingen)
Nicola Zannone (Eindhoven University of Technology)
Mohammad Zulkernine (Queen's University, Canada)
Webmaster
Said Oulmakhzoune (TELECOM Bretagne)
Submission Website
------------------
<https://www.easychair.org/conferences/?conf=fps2014>
------------------------------
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 77, Issue 16
**************************************
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 Extended (July 28), Symposium on Foundations &
Practice of Security (FPS 2014), Montreal, Canada, Springer LNCS
proceedings (Joaquin Garcia-Alfaro)
----------------------------------------------------------------------
Message: 1
Date: Tue, 22 Jul 2014 10:51:12 -0400
From: Joaquin Garcia-Alfaro
<joaquin.garcia_alfaro@telecom-sudparis.eu>
To: dmanet@zpr.uni-koeln.de
Subject: [DMANET] Deadline Extended (July 28), Symposium on
Foundations & Practice of Security (FPS 2014), Montreal, Canada,
Springer LNCS proceedings
Message-ID: <53CE7A60.6020404@telecom-sudparis.eu>
Content-Type: text/plain; charset=ISO-8859-1; format=flowed
Apologies for cross-posting
---------------------------
** Deadline Extended: July 28, 2014 (11:59 PM UTC-11) **
Call for Papers
===============
**The 7th International Symposium on Foundations & Practice of Security
(FPS'2014), Montreal, Canada, November 3-5, 2014.**
Important Dates
---------------
| Event | Date |
|--------------------------|--------------------------------------|
| Submission Deadline: | July 28, 2014 (Extended) |
| Acceptance Notification: | August 20, 2014 |
| Camera Ready: | September 10, 2014 |
| Conference: | November 3-5, 2014, Montreal, Canada |
Conference Website
------------------
<http://conferences.telecom-bretagne.eu/fps/2014>
Scope
-----
Protecting the communication and data infrastructure of an
increasingly inter-connected world has become vital to the normal
functioning of all aspects of our world. Security has emerged as an
important scientific discipline whose many multifaceted complexities
deserve the attention and synergy of the mathematical, computer
science and engineering communities.
After the previous meetings held in La Rochelle, Montreal, Grenoble,
Toronto and Paris, this 7th edition of the FPS symposium will be held
at Montreal.
The aim of this event is to discuss and exchange theoretical and
practical ideas that address security issues in inter-connected
systems. It aims to provide scientific presentations as well as to
establish links, promote scientific collaboration, joint research
programs, and student exchanges between institutions involved in this
important and fast moving research field.
We also invite papers from researchers and practitioners working in
security, privacy, trustworthy data systems and related areas to
submit their original papers. The main topics, but not limited to,
include:
* Security in Service Oriented Architecture & Web Services
* Security Administration & Policy-based Security Architectures
* Access Control Languages
* Cryptography & Cryptanalysis
* Threat Analysis
* Privacy & Sensitive Data Management
* Security on P2P Systems and their Applications
* Policy-based Distributed Information Systems and Security Policies
* Security in Sensor Networks and RFID
* Security of Cloud Computing, Grid Computing and their Applications
* Trust Management
* Security of Distributed Embedded Middleware
* Distributed Security Protocols
* Privacy in Social Networks
* Formal foundations in Information Security
* Side-channel analysis and Fault injection attacks
* Countermeasures against physical attacks
* Protected implementations, security by design
* Formal Verification of security properties
* Methods and Platforms for evaluation of attacks and countermeasures
* Malware, botnets, binary analysis
Submissions Guidelines
----------------------
Full papers should be at most 16 pages (using 11-point font),
excluding the bibliography and well-marked appendices. Position
papers, as well as extended abstract and contributed talks, should be
up to 8 pages (using 11-point font). Committee members are not
required to read the appendices, so the paper should be intelligible
without them. All submissions must be written in English. Authors must
submit their papers by the deadline indicated below, using the
EasyChair web site (using the link
<http://www.easychair.org/conferences/?conf=fps2014>) and following
the requirements stated there. All papers will be refereed. The
submitted contribution should be formatted according to Springer's
LNCS style. Submissions by PhD students as well as surveys and
controversial ideas are encouraged. Case studies (successful or not)
are also encouraged.
Authors should indicate whether their paper is a "position paper" to
differentiate them from regular ones (you mention "Position paper" in
the title).
Publication
-----------
Proceedings will be published by Springer-Verlag in the Lecture Notes
in Computer Science (LNCS) series. At least one author of each
accepted paper must register to the symposium, by the date indicated
by the organizers, and present the paper.
Committees
------------------
General Chair
Mourad Debbabi (University of Conccordia)
Program Committee Chairs
Philip W. L. Fong (University of Calgary)
Fr?d?ric Cuppens (Telecom Bretagne)
Organization Chairs
Lingyu Wang (University of Concrdia)
Publicity and Publication Chairs
Joaquin Garcia-Alfaro (Telecom SudParis)
Nur Zincir Heywood (Dalhousie University)
Program Committee
Diala Abi Haidar (Dar Al Hekma College)
Carlisle Adams (Ottawa University)
Gildas Avoine (UCL, Belgium)
Guillaume Bonfante (Universit? de Lorraine, LORIA)
Jordi Castell?-Roca (Rovira i Virgili Univ.)
Ana Cavalli (T?l?com SudParis)
Fr?d?ric Cuppens (TELECOM Bretagne)
Nora Cuppens-Boulahia (TELECOM Bretagne)
Mila Dalla Preda (Bologna University)
Jean-Luc Danger (Telecom ParisTech)
Mourad Debbabi (Concordia University)
Nicola Dragoni (Technical University of Denmark)
Philip W. L. Fong (University of Calgary)
Sara Foresti (Univ. degli Studi di Milano)
Eric Freyssinet (Universit? Paris 6)
Sebastien Gambs (Universit? de Rennes 1)
Joaquin Garcia-Alfaro (Telecom SudParis)
Ali Ghorbani (UNB)
Roberto Giacobazzi (University of Verona)
Sylvain Guilley (T?l?com ParisTech)
Abdelwahab Hamou-Lhadj (Concordia University)
Jordi Herrera (Universitat Aut?noma de Barcelona)
Bruce Kapron (University of Victoria)
Hyoungshick Kim (SungKyunKwan University )
Evangelos Kranakis (Carleton University)
Pascal Lafourcade (University Joseph Fourier)
Yassine Lakhnech (University Joseph Fourier)
Georgios Lioudakis (National Technical University of Athens)
Luigi Logrippo (Universit? du Qu?bec en Outaouais)
Stefan Mangard (Infineon Technologies)
Jean-Yves Marion (Mines de Nancy)
Joan Melia-Segui (Universitat Pomepu Fabra)
Ali Miri (Ryerson University)
Guillermo Navarro-Arribas (UAB)
Jordi Nin (UPC)
Andreas Pashalidis (K.U.Leuven)
Emmanuel Prouff (ANSSI)
Silvio Ranise (FBK-Irst)
Jean-Marc Robert (Ecole de technologie superieure)
Alessandro Sorniotti (SAP Research)
Anna Squicciarini (The Pennsylvania State University)
Chamseddine Talhi (ETS, Montreal)
Nadia Tawbi (Universit? LAVAL)
Alexandre Viejo (Universitat Rovira i Virgili)
Lena Wiese (Georg-August-Universit?t G?ttingen)
Nicola Zannone (Eindhoven University of Technology)
Mohammad Zulkernine (Queen's University, Canada)
Webmaster
Said Oulmakhzoune (TELECOM Bretagne)
Submission Website
------------------
<https://www.easychair.org/conferences/?conf=fps2014>
------------------------------
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 77, Issue 16
**************************************
Subscribe to:
Posts (Atom)