Skip to main content

Main menu

  • Home
  • Call
    • Call for Papers for Download
  • Submissions
    • Instructions
    • Important Dates
    • Submission Site
  • Committees
    • Conference Chair
    • Steering Committee
    • Program Committee Chairs
    • Program Committee Members
    • Publicity Chairs
    • Conference Secretaries
    • Organizing Committee Members
  • Co-located Events
  • Previous EdItions
    • PSI'17
    • PSI'15
    • PSI'14
    • PSI'11
    • PSI'09
    • PSI'06
    • PSI'03
    • PSI'01
    • PSI'99
  • Sponsors
  • Attending
    • Venue
    • Visa Information
    • Local Info
    • Accommodation
    • Touring
  • Proceedings
  • Pictures
  • Program
    • Keynote Talks
    • Program
    • Accepted Papers
    • Instructions for Poster Preparation
    • Workshops
    • Co-located Conferences
  • Keynote Talks
  • Workshops
    • Workshop on Science Intensive Software (SIS)
    • Workshop on Science Intensive Software (SIS) (in Russian)
    • Program Semantics, Specification and Verification: Theory and Applications
    • Workshop on Educational Informatics
    • Workshop on Educational Informatics (in Russian)
  • Welcome Program
Home

Main menu

  • Home
  • Call
    • Call for Papers for Download
  • Submissions
    • Instructions
    • Important Dates
    • Submission Site
  • Committees
    • Conference Chair
    • Steering Committee
    • Program Committee Chairs
    • Program Committee Members
    • Publicity Chairs
    • Conference Secretaries
    • Organizing Committee Members
  • Co-located Events
  • Previous EdItions
    • PSI'17
    • PSI'15
    • PSI'14
    • PSI'11
    • PSI'09
    • PSI'06
    • PSI'03
    • PSI'01
    • PSI'99
  • Sponsors
  • Attending
    • Venue
    • Visa Information
    • Local Info
    • Accommodation
    • Touring
  • Proceedings
  • Pictures
  • Program
    • Keynote Talks
    • Program
    • Accepted Papers
    • Instructions for Poster Preparation
    • Workshops
    • Co-located Conferences
  • Keynote Talks
  • Workshops
    • Workshop on Science Intensive Software (SIS)
    • Workshop on Science Intensive Software (SIS) (in Russian)
    • Program Semantics, Specification and Verification: Theory and Applications
    • Workshop on Educational Informatics
    • Workshop on Educational Informatics (in Russian)
  • Welcome Program

2019-07-03

Keynote talk:  Prof. Marta Kwiatkowska
Prof. Marta Kwiatkowska
Prof. Marta Kwiatkowska
Denis Kleyko
Denis Kleyko
Hall
Springer Publications
G.Alexeev
T. Baar and T. Mogensen
T. Baar, M. Bulyonkov and T. Mogensen
T. Baar, T. Mogensen and M. Bulyonkov
PSI'12 participants: group photo
PSI'12 participants: group photo

Pictures

  • 2019-07-02
  • 2019-07-03
  • 2019-07-04
  • Speakers
  • Group photo

Organizers

A.P. Ershov Institute of Informatics Systems
Novosibirsk State University
Home

Contacts

Publicity Chairs

  • Natalia Garanina
  • Denis Ponomaryov

Conference Secretaries

  • Irina Adrianova
  • Natalya Cheremnykh

A.P. Ershov Institute of Informatics Systems, Russian Academy of Sciences, Siberian Branch
6, Acad. Lavrentjev pr., Novosibirsk 630090, Russia
tel: +7 383 330 73 52,
fax: +7 383 332 34 94,
psiconf2019@gmail.com


© 2018-2019 IIS SB RAS

Main menu - First column

  • Home
  • Call
    • Call for Papers for Download
  • Submissions
    • Instructions
    • Important Dates
    • Submission Site
  • Committees
    • Conference Chair
    • Steering Committee
    • Program Committee Chairs
    • Program Committee Members
    • Publicity Chairs
    • Conference Secretaries
    • Organizing Committee Members
  • Co-located Events
  • Previous EdItions
    • PSI'17
    • PSI'15
    • PSI'14
    • PSI'11
    • PSI'09
    • PSI'06
    • PSI'03
    • PSI'01
    • PSI'99
  • Sponsors
  • Attending
    • Venue
    • Visa Information
    • Local Info
    • Accommodation
    • Touring
  • Proceedings
  • Pictures
  • Program
    • Keynote Talks
    • Program
    • Accepted Papers
    • Instructions for Poster Preparation
    • Workshops
    • Co-located Conferences
  • Keynote Talks
  • Workshops
    • Workshop on Science Intensive Software (SIS)
    • Workshop on Science Intensive Software (SIS) (in Russian)
    • Program Semantics, Specification and Verification: Theory and Applications
    • Workshop on Educational Informatics
    • Workshop on Educational Informatics (in Russian)
  • Welcome Program

Main menu - Second column

  • Home
  • Call
    • Call for Papers for Download
  • Submissions
    • Instructions
    • Important Dates
    • Submission Site
  • Committees
    • Conference Chair
    • Steering Committee
    • Program Committee Chairs
    • Program Committee Members
    • Publicity Chairs
    • Conference Secretaries
    • Organizing Committee Members
  • Co-located Events
  • Previous EdItions
    • PSI'17
    • PSI'15
    • PSI'14
    • PSI'11
    • PSI'09
    • PSI'06
    • PSI'03
    • PSI'01
    • PSI'99
  • Sponsors
  • Attending
    • Venue
    • Visa Information
    • Local Info
    • Accommodation
    • Touring
  • Proceedings
  • Pictures
  • Program
    • Keynote Talks
    • Program
    • Accepted Papers
    • Instructions for Poster Preparation
    • Workshops
    • Co-located Conferences
  • Keynote Talks
  • Workshops
    • Workshop on Science Intensive Software (SIS)
    • Workshop on Science Intensive Software (SIS) (in Russian)
    • Program Semantics, Specification and Verification: Theory and Applications
    • Workshop on Educational Informatics
    • Workshop on Educational Informatics (in Russian)
  • Welcome Program

Main menu - Third column

  • Home
  • Call
    • Call for Papers for Download
  • Submissions
    • Instructions
    • Important Dates
    • Submission Site
  • Committees
    • Conference Chair
    • Steering Committee
    • Program Committee Chairs
    • Program Committee Members
    • Publicity Chairs
    • Conference Secretaries
    • Organizing Committee Members
  • Co-located Events
  • Previous EdItions
    • PSI'17
    • PSI'15
    • PSI'14
    • PSI'11
    • PSI'09
    • PSI'06
    • PSI'03
    • PSI'01
    • PSI'99
  • Sponsors
  • Attending
    • Venue
    • Visa Information
    • Local Info
    • Accommodation
    • Touring
  • Proceedings
  • Pictures
  • Program
    • Keynote Talks
    • Program
    • Accepted Papers
    • Instructions for Poster Preparation
    • Workshops
    • Co-located Conferences
  • Keynote Talks
  • Workshops
    • Workshop on Science Intensive Software (SIS)
    • Workshop on Science Intensive Software (SIS) (in Russian)
    • Program Semantics, Specification and Verification: Theory and Applications
    • Workshop on Educational Informatics
    • Workshop on Educational Informatics (in Russian)
  • Welcome Program