Logic and Computability Laboratory
Seminars @ LCLab, DCS UPAEC Hall,
2/F Seminar Room:
(Date, Time, Title, Speaker)
+++++++++++++++++++++++++++++++++++++++++++++++++++++++
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
+++++++++++++++++++++++++++++++++++++++++++++++++++++++
Previous Seminars 2024
+++++++++++++++++++++++++++++++++++++++++++++++++++++++
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
+++++++++++++++++++++++++++++++++++++++++++++++++++++++
23 September 2024
+++++++++++++++++++++++++++++++++++++++++++++++++++++++
30 September 2024
+++++++++++++++++++++++++++++++++++++++++++++++++++++++
07 October 2024 @2pm
No-go Theorems in Quantum Information Theory
by Gene Moses Itable, PhD
DOST - ASTI Science Fellow
+++++++++++++++++++++++++++++++++++++++++++++++++++++++
14 October 2024
+++++++++++++++++++++++++++++++++++++++++++++++++++++++
21 October 2024
+++++++++++++++++++++++++++++++++++++++++++++++++++++++
28 October 2024
+++++++++++++++++++++++++++++++++++++++++++++++++++++++
04 November 2024
+++++++++++++++++++++++++++++++++++++++++++++++++++++++
11 November 2024
+++++++++++++++++++++++++++++++++++++++++++++++++++++++
18 November 2024
+++++++++++++++++++++++++++++++++++++++++++++++++++++++
25 November 2024
+++++++++++++++++++++++++++++++++++++++++++++++++++++++
02 December 2024
+++++++++++++++++++++++++++++++++++++++++++++++++++++++
Teachings:
(AY 2024-2025)
CS 204 (Henry)
CS 133 (Henry)
CS 198 (Henry and Pancho)
CS 30 (Pancho)
(AY 2023-2024)
1Sem
CS 204 (Henry)
CS 297 (Intro to Computability and Logic) (Henry)
CS 197 (Algo & Theory)(Henry)
CS 198 (Henry and Pancho)
2Sem
CS 30 (Henry)
CS 31 (Henry)
CS 199 (Henry and Pancho)