top of page

Mon, 04 Apr

|

Voluntary Centre

Reasoning About Truth: A 3-Week Course on Logic by Dr Christian Colombo

We need logic to discover the truth ! Attendance is capped to 15 persons; vaccination certificates required at entrance

Registration is Closed
See other events
Reasoning About Truth: A 3-Week Course on Logic by Dr Christian Colombo
Reasoning About Truth: A 3-Week Course on Logic by Dr Christian Colombo

Time & Location

04 Apr 2022, 18:00 – 18 Apr 2022, 20:00

Voluntary Centre, 181 Melita St, Valletta, Malta

Guests

About the event

Reasoning About Truth: A 3-Week Course on Logic by Dr Christian Colombo

From daily arguments to artificial intelligence, from software programming to philosophical reasoning - knowingly or not - we use logical reasoning. 

In this exciting course you will learn how to: 

  • capture basic truths and combine them together to construct logical statements. 
  • consider all possible truth outcomes of a statement based on its components.
  • use generic logical rules to reason about anything you like.

About the Lecturer

Christian Colombo obtained his PhD in Computer Science from the University of Malta in 2013 and currently holds the position of Senior Lecturer within the Department of Computer Science. His main areas of research are runtime verification, software testing, compensating transactions, and domain-specific languages, focusing on the creation of dependable software systems by verifying them against formal specifications at runtime. The applications of this body of research spans mobile device security, payment gateway systems, social network privacy policies, and tax compliance, amongst others. He is currently the chairperson of the Malta Humanist Association.

Schedule


  • 2 hours

    Lesson 1 - Introduction to Propositional Logic


  • 2 hours

    Lesson 2 - First Rules of Deductive Proofs

1 more item available

Tickets

  • Member

    €15.00
  • Non-Member

    €40.00

Total

€0.00

Share this event

bottom of page