[Caml-list] DL 2017 - Call for Participation

[Caml-list] DL 2017 - Call for Participation

[geoff]

[-- Warning: decoded text below may be mangled, UTF-8 assumed --]
[-- Attachment #1: Type: text/plain, Size: 2586 bytes --]

-------------------------------------------------------------------------------
                              CALL FOR PARTICIPATION 
            30th International Workshop on Description Logics, DL 2017
                       18 - 21 July 2017 - Montpellier, France
                              http://dl.kr.org/dl2017/
-------------------------------------------------------------------------------

The DL workshop is the major annual event of the description logic research 
community. It is the forum at which those interested in description logics, 
both from academia and industry, meet to discuss ideas, share information and 
compare experiences. The workshop will be held in Montpellier, France from 
18 to 21 July 2017.

** Registration is now open **
==============================
Registration website: http://dl.kr.org/dl2017/registration/


Invited Talks
=============
* Markus Krötzsch, Technical University of Dresden: Ontologies for Knowledge 
  Graphs? 
* Andreas Pieris, University of Edinburgh: Query Rewriting under Existential 
  Rules
* Uli Sattler, University of Manchester: From Reasoning Problems to 
  Non-standard Reasoning Problems and One Step Further


Programme Details
=================
* 30 long presentations, 14 short presentations and 18 posters
* The complete list of accepted papers is available at 
      http://dl.kr.org/dl2017/accepted-papers/ 


Student Grants
==============
A limited number of student grants will be available for participation in 
DL 2017. Each grant will cover the student registration fee and may 
additionally include a contribution towards travel costs. For details please 
check https://project.inria.fr/dl2017/students/


Accommodation
=============
There are many tourists visiting Montpellier in July, so please make sure to 
book your accommodation well in advance to ensure the best choice of options. 
Even if you are not sure to attend the workshop, you may nonetheless want to 
book a room in a hotel offering free cancellation.


Organisation
============
* Alessandro Artale, Free University of Bozen-Bolzano (Programme co-Chair)
* Birte Glimm, University of Ulm (Programme co-Chair)
* Roman Kontchakov, Birkbeck, University of London (Programme co-Chair)
* Meghyn Bienvenu, University of Montpellier (Workshop co-Chair)
* Marie-Laure Mugnier, University of Montpellier (Workshop co-Chair)


Resources
=========
* Information about registration, travel information, etc., is available on 
  the DL 2017 homepage: http://dl.kr.org/dl2017/
* The official description logic homepage is at http://dl.kr.org/

[Caml-list] Error When Linking Against SDSL C++ Library

[Reuben Rowe]

Hi,

I am trying to link some OCaml code against the SDSL C++ library, but I 
am getting a strange error.

It seems that a reference in being generated to the caml_flush() 
function, but in the standard namespace (index_interface.o is my wrapper 
to expose the library to my OCaml code):

../index_interface.o: In function `sdsl::int_vector_buffer<(unsigned 
char)8>::write_block()':
/usr/local/include/sdsl/int_vector_buffer.hpp:89: undefined reference to 
`std::ostream::caml_flush()'
../index_interface.o: In function `sdsl::int_vector_buffer<(unsigned 
char)0>::write_block()':
/usr/local/include/sdsl/int_vector_buffer.hpp:89: undefined reference to 
`std::ostream::caml_flush()'
collect2: error: ld returned 1 exit status

I am guessing this is not where it should be looking for caml_flush!?

The SDSL int_vector_buffer class on the line in question is just calling 
the flush() method on an object with a type that inherits from std::ostream.

Does anyone have an idea of why this might be happening?

Thanks,

Reuben

Re: [Caml-list] Error When Linking Against SDSL C++ Library

[Reuben Rowe]

Hi,

I have solved this now - I did not include the CAML header files as 
extern "C".

Thanks,

Reuben


On 10/07/17 17:02, Reuben Rowe wrote:
> Hi,
>
> I am trying to link some OCaml code against the SDSL C++ library, but 
> I am getting a strange error.
>
> It seems that a reference in being generated to the caml_flush() 
> function, but in the standard namespace (index_interface.o is my 
> wrapper to expose the library to my OCaml code):
>
> ../index_interface.o: In function `sdsl::int_vector_buffer<(unsigned 
> char)8>::write_block()':
> /usr/local/include/sdsl/int_vector_buffer.hpp:89: undefined reference 
> to `std::ostream::caml_flush()'
> ../index_interface.o: In function `sdsl::int_vector_buffer<(unsigned 
> char)0>::write_block()':
> /usr/local/include/sdsl/int_vector_buffer.hpp:89: undefined reference 
> to `std::ostream::caml_flush()'
> collect2: error: ld returned 1 exit status
>
> I am guessing this is not where it should be looking for caml_flush!?
>
> The SDSL int_vector_buffer class on the line in question is just 
> calling the flush() method on an object with a type that inherits from 
> std::ostream.
>
> Does anyone have an idea of why this might be happening?
>
> Thanks,
>
> Reuben
>