sara.foresti | 22 Jul 17:11 2014
Picon

Deadline extended - ACM Workshop on Moving Target Defense (MTD 2014)

[Apologies if you receive multiple copies of this message]

CALL FOR PAPERS

** Deadline extended: July 29, 2014 (midnight anywhere in the world) **

*********************************************************************
1st ACM Workshop on Moving Target Defense (MTD 2014)
Scottsdale, Arizona, USA -- November 3, 2014
in conjunction with the 21st ACM Conference on Computer
and Communications Security (CCS)
http://csis.gmu.edu/MTD2014
*********************************************************************

The static nature of current computing systems has made them easy to
attack and harder to defend. Adversaries have an asymmetric advantage
in that they have the time to study a system, identify its
vulnerabilities, and choose the time and place of attack to gain the
maximum benefit. The idea of moving-target defense (MTD) is to impose
the same asymmetric disadvantage on the attacker by making systems
dynamic and harder to predict. With a constantly changing system and
its ever adapting attack surface, the attacker will have to deal with
a great deal of uncertainty just like defenders do today. The
ultimate goal is to level the cybersecurity playing field for
defenders versus attackers.

This workshop seeks to bring together researchers from academia,
government, and industry to report on the latest research efforts
on moving-target defense, and to have productive discussion and
constructive debate on this topic. We solicit submissions on original
(Continue reading)

sebastien.salva | 22 Jul 14:55 2014
Picon

SDTA’14 : First Symposium on Digital Trust in Auvergne - First CfP

******* Please accept our apologies if you receive multiple copies *******

====== CALL FOR PAPERS ======

First Symposium on Digital Trust in Auvergne  (SDTA’14)
December 4-5, 2014, Clermont-Ferrand, Auvergne, France


Aims and Scope
-------------------

The Symposium on Digital Trust in Auvergne is a scientific gathering that aims at exchanging and discussing the current and future needs for trusting the digital environment. The digital information is invading our everyday life at a fast rate and what we used to do using solid objects is now made possible using digital technology. Security issues related to dematerialized documents, money, identities, transactions, etc. will be exposed by researchers. Industrials are also invited to be part of this event and to present their current solutions and future trends in the digital trust domain.

The topics include, but are not limited to:
• Network Security
• Security Protocols
• Security of Communications
• Security Models
• Formal Methods for Security
• Software Security
• Digital Identity
• Authentication
• Trust and Privacy
• Security Policies
• Cryptographic Algorithms
• Intrusion Detection

Paper Submission
--------------------

Authors are invited to submit a 1-page abstract written in English. Both original and previously published work are welcome. Manuscripts should comply with standard Springer's LNCS conference template for LaTeX or Microsoft Word (check the website for templates). All accepted abstracts will be available on the symposium website.

Papers must be submitted in PDF format. Submission is done with EasyChair. Information about the submission procedure will be available at:


Important Dates
- Submission: October 13, 2014, anywhere on earth
- Notification of acceptance/rejection: November 3, 2014
- Final version due: November 17, 2014

General Chair
-------------------
Pascal Lafourcade, LIMOS, France

Program Committee
---------------------
Cédric Bouhours, LIMOS, France
Gérard Chalhoub, LIMOS, France
Farrukh Aslam Khan, CoEIA, KSA
Pascal Lafourcade, LIMOS, France
Jean-Louis Lanet, XLIM, France
Cédric Lauradoux, INRIA, France Wissam Mallouli, Montimage, France
Yuxin Mao, Zhejiang Gongshang University, China
Michel Misson, LIMOS, France
Alain Quilliot, LIMOS, France
Olivier Reynaud, LIMOS, France
Sébastien Salva, LIMOS, France
Pedro García Teodoro, University of Granada, Spain
Christian Toinard, LIFO,  France
Damien Vergnaud, LIENS, France Fatiha Zaidi, LRI, France

--
_______________________________________________
Om-announce mailing list
Om-announce@...
http://openmath.org/mailman/listinfo/om-announce
SYNASC 2014 | 21 Jul 16:12 2014
Picon

(FIRM extended deadline) CFP workshops in the framework of SYNASC 2014

Call for Papers for Workshops in the framework of
-------------------------------------------------

                       SYNASC 2014

              16th International Symposium on
   Symbolic and Numeric Algorithms for Scientific Computing
         September 22-25, 2014, Timisoara, Romania
                     http://synasc.ro/2014
              http://synasc14.info.uvt.ro

Extended deadlines:
-------------------
Submission of papers (FIRM extended deadline): 30 July 2014 
Notification of acceptance: 17 August 2014

 * Workshop on Agents for Complex Systems (ACSys)
           http://synasc.ro/2014/workshops/acsys-2014 

 * Workshop on Computational Topology in Image Context (CTIC)
           http://ctic2014.synasc.ro/index.html

 * Workshop on GIC and Hydrologic Modeling (HydroGIS)    
           http://synasc.ro/2014/workshops/hydrogis-2014

 * Workshop on Iterative Approximation of Fixed Points (IAFP)
           http://synasc.ro/2014/workshops/iafp-2014

 * Workshop on Natural Computing and Applications (NCA)
           http://synasc.ro/2014/workshops/nca-2014

-----------
SYNASC 2014
West University of Timisoara
Department of Computer Science
Bd. V. Parvan 4, 300223 Timisoara, Romania
tel: + (40) 256 592195, +(40) 256 592389
fax: + (40) 256 592316, +(40) 256 592380
e-mail: synasc14@...
Giovanni Livraga | 21 Jul 18:26 2014
Picon

Deadline extended - Workshop on Privacy in the Electronic Society (WPES 2014)

[Apologies if you receive multiple copies of this message]

CALL FOR PAPERS

*** Deadline extended to July 30, 2014 ***

******************************************************************************
Workshop on Privacy in the Electronic Society (WPES 2014)
Scottsdale, Arizona, USA - November 3, 2014
https://www.cylab.cmu.edu/news_events/events/wpes2014/
******************************************************************************

The increased power and interconnectivity of computer systems available
today create the ability to store and process large amounts of data,
resulting in networked information accessible from anywhere at any time.
It is becoming easier to collect, exchange, access, process, and link
information. This global scenario has inevitably resulted in an increasing
degree of awareness with respect to privacy. Privacy issues have been the
subject of public debates, and the need for privacy-aware policies,
regulations, and techniques has been widely recognized. The goal of this
workshop is to discuss the problems of privacy in the global interconnected
societies and possible solutions to them.

The workshop seeks submissions from academia and industry presenting novel
research on all theoretical and practical aspects of electronic privacy,
as well as experimental studies of fielded systems. We encourage submissions
from other communities such as law and business that present these
communities' perspectives on technological issues.
Topics of interest include, but are not limited to:

- anonymity, pseudonymity, and unlinkability
- crowdsourcing for privacy and security
- data correlation and leakage attacks
- data security and privacy
- electronic communication privacy
- economics of privacy
- information dissemination control
- models, languages, and techniques for big data protection
- personally identifiable information
- privacy-aware access control
- privacy and anonymity on the Web
- privacy in cloud and grid systems
- privacy and confidentiality management
- privacy and data mining
- privacy in digital business
- privacy in electronic records
- privacy enhancing technologies
- privacy in health care and public administration
- privacy and human rights
- privacy metrics
- privacy in mobile systems
- privacy in online education
- privacy in outsourced scenarios
- privacy policies
- privacy vs. security
- privacy in social networks
- privacy threats
- privacy and virtual identity
- privacy through accountability
- public records and personal privacy
- user profiling
- wireless privacy

PAPER SUBMISSIONS
Submitted papers must not substantially overlap papers that have been
published or that are simultaneously submitted to a journal, conference, or
workshop with proceedings. Regular submissions should be at most 10 pages
in the ACM double-column format, excluding well-marked appendices, and at
most 12 pages total. Committee members are not required to read the appendices,
and so the paper should be intelligible without them. Submissions should not
be anonymized. The workshop will also consider short submissions of up to
4 pages for results that are preliminary or that simply require few
pages to describe. Authors of regular submitted papers will indicate at
the time of submission whether they would like their paper to also be
considered for publication as a short paper (4 proceedings pages).

Submissions are to be made to the submission web site at
http://www.easychair.org/conferences/?conf=wpes2014. You will be requested
to upload the file of your paper (in PDF format only). Submissions not
meeting these guidelines risk rejection without consideration of their merits.
Papers must be received by the deadline of July 30, 2014 [extended deadline] 
to be considered.
Notification of acceptance or rejection will be sent to authors by
August 25, 2014. The camera ready must be prepared by September 7, 2014 (firm).
Proceedings of the workshop will be published by ACM on a CD, available to
the workshop attendees. Papers will be included in the ACM Digital Library,
with a specific ISBN. Each accepted paper must be presented by an author,
who will have to be registered by the early-bird registration deadline.

IMPORTANT DATES
Paper submission due: July 30, 2014 [extended]
Notification to authors: August 25, 2014
Camera ready due: September 7, 2014

GENERAL CHAIR (ACM CCS 2014 General Chair)
Gail-Joon Ahn
Arizona State University, USA

PROGRAM CHAIR
Anupam Datta
Carnegie Mellon University

PUBLICITY CHAIR
Giovanni Livraga
Universita' degli Studi di Milano, Italy

PROGRAM COMMITTEE

Rafael Accorsi, University of Freiburg, Germany
Devdatta Akhawe, UC Berkeley, USA
Michael Backes, Saarland University, Germany
Jeremiah Blocki, Carnegie Mellon University, USA
Kelly Caine, Clemson University, USA
Emiliano De Cristofaro, University College London, UK
Anupam Datta, Carnegie Mellon University, USA
George Danezis, University College London, UK
Sabrina De Capitani di Vimercati, Universita' degli Studi di Milano, Italy
Nadia Fawaz, Technicolor, USA
Sara Foresti, Universita' degli Studi di Milano, Italy
Joaquin Garcia-Alfaro, Telecom SudParis, France
Vaibhav Garg, Drexel University, USA
Rachel Greenstadt, Drexel University, USA
Jens Grossklags, Pennsylvania State University, USA
Urs Hengartner, University of Waterloo, Canada
Nicholas Hopper, University of Minnesota, USA
Sushil Jajodia, George Mason University, USA
Suman Jana, University of Texas at Austin, USA
Limin Jia, Carnegie Mellon University, USA
Lalana Kagal, MIT, USA
Murat Kantarcioglu, University of Texas at Dallas, USA
Patrick Gage Kelley, University of New Mexico, USA
Florian Kerschbaum, SAP, Germany
Aleksandra Korolova, Google, USA
Adam J. Lee, University of Pittsburgh, USA
Javier Lopez, University of Malaga, Spain
Ashwin Machanavajjhala, Duke University, USA
Bradley Malin, Vanderbilt University, USA
Jonathan Mayer, Stanford University, USA
Prateek Mittal, Princeton University, USA
Olga Ohrimenko, Microsoft Research, UK
Charalampos Papamanthou, University of Maryland College Park, USA
Franziska Roesner, University of Washington, USA
Mark Ryan, University of Birmingham, UK
Pierangela Samarati, Universita' degli Studi di Milano, Italy
Paul Syverson, Naval Research Laboratory, USA
Michael Tschantz, UC Berkeley, USA

STEERING COMMITTEE
Sabrina De Capitani di Vimercati, Universita' degli Studi di Milano, Italy
Sushil Jajodia, George Mason University, USA
Pierangela Samarati, Universita' degli Studi di Milano, Italy
Paul Syverson, Naval Research Laboratory, USA

If you have any question, please contact the organizers at wpes2014 <at> easychair.org
****************
Il 5 x mille alla nostra Università è un investimento sui giovani,
sui loro migliori progetti.

Sostiene la libera ricerca.
Alimenta le loro speranze nel futuro.

Investi il tuo 5 x mille sui giovani.

Università degli Studi di Milano
codice fiscale 80012650158

http://www.unimi.it/13084.htm?utm_source=firmaMail&utm_medium=email&utm_content=linkFirmaEmail&utm_campaign=5xmille
TSD 2014 | 15 Jul 22:18 2014
Picon

TSD 2014 - Call for Demonstrations and Participation

      *********************************************************
	 TSD 2014 - CALL FOR DEMONSTRATIONS AND PARTICIPATION
      *********************************************************

Seventeenth International Conference on TEXT, SPEECH and DIALOGUE (TSD 2014)
              Brno, Czech Republic, 8-12 September 2014
		    http://www.tsdconference.org/

SUBMISSION OF DEMONSTRATION ABSTRACTS

Authors are invited to present actual projects, developed software and
hardware or interesting material relevant to the topics of the
conference. The authors of the demonstrations should provide the
abstract not exceeding one page as plain text. The submission must be
made using the online form available at the conference www pages.

The accepted demonstrations will be presented during a special
Demonstration Session (see the Demo Instructions at
www.tsdconference.org).  Demonstrators can present their contribution
with their own notebook with an Internet connection provided by the
organisers or the organisers can prepare a PC computer with multimedia
support for demonstrators.

IMPORTANT DATES

August  3 2014 ............ Submission of demonstration abstracts
August 10 2014 ............ Notification of acceptance for
                            demonstrations sent to the authors
September 3-7 2014 ........ Conference dates

The demonstration abstracts will not appear in the Proceedings of TSD
2014 but they will be published electronically at the conference website.

KEYNOTE SPEAKERS

    Ralph Grishman, New York University, USA
    Active Learning for Information Extraction

    Bernardo Magnini, FBK - Fondazione Bruno Kessler, Italy
    Entailment graphs for text analytics

    Salim Roukos, IBM, USA
    Recent Progress in Statistical Machine Translation: Algorithms and Applications

The conference is organized by the Faculty of Informatics, Masaryk
University, Brno, and the Faculty of Applied Sciences, University of
West Bohemia, Pilsen.  The conference is supported by International
Speech Communication Association.

Venue: Brno, Czech Republic

TSD SERIES

TSD series evolved as a prime forum for interaction between researchers in
both spoken and written language processing from all over the world.
Proceedings of TSD form a book published by Springer-Verlag in their
Lecture Notes in Artificial Intelligence (LNAI) series.  TSD Proceedings
are regularly indexed by Thomson Reuters Conference Proceedings Citation
Index.  Moreover, LNAI series are listed in all major citation databases
such as DBLP, SCOPUS, EI, INSPEC or COMPENDEX.

TOPICS

Topics of the conference will include (but are not limited to):

    Corpora and Language Resources (monolingual, multilingual,
    text and spoken corpora, large web corpora, disambiguation,
    specialized lexicons, dictionaries)

    Speech Recognition (multilingual, continuous, emotional
    speech, handicapped speaker, out-of-vocabulary words,
    alternative way of feature extraction, new models for
    acoustic and language modelling)

    Tagging, Classification and Parsing of Text and Speech
    (morphological and syntactic analysis, synthesis and
    disambiguation, multilingual processing, sentiment analysis,
    credibility analysis, automatic text labeling, summarization,
    authorship attribution)

    Speech and Spoken Language Generation (multilingual, high
    fidelity speech synthesis, computer singing)

    Semantic Processing of Text and Speech (information
    extraction, information retrieval, data mining, semantic web,
    knowledge representation, inference, ontologies, sense
    disambiguation, plagiarism detection)

    Integrating Applications of Text and Speech Processing
    (machine translation, natural language understanding,
    question-answering strategies, assistive technologies)

    Automatic Dialogue Systems (self-learning, multilingual,
    question-answering systems, dialogue strategies, prosody in
    dialogues)

    Multimodal Techniques and Modelling (video processing, facial
    animation, visual speech synthesis, user modelling, emotions
    and personality modelling)

Papers on processing of languages other than English are strongly
encouraged.

PROGRAM COMMITTEE

    Hynek Hermansky, USA (general chair)
    Eneko Agirre, Spain
    Genevieve Baudoin, France
    Paul Cook, Australia
    Jan Cernocky, Czech Republic
    Simon Dobrisek, Slovenia
    Karina Evgrafova, Russia
    Darja Fiser, Slovenia
    Radovan Garabik, Slovakia
    Alexander Gelbukh, Mexico
    Louise Guthrie, GB
    Jan Hajic, Czech Republic
    Eva Hajicova, Czech Republic
    Yannis Haralambous, France
    Ludwig Hitzenberger, Germany
    Jaroslava Hlavacova, Czech Republic
    Ales Horak, Czech Republic
    Eduard Hovy, USA
    Maria Khokhlova, Russia
    Daniil Kocharov, Russia
    Ivan Kopecek, Czech Republic
    Valia Kordoni, Germany
    Steven Krauwer, The Netherlands
    Siegfried Kunzmann, Germany
    Natalija Loukachevitch, Russia
    Vaclav Matousek, Czech Republic
    Diana McCarthy, United Kingdom
    France Mihelic, Slovenia
    Hermann Ney, Germany
    Elmar Noeth, Germany
    Karel Oliva, Czech Republic
    Karel Pala, Czech Republic
    Nikola Pavesic, Slovenia
    Fabio Pianesi, Italy
    Maciej Piasecki, Poland
    Adam Przepiorkowski, Poland
    Josef Psutka, Czech Republic
    James Pustejovsky, USA
    German Rigau, Spain
    Leon Rothkrantz, The Netherlands
    Anna Rumshisky, USA
    Milan Rusko, Slovakia
    Mykola Sazhok, Ukraine
    Pavel Skrelin, Russia
    Pavel Smrz, Czech Republic
    Petr Sojka, Czech Republic
    Stefan Steidl, Germany
    Georg Stemmer, Germany
    Marko Tadic, Croatia
    Tamas Varadi, Hungary
    Zygmunt Vetulani, Poland
    Pascal Wiggers, The Netherlands
    Yorick Wilks, GB
    Marcin Wolinski, Poland
    Victor Zakharov, Russia

FORMAT OF THE CONFERENCE

The conference program will include presentation of invited papers,
oral presentations, and poster/demonstration sessions. Papers will
be presented in plenary or topic oriented sessions.

Social events including a trip in the vicinity of Brno will allow
for additional informal interactions.

OFFICIAL LANGUAGE

The official language of the conference is English.

ACCOMMODATION

The organizing committee will arrange discounts on accommodation in
the 4-star hotel at the conference venue. The current prices of the
accommodation are available at the conference website.

ADDRESS

All correspondence regarding the conference should be
addressed to

    Ales Horak, TSD 2014
    Faculty of Informatics, Masaryk University
    Botanicka 68a, 602 00 Brno, Czech Republic
    phone: +420-5-49 49 18 63
    fax: +420-5-49 49 18 20
    email: tsd2014@...

The official TSD 2014 homepage is: http://www.tsdconference.org/

LOCATION

Brno is the second largest city in the Czech Republic with a
population of almost 400.000 and is the country's judiciary and
trade-fair center. Brno is the capital of South Moravia, which is
located in the south-east part of the Czech Republic and is known
for a wide range of cultural, natural, and technical sights.
South Moravia is a traditional wine region. Brno had been a Royal
City since 1347 and with its six universities it forms a cultural
center of the region.

Brno can be reached easily by direct flights from London, Moscow,
and Eindhoven, and by trains or buses from Prague (200 km) or Vienna
(130 km).

For the participants with some extra time, nearby places may
also be of interest.  Local ones include: Brno Castle now called
Spilberk, Veveri Castle, the Old and New City Halls, the
Augustine Monastery with St. Thomas Church and crypt of Moravian
Margraves, Church of St.  James, Cathedral of St. Peter & Paul,
Cartesian Monastery in Kralovo Pole, the famous Villa Tugendhat
designed by Mies van der Rohe along with other important
buildings of between-war Czech architecture.

For those willing to venture out of Brno, Moravian Karst with
Macocha Chasm and Punkva caves, battlefield of the Battle of
three emperors (Napoleon, Russian Alexander and Austrian Franz
- Battle by Austerlitz), Chateau of Slavkov (Austerlitz),
Pernstejn Castle, Buchlov Castle, Lednice Chateau, Buchlovice
Chateau, Letovice Chateau, Mikulov with one of the largest Jewish
cemeteries in Central Europe, Telc - a town on the UNESCO
heritage list, and many others are all within easy reach.
DIFTS14 | 15 Jul 09:14 2014
Picon

DIFTS14 - SECOND Call for Papers

***************************************************************************
                              DIFTS'14
             DESIGN and IMPLEMENTATION of FORMAL TOOLS and
SYSTEMS
                      CALL FOR PAPERS
***************************************************************************

Third International Workshop on Design and Implementation
of Formal Tools
and Systems (co-located with FMCAD 2014, and MEMOCODE
2014)

http://fmgroup.polito.it/cabodi/difts2014/

Lausanne, Switzerland
October 20, 2014

  
IMPORTANT DATES

Abstract submission:        July 28, 2014
Paper submission:           August 4, 2014
Author notification:        September 1, 2014

  
DIFTS (Design and Implementation of Formal Tools and
Systems) workshop
emphasizes insightful experiences in formal tools and
systems design.
The workshop provides an opportunity for discussing
engineering aspects and
various design decisions required to put formal tools and
systems into
practical use. In the past, we have invited speakers who
have shared their
deep insights and discussed the practices followed in the
Industry towards
adopting formal methods. It provides a forum for sharing
challenges and
solutions that are original with ground breaking results.

The DIFTS workshop is co-located with FMCAD14 and
MEMOCODE14.

TOPICS OF INTEREST

DIFTS takes a broad view of the formal tools/systems area,
and solicits
contributions from domains including, but not restricted
to, decision
procedures, verification, testing, validation, diagnosis,
debugging, and
synthesis. This workshop encourages and appreciates system
development
activities, and facilitates transparency in the
experimentation. It will also
serve as a platform to discuss open problems and future
challenges in
practicing formal methods.

INVITED SPEAKERS

Rolf Drechsler, University of Bremen, Germany
"Coverage at the Formal Specification Level"

Wolfgang Kunz, University of Kaiserslautern, Germany
"The big hurdles for FV tools in industrial practice – can
we overcome them insystem-level design flows?"

Fahim Rahim, Atrenta, France
"Efficiently using formal verification techniques to
reduce power"

  
SUBMISSION

The workshop specifically solicits contributions with
substantial engineering
details that often do not get published but have
significant practical impact.

Papers in the following two categories are solicited: (a)
system category
(10 pages, double column, 11pt), and (b) tool category (8
pages, double
column, 11pt).

In the system category, we invite papers that have
original ideas accompanied
with novel integration techniques, adequate
design/implementation details,
important design choices made and explored, and good
experimental results.

In the tool category, we invite papers that focus
primarily on the engineering
aspects of some known/popular algorithm, with significant
emphasis on the
design/implementation details, and various design choices
made to advance
current state-of-the-art approaches.

The page limit for submissions in the system category is
10 pages in double
column format and for submissions in the tool category is
8 pages in double
column format.

Submission of papers should be made electronically in PDF
format via EasyChair.

  
EVALUATION

To keep maintain uniformity and fairness in the reviewing
process, the program
committee will evaluate the technical contribution of each
submission based on
the following guidelines: the paper should provide enough
details for others to
reproduce the results; and should solve a clearly-stated
problem that is
significant and has wide interest; and the paper should
provide enough
motivation for the design choices made. Overall, the paper
should also clearly
identify what the main contributions of the work are.

PUBLICATION

All accepted contributions will be included in informal
proceedings.
High quality submissions will be considered for a special
issue
of journals such as  FMSD (Formal Methods in System
Design) or
IEEE TC (Transactions on Computers).

  
ORGANIZATION

PROGRAM CHAIRS

Malay K. Ganai, Atrenta, USA
Gianpiero Cabodi, Politecnico di Torino, Italy

PROGRAM COMMITTEE

Chao Wang, Virginia Tech, USA
Shuvendu Lahiri, Microsoft Research, USA
Roberto Bruttomesso, Atrenta, France
Alberto Griggio, FBK-IRST, Italy
Alper Sen, Bogazici University, Turkey
Joao Marques-Silva, University College Dublin, Ireland
Priyank Kalla, University of Utah, USA
Supratik Chakraborty, IIT Bombay, India
Erika Abraham, RWTH Aachen University, Germany
Andreas Veneris, University of Toronto, Canada
Daniel Grosse, University of Bremen, Germany

WEBMASTERS

Pasini Paolo, Politecnico di Torino, Italy
Marco Palena, Politecnico di Torino, Italy
Achim D. Brucker | 11 Jul 07:26 2014
Picon

OCL 2014: Submission Deadline Extended by One Week

(Apologies for duplicates)

**************************************************************
**    Submission Deadline Extended to July 18th, 2014       **
**************************************************************

                            CALL FOR PAPERS
        14th International Workshop on OCL and Textual Modeling
                Applications and Case Studies (OCL 2014)

        Co-located with ACM/IEEE 17th International Conference on
       Model Driven Engineering Languages and Systems (MODELS 2014)
                September 30, 2014, VALENCIA, SPAIN
                http://www.software.imdea.org/OCL2014/

Modeling started out with UML and its precursors as a graphical
notation. Such visual representations enable direct intuitive
capturing of reality, but some of their features are difficult to
formalize and lack the level of precision required to create complete
and unambiguous specifications. Limitations of the graphical notations
encouraged the development of text-based modeling languages that
either integrate with or replace graphical notations for
modeling. Typical examples of such languages are OCL, textual MOF,
Epsilon, and Alloy. Textual modeling languages have their roots in
formal language paradigms like logic, programming and databases.

The goal of this workshop is create a forum where researchers and
practitioners interested in building models using OCL or other kinds
of textual languages can directly interact, report advances, share
results, identify tools for language development, and discuss
appropriate standards. In particular, the workshop will encourage
discussions for achieving synergy from different modeling language
concepts and modeling language use. The close interaction will enable
researchers and practitioners to identify common interests and options
for potential cooperation.

Topics of interest include (but are not limited to)
===================================================
- Mappings between textual modeling languages and other languages/formalisms
- Algorithms, evaluation strategies and optimizations in the context
  of textual modeling languages for
  -- validation, verification, and testing,
  -- model transformation and code generation,
  -- metamodeling and DSLs, and
  -- query and constraint specifications
- Alternative graphical/textual notations for textual modeling languages
- Evolution, transformation and simplification of textual modeling expressions 
- Libraries, templates and patterns for textual modeling languages
- Complexity results for textual modeling languages
- Quality models and benchmarks for comparing and evaluating
  textual modeling tools and algorithms
- Successful applications of textual modeling languages
- Case studies on industrial applications of textual modeling languages
- Experience reports
  -- usage of textual modeling languages and tools in complex domains,
  -- usability of textual modeling languages and  tools for end-users
- Empirical studies about the benefits and drawbacks of textual modeling 
  languages
- Innovative textual modeling tools
- Comparison, evaluation and integration of modeling languages
- Correlation between modeling languages and modeling tasks

This year, we particularly encourage submissions describing
applications and case studies of textual modeling as well as test
suites and benchmark collections for evaluating textual modeling
tools.

Venue
=====
The workshop will be organized as a part of MODELS 2014 Conference in
Valencia, Spain. It continues the series of OCL workshops held at
UML/MODELS conferences: York (2000), Toronto (2001), San Francisco
(2003), Lisbon (2004), Montego Bay (2005), Genova (2006), Nashville
(2007), Toulouse (2008), Denver (2009), Oslo (2010), Zurich (2011, at
the TOOLs conference), 2012 in Innsbruck, and 2013 in Miami.  Similar
to its predecessors, the workshop addresses both people from academia
and industry. The aim is to provide a forum for addressing integration
of OCL and other textual modeling languages, as well as tools for
textual modeling, and for disseminating good practice and discussing
the new requirements for textual modeling.

Workshop Format
===============
The workshop will include short (about 15 min) presentations, parallel
sessions of working groups, and sum-up discussions.

Submissions
===========
Two types of papers will be considered: 
    * short papers (6 pages) and 
    * full papers (10 pages) 
in LNCS format. Submissions should be uploaded to EasyChair
(https://www.easychair.org/conferences/?conf=ocl2014).  The program
committee will review the submissions (minimum 2 reviews per paper,
usually 3 reviews) and select papers according to their relevance and
interest for discussions that will take place at the workshop.
Accepted papers will be published online in a pre-conference edition
of CEUR (http://www.ceur-ws.org).

Authors of selected papers will be invited to submit an extended
version of their workshop paper to a special issue of the Electronic
Communications of the EASST (http://journal.ub.tu-berlin.de/eceasst)

Important Dates
===============
Submission of papers:  July      18, 2014 (extended)
Notification:          August     8, 2014
Workshop date:         September 30, 2014

Organizers
==========
Achim D. Brucker, SAP AG, Germany
Carolina Dania, IMDEA Software Institute, Madrid, Spain
Geri Georg, Colorado State University, Fort Collins, Colorado, USA
Martin Gogolla, University of Bremen, Germany

Programme Committee 
===================
Michael Altenhofen, SAP AG, Germany
Thomas Baar, University of Applied Sciences Berlin, Germany
Mira Balaban, Ben-Gurion University of the Negev, Israel
Tricia Balfe, Nomos Software, Ireland
Fabian Buettner, Ecole des Mines de Nantes, France
Achim D. Brucker, SAP AG, Germany
Jordi Cabot, INRIA-Ecole des Mines de Nantes, France
Yoonsik Cheon, University of Texas, USA
Dan Chiorean, Babes-Bolyai University, Romania
Robert Clariso, Universitat Oberta de Catalunya, Spain
Tony Clark, Middlesex University, UK
Manuel Clavel, IMDEA Software Institute, Madrid, Spain
Carolina Dania, IMDEA Software Institute, Madrid, Spain
Birgit Demuth, Technische Universitat Dresden, Germany
Marina Egea, Atos Research, Madrid, Spain
Geri Georg, Colorado State University, Fort Collins, Colorado, USA
Martin Gogolla, University of Bremen, Germany
Pieter Van Gorp, Eindhoven University of Technology, The Netherlands
Heinrich Hussmann, LMU Munchen, Germany
Tihamer Levendovszky, Vanderbilt University, USA
Shahar Maoz, Tel Aviv University, Israel
Istvan Rath, Budapest University of Technology and Economics, Hungary
Bernhard Rumpe, RWTH Aachen, Germany
Shane Sendall, Snowie Research SA, Switzerland
Michael Wahler, ABB Switzerland Ltd Corporate Research, Switzerland
Claas Wilke, Technische Universitat Dresden, Germany
Edward Willink, Willink Transformations Ltd., UK
Burkhart Wolff, Univ Paris-Sud, France
Steffen Zschaler, King’s College, London, UK

--

-- 
Dr. Achim D. Brucker, SAP SE, Vincenz-Priessnitz-Str. 1, D-76131 Karlsruhe
           Phone: +49 6227 7-52595, http://www.brucker.ch/
_______________________________________________
Om-announce mailing list
Om-announce <at> openmath.org
http://openmath.org/mailman/listinfo/om-announce
Fulvio Frati | 15 Jul 15:55 2014
Picon

CFP: International Workshop on Computational Intelligence Techniques for Industrial and Medical Applications (CITIMA 2014)

[Apologies if you receives multiple copies of this CfP]

 

*******************************************************************************************************

International Workshop on Computational Intelligence Techniques for Industrial and Medical Applications

CITIMA 2014

 

Collocated with:

SITIS 2014 - The 10th International Conference on SIGNAL IMAGE TECHNOLOGY & INTERNET BASED SYSTEMS

November 23-27, 2014 - Marrakech, Morocco

 

http://www.sitis-conf.org/en/citima-2014.php

*******************************************************************************************************

* Scope of the Workshop

Computational Intelligence techniques are adopted in many industrial applications, like visual based quality control, image enhancement in consumer electronics, video based recognition of identity or behaviors, audio based speech recognition for enhanced human like interaction with machines etc. It also has a strong impact in medical applications, like medical image enhancement, semi-automatic detection of pathologies, pre-filtering and reconstruction of volumes from medical scans etc. Despite this growing diffusion, there are still many possible areas where computational intelligence application is partial or could be extended and improved, due to the actual limitations in terms of computational power or strict requirements in terms of assurance of the results.

This workshop aims to investigate the impact of the adoption of advanced and innovative Computational Intelligence techniques in industrial and medical applications. This edition of the workshop is focused primarily on Imaging and Multimedia based industrial and medical applications with special emphasis to real time systems

The workshop will bring together researchers on different disciplines from academia and industry with a common objective: go beyond the frontiers of today industrial applications of Computational Intelligence techniques.

Topics for the workshop include, but are not limited to:

- Imaging for Industrial applications

- Computational Intelligence approaches in Consumer Electronics

- Real-time Multimedia Signal Processing

- Intelligent User Interfaces

- Virtual-augmented reality for Healthcare

- Real-time digital images & watermarking

- Real-time signal compression and analysis

- Spatial and temporal estimation and protection of media streams

- Learning systems for signal and information processing and evidential reasoning for recognition

- Soft computing approaches for embedded multimedia systems

- Real time signal processing & vision

- Expert system for embedded system

- Color and illumination

* Important dates

- Submission deadline: September 6, 2014

- Acceptance/Reject notification: October 6, 2014

- Camera-ready: October 15, 2014

- Author Registration: October 19, 2014

* Submission

Each submission should be at most 8 pages in total including bibliography and well-marked appendices, and must follow the IEEE double columns publication format available at:

- Microsoft Word DOC (ftp://pubftp.computer.org/Press/Outgoing/proceedings/instructA4x2.doc)

- LaTex Formatting Macros (ftp://pubftp.computer.org/Press/Outgoing/proceedings/IEEE_CS_LatexA4x2.zip)

 

Paper submission will only be online via Easy Chair (https://www.easychair.org/conferences/?conf=sitis2014).

Only pdf files will be accepted. Submissions not meeting these guidelines risk rejection without consideration of their merits.

All submitted papers will be carefully evaluated based on originality, significance, technical soundness, and clarity of expression by at least two reviewers. The organizers will examine the reviews and make final paper selections.

* Publication

All the papers accepted for the workshop will be included in the conference proceedings. The proceedings will be published by IEEE Computer Society and referenced in IEEE Xplore Digital Library and major indexes. They will be available at the conference.

* Registration

At least one author of each accepted paper must register for the workshop. Workshop registration fee is determined by SITIS. A single registration for the workshop or the conference allows attending both events.

* Program Co-Chairs

- M. Anisetti, Università degli Studi di Milano, Italy

- R. Sassi, Università degli Studi di Milano, Italy

- V. Bellandi, Università degli Studi di Milano, Italy

- G. Jeon, Incheon National University, Korea

* Program Committee

- Borko Furht, Florida Atlantic University, USA

- Fulvio Frati, Università degli Studi di Milano, Italy

- Alesssandro De Mauro, eHealth & Biomedical Applications, Spain

- Wei Wu, Sichuan University, China

- Luigi Gallo, ICAR CNR, Italy

- Marco Sacco, ITIA CNR, Italy

- Abdellah Chehri, University of Ottawa, Canada

- Michele Geronazzo, University on Padova, Italy

- Luigi Arnone, ST Microelectronics, Italy

- Xiangdong Chen, Nanjing University of Posts and Telecommunications, China

 

* Contact

marco.anisetti <at> unimi.it

roberto.sassi-Jwo7OjyBeCI@public.gmane.org

 

 


Il 5 x mille alla nostra Università è un investimento sui giovani,
sui loro migliori progetti.

Sostiene la libera ricerca.
Alimenta le loro speranze nel futuro.

Investi il tuo 5 x mille sui giovani.

_______________________________________________
Om-announce mailing list
Om-announce@...
http://openmath.org/mailman/listinfo/om-announce
Klaus Havelund | 17 Jul 08:25 2014
Picon
Picon

[fm-announcements] Call for Papers: NASA Formal Methods (NFM) 2015


CALL FOR PAPERS

The 7th NASA Formal Methods Symposium

http://www.NASAFormalMethods.org/nfm2015

27 - 29 April 2015
Pasadena, California, USA

THEME

The widespread use and increasing complexity of mission- and safety-critical systems require advanced techniques that address their specification, verification, validation, and certification.

The NASA Formal Methods Symposium is a forum for theoreticians and practitioners from academia, industry, and government, with the goals of identifying challenges and providing solutions to achieving assurance in mission- and safety-critical systems. Within NASA such systems include for example autonomous robots, separation assurance algorithms for aircraft, Next Generation Air Transportation (NextGen), and autonomous rendezvous and docking for spacecraft. Moreover, emerging paradigms such as property-based design, code generation, and safety cases are bringing with them new challenges and opportunities. The focus of the symposium will be on formal techniques, their theory, current capabilities, and limitations, as well as their application to aerospace, robotics, and other mission- and safety-critical systems in all design life-cycle stages. We encourage submissions on cross-cutting approaches marrying formal verification techniques with advances in critical system development, such as requirements generation, analysis of aerospace operational concepts, and formal methods integrated in early design stages and carrying throughout system development.

TOPICS

Topics of interest include, but are not limited to:

  • Model checking
  • Theorem proving
  • SAT and SMT solving
  • Symbolic execution
  • Static analysis
  • Runtime verification
  • Program refinement
  • Compositional verification
  • Modeling and specification formalisms
  • Model-based development
  • Model-based testing
  • Requirement engineering
  • Formal approaches to fault tolerance
  • Security and intrusion detection
  • Applications of formal methods to aerospace systems
  • Applications of formal methods to cyber-physical systems
  • Applications of formal methods to human-machine interaction analysis

IMPORTANT DATES

Paper Submission: 10 Nov 2014
Paper Notifications: 12 Jan 2015
Camera-ready Papers: 9 Feb 2015
Symposium: 27 - 29 April 2015

LOCATION AND COST

The symposium will take place at the Hilton Hotel, Pasadena, California, USA, April 27-29, 2015.

There will be no registration fee for participants. All interested individuals, including non-US citizens, are welcome to submit, to attend, to listen to the talks, and to participate in discussions; however, all attendees must register.

SUBMISSION DETAILS

There are two categories of submissions:

  1. Regular papers describing fully developed work and complete results (15 pages)
  2. Short papers describing tools, experience reports, or descriptions of work in progress with preliminary results (6 pages)

All papers should be in English and describe original work that has not been published or submitted elsewhere. All submissions will be fully reviewed by members of the Programme Committee. Papers will appear in a volume of Springer's Lecture Notes on Computer Science (LNCS), and must use LNCS style formatting. Papers should be submitted in PDF format.

PC CHAIRS

Klaus Havelund, NASA Jet Propulsion Laboratory
Gerard Holzmann, NASA Jet Propulsion Laboratory
Rajeev Joshi, NASA Jet Propulsion Laboratory

PROGRAMME COMMITTEE

Erika Abraham, RWTH Aachen University, Germany
Julia Badger, NASA Johnson Space Center, USA
Christel Baier, Technische Universität Dresden, Germany
Saddek Bensalem, VERIMAG/UJF, France
Dirk Beyer, University of Passau, Germany
Armin Biere, Johannes Kepler University, Austria
Nikolaj Bjorner, Microsoft Research, USA
Borzoo Bonakdarpour, McMaster University, Canada
Alessandro Cimatti, Fondazione Bruno Kessler, Italy
Leonardo de Moura, Microsoft Research, USA
Ewen Denney, NASA Ames Research Center, USA
Ben Di Vito, NASA Langley Research Center, USA
Dawson Engler, Stanford University, USA
Jean-Christophe Filliatre, Université Paris-Sud, France
Dimitra Giannakopoulou, NASA Ames Research Center, USA
Alwyn Goodloe, NASA Langley Research Center, USA
Alex Groce, Oregon State University, USA
Radu Grosu, Vienna University of Technology, Austria
John Harrison, Intel Corporation, USA
Mike Hinchey, University of Limerick/Lero, Ireland
Bart Jacobs, University of Leuven, Belgium
Sarfraz Khurshid, The University of Texas at Austin, USA
Gerwin Klein, NICTA, Australia
Daniel Kroening, Oxford University, UK
Orna Kupferman, Hebrew University Jerusalem, Israel
Kim Larsen, Aalborg University, Denmark
Rustan Leino, Microsoft Research, USA
Martin Leucker, University of Lubeck, Germany
Rupak Majumdar, Max Planck Institute, Germany
Pete Manolios, Northeastern University, USA
Peter Mueller, ETH Zurich, Switzerland
Kedar Namjoshi, Bell Labs/Alcatel-Lucent, USA
Corina Pasareanu, NASA Ames Research Center, USA
Doron Peled, Bar Ilan University, Israel
Suzette Person, NASA Langley Research Center, USA
Andreas Podelski, University of Freiburg, Germany
Grigore Rosu, University of Illinois, USA
Kristin Rozier, NASA Ames Research Center, USA
Natarajan Shankar, SRI International, USA
Natasha Sharygina, University of Lugano, Switzerland
Scott Smolka, Stony Brook University, USA
Willem Visser, University of Stellenbosch, South Africa
Mahesh Viswanathan, University of Illinois, USA
Mike Whalen, University of Minnesota, USA
Jim Woodcock, University of York, UK

STEERING COMMITTEE

Julia Badger, NASA Johnson Space Center
Ewen Denney, NASA Ames Research Center
Ben Di Vito, NASA Langley Research Center
Klaus Havelund, NASA Jet Propulsion Laboratory
Gerard Holzmann, NASA Jet Propulsion Laboratory
Cesar Munoz, NASA Langley Research Center
Corina Pasareanu, NASA Ames Research Center
Suzette Person, NASA Langley Research Center
Kristin Y. Rozier, NASA Ames Research Center

---
To opt-out from this mailing list, send an email to

fm-announcements-request@...

with the word 'unsubscribe' as subject or in the body. You can also make the request by contacting

fm-announcements-owner@... 
_______________________________________________
Om-announce mailing list
Om-announce@...
http://openmath.org/mailman/listinfo/om-announce
FOCLASA 2014 | 16 Jul 19:42 2014
Picon
Picon

FOCLASA 2014 - Call for Participation (The 13th International Workshop on Foundations of Coordination Languages and Self-Adaptive Systems)

FOCLASA 2014: The 13th International Workshop on
Foundations of Coordination Languages and Self-Adaptive Systems

Call for Participation

Early registration by July 27 2014
(http://concur2014.org/reg_easy.php)

http://foclasa.lcc.uma.es/

September 6, 2014, Rome (Italy)
In conjunction with CONCUR 2014 -- http://www.concur2014.org/
==============================================================

FOCLASA 2014 is a workshop colocated with the 25th International
Conference on Concurrency Theory (CONCUR 2014). The goal of the FOCLASA
workshop is to put together researchers and practitioners to share and
identify common problems, and to devise general solutions in the context
of coordination languages and self-adaptive systems.

Highlights:
- Invited talk: TBD
- Invited tutorials:
* Introduction to Reo.
Farhad Arbab, CWI, The Netherlands
* Analysis and Synthesis for Self-Adaptation using PRISM-games.
Javier Camara, Carnegie Mellon University, USA
* Bach at the age of mobile and cloud computing.
Jean-Marie Jacquet, University of Namur, Belgium

- Deadline for early registration: July 27 2014

FOCLASA targets all areas of coordination languages and self-adaptive 
systems,
including (but not limited to):

* Theoretical models and frameworks for component and service
coordination, service composition, service adaptation and concurrent
system modeling.
* Applications and usability studies for the aforementioned theoretical
models, interaction and coordination challenges in decentralized
self-adaptive systems and various application domains.
* Languages and specification protocols for component and service
interaction, their semantics, expressiveness, validation and
verification, type checking, static and dynamic analysis.
* "Software as a Service" models (e.g., cloud computing) and dynamic
software architectures, such as self-adaptive and self-organizing
systems.
* Tools and environments for the development of concurrent and
customizable self-monitoring, self-adaptive and self-organizing
applications.
* Algorithms, mathematical models and realization frameworks for
quality-of-service observation, storage, history-based analysis in
self-adaptive systems (queuing models, load balancing, fault-tolerance
analysis, machine learning systems).
* Formal methods for self-adaptive systems, stochastic modeling and
analysis, reasoning under uncertainty, run-time synthesis.

In particular, practice, experience and methodologies from the following
areas are covered as well:

* Business process modeling
* Cloud computing
* Service-oriented computing
* Component-based systems
* Grid computing
* Large-scale distributed systems
* Multi-agent systems
* Peer-to-peer systems

== PROGRAM COMMITTEE CHAIRS ==

* Javier Cámara
Institute for Software Research
Carnegie Mellon University, USA
jcmoreno@...

* José Proença
iMinds-Distrinet, KU Leuven, Belgium and
HASLab/INESC TEC, University of Minho, Portugal
jose.proenca@...

== PUBLICITY CHAIR ==

* Sung-Shik Jongmans, CWI, The Netherlands

== PROGRAM COMMITTEE ==

* Antonio Brogi, University of Pisa, Italy
* Carlos Canal, University of Málaga, Spain
* Javier Cámara, Carnegie Mellon University, USA
* Carlos Cuesta, Rey Juan Carlos University, Spain
* Keijo Heljanko, Aalto University, Finland
* Rogério de Lemos, University of Kent, UK
* Natallia Kokash, Leiden University, The Netherlands
* Christian Krause, Hasso Plattner Institut, Germany
* Antónia Lopes, University of Lisbon, Portugal
* Sun Meng, Peking University, China
* Liliana Pasquale, University of Limerick, Ireland
* Pascal Poizat, Paris Ouest University and LIP6, France
* José Proença, KU Leuven, Belgium
* Gwen Salaün, Grenoble INP - INRIA Grenoble - LIG, France
* Bradley Schmerl, Carnegie Mellon University, USA
* Marjan Sirjani, Reykjavik University, Iceland
* Carolyn Talcott, SRI International, USA
* Francesco Tiezzi, IMT Lucca Institute for Advanced Studies, Italy
* Mirko Viroli, University of Bologna, Italy

== STEERING COMMITTEE ==

* Farhad Arbab, CWI, The Netherlands
* Antonio Brogi, University of Pisa, Italy
* Carlos Canal, University of Malága, Spain
* Jean-Marie Jacquet, University of Namur, Belgium
* Ernesto Pimentel, University of Malága, Spain
* Gwen Salaün, Grenoble INP - INRIA Grenoble - LIG, France
Giovanni Livraga | 15 Jul 00:23 2014
Picon

Deadline approaching - Workshop on Privacy in the Electronic Society (WPES 2014)

[Apologies if you receive multiple copies of this message]

CALL FOR PAPERS

*** Deadline approaching - July 24, 2014 ***

******************************************************************************
Workshop on Privacy in the Electronic Society (WPES 2014)
Scottsdale, Arizona, USA - November 3, 2014
https://www.cylab.cmu.edu/news_events/events/wpes2014/
******************************************************************************

The increased power and interconnectivity of computer systems available
today create the ability to store and process large amounts of data,
resulting in networked information accessible from anywhere at any time.
It is becoming easier to collect, exchange, access, process, and link
information. This global scenario has inevitably resulted in an increasing
degree of awareness with respect to privacy. Privacy issues have been the
subject of public debates, and the need for privacy-aware policies,
regulations, and techniques has been widely recognized. The goal of this
workshop is to discuss the problems of privacy in the global interconnected
societies and possible solutions to them.

The workshop seeks submissions from academia and industry presenting novel
research on all theoretical and practical aspects of electronic privacy,
as well as experimental studies of fielded systems. We encourage submissions
from other communities such as law and business that present these
communities' perspectives on technological issues.
Topics of interest include, but are not limited to:

- anonymity, pseudonymity, and unlinkability
- crowdsourcing for privacy and security
- data correlation and leakage attacks
- data security and privacy
- electronic communication privacy
- economics of privacy
- information dissemination control
- models, languages, and techniques for big data protection
- personally identifiable information
- privacy-aware access control
- privacy and anonymity on the Web
- privacy in cloud and grid systems
- privacy and confidentiality management
- privacy and data mining
- privacy in digital business
- privacy in electronic records
- privacy enhancing technologies
- privacy in health care and public administration
- privacy and human rights
- privacy metrics
- privacy in mobile systems
- privacy in online education
- privacy in outsourced scenarios
- privacy policies
- privacy vs. security
- privacy in social networks
- privacy threats
- privacy and virtual identity
- privacy through accountability
- public records and personal privacy
- user profiling
- wireless privacy

PAPER SUBMISSIONS
Submitted papers must not substantially overlap papers that have been
published or that are simultaneously submitted to a journal, conference, or
workshop with proceedings. Regular submissions should be at most 10 pages
in the ACM double-column format, excluding well-marked appendices, and at
most 12 pages total. Committee members are not required to read the appendices,
and so the paper should be intelligible without them. Submissions should not
be anonymized. The workshop will also consider short submissions of up to
4 pages for results that are preliminary or that simply require few
pages to describe. Authors of regular submitted papers will indicate at
the time of submission whether they would like their paper to also be
considered for publication as a short paper (4 proceedings pages).

Submissions are to be made to the submission web site at
http://www.easychair.org/conferences/?conf=wpes2014. You will be requested
to upload the file of your paper (in PDF format only). Submissions not
meeting these guidelines risk rejection without consideration of their merits.
Papers must be received by the deadline of July 24, 2014 to be considered.
Notification of acceptance or rejection will be sent to authors by
August 25, 2014. The camera ready must be prepared by September 7, 2014 (firm).
Proceedings of the workshop will be published by ACM on a CD, available to
the workshop attendees. Papers will be included in the ACM Digital Library,
with a specific ISBN. Each accepted paper must be presented by an author,
who will have to be registered by the early-bird registration deadline.

IMPORTANT DATES
Paper submission due: July 24, 2014
Notification to authors: August 25, 2014
Camera ready due: September 7, 2014

GENERAL CHAIR (ACM CCS 2014 General Chair)
Gail-Joon Ahn
Arizona State University, USA

PROGRAM CHAIR
Anupam Datta
Carnegie Mellon University

PUBLICITY CHAIR
Giovanni Livraga
Universita' degli Studi di Milano, Italy

PROGRAM COMMITTEE

Rafael Accorsi, University of Freiburg, Germany
Devdatta Akhawe, UC Berkeley, USA
Michael Backes, Saarland University, Germany
Jeremiah Blocki, Carnegie Mellon University, USA
Kelly Caine, Clemson University, USA
Emiliano De Cristofaro, University College London, UK
Anupam Datta, Carnegie Mellon University, USA
George Danezis, University College London, UK
Sabrina De Capitani di Vimercati, Universita' degli Studi di Milano, Italy
Nadia Fawaz, Technicolor, USA
Sara Foresti, Universita' degli Studi di Milano, Italy
Joaquin Garcia-Alfaro, Telecom SudParis, France
Vaibhav Garg, Drexel University, USA
Rachel Greenstadt, Drexel University, USA
Jens Grossklags, Pennsylvania State University, USA
Urs Hengartner, University of Waterloo, Canada
Nicholas Hopper, University of Minnesota, USA
Sushil Jajodia, George Mason University, USA
Suman Jana, University of Texas at Austin, USA
Limin Jia, Carnegie Mellon University, USA
Lalana Kagal, MIT, USA
Murat Kantarcioglu, University of Texas at Dallas, USA
Patrick Gage Kelley, University of New Mexico, USA
Florian Kerschbaum, SAP, Germany
Aleksandra Korolova, Google, USA
Adam J. Lee, University of Pittsburgh, USA
Javier Lopez, University of Malaga, Spain
Ashwin Machanavajjhala, Duke University, USA
Bradley Malin, Vanderbilt University, USA
Jonathan Mayer, Stanford University, USA
Prateek Mittal, Princeton University, USA
Olga Ohrimenko, Microsoft Research, UK
Charalampos Papamanthou, University of Maryland College Park, USA
Franziska Roesner, University of Washington, USA
Mark Ryan, University of Birmingham, UK
Pierangela Samarati, Universita' degli Studi di Milano, Italy
Paul Syverson, Naval Research Laboratory, USA
Michael Tschantz, UC Berkeley, USA

STEERING COMMITTEE
Sabrina De Capitani di Vimercati, Universita' degli Studi di Milano, Italy
Sushil Jajodia, George Mason University, USA
Pierangela Samarati, Universita' degli Studi di Milano, Italy
Paul Syverson, Naval Research Laboratory, USA

If you have any question, please contact the organizers at wpes2014 <at> easychair.org
****************
Il 5 x mille alla nostra Università è un investimento sui giovani,
sui loro migliori progetti.

Sostiene la libera ricerca.
Alimenta le loro speranze nel futuro.

Investi il tuo 5 x mille sui giovani.

Università degli Studi di Milano
codice fiscale 80012650158

http://www.unimi.it/13084.htm?utm_source=firmaMail&utm_medium=email&utm_content=linkFirmaEmail&utm_campaign=5xmille

Gmane