Theory

Swansea, Department of Computer Science

Skip to content
  • Home
  • About
  • People
  • Projects
    • Current projects
      • CID
      • CHERISH-DE
      • Railway Verification Group
    • Past projects
      • COMPUTAL
      • CORCON
      • DETIPS
      • PLANCOMPS
  • Calendar
  • Events
    • Conferences and workshops
      • CiE 2022
      • BCTCS 2022
      • BCTCS 2020
      • Workshop on Proof Theory and its Applications 2019
    • Theory Seminar Series (Calendar)
  • Publications
Theory

Research visit to University of Canterbury (NZ)

Monika, Olga and Ulrich visited UC as part of the EU project CORCON in April 2017.

 

New Zealand Research Visit

This entry was posted in Research visit and tagged CORCON, New Zealand, research, Swansea University, visit on 12/05/2017 by Ulrich Berger.

Post navigation

← Break through result Jan Peleska and Wen-ling Huang visiting →

Recent Posts

  • Today is Bertrand Russell’s birthday
  • Today is Kurt Gödel’s birthday
  • Today is Ludwig Wittgenstein’s birthday

RSS Recent publications

  • THE JOURNAL OF SYMBOLIC LOGIC
    S Awodey, S Anscombe, V Becher, L Beklemishev, M Benedikt, ...(Feed generated with FetchRSS)
  • Concurrent Gaussian elimination
    U Berger, M Seisenberger, D Spreen, H TsuikiMathematics for Computation (M4C), 223-250, 2023(Feed generated with FetchRSS)
  • From Asymptomatics to Zombies: Visualization-Based Education of Disease Modeling for Children
    G McNeill, M Sondag, S Powell, P Asplin, C Turkay, F Moller, ...ACM, 2023(Feed generated with FetchRSS)
  • From Monitors to Monitors: A Primitive History
    TK AstarteMinds and Machines, 1-21, 2023(Feed generated with FetchRSS)
  • Eager Equality for Rational Number Arithmetic
    JA Bergstra, JV TuckerACM Transactions on Computational Logic, 2023(Feed generated with FetchRSS)

Meta

  • Log in
  • Entries RSS
  • Comments RSS
  • WordPress.org

Archives

Categories

Proudly powered by WordPress
Translate »