Logic related activities in and around JAIST, not necessarily organized by the RCIS. Please send corrections and improvements to Norbert Preining:

Past activities

  • Talk 2012-02-09 (Thu.), 13:00-15:00
    A Logic for PTIME and a Parameterized Halting Problem
    Prof.Yijia Chen, Shanghai Jiotong University
    Location: IS school collaboration room 7, 5F
    Research Center for Software Verification
  • Talk 2012-02-09 (Thu.), 15:15-17:15
    Unification problems in weakly transitive modal logics
    Yutaka Miyazaki, Osaka University of Economics and Law
    Location: RCIS Seminar room
    RCIS Logic Seminar
    http://www.jaist.ac.jp/rcis/en/seminar/logic/31
  • Workshop 2012-02-15 to 17
    Asian Workshop on Philosophical Logic
    Location: Ishikawa Hightech Center
    http://www.jaist.ac.jp/rcis/awpl/
  • Talk 2012-02-17 (Feb.), 13:00-14:30
    An isomorphism theorem for partial numberings
    Dieter Spreen, University of Siegen
    Location: 6F seminar room (I-67)
    Ishihara Lab Seminar
    Abstract: http://www.jaist.ac.jp/rcis/docs/Spreen170212.pdf
  • Talk 2012-02-23 (Thu.), 15:30-17:00
    Epsilon Calculus in Nonclassical Logics
    Matthias Baaz, Vienna University of Technology
    Location: IS Lecture room 3・4
    JAIST Multi-dimension Seminar
    http://www.jaist.ac.jp/rcis/en/seminar/multi-dimension/38
  • School 2012-03-05 to 09
    JAIST Spring School 2012 - Formal Reasoning: Theory and Application
    http://www.jaist.ac.jp/~hirokawa/jss12.html
  • Talk 2012-03-12 (Mon.), 15:00-17:00
    Semantics and Proof Theory of Conditional Logics
    Dirk Pattinson, Imperial College, UK
    Location: RCIS Seminar room
  • Talk 2012-03-13, 15:00-17:00
    Ontology-Based Data Access and Constraint Satisfaction
    Frank Wolter, Univ. of Liverpool, Guest Prof. of JAIST
    KS Lecture Hall
    JAIST Advanced Lecture Series
    http://www.jaist.ac.jp/rcis/en/seminar/advanced/6
  • Talk 2012-03-15 (Thu.), 15:00-17:00
    Higher-order Multidimensional Programming
    John Plaice, University of New South Wales
    Location: RCIS Seminar room
    RCIS Logic Seminar
    http://www.jaist.ac.jp/rcis/en/seminar/logic/32
  • Workshop 2012-03-16 (Fri.), 10:30-17:00
    2nd Workshop on Trustworthy Software: Theory and Practice
    Location: IS Collaboration Room 7, JAIST
    Research Center for Software Verification
    http://www.ldl.jaist.ac.jp/svrcenter/event/20120316-eventws/index.html
  • Talk 2012-03-29 (Thu.), 15:00-17:00
    Coextensive causation: a new model of computation?
    Rene Vestergaard, RCIS, JAIST
    Location: RCIS Seminar room
    RCIS Logic Seminar
    http://www.jaist.ac.jp/rcis/en/seminar/logic/33
  • Talk 2012-04-12 (Thu.), 15:00-17:00
    A Formal Genetic Switch
    Rene Vestergaard, RCIS, JAIST
    Location: RCIS Seminar room
    RCIS Logic Seminar
    http://www.jaist.ac.jp/rcis/en/seminar/logic/34
  • Talk 2012-05-10 (Thu.), 15:00-17:00
    Satisfiability in monadic Gödel logics
    Norbert Preining, RCIS, JAIST
    Location: RCIS Seminar room
    RCIS Logic Seminar
    http://www.jaist.ac.jp/rcis/en/seminar/logic/35
  • Talk 2012-05-11 (Fri.), 15:30-
    Realizability, Set Theory, Linear Logic
    Hajime Ishihara, School of Information Science, JAIST
    Location: JAIST IS 8F seminar room
    Ishihara lab seminar
  • Talk 2012-05-24 (Thu.), 15:00-17:00
    A Rewriting Solution to the Parsing Problem
    Nao Hirokawa, School of Information Science, JAIST
    Location: RCIS Seminar room
    RCIS Logic Seminar
    http://www.jaist.ac.jp/rcis/en/seminar/logic/36
  • Talk 2012-06-14 (Thu.), 15:00-17:00
    Monadic Gödel logics with one predicate symbol
    Norbert Preining, RCIS, JAIST
    Location: RCIS Seminar room
    RCIS Logic Seminar
    http://www.jaist.ac.jp/rcis/en/seminar/logic/37
  • Talk 2012-06-25 (Mon.), 15:00-17:00
    Order-Sorted Equality Enrichments Modulo Axioms
    Jose Meseguer, University of Illinois at Urbana-Champaign
    Location: IS Collaboration Room 7, JAIST
    Verification Seminar, Research Center for Software Verification
  • Talk2012-08-20 (Mon.), 10:30-12:30
    Optimal model selection procedures under sparsity with applications in genetics
    Florian Frommlet, Center for Medical Statistics, Informatics, and Intelligent Systems, Medical University of Vienna

    Location: KS Lecture room 3・4, JAIST
    JAIST 40th Multi-dimension Seminar
    http://www.jaist.ac.jp/rcis/en/seminar/multi-dimension/40

  • Talk 2012-09-06 (Thu.), 15:00-17:00
    Using CafeOBJ specifications in Maude
    Adrian Riesco
    Location: FMSD Seminar Corner (I-73), 7th floor JAIST
    Research Center for Software Verification
  • Talk 2012-09-07 (Fri.), 14:00-15:30
    Rediscovering Structural Proof Theory: an algebraic account
    Nikolaos Galatos, Department of Mathematics, University of Denver
    Location: I Lecture room 3・4, JAIST
    JAIST 41th Multi-dimension Seminar
    http://www.jaist.ac.jp/rcis/en/seminar/multi-dimension/41
  • Talk 2012-09-07 (Fri.), 15:45-17:15
    Sequent Systems and Defining Rules
    Greg Restall, School of Historical and Philosophical Studies, University of Melbourne, Australia

    Location: I Lecture room 3・4, JAIST
    JAIST 42th Multi-dimension Seminar
    http://www.jaist.ac.jp/rcis/en/seminar/multi-dimension/42

  • Conference 2012-09-10 to 14
    Logic, Algebra and Truth Degrees 2012
    Location:Ishikawa Prefectural Museum of Art
    http://www.jaist.ac.jp/rcis/latd12/
  • Talk 2012-10-16 (Tue.), 13:30-16:30
    Tachio Terauchi (Nagoya U.): Automated Verification of Higher-order Functional Programs
    Tran Dan Thu (HCMUS): On AZ-style identities
    Yijia Chen (SJTU): Hard instances of algorithms and proof systems
    Location: JAIST 6F Seminar Room
    Research Center for Software Verification
  • Talk 2012-11-01 (Thu.), 15:00-16:30
    Tableau/Sequent Duality
    Melvin Fitting, Lehman College, City University of New York

    Location: KS Lecture hall, JAIST
    JAIST 43th Multi-dimension Seminar
    http://www.jaist.ac.jp/rcis/en/seminar/multi-dimension/43

  • Talk 2012-11-08 (Thu.), 14:00-16:00
    Skolemization and Herbrand's theorem in constructive theories
    Rosalie Iemhoff, Utrecht University
    Location: RCIS Seminar room
    RCIS Logic Seminar
    http://www.jaist.ac.jp/rcis/en/seminar/logic/38
  • Talk 2012-11-09 (Fri.), 15:15-16:45
    Information Distance
    Sebastiaan A. Terwijn, Radboud University Nijmegen

    Location: K Lecture room 1・2, JAIST
    JAIST 44th Multi-dimension Seminar
    http://www.jaist.ac.jp/rcis/en/seminar/multi-dimension/44

  • Talk 2012-11-13 (Tue.), 13:15-15:00
    Substitutions and rules
    Rosalie Iemhoff, Utrecht University

    Location: K Lecture room 3・4, JAIST
    JAIST 45th Multi-dimension Seminar
    http://www.jaist.ac.jp/rcis/en/seminar/multi-dimension/45

  • Talk 2012-11-26 (Mon.), 13:30-14:30
    Sheaves for First-Order Modal Logic
    Kohei Kishida, University of Amsterdam

    Location: RCIS Seminar room
    RCIS Logic Seminar
    http://www.jaist.ac.jp/rcis/en/seminar/logic/39

  • Talk 2012-11-28 (Wed.), 14:00-15:30
    Yet another proof score for QLOCK verification
    FUTATSUGI, Kokichi, JAIST
    Location: IS school collaboration room, 7. floor
    Research Center for Software Verification
  • Talk 2012-11-28 (Wed.), 15:30-17:00
    Formalization and Verification of Behavioral Correctness
    of Dynamic Software Updates

    ZHANG, Min
    Location: IS school collaboration room, 7. floor
    Research Center for Software Verification
  • Talk 2013-02-21 (Thu.), 15:10-16:40
    Nonstandard Static Analysis: Discrete Verification MethodologiesTransferred to Hybrid Applications
    Ichiro Hasuo, Dept. Computer Science, Univ. Tokyo

    Location: RCIS Seminar room
    RCIS Logic Seminar
    http://www.jaist.ac.jp/rcis/en/seminar/logic/40

  • Talk 2013-02-26 (Tue.), 14:00-16:30
    代数仕様における停止性,合流性,十分完全性について
    NAKAMURA, Masaki, Toyama Prefectural University
    Location: IS school collaboration room 6, 5. floor
    Research Center for Software Verification, Verification Seminar
  • Workshop 2013-03-04 to 08
    3rd Workshop on Proof Theory and Rewriting
    Location: Ishikawa Prefectural Museum of Art, Kanazawa, Japan
    http://www.jaist.ac.jp/~hirokawa/pr2013/
  • Talk 2013-03-07 (Thu.), 15:00-17:00
    Automatic Specification-Based Program Testing: Challenges and Possibilities
    Shaoying Liu, Hosei University
    Location: IS school collaboration room 7, 5F
    Research Center for Software Verification
    http://www.jaist.ac.jp/rcsv/event.html
  • Workshop 2013-03-11 to 12
    Workshop on CafeOBJ and Specification Verification
    Location: Shiinoki Cultural Complex, Kanazawa
    http://www.jaist.ac.jp/rcsv/event/20130311-eventws/index.html
  • Talk 2012-03-18, 15:10-17:10
    Ontology-based Data Access
    Frank Wolter, Univ. of Liverpool, Guest Prof. of JAIST
    K Lecture room 3・4
    JAIST Advanced Lecture Series
    http://www.jaist.ac.jp/rcis/en/seminar/advanced/8
  • Talks 2013-04-03, 14:00, 14:45, 15:30
    14:00 Monika Seisenberger: Program extraction - theory and practice
    14:45 Ulrich Berger: Program extraction in constructive analysis and Church’s Simple Theory of Types
    15:30 Tie Hou: Typed vs untyped realizability
    all from Swansea University, Wales, UK
    JAIST IS school collaboration room 7 (5F)
  • Talk 2013-06-20 (Thu.), 14:00-15:00
    The reduction of first order interpolation to propositional interpolation
    Matthias Baaz, Vienna University of Technology
    Location: IS school collaboration room 6, 5F
    Research Center for Software Verification
    http://www.jaist.ac.jp/rcsv/event.html
  • Talk 2013-06-20 (Thu.), 15:00-17:00
    Generate and check method for invariant verification in CafeOBJ
    Kokichi Futatsugi, JAIST
    Location: IS school collaboration room 6, 5F
    Research Center for Software Verification
    http://www.jaist.ac.jp/rcsv/event.html
  • Workshop 2013-07-21 and 22
    Logic @ JAIST
    Kaga
  • Talk 2013-07-29, 15:00-17:00
    Henkin Continuity of multivalued functions
    Martin Ziegler, University of Darmstadt
    Location: IS Collab room 7, I-56
    JAIST Logic Seminar Series
  • Talk 2013-08-12 (Mon.), 15:00-17:00
    Automated Analysis of Industrial Embedded Software
    Moonzoo Kim, KAIST
    Location: IS school collaboration room 6, 5F
    Research Center for Software Verification
    http://www.jaist.ac.jp/rcsv/event.html
  • Talk 2013-08-28 (Wed.), 15:00-17:00
    Constructor-based Inductive Theorem Prover
    Daniel Gaina, JAIST
    Location: IS school collaboration room 7, 5F
    Research Center for Software Verification
    http://www.jaist.ac.jp/rcsv/event.html
  • Talk 2013-08-28 (Wed.), 15:30-17:00
    The recursive part of constructive reverse mathematics
    Dr. Hannes Diener (Siegen)
    Location: IS school collaboration room 6, 5F
    JAIST Logic Seminar Series
    http://www.jaist.ac.jp/~t-nemoto/Diener_talk.pdf
  • Talk 2013-09-17 (Tue.), 14:00-15:00
    AC-KBO Revisited
    Aart Middeldorp, University of Innsbruck
    Location: IS school collaboration room 6 I-65, 5F
    Research Center for Software Verification
    http://www.jaist.ac.jp/rcsv/event.html
  • Talk 2013-09-20 (Fri.), 15:00-17:00
    A higher inductive construction of the real numbers
    Professor Andrej Bauer, University of Ljubljana, Slovenia
    Location: IS school collaboration room 6, 5F
    JAIST Logic Seminar Series
  • Talk 2013-09-25 (Wed.), 15:00-17:00
    Extending Maude tools to work with CafeOBJ specifications
    Adrian Riesco Rodriguez
    Location: IS school collaboration room 7, 5. floor
    Research Center for Software Verification
    http://www.jaist.ac.jp/rcsv/event.html
  • Talk 2013-10-23 (Wed.), 15:00-17:00
    Verifying the Design of Dynamic Software Updating in the OTS/CafeOBJ Method
    Zhang Min
    Location: IS school collaboration room 7, 5. floor
    Research Center for Software Verification
    http://www.jaist.ac.jp/rcsv/event.html
  • Talk 2013-10-23 (Wed.), 15:30-17:30
    On Parameterization in Real Complexity Theory
    Carsten Roesnick, TU Darmstadt
    Location: IS school collaboration room 6, I-57g
    JAIST Logic Seminar Series
  • Talk 2013-10-29 (Tue.), 15:30-17:30
    Real Parameterized and Second-Order Complexity Theory: from Computability in Analysis to Numerical Practice
    Martin Ziegler, TU Darmstadt
    Location: IS school collaboration room 6, I-57g
    JAIST Logic Seminar Series
  • Talk 2013-11-01 (Fri.), 15:30-17:30
    Interfaces between Epistemic Logic and Abstract Argumentation
    Davide Grossi, University of Liverpool
    Location: IS school collaboration room 6, I-57g
    JAIST Logic Seminar Series
  • Talk 2013-11-06 (Wed.), 13:30-15:00
    Towards Practical Bidirectional Graph Transformations
    Zhenjiang Hu, NII, JAIST guest prof.
    Location: IS school collaboration room 7, 5. floor
    Research Center for Software Verification
    http://www.jaist.ac.jp/rcsv/event.html
  • Talk 2013-11-20 (Wed.), 15:10-16:40
    Computational Logic and Human Thinking
    Robert A. Kowalski, Imperial College London
    Location: IS Lecture Room
    JAIST IS Seminar Series
  • Talk 2013-11-21 (Thu.), 15:10-16:40
    Towards a Logic-based Framework for Computing
    Robert A. Kowalski, Imperial College London
    Location: IS school collaboration room 7, I-56
    JAIST Logic Seminar Series