Kosaku Nagasaka | 27 Nov 08:26 2014

[ISSAC-ANNOUNCE] Extended: ISSAC’14: JSC Special Issue - Second Call for Papers


Second Call for Papers: Special Issue - ISSAC 2014

Following the 39th International Symposium on Symbolic and Algebraic
Computation (ISSAC’14) which was held at Kobe University, Japan,
between July 23-25, 2014, we invite submissions to a special issue
of the Journal of  Symbolic Computation

We solicit high-quality original research papers with journal-style
extent of contribution. The main focus of this special issue will be
on work (papers, tutorials, plenary talks, posters and softwares)
presented at ISSAC’14, but this call is open to further submissions
close to presentations at ISSAC'14.

Potential contributors may contact the guest editors to discuss the
suitability of topics and papers, by sending an email to
issac14specialissue <at> gmail.com

*Guest Editors:*
- Kosaku Nagasaka (Kobe University, Japan)
- Agnes Szanto    (North Carolina State University, USA)
- Franz Winkler   (RISC, Linz, Austria)

*Important Dates:*
- Deadline for paper submission:         December 8th, 2014. (extended!)
(Continue reading)

vsim | 26 Nov 23:28 2014

[simu-conf] SpringSim 2015 - Deadline Extension

April 12-15, 2015, The Westin Alexandria
Alexandria, VA, USA (Washington DC Area)


(over 300 submissions received already!)

The 2015 Spring Simulation Multi-Conference (SpringSim'15) is an annual
conference sponsored by the Society for Modeling & Simulation International
(SCS) which covers state-of-the-art developments in computer simulation
technologies, as well as scientific, industrial, and business applications.

Visit the conference website for complete details, including full CFPs for
all symposia and how to submit a paper. The following symposia will take
place at SpringSim 2015:
. Agent-Directed Simulation Symposium (ADS)
. Annual Simulation Symposium (ANSS) 
. Communications and Networking Symposium (CNS)
. High Performance Computing Symposium (HPC)
. Symposium on Simulation for Architecture and Urban Design (SimAUD)
. Symposium on Theory of Modeling & Simulation (TMS/DEVS)
. Modeling and Simulation in Medicine (MSM) *NEW*
. Student Modeling & Simulation Mobile App Competition
. Posters & Student Colloquium
. Tutorial Track
. Vendor Track

(Continue reading)

Kashif Akhtar Saleem | 26 Nov 14:55 2014

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)




* Due to several requests, the submission deadline has been extended to 1st December, 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, Indexed by SCI, SCOPUS, DBLP, ACM DL and other 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 the 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!


For submissions after due date and any other queries please email ksaleem <at> ksu.edu.sa


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.

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
Conference Contact | 26 Nov 01:38 2014

CFP: GPC 2015

Apologies if you receive multiple copies of the following message
------------------------------------------------------------------------------------------ 10th International Conference on Green, Pervasive and Cloud Computing (GPC 2015) Plantation Island, Fiji, 4-6 May 2015 http://anss.org.au/gpc2015/ ------------------------------------------------------------------------------------------ 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-JhCLaGJqWsljFMQxjlszOw@public.gmane.org * Yu Wang, Deakin University, Australia, y.wang-s/yHM3Pchp9WG/WdbR7gnQ@public.gmane.org Quick Links: * Author Instructions - http://www.ieeesystemsjournal.org/author-instructions/ * Submission System - http://mc.manuscriptcentral.com/ieee-sj 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, St Francis Xavier University, Canada 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
Zanasi Fabio | 25 Nov 10:32 2014

CALCO 2015: First Call for Papers


              CALL FOR PAPERS:  CALCO 2015

6th International Conference on Algebra and Coalgebra in Computer Science

                 June 24 - 26, 2015

                Nijmegen, Netherlands



       Abstract submission:    March 22, 2015
       Paper submission:       April 2, 2015
       Author notification:    May 6, 2015
       Final version due:      June 3, 2015


-- SCOPE --

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). The sixth edition will 
be held in Nijmegen, the Netherlands, colocated with MFPS XXXI.


Andy Pitts - University of Cambridge, UK (joint with MFPS)
Chris Heunen - University of Oxford, UK
Matteo Mio - CNRS, ENS Lyon, FR
Daniela Petrisan - Radboud University, Nijmegen, NL


We invite submissions of technical papers that report results of
theoretical work on the mathematics of algebras and coalgebras, the
way these results can support methods and techniques for software
development, as well as experience with the transfer of the resulting
technologies into industrial practice. We encourage submissions in
topics included or related to those listed below.

 * Abstract models and logics
   - Automata and languages
   - Categorical semantics
   - Modal logics
   - Relational systems
   - Graph transformation
   - Term rewriting

 * Specialised models and calculi
   - Hybrid, probabilistic, and timed systems
   - Calculi and models of concurrent, distributed, mobile, and
     context-aware computing
   - General systems theory and computational models (chemical,
     biological, etc.)

 * Algebraic and coalgebraic semantics
   - Abstract data types
   - Inductive and coinductive methods
   - Re-engineering techniques (program transformation)
   - Semantics of conceptual modelling methods and techniques
   - Semantics of programming languages

 * System specification and verification
   - Algebraic and coalgebraic specification
   - Formal testing and quality assurance
   - Validation and verification
   - Generative programming and model-driven development
   - Models, correctness and (re)configuration of
   - Process algebra

 * Corecursion in Programming Languages
    - Corecursion in logic / constraint / functional / answer set
    - Corecursive type inference
    - Coinductive methods for proving program properties
    - Implementing corecursion
    - Applications

 * Algebra and Coalgebra in quantum computing
    - Categorical semantics for quantum computing
    - Quantum calculi and programming languages
    - Foundational structures for quantum computing
    - Applications of quantum algebra


This edition of CALCO will feature a new topic, and submission of papers
in this area is particularly encouraged.

* String Diagrams and Network Theory
    - Combinatorial approaches 
    - Theory of PROPs and operads
    - Rewriting problems and higher-dimensional approaches
    - Automated reasoning with string diagrams
    - Applications of string diagrams
    - Connections with Control Theory, Engineering and Concurrency


Prospective authors are invited to submit full papers in English
presenting original research. Submitted papers must be unpublished and
not submitted for publication elsewhere. Experience papers are
welcome, but they must clearly present general lessons learned that
would be of interest and benefit to a broad audience of both
researchers and practitioners. Starting with CALCO 2015, proceedings
will be published in the Dagstuhl LIPIcs–Leibniz International Proceedings 
in Informatics series. Final papers should be no more than 15 pages long 
in the format specified by LIPIcs 
It is recommended that submissions adhere to that format and
length. Submissions that are clearly too long may be rejected
immediately. Proofs omitted due to space limitations may be included
in a clearly marked appendix. Both an abstract and the full paper must
be submitted by their respective submission deadlines.

A special issue of the open access journal Logical Methods in Computer
Science (http://www.lmcs-online.org), containing extended versions of
selected papers, is also being planned.

Submissions will be handled via EasyChair


Following from the successful trial at CALCO 2013, this edition of 
CALCO will feature two awards: a best paper award whose recipients will 
be selected by the PC before the conference and a best presentation 
award, elected by the participants.


Abstract submission:    March 22, 2015
Paper submission:       April 2, 2015
Author notification:    May 6, 2015
Final version due:      June 3, 2015


Samson Abramsky, University of Oxford, UK
Andrej Bauer, University of Ljubljana, SLO
Filippo Bonchi, CNRS and ENS Lyon, FR
Corina Cirstea, University of Southampton, UK
Andrea Corradini, University of Pisa, IT
Ross Duncan, University of Strathclyde, UK
Martín Escardó, University of Birmingham, UK
Dan Ghica, University of Birmingham, UK
Helle Hansen, Radboud University Nijmegen and CWI, NL
Ichiro Hasuo, University of Tokyo, JP
Bart Jacobs, Radboud University Nijmegen, NL
Bartek Klin, University of Warsaw, PL
Barbara König, University of Duisburg-Essen, D
Dexter Kozen, Cornell, US
Alexander Kurz, University of Leicester, UK
Paul-André Melliès, CNRS and University Paris VII, FR
Stefan Milus, University of Erlangen-Nürnberg, D
Larry Moss (co-chair), Indiana University, US
Dusko Pavlovic, University of Hawaii, US
Daniela Petrisan, ENS Lyon, FR
Damien Pous, ENS Lyon, FR
John Power, University of Bath, UK
Jan Rutten, Radboud University Nijmegen and CWI, NL
Lutz Schroeder, University of Erlangen-Nuernberg, D
Monika Seisenberger, University of Swansea, UK
Alexandra Silva, Radboud University Nijmegen, NL
Pawel Sobocinski (co-chair), University of Southampton, UK
Ana Sokolova, University of Salzburg, AT
Andrzej Tarlecki, University of Warsaw, PL 


Alexandra Silva
Bart Jacobs
Nicole Messink
Sam Staton 


Fabio Zanasi


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.


The workshop is intended to enable presentation of work in progress and 
original research proposals. PhD students and young researchers are 
particularly encouraged to contribute. CALCO 2015 will run together 
with the CALCO Early Ideas Workshop, with dedicated Early Ideas sessions 
at the end of each conference day.

-- CALCO Early Ideas Overview --

The CALCO Early Ideas Workshop invites submissions on the same topics
as the CALCO conference: reporting results of theoretical work on the
mathematics of algebras and coalgebras, the way these results can
support methods and techniques for software development, as well as
experience with the transfer of the resulting technologies into
industrial practice. The list of topics of particular interest is
shown on the main CALCO 2015 page.

CALCO Early Ideas presentations will be selected according to originality,
significance, and general interest, on the basis of submitted 2-page short
contributions.  It can be work in progress, a summary of work submitted to a
conference or workshop elsewhere, or work that in some other way might be 
interesting to the CALCO audience. A booklet with the accepted short 
contributions will be made available.

We encourage PhD students and young researchers to submit Early Ideas papers 
to the CALCO 2015 Easychair site as for ordinary submissions, mentioning in 
the abstract that the paper is to be considered for an Early Ideas talk..
Om-announce mailing list
Om-announce <at> openmath.org
Samir OUCHANI | 24 Nov 13:03 2014

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)




in conjunction with ANT-2015 conference

June 2 - 5, 2015 London, UK




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




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.




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.



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
Michael Winter | 24 Nov 16:36 2014

2nd CFP: Relational and Algebraic Methods in Computer Science (RAMiCS 2015)

                          2nd CALL FOR PAPERS

                 15th International Conference on
   Relational and Algebraic Methods in Computer Science (RAMiCS 2015)

           28 September to 1 October 2015, Braga, Portugal
                 URL:  http://ramics2015.di.uminho.pt
        PDF: http://ramics2015.di.uminho.pt/RAMiCS15-CFP.pdf


We invite submissions in the general area of Relational and Algebraic Methods
in Computer Science. Special focus will lie on formal methods for software
engineering, logics of programs and links with neighbouring disciplines.

Particular topics of interest for the conference cover,
but are not limited to:

* Algebraic approaches to
  - specification, development, verification, and analysis of programs
    and algorithms
  - computational logic, in particular logics of programs, modal and
    dynamic logics, interval and temporal logics
  - semantics of programming languages

* Applications in fields such as
  - relational formal methods such as B or Z, tabular methods
  - information systems
  - graph theory and combinatorial optimisation
  - games, automata and language theory
  - spatio-temporal reasoning, knowledge acquisition
  - preference and scaling methods, computational social choice,
    social software

* Theoretical foundations and supporting tools, including
  - mechanised and automated reasoning, decision procedures
  - process algebras, fixed point calculi, idempotent semirings,
    quantales, allegories
  - dynamic algebras, cylindric algebras and their applications in computing


Since 1994, the RelMiCS meetings on Relational Methods in Computer Science
have been a main forum for researchers who use the calculus of relations
and similar algebraic formalisms as methodological and conceptual tools.
The AKA workshop series on Applications of Kleene algebra started with a
Dagstuhl seminar in 2001 and was co-organised with the RelMiCS conference
until 2009. Since 2011, joint RAMiCS conferences continue to encompass
the scope of both RelMiCS and AKA.

The predecessors of this conference were held in Dagstuhl (January 1994),
Parati (September 1995), Hammamet (January 1997), Warsaw (September 1998),
Québec (January 2000), Dagstuhl (February 2001), Oisterwijk (October 2001),
Malente (April 2003), St. Catharines (January 2005), Manchester
(September 2006), Frauenwörth (April 2008), Doha (November 2009),
Rotterdam (June 2011), Cambridge UK (September 2012) and
Marienstatt im Westerwald (April 2014).

Student Program

The conference will be accompanied by a PhD training program. Details will
be published in due time in a special call and on the conference website.

Proceedings and Submission

All papers will be formally reviewed. We plan to publish the
proceedings in the series Lecture Notes in Computer Science ready at
the conference. Submissions must be in English, in Postscript or PDF
format, and provide sufficient information to judge their merits.
They must be unpublished and not submitted for publication elsewhere. 
They should not exceed 16 pages in Springer LNCS style (accepted
papers must be produced with LaTeX). Additional material may be
provided by a clearly marked appendix or a reference to a manuscript
on a website. This may be considered at the discretion of the PC.
Deviation from these requirements may cause immediate rejection.
One author of each accepted paper is expected to present the paper
at the conference.

Submission is via EasyChair at the following address:
Formatting instructions and the LNCS styled files can be obtained via:

As for the earlier conferences of this series, it is also intended to
publish a selection of the best papers in revised and extended form in
a special issue of the Journal of Logic and Algebraic Methods in
Programming (JLAMP).

Important Dates

    Title and abstract submission:                 March 18 2015
    Submission of full papers:                     March 26 2015
    Notification:                                  June  05 2015
    Final versions due (firm deadline):            July  10 2015

    Conference:                   September 28 - October 01 2015

Programme Committee

    Rudolf Berghammer     (Kiel, Germany)
    Jules Desharnais      (Laval U., Canada)
    Marcelo Frias         (Buenos Aires, Argentina)
    Stephen Givant        (Mills College, USA)
    Hitoshi Furusawa      (Kagoshima, Japan)
    Timothy G. Griffin    (Cambridge, UK)
    Walter Guttmann       (Canterbury, New Zealand)
    Robin Hirsch          (London, UK)
    Peter Höfner          (NICTA, Australia)
    Ali Jaoua             (Doha, Qatar)
    Peter Jipsen          (Chapman U., USA)
    Wolfram Kahl          (McMaster U., Canada)
    Rodger Maddux         (Iowa State U., USA)
    Ali Mili              (NJIT, U. Heights, USA)
    Bernhard Möller       (U. Augsburg, Germany)
    Martin E. Müller      (U. Augsburg, Germany)
    José N. Oliveira      (U. Minho, Portugal; General chair)
    Ewa Orlowska          (Warsaw, Poland)
    Agnieszka Rusinowska  (Univ. Paris 1, France)
    Gunther Schmidt       (Munich, Germany)
    Renate Schmidt        (Manchester, UK)
    Isar Stubbe           (U. Littoral-Côte-d'Opale, France)
    Michael Winter        (Brock U., Canada; PC chair)

Steering Committee

    Rudolf Berghammer  (Kiel, Germany)
    Jules Desharnais   (Laval U., Canada)
    Ali Jaoua          (Doha, Qatar)
    Peter Jipsen       (Chapman U., USA)
    Bernhard Möller    (U. Augsburg, Germany)
    José N. Oliveira   (U. Minho, Portugal)
    Ewa Orlowska       (Warsaw, Poland)
    Gunther Schmidt    (Munich, Germany)
    Michael Winter     (Brock U., Canada)

Organising Committee

    José N. Oliveira    (U. Minho, Portugal; General chair)
    Michael Winter      (Brock U., Canada; PC chair)
    Luís S. Barbosa     (U. Minho, Portugal)
    Manuel A. Cunha     (U. Minho, Portugal)
    António N. Ribeiro  (U. Minho, Portugal)
Om-announce mailing list
sebastien.salva | 21 Nov 14:17 2014

SDTA’14 : First Symposium on Digital Trust in Auvergne, France

[Apologies for duplicates]


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

Aims and Scope

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

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

General Chair
Pascal Lafourcade, LIMOS, France

Program Committee
Cédric Bouhours, LIMOS, France
Gérard Chalhoub, LIMOS, France
Farrukh Aslam Khan, CoEIA, KSA
Pascal Lafourcade, LIMOS, France
Jean-Louis Lanet, XLIM, France
Cédric Lauradoux, INRIA, France Wissam Mallouli, Montimage, France
Yuxin Mao, Zhejiang Gongshang University, China
Michel Misson, LIMOS, France
Alain Quilliot, LIMOS, France
Olivier Raynaud, LIMOS, France
Sébastien Salva, LIMOS, France
Pedro García Teodoro, University of Granada, Spain
Christian Toinard, LIFO,  France
Damien Vergnaud, LIENS, France Fatiha Zaidi, LRI, France
Mohamad Badra, Zayed CNRS
Om-announce mailing list
Geoff Sutcliffe | 21 Nov 23:25 2014

CFP for the 9th TESTS AND PROOFS (TAP 2015)

*  9th International Conference
*  on
*  http://tap2015.in.tum.de/

*  Part of STAF 2015, L'Aquila, Italy, July 20-24, 2015
*  http://www.disim.univaq.it/staf2015/

*  Call for Papers
*  Abstract submission: February 13, 2015
*  Paper submission:    February 20, 2015


The TAP conference is devoted to the synergy of proofs and tests, to
the application of techniques from both sides and their combination
for the advancement of software quality.

Testing and proving seem to be orthogonal techniques: Once a program
has been proven to be correct then additional testing seems pointless;
however, when such a proof in not feasible, then testing the program
seems to be the only option. This view has dominated the research
community for a long time, and has resulted in distinct communities
pursuing the different research areas.

The development of both approaches has led to the discovery of common
issues and to the realization of potential synergy. Perhaps the use of
model checking in testing was one of the first signs that a
counterexample to a proof may be interpreted as a test case. Recent
breakthroughs in deductive techniques such as satisfiability modulo
theories, abstract interpretation, and interactive theorem proving
have paved the way for new and practically effective methods of
powering testing techniques. Moreover, since formal, proof-based
verification is costly, testing invariants and background theories can
be helpful to detect errors early and to improve cost effectiveness.
Summing up, in the past few years an increasing number of research
efforts have encountered the need for combining proofs and tests,
dropping earlier dogmatic views of incompatibility and taking instead
the best of what each of these software engineering domains has to

The TAP conference aims to bring together researchers and
practitioners working in the converging fields of testing and proving
by offering a generous forum for the presentation of ongoing research,
for tutorials on established technologies and for informal

Topics of Interest

Topics of interest cover theory definitions, tool constructions and
experimentations, and include among others:

- Bridging the gap between concrete and symbolic techniques, e.g.
  using proof search in satisfiability modulo theories solvers to
  enhance various testing techniques
- Transfer of concepts from testing to proving (e.g., coverage
  criteria) and from proving to testing
- Program proving with the aid of testing techniques
- Verification and testing techniques combining proofs and tests
- Generation of test data, oracles, or preambles by deductive
  techniques such as: theorem proving, model checking, symbolic
  execution, constraint logic programming
- Model-based testing and verification
- Generation of specifications by deduction
- Automatic bug finding
- Debugging of programs combining static and dynamic analysis
- Case studies combining tests and proofs
- Domain specific applications of testing and proving to new
  application domains such as validating security protocols,
  vulnerability detection of programs, security
- Testing of verification environments and reasoning engines like
  solvers and theorem provers
- New approaches such as crowd-sourcing and serious games to
  infer intended semantics and assess correctness
- Formal frameworks
- Tool descriptions and experience reports

Important Dates:

Abstract submission:     February 13, 2015
Paper submission:         February 20, 2015
Notification:                   April 13, 2015
Camera-ready version: May 3, 2015
STAF conference:          July 20-24, 2015

Program Co-Chairs:

Jasmin C. Blanchette (TU Muenchen, Inria)
Nikolai Kosmatov (CEA LIST)

Program Committee:

Bernhard K. Aichernig
Dirk Beyer
Nikolaj Bjorner
Jasmin C. Blanchette
Achim D. Brucker
Koen Claessen
Robert Clariso
Marco Comini
Catherine Dubois
Juhan Ernits
Gordon Fraser
Angelo Gargantini
Christoph Gladisch
Martin Gogolla
Arnaud Gotlieb
Reiner Haehnle
Bart Jacobs
Thierry Jeron
Jacques Julliand
Gregory Kapfhammer
Nikolai Kosmatov
Victor Kuliamin
Panagiotis Manolios
Karl Meinke
Alexandre Petrenko
Andrew Reynolds
Martina Seidl
Nikolai Tillmann
T.H. Tse
Margus Veanes
Luca Vigano
Burkhart Wolff
Fatiha Zaidi


Please submit your papers via EasyChair:


TAP 2015 will accept three kinds of submissions:

- Regular research papers: full papers with at most 16 pages in LNCS
  format (PDF), which have to be original, unpublished and not
  submitted elsewhere. Research papers should clearly describe the
  addressed problem, the relevant state-of-the-art, the
  scientifically-founded solution, and the benefits of the presented

- Short contributions: work in progress, (industrial) experience
  reports or tool demonstrations, position statements; an extended
  abstract with at most 6 pages in LNCS format (PDF) is expected. The
  same evaluation criteria apply to short papers as to regular
  research papers. Short papers will be reviewed to the same standards
  of quality as regular research papers.

- Tutorial proposals: TAP 2015 further invites one-hour tutorial
  presentations surveying the state-of-the-art of any research field
  related to the topics of TAP. Tutorial proposals shall have a
  maximum length of 3 pages in LNCS format (PDF) and provide
  information about the content, a short outline, information about
  the speakers and previous related tutorials given by the speakers
  (if any).

Accepted full and short papers will be published in the Springer LNCS
series and will be available at the conference. Accepted tutorials
will be assigned a slot of 60 minutes during the conference.

The content of last year's proceedings is available at

CIE | 20 Nov 08:53 2014

Final Call - 12th Annual Conference on Theory and Applications of Models of Computation (TAMC 2015), Singapore 18-20 May, 2015

Final Call for Papers for the 12th Annual Conference on

  Theory and Applications of Models of Computation (TAMC 2015)
  18 - 20 May 2015 (Submission Deadline 27 November 2014)
  Deadline 27 November 2014

School of Computing, National University of Singapore

TAMC 2015 aims at bringing together a wide range of researchers with
interests in computational theory and applications. For more than 10
years, the conference series "Theory and Applications of Models of
Computing" has fostered interactions and collaborations between both
theoretical and applied researchers working on all aspects of
computations and the ways to model it.

Invited Speakers:
Lance Fortnow (Georgia Institute of Technology),
Miklos Santha (CNRS, Univ. Paris Diderot and CQT, Nat. Univ. of Singapore),
Alexandra Shlapentokh (East Carolina University).

Conference Chair: Sanjay Jain.
Programme Committee Chairs: Rahul Jain and Frank Stephan.
Programme Committee: Ajith Abraham, Anthony Bonato, Yijia Chen, Rodney
G. Downey, Henning Fernau, Dimitris Fotakis, Gopal T V, Steffen Lempp,
Jiamou Liu, Frederic Magniez, Klaus Meer, Mia Minnes, Philippe
Moser, Mitsunori Ogihara, Yota Otachi, Yicheng Pan, Pan Peng, Anil
Seth, Xiaoming Sun, Chaitanya Swamy, Hongan Wang, Wei Wang, Guohua Wu,
Yitong Yin, Mingsheng Ying, Neal Young, Thomas Zeugmann, Shengyu
Zhang, Conghua Zhou.

Submission due: Thu 27 November 2014 at 23:59 hrs GMT.
Notification: Tue 20 January 2015.
Final Version due: Tue 3 February 2015.
Conference: Mon 18 - Wed 20 May 2015

Proceedings: The proceedings of TAMC 2015 will appear in the
Springer LNCS series. Submissions should be 12 pages in llncs-format.
For details on submissions and other aspects, please consult the
TAMC 2015 homepage at


Topics: TAMC 2015 is open for all topics relating to the theory and
applications of models of computation. The topics include algebraic
computation, algorithmic coding and number theory, algorithmic
learning theory, approximation algorithms, automata theory, circuit
complexity, communication complexity, complex networks and their
theory, combinatorial algorithms, computability and recursion theory,
computational biology, computational complexity, computational
geometry, continuous and real computation, cryptography, data
structures, design and analysis of algorithms, distributed algorithms,
domain models, fixed parameter tractability, formal languages, game
theory, geometric algorithms, grammatical inference, graph algorithms,
graph mining, information theory, internet mathematics, memory
hierarchy tradeoffs, model theory for computing, natural computing,
network algorithms, network security and applications, online
algorithms, optimisation, parallel algorithms, philosophy of
computing, privacy and security, property testing, proof complexity,
process models, quantum computation, randomness, randomised
algorithms, space-time tradeoffs, streaming algorithms, systems
theory, VLSI models of computation.

TAMC in previous years: The conference series TAMC started in the year
2004 and has been held annually since then. The previous conferences
are the following: Beijing China 2004, Kunming China 2005, Beijing
China 2006, Shanghai China 2007, Xian China 2008, Changsha China 2009,
Prague Czech Republic 2010, Tokyo Japan 2011, Beijing China 2012, Hong
Kong China 2013, Chennai India 2014. 
P Hu | 19 Nov 22:02 2014

Call for Workshops Proposals (Submission Due Nov. 30th) -- The 5th Intl. Conference on Sustainable Energy Information Technology (SEIT), London, UK, June 2-5, 2015

------------------------------- Call for Workshops Proposals ------------------------------

The 5th International Conference on Sustainable Energy Information Technology (SEIT)

                               London, United Kingdom

                                   June 2-5, 2015




- Workshop Proposal Due:             November 30, 2014
- Acceptance Notification:           December 05, 2014

SEIT-2015 organizing committee invites proposals for workshops. The main objective of the workshops is to provide a forum for researchers and professionals to discuss a specific topic from the field of SEIT-2015 and its related areas.

All papers accepted for workshops will be included in the SEIT-2015 proceedings, which will be published by Elsevier. The authors must follow Elsevier guidelines as given in SEIT-2015 Website. The number of pages for workshop papers is limited to 6 pages. The selective outstanding papers presented at the workshops, after further revision, will be considered for publication in journals special issues.

Proposal Format
- Title of the workshop
- Workshop Website: tentative address, or old address (if applicable)
- Expected number of paper submissions
- Draft Call for paper of the workshop
- Tentative list of TPC members

Financial Assistance
To appreciate your hard work and support, the registration fees for one organizer of each workshop will be waived for workshops with more than 10 registered papers.

Workshops Chairs
Dr. Peng Hu, CMC Microsystems, Canada (Email: hu-IzHLcjCCOCA@public.gmane.org)
Dr. Wei Chen, Wuhan University of Technology, China (Email: greatchen-gL7+W8+YUs7M1kAEIRd3EQ@public.gmane.org)

Please feel free to contact hu-IzHLcjCCOCA@public.gmane.org for any questions.
Om-announce mailing list