Workshop on Logic

Welcome to the home page of Workshop on Logic

Programme Outline

The following questions will be discussed

• Is self-reference possible in arithmetic?

• What cannot be expressed in arithmetic?

• Is there a gap between what is true and what can be proved?

• Can we prove that arithmetic is consistent?

• Does there exist a property of Natural numbers which can be proved for 1, 2, 3 and so on but "for all natural numbers the property holds" cannot be proved?

• Is it possible that " there exist n such that p(n)" is provable but neither of p(1), p(2),... is provable?

Attempts will be made for answering these questions using the works of Tarski and Goedel. 

Who can Apply?

• Research Scholars & Faculty members of Mathematics and Computer Science

  • The participants are required to have some basic background in logic

How to Apply?

1. Fill this online application form (click here for the online form). A pdf will be generated, you need to print it and get it signed by your head of the department confirming your affiliation. Scan and send the soft copy of the signed application form to nurture.1729@gmail.com with subject "Workshop on Logic - 2018 application".

2.  

3. If you are a M.Phil / PhD scholar (In addition to (1) above)  request your guide to send soft copy of the recommendation letter (Attached here) by email  to nurture.1729@gmail.com with subject "Recommendation - Workshop on Logic - application # WL****". Pls make sure you give your application number in the recommendation letter.   

4. If you are a faculty member you need not send any recommendation letter. If you need an invitation for the purpose of getting duty leave, do let us know. For invitation pls send email to nurture.1729@gmail.com

5. The completed application form (by email) and the recommendation letter (by email) should reach by   : January 31, 2018, Wednesday 6:00PM

6. For all communication/comments/suggestions use nurture.1729@gmail.com

Important Dates: 

• Last date for application submission: January 31, 2018

• Announcement of Selected candidates: February 10, 2018 

• Confirmation of Participation: February 12, 2018

• Programme Dates: March 29th - April 1st,  2018

Selection

• The selection will be purely on merit, based on consistently good academic record and the recommendation letter

• Only selected candidates will be informed (by email) of their selection 

• The list of selected candidates will also be posted on the workshop website

• Travel Allowance will be paid as per the host institute (KSOM) norms

• Candidates selected for the programme will be provided free boarding, lodging, travel allowance and reading materials for the duration of the workshop

Organizing Committee In alphabetical order

• Arindama Singh, Indian Institute of Technology, Madras

• Manikkam M, Kerala School of Mathematics, Kerala

• Ramesh VP, Central University of Tamil Nadu, Thiruvarur