Kenneth Adam Miller | 31 Mar 23:02 2015

Re: OCamlgraph serializability

Thank you Ivan! :)

But I would like something more along the lines of piqi. Is there some manner to achieve protobuf serializability?

I apologize sincerely, I should have been more specific.
Thank you so much for fielding with such a prompt response!

On Tue, Mar 31, 2015 at 4:57 PM, Ivan Gotovchits <ivg <at>> wrote:
yes, you can both read and write in dot format, as well as other formats.

On Tue, Mar 31, 2015 at 4:44 PM, Kenneth Adam Miller <kennethadammiller <at>> wrote:
Is there any way to convert between ocamlgraph and string both ways? I would really like some easy to use capability, especially between languages.

Kenneth Adam Miller | 31 Mar 22:44 2015

OCamlgraph serializability

Is there any way to convert between ocamlgraph and string both ways? I would really like some easy to use capability, especially between languages.
Andre Nathan | 31 Mar 20:16 2015

GADTs and Menhir


I'm trying to learn a bit about GADTs, but I can't figure out how to
make them work with Menhir.

I have defined the following GADT:

(* *)

type 'a t =
  | Int : int -> int t
  | Bool : bool -> bool t

With this definition I can write an "eval" function as

let eval (type t) (foo : t Foo.t) : t =
  match foo with
  | Foo.Int i -> i
  | Foo.Bool b -> b

Now considering the simple parser and lexer below,

(* parser.mly *)

%{ open Foo %}

%token <int> INTEGER
%token <bool> BOOL
%token EOF

%start <'a Foo.t> start

  | value; EOF { $1 }
  | i = INTEGER  { Int i }
  | b = BOOL     { Bool b }

(* lexer.mll *)

{ open Parser }

let digit = ['0'-'9']
let boolean = "true" | "false"

rule token = parse
  | [' ' '\t']             { token lexbuf }
  | '\n'                   { Lexing.new_line lexbuf; token lexbuf }
  | digit+ as i            { INTEGER (int_of_string i) }
  | boolean as b           { BOOL (bool_of_string b) }
  | eof                    { EOF }

when I try to compile this I get the error below:

File "parser.mly", line 15, characters 43-52:
Error: This expression has type int Foo.t
       but an expression was expected of type bool Foo.t
       Type int is not compatible with type bool

This is the

  | b = BOOL     { Bool b }

line. I believe the error comes from not having the locally-abstract
type annotations in the code generated by Menhir.

Is there any way around this?

Thanks in advance,

Alexander Romanovsky | 31 Mar 10:42 2015

CfP SERENE 2015: 7th International Workshop on Software Engineering for Resilient Systems, 7-8th September 2015, Paris

Submission due: April 24, 2015

7-8th September 2015, Paris, France

SERENE website:
LinkedIn group:

Co-located with the 11th European Dependable Computing Conference (EDCC) 2015:


The way software is developed is changing. It must take into account multifaceted constraints like unpredictable markets, evolving customer requirements, pressures of shorter time-to-market, etc. At the same time, software is controlling critical functionalities in several domains like transportation, health care, manufacturing, and IT infrastructures. As a result, modern software systems require on one side adding frequently (daily or weakly) new features, functionalities, or new versions of software artifacts according to changing contexts, business opportunities, or customer’s feedbacks, on the other side ensuring their resilience – an ability of the system to persistently deliver its services in a dependable way even when facing changes, unforeseen failures and intrusions.

The SERENE 2015 workshop provides a forum for researchers and practitioners to exchange ideas on advances in all areas relevant to software engineering for resilient systems, including, but not limited to:

Development of resilient systems
  • Incremental development processes for resilient systems;
  • Requirements engineering & re-engineering for resilience;
  • Frameworks, patterns and software architectures for resilience;
  • Engineering of self-healing autonomic systems;
  • Design of trustworthy and intrusion-safe systems;
  • Resilience at run-time (mechanisms, reasoning and adaptation).
Verification, validation and evaluation of resilience
  • Modelling and model based analysis of resilience properties;
  • Formal and semi-formal techniques for verification and validation;
  • Experimental evaluations of resilient systems;
  • Quantitative approaches to ensuring resilience;
  • Resilience prediction.
Case studies & applications
  • Empirical studies in the domain of resilient systems;
  • Methodologies adopted in industrial contexts;
  • Cloud computing and resilient service provisioning;
  • Resilient cyber-physical systems and infrastructures;
  • Global aspects of resilience engineering: education, training and cooperation.

We welcome relevant contributions in the following forms:
  • Technical papers describing original theoretical or practical work;
  • Experience/Industry papers describing practitioner experience or field study, addressing an application domain and the lessons learned;
  • PhD Forum papers describing objectives, methodology, and results at an early stage in research;
  • Project papers describing goals and results of ongoing projects;
  • Tool papers presenting new tools or new versions of existing tools that support the development of resilient systems.

Prof. John Fitzgerald - School of Computing Science, Newcastle University (
Talk about: systems of systems and cyber-physical systems

1/2 INDUSTRY DAY - September 7, 2015
The program will feature invited talks by experts from industry. 


Submission due: April 24, 2015
Authors notification: June 19, 2015
Camera ready papers: July 1, 2015
Workshop: September 7-8, 2015


Papers can be submitted via EasyChair:

Each paper must be submitted in PDF and be formatted according to the Springer LNCS Guidelines: be no longer than 15 pages for technical and experience/industry papers, and 8 pages for all others.

Submitted papers must describe novel work and not be published elsewhere. All papers will be peer-reviewed and assessed for relevance to the workshop topics, technical soundness, innovation, scientific and presentation quality. Accepted papers must be presented by (one of) the author(s).

The Proceedings of SERENE 2015 will be published as a volume in Springer Lecture Notes in Computer Science (LNCS).


International Program Committee
  • Paris Avgeriou, U. Groningen, The Netherlands
  • Marco Autili, University of L’Aquila, Italy
  • Didier Buchs, U. Geneva, Switzerland
  • Barbora Buhnova, Masaryk University, Czech Republic
  • Andrea Ceccarelli, U. Firenze, Italy
  • Ivica Crnkovic, Chalmers university, Sweden
  • Vincenzo De Florio, U. Antwerp, Belgium
  • Nikolaos Georgantas, INRIA, France
  • David De Andrés, Universidad Politécnica de Valencia
  • Felicita Di Giandomenico, CNR-ISTI, Italy
  • Holger Giese, U. Potsdam, Germany
  • Nicolas Guelfi, U. Luxembourg, Luxembourg
  • Mohamed Kaaniche, LAAS-CNRS, France
  • Vyacheslav Kharchenko, National Aerospace U., Ukraine
  • Nuno Laranjeiro, U. Coimbra, Portugal
  • Istvan Majzik, Budapest University of Technology and Economics, Hungary
  • Paolo Masci, Queen Mary U., UK
  • Marina Mongiello, Technical University of Bari, Italy
  • Henry Muccini, U. L’Aquila, Italy
  • Sadaf Mustafiz, McGill U., Canada
  • András Pataricza, Budapest University of Technology and Economics, Hungary
  • Markus Roggenbach, Swansea University, UK
  • Alexander Romanovsky, Newcastle U., UK
  • Stefano Russo, U. Naples Federico II, Italy
  • Peter Schneider-Kamp, U. Southern Denmark, Denmark
  • Marco Vieira, University of Coimbra, Portugal
  • Katinka Wolter, Freie U. Berlin, Germany
  • Apostolos Zarras, U. Ioannina, Greece
Steering Committee
  • Didier Buchs, U. of Geneva, Switzerland
  • Henry Muccini, U. of L’Aquila, Italy
  • Patrizio Pelliccione, Chalmers U. of Technology and U. of Gothenburg, Sweden
  • Alexander Romanovsky, Newcastle U., UK
  • Elena Troubitsyna, Abo Akademi U., Finland
Organizing Committee
  • Program Chairs:
    • Patrizio Pelliccione, Chalmers U. of Technology and U. of Gothenburg, Sweden
    • Alessandro Fantechi, University of Florence, Italy
  • Publicity Chair:
    • Laura Carnevali, University of Florence, Italy
  • Web:
    • Mirco Franzago, University of L’Aquila, Italy
Announce Announcements | 30 Mar 17:49 2015

The 20th IEEE Symposium on Computers and Communications (ISCC 2015): Last Mile for Workshop Papers (final extended deadline!)

*** Last Mile for Workshop Papers ***

The 20th IEEE Symposium on Computers and Communications (ISCC 2015)

6-9 July 2015, Golden Bay Beach Hotel, Larnaca, Cyprus

*** Final Extended Submission Deadline: April 10th, 2015 (firm) ***

ISCC 2015, in its 20th anniversary, will provide an insight into the unique
world stemming from the interaction between the fields of computers and
communications. ISCC 2015 will provide an international technical forum for
experts from industry and academia to exchange ideas and present results of
ongoing research in most state-of-the-art areas of computer and
communications. This year, special focus will be on the challenging issues
and opportunities related to the computing, sensing and communication in
the era of the Internet of Things, Cloud Computing and Big Data.

The ISSC 2015 workshops cover topics such as 5G, Internet of Things,
Software-Defined Networking, Big Data, Cloud Computing, M2M
communications or Smart Grid. The purpose of these workshops is to
provide a platform for presenting novel ideas in a less formal and possibly
more sharply focused way than at the conference itself. All papers included
in the ISCC 2015 workshops, will be submitted for inclusion in the
conference proceedings published by IEEE.

ISCC 2015 will feature the following workshops:

• Management of Cloud and Smart city systems (MoCS 2015)

• Performance Evaluation of Communications in Distributed Systems
and Web based Service Architectures (PEDISWESA 2015)

• Smart City and Ubiquitous Computing Applications (SCUCA 2015)

• Distributed Mobile Systems & Services (DMSS 2015)

• A 5G Wireless Odyssey: 2020 (5G)

• Security and Forensics in Communication Systems (SFCS 2015)

More information about each workshop and submission guidelines
can be found at each workshop's web site, accessible from the conference
web site.

Important Dates
Paper Submission Deadline: April 10th, 2015 (final and firm)
Notification of Paper Acceptance: April 12th, 2015
Submission of Camera-Ready Papers Due: April 17th, 2015
Day of Workshops: July 6th, 2015

General Co-Chairs
Andreas Pitsillides, University of Cyprus, Cyprus
Mahmoud Daneshmand, Stevens Institute of Technology, USA

Technical Program Co-Chairs
Vasos Vassiliou, University of Cyprus, Cyprus
Honggang Wang, University of Massachusetts, Dartmouth, USA

Local Arrangement Co-Chairs
George Pallis, University of Cyprus, Cyprus
George Papadopoulos, University of Cyprus, Cyprus

Finance and Registration Co-Chairs
Reda Ammar, University of Connecticut, USA
Christos Douligeris, University of Piraeus, Greece

Publication Co-Chairs
Josephine Antoniou, University of Central Lancanshire, Cyprus
Nicos Komninos, City University London, UK

Keynote Speakers Co-Chairs
Panayiotis Kolios, University of Cyprus, Cyprus
Marios Lestas, Frederick University, Cyprus

Workshop Co-Chairs
Periklis Chatzimisios, Alexander Technological Educational Institute of Thessaloniki, Greece
Andreas Kamilaris, University of Cyprus, Cyprus
Massimo Villari, University of Messina, Italy

Publicity Co-Chairs
Habib M. Ammari, Univ. of Michigan-Dearborn, USA
Chrysostomos Chrysostomou, Frederick University, Cyprus
Mario Dantas, Universidade Federal de Santa Catarina, Brazil
Salil Kanhere, University of New South Wales, Australia
Ahmet Sekercioglu, Monash University, Australia
Qing Yang, Montana State University, USA

Steering Committee
Reda Ammar, University of Connecticut, USA
Antonio Corradi, University of Bologna, Italy
Mahmoud Daneshmand, Stevens Institute of Technology, USA
Christos Douligeris, Univ. of Piraeus, Greece
Adel S. Elmaghraby, Univ. of Louisville, USA
Hussein Mouftah, University of Ottawa, Canada
Sartaj Sahni, University of Florida, USA
Ahmed Tantawy, IBM, USA

This is not SPAM. If you want to be removed from this list,
please send an email to [announce <at>] with the
single word 'remove' in the subject of the email.
Announce Announcements | 29 Mar 15:59 2015

Last Mile: 5th International Conference on Web Intelligence, Mining and Semantics (WIMS 2015)

*** Last Mile ***

5th International Conference on Web Intelligence, Mining and Semantics

WIMS 2015

July 13-15, 2015, St. Raphael Resort, Limassol, Cyprus

*** Final Submission Deadline: 7th April 2015 ***

Conference Purpose and Scope

WIMS is a series of peer-reviewed International Computer Science
conferences. It is a forum for researchers and practitioners to present their
state-of-the-art results in building Intelligent Web, to examine performance
characteristics of various approaches in Web-based intelligent information
technology, and to cross-fertilize their ideas on the development of Web
-based intelligent information management solutions across different

The purpose of the WIMS series is to:

* Provide a forum for established researchers and practitioners to present
their contributions to the state of the art research and development in Web
technology and applications.

* Give doctoral students an opportunity to present their research to a friendly
and knowledgeable audience and receive valuable feedback.

* Provide an informal social event where Web technology researchers and
practitioners can meet.

WIMS traditionally hosts a small number of short tutorials on the topics
related to the scope of the conference series. The role of a WIMS tutorial is to
be a theme-oriented comprehensive survey. The call for WIMS 2015 tutorials
is published separately.

WIMS also offers its infrastructure and facilities for the organizers of satellite
workshops that complement the scope of the conference. The call for WIMS
2015 workshops is also published separately.

Companies or individuals interested in presenting their industrial products or
methodologies are invited to contact the conference chairs.

Conference Scope

WIMS solicits regular and work-in-progress research, discussion papers and
industry experience report papers in related fields. Papers exploring new
directions or areas are also welcome. In particular but not exclusively the
submissions within the following areas are relevant:

* Scalable Web and Data Architectures and Infrastructures
- Crawling, caching and querying Linked (Semantic) Data
- Dataset dynamics and synchronization
- Big Data computing
- User Interfaces and visualization for the Web of (Linked Semantic)
Data at scale
- Indexing and information extraction from the (Semantic) Deep Web
- 3D media and content
- Sensing Web and the Web of Things
- Web-based Health- and Bio- Information Systems
- Web security, integrity, privacy, and trust
- Nature-inspired models and approaches in Web and data processing

* Web Intelligence (WI)
- Semantic Agent Systems for WI
- Advanced Interaction and Communication Paradigms with WI
- Natural Language / Ontology-/Taxonomy-based / Hybrid Interfaces
- Intelligence for Visualizing (Linked Semantic) Web Data at scale
- Intelligence for Big Data Analytics
- Ubiquitous Intelligence and the Internet of Things
- WI in Social Media
- WI in Human Computation and Social Games
- Opinion Mining / Sentiment Analysis on the Social Web
- Social Monetization and Computational Advertising
- Visualising social network data
- WI for services, grids, and middleware
- Nature-inspired Models and approaches for WI

* Web Mining, Information and Knowledge Extraction
- Text, data stream, web and multimedia content mining
- Contextualization and clustering in web mining and information extraction
- Knowledge extraction and ontology learning from the Web
- Linked Data mining
- Information Extraction and Knowledge Discovery from Big Data
- Mining and Information Extraction from the Deep Web
- Semantic Deep Web data fusion

* Web Semantics and Reasoning
- Knowledge Representation for the Web
- Ontology specification: expressivity versus usability
- Ontologies and Linked Semantic Data
- Development and re-use of ontologies for the Web
- Crowdsourcing for ontology engineering and management on the Social
- Lifecycle, management, and evolution of Web ontologies
- Ontology merging and alignment
- Rule markup languages and systems
- Semantic annotation
- Reasoning: scalability, expressivity, incompleteness, vagueness, and/or

* WIMS Applications
- Web applications of semantic agent systems
- Semantics-driven information retrieval
- Semantic search
- Intelligent e-Technology and the Semantic Web
- Intelligence and semantics for business information management and
- Intelligence and semantic technologies in Digital Media
- Semantic technologies in e-Business, e-Commerce, e-Finance, e-Health,
e-Science, e-Government, e-Learning
- WI for multimedia, sensors, and situational awareness
- WI for software and systems engineering
- Quality of Life Technology for Web Access
- Nature-inspired models and approaches in WIMS applications

* Evaluation and Validation of WIMS Technologies and Applications
- Evaluation and validation Methodologies
- Datasets and Benchmarks for cross-evaluations and competitions
- Evaluation and validation Infrastructures
- Evaluation and validation metrics (e.g. fitness, quality, completeness,
correctness, etc.)

Submission Guidelines

Four types of submissions are solicited for the main conference:
i. Regular research papers
ii. Short research papers
iii. Case Studies and Applications papers
iv. Posters

The papers in all the categories should describe original results that have not
been accepted or submitted for publication elsewhere. All submissions will be
evaluated by at least three members of the international program committee.

Regular Research Papers

The papers in this category are the reports on accomplished research work or
in-depth discussions and analysis of a certain problem. The first type of
papers can present a novel method, technique or analysis with appropriate
empirical or other type of evaluation as a proof of validity. The main
evaluation criteria for this category are originality, technical soundness, and
the soundness of evaluation. For the second type within the genre we expect
receiving reasonable overviews placing a problem onto the state-of-the-art
landscape and analyzing how far current solutions fall short. We also expect
in-depth discussions and analysis of a certain problem, with clear definitions
and argumentation in terms of qualitative or quantitative representation of
the main characteristics of the problem.

Page limit: 12 ACM pages

Short Research Papers

The papers in this category are the short reports of the preliminary results or
describing the work in progress. The main evaluation criteria for this category
are originality, technical correctness, and possible value of the planned
results in a short to mid-term perspective.

Short papers can be also presented in a form of a poster.

Page limit: 6 ACM pages

Case Studies and Applications Papers

The papers in this category describe case studies of deployed applications,
lessons learnt, and examples of measurable benefits. This category also
includes papers that reports innovative applications of WIMS in areas of
industry and government, as well as industrial experience and
demonstrations of innovative systems.

Page limit: 12 ACM pages


WIMS poster track is a venue for late-breaking results, ongoing research
activities, and speculative or innovative work in progress. This track is
intended to provide authors and participants with the ability to connect with
each other and to engage in discussions about the work. Posters provide
authors with a unique opportunity to draw attention to their work during the

Page limit: 4 ACM pages

Submissions should be made electronically in PDF or DOC/DOCX (MS/Open
Word) format via the electronic submission system of the WIMS2015
Conference Management system at:


Accepted papers/tutorials/posters will be published by ACM and
disseminated through the ACM Digital Library through the International
Conference Proceedings Series (ICPS).

Important Dates

07.04.2015 Submission of papers/posters (final)

27.04.2015 Notification of acceptance for papers/posters

11.05.2015 Camera ready versions of the accepted papers, posters,
tutorial papers

30.05.2015 Author registration deadline

13-15.07.2015 Conference

All the above deadlines are 23:59 Hawaii Time.

WIMS Conferences Chair

Rajendra Akerkar, Western Norway Research Institute, Norway

General Chair

Marios D. Dikaiakos, University of Cyprus, Cyprus

Program Committee Co-Chairs

Achilleas P. Achilleos, University of Cyprus, Cyprus
Tope Omitola, University of Southampton, United Kingdom

Advisory Committee

Grigoris Antoniou, University of Huddersfield, UK
Harold Boley, Faculty of Computer Science,
University of New Brunswick, Fredericton, Canada
James Hendler, Rensselaer Polytechnic Institute, Troy, NY, USA
Guus Schreiber, VU University, Amsterdam, the Netherlands
Amit Sheth, Ohio Center of Excellence on Knowledge-enabled Computing, Ohio, USA

Industrial Track Chair

John Davies, BT Research & Innovation, UK

Publicity Chair

Christos Mettouris, University of Cyprus, Cyprus

Local Organization Chair

George A. Papadopoulos, University of Cyprus, Cyprus

Web Chair

Kyriakos Georgiadis, EasyConferences LTD, Cyprus

The proceedings of the previous WIMS conferences are available at:
- WIMS2011:
- WIMS?2012:
- WIMS?2013:
- WIMS?2014:

Look for updates and more details at:

This is not SPAM. If you want to be removed from this list,
please send an email to [announce <at>] with the
single word 'remove' in the subject of the email.
Announce Announcements | 28 Mar 13:47 2015

CONTEXT 2015: Third Call for Papers and Posters

*** Third Call for Papers and Posters ***

The 9th International and Interdisciplinary Conference on Modeling
and Using Context (CONTEXT 2015)

2–6 November 2015, Lordos Beach Hotel, Larnaca, Cyprus

The CONTEXT conferences are the world’s prime forum for presentation and
exchange of insights and cutting-edge results from the wide range of
disciplines concerned with context.

The main theme of CONTEXT 2015 is “Back to the roots”, focusing on the
importance of interdisciplinary cooperations and studies of the phenomenon.
Context, context modeling and context comprehension are central topics in
linguistics, philosophy, sociology, artificial intelligence, computer science,
art, law, organizational sciences, cognitive science, psychology, etc. and are
also essential for the effectiveness of modern, complex and distributed
software systems.

CONTEXT 2015 invites high-quality contributions from researchers and
practitioners in foundational studies, applications and evaluations of
modeling and use of context in all relevant fields. Areas of interest include,
but are not limited to, the role of context seen from different perspectives in:

• Agent-based architectures
• Ambient intelligence
• Cognition and perception by humans and artifacts
• Context-aware and situated systems
• Context modeling tools
• Communication and dialogue
• Data analysis and visualization
• Decision making
• Discourse comprehension and representation
• Engineering, e.g., in transport networks, industrial plants etc.
• Experimental philosophy and experimental pragmatics
• (Formal) models of context
• Human-computer interaction
• Knowledge representation
• Language acquisition and processing
• Learning, knowledge management and sharing
• Logic and reasoning
• Machine learning
• Ontology/ies
• Semantics and Pragmatics
• Smart and interactive spaces
• Understanding art, images, music and theatre


Accepted papers and poster abstracts will be published in a volume of the
Springer LNAI series.

Submission format

Submissions may be either full papers of up to 14 pages (in Springer LNCS
format) or poster abstracts of 4–6 pages. Full papers may be accepted as such
with oral presentation, or their authors may be invited to prepare a poster
abstract. Detailed formatting and submissions instructions will be provided.

Conference events

CONTEXT 2015 will include paper presentation sessions, a poster and
demonstration session, two days of workshops, and a doctoral consortium as
well as keynote talks and a panel discussion. Workshops and the doctoral
consortium will circulate separate calls for papers and participation, which
will also be available at the conference web site. All accepted authors will have
the option of presenting a system demonstration at the poster session.

Important dates

Full papers and posters:
• Submission deadline: June 1, 2015 
• Notification: July 13, 2015
• Final version: August 17, 2015

Doctoral Consortium


Program Chairs

Henning Christiansen, Roskilde University, Denmark
Isidora Stojanovic, UPF, Spain & CNRS, France

Workshop Chair

Samia Oussena, University of West London, UK

Local Arrangements Chair

George Angelos Papadopoulos, University of Cyprus, Cyprus

General Chair

Henning Christiansen, Roskilde University, Denmark

Chairs of the Community of Context

Patrick Blackburn, Roskilde University, Denmark
Patrick Brezillon, Université Pierre et Marie Curie, France
Henning Christiansen, Roskilde University, Denmark
Richard Dapoigny, Université de Savoie, France
Thomas R. Roth-Berghofer, University of West London, UK
Hedda R. Schmidtke, Carnegie Mellon University, USA

Look for updates and more details at:

This is not SPAM. If you want to be removed from this list,
please send an email to [announce <at>] with the
single word 'remove' in the subject of the email.
YuHui Lin | 27 Mar 12:41 2015

AVoCS 2015: Second Call for Papers

                      SECOND CALL FOR PAPERS

              The 15th International Workshop on 
          Automated Verification of Critical Systems 
                        AVoCS 2015

             1-4 September 2015, Edinburgh, UK

                avocs2015 <at>

  Submission of abstract for full papers: 5th June 2015
  Submission of full papers: 12th June 2015
  Notification (full papers): 14th July 2015
  Submission of research idea papers: 7th August 2015
  Notification (research idea): 14th August 2015
  Early registration: 18th August 2015
  Submissions of final versions: 21st August 2015 

  Colin O'Halloran (D-RisQ & the University of Oxford)
  Don Sannella (Contemplate & the University of Edinburgh)

  Formal Methods Europe (FME)
  The Scottish Informatics & Computer Science Alliance (SICSA)

  The aim of Automated Verification of Critical Systems (AVoCS) 2015 
  is to contribute to the interaction and exchange of ideas among members 
  of the international research community on tools and techniques for the 
  verification of critical systems. 

  The subject is to be interpreted broadly and inclusively. It covers 
  all aspects of automated verification, including model checking, 
  theorem proving, SAT/SMT constraint solving, abstract interpretation, 
  and refinement pertaining to various types of critical systems which 
  need to meet stringent dependability requirements (safety-critical, 
  business-critical, performance-critical, etc.). Contributions that 
  describe different techniques, or industrial case studies are encouraged. 

  The technical programme will consist of invited and contributed talks 
  and also allow for short presentations of research ideas. The workshop 
  will be relatively informal, with an emphasis on discussion where special 
  discussion sessions will be organised around the research ideas presentations. 
  Topics include (but are not limited to):
    - Model Checking
    - Automatic and Interactive Theorem Proving
    - SAT, SMT or Constraint Solving for Verification
    - Abstract Interpretation
    - Specification and Refinement
    - Requirements Capture and Analysis
    - Verification of Software and Hardware
    - Specification and Verification of Fault Tolerance and Resilience
    - Probabilistic and Real-Time Systems
    - Dependable Systems
    - Verified System Development
    - Industrial Applications

  AI4FM 2015: 1 September 2015 --

  The event will be held in the International Centre for Mathematical Sciences 
  (ICMS) in the centre of the historic old town of Edinburgh - an UNESCO world
  heritage site. 

  Thanks to sponsorships from FME and SICSA we can offer financial support for a 
  limited number of students registering for AVoCS in the form of a registration 
  fee waiver (full or partial). As this is limited, we ask the students that 
  would like to take the advantage of this support to submit a short application. 
  The details on how to apply will be available in due course from the AVoCS 

   Submissions of full papers to the workshop must not have been published 
   or be concurrently considered for publication elsewhere. All submissions 
   will be peer-reviewed and judged on the basis of originality, contribution 
   to the field, technical and presentation quality, and relevance to the 
   workshop. Submissions are handled via Easychair:

   The papers must be written in English and not exceed 15 pages and should 
   use the dedicated AVoCS 2015 EASST template available rom the the 
   following link (for LaTeX and Word):

   AVoCS also encourages the submissions of research ideas in order to stimulate 
   discussions at the workshop. Reports on ongoing work or surveys on work 
   published elsewhere are welcome. The Programme Committee will select 
   research ideas on the basis of submitted abstracts according to significance 
   and general interest. Research ideas must be written in English and not exceed 
   2 pages using the EASST template. The presentation of these ideas will be organised 
   around discussions, where the presenter should also prepare a set of question in 
   which the audience will discuss.

  At the workshop, pre-proceedings will be available in the form of a Heriot-Watt 
  University Technical Report; this report will also include the research ideas.
  After the workshop, the authors of accepted full papers will have about one 
  month in order to revise their papers for publication in the workshop post-
  proceedings which will appear in the Electronic Communications of the EASST 
  Open Access Journal. Research ideas will not be part of the proceedings in the 
  Open Access Journal.

  Authors of a selection of the best papers presented at the workshop will be 
  invited to submit extended versions of their work for publication in a 
  special issue of Elsevier's journal Science of Computer Programming.

  Ernie Cohen, University of Pennsylvania, USA
  Ewen Denney, NASA Ames, USA
  Jean-Christophe Filliatre, CNRS, France
  Michael Goldsmith, University of Oxford, UK
  Gudmund Grov, Heriot-Watt University, UK (co-chair)
  Keijo Heljanko, Aalto University, Finland
  Mike Hinchey, University of Limerick, Ireland
  Marieke Huisman, University of Twente, Netherlands
  Andrew Ireland, Heriot-Watt University, UK (co-chair)
  Gerwin Klein, NICTA/UNSW, Australia
  Thierry Lecomte, ClearSy, France
  Peter Gorm Larsen, Aarhus University, Denmark 
  Panagiotis (Pete) Manolios, Northeastern University, USA
  Stephan Merz, INRIA Nancy & LORIA, France
  Jaco van de Pol, University of Twente, Netherlands
  Markus Roggenbach, Swansea University, UK
  Marco Roveri, FBK, Italy
  Thomas Santen, Microsoft Research, Germany
  Bernard Steffen, Technical University Dortmund, Germany
  Jan Strejček, Masaryk University, Czech Republic
  Jun Sun, Singapore University of Technology and Design, Singapore
  Tayssir Touili, LIAFA, CNRS & University Paris Diderot, France
  Helen Treharne, University of Surrey, UK
  Laurent Voisin, Systerel, France
  Angela Wallenburg, Altran, UK
  John Wickerson, Imperial College London, UK
  Peter Ölveczky, University of Oslo, Norway

  Gudmund Grov, Heriot-Watt University, UK
  Andrew Ireland, Heriot-Watt University, UK
  Yuhui Lin, Heriot-Watt University, UK (Local arrangements and publicity chair)

  Michael Goldsmith, University of Oxford, UK
  Stephan Merz, INRIA Nancy & LORIA, France
  Markus Roggenbach, Swansea University, UK

We invite research leaders and ambitious early career researchers to 
join us in leading and driving research in key inter-disciplinary themes. 
Please see for further information and how
to apply.

Heriot-Watt University is a Scottish charity
registered under charity number SC000278.


Caml-list mailing list.  Subscription management and archives:
Beginner's list:
Bug reports:
Geoff Sutcliffe | 26 Mar 15:25 2015

Verification Mentoring Workshop Student Scholarships

Verification Mentoring Workshop 2015: 
CALL for Applications for Student Travel Scholarships 

We are organizing a new one-day workshop called the Verification Mentoring 
Workshop (VMW). It is co-located with the International Conference on Computer 
Aided Verification (CAV), to be held in San Francisco, July 18-24, 2015. CAV 
is a premier conference in the area of verification, dedicated to the 
advancement of the theory and practice of computer-aided formal analysis 
methods for hardware and software systems.

The goal of VMW is to attract early-stage graduate students to pursue research 
careers in the area of computer-aided verification and formal methods.  Invited 
talks at the workshop will cover a broad overview of research topics in the 
area (so students can follow sessions of interest at CAV), the range of career 
options and perspectives (academia, industry, research labs, etc.), and job 
search advice (especially from young researchers). Participation of women and 
under-represented minorities is especially encouraged. 

We will provide travel scholarships to student participants, where the 
scholarships will cover registration for the VMW workshop and CAV conference, 
accommodations, plus travel expenses. The workshop website 
( is now accepting applications for 
student travel scholarships. 

Important Dates:
Deadline for submission of applications: April 20, 2015
Notification of travel scholarships awarded: May 1, 2015
VMW Workshop: July 19, 2015
CAV Conference: July 20 - 24, 2015

VMW 2015 is partially supported by the NSF (National Science Foundation, USA). 
More details on the VMW workshop and CAV conference can be found at 

Organizers of VMW 2015:
Aarti Gupta, Princeton, USA
Rupak Majumdar, Max Plank Institute for Software Systems, Germany
Corina Pasareanu, NASA/CMU, USA
Ruzica Piskac, Yale, USA


Caml-list mailing list.  Subscription management and archives:
Beginner's list:
Bug reports:

david.delahaye | 25 Mar 23:33 2015

Second Call for Papers: SETS 2015



	  2nd International Workshop about Sets and Tools (SETS 2015)
			  June 23, 2015, Oslo, Norway
			     Affiliated to FM 2015


Sets and constructs built upon them like relations, functions, sequences are
the main modeling ingredients of formalisms such as VDM, Z, B, or Event-B.
Sets also occur in the formalization of mathematics, as evidenced by the large
library of the Mizar proof system for example. In addition, still in the
domain of verification, there is an increasing interest to automate set theory
(which is known to be a difficult problem), with some concrete realizations,
such as mp (the "main prover" of Atelier B) or Muscadet (an automated theorem
prover for natural deduction, which gives some good performances in set
theory). Sets are also the main features of some programming languages like
the former SetL language or the more recent {log} language (pronounced as

The workshop aims at bringing together researchers interested in set theory,
especially to design tools for dealing with set theory, such as interactive or
automated theorem provers, proof checkers, theories for general purpose proof
tools, constraint solvers, programming languages etc. These tools may be
dedicated or general purpose tools. Contributions by theoreticians working on
set theories or fragments of set theories in the aim of designing concrete
tools, and by practitioners using set-based tools are both welcome. We are
also interested by contributions providing some comparisons between set
modeling techniques and other formalisms, such as type theory (and variants)
for instance. Finally, regarding the domains of application, we mainly expect
contributions in the framework of formal methods, but not exhaustively, and
contributions reporting formalizations of mathematics using set theory for
example could be of interest for this workshop as well.


Topics of interest for this workshop include all aspects of set theory and
corresponding tools. More specifically, some suggested topics are:

 * Proof tools for sets
 * Constraint solvers for sets
 * Set-based programming languages
 * Automated verification in set theory
 * Encoding of sets in provers
 * Set theories for SMT solvers
 * Use of set-based tools in formal methods
 * Use of set-based tools in mathematics
 * Comparison of set-based tools
 * Comparison between set and type theories
 * Experience reports


Submitted papers must be 6-15 pages in length, following the Springer LNCS
format. These submissions may be:

 * Research papers providing new concepts and results
 * Position papers and research perspectives
 * Experience reports
 * Tool presentations

Proceedings, including all the papers selected for the workshop, will be
published as online proceedings in the CEUR workshop proceedings series


Contributions must be submitted electronically in PDF using the SETS 2015
EasyChair web site at the following address:


Abstract submission: March 31, 2015
Submission deadline: April 7, 2015
Paper notification:  May 7, 2015
Revised/final paper: May 22, 2015
Workshop:            June 23, 2015


David Delahaye (Cnam, France)
Catherine Dubois (Ensiie, France)


Mats Carlsson (Swedish Institute of Computer Science, Sweden)
Iliano Cervesato (Carnegie Mellon University, USA)
Maximiliano Cristia (CIFASIS, Universidad Nacional de Rosario, Argentina)
David Deharbe (Universidade Federal do Rio Grande do Norte, Brazil)
Leo Freitas (Newcastle University, UK)
Michael Leuschel (University of Düsseldorf, Germany)
Stephan Merz (Inria Nancy - Grand Est, Loria, France)
Gianfranco Rossi (Università di Parma, Italy)
Arnaud Spiwack (MINES ParisTech, France)
Josef Urban (Radboud University Nijmegen, The Netherlands)
Wolfgang Windsteiger (RISC Institute, JKU Linz, Austria)


Caml-list mailing list.  Subscription management and archives:
Beginner's list:
Bug reports:

Matthieu Dubuget | 24 Mar 14:54 2015

Is there a 64 bits Native MinGW port?


in the README.win32 file of the last OCaml release, four ports are listed.

>                                       Native MS     Native 
> MinGW        Cygwin
> 64 bits?                            Win32 or Win64    Win32 only      
> Win32 only

Are there any problem with a 64 bits native MinGW port?

Thanks for any explanation


Matthieu Dubuget
Guide d’autodéfense numérique :


Caml-list mailing list.  Subscription management and archives:
Beginner's list:
Bug reports: