Ruggero Donida Labati | 23 May 17:51 2015
Picon

Call for papers - 1st Workshop on Security and Privacy in Cybermatics (SPiCy 2015)

CALL FOR PAPERS

********************************************************************
1st Workshop on Security and Privacy in Cybermatics (SPiCy 2015)
Florence, Italy - September 30, 2015
http://spicy2015.di.unimi.it
********************************************************************


In the modern age Cybermatics is differentiating itself by designing the 
physical and social
places into the cyber space to accomplish the union of three spaces: (i) 
Physical Cyberworld,
(ii) Social Cyberworld, and (iii) Thinking Cyberworld. In the cyber 
space, everywhere
cyber-nodes are significantly independent from the space-time 
limitations that exist in the
physical space. Along with the development of intelligent systems, 
Cybermatics has brought a
wide area of open issues during the cyber interaction, physical 
perception, social correlation,
and cognitive thinking. Currently, Cybermatics is still in its initial 
stage, and it is expected
that Cybermatics will lead industrialization and IT applications to a 
new level and will
significantly change the way of producing, living, and even thinking of 
the mankind.
Cybermatics will transform how we interact with and control the physical 
world around us, just
in the same way as the Internet transformed how we interact and 
(Continue reading)

SoftCOM | 20 May 21:14 2015
Picon

SoftCOM 2015 - Deadline approaching


Split - Bol (Island od Brac), September 16-18, 2015


Third Call for Papers

IEEE ComSoc Technically co-sponsored 23rd International Conference on Software, Telecommunications and Computer Networks (SoftCOM 2015)

The 23rd International Conference on Software, Telecommunications and Computer Networks (SoftCOM 2015) will be held in attractive ambience of the Bluesun hotel Elaphusa, Bol (Island of Brac), Croatia, September 16 to 18.
Authors are invited to submit their high-quality papers representing original results in areas of communications software, services and applications, telecommunications and computer networks. Accepted and presented papers will be published in the conference proceedings, and submitted to IEEE Xplore as well as other Abstracting and Indexing (A&I) databases.
Authors of the selected papers will be invited to submit a revised and extended version of their manuscripts for possible publication in the Journal of Communications Software and Systems (JCOMSS).


~SUBMIT PAPER NOW~


Important notice: SoftCOM 2014 papers are available through IEEE Xplore.

IMPORTANT DATES
Complete manuscript due   June 1, 2015
Notification of acceptance  July 15, 2015
Camera-ready manuscript  Sept. 1, 2015


GENERAL CONFERENCE, SYMPOSIA & WORKSHOPS
CfPs avaliable at:
https://www.fesb.hr/SoftCOM/2015/cfp.html


International Steering Committee

General Chair: Sinisa Krajnovic, Ericsson AB, Sweden

Co-Chairs: Dinko Begusic, Nikola Rozic, University of Split, Croatia


Antun Caric, HAKOM, Croatia

Franco Chiaraluce, Polytechnic University of Ancona, Italy

Mario De Blasi, University of Lecce, Italy

Roberto Garello, Politecnico di Torino, Italy

Darko Huljenic, Ericsson Nikola Tesla, Croatia

Gorazd Kandus, Jozef Stefan Institute, Slovenia

Yumin Lee, National Taiwan University, Taiwan

Pascal Lorenz, Univ. de Haute Alsace, France

Ignac Lovrek, University of Zagreb, Croatia

Gottfried Luderer, Arizona State University, USA

Algirdas Pakstas, London Metropolitan Univ., UK

Luigi Patrono, University of Salento, Italy

Nikola Pavesic, University of Ljubljana, Slovenia

Dragan Poljak, University of Split, Croatia

Josko Radic, University of Split, Croatia

Joel Rodrigues, Univ. of Beira Interior, Portugal

Vesna Roje, University of Split, Croatia

 

More information about the Conference including details on the submission process and authors kit is available on the website:

http://www.fesb.hr/SoftCOM

 

Conference Secretary: Petar Solic, University of Split, Croatia (softcom-MjMaBYwGIoY@public.gmane.org)

 



JCOMSS is indexed in: Scopus, Inspec, EBSCO




If you would like to be removed from this email contact list, please
reply to this message, including the text of the entire message above
in the body of your email message, and the words 'REMOVE ME'
in the subject line. This email should be addressed to:
softcom-MjMaBYwGIoY@public.gmane.org

 




_______________________________________________
Om-announce mailing list
Om-announce@...
http://openmath.org/mailman/listinfo/om-announce
Abdullah Arafat | 22 May 05:05 2015
Picon

ATNAC 2015 IEEE Sydney Australia 18-20 Nov 2015

CALL FOR PAPERS: ATNAC 2015

ATNAC 2015 is Technically Co-Sponsored by IEEE Computer Society

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

2015 Australasian Telecommunication Networks and Applications Conference 

(ATNAC 2015)

18-20 November 2015, Sydney, Australia

Website : http://www.atnac.org/

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

Paper Submission Now Open: https://edas.info/newPaper.php?c=19317

Full paper submission deadline: 01 June 2015

* There are 10 student travel assistance grants for $600 each. 

With the increasing focus on modelling and simulation in the fields of cyber-networks, data mining, cyber security, distributed computing, mobile computing, cognitive computing, cloud computing, computing tools, applications, simulation tools, system performance and data and computer communications the demand for high quality research outcomes has never been greater. ATNAC has been the forum for researchers and engineers to present and discuss topics related to advanced computing and data communication network technologies, services and applications.

Novel contributions are presented in the form of keynote speeches by international experts, peer-reviewed technical full and short papers, and posters. ATNAC 2015 seeks to address and capture highly innovative and state-of-the-art research from academia, industry and standardization bodies.

Workshops on modelling, simulation and Software Defined Networking (SDN) in conjunction with Hewlett Packard Australia will be held at ATNAC 2015.

ATNAC 2015 is an international conference for the presentation of research outcomes covering timely and relevant aspects concerning modelling and simulation related to computing, communications and applications. Contributions are welcome on all advanced research and particularly (but not limited to) on the following topics:

·  Modelling and simulation

·  Cyber-networks, data mining and cyber-security

·  Local and metropolitan networks

·  Data Communications

·  Networks and Management

·  Software Defined Networking

·  Internet Technologies and Applications

·  Distributed, Cognitive and Cloud Computing

·  Mobility and Vehicular

·  Mobile Cellular and Wireless computing

·  Optical, wireless and satellite communications

·  Wireless Sensor Networks

·  Power Efficiency and Sustainability 

PAPER SUBMISSION GUIDELINES

Authors are invited to submit original manuscripts, neither submitted nor accepted for publication in any other workshop, conference, or journal. Papers must be formatted according to IEEE guidelines and style files to fit within 6 pages (full paper) or 3 pages (short paper), including references, diagrams, and appendices if any. A submitted paper must be self-contained and in English. The paper should not contain page numbers or any special headers or footers. For further guidelines, authors can refer to IEEE Manuscript Templates for Conference Proceedings in

http://www.ieee.org/conferences_events/conferences/publishing/templates.html

Authors are invited to send the manuscripts through https://edas.info/newPaper.php?c=19317

IMPORTANT DATES

Paper deadline 

1 June 2015

Acceptance notification

31 July 2015

Final paper deadline

1 September 2015

Early bird deadline

30 September 2015

Registration deadline

1 November 2015

Conference

18-20 November 2015

 

_______________________________________________
Om-announce mailing list
Om-announce@...
http://openmath.org/mailman/listinfo/om-announce
Boumerdassi | 21 May 14:52 2015
Picon
Picon

CFP : EMSICC 2015

---------------------------------------------------------------------------
Call for Papers
---------------------
EMSICC 2015 ñ International Workshop on Energy Management for Sustainable Internet-of-Things and
Cloud Computing 

http://cedric.cnam.fr/workshops/emsicc15/
Deadline extended to May 30, 2015

In conjunction with FiCloud 2015, the 3nd IEEE International Conference on Future Internet of Things and
Cloud 
Rome, Italy, 24-26 August 2015

http://ficloud.org/2015/
	
---------------------------------------------------------------------------
Scope of the Workshop:
---------------------------------
With the emergence of new information, wireless communication and geolocation technologies, new
innovative applications are designed moving towards the Internet of Things, Cyber-physical systems
and Cloud computing, targeting virtualization technologies and intensive data computation.

Due to their constraints in terms of energy, computational power, memory, high mobility, sporadic
connectivity, and sometimes security constraints, some smart devices need to outsource their data
storage and computation on the Cloud.

Hence, the Internet of Things as well as Cyber-physical systems require an efficient energy management to
save energy and optimize energy consumption through communication protocols, scheduling approaches,
self-organization mechanisms, offloading techniques, security solutions, etc. that rely on
energy-aware and energy-adaptive concepts.

In addition, alternative energy sources available in our environment could be used to achieve perpetual
functioning without replacing or refilling batteries, such as energy harvesting.

On the other side, energy management is also a concern for cloud nodes used to outsource data and
computation such as cloud data centers that need to be managed efficiently regarding power consumption,
air conditioning, energy saving, and environmental impact.

This workshop will address the range of problems related to energy-aware and energy harvesting
management when designing software and hardware platforms for the Internet of Things, Cyber Physical
Systems or Cloud computing.

Prospective authors are invited to submit original, previously unpublished work, reporting on novel and
significant research contributions, on-going research projects, experimental results and recent
developments related to, but not limited, the following topics:

ï Energy-aware/energy harvesting Scheduling algorithms
ï Middleware for energy-efficient computing
ï Instrumentation and measurement of energy-efficient computing and networking
ï Enhanced Performance and QoS in energy-efficient systems 
ï Resource management in large infrastructures (such as datacenters) and in power/energy constrained systems
ï Data management in energy-efficient systems
ï Sensing, monitoring, control, and management of energy systems
ï Modelling, control, and architectures for renewable energy generation resources
ï Privacy and security in energy-aware platforms
ï Metrics, benchmarks, interfaces, tools to take into account Energy dimension
ï Energy-aware hardware platforms
ï Specifications and validation of energy-aware platforms
ï Energy efficiency and virtualization in Cloud of things.

---------------------------------------------------------------------------
Important dates:
---------------------
Paper submission: May 30, 2015
Author notification: June 7, 2015
Final Manuscript Due: June 20, 2015

---------------------------------------------------------------------------
Submission procedure:
--------------------------------
Authors are requested to electronically submit a PDF paper (maximum 6
pages in IEEE two-column format: http://www.computer.org/portal/web/cscps/formatting.).
Use the following link for submission: https://www.easychair.org/conferences/?conf=emsicc2015. 
The proceedings of the workshop will be published by the IEEE CPS.
For any question, send an email to emsicc2015@...

---------------------------------------------------------------------------
Organizing Committee
-------------------------------
Samia Bouzefrane, CNAM, France
Maryline Chetto, University of Nantes, France
Selma Boumerdassi, INRIA, France.

---------------------------------------------------------------------------
Technical Program Committee
------------------------------------------
Hakan Aydin, George Mason Univ., USA
Weiwei Chen, Google Inc., USA
Mehammed Daoui, University Mouloud Mameri of Tizi-Ouzou, Algeria
Yuhui Deng, Jinan University, China
C. EugËne Ezin, ZIN, University of Abomey-Calavi, Benin
Hussein Ghor, Lebanese University, IUT Saida, Lebanon
Malika Ioualalen, USTHB, Algeria
Mohamed Khalgui, INSAT, Tunisia
Lorenza Gonzalez Manzano, Carlos III University of Madrid, Spain
Ruben Milocco, Universidad Nacional del Comahue, Argentina
Pascale Minet, Inria, France
Sofiane Hamrioui, USTHB, Algeria
Paul Muhlethaler, Inria, France
Pallavali Radha Krishna Reddy, COPELABS/ULHT, Portugal
Eric Renault, TÈlÈcom SudParis, France
Xuan-Tu Tran, Vietnam National University, Vietnam
Peiyi Zhao, Chapman University, USA
Paul Libbrecht | 22 May 15:04 2015
Picon

Deadline Extension CfP MathUI'15


Deadline Extension
the new deadlines for submission to MathUI are set as follows:
- abstracts: 26th of May
- full submissions: 29th of May
and should be made to 
  https://easychair.org/conferences/?conf=mathui15

   Call for Papers: MathUI'15
   http://cermat.org/events/MathUI/15/
   9th Mathematical User Interfaces Workshop 2015

At the Conference on Intelligent Computer Mathematics
Washington DC, USA, 1-day Workshop 
between 13th -- 17th of July 2015                  

Thank you to spread the word in your circles.
Fulvio Frati | 21 May 18:17 2015
Picon

[Deadline Approaching: 30 May 2015] 11th International Conference on Innovations in Information Technology (IIT'15)

Dear Colleagues,

 

Apologies if you receive multiple copies of this CFP.

 

Please feel free to distribute the IIT'15 CFP to your colleagues, students and networks.

 

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

 

2015 11th International Conference on Innovations in Information Technology (IIT'15)

Special Theme: Smart Living Cities, Big Data and Sustainable Development

November 01-03, 2015, Dubai, UAE

http://www.it-innovations.ae/

 

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

 

BEST PAPER AWARDS

 

Two best papers of the conference will be selected by the program committee. One will be awarded the "Best Research Paper Award" and another one will be awarded the “Best Application Paper Award” (for application-oriented submissions).

 

IMPORTANT DATES

 

Papers and Student Posters Submission              30 May 2015

Submission of Tutorials                                               30 May 2015

Notification for Papers and Student Posters      15 July 2015

Notification for Tutorials                                             15 July 2015

Final Camera-Ready                                                      01 September 2015

 

PUBLICATION

 

IIT'15 is technically sponsored by IEEE Computer Society. Proceedings will be published by IEEE Computer Society Conference Publication Services, and will be submitted for publication in Computer Society Digital Library indexed in IEEE Xplore digital library, and all other global indices. Extended papers will be published in a Springer Book, indexed in Springer global indices, one of the largest databases in the world and Scopus including citations.

 

Selected papers from IIT'15 will be invited for possible publications in special issues of journals.

 

SCOPE

 

The International Conference on Innovations in Information Technology 2015 (IIT’15) is a forum that addresses the latest ideas in information technology (IT). The theme of IIT’15 is Smart Cities and all of the software and hardware technologies that are required to provide better living conditions in the cities of tomorrow. This theme will be reflected by a number of tracks which focus on different aspects of related technologies such as Big Data, cloud computing, collaborative platforms, communication infrastructures, smart health, smart learning, social participation, sustainable development and energy management. All of those themes will be brought together by unifying invited high quality keynotes and panels. 

 

CONFERENCE TRACKS/THEMES

 

Topics of interest include but not limited to the following major tracks/themes. Research papers are invited but not limited to the following areas:

 

Track A: Innovations in Information and Communication Infrastructures

- Advanced Network Technologies, Heterogeneous networks, and Real Time Networks

- Quality of Services

- Next Generation of Mobile Networks

- Ad-Hoc and Sensor Networks, Wireless Networks

- Distributed Systems, Grid Computing

- Smart Grid

- Mobility Management and Mobile computing

- Information and Cyber Security for Smart Living Spaces

 

Track B: Internet of Things (IoT)

- ICT Architecture for IoT

- System design, Modeling and Simulation

- Grid Computing , and Cloud Computing

- Real-Time Systems for IoT, Autonomic Systems

- Security, Privacy, Trust and Reliability

- Software Design and Development of IoT-Based Applications

- Intelligent Data Processing

- Smart Appliances & Wearable Computing Devices

 

Track C: Smart Collaborative Platforms and Logistics

- Agile Information Systems

- Design, Modeling and Simulation of Collaborative Applications

- Practice and Experiences of Collaborative Applications

- Risk Management, Smart Business

- Middleware Support for Collaboration

- Real-Time Information Sharing and Interaction

- AI and Decision-Support Systems

 

Track D: Big Data and Smart Applications

- Big Data Analytics and Algorithms

- High Performance Computing and Real-Time of Big Data Processing

- Big Data Storage and Distribution

- Data Mining

- Grid Computing and Cloud Computing

- Middleware for Smart Applications

- e-Health, Smart Learning, Intelligent Processing and Intelligent Applications

 

Track E: Cyber-Physical Energy Systems

- Theory, Tools and Applications

- System Design, Modeling and Simulation

- Testbeds and Experiences

- Algorithms for Energy Efficiency

- Middleware

- Design and Development of Protocols for Sustainable energy

- Design and Development of Secure and Resilient Systems

 

SUBMISSIONS

 

IIT'15 seeks original manuscripts (of up to 6 pages maximum in IEEE two-column format) describing research in all aspects of IT that contribute to the conference themes. Papers submitted to the conference should present original work that has not been previously published or is currently under review by other conferences or journals.  All papers will be peer reviewed, and authors of accepted papers are expected to present their work at the conference. Submissions of tutorial, special session, and workshop proposals are also welcome. The submission guidelines are available at

http://www.it-innovations.ae/iit2015/Authors.html.

Paper submission should be done through http://www.edas.info  

 

KEYNOTE SPEAKERS

 

Chair Professor Christian Wagner

Associate Provost for Quality Assurance

City University, Hong kong

 

Dr. Babu Narayanan

Senior Principal Scientist GE Global Research

 

Dr. Michael P. Perrone

Program Director, DCS Client Partnerships IBM T. J. Watson Research Center, NY USA

 

Professor & Canberra Fellow & IEEE Fellow Elizabeth Chang

IFIP Web Semantics Group chair, University of New South Wales UNSW <at> Australian Defense Force Academy, Australia

 

We look forward to welcoming you in Dubai at IIT'15 in November 2015.

 

On behalf of the IIT'15 Organizing Committee

 

 

 


La tua firma per la sua idea. Per tutti noi

Per destinare il 5x1000 all'Università degli Studi di Milano: indicare nella dichiarazione dei redditi il codice fiscale 80012650158.

_______________________________________________
Om-announce mailing list
Om-announce@...
http://openmath.org/mailman/listinfo/om-announce
Claire Gardent | 20 May 18:00 2015
Picon

Call for Course and Workshop Proposals: ESSLLI 2016

Call for Course and Workshop Proposals
28th European Summer School in Logic, Language and Information - ESSLLI 2016
15-26 August, 2016 
Faculty of Computer Science, Free University of Bozen-Bolzano, Italy
in collaboration with University of Trento, Italy
http://esslli2016.unibz.it/

IMPORTANT DATES

 1 June 2015: Proposal submission deadline 
 23 September 2015: Notification
 20 July 2016: Course material due

TOPICS AND FORMAT

Proposals for courses and workshops at ESSLLI 2016 are invited in all areas of Logic, Linguistics and
Computing Sciences. Cross-disciplinary and innovative topics are particularly encouraged.

Each course and workshop will consist of five 90 minute sessions, offered daily (Monday-Friday) in a
single week. Proposals for two-week courses should be structured and submitted as two independent
one-week courses, e.g. as an introductory course followed by an advanced one. In such cases, the ESSLLI
programme committee reserves the right to accept just one of the two proposals.

All instructional and organizational work at ESSLLI is performed completely on a voluntary basis, so as to
keep participation fees to a minimum. However, organizers and instructors have their registration fees
waived, and are reimbursed for travel and accommodation expenses up to a level to be determined and
communicated with the proposal notification. ESSLLI can only guarantee reimbursement for at most one
course/workshop organizer, and can not guarantee full reimbursement of travel costs for lecturers or
organizers from outside of Europe. The ESSLLI organizers would appreciate any help in controlling the
School's expenses by seeking complete coverage of travel and accommodation expenses from other sources.

CATEGORIES

Each proposal should fall under one of the following categories.

* FOUNDATIONAL COURSES *
Such courses are designed to present the basics of a research area, to people with no prior knowledge in that
area. They should be of elementary level, without prerequisites in the course's topic, though possibly
assuming a level of general scientific maturity in the relevant discipline. They should enable
researchers from related disciplines to develop a level of comfort with the fundamental concepts and
techniques of the course's topic, thereby contributing to the interdisciplinary nature of our research community.

* INTRODUCTORY COURSES *
Introductory courses are central to ESSLLI's mission. They are intended to introduce a research field to
students, young researchers, and other non-specialists, and to foster a sound understanding of its
basic methods and techniques. Such courses should enable researchers from related disciplines to
develop some comfort and competence in the topic considered. Introductory courses in a
cross-disciplinary area may presuppose general knowledge of the related disciplines.

* ADVANCED COURSES *
Advanced courses are targeted primarily to graduate students who wish to acquire a level of comfort and
understanding in the current research of a field.

* WORKSHOPS *
Workshops focus on specialized topics, usually of current interest. Workshops organizers are
responsible for soliciting papers and selecting the workshop programme. They are also responsible for
publishing proceedings if they decide to have proceedings.

PROPOSAL GUIDELINES

Course and workshop proposals should follow closely the following guidelines to ensure full consideration.

Each course may have no more than two instructors, and each workshop no more than two organizers. All
instructors and organizers must possess a PhD or equivalent degree by the submission deadline.

Course proposals should mention explicitly the intended course category. Proposals for introductory
courses should indicate the intended level, for example as it relates to standard textbooks and
monographs in the area. Proposals for advanced courses should specify the prerequisites in detail.

Proposals must be submitted in PDF format via:

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

and include all of the following:

a. Personal information for each proposer: Name, affiliation, contact
   address, email, homepage (optional)

b. General proposal information: Title, category

c. Contents information:
   Abstract of up to 150 words
   Motivation and description (up to two pages)
   Tentative outline
   Expected level and prerequisites
   Appropriate references (e.g. textbooks, monographs, proceedings, surveys)

d. Practical information:
   Relevant preceding meetings and events, if applicable
   Potential external funding for participants

PROGRAMME COMMITTEE

Chair: 
	Claire Gardent (LORIA, CNRS & Université de Lorraine, Nancy, France)
Local co-chair:
	Raffaella Bernardi (DISI, Trento)
Language and Computation:
        Katrin Erk (University of Texas, Austin)
        Alexander Koller (University of Potsdam)
Language and Logic:
        Chris Barker (Linguistics, NYU)
        Stephanie Solt (ZAS Berlin)
Logic and Computation:
        Dietmar Berwanger (LSV, CNRS & ENS de Cachan)
        Luciano Serafini (DKM Trento)

ORGANIZING COMMITTEE CHAIR:
        Diego Calvanese (Free Univ. of Bozen-Bolzano)

FURTHER INFORMATION:
Please send any queries you may have to claire.gardent@...
_______________________________________________
Om-announce mailing list
Om-announce@...
http://openmath.org/mailman/listinfo/om-announce
Clark Barrett | 20 May 21:03 2015
Picon

Deadline extended: 2015 SAT/SMT Summer School

Our apologies if you receive multiple copies of this email. We kindly ask you
to forward this email to interested students and postdoctoral researchers.

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

                     SECOND CALL FOR PARTICIPATION

                 Fifth International SAT/SMT Summer School

                         Stanford, CA, July 15-17, 2015

                        http://smt2015.csl.sri.com/school

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

APPLICATION:

The application deadline for the summer school has been extended to
May 26, 2015.  Full details
of the application procedure are available on the summer school website
(http://smt2015.csl.sri.com/school).

ABOUT:

Satisfiability (SAT) and Satisfiability Modulo Theories (SMT) solvers have
become the engines powering numerous applications in computer science and
beyond, including automated verification, artificial intelligence, program
synthesis, security, product configuration, and many more. The summer school
covers the foundational and practical aspects of SAT and SMT technologies and
their applications.

Besides providing a well-structured introduction to SAT and SMT, this year’s
edition of the SAT/SMT Summer School covers timely topics and novel
applications such as

- MaxSAT
- solvers for floating point arithmetic,
- optimization modulo theories,
- symbolic execution
- proofs and interpolation,
- synthesis

The fifth edition follows the schools that took place at MIT (2011), at
Fondazione Bruno Kessler in Trento, Italy (2012), at Aalto University in Espoo,
Finland (2013), and in Semmering, Austria (2014).  The school location and
schedule has been chosen to conveniently allow participants to also attend the
2015 SMT Workshop and CAV conference:

- SMT Workshop: http://smt2015.csl.sri.com/
- CAV Conference: http://i-cav.org/2015/

The Summer School program will feature four lectures per day including an
introductory lecture on day one by Donald Knuth.

Wednesday, July 15, 2015

  9:00 - 10:30 Donald Knuth
 10:30 - 11:00 Break
 11:00 - 12:00 Nina Narodystka
 12:00 -  1:00 Lunch
  1:00 -  2:30 Alberto Griggio
  2:30 -  3:00 Break
  3:00 -  4:00 Dejan Jovanović

Thursday, July 16, 2015

  9:00 - 10:30 Mate Soos
 10:30 - 11:00 Break
 11:00 - 12:00 Christoph Wintersteiger
 12:00 -  1:00 Lunch
  1:00 -  2:30 Roberto Sebastiani
  2:30 -  3:00 Break
  3:00 -  4:00 Joe Hendrix

Friday, July 17, 2015

  9:00 - 10:30 Pascal Fontaine
 10:30 - 11:00 Break
 11:00 - 12:00 Stefano Ermon
 12:00 -  1:00 Lunch
  1:00 -  2:30 Sanjit Seshia
  2:30 -  3:00 Break
  3:00 -  4:00 Vijay D'Silva

Organizers:

Clark Barrett (New York University)
David Dill (Stanford University)
Bruno Dutertre (SRI International)
_______________________________________________
Om-announce mailing list
Om-announce <at> openmath.org
http://openmath.org/mailman/listinfo/om-announce
Mohamad Badra | 19 May 09:37 2015
Picon

[CFP - SaSeIoT 2015] 2nd International Conference on Safety and Security in Internet of Things

(Our apologies if you receive multiple copies of this CFP)

                2nd International Conference on
            Safety and Security in Internet of Things
                         (SaSeIoT 2015)

                 26-27 October, 2015 – Rome, Italy

SCOPE
The infrastructure of large cities is becoming increasingly
vulnerable to natural and man-made disasters.

Complex Information Communication Technology (ICT) infrastructures,
critical dependencies and unforeseen cascading effects can worsen
single hazard events to a threatening crisis of several entire
infrastructures.

With the dense population in urban areas along with the critical
dependency on infrastructures, such crises become a serious threat
to the safety and security of citizens and industries. When the
"unforeseen" happens, public security comes to its limits Whether
cyber, natural or industrial disasters - effective risk management
must be a continuous process that recognizes new threats and
opportunities, in particular in relation to new technological
evolutions.

Internet of Things (IoT) will have an enormous impact on our future
infrastructures. In the context of safety and security this is at
the same time a challenge (How can we design secure and resilient
IoT infrastructures?) and an opportunity (How can we use IoT for
better safety and security?).

In particular in urban environments, the increasing deployments of
IoT technologies and the rapid proliferation of sensored and
automated cities are opening up new avenues of threats and
opportunities toward public safety and security. Although we have
seen various deployments of diverse IoT systems, our understanding
of these systems and their implications in the context of safety and
security has just scratched the surface. The Second International
Conference on Safety and Security with IoT (SaSeIoT 2015) aims to
explore these dynamics within the scope of IoT in the context of
Safety and Security. The conference solicits original and inspiring
research contributions from technology experts, researchers,
designers, practitioners in academia, authorities and industry, and
promises to offer a highly interactive forum to share knowledge,
experiences, and best practices primarily in the following main
application oriented themes:

o Ensuring the resilience and security of IoT dependent
  infrastructures

     The topics of interest in this theme include, but are not
     limited to:
     - Models, methods and tools for testing IoT infrastructures
     - Design of resilient IoT infrastructures
     - Detection, prevention, response and mitigation of cyber
       threats to IoT
     - Trust and identity management in IoT
     - Security protocols in IoT
     - Risk analysis and management for IoT infrastructures
     - Threat modeling in IoT

o Using IoT for crisis and emergency management

     The topics of interest in this theme include, but are not
     limited to:
     - IoT for threat and hazard detection
     - IoT for situation-awareness
     - IoT for crisis and emergency response
     - IoT for command & control
     - IoT for emergency forces

o Privacy in IoT
o Security and IoT Cloudification

PAPER SUBMISSION

Regular Papers should be up to 12 pages in length. Short papers up
to 4 pages in length. Complete formatting and submission
instructions can be found on the conference web site at:
http://securityiot.eu/2015/show/initial-submission

Papers will be judged on originality, correctness, clarity and
relevance. Submitted papers must be original work and should not be
under consideration for another conference or journal.Submission of
the paper implies agreement of the author(s) to attend the
conference and present the paper if accepted.

PUBLICATION
All accepted papers will be published by Springer. The proceedings
will be available both in book form and via the SpringerLink digital
library.

SPECIAL ISSUE of INTERNATIONAL JOURNAL
A special issue of ACM/Springer Mobile Networks and Applications
http://www.springer.com/engineering/signals/journal/11036
will be organized after the conference containing selected best
papers of the conference.

IMPORTANT DATES
Full Paper Submission deadline: 15 July 2015
Notification deadline: 15 August 2015
Camera-ready deadline: 31 August 2015

ORGANIZING COMMITTEE
Steering Committee
 Imrich Chlamtac (Chair), Create-Net, EAI, Italy
 Hakima Chaouchi,EIT ICT Labs, Institut Mines Telecom-Telecom Sud
 Paris, France

General Chair
 Hakima Chaouchi,EIT ICT Labs, Institut Mines Telecom-Telecom Sud
 Paris, France

Technical Program Chair
 Sherali Zeadally, University of Kentucky, USA

Publicity Co-Chairs
 Scott Fowler, Linkoping University, Sweden
 Wendong Xiao, University of Science and Technology Beijing, China
 Mauro Fonseca, Federal Technological University of Paraná, Brazil

 Publication Chair
 Mohamad Badra, Zayed University, UAE

 Web Chair
 Sandrine Bourger, Telecom Sud Paris, France

 Workshop Co-Chairs
 Anis Laouiti, Telecom Sud Paris, France
 Thomas Bourgeau, UPMC, France

 Technical Program Committee
 Sergey Andreev, Tampere University, Finland
 Cristina Alcaraz, University of Malaga, Spain
 Ioannis Anagnostopoulos, University of Thessaly, Greece
 Mohamad Badra, Zayed University, UAE
 Zubair Baig, Edith Cowan University, Australia
 Zorica Bogdanovic, University of Belgrade, Serbia
 Thomas Bourgeau, Paris VI University, France
 Patrick Capolsini, University of French Polynesia, Tahiti
 Ashok Chandra, Indian Institute of Technology Bombay, India
 Naveen Chilamkurti, La Trobe University, Australia
 Scott Fowler, Linkoping University, Sweden
 Alban Gabillon, University of French Polynesia, Tahiti
 Zeynep Gurkas Aydin, Istanbul University, Turkey
 Debiao He, Wuhan University, China
 Leila Ismail, United Arab Emirates University, UAE
 Arshad Jhumka, Warwick University, United Kingdom
 Muhammad Khan, King Saud University, Saudi Arabia
 Anis Laouiti, Telcom Sud Paris, France
 Albert Levi, Sabanci University, Turkey
 Toktam Mahmoodi, King’s College, United Kingdom
 Gregorio Martinez, University of Murcia, Spain
 Farid Naït-Abdesselam, Paris Descartes University, France
 Jalel Othman, University of Paris 13, France
 Lotfi Othmane, Fraunhofer Institute for Secure Information
                Technology (SIT), Germany
 Sushmita Ruj, Indian Statistical Institute, India
 Khaled Salah, Khalifa University, UAE
 Nishanth Sastry, King’s College, United Kingdom
 Faisal Shaikh, Mehran University of Engineering and Technology,
                Pakistan
 Aditya K Sood, Michigan State University, USA
 Diego Touceda, University Carlos III de Madrid, Spain
 Wei Yu, Towson University, USA
 David Yau, Singapore university of Technology and design, Sinagpore
 Wendong Xiao, University of Science and Technology Beijing, China

Conference Coordinator
 Kristina Lukacova, EAI Slovakia

_______________________________________________
Om-announce mailing list
Om-announce@...
http://openmath.org/mailman/listinfo/om-announce
fabio.zanasi | 19 May 15:21 2015
Picon
Picon

MFPS XXXI/CALCO 2015 : Call for Participation


>From June 22, in a galaxy far, far away... https://coalg.org/calco15/images/poster.jpg

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

          JOINT CALL FOR PARTICIPATION  

                      MFPS XXXI

31st Conference on the Mathematical Foundations of Programming Semantics

                 June 22 - 25, 2015

     http://events.cs.bham.ac.uk/mfps31/

		     CALCO 2015

6th International Conference on Algebra and Coalgebra in Computer Science

                 June 24 - 26, 2015

               http://coalg.org/calco15/

          In cooperation with ACM SIGLOG

                Nijmegen, Netherlands

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

       Early registration deadline:    June 14, 2015

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

-- SCOPE --

MFPS conferences are devoted to those areas of mathematics, logic,
and computer science that are related to models of computation, in
general, and to the semantics of programming languages, in
particular. The series has particularly stressed providing a forum
where researchers in mathematics and computer science can meet and
exchange ideas about problems of common interest. As the series also
strives to maintain breadth in its scope, the conference strongly
encourages participation by researchers in neighbouring areas.

CALCO aims to bring together researchers and practitioners with
interests in foundational aspects, and both traditional and emerging
uses of algebra and coalgebra in computer science.
It is a high-level, bi-annual conference formed by joining the forces
and reputations of CMCS (the International Workshop on Coalgebraic
Methods in Computer Science), and WADT (the Workshop on Algebraic
Development Techniques). Previous CALCO editions took place in
Swansea (Wales, 2005), Bergen (Norway, 2007), Udine (Italy, 2009),
Winchester (UK, 2011) and Warsaw (Poland, 2013).

-- INVITED SPEAKERS --

Invited speaker of MFPS and CALCO

* Andy Pitts - University of Cambridge, UK

MFPS invited speakers

* Thierry Coquand - Chalmers University of Technology, Sweden
* Paul B. Levy - University of Birmingham, UK
* Guy McCusker - University of Bath, UK
* Sam Staton - Radboud University, Nijmegen, NL

CALCO invited speakers

* Chris Heunen - University of Oxford, UK
* Matteo Mio - CNRS, ENS Lyon, FR
* Daniela Petrisan - Radboud University, Nijmegen, NL

-- PROGRAMME AND SATELLITE EVENTS --

The detailed programme will appear soon on the conference web sites:

http://events.cs.bham.ac.uk/mfps31/ (MFPS)    https://coalg.org/calco15/  (CALCO)

*MFPS special sessions*

MFPS will host four special sessions:

* Game semantics, organised by Andrzej Murawski, Warwick
* Concurrent separation logic, organised by Philippa Gardner, Imperial College
* Nominal techniques, organised by Daniela Petrisan, Radboud
* Algebraic effects, organised by Matija Pretnar, Ljubljana

The special session will include an invited tutorial talk, delivered by the session
organiser.

*CALCO Early Ideas workshop*

CALCO 2015 will run together with the CALCO Early Ideas Workshop, with 
dedicated Early Ideas sessions at the end of each conference day. Additional 
information is available at https://coalg.org/calco15/ei.html .

-- REGISTRATION --

To register for MFPS/CALCO, please fill out the registration form available at

https://limesurvey.science.ru.nl/index.php/118286/lang-en .

The following registration Fees are applied.

                                Normal     Late
Both MFPS and Calco		
  Non-Students        €230	€250
  Students	          €160	   €180
MFPS only or Calco only		
  Non-Students        €160	€180
  Students	          €100	   €120

SIGLOG members attending MFPS and/or Calco receive a discount on the registration fee: 
€20 for student members, and €30 for professional members. The yearly rate for SIGLOG 
membership is $15 for students, and $25 for professionals.

The deadline for normal registration is Sunday, June 14. After this date, the
 late registration fee will be applied. The registration fee can be paid by bank
 transfer or by credit card (Visa or Mastercard). Payment by bank transfer is 
strongly encouraged. Within the SEPA area, bank transfers are free of change. 

We will be sponsoring 5 free student registrations. Anyone interested please 
contact alexandra@... 
We are also proud to be a family-friendly conference: any participant who requires
 support for childcare to be able to attend the conference should contact us. 

Additional information on registration and hotel information can be found at

http://mfpscalco2015.cs.ru.nl/ .

-- LOCATION --

Nijmegen is the oldest city in the Netherlands and celebrated its
2,000th year of existence in 2005. It is situated in the eastern
province of Gelderland, quite near to the German border. The latin
name for Nijmegen, `Noviomagus´, is a reminder of its Roman past.
`Noviomagus´ means `new market´ and refers to the right to hold a
market as granted by the Romans. In the days of Charlemagne, the
city was called `Numaga´; later on, this became `Nieumeghen´ and
`Nimmegen´. However, citizens born and bred in Nijmegen speak
affectionately of `Nimwegen´.

Nijmegen is one of the warmest cities of the Netherlands, especially
during summer, when the highest temperatures in the country are
usually measured in the triangle Roermond – Nijmegen – Eindhoven.
The lack of north-south oriented mountain ranges in Europe make this
area prone to sudden shifts in weather, giving the region a
semi-continental climate.

Conference venue for MFPS/CALCO is the majestic *Art Cinema Lux* 
(http://lux-nijmegen.nl/), located in the city center of Nijmegen.

-- SIGLOG Anti-harassment Policy --

The open exchange of ideas and the freedom of thought and expression
are central to the values and goals of SIGLOG. They require an
environment that recognizes the inherent worth of every person and
group. They flourish in communities that foster mutual understanding
and embrace diversity. For these reasons, SIGLOG is committed to
providing a harassment-free conference experience, and implements the ACM
policy against harassment (see http://www.acm.org/sigs/volunteer_resources/officers_manual/anti-harassment-policy).

Conference participants violating these standards may be sanctioned or
expelled from the meeting, at the discretion of the conference
organizers. Conference organizers are requested to report serious
incidents to the SIGLOG Chair.

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

_______________________________________________
Om-announce mailing list
Om-announce@...
http://openmath.org/mailman/listinfo/om-announce
CSS 2015 | 20 May 02:34 2015
Picon

IEEE CSS 2015 Call for Papers Deadline extended (1 Day Left---Firm)

//** Our apologies if you receive multiple copies of this CFP **//


CSS 2015 Call For Papers

http://cse.stfx.ca/~css2015/

 

A large fraction of the population in the world now spends a great deal of time in cyberspace. Cyberspace has become a critical infrastructure that is embedded in almost all other critical infrastructures and enables every movement of human society. It is thus very much in the public interest to have a safe and secure cyberspace. In the past several years, there has been large number of attacks in cyberspace, such as attacks on the Internet, attacks on embedded/real-time computing and control systems, and attacks on dedicated computing facilities. Many research efforts have been made to achieve cyberspace safety and security, such as blocking and limiting the impact of compromise, enabling accountability, promoting deployment of defense systems, and deterring potential attackers and penalizing attackers.

 

The 7th International Symposium on Cyberspace Safety and Security provides a leading edge forum to foster interaction between researchers and developers with the cyberspace safety and security communities, and to give attendees an opportunity to network with experts in this area. It focusses on Cyberspace Safety and Security, such as uthentication, access control, availability, integrity, privacy, confidentiality, dependability and sustainability issues of cyberspace.

 

Previously CSS has been held in Paris, France (2014), Zhangjiajie, China (2013), Melbourne, Australia (2012), Milan, Italy (2011), Chengdu, China (2009), and Sydney, Australia (2008).

 

 

Topics of interest include, but not limited to:

 

- Access Control and Trust Management

- Active Defense Techniques and Systems

- Attack Containment

- Attack Recovery

- Benchmark, Analysis and Evaluation of Cybersecurity

- Bitcoins Systems

- Digital Rights Management

- Distributed Intrusion Detection/Prevention Systems

- Denial-of-Service Attacks and Countermeasures

- Digital Identity Management and Authentication

- Implementation, Deployment and Management of Cybersecurity

- Intelligent Defense Systems

- Internet and Network Forensics

- Mobile Biometrics

- Risk Assessment in Cybersecurity

- Secure Network Architectures

- Security for Large-scale Systems and Critical Infrastructures

- Security for P2P systems and Grid Systems

- Security for Ad-Hoc and Sensor Networks

- Security in Web Services

- Security in Pervasive and Embedded Systems

- Security Theory and Tools

- Spam Detection and Prevention

- Social and Legal Issues in Cybersecurity

- Software and System Assurance

- Viruses, Worms, and Other Malicious Code

 

 

Submission Guidelines

 

Submitted papers must report novel results and have not been published or submitted to journals or conferences. Papers should be written in English conforming to the IEEE conference proceedings format (8.5" x 11", Two-Column). Papers should be submitted through the paper submission system at the conference website. Full Papers (up to 8 pages, or 12 pages including tables, figures, references and appendixes with the over length charge) and Short Papers (up to 4 pages) are solicited. See Instructions for authors.

 

Papers will be selected based on their originality, significance, relevance, and clarity of presentation. The accepted papers from this conference will be submitted for publication in IEEE Xplore as well as other Abstracting and Indexing (A&I) databases (EI Compendex). Distinguished papers, after further revisions, will be considered for possible publication in several SCI & EI indexed special issues of prestigious international journals. By submitting a paper to the conference, authors assure that if the paper is accepted, at least one author will attend the conference and present the paper.

 

 

Conference Chairs

 

General Chair

Prof. Meikang Qiu, Pace University, USA

 

General Co-Chairs

Sun-Yuan Kung, Princeton University, USA

Jack Dongarra, University of Tennessee, Knoxville, USA

 

Program Chairs

Fengling Han, Royal Melbourne Institute of Technology University, Australia

Stefano Zanero, Politecnico di Milano University, Italy

 

Important Dates

Paper submission: 20 May 2015 (Firm)

Notification of acceptance: 15 June 2015

Camera ready due: 15 July 2015

Conference: 24-26 August 2015

_______________________________________________
Om-announce mailing list
Om-announce@...
http://openmath.org/mailman/listinfo/om-announce

Gmane