23rd Edition Conference

International Conference on Foundations of Software Science and Computation Structures

25 - 30 Apr 2020
Royal Marine Hotel, Dublin, Ireland

About Followers 15 Reviews Exhibitors Photos Speakers Travel Deals

International Conference on Foundations of Software Science and Computation Structures seeks original papers on foundational research with a clear significance for software science. The conference invites on theories and methods to support the analysis, integration, synthesis, transformation, and verification of programs and software systems. The conference topics covers are categorical models and logics language theory, automata, and games, modal, spatial, and temporal logics, type theory and proof theory, concurrency theory and process calculi, rewriting theory, the semantics of programming languages, program analysis, correctness, transformation, and verification, logics of programming, software specification and refinement, and etc.


09:00 AM-06:00 PM (expected)
Not Verified

Entry Fees

Check Official Website


100 - 500
Estimated Count

Category & Type

Science & Research
IT & Technology


25 - 30 Apr 2020 23rd Edition

Frequency Not Available

Official Links


Report Error
Claim this event
Different Located Editions
Thessaloniki, Greece 14 - 20 Apr 2018
Uppsala, Sweden 22 - 29 Apr 2017
Eindhoven, Netherlands 02 - 08 Apr 2016
London, UK 11 - 18 Apr 2015


Logo Follow Company

RWTH Aachen University

Germany 66 Total Events / 17 Upcoming Events

User Community [ Users who have shown interest for this Event ]

Hamdi Yaseen

Hamdi Yaseen

Senior Microsoft SharePoint & .Net Developer at Talal Abu-Ghazaleh&Co. International Information Technology and Service

Amman, Jordan
Amin Malik

Amin Malik

Country Manager at Takafulalasr

Jeddah, Saudi Arabia
Salim Ahmed Salim

Salim Ahmed Salim

P.o.boxNT 19190 Accra-North at Seattle Ventures Company

Accra, Ghana
hassan ghaedi

hassan ghaedi

facility at neyshabur university

Neyshabur, Iran
Paul mpho mahooo

Paul mpho mahooo

Trainer at Gudma pty ltd

Kempton Park, South Africa


Executive Director at NEXTGEN LOGISTICS

Kikuyu, Kenya
Mphatso Willie

Mphatso Willie

Customer care service at Information Technology

Johannesburg, South Africa

Write a Review

Add Your Review
53.292286 -6.133668

Venue Map & Directions

map of Royal Marine Hotel

Royal Marine Hotel

Marine Rd, Dun Laoghaire, Dublin

Get Directions

Featured Hotels in Dublin

More Hotels