Announce Announcements | 22 Dec 14:09 2014

Academic Vacancies - CS Dept - University of Cyprus

ANNOUNCEMENT OF ACADEMIC POSITION

The University of Cyprus invites applications for one (1) tenure-track academic
position at the rank of Lecturer or Assistant Professor.

DEPARTMENT OF COMPUTER SCIENCE

One position at the rank of Lecturer or Assistant Professor in the field of:
"Computer Security"with emphasis in:
- Operating System Security or
- Internet Security or
- Web Security or
- Network Security

For all academic ranks, an earned Doctorate from a recognized
University is required.

Requirements for appointment depend on academic rank and include: prior
academic experience, research record and scientific contributions, involvement
in teaching and in the development of high quality undergraduate and graduate
curricula. The minimum requirements for each academic rank can be found at the
webpage:

http://goo.gl/lb6I61

The official languages of the University are Greek and Turkish. For the above
position knowledge of Greek is necessary.

Holding the citizenship of the Republic of Cyprus is not a requirement.

In the case that the selected candidate does not have sufficient knowledge of
the Greek language, it is the selected candidate's and the Department's
responsibility to ensure that the selected academic acquires sufficient
knowledge of the Greek language within 3 years, since the official language
of teaching at the University is the Greek language. It is noted that each
Department sets its own criteria for the required level of adequacy of
knowledge of the Greek language.

The annual gross salary (including the 13th salary) is:

Lecturer (Scale A12-A13) 43,851.21 Euro - 71,358.82 Euro
Assistant Professor (Scale A13-A14) 57,694.26 Euro - 77,811.11 Euro

Applications must be submitted by Thursday, 12th of March 2015. The application
dossiers must include two (2) sets of the following documents in printed and
electronic form (i.e., two (2) hardcopies and two (2) CDs with the documents
in PDF (Portable Document Format) or Word files).

I. Cover letter stating the Department, the field of study, the academic
rank(s) for which the candidate applies, and the date on which the candidate
could assume duties if selected.

II. Curriculum Vitae.

III. Brief summary of previous research work and a statement of plans for
future research (up to 1500 words).

IV. List of publications.

V. Copies of the three most representative publications.

VI. Copies of Degree certificates should be scanned and included in the CDs.

VII. Names and contact details for three academic referees.

Applicants must ask three academic referees to send recommendation letters
directly to the University. The names and contact details of these referees
must be indicated in the application, because additional confidential
information may be requested. The recommendation letters must reach the
University by Thursday, 12th of March 2015.

The Curriculum Vitae and the statements of previous work and future research
plans should be written in Greek or in Turkish, and in one international
language, preferably English.

Selected candidates will be required to submit copies of degree certificates
officially certified by the Ministry of Education (for certificates received
from Universities in Cyprus) or from the Issuing Authority (for foreign
Universities).

Applications, supporting documents and reference letters submitted in response
to previous calls in the past will not be considered and must be resubmitted.
Incomplete applications, not conforming to the specifications of the call,
will not be considered.

All application material must be submitted, in person, to:
Human Resources Service
University of Cyprus
University Campus
Council/Senate Anastasios G Leventis Building P.O. Box 20537
1678 Nicosia, Cyprus Tel. 22894158/4155

by Thursday, 12th of March 2015, 2:00 p.m. Alternatively, applications can
be sent by post; they will be accepted as valid as long as the sealed
envelopes are post-marked before the deadline of March 12, 2015, and they
reach the Human Resources Service by March 19, 2015, on the sole
responsibility of the applicant.

For more information, candidates may contact the Human Resources Service
(tel.: 00357 22894158/4155) or the Department of Computer Science
(cs <at> cs.ucy.ac.cy, 00357 22892700/2669).

--------------------------------------------------------------------
This is not SPAM. If you want to be removed from this list,
please send an email to [announce <at> cs.ucy.ac.cy] with the
single word 'remove' in the subject of the email.
Peter Zotov | 22 Dec 12:42 2014

[ANN] ppx_deriving 1.1, ppx_deriving_yojson 2.1

Hello,

I'm glad to announce the releases of ppx_deriving[1] and
ppx_deriving_yojson[2]. These are mainly bugfix releases.

ppx_deriving 1.1
----------------

   * New plugin: create.
   * Show, eq, ord: handle `_`.
   * Show, eq, ord, map, iter, fold: handle inheriting from a parametric
     polymorphic variant type.
   * Make Ppx_deriving.poly_{fun,arrow}_of_type_decl construct functions
     in correct order. This also fixes all derivers with types with
     more than one parameter.
   * Add Ppx_deriving.fold_{left,right}_type_decl.

ppx_deriving_yojson 2.1
-----------------------

   * Handle inheriting from a parametric polymorphic variant type.
   * Don't leak type variables.

[1]: https://github.com/whitequark/ppx_deriving
[2]: https://github.com/whitequark/ppx_deriving_yojson

-- 
Peter Zotov

--

-- 
Caml-list mailing list.  Subscription management and archives:
https://sympa.inria.fr/sympa/arc/caml-list
Beginner's list: http://groups.yahoo.com/group/ocaml_beginners
Bug reports: http://caml.inria.fr/bin/caml-bugs

Dario Teixeira | 22 Dec 12:38 2014
Picon

OCamlbuild, OCamldep, and -no-alias-deps

Hi,

I'm trying to use OASIS to produce the build system for a project
that uses the module aliases feature introduced in OCaml 4.02.
As a first step, I'm trying a dummy project with just the four
following files:

src/foo_a.ml:
####
let a = 1
####

src/foo_b.ml:
####
let b = 2
####

src/foo_c.ml:
####
let c = A.a + B.b
####

src/foo.ml:
####
module A = Foo_a
module B = Foo_b
module C = Foo_c

####

The _oasis file is as follows (minus some boilerplate):

####
OASISFormat:            0.4
Name:                   foo
Plugins:                META (0.4), DevFiles (0.4)
BuildTools:             ocamlbuild, make

Library "foo"
  Path:                 src
  Modules:              Foo_a, Foo_b, Foo_c, Foo

####

After running "oasis setup", I've added the following two lines
to the generated _tags file:

<src/*>: no_alias_deps
<src/*> and not <src/foo.*>: open(Foo)

Unfortunately, this does not work.  Running "make" produces a circular
build error (the sort one would expect without -no-alias-deps), and
looking at the _log file, it seems the -no-alias-deps option is not
being passed down to OCamldep.

Am I missing something, or is there really a bug somewhere?

Thanks in advance for your attention!
Best regards,
Dario Teixeira

--

-- 
Caml-list mailing list.  Subscription management and archives:
https://sympa.inria.fr/sympa/arc/caml-list
Beginner's list: http://groups.yahoo.com/group/ocaml_beginners
Bug reports: http://caml.inria.fr/bin/caml-bugs

Announce Announcements | 20 Dec 13:32 2014

ISPDC 2015: Second Call for Papers

*** Second Call for Papers ***

The 14th International Symposium on Parallel and Distributed
Computing (ISPDC 2015)

29 June - 2 July, 2015, St. Raphael Resort 5*, Limassol, Cyprus

http://www.cyprusconferences.org/ispdc2015/


Following very successful previous editions since 2002, the 14th ISPDC
conference will be hosted in Limassol, a beautiful coastal Mediterranean city
on the south coast of Cyprus. The conference will be devoted to a highly
selective program with papers describing original and unpublished research
advancing the state of the art in the field of Parallel and Distributed
Computing paradigms and applications. The goal is to provide an interactive
and friendly, yet professional forum, for original research contributions
describing novel ideas, groundbreaking results and/or experiences.

We kindly invite you to submit original contributions to ISPDC 2015 on topics
including, but not limited to:

System Architectures for Parallel and Distributed Computing
- Multi-Cores, Virtualization
- Clusters and Grid Computing
- Methods and Tools for Parallel and Distributed Programming
- Embedded, Mobile and Networking Environments
- System Architecture and System Software for In-Memory Computing
- Innovative System Architecture for Big Data Processing
- System Architecture for Graph Computing/Processing
- Interconnect Architecture for HPC and Data Centers

High Performance Computing and Large Scale Applications
- Tools and Environments for Parallel Program Design/Analysis
- Scalable Algorithms and Applications
- Urban Networks and Applications, Vehicular Networks
- Parallel, Distributed and Mobile big-Data Management

Parallel Computing and Algorithms
- Parallel Programming Paradigms and APIs
- GPU Programming
- Bio-inspired Parallel Algorithms
- Big Data and Graph Analytics
- Algorithms, Models and Formal Verification

Cloud Computing
- Cloud Resource Provisioning and Allocation
- Pricing of Cloud Resources
- Cloud Performance, and Capacity Management
- Green Cloud Computing
- Mobile Clouds
- Security and Privacy in Clouds
- Cloud Computing Techniques for Big Data
- Storage Architectures for Clouds and Big Data Processing

Distributed and Embedded Computing
- Collaborative Computing, P2P Computing
- Mobile and Ubiquitous Computing
- Web Services and Internet Computing
- Distributed Software Components, Multi-agent Systems
- Parallel Embedded Systems Programming
- Highly Embedded Parallel Systems Support for Programming
- FPGA and SoC Solutions

Performance Modeling, Management and Optimization
- Scheduling and Load Balancing
- Performance Modeling, Analysis and Evaluation
- Optimisation, Security and Dependability

Interactivity
- Real-time Distributed and Parallel Systems
- Visualisation of Massively Parallel Data
- IoT, Social Networks

You are invited to submit original papers of up to 10 pages, written in English
and compliant with the IEEE standard (8.5"x11", two-column). The IEEE
Computer Society Press will publish the proceedings. A best paper award will
be presented to paper(s) receiving the highest quality rating from the
reviewers and the PC.

Key Dates
Submission of full papers: 15 January, 2015
Notification of authors: 15 March, 2015
Camera ready papers: 30 March, 2015
Authors and early registration deadline: 6 May, 2015
Symposium dates: 29 June - 2 July, 2015

General Chair
George A. Papadopoulos, University of Cyprus, Cyprus

Program Committee Co-Chairs
Daniel Grosu, Wayne State University, USA
Hai Jin, Huazhong University of Science and Technology, China

Steering Committee
Ioana Banicescu, Mississippi State University, USA
Hans-Joachim Bungartz, Technische Universität München, Germany
Valentin Cristea, University Politehnica of Bucharest, Romania
Bertil Folliot, University of Paris, France
Dan Grigoras, University College Cork, Ireland
John Morrison, University College Cork, Ireland
Traian Muntean, Aix Marseille University, France
Dana Petcu, Western Univ. of Timisoara and e-Austria, Timisoara, Romania
Marek Tudruj, Polish Acad. of Sciences and PJIIT, Warsaw, Poland

Program Committee
http://www.cyprusconferences.org/ispdc2015/committees.html



--------------------------------------------------------------------
This is not SPAM. If you want to be removed from this list,
please send an email to [announce <at> cs.ucy.ac.cy] with the
single word 'remove' in the subject of the email.
John A. De Goes | 20 Dec 19:27 2014
Picon

LambdaConf 2015 - CFP


Hi all,

LambdaConf 2015 has officially opened its Call for Proposals. 

LambdaConf 2015 is being held in the beautiful foothills of the Rocky Mountains, in Boulder, Colorado (home to many companies using FP). The conference is devoted to helping people become better programmers through functional and declarative programming.

We're looking for lightning talks, workshops, and presentations on the following themes:
  • FP 101. Introductory material for the FP curious or those just getting their feet wet.
  • Languages. New languages (functional / logic), functional ways to use existing languages, language extensions, etc.
  • Theory. Type theory, category theory, abstract algebra, ongoing or new research, and anything useful or interesting to functional programmers or academics working in the field.
  • Libraries. Cool libraries that demonstrate the power of functional programming in helping programmers get stuff done.
  • Case Studies. Case studies showing how using a functional language or library proved to be game-changing in solving real world problems.
We currently have talks or workshops lined up for Haskell, Purescript, Scala, and Rust. It would be great to get some high-quality OCaml content this year.

If you'd like to submit a proposal, just send a private email to me or visit the official website for more information.

We are not yet open for registrations, but we are actively looking for a couple more volunteers, as well as sponsors. If you know someone who might be interested, please spread the word!

Regards,

John
Announce Announcements | 19 Dec 16:37 2014

ISCC 2015: Call for Workshop Proposals

*** Call for Workshop Proposals ***

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

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

http://ieee-iscc.org/2015


Continuing the well-established tradition of this series of symposia, IEEE ISCC
2015 will be an international technical forum of experts from industry and
academia to exchange ideas and present the results of ongoing research work
in state-of-the-art of computers and communications as listed in its call for
papers (the web site is on http://www.ieee-iscc.org/2015).

ISSC 201515 Workshops Committee invites proposals for half or full day
workshops affiliated with the conference. Example topics would be 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 included in the conference proceedings
published by IEEE. We expect that all selected workshops to adhere to the
common paper submission and reviewing schedule as outlined in the ISCC
2015 Call for Papers.

Each workshop proposal must include the following:

• The name of the workshop
• The names, addresses, and short bios of the organizers
• A brief description (up to one page long) of the technical issues that the
Workshop’s focus will be on, and the reasons why the workshop is of interest
at this time
• The names of potential Program Committee members
• The planned format of the Workshop, including a strategy to facilitate lively
discussions and involvement of the attendees
• If a keynote speech is included in the planned format of the workshop, the
name(s) of the potential keynote speaker(s)
• If applicable, a description of past versions of the workshop, including
dates, organizers, number of submitted and accepted papers, and number
of attendees
• If the workshop is going to be organized for the first time, an estimate of
the expected number of submissions and attendees
• A tentative Call for Papers
• A description of the plans for publicity and workshop Web site

Workshop proposals should be submitted, no later than Monday 12th
January 2015, by email (in PDF format) with the subject line “ISCC’15
Workshop Proposal” to all Workshop Co-Chairs Periklis Chatzimisios
(peris <at> it.teithe.gr), Andreas Kamilaris (kami <at> cs.ucy.ac.cy) and Massimo
Villari (mvillari <at> unime.it).


--------------------------------------------------------------------
This is not SPAM. If you want to be removed from this list,
please send an email to [announce <at> cs.ucy.ac.cy] with the
single word 'remove' in the subject of the email.
Peter Achten | 19 Dec 17:48 2014
Picon

[TFP 2015] 1st call for papers

                         -----------------------------
                         C A L L   F O R   P A P E R S
                         -----------------------------

                         ======== TFP 2015 ===========

               16th Symposium on Trends in Functional Programming
                                June 3-5, 2015
                        Inria Sophia Antipolis, France
                           http://tfp2015.inria.fr/

The symposium on Trends in Functional Programming (TFP) is an
international forum for researchers with interests in all aspects of
functional programming, taking a broad view of current and future
trends in the area. It aspires to be a lively environment for
presenting the latest research results, and other contributions (see
below). Authors of draft papers will be invited to submit revised
papers based on the feedback receive at the symposium.  A
post-symposium refereeing process will then select a subset of these
articles for formal publication.

The selected revised papers are expected to be published as a Springer
Lecture Notes in Computer Science (LNCS) volume.

TFP 2015 will be the main event of a pair of functional programming
events. TFP 2015 will be accompanied by the International Workshop on
Trends in Functional Programming in Education (TFPIE), which will take
place on June 2nd.

The TFP symposium is the heir of the successful series of Scottish
Functional Programming Workshops. Previous TFP symposia were held in
   * Edinburgh (Scotland) in 2003;
   * Munich (Germany) in 2004;
   * Tallinn (Estonia) in 2005;
   * Nottingham (UK) in 2006;
   * New York (USA) in 2007;
   * Nijmegen (The Netherlands) in 2008;
   * Komarno (Slovakia) in 2009;
   * Oklahoma (USA) in 2010;
   * Madrid (Spain) in 2011;
   * St. Andrews (UK) in 2012;
   * Provo (Utah, USA) in 2013;
   * and in Soesterberg (The Netherlands) in 2014.
For further general information about TFP please see the TFP homepage.
(http://www.tifp.org/).

== INVITED SPEAKERS ==

TFP is pleased to announce talks by the following two invited speakers:

   * Laurence Rideau is a researcher at INRIA and is interested in the
     semantics of programming languages , the formal methods, and the
     verification tools for programs and mathematical proofs.  She
     participated in the beginnings of the Compcert project (certified
     compiler), and is part of the Component Mathematical team in the
     MSR-INRIA joint laboratory, who performed the formalization of the
     Feit-Thompson theorem successfully.

     Thirty years ago, computers barged in mathematics with the famous
     proof of the Four Color Theorem.  Initially limited to simple
     calculation, their role is now expanding to the reasoning whose
     complexity is beyond the capabilities of most humans, as the proof of
     the classification of finite simple groups.  We present our large
     collaborative adventure around the formalization of the Feit-Thompson
     theorem (http://en.wikipedia.org/wiki/Feit%E2%80%93Thompson_theorem)
     that is a first step to the classification of finite groups
     and that uses a palette of methods and techniques that range from
     formal logic to software (and mathematics) engineering.

   * Sam Aaron (?)

== SCOPE ==

The symposium recognizes that new trends may arise through various
routes.  As part of the Symposium's focus on trends we therefore
identify the following five article categories. High-quality articles
are solicited in any of these categories:

     Research Articles: leading-edge, previously unpublished research work
     Position Articles: on what new trends should or should not be
     Project Articles: descriptions of recently started new projects
     Evaluation Articles: what lessons can be drawn from a finished project
     Overview Articles: summarizing work with respect to a trendy subject

Articles must be original and not simultaneously submitted for
publication to any other forum. They may consider any aspect of
functional programming: theoretical, implementation-oriented, or
experience-oriented.  Applications of functional programming
techniques to other languages are also within the scope of the
symposium.

Topics suitable for the symposium include:

     Functional programming and multicore/manycore computing
     Functional programming in the cloud
     High performance functional computing
     Extra-functional (behavioural) properties of functional programs
     Dependently typed functional programming
     Validation and verification of functional programs
     Debugging and profiling for functional languages
     Functional programming in different application areas:
       security, mobility, telecommunications applications, embedded 
systems,
       global computing, grids, etc.
     Interoperability with imperative programming languages
     Novel memory management techniques
     Program analysis and transformation techniques
     Empirical performance studies
     Abstract/virtual machines and compilers for functional languages
     (Embedded) domain specific languages
     New implementation strategies
     Any new emerging trend in the functional programming area

If you are in doubt on whether your article is within the scope of
TFP, please contact the TFP 2015 program chair, Manuel Serrano.

== BEST PAPER AWARDS ==

To reward excellent contributions, TFP awards a prize for the best paper
accepted for the formal proceedings.

TFP traditionally pays special attention to research students,
acknowledging that students are almost by definition part of new
subject trends. A student paper is one for which the authors state
that the paper is mainly the work of students, the students are listed
as first authors, and a student would present the paper. A prize for
the best student paper is awarded each year.

In both cases, it is the PC of TFP that awards the prize. In case the
best paper happens to be a student paper, that paper will then receive
both prizes.

== SPONSORS ==

TFP is financially supported by ??????????????????

== PAPER SUBMISSIONS ==

Acceptance of articles for presentation at the symposium is based on a
lightweight peer review process of extended abstracts (4 to 10 pages
in length) or full papers (20 pages). The submission must clearly
indicate which category it belongs to: research, position, project,
evaluation, or overview paper. It should also indicate which authors
are research students, and whether the main author(s) are students.  A
draft paper for which ALL authors are students will receive additional
feedback by one of the PC members shortly after the symposium has
taken place.

We use EasyChair for the refereeing process. Papers must be submitted at:

   https://easychair.org/conferences/?conf=tfp2015

Papers must be written in English, and written using the LNCS
style. For more information about formatting please consult the
Springer LNCS web site:

http://www.springer.com/computer/lncs?SGWID=0-164-6-793341-0

== IMPORTANT DATES ==

Submission of draft papers:     March 17, 2015
Notification:                   March 24, 2015
Registration:                   April 7, 2015
TFP Symposium:                  June 3-5, 2015
Student papers feedback:        June 9, 2015
Submission for formal review:   July 1, 2015
Notification of acceptance:     September 8, 2015
Camera ready paper:             October 8, 2015

== PROGRAM COMMITTEE ==

Janis Voigtländer               University of Bonn, DE
Scott Owens                     University of Kent, UK
Neil Sculthorpe                 Swansea University, UK
Colin Runciman                  University of York, UK
Manuel Serrano                  Inria (PC chair), FR
Rinus Plasmeijer                University of Nijmegen, NL
Tomas Petricek                  University of Cambridge, UK
Marco T. Morazan                Seton Hall University, USA
Wolfgang De Meuter              Vrije Universiteit Brussel, BE
Michel Mauny                    Ensta ParisTech, FR
Sam Lindley                     The University of Edinburgh, UK
Daan Leijen                     Microsoft, USA
Jurriaan Hage                   Utrecht University, NL
Andy Gill                       University of Kansas, USA
Thomas Gazagnaire               University of Cambrige, UK
Lars-Ake Fredlund               Universidad Politécnica de Madrid, ES
Jean-Christophe Filliatre       Université Paris Sud Orsay, FR
Marc Feeley                     Université de Montréal, CA
Olaf Chitil                     University of Kent, UK
Edwin Brady                     University of St Andrews, UK

--

-- 
Caml-list mailing list.  Subscription management and archives:
https://sympa.inria.fr/sympa/arc/caml-list
Beginner's list: http://groups.yahoo.com/group/ocaml_beginners
Bug reports: http://caml.inria.fr/bin/caml-bugs

Maxence Guesdon | 19 Dec 14:30 2014
Picon
Picon

Function not polymorphic enough

Hello,

With the following code:

let (fn, extend) =
  let module M = struct
    type t = { mutable f : 'a. ('a -> unit) -> 'a list -> unit }
    let v = 
       { f = fun (type a) -> fun (poly_a : a -> unit) -> fun _ ->
         assert false 
       }
  end in
  let fn = fun f x -> M.v.M.f x in
  let extend g = M.v.M.f <- g M.v.M.f in
  (fn, extend)

I get the following message about " g M.v.M.f":
Error: This field value has type ('b -> unit) -> 'b list -> unit
       which is less general than 'a. ('a -> unit) -> 'a list -> unit

Does anyone know how to make "g M.v.M.f" general enough ?

Regards,

Maxence 

--

-- 
Caml-list mailing list.  Subscription management and archives:
https://sympa.inria.fr/sympa/arc/caml-list
Beginner's list: http://groups.yahoo.com/group/ocaml_beginners
Bug reports: http://caml.inria.fr/bin/caml-bugs

Yliès Falcone | 19 Dec 11:16 2014
Picon
Picon

First CFP: CRV15 - 2nd Competition on Runtime Verification

CRV 2015
The 2nd International Competition on Runtime Verification, 
held with RV 2015, September 22 – 25, 2015 Vienna, Austria


CRV-2015 is the 2nd International Competition on Runtime Verification and is part of the 15th International Conference on Runtime Verification. The event will be held in September 2015, in Vienna, Austria. CRV-2015 will draw attention to the invaluable effort of software developers and researchers who contribute in this field by providing the community with new or updated tools, libraries and frameworks for the instrumentation and runtime verification of software.

Runtime Verification is a verification technique for the analysis of software at execution-time based on extracting information from a running system and checking if the observed behaviors satisfy or violate the properties of interest. During the last decade, many important tools and techniques have been developed and successfully employed. However, there is a pressing need to compare such tools and techniques, since we currently lack a common benchmark suite as well as scientific evaluation methods to validate and test new prototype runtime verification tools. 

The main aims of CRV-2015 are to:

• Stimulate the development of new efficient and practical runtime verification tools and the maintenance and improvement of the already developed ones.
• Produce a benchmark suite for runtime verification tools, by sharing case studies and programs that researchers and developers can use in the future to test and to validate their prototypes.
• Discuss the metrics employed for comparing the tools.
• Provide a comparison of the tools on different benchmarks and evaluate them using different criteria.
• Enhance the visibility of presented tools among the different communities (verification, software engineering, cloud computing and security) involved in software monitoring.

Please direct any enquiries to the competition co-organizers (crv15.chairs <at> imag.fr)

• Yliès Falcone (Université Joseph Fourier, France).
• Dejan Nickovic (AIT Austrian Institute of Technology GmbH, Austria).
• Giles Reger (University of Manchester, UK).
• Daniel Thoma (University of Luebeck, Germany).

CRV-2015 Jury

The CSRV Jury will include a representative for each participating team and the competition chairs. The Jury will be consulted at each stage of the competition to ensure that the rules set by the competition chairs are fair and reasonable.

Call for Participation

The main goal of CRV 2015 is to compare tools for runtime verification. We invite and encourage the participation with benchmarks and tools for the competition.The competition will consist of three main tracks based on the input language used:

• Track on monitoring Java programs (online monitoring).
• Track on monitoring C programs (online monitoring).
• Track on monitoring of traces (offline monitoring).

The competition will follow three phases:

• Benchmarks/Specification collection phase - the participants are invited to submit their benchmarks (C or Java programs and/or traces). The organizers will collect them in a common repository (publicly available). The participants will then train their tools using the shared benchmarks.
• Monitor collection phase - the participants are invited to submit their monitors. The participants with the tools/monitors that meet the qualification requirements will be qualified for the evaluation phase.
• Evaluation phase - the qualified tools will be evaluated on the submitted benchmarks and they will be ranked using different criteria (i.e., memory utilization, CPU utilization, ...). The final results will be presented at the RV 2015 conference.

The detailed description of each phase will be available on the RV 2015 website at http://rv2015.conf.tuwien.ac.at.

 

Expected Important Dates

January 15, 2015: Declaration of intent (email: crv15.chairs <at> imag.fr)
March 1, 2015 Submission deadline for benchmark programs and the properties to be monitored
March 15, 2015 Tool training starts by participants
May 15, 2015 Monitor submission
June 15, 2015 Notifications
At RV 2015 Presentation of results
Jiten Pathy | 19 Dec 06:35 2014
Picon

fold missing in string/bytes

Any rationale, why the stdlib doesn't have fold on string/bytes?

--

-- 
Caml-list mailing list.  Subscription management and archives:
https://sympa.inria.fr/sympa/arc/caml-list
Beginner's list: http://groups.yahoo.com/group/ocaml_beginners
Bug reports: http://caml.inria.fr/bin/caml-bugs

Michael Sperber | 18 Dec 09:20 2014
Picon

BOB conference on Jan 23 in Berlin: Early-bird registration ends Friday, Dec 19!


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

			       BOB 2015
			      Conference

	     "What happens if we simply use what's best?"
			   January 23.2015
				Berlin
		       http://bobkonf.de/2015/
			       Program:
		 http://bobkonf.de/2015/programm.html
			    Registration:
	       http://bobkonf.de/2015/registration.html

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

BOB is the conference for developers, architects and decision-makers
to explore technologies beyond the mainstream in software development,
and to find the best tools available to software developers today.
Our goal is for all participants of BOB to return home with new
insights that enable them to improve their own software development
experiences.

The program features 14 talks and 8 tutorials on current topics:

http://bobkonf.de/2015/programm.html

The subject range of talks includes functional programming,
microservices, package management, and data management.

The tutorials feature introductions to Erlang, Haskell, Swift, and
ClojureScript, and their applications.

Anil Madhavapeddy will hold the keynote talk - about unikernels and
functional programming.

Registration is open online:

http://bobkonf.de/2015/registration.html

NOTE: The early-bird rates expire on Dec. 19, 2014!

BOB cooperates with the :clojured conference on the following day.
There is a registration discount available for participants of both events.

http://www.clojured.de/

--

-- 
Caml-list mailing list.  Subscription management and archives:
https://sympa.inria.fr/sympa/arc/caml-list
Beginner's list: http://groups.yahoo.com/group/ocaml_beginners
Bug reports: http://caml.inria.fr/bin/caml-bugs


Gmane