Formal Methods Europe

Homepage of FME

Conference report PSI 2014 St. Petersburg

By evink • Sep 19th, 2014 • Category: Sponsored by FME

By Irina Virbitskaite (July 2014).

PSI 2014, the Ershov Informatics Conference, was held in St. Petersburg, Russia, from June 24 to 27, 2014. The conference is the premier international forum in Russia for research and its applications in computer, software and information sciences. The event brings together academic and industrial researchers, developers and users to present and discuss the most recent innovations, trends, experiences and concerns in the conference area. In doing so, the forum provides a venue for building up research collaborations between the rapidly growing Russian informatics community and its international counterparts. Also, the conference welcomes both young researchers looking for international cooperation in computer science and established scientists willing to attract new colleagues to their research.

Altogether, the conference (including the workshops) had more than 150 participants. The main topics of the conference were theoretical computer science, programming methodology, technologies for program systems design, and new information technologies. The conference program included five keynote talks in addition to 16 high-quality regular, 11 short, and 2 system and experimental presentations (selected by the PC from among 80 papers submitted to the conference by researchers from 29 countries).The post-conference proceedings will be published by Springer Verlag in the Lecture Notes in Computer Science series.

In the FME invited talk “Languages and types for linked data”, professor Vladimiro Sassone (University of Southampton, UK) presented a language-based model which captures concurrent queries and updates over linked data that aims to describe ubiquitous and semi-structured data formats on the Web. This allows diverse data sources to link to each other, forming a loosely structured Web of Data.

The conference took place in the New Peterhof Hotel and at the university campus of the Department of Mathematics and Mechanics, Saint Petersburg State University. The cultural program included a city bus tour and an excursion to the State Hermitage. The conference dinner held on shipboard on the last day was greatly appreciated by all the participants.

The conference organizers acknowledge support from industry, funding agencies as well as academic organizations such as FME.

evink is
Email this author | All posts by evink

Comments are closed.