Maxence Guesdon | 17 Apr 16:38 2015
Picon
Picon

[ANN] OCaml-openmaple

Hello,

I started OCaml-openmaple, bindings to the Openmaple C library:
  https://github.com/zoggy/ocaml-openmaple

This is still work in progress but you can give it a try.
It uses the excellent OCaml-ctypes library.

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

caml-list-request | 15 Apr 10:46 2015
Picon
Picon

Reminder of your subscription to caml-list

Your are subscriber of list caml-list <at> inria.fr with  email gclci-caml-
list <at> gmane.org

Everything about this list: http://sympa.inria.fr/sympa/info/caml-list

Unsubscription:
mailto:sympa_inria <at> inria.fr?subject=sig%20caml-list%20gclci-caml-list%40gmane.org

Malcolm Matalka | 14 Apr 12:51 2015
Picon

Suggested way to determine platform specific capabilities in build system?

Hello,

What is the current suggested way to determine what, roughly, autoconf
would do for you?  I have some platform specific functionality to be
included (or excluded) depending on the OS.

Thanks,
/Malcolm

--

-- 
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

Jordan W | 14 Apr 06:48 2015
Picon

Module aliases break debugging with ocamldebug

Module aliases are the encouraged way of grouping modules together. They have worked fine up until the point where I tried to use ocamldebug with them.

Module aliases allow development in the large, by permitting namespacing. I couldn't imagine building anything but a toy project with a few engineers with the restriction that no two files have the same basename! Module aliases to the rescue (thanks to Leo White for the suggestion). But, it seems that module aliases with namespacing make ocamldebug completely unusable. Here's a minimal repro case below. There are two simple namespaces each with a submodules in files named "test.ml". I am using module aliases to namespace them so that there are no collisions. Again, this works fine with everything except the debugger.

I hope I'm just doing something incorrect - if that is the case, I thank you in advance for your patience.

    # Compile project using module aliases

    mkdir ~/Desktop/testOne/
    mkdir ~/Desktop/testTwo/
    echo "let x () = print_string \"hello from test one\"" > ~/Desktop/testOne/test.ml
    echo "let x () = print_string \"hello from test two\"" > ~/Desktop/testTwo/test.ml
    echo "module Test = NamespaceOne_test" > ~/Desktop/testOne/namespaceOne.ml
    echo "module Test = NamespaceOne_test" > ~/Desktop/testOne/namespaceOne.mli
    echo "module Test = NamespaceTwo_test" > ~/Desktop/testTwo/namespaceTwo.ml
    echo "module Test = NamespaceTwo_test" > ~/Desktop/testTwo/namespaceTwo.mli
    echo 'NamespaceOne.Test.x (); NamespaceTwo.Test.x ()' > ~/Desktop/prog.ml

    # Generate namespaced module aliases
    ocamlc -g -c -no-alias-deps -w -49 -I ~/Desktop/testOne/ -o ~/Desktop/testOne/namespaceOne -intf ~/Desktop/testOne/namespaceOne.mli -o ~/Desktop/testOne/namespaceOne -impl ~/Desktop/testOne/namespaceOne.ml
    ocamlc -g -c -no-alias-deps -w -49 -I ~/Desktop/testTwo/ -o ~/Desktop/testTwo/namespaceTwo -intf ~/Desktop/testTwo/namespaceTwo.mli -o ~/Desktop/testTwo/namespaceTwo -impl ~/Desktop/testTwo/namespaceTwo.ml

    ocamlc -g -c -I ~/Desktop/testOne/ -open NamespaceOne -o ~/Desktop/testOne/namespaceOne_test -impl ~/Desktop/testOne/test.ml
    ocamlc -g -c -I ~/Desktop/testTwo/ -open NamespaceTwo -o ~/Desktop/testTwo/namespaceTwo_test -impl ~/Desktop/testTwo/test.ml
    ocamlc -g -c -I ~/Desktop -I ~/Desktop/testOne/ -I ~/Desktop/testTwo/ -o ~/Desktop/prog.cmo -impl ~/Desktop/prog.ml

    ocamlc -g -I ~/Desktop/testTwo/ -I ~/Desktop/testOne/ ~/Desktop/testOne/namespaceOne.cmo ~/Desktop/testTwo/namespaceTwo.cmo ~/Desktop/testOne/namespaceOne_test.cmo ~/Desktop/testTwo/namespaceTwo_test.cmo ~/Desktop/prog.cmo -o ~/Desktop/prog.out


    # Start ocamldebug

    ocamldebug ~/Desktop/prog.out

    # Run these commands inside of ocamldebug

    directory ~/Desktop/
    directory ~/Desktop/testOne/
    directory ~/Desktop/testTwo/

    # This doesn't work but that makes sense - there aren't any modules named
    # "Test", there's one named NamespaceOne_test and one named
    # NamespaceTwo_test.

    break <at> Test 1

    # But - neither of the namespaced modules work either!
    # -----------------------------------------------------------------------

    break <at> NamespaceOne_test 1
    break <at> NamespaceTwo_test 1




Here is proof that ocamldebug works correctly without namespacing/module aliases:


# Working project without module aliases:

    mkdir ~/Desktop/testOne/
    mkdir ~/Desktop/testTwo/
    echo "let x () = print_string \"hello from test one\"" > ~/Desktop/testOne/testOneNamespaceNotNeeded.ml
    echo "let x () = print_string \"hello from test two\"" > ~/Desktop/testTwo/testTwoNamespaceNotNeeded.ml
    echo 'TestOneNamespaceNotNeeded.x (); TestTwoNamespaceNotNeeded.x ()' > ~/Desktop/prog.ml

    ocamlc -g -c -I ~/Desktop/testOne/ -o ~/Desktop/testOne/testOneNamespaceNotNeeded -impl ~/Desktop/testOne/testOneNamespaceNotNeeded.ml
    ocamlc -g -c -I ~/Desktop/testTwo/ -o ~/Desktop/testTwo/testTwoNamespaceNotNeeded -impl ~/Desktop/testTwo/testTwoNamespaceNotNeeded.ml
    ocamlc -g -c -I ~/Desktop -I ~/Desktop/testOne/ -I ~/Desktop/testTwo/ -o ~/Desktop/prog.cmo -impl ~/Desktop/prog.ml

    ocamlc -g -I ~/Desktop/testTwo/ -I ~/Desktop/testOne/  ~/Desktop/testOne/testOneNamespaceNotNeeded.cmo ~/Desktop/testTwo/testTwoNamespaceNotNeeded.cmo ~/Desktop/prog.cmo -o ~/Desktop/prog.out

    ocamldebug ~/Desktop/prog.out

    # Run these commands inside of ocamldebug. Working correctly.
    directory ~/Desktop/
    directory ~/Desktop/testOne/
    directory ~/Desktop/testTwo/
    break <at> TestOneNamespaceNotNeeded 1

Jeremy Yallop | 14 Apr 01:15 2015
Picon

Second CFP: ML 2015

[Second call for papers.  News: invited talk by David MacQueen]

Higher-order, Typed, Inferred, Strict: ACM SIGPLAN ML Family Workshop
Thursday September 3, 2015, Vancouver, Canada
(immediately following ICFP and preceding OCaml Users and Developers Workshop)

Call for papers: http://www.mlworkshop.org/ml2015/

ML is a very large family of programming languages that includes Standard
ML, OCaml, F#, SML#, Manticore, MetaOCaml, JoCaml, Alice ML, Dependent ML,
Flow Caml, and many others. All ML languages share several fundamental
traits, besides a good deal of syntax. They are higher-order, strict, mostly
pure, and typed, with algebraic and other data types. Their type systems are
derived from Hindley-Milner. The development of these languages has inspired
a significant body of computer science research and influenced the design of
many other programming languages, including Haskell, Scala and Clojure,
Rust, ATS and many others.

ML workshops have been held in affiliation with ICFP continuously since
2005. This workshop specifically aims to recognise the entire extended ML
family and to provide a forum for presenting and discussing common issues,
both practical (compilation techniques, implementations of concurrency and
parallelism, programming for the Web) and theoretical (fancy types, module
systems, metaprogramming). The scope of the workshop includes all aspects of
the design, semantics, theory, application, implementation, and teaching of
the members of the ML family. We also encourage presentations from related
languages (such as Scala, Rust, Nemerle, ATS, etc.), to exchange experience
of further developing ML ideas.

The ML family workshop will be held in close coordination with the OCaml
Users and Developers Workshop.

Scope
-----

We acknowledge the whole breadth of the ML family and aim to include
languages that are closely related (although not by blood), such as Rust,
ATS, Scala, and Typed Clojure. Those languages have implemented and
investigated run-time and type system choices that may be worth considering
for OCaml, F# and other ML languages. We also hope that the exposure to the
state of the art ML might favourably influence those related
languages. Specifically, we seek research presentations on topics including
(but not limited to)

  * Language design: abstraction, higher forms of polymorphism, concurrency,
    distribution and mobility, staging, extensions for semi-structured data,
    generic programming, object systems, etc.

  * Implementation: compilers, interpreters, type checkers, partial
    evaluators, runtime systems, garbage collectors, foreign function
    interfaces, etc.

  * Type systems: inference, effects, modules, contracts, specifications and
    assertions, dynamic typing, error reporting, etc.

  * Applications: case studies, experience reports, pearls, etc.

  * Environments: libraries, tools, editors, debuggers, cross-language
    interoperability, functional data structures, etc.

  * Semantics: operational and denotational semantics, program equivalence,
    parametricity, mechanization, etc.

Four kinds of submissions will be accepted: Research Presentations,
Experience Reports, Demos and Informed Positions.

  * Research Presentations: Research presentations should describe new
    ideas, experimental results, or significant advances in ML-related
    projects. We especially encourage presentations that describe work in
    progress, that outline a future research agenda, or that encourage
    lively discussion. These presentations should be structured in a way
    which can be, at least in part, of interest to (advanced) users.

  * Experience Reports: Users are invited to submit Experience Reports about
    their use of ML and related languages. These presentations do not need
    to contain original research but they should tell an interesting story
    to researchers or other advanced users, such as an innovative or
    unexpected use of advanced features or a description of the challenges
    they are facing or attempting to solve.

  * Demos: Live demonstrations or short tutorials should show new
    developments, interesting prototypes, or work in progress, in the form
    of tools, libraries, or applications built on or related to ML and
    related languages. (You will need to provide all the hardware and
    software required for your demo; the workshop organisers are only able
    to provide a projector.)

  * Informed Positions: A justified argument for or against a language
    feature. The argument must be substantiated, either theoretically
    (e.g. by a demonstration of (un)soundness, an inference algorithm, a
    complexity analysis), empirically or by substantial experience. Personal
    experience is accepted as justification so long as it is extensive and
    illustrated with concrete examples.

Format
------

The ML 2015 workshop will continue the informal approach used since
2010. Presentations are selected from submitted abstracts. There are no
published proceedings, so contributions may be submitted for publication
elsewhere. We hope that this format will encourage the presentation of
exciting (if unpolished) research and deliver a lively workshop atmosphere.

Each presentation should take 20-25 minutes, except demos, which should take
10-15 minutes. The exact time will be decided based on the number of
accepted submissions. The presentations will likely be recorded.

Post-proceedings
----------------

ML 2015 is an informal workshop without proceedings. We are planning to
publish a post-proceedings and to invite interested authors of selected
presentations to expand their abstracts for inclusion.

Coordination with the OCaml Users and Developers Workshop
---------------------------------------------------------

The OCaml workshop is seen as more practical and is dedicated in significant
part to OCaml community building and the development of the OCaml system. In
contrast, the ML family workshop is not focused on any language in
particular, is more research-oriented, and deals with general issues of
ML-style programming and type systems. Yet there is an overlap, which we are
keen to explore in various ways. The authors who feel their submission fits
both workshops are encouraged to mention it at submission time or contact
the Programme Chairs.

Submission details
------------------

Submissions should be at most two pages, in PDF format, and printable on US
Letter or A4 sized paper. A submission should have a synopsis (2-3 lines)
and a body between 1 and 2 pages, in one- or two-column layout. The synopsis
should be suitable for inclusion in the workshop programme.

Submissions must be uploaded to the workshop submission website before the
submission deadline (Monday 18th May, 2015). If you have a question
concerning the scope of the workshop or the submission process, please
contact the programme chair.

Important dates
---------------

Monday 18th May (any time zone)   Abstract submission deadline
Monday 29th June                  Author notification
Thursday 3rd September 2015  ML Family Workshop

Invited speaker
---------------

We are happy to announce the invited speaker for ML 2015:

David MacQueen (Professor Emeritus, University of Chicago)

Programme committee
-------------------

Damien Doligez (Inria Paris-Rocquencourt, France)
Suresh Jagannathan (Purdue University, USA)
Patricia Johann (Appalachian State University, USA)
Sam Lindley (University of Edinburgh, UK)
Moe Masuko (Ochanomizu University, Japan)
Adriaan Moors (Typesafe, USA)
Scott Owens (University of Kent, UK)
Jonathan Protzenko (Microsoft Research, USA)
Martin Sulzmann (Karlsruhe University of Applied Sciences, Germany)
Jeremy Yallop (University of Cambridge, UK) (PC chair)

--

-- 
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

Ulrich Schöpp | 13 Apr 18:26 2015
Picon

LOLA 2015: Second Call for Talk Proposals


 SECOND CALL FOR TALK PROPOSALS
______________________________________________________________________

 LOLA 2015: Syntax and Semantics of Low Level Languages

 Sunday, 5 July 2015, Kyoto, Japan
 A satellite workshop of ICALP/LICS
 http://lola15.tcs.ifi.lmu.de
______________________________________________________________________

/Important Dates/

Abstract submission: Monday, 20 April 2015
Author notification: Friday, 1 May 2015
LOLA 2015 workshop: Sunday, 5 July 2015

/Invited Speakers/

Katsuhiro Ueno, Tohoku University, Japan
Other invited speakers to be announced.

/Workshop Description/

It has been understood since the late 1960s that tools and structures
arising in mathematical logic and proof theory can usefully be applied
to the design of high level programming languages, and to the
development of reasoning principles for such languages. Yet low level
languages, such as machine code, and the compilation of high level
languages into a low level ones have traditionally been seen as having
little or no essential connection to logic.

However, a fundamental discovery of this past decade has been that low
level languages are also governed by logical principles. From this key
observation has emerged an active and fascinating new research area at
the frontier of logic and computer science. The practically-motivated
design of logics reflecting the structure of low level languages (such
as heaps, registers and code pointers) and low level properties of
programs (such as resource usage) goes hand in hand with some of the
most advanced contemporary research in semantics and proof theory,
including classical realizability and forcing, double orthogonality,
parametricity, linear logic, game semantics, uniformity, categorical
semantics, explicit substitutions, abstract machines, implicit
complexity and resource bounded programming.

The LOLA workshop, affiliated with LICS 2015, will bring together
researchers interested in many aspects of the relationship between
logic and low level languages and programs. Topics of interest
include, but are not limited to:

- Typed assembly languages
- Certified assembly programming
- Certified and certifying compilation
- Relaxed memory models
- Proof-carrying code
- Program optimization
- Modal logic and realizability in machine code
- Realizability and double orthogonality in assembly code
- Parametricity, modules and existential types
- General references, Kripke models and recursive types
- Continuations and concurrency
- Implicit complexity, sublinear programming and Turing machines
- Closures and explicit substitutions
- Linear logic and separation logic
- Game semantics, abstract machines and hardware synthesis
- Monoidal and premonoidal categories, traces and effects

/Submission Information/

LOLA is an informal workshop aiming at a high degree of useful
interaction amongst the participants, welcoming proposals for talks on
work in progress, overviews of larger programmes, position
presentations and short tutorials as well as more traditional research
talks describing new results.

The program committee will select the workshop presentations from
submitted talk proposals, which may take the form either of a
*two page abstract* or of a longer (published or unpublished) paper
describing completed work.

Abstracts can be submitted using EasyChair at
https://www.easychair.org/conferences/?conf=lola2015

/Program Committee/

Ichiro Hasuo (University of Tokyo)
Chung-Kil Hur (Seoul National University)
Shin-ya Katsumata (RIMS, Kyoto University, co-chair)
Damiano Mazza (CNRS, LIPN--University Paris 13)
Magnus Myreen (University of Cambridge)
Ulrich Schoepp (LMU Munich, co-chair)
Nikhil Swamy (Microsoft Research, Redmond)
Nicolas Tabareau (CNRS, INRIA)
Noam Zeilberger (Microsoft Research--INRIA)

Étienne André | 13 Apr 13:37 2015
Picon

ICECCS 2015: 1st call for papers

[We apologize for multiple copies.]

============================================================
                       Call for Papers                    
                         ICECCS 2015                      

    (The 20th International Conference on Engineering of
                  Complex Computer Systems)

                     December 9-12, 2015                   

                    Gold Coast, Australia                 

               http://iceccs2015.monash.edu.au            
============================================================

IMPORTANT DATES
---------------------------
* Abstract submission:                   June 7th, 2015
* Paper submission deadline:             June 21st, 2015
* Notification of acceptance:            September 6th, 2015
* Camera-ready material for publication: September 20th, 2015
* Checking for Production:               September 30th, 2015

* Workshop proposal submission:          July 5th, 2015

* Conference date:                       December 9th-12th, 2015

 
The twentieth International Conference on Engineering of Complex
Computer Systems (ICECCS 2015) will be held in the Gold Coast,
Australia, 9-12 December, 2015.

Complex computer systems are present in every aspect of human
activities, ranging from construction, communications, defense, finance,
health care, manufacturing and transportation. Complexity arises from
many factors, including the dynamic environments and scenarios these
systems operate in; demanding and sometimes conflicting requirements in
functionality, efficiency, scalability, security, dependability and
adaptability; as well as the large variation in development methodology,
programming languages and implementation details.

This twentieth edition of the ICECCS conference series aims to bring
together industrial, academic, and government experts, from a variety of
application domains and software disciplines, to discuss how the
disciplines' problems and solution techniques interact within the whole
system. Researchers, practitioners, tool developers and users, and
technology transfer experts are all welcome. The scope of interest
includes long-term research issues; near-term requirements and
challenges; established complex systems; emerging promising tools; and
retrospective and prospective reflections of research and development
into complex systems.

 
KEYNOTE SPEAKERS
---------------------------
* Colin Fidge Queensland University of Technology, Australia
* Mounir Mokhtari, CNRS & Institut Mines-Telecom, France
* Jun Sun, Singapore University of Technology and Design, Singapore

SCOPE AND TOPICS
---------------------------
Authors are invited to submit papers describing original, unpublished
research results, case studies and tools. Papers are solicited in all
areas related to complex computer-based systems, including causes of
complexity and means of measuring, avoiding, controlling, or coping with
complexity. Topic areas include, but are not limited to:

* Requirement specification and analysis
* Verification and validation
* Security and privacy of complex systems
* Model-driven development
* Reverse engineering and refactoring
* Software architecture
* Big data management
* Ambient intelligence, pervasive computing
* Ubiquitous computing, context awareness, sensor networks
* Design by contract
* Agile methods
* Safety-critical & fault-tolerant architectures
* Adaptive, self-managing and multi-agent systems
* Real-time, hybrid and embedded systems
* Systems of systems
* Cyber-physical systems and Internet of Things (IoT)
* Tools and tool integration
* Past reflections and future outlooks
* Industrial case studies

 
SUBMISSION
---------------------------
Different types of contributions are sought, including novel research,
lessons learned, experience reports, and discussions of practical
problems faced by industry and user domains. The ultimate goal of the
conference is to build a rich and comprehensive conference program that
can fit the interests and needs of its attendees: practitioners,
researchers, managers, and students. A program goal is to organize
several sessions that include both academic and industrial papers on a
given topic and culminate panels to discuss relationships between
industrial and academic research.

FULL PAPERS

Full papers are divided into two categories:
* Technical Papers and
* Experience Reports.
The papers submitted to both categories will be reviewed by program
committee members, and papers accepted in either category will be
published in the conference proceedings. Technical papers should
describe original research. Experience reports should describe practical
projects carried out in industry, and reflect on the lessons learned
from them.

SHORT PAPERS

Short paper submissions should specify in their abstract whether they
describe ongoing or PhD research. Both types of short papers will be
reviewed by program committee members, and accepted short papers will be
published in the conference proceedings.

 
PAPER SUBMISSION

Submitted manuscripts should be in English and formatted in the style of
the Conference Publishing Services (CPS) Proceedings Format. Papers
should not exceed 10 pages for full papers and 4 pages for short papers,
including figures, references, and appendices. All submissions should be
in PDF format. Submissions not adhering to the specified format and
length may be rejected immediately, without review.

Detailed instructions on paper formatting and submission can be found on
the Submission page.

All submissions should be made through the Easychair Website:
https://easychair.org/conferences/?conf=iceccs20150.

 
ORGANIZING COMMITTEES
---------------------------
General Chair
* Yang Liu, Nanyang Technological University, Singapore

Program Committee Chair
* Yuan Fang Li, Monash University, Australia

Registration Chair
* Yan Liu, National University of Singapore, Singapore

Publicity Chair
* Etienne Andre, Universite Paris 13, Sorbonne Paris Cite, France

Steering Committee
* Jin Song Dong, National University of Singapore, Singapore
* Mike Hinchey, University of Limerick, Ireland
* Xiaohong Li, Tianjin University, China
* Shaoying Liu, Hosei University, Japan
* Jing Sun, University of Auckland, New Zealand

PROGRAMME COMMITTEE
---------------------------
To be confirmed.

--

-- 
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

david.delahaye | 12 Apr 18:51 2015
Picon
Picon

Extended Deadline (April 27, 2015): SETS 2015

** Extended Deadline: April 27, 2015 **

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

			  CALL FOR PAPERS -- SETS 2015

********************************************************************************
	  2nd International Workshop about Sets and Tools (SETS 2015)
			  June 23, 2015, Oslo, Norway
			     Affiliated to FM 2015
			    http://sets2015.cnam.fr/
********************************************************************************

AIM

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
setlog).

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

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

CONTRIBUTIONS AND PROCEEDINGS

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
(CEUR-WS.org).

PAPER SUBMISSION

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

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

IMPORTANT DATES

Abstract submission: April 20, 2015 (extended)
Submission deadline: April 27, 2015 (extended)
Paper notification:  May 7, 2015
Revised/final paper: May 22, 2015
Workshop:            June 23, 2015

PROGRAMME CO-CHAIRS

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

PROGRAMME COMMITTEE

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)
Louis Mussat (RATP, 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:
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

GRLMC | 11 Apr 17:02 2015

SLSP 2015: 1st call for papers

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

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

3rd INTERNATIONAL CONFERENCE ON STATISTICAL LANGUAGE AND SPEECH PROCESSING

SLSP 2015

Budapest, Hungary

November 24-26, 2015

Organised by:

Laboratory of Speech Acoustics
Department of Telecommunications and Telematics
Budapest University of Technology and Economics
http://alpha.tmit.bme.hu/speech/

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

http://grammars.grlmc.com/SLSP2015/

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

AIMS:

SLSP is a yearly conference series aimed at promoting and displaying excellent research on the wide
spectrum of statistical methods that are currently in use in computational language or speech
processing. It aims at attracting contributions from both fields. Though there exist large, well-known
conferences and workshops hosting contributions to any of these areas, SLSP is a more focused meeting
where synergies between subdomains and people will hopefully happen. In SLSP 2015, significant room
will be reserved to young scholars at the beginning of their career and particular focus will be put on methodology.

VENUE:

SLSP 2015 will take place in Budapest, on the banks of the Danube and an extensive UNESCO World Heritage
site. The venue will be the Faculty of Electrical Engineering and Informatics of the Budapest University
of Technology and Economics.

SCOPE:

The conference invites submissions discussing the employment of statistical models (including machine
learning) within language and speech processing. Topics of either theoretical or applied interest
include, but are not limited to:

anaphora and coreference resolution
authorship identification, plagiarism and spam filtering
computer-aided translation
corpora and language resources
data mining and semantic web
information extraction
information retrieval
knowledge representation and ontologies
lexicons and dictionaries
machine translation
multimodal technologies
natural language understanding
opinion mining and sentiment analysis
parsing
part-of-speech tagging
question-answering systems
semantic role labelling
speaker identification and verification
speech and language generation
speech recognition
speech synthesis
speech transcription
spelling correction
spoken dialogue systems
term extraction
text categorisation
text summarisation
user modeling

STRUCTURE:

SLSP 2015 will consist of:

invited talks
invited tutorials
peer‐reviewed contributions

INVITED SPEAKERS:

to be announced

PROGRAMME COMMITTEE:

Steven Abney (University of Michigan, Ann Arbor, USA)
Jean-François Bonastre (University of Avignon, France)
Nicoletta Calzolari (National Research Council, Pisa, Italy)
Kevin Bretonnel Cohen (University of Colorado, Denver, USA)
W. Bruce Croft (University of Massachusetts, Amherst, USA)
Udo Hahn (University of Jena, Germany)
Mark Hasegawa-Johnson (University of Illinois, Urbana, USA)
Jing Jiang (Singapore Management University, Singapore)
Tracy Holloway King (A9.com, Palo Alto, USA)
Claudia Leacock (McGraw-Hill Education CTB, Monterey, USA)
Mark Liberman (University of Pennsylvania, Philadelphia, USA)
Carlos Martín‐Vide (Rovira i Virgili University, Tarragona, Spain, chair)
Alessandro Moschitti (University of Trento, Italy)
Jian-Yun Nie (University of Montréal, Canada)
Maria Teresa Pazienza (University of Rome Tor Vergata, Italy)
Adam Pease (IPsoft Inc., New York, USA)
Bhiksha Raj (Carnegie Mellon University, Pittsburgh, USA)
Javier Ramírez (University of Granada, Spain)
Dietrich Rebholz-Schuhmann (University of Zurich, Switzerland)
Douglas A. Reynolds (Massachusetts Institute of Technology, Lexington, USA)
Michael Riley (Google Inc., Mountain View, USA)
Stefan Schulz (Medical University of Graz, Austria)
Tomoki Toda (Nara Institute of Science and Technology, Japan)
Klára Vicsi (Budapest University of Technology and Economics, Hungary)
Enrique Vidal (Technical University of Valencia, Spain)
Junichi Yamagishi (University of Edinburgh, UK)
Pierre Zweigenbaum (LIMSI-CNRS, Orsay, France)

ORGANISING COMMITTEE:

Adrian Horia Dediu (Tarragona)
Carlos Martín‐Vide (Tarragona, co-chair)
György Szaszák (Budapest)
Klára Vicsi (Budapest, co-chair)
Florentina Lilica Voicu (Tarragona)

SUBMISSIONS:

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

Submissions have to be uploaded to:

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

PUBLICATIONS:

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

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

REGISTRATION:

The registration form can be found at:

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

DEADLINES:

Paper submission: June 23, 2015 (23:59 CET)
Notification of paper acceptance or rejection: July 28, 2015
Final version of the paper for the LNCS/LNAI proceedings: August 11, 2015
Early registration: August 11, 2015
Late registration: November 10, 2015
Submission to the journal special issue: February 26, 2016

QUESTIONS AND FURTHER INFORMATION:

florentinalilica.voicu <at> urv.cat

POSTAL ADDRESS:

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

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

ACKNOWLEDGEMENTS:

Budapesti Műszaki és Gazdaságtudományi Egyetem
Universitat Rovira i Virgili

---
Este mensaje no contiene virus ni malware porque la protección de avast! Antivirus está activa.
http://www.avast.com

--

-- 
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
Shayne Fletcher | 11 Apr 02:55 2015
Picon

I'd like to keep in touch with you.

Shayne Fletcher | 11 Apr 02:54 2015
Picon

Take a look to this app.


Gmane