Logic related activities in and around JAIST, not necessarily organized by the RCIS. Please send corrections and improvements to Norbert Preining:
- 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)
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 ViennaLocation: 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, AustraliaLocation: 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 YorkLocation: 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 NijmegenLocation: 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 UniversityLocation: 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 AmsterdamLocation: 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. TokyoLocation: 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