JAIST Home
Japanese | English

Search form

Menu
  • Home
  • Logic Unit
    • Ishihara Laboratory
    • Ogawa-Hirokawa Laboratory
    • Tojo Laboratory
  • RCSV
    • CafeOBJ
  • Core2Core
    • Activities
    • Memberships
    • Publication
  • Events
  • Courses
  • Members
  • Japanese | English
  • Search form

Home > Events

Events

Events

Seminars (51)

Computably Enumerable Structures: Domain dependency Bakhadyr Khoussainov 2016/06/20
On Some General Methods of Proving Decidability or Undecidability Hsing-chien Tsai 2015/10/06
Toward a Rewriting-based Semantics of Clock Constraint Specification Language and its Applications Zhang Min 2015/08/27
A Maude environment for CafeOBJ Adrian Riesco Rodriguez 2015/08/27
Real numbers and computers Norbert Müller 2015/08/25
Verification of Real-World Security Protocols in CafeOBJ: A Case Study of PACE Dominik Klein 2015/05/26
Digit Spaces - Topological Foundations Dieter Spreen 2015/05/07
Generic proof scores for the generate & check method in CafeOBJ Kokichi Futatsugi 2015/02/26
CDSChecker: Checking Concurrent Data Structures Written with C/C++ Atomics Brian Demsky, University of California Irvine 2015/01/09
Weighted Automata Theory for Complexity Analysis of Rewrite Systems Georg Moser 2015/01/08

Pages

  • « first
  • ‹ previous
  • 1
  • 2
  • 3
  • 4
  • 5
  • next ›
  • last »

Meetings / Workshops (9)


Visitors (1)


  • 日本語
Back to Page Top

Language

  • English
  • 日本語

Coming Events

There's no scheduled events.

User login

  • Request new password

Map and Direction | Contact us
Copyright (c) 2010-2019 Japan Advanced Institute of Science and Technology. All Rights Reserved.
1-1 Asahidai, Nomi, Ishikawa 923-1292 Japan