Vienna - 2014 - ICLP - CICLOPS - Main

Download and install the academic version of
Actor Prolog

Old website of the project

Official website of Laboratory of Biomedical Informatics

Official website of Kotelnikov IRE RAS

Dear colleagues!

Welcome to our photo report on the Vienna Summer of Logic (VSL, 9th-24th July, 2014, Vienna). For the most part, this photo report covers the International Joint Workshop on Implementation of Constraint and Logic Programming Systems and Logic-based Methods in Programming Environments 2014 (CICLOPS-WLPE 2014, July 17-18, 2014, Vienna, Austria). The workshop was held in conjunction with the 30th International Conference on Logic Programming (ICLP 2014, July 19-22, Vienna, Austria). The dinners of CICLOPS-WLPE 2014 were joint with WST 2014 and CHR 2014. We have also visited the Summer School on Computational Logic 2014, the FLoC Olympic Games 2014, KR 2014, and other activities of the Vienna Summer of Logic.

The proceedings of CICLOPS-WLPE 2014 have been published as technical report AIB-2014-09 at RWTH Aachen University. You can access these proceedings at

We apologize for that several photos have no captions still. Please help us to identify all persons in the photos! Send us E-Mail if you know the name of somebody in a photo who is not identified still and we will update the photo report immediately.

picture The first day (17.07.2014)
The first day (17.07.2014).
picture Dinner (17.07.2014)
Dinner (17.07.2014).
picture The second day (18.07.2014)
The second day (18.07.2014).
picture Alexei Morozov's report (18.07.2014)
Alexei Morozov's report (18.07.2014).
picture Dinner (18.07.2014)
Dinner (18.07.2014).
picture The next days (19-23 July 2014)
The next days (19-23 July 2014).
picture Vienna sightseeing (16-23 July 2014)
Vienna sightseeing (16-23 July 2014).
picture Bratislava sightseeing (16-23 July 2014)
Bratislava sightseeing (16-23 July 2014).

Photo- and video-reports of conferences are here!

11 December 2017
SITIS-2017, Jaipur picture

29 April 2017
ITNT-2017, Samara picture

1 November 2016
MICAI-2016, Cancun picture

15 October 2016
IDP-2016, Barcelona picture

9 July 2016
RGC-2016, Suzdal picture

28 February 2016
BSB-2016, Allahabad picture

7 August 2015
RuleML-2015, Berlin picture

23 February 2020
Videolanding of the website

Previous news

Flag Counter