Ruggero Donida Labati | 24 Apr 19:17 2015
Picon

Deadline extended - The 9th WISTP International Conference on Information Security Theory and Practice (WISTP'2015)

.:: Call for Papers ::.

=======================
Due to several requests, the deadline is extended to April 30 (firm 
deadline).
Note that notification of acceptance is not postponed!
Accepted papers will be published in Springer LNCS.
Selected high-quality papers will be invited to submit an extended 
version to Special Issues of
well-established journals (see below).
=======================

************************************************************************************************
The 9th WISTP International Conference on Information Security Theory 
and Practice (WISTP'2015)
August 24-25, 2015, Crete, Greece - www.wistp.org
************************************************************************************************

BACKGROUND AND GOALS
Future ICT technologies, such as the concepts of Ambient Intelligence, 
Cyber-physical Systems,
and Internet of Things provide a vision of the Information Society in 
which: a) people and
physical systems are surrounded with intelligent interactive interfaces 
and objects, and b)
environments are capable of recognising and reacting to the presence of 
different individuals
or events in a seamless, unobtrusive, and invisible manner.  The success 
of future ICT
technologies will depend on how secure these systems are and to what 
(Continue reading)

Xiang Lu | 24 Apr 13:21 2015
Picon

WASA 2015-Deadline approaching soon (Apr.25)

The 10th International Conference on Wireless Algorithms, Systems, and Applications

*** Deadline Extended to April 25, 2015 ***

*** Two More Journals for Extended Versions of Accepted Papers ***

August 10-12, 2015, Qufu, Shandong, China.


- - Call For Papers - -

The 10th International Conference on Wireless Algorithms, Systems, and Applications (WASA 2015) will be held in the city of Qufu, Shandong, China during August 10-12, 2015. WASA 

is an international conference on algorithms, systems, and applications of wireless networks. It is motivated by the recent advances in cutting-edge electronic and computer 

technologies that have paved the way for the proliferation of ubiquitous infrastructure and infrastructureless wireless networks. WASA is designed to be a forum for 

theoreticians, system and application designers, protocol developers and practitioners to discuss and express their views on the current trends, challenges, and state-of-the-art 

solutions related to various issues in wireless networks.

Extended versions of selected papers from the conference will be published in the special issues of Peer-to-Peer Networking and Applications (SCI), Security and Communication 

Networks Journal*(SCI), EURASIP Journal on Wireless Communications and Networking*(SCI) and Journal of Medical Systems*(SCI).

The program topics include but not limited to:
·       Cognitive Radio Networks, Software-defined radio, reconfigurable radio networks

·       Cyber-physical systems including intelligent transportation systems and smart healthcare systems

·       Theoretical frameworks of fundamental cross-layer protocol and network design and performance issues

·       Distributed and localized algorithm design and analysis

·       Information and Coding theory for Wireless Networks

·       Localization

·       Mobility models and mobile social networking

·       Mobile cloud computing

·       Topology control and coverage

·       Security and privacy

·       Underwater and underground Networks

·       Vehicular networks

·       Radar and Sonar Networks

·       PHY/MAC/Routing protocols

·       Information processing and data management

·       Programmable service interfaces

·       Energy-efficient algorithms, systems and protocol design

·       Operating system and middleware support

·       Pervasive and ubiquitous computing

·       Local area and personal wireless networks

·       Applications, design, and performance of wireless ad hoc and sensor networks

·       Delay/disruption tolerant networks

 
 

 

Important Dates (Deadline Extended):

 

·       Submission Deadline: April 25, 2015

·       Notification of Acceptance: May 20, 2015

·       Camera-Ready Deadline: June 1, 2015

·       Conference Dates: August 10-12, 2015
_______________________________________________
Om-announce mailing list
Om-announce@...
http://openmath.org/mailman/listinfo/om-announce
Luca Pulina | 23 Apr 19:07 2015
Picon

CALL FOR APPLICATIONS - The 11th Reasoning Web Summer School (RW 2015)

Please forward to students - Application Deadline - May 10th, 2015
 
**********************************************
CALL FOR APPLICATIONS
The 11th Reasoning Web Summer School (RW 2015)
Berlin, Germany, July 31 - August 4, 2015
http://reasoningweb.org/2015
**********************************************
 
co-located with:
 
- 9th International Conference on Web Reasoning and Rule Systems (RR 2015),
  Berlin, Germany, August 4-6, 2015
  http://www.rr-conference.org/RR2015
- 9th International Web Rule Symposium (RuleML 2015),
  Berlin, Germany, August 2-5, 2015
  http://2015.ruleml.org/
- 25th International Conference on Automated Deduction (CADE-25), Berlin, Germany, August 1-7, 2015
  http://www.cade-25.info/
- RR Doctoral Consortium and RuleML Doctoral Consortium (submission deadline for Phd papers: May 10th)
  http://www.csw.inf.fu-berlin.de/rr2015/dc.html
  http://2015.ruleml.org/DoctoralConsortium.html
 
 
The purpose of the Reasoning Web Summer School is to disseminate recent advances on reasoning techniques which are of particular interest to Semantic Web and Linked Data applications. It is primarily intended for postgraduate (PhD or MSc) students, postdocs, young researchers, and senior researchers wishing to learn about Reasoning on the Semantic Web and related issues. In 2015, the theme of the school is:
 
        "Web Logic Rules"
 
As in the previous years, lectures in the summer school will be
given by a distinguished group of expert lecturers. Apart from
their lectures, most lecturers will also be present for the duration
of the school to interact and establish contacts with the students.
 
The summer school is co-located with RR2015, RuleML 2015 and CADE-25,
hence, there will be a great opportunity for students to also attend
a major event in the area after the school. In addition, RR and RuleML
will also include a Doctoral Consortium and students of RW are
particularly encouraged to also apply to the Doctoral consortium of RR
and RuleML - joint applications are explicitly encouraged.
 
== IMPORTANT DATES ==
 
Application deadline: May 10, 2015
Notifications: June 1, 2015
 
== LECTURES ==
 
see webiste for the list of lectures
 
http://www.csw.inf.fu-berlin.de/rw2015/lecturers.html
 
and program
 
http://www.csw.inf.fu-berlin.de/rw2015/schedule.html
 
 
== APPLICATIONS ==
 
The number of attendees will be limited and participation will
depend on submitting an application which will undergo a
reviewing process.
 
Applications have to be submitted via Easychair using the
following URL and by selecting the "RW2015" track:
 
https://www.easychair.org/conferences/?conf=rw2015
 
The program of the school will include a poster session, where
students can present and discuss their ongoing research with
lecturers and colleagues. Applicants who wish to participate
in the poster session shall tick the "participation in poster
session" group and include a poster title and abstract with
their application submission.
 
A selection of students attending RW will have the possibility to
also attend the RR and RuleML Doctoral Consortium with the
opportunity to present their poster in a regular session of RR 2015
and RuleML 2015. Students interested to be considered in this
selection process should indicate it in their application.
 
Applications must be submitted in PDF format not exceeding 2
pages (min. font size 11pt) and contain the following information:
 
- Name, contact details
- Affiliation
- Motivation for participation
- Summary of profile
- Willing to present a poster? (if yes, add a poster title and abstract)
- Willing to be considered for RR/RuleML 2015 Doctoral Consortium?
- Supervisor (if applicable)
- Publications (if applicable)
 
== SCHOOL FEES ==
 
The fee for attending the school is 450 Euros (for registered RR 2015 or
RuleML 2015 participants, it is 350 Euros).
 
== LECTURE NOTES ==
 
The course material used during the summer school will be
published with Springer's Lecture Notes in Computer Science
(LNCS) series. A copy of the proceedings
will be included in the registration fees.
 
== GRANTS ==
 
There will be a limited number of student grants available for
the summer school and for the co-located RR2015 conference.
 
== ORGANIZATION ==
 
* Organizing Chairs
 
Wolfgang Faber (University of Huddersfield, UK)
Adrian Paschke (Freie Universitaet berlin, Germany)
 
* Scientific Advisory Board
 
Grigoris Antoniou (University of Huddersfield)
Nick Bassiliades (Aristotle University of Thessaloniki)
Diego Calvanese (Free University of Bozen-Bolzano)
Thomas Eiter (Vienna University of Technology)
Tim Furche (Oxford University)
Pascal Hitzler (Wright State University)
Sebastian Rudolph (Technische Universität Dresden)
 
== CONTACT ==
 
For further information including sponsorship opportunities,
please contact the organizing chairs.
 
http://reasoningweb.org/2015
 
 
Doctoral Consortium
====================
 
We would also like to invite Phd students to submit Phd papers to the collocated two Doctoral Consortiums:
 
RR 2015 Doctoral Consortium 
  http://www.csw.inf.fu-berlin.de/rr2015/dc.html
RuleML Doctoral Consortium 
  http://2015.ruleml.org/DoctoralConsortium.html
 
Submission deadline for Phd papers: May 10th
-- Luca Pulina, Ph.D. Assistant Professor of Computer Science POLCOMING - Department of Political Science, Communication, Engineering and Information Technologies University of Sassari e-mail lpulina-mXwCF2dvG9M@public.gmane.org http://sites.google.com/site/lpulina
_______________________________________________
Om-announce mailing list
Om-announce@...
http://openmath.org/mailman/listinfo/om-announce
Luca Pulina | 23 Apr 18:56 2015
Picon

RR 2015 Doctoral Consortium - Call for Papers

[apologies for any cross-posting]

The RR 2015 Doctoral Consortium (http://www.csw.inf.fu-berlin.de/rr2015/dc.html)
is an initiative of the 9th International Conference On Web Reasoning And Rule Systems (RR 2015).
RR is a major forum for discussion and dissemination of new results concerning Web Reasoning and Rule Systems.
 
The RR 2015 DC will provide doctoral students in Web Reasoning and related areas with a unique opportunity to present and discuss their research directions, be involved into state-of-the-art research discussion, and supported in establishing fruitful research collaborations.
 
To this end, the conference will host two main DC events:
 
- a mentoring lunch, where students will have the opportunity to get in touch with prominent researchers and pioneers in the field of Web Reasoning and Rules, and of related areas;
- a poster session where students will have the possibility to present their work, share their ideas, and receive constructive feedback on their research activity.
To make the DC even more interesting and outward-looking, these two events will be jointly organized with the Doctoral Consortium of the 9th International Web Rule Symposium (RuleML 2015).
 
Last but not least, interested students may consider to attend also the 11th Reasoning Web Summer School (RW 2015), which will be held from July 21 to August 4 2015 in Berlin, co-located with RR 2015.

 
===============
IMPORTANT DATES
===============
 
10/05/2015: paper submission deadline
01/06/2015: notification
14/06/2015: camera ready
04/08/2015: Doctoral Consortium
 
All deadlines have a cut-off point of 23:59 anywhere on earth.

 
=====================
SUBMISSION GUIDELINES
=====================
 
We encourage submissions from PhD students whose research activity is related to web reasoning and rule systems. Students are invited to submit an original description of their work, covering the following aspects:
- Introduction and motivation: a clear formulation of the research questions you are trying to solve.
- Background: positioning of such questions in the field of web reasoning and rule systems, and description of the relevant state of the art.
- Research plan and achievements: description of the proposed solution to the aforementioned research questions, and of the corresponding research plan, stressing in particular relevance and novelty.
 
Each submission consists of:
- A paper conforming to the submission information above, limited to 8 pages in English,and formatted using the LNCS style (http://www.springer.de/comp/lncs/authors.html).
- A short reference letter from the PhD supervisor, indicating the current status of the student within the PhD research activity, the expected date of thesis submissions, the publications co-authored by the student within the PhD, and why it is important for him/her to attend the RR 2015 DC.
 
Please create a single PDF containing the submission and the reference letter.
 
Submissions are managed through Easychair: https://easychair.org/conferences/?conf=rr2015dc

 
===========
PROCEEDINGS
===========
 
The proceedings of the RR 2015 DC will be published as CEUR Proceedings, listed in DBLP and indexed by SCOPUS.

 
==========
COMMITTEES
==========
 
Doctoral Consortium Chair: 

Marco Montali (Free University of Bozen-Bolzano)
 

Program Committee
(confirmed PC members; a complete list will appear on the website):

Jose Julio Alferes (Universidade NOVA de Lisboa)
Meghyn Bienvenu (CNRS & Université Paris-Sud)
Roman Kontchakov (Birkbeck, University of London)
Domenico Lembo (Sapienza University of Rome)
Jorge Lobo (ICREA and Universitat Pompeu Fabra)
Thomas Meyer (UKZN and CSIR Meraka)
Giorgio Orsi (University of Oxford)
Magdalena Ortiz (Vienna University of Technology)
Fabio Patrizi (Free University of Bozen-Bolzano)
Andreas Pieris (Vienna University of Technology)
Francesco Ricca (University of Calabria)
Federico Ulliana (LIRMM and Montpellier University)

 
======================
STUDENT TRAVEL SUPPORT
======================
 
RR 2015 will provide travel support to students. Details will be announced later.
-- Luca Pulina, Ph.D. Assistant Professor of Computer Science POLCOMING - Department of Political Science, Communication, Engineering and Information Technologies University of Sassari e-mail lpulina-mXwCF2dvG9M@public.gmane.org http://sites.google.com/site/lpulina
_______________________________________________
Om-announce mailing list
Om-announce@...
http://openmath.org/mailman/listinfo/om-announce
Mahdi Jaghoori | 22 Apr 19:06 2015
Picon

Final CFP: Topics in Theoretical Computer Science (TTCS 2015) -- Tehran, Iran

(apologies if you receive multiple copies)

=========================================
Topics in Theoretical Computer Science (TTCS 2015)
http://www.ttcs.ir/
Institute for Research in Fundamental Sciences (IPM), Tehran, Iran
August 26-28, 2015

Submission Deadline: May 15, 2015 (Anywhwere on Earth)
========================================

Scope

TTCS is a new bi-annual conference series, intending to serve as a forum for novel and high-quality research in all areas of Theoretical Computer Science. The conference is held in cooperation with the European Association for Theoretical Computer Science. 

There will be a number of satellite events at TTCS, These will feature presentation of early research results, and position papers. There will also be a forum for Ph.D. students to receive comments about their ongoing research projects.

Topics of interest include but are not limited to:

  • algebra and co-algebra in computer science,
  • algorithms and data structures,
  • algorithmic coding theory,
  • algorithmic graph theory and combinatorics,
  • approximation algorithms,
  • computational complexity,
  • computational geometry,
  • computational learning theory,
  • concurrency theory,
  • coordination languages,
  • economics and algorithmic game theory,
  • fixed parameter algorithms,
  • formal verification and model-based testing,
  • logic in computer science,
  • machine learning
  • methods, models of computation and reasoning for embedded, hybrid, and cyber-physical systems,
  • optimization,
  • parallel and distributed algorithms,
  • quantum computing,
  • randomness in computing,
  • stochastic and probabilistic specification and reasoning
  • theoretical aspects of other CS-related research areas, e.g., computational science, databases, information retrieval, and networking,
  • theoretical cryptography,
  • theory of programming languages, and
  • type theory and its application in program verification.
Anuj Dawar, Cambridge University, UK 
Michael Fellows, Charles Darwin University, Australia 
Mehrnoosh Sadrezadeh, Queen Mary University of London, UK 

Submission

For the main conference, we solicit research papers in all areas of theoretical computer science. All papers will undergo a rigorous review process and will be judged based on their originality, soundness, significance of the results, and relevance to the theme of the conference.

Papers should be written in English. Research papers should not exceed 15 pages in the LNCS style format. Multiple and/or concurrent submission to other scientific venues is not allowed and will result in rejection as well as notification to the other venue. Any case of plagiarism (including self-plagiarism from earlier publications) will result in rejection as well as notification to the the authors' institutions.

Papers should be submitted through our EasyChair submission website: https://www.easychair.org/conferences/?conf=ttcs2015 . The web site is open for submissions.

Important Dates

  • Paper Submission: May 15, 2015 (Anywhwere on Earth)
  • Author notification: June 26, 2015
  • Camera ready paper due: July 10, 2015
  • Conference: August 26-28, 2015

Program Committee

Track A: Algorithms and ComplexityTrack B: Logic, Semantics, and Programming Theory
_______________________________________________
Om-announce mailing list
Om-announce@...
http://openmath.org/mailman/listinfo/om-announce
conference | 23 Apr 12:20 2015

FGCT 2015

Fourth International Conference on Future Generation Communication  
Technologies (FGCT 2015)
University of Bedfordshire, Luton (near London) UK
July 29-31, 2015
www.socio.org.uk/fgct
(Technically co-sponsored by IEEE UK & RI)

In the last decade, a number of newer communication technologies have  
been evolved, which have a significant impact on the technology, as a  
whole. The impact ranges from incremental applications to dramatical  
breakthrough in the society. Users rely heavily on broadcast  
technology, social media, mobile devices, video games and other  
innovations to enrich the learning and adoption process.

This conference is designed for teachers, administrators,  
practitioners, researchers and scientists in the development arenas.  
It aims to provide discussions and simulations in the communication  
technology at the broad level and broadcasting technology and related  
technologies at the micro level. Through a set of research papers,  
using innovative and interactive approach, participants can expect to  
share a set of research that will prepare them to apply new  
technologies to their work in teaching, research and educational  
development amid this rapidly evolving landscape.

Topics discussed in this platform are not limited to-

  Emerging cellular and new network architectures for 5G
  New antenna and RF technology for 5G wireless
  Internet of Everything
  Modulation algorithms
  Circuits, software and systems for 5G
  Convergence of multi-modes, multi-bands, multi-standards and multi-  
applications in 5G systems
  Cognitive radio and collaborative transmissions in 5G
  Computing and processing platform for 5G
  Programming models and development tools to enable 5G systems
  Small cells and heterogeneous networks
  Metrics and Evaluation of 5G systems
  Standardization of 5G
  Broadcost technology
  Future Internet and networking architectures
  Future mobile communications
  Mobile Web Technology
  Mobile TV and multimedia phones
  Communication Security, Trust, Protocols and Applications
  Communication Interfaces
  Communication Modelling
  Satellite and space communications
  Communication software
  Future Generation Communication Networks
  Communication Network Security
  Communication Data Grids
  Collaborative Communication Technology
  Intelligence for future communication systems
  Forthcoming optical communication systems
  Communication Technology for Elearning, Egovernment, Ebusiness
  Games and games designing
  Social technology devises, tools and applications
  Crowdsourcing and Human Computation
  Human-computer communication
  Pervasive Computing
  Grid, crowd sourcing and cloud computing
  Hypermedia systems
  Software and technologies for E-communication
  Intelligent Systems for E-communication
  Future Cloud for Communication
  Future warehousing
  Future communication for healthcare and medical devices applications
  Future communication for Mechatronic applications

All presented papers in the conference will be published in the  
proceedings of the conference and submitted to the IEEE Xplore Digital  
Library for inclusion.

The conference will have workshops on specific themes, industrial  
presentation, invited talks and collaborative discussion forums.

Important Dates

Submission of Papers:	May 01, 2015
Notification of Acceptance:	June 10, 2015
Camera Ready:	July 10, 2015
Conference Dates:	July 29-31, 2015

The selected papers after extension and modification will be published  
in many peer reviewed and indexed journals.

  Journal of Computer and System Sciences/ (ISI/Scopus)
  Journal of Digital Information Management (Scopus/EI)
  International Journal of Computational Science and Engineering   
(Scopus and EI Indexed)
  Decision Analytics
  International Journal of Big Data Intelligence
  International Journal of Applied Decision Sciences (Scopus/EI)
  International Journal of Management and Decision Making (Scopus/EI)
  International Journal of Strategic Decision Sciences
  International Journal of Enterprise Information Systems (Scopus/EI)

Programme Committee

General Chair

Ezendu Ariwa, University of Bedfordshire, UK

Programme Chairs

Carsten Maple, Warwick University, UK
Yong Yue, University of Bedfordshire, UK
Hathairat Ketmaneechairat, King Mongkut’s University of Technology, Thailand

Programme Co-Chairs

Koodichimma Ibe-Ariwa, Cardiff Metropolitan University, UK
Gloria Chukwudebe, Federal University of Technology, Owerri, Nigeria

Submissions at: http://www.socio.org.uk/fgct/submission.php
Email: fgct <at> socio.org.uk

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

_______________________________________________
Om-announce mailing list
Om-announce <at> openmath.org
http://openmath.org/mailman/listinfo/om-announce
Jeremy Gibbons | 22 Apr 14:50 2015
Picon
Picon

Associate Professorship in Data Science at Oxford (Continuing Education)

ASSOCIATE PROFESSORSHIP IN DATA SCIENCE

DEPARTMENT OF CONTINUING EDUCATION
UNIVERSITY OF OXFORD

Grade 36S: £44,620 - £59,914 p.a. (pro rata)

The University is seeking to appoint an Associate Professor in Data Science, to commence in October 2015 or as soon as possible thereafter. The post will be held in the Department for Continuing Education, University of Oxford. The postholder will benefit from a fellowship at Linacre College. The successful candidate must have a doctorate in data science or a cognate field, with a proven high standard of expertise in data science and appropriate knowledge of computer science, demonstrable experience of teaching and organising data science or similar programmes at university level, a proven record of research and publication, including evidence of research grant activity, academic leadership ability in the field of data science, and experience of public engagement. The postholder will have the opportunity to contribute to a wide range of provision, as appropriate to their expertise, including directing and overseeing the department's current activity and future development this disciplinary area. The postholder will be Director of Studies in Data Science, responsible for the established and well-subscribed Advanced Diploma in Data and Systems Analysis, together with the open access programmes and day/weekend schools in computer science, and will also seek to develop short/online courses for professional groups, such as school teachers, and for the wider public. The Department for Continuing Education is the leading Continuing Education department in the UK. Committed to public engagement, the department is multidisciplinary and encourages interdisciplinary teaching and research. The closing date for applications is 12.00 noon on 11 May 2015.

For more information, see
 

I would be very happy to answer any questions.

Jeremy

Jeremy.Gibbons-6XCrzUfQPq310XsdtD+oqA@public.gmane.org
Oxford University Department of Computer Science,
Wolfson Building, Parks Road, Oxford OX1 3QD, UK.
+44 1865 283521


_______________________________________________
Om-announce mailing list
Om-announce@...
http://openmath.org/mailman/listinfo/om-announce
Fulvio Frati | 23 Apr 14:28 2015
Picon

Call for Participation: 11th Int'l Conf. on Open Source Systems (OSS 2015)

[Apologies if you receives multiple sending of this Call for PArticipation]

 

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

             11th Int'l Conf. on Open Source Systems (OSS 2015)

 

                       Florence, Italy

                       16-17 May, 2015

                       co-located with ICSE 2015

 

                http://www.oss2015.org

 

                       Sponsored by IFIP WG2.13

 

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

 

The 11^th    International Conference on Open Source Systems (OSS 2015) celebrates a decade

of advances in the use of free and open source software by emphasizing areas and topics

that will drive future use over the next decade. The OSS conference series is the leading

research-oriented conference on open source software.

 

Our invited keynote speakers are

 

Paul Fremantle, Co-Founder of WSO2: Building a Commercial Open Source Software company: a decade of changes

 

and

 

Mike Milinkovich, Executive Director, Eclipse Foundation: How the Eclipse Community Works

 

The complete program may be seen at http://www.oss2015.org/conference-program/

 

Online registration may be made through the ICSE registration site at http://2015.icse-conferences.org/registration

until 8 May, and subsequently on site.

 

We will look forward to seeing you there.

 

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

 

 

Conference leadership

 

General Chair: Ernesto Damiani, Università degli Studi di Milano, Italy

 

Program Co-Chairs: Dirk Riehle, Friedrich-Alexander-University Erlangen-Nürnberg, Germany

                   Anthony I. (Tony) Wasserman, Carnegie Mellon University - Silicon Valley, USA

 

Proceedings and Finance Chair: Fulvio Frati,/Università degli Studi di Milano, Italy

 

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

 

 

_______________________________________________
Om-announce mailing list
Om-announce@...
http://openmath.org/mailman/listinfo/om-announce
VSTTE Conference | 23 Apr 11:21 2015
Picon

Extended Deadline (May 1), VSTTE'15

[apologies for cross posting]

**********************************************************************
7th Working Conference on Verified Software: Theories, Tools, and Experiments
July 18 - 19, 2015
San Francisco, California, USA

Co-located with 25th Conference on Computer Aided Verification
**********************************************************************

Abstract submission: Extended to April 27, 2015
Full Paper Submission Deadline: Extended to May 1, 2015


SCOPE:

The Seventh Working Conference on Verified Software: Theories, Tools,
and Experiments follows a successful inaugural working conference at
Zurich in 2005 followed by conferences in Toronto (2008), Edinburgh
(2010), Philadelphia (2012), Atherton (2013), and Vienna (2014). The
goal of this conference is to advance the state of the art in the
science and technology of software verification, through the
interaction of theory development, tool evolution, and experimental
validation.

We welcome submissions describing significant advances in the
production of verified software, i.e., software that has been
proved to meet its functional specifications.  We are
especially interested in submissions describing large-scale
verification efforts that involve collaboration, theory unification,
tool integration, and formalized domain knowledge.  We welcome papers
describing novel experiments and case studies evaluating verification
techniques and technologies.  Topics of interest include education,
requirements modeling, specification languages,
specification/verification case-studies, formal calculi, software
design methods, automatic code generation, refinement methodologies,
compositional analysis, verification tools (e.g., static analysis, dynamic
analysis, model checking, theorem proving, satisfiability), tool
integration, benchmarks, challenge problems, and integrated
verification environments.


PAPER SUBMISSION

Papers will be evaluated by at least three members of the
Program Committee. We are accepting both long (limited to 16 pages)
and short (limited to 10 pages) paper submissions, written in English.
Short submissions also cover Verification Pearls describing an
elegant proof or proof technique.  Submitted research papers and
system descriptions must be original and not submitted for publication
elsewhere.

Research paper submissions must be in LNCS format and must
include a cogent and self-contained description of the ideas, methods,
results, and comparison to existing work.  Submissions of theoretical,
practical, and experimental contributions are equally encouraged,
including those that focus on specific problems or problem domains.

Papers should be submitted through:


Submissions that arrive late, are not in the proper format, or are too
long will not be considered.  The post-conference proceedings of VSTTE
2015 will be published by Springer-Verlag in the LNCS series.  Authors
of accepted papers will be requested to sign a form transferring
copyright of their contribution to Springer-Verlag.  The use of LaTeX
and the Springer LNCS class files, obtainable
encouraged.

PUBLICATION

Accepted  papers will be  published as post-Proceedings, to
appear in Springer's Lectures Notes in Computer Science.

IMPORTANT DATES:

Abstract submission: Extended to April 27, 2015
Full paper submission: Extended to May 1, 2015
Notification: June 8, 2015


ORGANIZATION:
General Chair:          
Martin Schaef (SRI International)

Program Chairs: 
Arie Gurfinkel (Software Engineering Institute, Carnegie Mellon University)
Sanjit A. Seshia (University of California, Berkeley)

Publicity Chair:        
Daniel Bundala (University of California, Berkeley)

PROGRAM COMMITTEE:
Elvira Albert (Complutense University of Madrid)
Nikolaj Bjorner (Microsoft Research)
Evan Chang (University of Colorado, Boulder)
Ernie Cohen (University of Pennsylvania)
Jyotirmoy Deshmukh (Toyota)
Jin Song Dong (National University of Singapore)
Vijay D'Silva (Google)
Vijay Ganesh (University of Waterloo)
Alex Groce (Oregon State)
Arie Gurfinkel (Software Engineering Institute, Carnegie Mellon University) (co-chair)
Bill Harris (Georgia Institute of Technology)
Chris Hawblitzel (Microsoft Research)
Bart Jacobs (Katholieke Universiteit Leuven, Belgium)
Susmit Jha (United Technologies)
Rajeev Joshi (Laboratory for Reliable Software, Jet Propulsion Laboratory)
Vladimir Klebanov, Karlsruhe Institute of Technology, DE
Akash Lal (Microsoft Research India)
Ruzica Piskac (Yale)
Zvonimir Rakamaric (University of Utah)
Kristin Yvonne Rozier (University of Cincinnati)
Sanjit A. Seshia (UC Berkeley) (co-chair)
Natarajan Shankar (SRI)
Carsten Sinz (KIT)
Nishant Sinha (IBM Research Labs)
Alexander Summers (ETH Zurich)
Zachary Tatlock (University of Washington)
Sergey Tverdyshev (Sysgo AG)
Arnaud Venet (CMU / NASA Ames Research Center)
Karen Yorav (IBM Haifa Research Lab)

**********************************************************************
Please contact vstte2015 <at> easychair.org  for further information
**********************************************************************
_______________________________________________
Om-announce mailing list
Om-announce@...
http://openmath.org/mailman/listinfo/om-announce
Geoff Sutcliffe | 22 Apr 16:25 2015
Picon

TABLEAUX - Call for Papers

                     SECOND CALL FOR PAPERS 

                         TABLEAUX 2015

         24th International Conference on Automated Reasoning with
                Analytic Tableaux and Related Methods

                Wroclaw, Poland, September 21-24, 2015

                   http://tableaux2015.ii.uni.wroc.pl/

GENERAL INFORMATION
   TABLEAUX 2015 is the 24th in the series of international meetings
   on Automated Reasoning with Analytic Tableaux and Related Methods,
   and will be held in Wroclaw, Poland, during September 21-24, 2015.

   TABLEAUX 2015 will be co-located with the 10th International Symposium
   on Frontiers of Combining Systems (FroCoS 2015).

   The computer science institute of Wroclaw has a large experience
   in hosting international conferences. It has hosted 
   the IEEE Symposium on Logic in Computer Science (LICS 2007), 
   the 24th International Conference on Automated Deduction 
   (CADE 2011), and the 22nd European Symposium on Algorithms (ALGO 2014).

TOPICS
   Tableaux methods offer a convenient and flexible set of tools 
   for automated reasoning in classical logic, extensions of classical
   logic, and a large number of non-classical logics. For large 
   groups of logics, tableaux methods can be generated automatically. 
   Areas of application include verification of software and computer
   systems, deductive databases, knowledge representation and its required 
   inference engines, teaching, and system diagnosis.
   The conference series aims to bring together researchers interested in all
   aspects of tableaux - theoretical foundations, applications, 
   and implementation techniques. 

     * tableaux methods for classical and non-classical logics 
       (e.g. modal, temporal, description, intuitionistic, substructural, 
       fuzzy, paraconsistent logics) and their proof theoretic 
       foundations.
     * related methods (model elimination, model checking, connection
       methods, resolution, BDDs).
     * sequent calculi for classical and non-classical logics,
       as tools for proof search and proof representation. 
     * flexible, easily extendable, light weight methods for theorem proving.
     * novel types of calculi for theorem proving and verification
       in classical and non-classical logics.
     * systems, tools, implementations and applications (provers,
       logical frameworks, model checkers, ... ).
     * implementation techniques (data structures, efficient algorithms,
       performance measurement, extendibility, ... ).
     * extensions of tableaux procedures with conflict-driven learning, 
       generation of proofs; compact (or humanly readable) representation
       of proofs. 
     * decision procedures, theoretically optimal procedures.
     * applications of automated deduction to mathematics, software 
       development, protocol verification, or teaching. 

   TABLEAUX 2015 also welcomes papers describing applications of tableaux
   procedures to real world examples. Such papers should be tailored to 
   the tableaux community and should focus on the role of reasoning, 
   and logical aspects of the solution.

SUBMISSIONS
   Submissions are invited in two categories:

     A  Research papers, which describe original theoretical research, 
        original algorithms, or applications, with length 
        up to 15 pages.
     B  System descriptions, with length up to 10 pages.

   Submissions will be reviewed by the PC, possibly will help of
   external reviewers, taking into account readability, relevance
   and originality.

   For category A, theoretical results and algorithms must be original,
   and not submitted for publication elsewhere. Submissions will be reviewed 
   taking into account correctness, theoretical prettyness, and possible
   implementability. 

   For category B submissions, a working implementation 
   must be available on the internet, which includes sources. 
   The aim of a system description is to make the system available
   in such a way that users can use it, understand it, and build on it.

   Accepted papers in both categories will be published in the conference 
   proceedings (within the LNAI series of Springer).

   For accepted papers in both of the categories, at least one author 
   is required to attend the conference and present the paper. 

   Further information and instructions about submissions can be found
   on the conference website http://tableaux2015.ii.uni.wroc.pl

IMPORTANT DATES

Abstract submission deadline:             May 8th,   2015
Paper submission deadline:                May 15th,  2015
Author Notification:                      July 1st,  2015
Final Version:                            July 17th  2015 
Conference:                     September 21st-24th, 2015

PROGRAM COMMITTEE
-----------------

   Marc Bezem, University of Bergen, Norway 
   Agata Ciabattoni, Vienna University of Technology, Austria
   David Delahaye, National Conservatory of Arts and Professions, Paris, France
   Ulrich Furbach, University of Koblenz, Germany
   Didier Galmiche, Universite de Lorraine, Nancy, France
   Silvio Ghilardi, Universita degli Studi di Milano, Italy
   Rajeev Gore, Australian National University, Canberra, Australia
   Stephane Graham-Lengrand, Ecole Polytechnique, Palaiseau, France
   Reiner Haehnle, Darmstadt University of Technology, Germany
   Konstantin Korovin, University of Manchester, UK
   George Metcalfe, University of Bern, Switzerland
   Dale Miller, INRIA Saclay-Ile-de-France, France
   Barbara Morawska, Technische Universitaet Dresden, Germany
   Boris Motik, University of Oxford, UK
   Claudia Nalon, University of Brasilia, Brasil
   Sara Negri, University of Helsinki, Finland
   Linh Anh Nguyen, University of Warsaw, Poland
   Hans de Nivelle (chair), University of Wroclaw, Poland
   Jens Otten, University of Potsdam, Germany
   Andrei Popescu, Middlesex University London, UK
   Renate Schmidt, University of Manchester, UK
   Luca Vigano, King's College, London, UK
   Bruno Woltzenlogel-Paleo, Vienna University of Technology, Austria 

WORKSHOPS AND TUTORIALS
------------------------

Workshops have been solicited in separate call, which can
be found on http://tableaux2015.ii.uni.wroc.pl or
http://frocos2015.ii.uni.wroc.pl

Tutorials for FroCoS/TABLEAUX will be solicited in a separate call, which
will be published later. 
Giovanni Livraga | 22 Apr 14:54 2015
Picon

Deadline extended - 3rd IEEE Conference on Communications and Network Security (CNS 2015)

CALL FOR PAPERS

***** Deadline extended to May 4, 2015 (11:59pm American Samoa time) *****


3rd IEEE Conference on Communications and Network Security 
Florence, Italy -- September 28-30, 2015
http://cns2015.ieee-cns.org/

IEEE Conference on Communications and Network Security (CNS) is a new conference series in
IEEE Communications Society (ComSoc) core conference portfolio and the only ComSoc
conference focusing solely on cyber security. IEEE CNS is also a spin-off of IEEE INFOCOM,
the premier ComSoc conference on networking. The goal of CNS is to provide an outstanding
forum for cyber security researchers, practitioners, policy makers, and users to exchange
ideas, techniques and tools, raise awareness, and share experience related to all
practical and theoretical aspects of communications and network security.

Building on the success of the past two years' conferences, IEEE CNS 2015 seeks original
high-quality technical papers from academia, government, and industry. Topics of interest
encompass all practical and theoretical aspects of communications and network security,
all the way from the physical layer to the various network layers to the variety of
applications reliant on a secure communication substrate. Submissions with main
contribution in other areas, such as information security, software security, system
security, or applied cryptography, will also be considered if a clear connection to secure
communications/networking is demonstrated.

Particular topics of interest include, but are not limited to:

* Anonymization and privacy in communication systems
* Biometric authentication and identity management
* Computer and network forensics
* Data and application security
* Data protection and integrity
* Availability of communications, survivability of networks in the presence of attacks
* Key management and PKI for networks
* Information-theoretic security
* Intrusion detection and prevention
* Location privacy
* Mobile security
* Outsourcing of network and data communication services
* Physical layer security methods, cross-layer methods for enhancing security
* Secure routing, network management
* Security for critical infrastructures
* Security metrics and performance evaluation
* Security and privacy for big data
* Security and privacy in body area networks
* Security and privacy in content delivery network
* Security and privacy in cloud computing and federated cloud
* Security and privacy in crowdsourcing
* Security and privacy in the Internet of Things
* Security and privacy in multihop wireless networks: ad hoc, mesh, sensor, vehicular and RFID networks
* Security and privacy in peer-to-peer networks and overlay networks
* Security and privacy in single-hop wireless networks: Wi-Fi, Wi-Max
* Security and privacy in smart grid, cognitive radio networks, and disruption/delay tolerant networks
* Security and privacy in social networks
* Security and privacy in pervasive and ubiquitous computing
* Social, economic and policy issues of trust, security and privacy
* Traffic analysis
* Usable security for networked computer systems
* Vulnerability, exploitation tools, malware, botnet, DDoS attacks
* Web, e-commerce, m-commerce, and e-mail security

Please Note: To be published in the IEEE CNS 2015 Conference Proceedings and to be
eligible for publication in IEEE Xplore, an author of an accepted paper is required to
register for the conference at the full (member or non-member) rate and the paper must be
presented by an author of that paper at the conference unless the TPC Chair grants
permission for a substitute presenter arranged in advance of the event and who is
qualified both to present and answer questions.  Non-refundable registration fees must be
paid prior to uploading the final IEEE formatted, publication-ready version of the paper.
For authors with multiple accepted papers, one full registration is valid for up to 3
papers. Accepted and presented papers will be published in the IEEE CNS 2015 Conference
Proceedings and submitted to IEEE Xplore as well as other Abstracting and Indexing (A&I)
databases.

IMPORTANT DATES
Paper submission: 4 May 2015 (11:59pm American Samoa time) [extended]
Notification date: 29 June 2015
Final paper: 17 July 2015

GENERAL CHAIRS 
Sabrina De Capitani di Vimercati, Universita' degli Studi di Milano, Italy
David Du, University of Minnesota, USA

PROGRAM CHAIRS
Guevara Noubir, Northeastern University, USA
Pierangela Samarati, Universita' degli Studi di Milano, Italy

AREA CHAIRS
Yan Chen, Northwestern University
Yingying Chen, Stevens Institute of Technology
Sara Foresti, Università degli Studi di Milano
Javier Lopez-Munoz, University of Malaga
Panagiotis Papadimitratos, KTH
Tilman Wolf, University of Massachusetts Amherst
Guoliang Xue, Arizona State University
Moti Yung, Google
Yanchao Zhang, Arizona State University
Sencun Zhu, The Pennsylvania State University

PROGRAM COMMITTEE
Gail-Joon Ahn, Arizona State University
Ehab Al-Shaer, University of North Carolina Charlotte
Basel Alomair, King Abdulaziz City for Science and Technology
Elli Androulaki, IBM
Giuseppe Ateniese, Sapienza-University of Rome
Raheem Beyah, Georgia Institute of Technology
Giuseppe Bianchi, University of Rome "Tor Vergata"
Erik-Oliver Blass, Northeastern University
Kai Bu, Zhejiang University
Guohong Cao, The Pennsylvania State University
Yinzhi Cao, Columbia University
Hao Chen, UC Davis
Songqing Chen, George Mason University
Xiaofeng Chen, Xidian University
Sherman S. M. Chow, Chinese University of Hong Kong
Mauro Conti, University of Padua
Sajal Das, Missouri University of Science and Technology
Sabrina De Capitani di Vimercati, Università di Milano
Roberto Di Pietro, Bell Labs
Yingfei Dong, University of Hawaii
Faramarz Fekri, Georgia Institute of Technology
Xinwen Fu, University of Massachusetts Lowell
Guang Gong, University of Waterloo
Guofei Gu, Texas A&M University
Thomas Halford, TrellisWare Technologies, Inc.
Nicholas Hopper, University of Minnesota
Marwan Krunz, University of Arizona
Albert Levi, Sabanci University
Ming Li, Utah State University
Qun Li, College of William and Mary
Zhichun Li, NEC Labs America
Peng Liu, Pennsylvania State University
Yunhao Liu,  Tsinghua University
Wenjing Lou, Virginia Tech
Ashraf Matrawy, Carleton University
Wojciech Mazurczyk, Warsaw University of Technology
Patrick McDaniel, Pennsylvania State University
Tommaso Melodia, Northeastern University
Aikaterini Mitrokotsa, Chalmers University of Technology
Aziz Mohaisen, Verisign Labs
Refik Molva, Eurecom
Amit Pande, University of California Davis
Jung-Min (Jerry) Park, Virginia Tech
Neal Patwari, University of Utah
Radia Perlman, EMC
Christina Poepper, Ruhr-University Bochum
Kui Ren, State University of New York at Buffalo
Walid Saad, Virginia Tech
Zhijie Shi, University of Connecticut
Dong-Hoon Shin, Arizona State University
Mukesh Singhal, University of California at Merced
Aaron Striegel, University of Notre Dame
Thorsten Strufe, TU Dresden
Neeraj Suri, Technische Universitaet Darmstadt
Patrick Tague, Carnegie Mellon University
Chiu Tan, Temple University
Bishal Thapa, Raytheon BBN Technology
Ari Trachtenberg, Boston University
Wade Trappe, WINLAB, Rutgers University
A. Selcuk Uluagac, FIU
Jaideep Vaidya, Rutgers, The State University of New Jersey
Cliff Wang, Army Research Office
Cong Wang, City University of Hong Kong
Tao Wei, FireEye Inc.
Wenyuan Xu, University of South Carolina
Dong Xuan, The Ohio State University
Shanchieh Yang, Rochester Institute of Technology
Danfeng Yao, Virginia Tech
Vinod Yegneswaran, SRI International
Adam Young, Cryptovirology Labs
Meng Yu, Virginia Commonwealth University
Kai Zeng, George Mason University
Rui Zhang, University of Hawaii
Jianying Zhou, Institute for Infocomm Research

This call for papers and additional information about the conference
can be found at http://cns2015.ieee-cns.org/

Gmane