Tuesday, May 5, 2015

dmanet Digest, Vol 87, Issue 5

Send dmanet mailing list submissions to
dmanet@zpr.uni-koeln.de

To subscribe or unsubscribe via the World Wide Web, visit
http://www.zaik.uni-koeln.de/mailman/listinfo/dmanet
or, via email, send a message with subject or body 'help' to
dmanet-request@zpr.uni-koeln.de

You can reach the person managing the list at
dmanet-owner@zpr.uni-koeln.de

When replying, please edit your Subject line so it is more specific
than "Re: Contents of dmanet digest..."


Today's Topics:

1. Call for papers - 7th Workshop on Theory of Transactional
Memory (WTTM) - co-located with PODC 2015 (Shady Alaa)
2. ACM e-Energy 2015: less than a week left to apply for travel
grants (vincenzo mancuso)
3. CfP - CivicTech 2015 - October 13, 2015 (Bratislava,
Slovakia) (Valeria Loscri)
4. TTL 2015 CALL FOR PARTICIPATION (Sophie Pinchinat)
5. INFORMS 2015: Call for Computing Society Tracks, Sessions,
Presentations and now Posters (Matthew Saltzman)
6. REACHABILITY PROBLEMS 2015: submissions: 11 June, 2015
(Potapov, Igor)


----------------------------------------------------------------------

Message: 1
Date: Mon, 4 May 2015 14:54:24 +0100
From: Shady Alaa <shadyalaa@gmail.com>
To: dmanet@zpr.uni-koeln.de
Subject: [DMANET] Call for papers - 7th Workshop on Theory of
Transactional Memory (WTTM) - co-located with PODC 2015
Message-ID:
<CAC9gT7+ze8AwkKhvtHm-CODVmEX_fAJTK5W6tK-6tZZGoFV9Cw@mail.gmail.com>
Content-Type: text/plain; charset=UTF-8


********** Call for papers ************

7th Workshop on the
Theory of Transactional Memory (WTTM)

July 20, 2015
Donostia-San Sebastian, Spain

co-located with the
ACM Symposium on Principles of
Distributed Computing (PODC) 2015


======================================================


The 7th Workshop on the Theory of Transactional Memory (WTTM) is a forum to
foster exchanges, discussions, and disseminations among researchers on
theoretical challenges and recent achievements in the context of concurrent
computing, with an emphasis on transactional memory.

Transactional Memory (TM) aims at making parallel programming more
programmer friendly by providing an alternative synchronization mechanism
to traditional lock-based concurrency. TM research has led to hardware TM
implementations on both commodity and high performance computing
microprocessors, as well as to TM integration in mainstream programming
languages (like C, C++) and in the world's leading open source compiler.

>From a theoretical perspective, the TM abstraction raises several
challenges in the way we view synchronization as well as in the way we
implement it. A major goal of the workshop is to explore new directions and
approaches for reasoning about Transactional Memory.

Topics of interest include, but are not limited to:
* Models and semantics for concurrent computing
* Safety and liveness properties
* Tradeoffs in TM and concurrent computing
* TM algorithms and architectures
* Impossibility results and lower bounds
* TM performance and parallelism
* Speculation-friendly and transaction-friendly data structures and their
algorithms
* Formal methods, semantics and verification of TM and concurrent systems
* TM for cluster, cloud, grid and high-performance computing
* Concurrent computing, synchronization, and shared memory
* Concurrent data structures and their algorithms
* Multiprocessor and multi-core architectures and algorithms


The Workshop website is available at this URL:
http://www.gsd.inesc-id.pt/~salaa/wttm2015/html/index.html


Program Committee
=================

* Hagit Attiya, Technion, Israel
* Panagiota Fatourou, FORTH & University of Crete, Greece (PC Co-Chair)
* Vincent Gramoli, NICTA & University of Sydney, Australia
* Rachid Guerraoui, EPFL, Switzerland
* Tim Harris, Oracle Labs, Cambridge, UK
* Maurice Herlihy, Brown University, US
* Victor Luchangco, Oracle Labs, Massachusetts, US
* Maged Michael, IBM Watson Research Center, US
* Alessia Milani, LABRI & Universite Bordeaux 1, France
* Paolo Romano, University of Lisbon/INESC-ID, Portugal (PC Co-Chair)
* Eric Ruppert, York University, Canada
* Nir Shavit, MIT, US & Tel-Aviv University, Israel


Important dates
=================
Submission deadline: 11 May 2015 (anywhere on earth)
Acceptance notification: 1 June 2015
Workshop date: 20 July 2015

Submissions
=================

We solicit submissions describing research results and/or position papers
relevant to the theory of concurrent computing with an emphasis on
transactional memory.
Submissions should be written in English and in PDF format. Submissions
should include: a title, the authors' names and their affiliations, and the
contact author?s email. Each submission must not exceed four single-column
pages (excluding references) which will describe the results. Additional
necessary details may be included in an appendix which will be read at the
discretion of the program committee.

Papers are to be submitted electronically at:

https://www.easychair.org/conferences/?conf=wttm15

The final version of the accepted papers will appear on the workshop?s web
site. These papers will be available to the participants in electronic
format during the workshop. WTTM does not publish proceedings, so accepted
papers may appear in other venues as well.



------------------------------

Message: 2
Date: Mon, 4 May 2015 17:08:35 +0200
From: vincenzo mancuso <vincenzo.mancuso@imdea.org>
To: dmanet@zpr.uni-koeln.de
Subject: [DMANET] ACM e-Energy 2015: less than a week left to apply
for travel grants
Message-ID:
<CABk+0YrO08KxTP7RRKvKMXcsj=MbdVziVtcCktURmsd6BHW5dQ@mail.gmail.com>
Content-Type: text/plain; charset=UTF-8

Travel Grant Application Submission Deadline: May 10, 2015 (23:59 EDT)

Travel Grant Award Notification: May 17, 2015 (23:59 EDT)



The Conference Organizing Committee of ACM e-Energy would like to
provide as much travel support to as many conference attendees as
possible. Support is provided for a variety of different types of
attendees, from graduate students to post-doctoral scholars. The
amount of support depends on the type of attendee and available
funding. Attendees from around the world are encouraged to apply.
Support for e-Energy 2015 travel grants will be available to students,
and post-docs, no matter which university you are working at.

Please consider the following important information before applying:

The application process is the same for all types of attendees.
Travel grant awards are meant to partially cover the cost of attending
and participating in e-Energy 2015.
Flat grants of $1000 and $500 will be offered to international (whose
home institution is outside India) and local attendees respectively.
Award recipients would need to pay for expenses ahead of time and get
reimbursed after the conference by way of the award.
The exact number of awards will depend on the availability of funds
and will be determined as funding amounts are finalized.


For more details please refer to
http://conferences.sigcomm.org/eenergy/2015/travel_grant.php


--

Dr. Vincenzo Mancuso
PhD in Electronics, Computer Science and Telecommunications

Research Assistant Professor at IMDEA Networks Institute
Avenida del Mar Mediterraneo, 22
28918 Leganes (Madrid)
SPAIN
Tel. (Office): +34 91 481 6968
Tel. (Mobile): +34 68 235 7169 [Spain]
Tel. (Mobile): +39 327 362 1897 [Italy]


------------------------------

Message: 3
Date: Mon, 4 May 2015 17:17:52 +0200
From: Valeria Loscri <valeria.loscri@inria.fr>
To: dmanet@zpr.uni-koeln.de
Subject: [DMANET] CfP - CivicTech 2015 - October 13, 2015 (Bratislava,
Slovakia)
Message-ID: <7E3DD232-D37C-4864-B634-8199BF2309E5@inria.fr>
Content-Type: text/plain; charset=utf-8

========== Our apologies for multiple copies of this email ==========


International Conference on Civic Technologies for Smart Cities (CivicTech 2015)
collocated with Smart City 360 Summit, 13 October 2015, Bratislava, Slovakia
http://civictech.eu/2015/show/home <http://civictech.eu/2015/show/home>


Scope:
1st International Conference on Civic Technologies for Smart Cities seeks novel previously unpublished contributions in smart cities research. Smart cities can be characterized as cities that offer sustainable economic environment and high quality of life, while relying on technology in order to achieve these goals. The purpose of this conference is to bring together researchers, designers, developers and practitioners interested in smart cities technologies. We invite articles discussing theoretical aspects of smart cities, simulation, modeling and experimentation, case studies and tests as well as review articles.

The event is endorsed by the European Alliance for Innovation, a leading community-based organization devoted to the advancement of innovation in the field of Smart Cities, ICT and e-Health and will be co-located with the Smart City 360 Summit.
Participation in this event will give attendees the unique opportunity to be exposed to all technical scientific aspects of Smart City related topic areas at co-located conferences, as well as be able to have full access to the Smart City market place and business aspects in practice at the Smart City 360 Summit.

Topics:
? Big data
? Urban security
? Biometrics
? Enabling wireless and mobile technologies for smart cities
? M2M Communications for Smart Cities
? IoT architectures and middleware for smart cities;
? Self-organizing wireless networks for pervasive urban access;
? Mobile-aware cloud computing models, infrastructures, and approaches for smart cities
? Crowd sourcing in smart cities
? Reliability, Security, Privacy and Trust in smart cities ecosystems;
? Sensor networks, smart sensors, smart integrated systems
? Communication protocols for smart cities
? Intelligent infrastructure
? Vehicle-to-infrastructure communication
? Smart buildings
? Modeling and simulation of smart cities
? Urban population modeling and simulation
? Smart grid
? Energy efficient technologies
? Smart traffic operation systems
? Monitoring technologies
? Fault detection technologies
? Social networks for smart cities
? Information harvesting in smart cities
? Advanced robotic systems for smart cities
? In-building navigation
? Modeling experimentation for Smart Cities
? Case Studies of Smart Cities

Highlights:

Accepted papers will be published in the CivicTech Conference Proceedings and by Springer-Verlag in the Lecture Notes of ICST (LNICST). The proceedings will be available both in book form and via the SpringerLink digital library, which is one of the largest digital libraries online and covers a variety of scientific disciplines.

The proceedings are submitted for inclusion to the leading indexing services: DBLP, Google Scholar, Thomson Scientific ISI Proceedings, EI Elsevier Engineering Index, CrossRef, Scopus, as well as ICST's own EU Digital Library (EUDL).

Best Papers will be considered for publication in the ACM/Springer Mobile Networks and Applications Journal (MONET).

Important dates
Full Paper Submission deadline: 15 June 2015
Notification deadline: 31 July 2015
Camera-ready deadline: 31 August 2015

General Chair:
Milo? Oravec, Slovak University of Technology

General Co-Chairs:
Valeria Loscri, Inria Lille-Nord Europe
Athanasios Vasilakos, Lulea University of Technology
Anna Maria Vegni, University of Roma Tre

TPC Chair:
Martin Drozda, Slovak University of Technology

Conference Manager:
Lucia Mrazova, EAI

ASK FOR INFO - info@smartcity360.org <mailto:info@smartcity360.org>


------------------------------

Message: 4
Date: Mon, 04 May 2015 21:33:36 +0200
From: Sophie Pinchinat <sophie.pinchinat@irisa.fr>
To: dmanet@zpr.uni-koeln.de
Subject: [DMANET] TTL 2015 CALL FOR PARTICIPATION
Message-ID: <5547C990.40504@irisa.fr>
Content-Type: text/plain; charset=utf-8; format=flowed


TTL 2015


CALL FOR PARTICIPATION


The 4th International Conference on Tools for Teaching Logic


http://ttl2015.irisa.fr/


9-12 June 2015, Rennes, France


TOPICS


Tools for Teaching Logic seeks for original papers with a clear
significance in the following topics (but are not limited to):
teaching logic in sciences and humanities; teaching logic at different
levels of instruction (secondary education, university level, and
postgraduate); didactic software; facing some difficulties concerning
what to teach; international postgraduate programs; resources and
challenges for e?Learning Logic; teaching Argumentation Theory,
Critical Thinking and Informal Logic; teaching specific topics, such
as Modal Logic, Algebraic Logic, Knowledge Representation, Model
Theory, Philosophy of Logic, and others; dissemination of logic
courseware and logic textbooks; teaching Logic Thinking.


KEYNOTE SPEAKERS

*


Gilles Dowek (INRIA Rocquencourt, France)

*


Mordechai Ben-Ari (Weizmann Institute of Science, Israel)

*


Claude Kirchner (INRIA, France)

*


Johan van Benthem (University of Amsterdam and Stanford university)

*


Patrick Blackburn (University of Roskilde, Denmark)

*


Nicole Schweikardt (Humboldt-Universit?t, Berlin)


PC CHAIRS

*


M. Antonia Huertas S?nchez (Universitat Oberta de Catalunya, Spain)

*


Joao Marcos (Universidade Federal Do Rio Grande do Norte, Brazil)

*


Mar?a Manzano (Universidad de Salamanca, Spain)

*


Sophie Pinchinat (Universit? Rennes 1 / IRISA, France)

*


Fran?ois Schwarzentruber (ENS Rennes / IRISA, France)


PROGRAMME COMMITTEE

*


Giovanna d?Agostino (University of Udine, Italy)

*


Carlos Areces (Univeridad Nacional de C?rdoba, Argentina)

*


Philippe Besnard (IRIT / CNRS, Toulouse, France)

*


Iliano Cervesato (Carnegie Mellon University - Qatar campus)

*


Hans van Ditmarsch (LORIA / CNRS, Nancy, France)

*


Ulle Endriss (Institute for Logic, Language and Computation,
university of Amsterdam, Netherlands)

*


Susanna Epp (DePaul university, Chicago, USA)

*


Annie Foret (Universit? de Rennes 1 / IRISA, France)

*


Mar?a Jos? Fr?polli (Universidad de Granada, Spain)

*


Tim French (University of Western Australia)

*


Olivier Gasquet (University of Toulouse 3 / IRIT, France)

*


Patrick Girard (University of Auckland, New Zealand)

*


Hubert Marraud Gonz?lez (Universidad autonoma de Madrid)

*


Valentin Goranko (Stockholm University, Sweden)

*


Andreas Herzig (IRIT / CNRS, Toulouse, France)

*


Colin de la Higuera (University in Nantes, France)

*


Steffen H?lldobler (Technische Universit?t Dresden, Germany)

*


Theo Janssen (Vrije Universiteit Amsterdam, Netherlands)

*


Fenrong Liu (Tsinghua University, China and university of
Amsterdam, Netherlands)

*


Josje Lodder (Open University of the Netherlands)

*


Concepci?n Mart?nez Vidal (Universidad de Santiago, Spain)

*


Manuel Martins (University of Aveiro, Portugal)

*


Angelo Montanari (University of Udine, Italy)

*


Angel Nepomuceno (Universidad de Sevilla, Spain)

*


Valeria de Paiva (Nuance Communications, Inc., USA)

*


Ram Ramanujam (The Institute of Mathematical Sciences, Chennai, India)

*


Christian R?tor? (Universit? de Montpellier / LIRMM, France)

*


Giovanni Sambin (Universit? degli studi di Padova, Italy)

*


Martin Strecker (Universit? de Toulouse 3, France)

*


Sergio Tessaris (Free University of Bozen-Bolzano, Italy)

*


Helmut Veith (Vienna University of Technology, Austria)

*


Audrey Yap (University of Victoria, Canada)










------------------------------

Message: 5
Date: Mon, 4 May 2015 19:34:26 +0000
From: Matthew Saltzman <mjs@clemson.edu>
To: "dmanet@zpr.uni-koeln.de" <dmanet@zpr.uni-koeln.de>
Subject: [DMANET] INFORMS 2015: Call for Computing Society Tracks,
Sessions, Presentations and now Posters
Message-ID: <1430768065.7646.132.camel@clemson.edu>
Content-Type: text/plain; charset="utf-8"

I'm organizing the Computing Society cluster for the 2015 INFORMS
Annual Meeting in historic Philadelphia. If you are interested in
organizing a short track (two or three sessions) or a session or
contributing a presentation or poster, please let me know by email <mjs
AT clemson DOT edu> as soon as you can. The abstract deadline is May 15
and the poster deadline is June 15.


This year, we are planning to include sponsored poster collections as
part of the poster sessions and competition. More information about
posters is at
http://meetings2.informs.org/wordpress/philadelphia/poster-presentations/. If you are interested in contributing a poster to the Computing Society sponsored collection, please contact me directly.

If you have research, practice experience, software, discussion
topics, or you know people who do that should be invited, let me know.

The conference is November 1-4, 2015 at the Pennsylvania
Convention Center, Philadelphia, Pennsylvania. Conference information
is available at http://meetings2.informs.org/wordpress/philadelphia/.




------------------------------

Message: 6
Date: Tue, 5 May 2015 00:34:40 +0000
From: "Potapov, Igor" <potapov@liverpool.ac.uk>
To: "dmanet@zpr.uni-koeln.de" <dmanet@zpr.uni-koeln.de>
Subject: [DMANET] REACHABILITY PROBLEMS 2015: submissions: 11 June,
2015
Message-ID:
<7ECE8E01AEB79A459E3F30C54E56CF7CC0E24B8C@CHEXMBX2.livad.liv.ac.uk>
Content-Type: text/plain; charset="utf-8"



REACHABILITY PROBLEMS 2015
-------------------------------------------------
The 9th International Workshop on Reachability Problems (RP2015),
21 - 23 September 2015, University of Warsaw, Poland
Deadline for submissions: 11 June, 2015 (firm)
http://rp2015.mimuw.edu.pl
-------------------------------------------------

The 9th Workshop on Reachability Problems will be hosted by the University
of Warsaw. The event will take place in the old university campus, at the heart of
Warsaw.

The Reachability Workshop is specifically aimed at gathering together
scholars from diverse disciplines interested in reachability problems that appear in
algebraic structures, computational models, hybrid systems, logic and
verification.

Invited Speakers:

- Christel Baier Technische Universit?t Dresden
- Alessandro D'Innocenzo Universit? degli Studi dell'Aquila
- Jerome Leroux LABRI, Universit? Bordeaux
- Peter Bro Miltersen Aarhus Universitet
- Andrey Rybalchenko Microsoft Research
- James Worrell University of Oxford

Submissions:

Authors are invited to submit a draft of a full paper with at most 12 pages
(in LaTeX, formatted according to LNCS guidelines) via the conference web page.
Proofs omitted due to space constraints must be put into an appendix to be
read by the program committee members at their discretion. Submissions deviating
from these guidelines risk rejection. Electronic submissions should be
formatted in pdf. Simultaneous submission to other conferences or workshops
with published proceedings is not allowed.

Topics of interest include (but are not limited to): reachability for
infinite state systems, rewriting systems; reachability analysis in counter/timed/
cellular/communicating automata; Petri nets; computational aspects of
semigroups, groups and rings; reachability in dynamical and hybrid systems;
frontiers between decidable and undecidable reachability problems;
complexity and decidability aspects; predictability in iterative maps and new
computational paradigms.

Important Dates

- Submission deadline: 11 June 2015
- Notification to authors: 10 July 2015
- Final version: 17 July 2015
- Workshop: 21 - 23 September 2015

Presentation-Only Track

In addition to regular papers that will appear in our LNCS proceedings, we
invite researchers to apply to give a presentation at RP 2015 without an
accompanying paper. Such presentations can be based on work that has
appeared (or which is going to appear) in the proceedings of another conference, or
which has not yet been submitted. These contributions will be judged
solely on the basis of their attractiveness to the workshop.

To apply to give such a presentation please submit a PDF file containing a
short abstract (up to two pages) by e-mail [ rp2...@easychair.org ] by
August 4th 2015, with subject "RP2015 Presentation-Only Track". This abstract
will not be published in the conference proceedings.
Notification for the presentation-only track will be August 11th 2015.

Proceedings

The Conference Proceedings will be published as the volume of the Springer
Verlag LNCS (Lecture Notes in Computer Science) series and distributed at
the Conference. We plan also to publish selected papers in a special issue of a
high quality journal following the regular referee procedure.

RP2015 Program Committee:

Miko?aj Boja?czyk (co-chair) University of Warsaw
Tomas Brazdil Masaryk University, Brno
Thomas Brihaye Universit? de Mons
Krishnendu Chatterjee IST Austria
Lorenzo Clemente University of Warsaw
Javier Esparza Technische Universit?t M?nchen
Kousha Etessami University of Edinburgh
Stefan G?ller ENS Cachan
Christoph Haase ENS Cachan
Tero Harju University of Turku
Raphael Jungers UCLouvain
S?awomir Lasota (co-chair) University of Warsaw
Richard Mayr University of Edinburgh
Pierre McKenzie Universit? de Montr?al
Joel Ouaknine University of Oxford
Giovanni Pighizzini University of Milano
Igor Potapov (co-chair) University of Liverpool
Alexander Rabinovich Tel Aviv University
Sylvain Salvati LaBRI Bordeaux
Sylvain Schmitz ENS Cachan
Olivier Serre LIAFA Paris

Previous Workshops:

2014: RP'14 in Oxford, UK
LNCS proceedings, Volume 8762/2014, Springer Verlag
2013: RP?13 in Uppsala, Sweden
LNCS proceedings, Volume 8169/2013, Springer Verlag
2012: RP?12 in Bordeaux, France
LNCS proceedings, Volume 7550/2012, Springer Verlag
2011: RP'11 in Genova, Italy
LNCS proceedings, Volume 6945/2011, Springer Verlag
2010: RP'10 in Brno, Czech Republic
LNCS proceedings, Volume 6227/2010, Springer Verlag
2009: RP'09 in Palaiseau, France
LNCS proceedings, Volume 5797/2009, Springer Verlag
2008: RP'08 in Liverpool, UK
ENTCS proceedings, Volume 223, Elsevier
2007: RP'07 in Turku, Finland
TUCS General Publication Series, Volume 45, Turku Centre for
Computer Science



------------------------------

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 87, Issue 5
*************************************

No comments:

Post a Comment