Shui Yu | 18 Nov 06:39 2014
Picon

IEEE INFOCOM 15 Workshop of BigSecurity with Special Issue Information


We apology for possible cross posting

--

The Third International Workshop on Security and Privacy in Big Data  (in conjunction with IEEE INFOCOM 2015)  http://www.nsp.org.au/confs/bigsecurity2015/   

As we are deep into the Information Age, we also witness the explosive growth of data available on the Internet. Human beings have created quintillion bytes of data every day, which come from sensors, individual archives, social networks, Internet of Things, enterprise and Internet in all scales and formats. We face one of the most challenging issues, i.e., how to effectively manage such a large amount of data and identify new ways to analyze large amounts of data and unlock information. The issue is also known as Big Data, which has been emerging as a hot topic in Information and Communication Technologies (ICT) research.  Security and privacy issue is critical for Big Data. Many works have been carried out focusing on business, application and information processing level from big data, such as data mining and analysis.  However, security and privacy issues in Big Data are seldom mentioned to date. Due to its extraordinary scale, security and privacy in Big Data faces many challenges, such as efficient encryption and decryption algorithms, encrypted information retrieval, attribute based encryption, attacks on availability, reliability and integrity of Big Data.

 

The purpose of this workshop is to offer a timely venue for researchers and industry partners to present and discuss their latest results in security and privacy related work of Big Data. 

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

·         Threat and Vulnerability Analysis in Big Data

·         Architecture for Security and Privacy in Big Data

·         Encrypted Information Retrieval in Big Data

·         Cryptanalysis and Applications in Big Data

·         Lightweight Cryptographic Algorithms in Big Data

·         Trust in Big Data

·         Network Security, Privacy in Big Data

·         Network Forensics in Big Data

·         Anonymous Communication in Big Data

·         Physical Layer Security in Big Data

·         Privacy and Security in Cloud Data

·         Privacy and Security in Data Center Networks

·         Application Level Security and Privacy in Big Data

·         Attacks and Counter Measures in Big Data

·         Information Forensics in Big Data

·         Secure Cross-layer Design in Big Data

·         Identity Management and Key Management in Big Data

·         Intrusion Detection and Response in Big Data

·         Security and Privacy in Complex Networks

·         Malware and Virus Detection in Big Data

·         Biometric Security and Forensics in Big Data

·         Reliability and Availability in Big Data

·         Network Security in Big Data

·         Network Privacy in Big Data

·         Security and Privacy Theories in Big Data

 

General Co-chairs

Professor Ivan Stojmenovic, University of Ottawa, Canada

Professor Jian Pei, Simon Fraser University, Canada

 

Technical Program Co-chairs

Dr Shui Yu, Deakin University, Australia

Professor Ke Liu, National Natural Science Foundation of China, China

 

Submission Instructions are available from the IEEE INFOCOM 2015 website, and the submission for this workshop is http://edas.info/N18817 .

 

*High quality papers from this workshop will be invited to extend and submit to the special issue on Big Data from Network Perspective on Elsevier Journal of Big Data Research (http://www.journals.elsevier.com/big-data-research/, organized by the workshop organizers).

 

Important Dates

Submission Deadline: December 15, 2014

Authors Notification:  January 15, 2015

Final Manuscript Due: February 15, 2015

Workshop Date: April 27, 2015

 

Enquiries should be submitted to Dr Shui Yu (syu <at> deakin.edu.au). 


--

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

Shui YU, PhD, Senior Lecturer

School of Information Technology, Deakin University,

221 Burwood Highway, Burwood, VIC 3125,  Australia.

Telephone:0061 3 9251 7744

http://www.deakin.edu.au/~syu

_______________________________________________
Om-announce mailing list
Om-announce@...
http://openmath.org/mailman/listinfo/om-announce
Samir OUCHANI | 17 Nov 18:24 2014
Picon

The First International Workshop on Security Aspects of Cyber-Physical Systems (SACPS'15)

The First International Workshop on Security Aspects of Cyber-Physical Systems (SACPS'15)

 

satoss.uni.lu/sacps2015/

in conjunction with ANT-2015 conference

June 2 - 5, 2015 London, UK

 

SCOPE

 

Security of Cyber-Physical Systems (CPS) is challenging due to the inherent complexity of CPS. Moreover, it is not sufficient to ascertain the security of the individual components in isolation: threats in CPS systems could also be due to the interaction between the physical, digital and software parts of CPS. Therefore, the system must be studied as a whole, which sets this emerging discipline apart from these individually established fields. This workshop provides a platform for professionals from academia, government, and industry to discuss how to address the increasing security challenges facing CPS.

 

Topics of interest include (but are not limited to):

 

·         Modeling CPS (formal models, UML, SysML, ADAAL, etc)

·         Design secure CPS

·         Risks analysis of CPS

·         Formal methods for CPS (abstraction, compositional verification, model checking, theorem proving, simulation, testing, etc)

·         Threat modeling for CPS

·         Security policies and access control for CPS

·         Safety and reliability analysis for CPS

·         Security requirements specification for CPS

·         Human aspects for CPS

·         Case studies, tools, and experimental results for CPS

 

SUBMISSION AND PROCEEDINGS

 

All papers accepted for workshops will be included in the ANT-2015 proceedings, which will be published by Elsevier. The authors must follow Elsevier guidelines as given in ANT-2014 website (http://cs-conferences.acadiau.ca/ant-14/). The number of pages for workshop papers is limited to 6 pages. Authors should submit their contributions electronically in PDF format at: https://easychair.org/conferences/?conf=sacph2015.

 

The submission processes will be managed by easychair.org. If you have used this system before, you can use the same username and password. If this is your first time using EasyChair, you will need to register for an account by clicking "I have no EasyChair account" button. Upon completion of registration, you will get a notification email from the system and you are ready for submitting your paper. You can upload and re-upload the paper to the system by the submission due date.

 

The selective outstanding papers presented at the workshops, after further revision, will be considered for publication in journals special issues. In case of any problem with submission, please contact the workshop chair for assistance.

 

All workshops accepted papers will be printed in the conference proceedings published by Elsevier Science in the open-access Procedia Computer Science series (on-line). Procedia Computer Sciences is hosted on www.Elsevier.com and on Elsevier content platform ScienceDirect (http://www.sciencedirect.com), and will be freely available worldwide. All papers in Procedia will also be indexed by Scopus (http://www.scopus.com) and Engineering Village (Ei) (http://www.engineeringvillage.com). This includes EI Compendex (http://www.ei.org/compendex). All accepted papers will also be indexed in DBLP (http://dblp.uni-trier.de/).

 

The selective outstanding papers presented at the workshops, after further revision, will be considered for publication in journals special issues at ANT'13 and in IJFCST.

 

Important dates

Submission due: 10 Feb, 2015

Notification of acceptance: 20 March, 2015

Camera-ready due: 1 April, 2015

Workshop: 2-5 June, 2015

 

Program committee

 

General chair

Sjouke Mauw, University of Luxembourg, Luxembourg.

 

PC chairs

Otmane Ait Mohamed, Concordia University, Canada.

Samir Ouchani, University of Luxembourg, Luxembourg.

 

PC members

·         Yamine Ait-Ameur (Ecole Nationale Supérieure de Mécanique et d'Aérotechnique, FR)

·         Vincent Aravantinos (Fortiss GmbH, D)

·         Yacine Atif (UAE University, UAE)

·         Hamad Binsalleeh (Al-Imam University, KSA)

·         Mourad Debbabi (Concordia University, CA)

·         Karim Djouani (Université Paris-Est Créteil, FR)

·         Jannik Dreier (ETH Zurich, CH)

·         Iqbal Farkhund (Zayed University, UAE)

·         Osman Hassan (National University of Science & Technology Pakistan, PK)

·         Hugo Jonker (University of Luxembourg, L)

·         Barbara Kordy (Université d'Orléans, FR)

·         Gabriele Lenzini (University of Luxembourg, L)

·         Chamseddine Talhi (Ecole de Technologie Supérieure, CA)

 

Please visit: http://cs-conferences.acadiau.ca/ant-15/#registration for more information.

 

VENUE, ACCOMMODATION & VISA REQUIREMENTS

 

Please visit: http://cs-conferences.acadiau.ca/ant-15/#conferenceVenue for more information.

 

 

If you have any further questions please contact one of the workshop organizer.

 

Dr. Samir OUCHANI

email: samir.ouchani-Bc4zhm9Ex8o@public.gmane.org 

Phone: (+352) 46 66 44 5743

Fax : (+352) 46 66 44 3 5743

University of Luxembourg

Interdisciplinary Centre for Security, Reliability and Trust (SnT)

6, rue Richard Coudenhove-Kalergi

L-1359 Luxembourg

 

 

 

 

Attachment (smime.p7s): application/pkcs7-signature, 7453 bytes
_______________________________________________
Om-announce mailing list
Om-announce@...
http://openmath.org/mailman/listinfo/om-announce
Kashif Akhtar Saleem | 17 Nov 17:01 2014
Picon

Final Call for Papers: 6th Symposium on Security and Privacy in Next Generation Networks (SPNGN) in association with ITNG 2015

+++++++++++++++++++++++++++++++++++++++++++++++++++++

My apologies if you receive multiple copies of this call for papers (CFP)

+++++++++++++++++++++++++++++++++++++++++++++++++++++

  

Friendly reminder and the Final Call for Papers, and for submissions after due date and any other queries please email ksaleem <at> ksu.edu.sa

 

Please, forward this CFP to your friends, department colleagues, advanced graduate students, colleagues at local community and junior colleges.

 

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

Extended Hard DEADLINE: 17th November, 2014

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

 

The 6th Symposium on Security and Privacy in Next-Generation Networks (SPNGN 2015)

 

in association with

 

12th International Conference on Information Technology : New Generations (ITNG 2015)

 

April 13-15, 2015, Las Vegas, Nevada, USA

 

-: Accepted and registered papers will be published by IEEE Computer Society Press as well as submitted to DBLP and other Abstracting and Indexing (A&I) databases :-

 

-: Extended version of Distinguished Papers that are registered and presented, after further revision, will be recommended for possible publication in special issues of SCI Indexed Journals :-

 

-:Best Paper Award with waiver of registration fees:-

 

 

It is a fabulous opportunity to explore, share and experience new research ideas.

 

Please, forward this CFP to your friends, department colleagues, advanced graduate students and colleagues at local community/junior colleges.

 

wikiCFP link: http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=40116&copyownerid=56958

 

KSU website: http://fac.ksu.edu.sa/ksaleem/announcement/77999

 

We look forward to seeing you at the conference venue in April 2015!

 

Best Regards,

Kashif Saleem l Assistant Professor

Center of Excellence in Information Assurance (CoEIA)

Phone (+966) 11 469 6458

Fax (+966) 11 469 6452

P.O Box  92144 ~ Riyadh 11653

CoEIA web site:  http://coeia.edu.sa , King Saud University web site:  http://www.ksu.edu.sa

King Saud University

Saudi Arabia.



Disclaimer:
This communication is intended for the above named person and is confidential and / or legally privileged. Any opinion(s) expressed in this communication are not necessarily those of KSU (King Saud University). If it has come to you in error you must take no action based upon it, nor must you print it, copy it, forward it, or show it to anyone. Please delete and destroy the e-mail and any attachments and inform the sender immediately. Thank you.
KSU is not responsible for the political, religious, racial or partisan opinion in any correspondence conducted by its domain users. Therefore, any such opinion expressed, whether explicitly or implicitly, in any said correspondence is not to be interpreted as that of KSU.
KSU may monitor all incoming and outgoing e-mails in line with KSU business practice. Although KSU has taken steps to ensure that e-mails and attachments are free from any virus, we advise that, in keeping with best business practice, the recipient must ensure they are actually virus free.
_______________________________________________
Om-announce mailing list
Om-announce@...
http://openmath.org/mailman/listinfo/om-announce
Conference Contact | 17 Nov 01:26 2014
Picon

Deadline extension - GPC 2015 Conference in Fiji

10th International Conference on Green, Pervasive and Cloud Computing (GPC 2015)
Plantation Island, Fiji, 4-6 May 2015


GPC 2015 Call For Papers
========================

GPC 2015 aims to establish a high-standard world forum for researchers and developers to share their excellent ideas and experiences in the areas of green computing and communications in the broad context of pervasive computing and cloud computing. GPC 2015 features a special publication model: in addition to the publication in Springer LNCS proceedings (EI, Scopus indexed), a number of top ranked papers will be directly published in a Special Issue of IEEE Systems Journal (SCI indexed). 

Important Dates
===============
Extended Paper submission due: 30 November 2014
Notification of decisions: 31 January 2015
Camera ready and registration due: 28 February 2015
Conference/Workshop dates: 4-6 May 2015

Overview
========

Green computing in the context of cloud and pervasive computing is a newly-emerging research field in computer science and engineering. Pervasive computing and cloud computing are two promising paradigms in human's daily life. With the exponential growth in the deployments of techniques in pervasive computing and cloud computing, both of them have to face the critical issues on energy consumption, for example, controlling the energy consumed by the large-scale cloud datacenters, and prolonging the battery life of mobile devices in pervasive computing and Internet of Things (IoT). Therefore, new architectures, systems and related techniques, such as mobile cloud computing (MCC), software-defined networking (SDN) and hybrid cloud services, are being developed to make the computing in cloud datacenters and in pervasive wireless devices more productive and energy efficient, for shaping a "Green" world in the future.

GPC 2015 is the next event in a series of highly successful events focusing on pervasive and environmentally sustainable computing. In the last nine years, the GPC conference has been successfully held and organised all over the world: Taichung, Taiwan (2006), Paris, France (2007), Kunming, China (2008), Geneva, Switzerland (2009), Hualien, Taiwan (2010), Oulu, Finland (2011), Hong Kong (2012), Seoul, Korea (2013), and Wuhan, China (2014).

Topics
======

We invite submissions on a wide range of green, pervasive and cloud computing topics, including, but not limited to:

* Energy-efficient computing, communication and virtualisation architectures and protocols
* Trade-offs between performance, energy and other resources in cloud datacenters and pervasive computing
* Energy-aware mobile cloud systems and large-scale applications
* Energy management in multi-core systems, parallel and distributed systems, machine to machine communications, social networks and services
* Energy-aware control in the Internet of Things, such as buildings and electric vehicle systems
* Monitoring, sensing, control and management of energy-aware systems
* Integration, scheduling and management of renewable energy sources
* Modeling and control of variability in demand and supply of green energy sources
* Instrumentation and measurement studies on energy-efficient systems
* Economy and business models in cloud computing and pervasive computing
* Incentives and innovative pricing for the management of cloud resources
* Service Level Agreements (SLAs) guarantee for customers in cloud computing
* Data analytics for energy-efficient systems
* Innovative technologies for robustness and reliability of energy-aware systems
* Security and privacy in pervasive and cloud computing

Submission
==========

Authors are invited to submit original research contributions by following the detailed instructions given in the "Author Instructions" section at IEEE Systems Journal website. In the cover letter, authors should explicitly state that the paper is submitted to the "Special Issue on Green Pervasive and Ubiquitous Systems". Please follow the GPC 2015 submission deadlines.

Note: all submissions to GPC 2015 shall go through the review system of IEEE Systems Journal. The review process will take place in the specified time frame. A number of top-ranked papers will be selected to publish in the journal special issue, while other accepted papers will be published in LNCS proceedings (which shall then follow the LNCS paper format with a page limit of 12~14 pages). Questions about the paper submission may be directed to the GPC 2015 TPC Chairs:

* Hai Jiang, Arkansas State University, USA, hjiang-scahv/MlVSc3uPMLIKxrzw@public.gmane.org
* Ruppa K. Thulasiram, University of Manitoba, Canada, tulsi-JhCLaGJqWsnBk1xJjPHTRw@public.gmane.orgca
* Yu Wang, Deakin University, Australia, y.wang-s/yHM3Pchp9WG/WdbR7gnQ@public.gmane.org

Quick Links:

Organisation Committee
======================

General Chairs
--------------
A B M Shawkat Ali, The University of Fiji, Fiji
Yang Xiang, Deakin University, Australia
Ruppa Thulasiram, University of Manitoba, Canada

Program Chairs
--------------
Hai Jiang, Arkansas State University, USA
Ashfaqur Rahman, CSIRO, Australia
Yu Wang, Deakin University, Australia

Workshop Chairs
---------------
Sheng Wen, Deakin University, Australia
Rajiv Ranjan, CSIRO, Australia

Local Arrangement Chair
-----------------------
Ansgar Fehnker, The University of The South Pacific, Fiji

Steering Committee
------------------
Hai Jin, Huazhong University of Science and Technology, China (Chair)
Nabil Abdennadher, University of Applied Sciences and Arts Western Switzerland (HES-SO), Switzerland
Christophe Cerin, University of Paris XIII, France
Sajal K. Das, Missouri University of Science and Technology, USA
Jean-Luc Gaudiot, University of California - Irvine, USA
Kuan-Ching Li, Providence University, Taiwan
Cho-Li Wang, The University of Hong Kong, Hong Kong
Chao-Tung Yang, Tunghai University, Taiwan
Laurence T. Yang, Huazhong University of Science and Technology, China

Program Committee
-----------------
Nabil Abdennadher, University of Applied Sciences and Arts Western Switzerland (HES-SO), Switzerland
Saadat M Alhashmi, Abu Dhabi University, UAE
Luciana Arantes, Universite Pierre et Marie Curie-Paris6, France
Shehzad Ashraf Ch., International Islamic University, Pakistan
Zeyar Aung, Masdar Institute of Science and Technology, UAE
Fevzi Belli, University of Paderborn, Germany
Ioan Marius Bilasco, Université Lille 1, France
Christophe Cerin, University of Paris XIII, France
Rohitash Chandra, The University of The South Pacific, Fiji
Yuanfang Chen, Dalian University of Technology, China
Chi-Hung Chi, CSIRO, Australia
Xiaowen Chu, Hong Kong Baptist University, Hong Kong
Yeh-Ching Chung, National Tsing Hua University, Taiwan
Raphaël Couturier, University of Franche Comte, France
Noel Crespi, Institut Telecom, France
Talbi El-Ghazali, University of Lille, France
Kaori Fujinami, Tokyo University of Agriculture and Technology, Japan
Dan Grigoras, University College Cork, Ireland
Shamim Hossain, IBM, Australia
Hung-Chang Hsiao, National Cheng Kung University, Taiwan
Ching-Hsien (Robert) Hsu, Chung Hua University, Taiwan
Kuo-Chan Huang, National Taichung University of Education, Taiwan
Sajid Hussain, Fisk University, USA
Md. Rafiqul Islam, American International University, Bangladesh
Xin Jin, The University of Hong Kong, Hong Kong
Yong-Kee Jun, Gyeongsang National University, Korea
Daewon Lee, Seokyeong University, Korea
Minglu Li, Shanghai Jiao Tong University, China
Xiaoyao Liang, Shanghai Jiao Tong University, China
Chen Liu, Clarkson University, USA
Chi Liu, Beijing Institute of Technology, China
Damon Shing-Min Liu, National Chung Cheng University, Taiwan
Kai Ma, Qualcomm, USA
Victor Malyshkin, Russian Academy of Sciences, Russia
Tomas Margalef, Universitat Autonoma de Barcelona, Spain
Tommi Mikkonen, Tampere University of Technology, Finland
Tatsuo Nakajima, Waseda University, Japan
Alfredo Navarra, University of Perugia, Italy
Seung-Jong Park, Louisiana State University, USA
Jun-Jie Peng, Shanghai University, China
Ron Perrott, Oxford University, UK
Dana Petcu, West University of Timisoara, Romania
Wasim Raad, King Fahd University of Petroleum and Minerals, Saudi Arabia
Kewei Sha, Oklahoma City University, USA
Greg Smith, CSIRO, Australia
Pradip Srimani, Clemson University, USA
Kazunori Takashio, Keio University, Japan
Osamu Tatebe, University of Tsukuba, Japan
Niwat Thepvilojanapong, Mie University, Japan
Chien-Min Wang, Academia Sinica, Taiwan
Paul Watters, Massey University, New Zealand
Yulei Wu, Chinese Academay of Sciences, China
Nong Xiao, National University of Defense Technology, China
Weijun Xiao, Virginia Commonwealth University, USA
Chen Yu, Huazhong University of Science and Technology, China
Zhifeng Yun, University of Houston, USA
Yuezhi Zhou, Tsinghua University, China
Yanmin Zhu, Shanghai Jiao Tong University, China


Contact
=======
Please feel free to contact us through y.wang-s/yHM3Pchp/cpaonp8vHtg@public.gmane.orgau.
_______________________________________________
Om-announce mailing list
Om-announce@...
http://openmath.org/mailman/listinfo/om-announce
GRLMC | 16 Nov 08:41 2014

BigDat 2015: registration deadline 23 November

*To be removed from our mailing list, please respond to this message with
UNSUBSCRIBE in the subject line*

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

INTERNATIONAL WINTER SCHOOL ON BIG DATA

BigDat 2015

Tarragona, Spain

January 26-30, 2015

Organized by
Rovira i Virgili University

http://grammars.grlmc.com/bigdat2015/

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

--- 6th registration deadline: November 23, 2014 ---

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

AIM:

BigDat 2015 is a research training event for graduates and postgraduates in
the first steps of their academic career. It aims at updating them about the
most recent developments in the fast developing area of big data, which
covers a large spectrum of current exciting research, development and
innovation with an extraordinary potential for a huge impact on scientific
discoveries, medicine, engineering, business models, and society itself.
Renowned academics and industry pioneers will lecture and share their views
with the audience.

All big data subareas will be displayed, namely: foundations,
infrastructure, management, search and mining, security and privacy, and
applications. Main challenges of analytics, management and storage of big
data will be identified through 4 keynote lectures and 23 six-hour courses,
which will tackle the most lively and promising topics. The organizers
believe outstanding speakers will attract the brightest and most motivated
students. Interaction will be a main component of the event.

ADDRESSED TO:

Graduate and postgraduates from around the world. There are no formal
pre-requisites in terms of academic degrees. However, since there will be
differences in the course levels, specific knowledge background may be
required for some of them.

BigDat 2015 is also appropriate for more senior people who want to keep
themselves updated on recent developments and future trends. They will
surely find it fruitful to listen and discuss with major researchers,
industry leaders and innovators.

REGIME:

In addition to keynotes, 3 courses will run in parallel during the whole
event. Participants will be able to freely choose the courses they will be
willing to attend as well as to move from one to another.

VENUE:

BigDat 2015 will take place in Tarragona, located 90 kms. to the south of
Barcelona. The venue will be:

Campus Catalunya
Universitat Rovira i Virgili
Av. Catalunya, 35
43002 Tarragona

KEYNOTE SPEAKERS:

Ian Foster (Argonne National Laboratory), Taming Big Data: Accelerating
Discovery via Outsourcing and Automation

Geoffrey C. Fox (Indiana University, Bloomington), Mapping Big Data
Applications to Clouds and HPC

C. Lee Giles (Pennsylvania State University, University Park), Scholarly Big
Data: Information Extraction and Data Mining

William D. Gropp (University of Illinois, Urbana-Champaign), tba

COURSES AND PROFESSORS:

Hendrik Blockeel (KU Leuven), [intermediate] Decision Trees for Big Data
Analytics

Diego Calvanese (Free University of Bozen-Bolzano),
[introductory/intermediate] End-User Access to Big Data Using Ontologies

Jiannong Cao (Hong Kong Polytechnic University), [introductory/intermediate]
Programming with Big Data

Edward Y. Chang (HTC Corporation, New Taipei City), [introductory/advanced]
Big Data Analytics: Architectures, Algorithms, and Applications

Ernesto Damiani (University of Milan), [introductory/intermediate] Process
Discovery and Predictive Decision Making from Big Data Sets and Streams

Gautam Das (University of Texas, Arlington), [intermediate/advanced] Mining
Deep Web Repositories

Maarten de Rijke (University of Amsterdam), tba

Geoffrey C. Fox (Indiana University, Bloomington), [intermediate] Using
Software Defined Systems to Address Big Data Problems

Minos Garofalakis (Technical University of Crete, Chania)
[intermediate/advanced], Querying Continuous Data Streams

Vasant G. Honavar (Pennsylvania State University, University Park)
[introductory/intermediate], Learning Predictive Models from Big Data

Mounia Lalmas (Yahoo! Research Labs, London), [introductory] Measuring User
Engagement

Tao Li (Florida International University, Miami),
[introductory/intermediate] Data Mining Techniques to Understand Textual
Data

Kwan-Liu Ma (University of California, Davis), [intermediate] Big Data
Visualization

Christoph Meinel (Hasso Plattner Institute, Potsdam),
[introductory/intermediate] New Computing Power by In-Memory and Multicore
to Tackle Big Data

Manish Parashar (Rutgers University, Piscataway), [intermediate] Big Data
Challenges in Simulation-based Science

Srinivasan Parthasarathy (Ohio State University, Columbus), [intermediate]
Scalable Data Analysis

Evaggelia Pitoura (University of Ioannina), [introductory/intermediate]
Online Social Networks

Vijay V. Raghavan (University of Louisiana, Lafayette),
[introductory/intermediate] Visual Analytics of Time-evolving Large-scale
Graphs

Pierangela Samarati (University of Milan), [intermediate], Data Security and
Privacy in the Cloud

Peter Sanders (Karlsruhe Institute of Technology),
[introductory/intermediate] Algorithm Engineering for Large Data Sets

Johan Suykens (KU Leuven), [introductory/intermediate] Fixed-size Kernel
Models for Big Data

Domenico Talia (University of Calabria, Rende), [intermediate] Scalable Data
Mining on Parallel, Distributed and Cloud Computing Systems

Jieping Ye (Arizona State University, Tempe), [introductory/advanced]
Large-Scale Sparse Learning and Low Rank Modeling

ORGANIZING COMMITTEE:

Adrian Horia Dediu (Tarragona)
Carlos Martín-Vide (Tarragona, chair)
Florentina Lilica Voicu (Tarragona)

REGISTRATION:

It has to be done at

http://grammars.grlmc.com/bigdat2015/registration.php 

The selection of up to 8 courses requested in the registration template is
only tentative and non-binding. For the sake of organization, it will be
helpful to have an approximation of the respective demand for each course.

Since the capacity of the venue is limited, registration requests will be
processed on a first come first served basis. The registration period will
be closed and the on-line registration facility disabled when the capacity
of the venue will be complete. It is much recommended to register prior to
the event.

FEES:

As far as possible, participants are expected to stay full-time. Fees are a
flat rate covering the attendance to all courses during the week. There are
several early registration deadlines. Fees depend on the registration
deadline.

ACCOMMODATION:

Suggestions of accommodation are available on the webpage.

CERTIFICATE:

Participants will be delivered a certificate of attendance.

QUESTIONS AND FURTHER INFORMATION:

florentinalilica.voicu@... 

POSTAL ADDRESS:

BigDat 2015
Lilica Voicu
Rovira i Virgili University
Av. Catalunya, 35
43002 Tarragona, Spain

Phone: +34 977 559 543
Fax: +34 977 558 386

ACKNOWLEDGEMENTS:

Universitat Rovira i Virgili

---
Este mensaje no contiene virus ni malware porque la protección de avast! Antivirus está activa.
http://www.avast.com
Serge Autexier | 11 Nov 17:09 2014
Picon

First CFP CICM 2015

                              Call for Papers              

                Conference on Intelligent Computer Mathematics
                                 CICM 2015

                              13-17 July 2015
                            Washington DC, USA

Digital and computational solutions are becoming the prevalent means for the
generation, communication, processing, storage and curation of mathematical
information. Separate communities have developed to investigate and build
computer based systems for computer algebra, automated deduction, and
mathematical publishing as well as novel user interfaces. While all of these
systems excel in their own right, their integration can lead to synergies
offering significant added value. The Conference on Intelligent Computer
Mathematics (CICM) offers a venue for discussing and developing solutions 
to the great challenges posed by the integration of these diverse areas.

CICM has been held annually as a joint meeting since 2008, co-locating
related conferences and workshops to advance work in these
subjects. Previous meetings have been held in Birmingham (UK 2008),
Grand Bend (Canada 2009), Paris (France 2010), Bertinoro (Italy 2011),
Bremen (Germany 2012), Bath (UK 2013), and Coimbra (Portugal 2014).

This is a (short version of the) call for papers for CICM 2015, which
will be held in Washington, D.C., 13-17 July 2015.

The full version of the CFP is available from the conference web page at
http://cicm-conference.org/2015/cicm.php

**********************************************************************
The principal tracks of the conference will be:
**********************************************************************

* Calculemus (Symbolic Computation and Mechanised Reasoning)
  Chair: Jacques Carette
* DML (Digital Mathematical Libraries)
  Chair: Volker Sorge
* MKM (Mathematical Knowledge Management)
  Chair: Cezary Kaliszyk
* Systems and Data
  Chair: Florian Rabe

Publicity chair is Serge Autexier. The local arrangements will be
coordinated by the Local Arrangements Chairs, Bruce R. Miller
(National Institute of Standards and Technology, USA) and Abdou
Youssef (The George Washington University, Washington, D.C.), and the
overall programme will be organized by the General Programme Chair,
Manfred Kerber (U. Birmingham, UK).

As in previous years, it is anticipated that there will be a number
co-located workshops, including one to mentor doctoral students giving
presentations. We also solicit for project descriptions and
work-in-progress papers.

**********************************************************************
Important Dates
**********************************************************************

Conference submissions:
Abstract submission deadline:      16 February 2015
Submission deadline:               23 February 2015
Reviews sent to authors:            6 April    2015
Rebuttals due:                      9 April    2015
Notification of acceptance:        13 April    2015
Camera ready copies due:           27 April    2015
Conference:                     13-17 July     2015

Work-in-progress and Doctoral Programme submissions:
Submission deadline:
(Doctoral: Abstract+CV)             4 May      2015
Notification of acceptance:        25 May      2015
Camera ready copies due:            1 June     2015

More detailed information, e.g. on submission via EasyChair, can be found on
http://cicm-conference.org/2015/cicm.php

--
Serge Autexier, serge.autexier@..., http://www.dfki.de/~serge/
DFKI Bremen, Cyber-Physical Systems
MZH, Room 3120                             Phone: +49 421 218    59834
Bibliothekstr.1, D-28359 Bremen              Fax: +49 421 218 98 59834
----------------------------------------------------------------------
Deutsches Forschungszentrum fuer Kuenstliche Intelligenz GmbH
principal office, *not* the address for mail etc.!!!:
Trippstadter Str. 122, D-67663 Kaiserslautern
management board: Prof. Wolfgang Wahlster (chair), Dr. Walter Olthoff
supervisory board: Prof. Hans A. Aukes (chair)
Amtsgericht Kaiserslautern, HRB 2313 
----------------------------------------------------------------------
Yu Wang | 2 Nov 06:55 2014
Picon

CFP: 10th International Conference on Green, Pervasive and Cloud Computing (GPC 2015), Plantation Island, Fiji, 4-6 May 2015

------------------------------------------------------------------------------------------
10th International Conference on Green, Pervasive and Cloud Computing (GPC 2015)
Plantation Island, Fiji, 4-6 May 2015
------------------------------------------------------------------------------------------

GPC 2015 Call For Papers
========================

GPC 2015 aims to establish a high-standard world forum for researchers and developers to share their excellent ideas and experiences in the areas of green computing and communications in the broad context of pervasive computing and cloud computing. GPC 2015 features a special publication model: in addition to the publication in Springer LNCS proceedings (EI, Scopus indexed), a number of top ranked papers will be directly published in a Special Issue of IEEE Systems Journal (SCI indexed). 

Important Dates
===============
Paper submission due: 15 November 2014
Notification of decisions: 31 January 2015
Camera ready and registration due: 28 February 2015
Conference/Workshop dates: 4-6 May 2015

Overview
========

Green computing in the context of cloud and pervasive computing is a newly-emerging research field in computer science and engineering. Pervasive computing and cloud computing are two promising paradigms in human's daily life. With the exponential growth in the deployments of techniques in pervasive computing and cloud computing, both of them have to face the critical issues on energy consumption, for example, controlling the energy consumed by the large-scale cloud datacenters, and prolonging the battery life of mobile devices in pervasive computing and Internet of Things (IoT). Therefore, new architectures, systems and related techniques, such as mobile cloud computing (MCC), software-defined networking (SDN) and hybrid cloud services, are being developed to make the computing in cloud datacenters and in pervasive wireless devices more productive and energy efficient, for shaping a "Green" world in the future.

GPC 2015 is the next event in a series of highly successful events focusing on pervasive and environmentally sustainable computing. In the last nine years, the GPC conference has been successfully held and organised all over the world: Taichung, Taiwan (2006), Paris, France (2007), Kunming, China (2008), Geneva, Switzerland (2009), Hualien, Taiwan (2010), Oulu, Finland (2011), Hong Kong (2012), Seoul, Korea (2013), and Wuhan, China (2014).

Topics
======

We invite submissions on a wide range of green, pervasive and cloud computing topics, including, but not limited to:

* Energy-efficient computing, communication and virtualisation architectures and protocols
* Trade-offs between performance, energy and other resources in cloud datacenters and pervasive computing
* Energy-aware mobile cloud systems and large-scale applications
* Energy management in multi-core systems, parallel and distributed systems, machine to machine communications, social networks and services
* Energy-aware control in the Internet of Things, such as buildings and electric vehicle systems
* Monitoring, sensing, control and management of energy-aware systems
* Integration, scheduling and management of renewable energy sources
* Modeling and control of variability in demand and supply of green energy sources
* Instrumentation and measurement studies on energy-efficient systems
* Economy and business models in cloud computing and pervasive computing
* Incentives and innovative pricing for the management of cloud resources
* Service Level Agreements (SLAs) guarantee for customers in cloud computing
* Data analytics for energy-efficient systems
* Innovative technologies for robustness and reliability of energy-aware systems
* Security and privacy in pervasive and cloud computing

Submission
==========

Authors are invited to submit original research contributions by following the detailed instructions given in the "Author Instructions" section at IEEE Systems Journal website. In the cover letter, authors should explicitly state that the paper is submitted to the "Special Issue on Green Pervasive and Ubiquitous Systems". Please follow the GPC 2015 submission deadlines.

Note: all submissions to GPC 2015 shall go through the review system of IEEE Systems Journal. The review process will take place in the specified time frame. A number of top-ranked papers will be selected to publish in the journal special issue, while other accepted papers will be published in LNCS proceedings (which shall then follow the LNCS paper format with a page limit of 12~14 pages). Questions about the paper submission may be directed to the GPC 2015 TPC Chairs:

* Hai Jiang, Arkansas State University, USA, hjiang-scahv/MlVSc3uPMLIKxrzw@public.gmane.org
* Ruppa K. Thulasiram, University of Manitoba, Canada, tulsi-JhCLaGJqWsljFMQxjlszOw@public.gmane.org
* Yu Wang, Deakin University, Australia, y.wang-s/yHM3Pchp9WG/WdbR7gnQ@public.gmane.org

Quick Links:

Organisation Committee
======================

General Chairs
--------------
A B M Shawkat Ali, The University of Fiji, Fiji
Yang Xiang, Deakin University, Australia
Ruppa Thulasiram, University of Manitoba, Canada

Program Chairs
--------------
Hai Jiang, Arkansas State University, USA
Ashfaqur Rahman, CSIRO, Australia
Yu Wang, Deakin University, Australia

Workshop Chairs
---------------
Sheng Wen, Deakin University, Australia
Rajiv Ranjan, CSIRO, Australia

Local Arrangement Chair
-----------------------
Ansgar Fehnker, The University of The South Pacific, Fiji

Steering Committee
------------------
Hai Jin, Huazhong University of Science and Technology, China (Chair)
Nabil Abdennadher, University of Applied Sciences and Arts Western Switzerland (HES-SO), Switzerland
Christophe Cerin, University of Paris XIII, France
Sajal K. Das, Missouri University of Science and Technology, USA
Jean-Luc Gaudiot, University of California - Irvine, USA
Kuan-Ching Li, Providence University, Taiwan
Cho-Li Wang, The University of Hong Kong, Hong Kong
Chao-Tung Yang, Tunghai University, Taiwan
Laurence T. Yang, Huazhong University of Science and Technology, China

Program Committee
-----------------
Nabil Abdennadher, University of Applied Sciences and Arts Western Switzerland (HES-SO), Switzerland
Saadat M Alhashmi, Abu Dhabi University, UAE
Luciana Arantes, Universite Pierre et Marie Curie-Paris6, France
Shehzad Ashraf Ch., International Islamic University, Pakistan
Zeyar Aung, Masdar Institute of Science and Technology, UAE
Fevzi Belli, University of Paderborn, Germany
Ioan Marius Bilasco, Université Lille 1, France
Christophe Cerin, University of Paris XIII, France
Rohitash Chandra, The University of The South Pacific, Fiji
Yuanfang Chen, Dalian University of Technology, China
Chi-Hung Chi, CSIRO, Australia
Xiaowen Chu, Hong Kong Baptist University, Hong Kong
Yeh-Ching Chung, National Tsing Hua University, Taiwan
Raphaël Couturier, University of Franche Comte, France
Noel Crespi, Institut Telecom, France
Talbi El-Ghazali, University of Lille, France
Kaori Fujinami, Tokyo University of Agriculture and Technology, Japan
Dan Grigoras, University College Cork, Ireland
Shamim Hossain, IBM, Australia
Hung-Chang Hsiao, National Cheng Kung University, Taiwan
Ching-Hsien (Robert) Hsu, Chung Hua University, Taiwan
Kuo-Chan Huang, National Taichung University of Education, Taiwan
Sajid Hussain, Fisk University, USA
Md. Rafiqul Islam, American International University, Bangladesh
Xin Jin, The University of Hong Kong, Hong Kong
Yong-Kee Jun, Gyeongsang National University, Korea
Daewon Lee, Seokyeong University, Korea
Minglu Li, Shanghai Jiao Tong University, China
Xiaoyao Liang, Shanghai Jiao Tong University, China
Chen Liu, Clarkson University, USA
Chi Liu, Beijing Institute of Technology, China
Damon Shing-Min Liu, National Chung Cheng University, Taiwan
Kai Ma, Qualcomm, USA
Victor Malyshkin, Russian Academy of Sciences, Russia
Tomas Margalef, Universitat Autonoma de Barcelona, Spain
Tommi Mikkonen, Tampere University of Technology, Finland
Tatsuo Nakajima, Waseda University, Japan
Alfredo Navarra, University of Perugia, Italy
Seung-Jong Park, Louisiana State University, USA
Jun-Jie Peng, Shanghai University, China
Ron Perrott, Oxford University, UK
Dana Petcu, West University of Timisoara, Romania
Wasim Raad, King Fahd University of Petroleum and Minerals, Saudi Arabia
Kewei Sha, Oklahoma City University, USA
Greg Smith, CSIRO, Australia
Pradip Srimani, Clemson University, USA
Kazunori Takashio, Keio University, Japan
Osamu Tatebe, University of Tsukuba, Japan
Niwat Thepvilojanapong, Mie University, Japan
Chien-Min Wang, Academia Sinica, Taiwan
Paul Watters, Massey University, New Zealand
Yulei Wu, Chinese Academay of Sciences, China
Nong Xiao, National University of Defense Technology, China
Weijun Xiao, Virginia Commonwealth University, USA
Chen Yu, Huazhong University of Science and Technology, China
Zhifeng Yun, University of Houston, USA
Yuezhi Zhou, Tsinghua University, China
Yanmin Zhu, Shanghai Jiao Tong University, China


Contact
=======
Please feel free to contact us through y.wang-s/yHM3Pchp9WG/WdbR7gnQ@public.gmane.org.
_______________________________________________
Om-announce mailing list
Om-announce@...
http://openmath.org/mailman/listinfo/om-announce
Kashif Akhtar Saleem | 6 Nov 04:16 2014
Picon

CFP: 6th Symposium on Security and Privacy in Next Generation Networks (SPNGN) in association with ITNG 2015

+++++++++++++++++++++++++++++++++++++++++++++++++++++

My apologies if you receive multiple copies of this call for papers (CFP)

+++++++++++++++++++++++++++++++++++++++++++++++++++++

  

Please, forward this CFP to your friends, department colleagues, advanced graduate students, colleagues at local community and junior colleges.

 

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

Extended Hard DEADLINE: 17th November, 2014

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

 

The 6th Symposium on Security and Privacy in Next-Generation Networks (SPNGN 2015)

 

in association with

 

12th International Conference on Information Technology : New Generations (ITNG 2015)

 

April 13-15, 2015, Las Vegas, Nevada, USA

 

-: Accepted and registered papers will be published by IEEE Computer Society Press as well as submitted to DBLP and other Abstracting and Indexing (A&I) databases :-

 

-: Extended version of Distinguished Papers that are registered and presented, after further revision, will be recommended for possible publication in special issues of SCI Indexed Journals :-

 

-:Best Paper Award with waiver of registration fees:-

 

Scope

Next Generation Network (NGN) nowadays plays an important role in the sector of telecommunication and has huge importance for future research. NGN communication is making the world’s life easier by giving round the clock connectivity with high data transfer. The NGN communication includes number of promising architectures as Internet of things, Personal wireless networks: body area wireless sensor network, wireless sensor and actuator network, Wireless Mesh networks, Next generation Internet, Cloud computing, LTE advanced, Machine-to-Machine network. The NGN communication must be secure and preserve the privacy of its users and requires innovative methods to address the continuous and emerging security threats.

This track is a forum for researchers, academics, and industries to debate the different issues related to security and privacy in next-Generation Networks, discuss relevant theoretical and practical solutions, and explore areas related to the theory, applications, development, experiences, and evaluation studies.

 

Topics

Topics of the track consist of all aspects related to security and privacy issues for Next generation. They include but are not limited to:

• Vulnerability assessment

• Mobile Identity management

• Authentication, security access policies

• Privacy-respecting Authentication

• Privacy issues in the Internet of Things

• Privacy issues in wireless networks

• Security Management of Machine-to-Machine network

• Forensics analysis

• Remote and wireless-based Biometrics system

• Mobile malware

• Mobile botnets

• Security and privacy issues in Smartphones

• Intrusion and fraud detection

• Socio-economic issues

 

Paper Submission

Papers should be original and contain contributions of theoretical or experimental nature, or be unique experience reports. Interested authors should submit a 6-page summary of their original and unpublished work including 5 keywords in the CPS format to the track chair. Electronic submission in the PDF, PS or MS Word format is strongly encouraged. For instructions on electronic submissions, Click here.

 

Best Student Paper

The Best Student Paper will be awarded at the conference. To be eligible, the student must be the sole author of the paper, or the first author and primary contributor. (The winner of the award will present the paper in a plenary session at the conference). A cover letter to the General Chair/Track Chair must identify the paper as a candidate for this competition at the time of submission.

 

Important Dates

Extended Hard DEADLINE: November 17th, 2014

Acceptance Notification: December 19th, 2014

Advance Registration: January 9th, 2015

Camera Ready Submission: February 13th, 2015

 

It is a fabulous opportunity to explore, share and experience new research ideas.

 

Please, forward this CFP to your friends, department colleagues, advanced graduate students and colleagues at local community/junior colleges.

 

wikiCFP link: http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=40116&copyownerid=56958

 

KSU website: http://fac.ksu.edu.sa/ksaleem/announcement/77999

 

We look forward to seeing you at the conference venue in April 2015!

 

Best Regards,

Kashif Saleem l Assistant Professor

Center of Excellence in Information Assurance (CoEIA)

Phone (+966) 11 469 6458

Fax (+966) 11 469 6452

P.O Box  92144 ~ Riyadh 11653

CoEIA web site:  http://coeia.edu.sa , King Saud University web site:  http://www.ksu.edu.sa

King Saud University

Saudi Arabia.



Disclaimer:
This communication is intended for the above named person and is confidential and / or legally privileged. Any opinion(s) expressed in this communication are not necessarily those of KSU (King Saud University). If it has come to you in error you must take no action based upon it, nor must you print it, copy it, forward it, or show it to anyone. Please delete and destroy the e-mail and any attachments and inform the sender immediately. Thank you.
KSU is not responsible for the political, religious, racial or partisan opinion in any correspondence conducted by its domain users. Therefore, any such opinion expressed, whether explicitly or implicitly, in any said correspondence is not to be interpreted as that of KSU.
KSU may monitor all incoming and outgoing e-mails in line with KSU business practice. Although KSU has taken steps to ensure that e-mails and attachments are free from any virus, we advise that, in keeping with best business practice, the recipient must ensure they are actually virus free.
_______________________________________________
Om-announce mailing list
Om-announce@...
http://openmath.org/mailman/listinfo/om-announce

AlCoB 2015: 1st call for papers

*To be removed from our mailing list, please respond to this message with UNSUBSCRIBE in the subject line*

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

2nd INTERNATIONAL CONFERENCE ON ALGORITHMS FOR COMPUTATIONAL BIOLOGY

AlCoB 2015

Mexico City, Mexico

August 4-6, 2015

Organized by:

Centre for Complexity Sciences (C3)
School of Sciences
Institute for Research in Applied Mathematics and Systems (IIMAS)
Graduate Program in Computing Science and Engineering
National Autonomous University of Mexico

Research Group on Mathematical Linguistics (GRLMC)
Rovira i Virgili University

http://grammars.grlmc.com/alcob2015/

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

AIMS:

AlCoB aims at promoting and displaying excellent research using string and graph algorithms and
combinatorial optimization to deal with problems in biological sequence analysis, genome
rearrangement, evolutionary trees, and structure prediction.

The conference will address several of the current challenges in computational biology by investigating
algorithms aimed at: 1) assembling sequence reads into a complete genome, 2) identifying gene
structures in the genome, 3) recognizing regulatory motifs, 4) aligning nucleotides and comparing
genomes, 5) reconstructing regulatory networks of genes, and 6) inferring the evolutionary phylogeny
of species.

Particular focus will be put on methodology and significant room will be reserved to young scholars at the
beginning of their career.

VENUE:

AlCoB 2015 will take place in Mexico City, the oldest capital city in the Americas and the largest
Spanish-speaking city in the world. The venue will be the main campus of the National Autonomous
University of Mexico.

SCOPE:

Topics of either theoretical or applied interest include, but are not limited to:

Exact sequence analysis
Approximate sequence analysis
Pairwise sequence alignment
Multiple sequence alignment
Sequence assembly
Genome rearrangement
Regulatory motif finding
Phylogeny reconstruction
Phylogeny comparison
Structure prediction
Compressive genomics
Proteomics: molecular pathways, interaction networks ...
Transcriptomics: splicing variants, isoform inference and quantification, differential analysis …
Next-generation sequencing: population genomics, metagenomics, metatranscriptomics ...
Microbiome analysis
Systems biology

STRUCTURE:

AlCoB 2015 will consist of:

invited talks
invited tutorials
peer-reviewed contributions

INVITED SPEAKERS:

to be announced

PROGRAMME COMMITTEE:

Stephen Altschul (National Center for Biotechnology Information, Bethesda, USA)
Yurii Aulchenko (Russian Academy of Sciences, Novosibirsk, Russia)
Pierre Baldi (University of California, Irvine, USA)
Daniel G. Brown (University of Waterloo, Canada)
Yuehui Chen (University of Jinan, China)
Keith A. Crandall (George Washington University, Washington, USA)
Joseph Felsenstein (University of Washington, Seattle, USA)
Michael Galperin (National Center for Biotechnology Information, Bethesda, USA)
Susumu Goto (Kyoto University, Japan)
Igor Grigoriev (DOE Joint Genome Institute, Walnut Creek, USA)
Yike Guo (Imperial College, London, UK)
Javier Herrero (University College London, UK)
Karsten Hokamp (Trinity College Dublin, Ireland)
Hsuan-Cheng Huang (National Yang-Ming University, Taipei, Taiwan)
Ian Korf (University of California, Davis, USA)
Nikos Kyrpides (DOE Joint Genome Institute, Walnut Creek, USA)
Yun Li (University of North Carolina, Chapel Hill, USA)
Jun Liu (Harvard University, Cambridge, USA)
Mingyao Li (University of Pennsylvania, Philadelphia, USA)
Rodrigo López (European Bioinformatics Institute, Hinxton, UK)
Andrei N. Lupas (Max Planck Institute for Developmental Biology, Tübingen, Germany)
B.S. Manjunath (University of California, Santa Barbara, USA)
Carlos Martín-Vide (chair, Rovira i Virgili University, Tarragona, Spain)
Tarjei Mikkelsen (Broad Institute, Cambridge, USA)
Henrik Nielsen (Technical University of Denmark, Lyngby, Denmark)
Christine Orengo (University College London, UK)
Modesto Orozco (Institute for Research in Biomedicine, Barcelona, Spain)
Christos A. Ouzounis (Centre for Research & Technology Hellas, Thessaloniki, Greece)
Manuel Peitsch (Philip Morris International R&D, Neuchâtel, Switzerland)
David A. Rosenblueth (National Autonomous University of Mexico, Mexico City, Mexico)
Julio Rozas (University of Barcelona, Spain)
Alessandro Sette (La Jolla Institute for Allergy and Immunology, USA)
Peter F. Stadler (University of Leipzig, Germany)
Guy Theraulaz (Paul Sabatier University, Toulouse, France)
Alfonso Valencia (Spanish National Cancer Research Centre, Madrid, Spain)
Kai Wang (University of Southern California, Los Angeles, USA)
Lusheng Wang (City University of Hong Kong, Hong Kong)
Zidong Wang (Brunel University, Uxbridge, UK)
Harel Weinstein (Cornell University, New York, USA)
Jennifer Wortman (Broad Institute, Cambridge, USA)
Jun Yu (Chinese Academy of Sciences, Beijing, China)
Mohammed J. Zaki (Rensselaer Polytechnic Institute, Troy, USA)
Louxin Zhang (National University of Singapore, Singapore)
Hongyu Zhao (Yale University, New Haven, USA)

ORGANIZING COMMITTEE:

Adrian Horia Dediu (Tarragona)
Francisco Hernández-Quiroz (Mexico City)
Carlos Martín-Vide (Tarragona, co-chair)
David A. Rosenblueth (Mexico City, co-chair)
Florentina Lilica Voicu (Tarragona)

SUBMISSIONS:

Authors are invited to submit non-anonymized papers in English presenting original and unpublished
research. Papers should not exceed 12 single-spaced pages (including eventual appendices,
references, proofs, etc.) and should be prepared according to the standard format for Springer Verlag's
LNCS series (see http://www.springer.com/computer/lncs?SGWID=0-164-6-793341-0).

Submissions have to be uploaded to:

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

PUBLICATIONS:

A volume of proceedings published by Springer in the LNCS/LNBI series will be available by the time of the conference.

A special issue of a major journal will be later published containing peer-reviewed substantially
extended versions of some of the papers contributed to the conference. Submissions to it will be by invitation.

REGISTRATION:

The registration form can be found at:

http://grammars.grlmc.com/alcob2015/Registration.php

DEADLINES:

Paper submission: March 2, 2015 (23:59 CET)
Notification of paper acceptance or rejection: April 10, 2015
Final version of the paper for the LNCS/LNBI proceedings: April 19, 2015
Early registration: April 19, 2015
Late registration: July 21, 2015
Submission to the journal special issue: November 6, 2015

QUESTIONS AND FURTHER INFORMATION:

florentinalilica.voicu@...

POSTAL ADDRESS:

AlCoB 2015
Research Group on Mathematical Linguistics (GRLMC)
Rovira i Virgili University
Av. Catalunya, 35
43002 Tarragona, Spain

Phone: +34 977 559 543
Fax: +34 977 558 386

ACKNOWLEDGEMENTS:

National Autonomous University of Mexico
Rovira i Virgili University
Sean Weaver | 3 Nov 19:27 2014
Picon

SAT 2015, 1st Call for Workshops

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

                       1ST CALL FOR WORKSHOPS
 
              Eighteenth International Conference on
        THEORY AND APPLICATIONS OF SATISFIABILITY TESTING
                         --- SAT 2015 ---

                Austin, Texas, September 24-27, 2015
               http://www.cs.utexas.edu/~marijn/sat15/
-----------------------------------------------------------------------

PROPOSAL SUBMISSION DEADLINE: January 25th, 2015

Proposals should be submitted by email to oliveras-Y/GVnb7I5bA3uPMLIKxrzw@public.gmane.org, either
in ASCII text or as an attachment in PDF form, and should include in
sufficient detail the information outlined below.

Proposals with incomplete information may be submitted, but in that
case the proposal should include a schedule for getting the remaining
information.

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

CALL FOR WORKSHOPS

 Workshop proposals for SAT 2015 are solicited.  Both well-established
 workshops, possibly affiliated with other venues in previous
 editions, and new ones are encouraged.  Similarly, proposals for
 workshops with a tight focus on a core area within SAT, ranging from
 theory to applications, as well as those with a broader focus on SAT
 and related formalisms and paradigms, are welcome.

 Please provide the following information in your proposal:

 + Workshop title.
 + Names and affiliations of organizers.
 + Proposed workshop duration, from half a day to full day.
 + Brief description of the goals and the scope of the workshop.
 + Preliminary call-for-papers and program committee composition.
 + Information of previous editions, if that applies (success, number
   of submissions, number of participants, etc).
 + Plans for publication.
 
 The workshop day is September 23rd. The main organizers of accepted
 workshops are expected to be present at SAT 2015. Should multiple
 proposals be submitted for similar workshops, possibilities of
 combining the workshops into one may be considered.


Should you have any questions regarding the calls, please contact us
via email using oliveras-Y/GVnb7I5bA3uPMLIKxrzw@public.gmane.org.

SAT 2015 Workshop Chair
Albert Oliveras (Technical University of Catalonia)


_______________________________________________
Om-announce mailing list
Om-announce@...
http://openmath.org/mailman/listinfo/om-announce
Klaus Havelund | 3 Nov 19:29 2014
Picon
Picon

[fm-announcements] NFM 2015 - deadline extension: Nov 18


CALL FOR PAPERS

*** Deadline extension: Nov 18, 2014 ***

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

INVITED SPEAKERS

Dino Distefano
Software Engineer at Facebook, California, USA and Professor at Queen Mary University of London, UK.

Viktor Kuncak
Leads Lab for Automated Reasoning and Analysis at EPFL, Lausanne, Switzerland.

Rob Manning
Chief Engineer at NASA/JPL.

IMPORTANT DATES

Paper Submission (*** deadline extended one week ***): 18 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, USA
Gerard Holzmann, NASA Jet Propulsion Laboratory, USA
Rajeev Joshi, NASA Jet Propulsion Laboratory, USA

PUBLICITY SUPPORT

Ylies Falcone, Université Joseph Fourier, France

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
Susanne Graf, VERIMAG, France
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 Yvonne 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 Yvonne 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

Gmane