Logic and Computability Laboratory

Seminars @ LCLab, DCS UPAEC Hall, 

2/F Seminar Room:

(Date, Time, Title, Speaker)

+++++++++++++++++++++++++++++++++++++++++++++++++++++++

14 October 2024

NO Scheduled Public/Lab  Seminar Today

Our next Public/Lab Seminar will be on

11 November 2024.

+++++++++++++++++++++++++++++++++++++++++++++++++++++++

Previous Seminars 2024

+++++++++++++++++++++++++++++++++++++++++++++++++++++++

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

+++++++++++++++++++++++++++++++++++++++++++++++++++++++


21 October 2024


+++++++++++++++++++++++++++++++++++++++++++++++++++++++


28 October 2024


+++++++++++++++++++++++++++++++++++++++++++++++++++++++


04 November 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


+++++++++++++++++++++++++++++++++++++++++++++++++++++++


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)