Logic and Computability Laboratory
Logic and Computability Laboratory
Embedded Files
Seminars @ LCLab, DCS UPAEC Hall,
Seminars @ LCLab, DCS UPAEC Hall,
2/F ERDT/Seminar Room:
2/F ERDT/Seminar Room:
(Date, Time, Title, Speaker)
+++++++++++++++++++++++++++++++++++++++++++++++++++++++
Lab-Research Seminar
17 February 2025 @ 2pm
2/F Seminar Room UPAEC Hall
Critique of Formally Verifying Spin Locks
in the Context of Resource Ownership Semantics
by Mikhail Gallego
Graduate Student @ LCLab
+++++++++++++++++++++++++++++++++++++++++++++++++++++++
Previous Seminars 2025
+++++++++++++++++++++++++++++++++++++++++++++++++++++++
Public Seminar
3 February 2025 @ 2pm
2/F ERDT Room UPAEC Hall
Using definability concepts to prove unsolvability of problems
by bounded machines
by Alfonso B. Labao, PhD
Asst Prof. @ LCLab
+++++++++++++++++++++++++++++++++++++++++++++++++++++++
Previous Seminars 2024
+++++++++++++++++++++++++++++++++++++++++++++++++++++++
Public Seminar
11 November 2024 @2pm
Introduction to Post-Quantum Cryptography
by Lucky Galvez, PhD
Assistant Professor, Deputy Director for Instruction
Institute of Mathematics, UP Diliman
+++++++++++++++++++++++++++++++++++++++++++++++++++++++
Public Seminar
07 October 2024 @2pm
No-go Theorems in Quantum Information Theory
by Gene Moses Itable, PhD
DOST - ASTI Science Fellow
+++++++++++++++++++++++++++++++++++++++++++++++++++++++
Regular Lab Meetings
30 September 2024
Venue: UPAEC Hall, 2/F Seminar Room,
Time : 2pm, Monday
Agenda : Research Groupings
+++++++++++++++++++++++++++++++++++++++++++++++++++++++
Lab Seminar
23 September 2024 @ 2pm
2/F Seminar Room UPAEC Hall
Some Ideas on Formal Verifications
by Alfonso B. Labao, PhD
Asst Prof. @ LCLab
+++++++++++++++++++++++++++++++++++++++++++++++++++++++
Public Seminar
16 September 2024 @2pm
Introduction to Recursion Theory
by Alfonso B. Labao, PhD
Asst Prof. @ LCLab
A Brief Introduction to DOST-ASTI’ Quantum Innovation Lab (pdf)
by Jeffrey A. Aborot, SSRS
Lead for quantum computing research
+++++++++++++++++++++++++++++++++++++++++++++++++++++++
Public Seminar
09 September 2024 @2pm
QMDD: A Quantum Computer Simulator
by Jul Jon General
LCLab Graduate Student & ASTI
On Formal Verification of ML Methods
by Jesserey Joseph
LCLab Graduate Student
+++++++++++++++++++++++++++++++++++++++++++++++++++++++
Planned Seminars 2024
+++++++++++++++++++++++++++++++++++++++++++++++++++++++
March 2025
TBA
+++++++++++++++++++++++++++++++++++++++++++++++++++++++
April 2025
TBA
+++++++++++++++++++++++++++++++++++++++++++++++++++++++
May 2025
TBA
+++++++++++++++++++++++++++++++++++++++++++++++++++++++
Teachings:
Teachings:
(AY 2024-2025)
(AY 2024-2025)
2Sem
CS 31 (Henry)
CS 197 (Algo and Automata)
CS 199 (Henry and Pancho)
CS 171 (Formal Verification)
1Sem
CS 204 (Henry)
CS 133 (Henry)
CS 198 (Henry and Pancho)
CS 30 (Pancho)
(AY 2023-2024)
2Sem
CS 30 (Henry)
CS 31 (Henry)
CS 199 (Henry and Pancho)
1Sem
CS 204 (Henry)
CS 297 (Intro to Computability and Logic) (Henry)
CS 197 (Algo & Theory)(Henry)
CS 198 (Henry and Pancho)
Page updated
Report abuse