Academic Mentorship System @MoL

Christian Schaffner

ILLC (UvA), Centrum Wiskunde & Informatica (CWI), QuSoft

(shamelessly based on earlier version by Maria Aloni)

Friday, 2 September 2016

MasterofLogic2016/17v0.9.2:https://github.com/cschaffner/MoLOverviewPosterSuggestionsandcommentsarewelcome!

Sep/Okt2016Nov/Dec 2016

Feb/Mar2017

Apr/May2017

MathematicalLogic Theoretical

ComputerScience

ComputationalLinguistics /AI

[MoL-FNWI]Basic

Probability:Theory

(Schaffner)[3EC]

[MoL-FNWI]Functional

SpecificationofAlgorithms(vEijck) [MoL-FNWI]

RecursionTheory

(Rodenburg)

[MScCS-VU]ConcurrencyTheory(Ponse)

[MoL-FNWI]LambdaCalculus(Rodenburg)

[MastMath-UvA]Quantumcomputing(dWolf)[8EC]

[MoL-FNWI]ComputabilityandInteraction

(Baeten)

[MoL-FNWI]KolmogorovComplexity(Torenvliet)

[MoL-FNWI]InformationTheory

(Schaffner)

L&C

[MoL-FNWI]ComputationalComplexity(Buhrman)

L&C

L&M

[MoL-FNWI]Dynamic

EpistemicLogic(Baltag)

[MoL-FGW]PhilosophyofMathematics(Incurvati)

[MoL-FNWI]BasicLogic(Incurvati)

some

Cognition

PhilosophicalLogic

[MoL-FNWI]Logicand

Conversation(Roelofsen)

[MoL-FGW]StructuresforSemantics(Aloni)

L&L

[MoL-FGW]Meaning,Reference

andModality(Dekker)

L&LL&P[MoL-FNWI]

PhilosophicalLogic(vRooij)

L&P[GSHum]Time

(vLambalgen)

[MoL-FGW]Advancedtopicsin

PhilosophyofLanguage(Betti)

Logic,Languageand

Computation(Aloni)[3EC]

all

Philosophy

[MScAI]Knowledge

Representation(vHarmelen)

[MScAI]NaturalLanguage

Processing1(Deoskar)

[MScB&CS]FoundationsofNeuralandCognitiveModelling(TBA)

[MoL-FNWI]LogicalMethodsinCognitiveScience

(Szymanik)

[MScB&CS]CognitiveModelsofLanguageand

Music(TBA)

[MScB&CS]MusicCognition

(Honing)

[MScAI]Knowledge

RepresentationfortheWeb(Schlobach)

[MoL-FNWI]ComputationalSemanticsandPragmatics(Fernandez)

[MScAI]UnsupervisedLanguageLearning(Zuidema)

[MScAI]NaturalLanguage

Processing2(Sima'an)

MandatoryCoursesofTracks:L&P: Logic&PhilosophyL&L:Logic&LanguageL&C: Logic&ComputationL&M: Logic&Mathematics

L&M

[MoL-FNWI]Basic

Probability:Programming(Schaffner,Schulz)[3EC]

[MScCS-VU]DistributedAlgorithms(Fokkink)

[RM-Ling]GenerativeGrammar

(Iatridu)

[MScB&CS]CognitionandLanguage

Development(Schaeffer)

[MoL-FGW]Rationality,

CognitionandReasoning

(vLambalgen)

[GSHum]Introduction

tothePhilosophyofLanguage(Brouwer)

[MAPhil]PhilosophyofCognition(Brouwer)

[MAPhil]EarlyModernPhilosophyoflanguage(Maat)

[MoL-FNWI]Logic,Knowledge

andScience(Smets)

[MoL-FGW]Ethics,Ontology,Life:Wittgenstein's

LaterWork(Stokhof)

[MAPhil]Kant,Logicand

Cognition(vLambalgen)

[MoL-FGW]PossibleWorlds:

LogicandMetaphysics

(Berto)

[MAPhil]CausalInference:

PhilosophicalTheoryandModernPractice

(Schulz)

[MAPhil]Techno-scienceandEpistemology

(Russo)

[MScCS-VU]LogicalVerification

(vRaamsdonk)

[BScWisk]IntroductiontoModalLogic(Bezhanishvili,

Enqvist)

[MoL-FNWI]CapitaSelecta:ModalLogic,

Algebra,Coalgebra(Venema,Enqvist)

[MoL-FNWI]CategoryTheory

(vdBerg)

[MastMath-UvA]SetTheory(Hart)[8EC]

[MoL-FNWI]SeminarMathematicalLogic

(Löwe)[3EC]

[MastMath-UvA]Mathematical

StructuresinLogic(Bezhanishvili)

[MoL-FNWI]ProofTheory(vdBerg)

L&M[MoL-FNWI]ModelTheory

(vdBerg)

L&M[BScWisk]

AxiomaticSetTheory(Baltag)

L&M

exclusiveor

TheoreticalLinguistics

[MoL-FNWI]CapitaSelecta:SetTheory(Löwe)

[MastMath-RU]IntuitionisticMathematics

(Veldman)[8EC]

[MoL-FNWI]IntuitionisticLogic(deJongh andCiardelli)

[RM-Ling]FunctionalDiscourse

Grammar(Hengeveld)

EconomicTheory

[MoL-FNWI]Game Theory(Endriss)

[MoL-FNWI]ComputationalSocialChoice(Endriss)

Academic Mentorship

I Advice & guidance in a highly individual program

I Monitoring and assistance in case of problems

Academic mentors this year

I Maria Aloni

I Alexandru Baltag

I Benno van den Berg

I Franz Berto

I Nick Bezhanishvili

I Ivano Ciardelli

I Tejaswini Deoskar

I Ulle Endriss

I Raquel Fernandez

I Dick de Jongh

I Benedikt Lowe

I Floris Roelofsen

I Robert van Rooij

I Christian Schaffner

I Sonja Smets

Academic Mentorship

I Advice & guidance in a highly individual program

I Monitoring and assistance in case of problems

Academic mentors this year

I Maria Aloni

I Alexandru Baltag

I Benno van den Berg

I Franz Berto

I Nick Bezhanishvili

I Ivano Ciardelli

I Tejaswini Deoskar

I Ulle Endriss

I Raquel Fernandez

I Dick de Jongh

I Benedikt Lowe

I Floris Roelofsen

I Robert van Rooij

I Christian Schaffner

I Sonja Smets

What a mentor is for

Advice & Guidance (good times)

1. Choice of courses, (individual) projects,thesis topic and supervisor;

2. Career choices: direction of study, grants, PhDapplications.

Assistance & diplomatic services (bad times)

1. Assistance in case of (academic) problems;

2. Academic mentor as mediator in case of conflicts.

Mentorship is a tool for solving problems: use it!

What a mentor is for

Advice & Guidance (good times)

1. Choice of courses, (individual) projects,thesis topic and supervisor;

2. Career choices: direction of study, grants, PhDapplications.

Assistance & diplomatic services (bad times)

1. Assistance in case of (academic) problems;

2. Academic mentor as mediator in case of conflicts.

Mentorship is a tool for solving problems: use it!

What a mentor is for

Advice & Guidance (good times)

1. Choice of courses, (individual) projects,thesis topic and supervisor;

2. Career choices: direction of study, grants, PhDapplications.

Assistance & diplomatic services (bad times)

1. Assistance in case of (academic) problems;

2. Academic mentor as mediator in case of conflicts.

Mentorship is a tool for solving problems: use it!

What will your mentor expect from you

I Active attitude

I Courtesy and manners

What not to expect from your academic mentor

I To solve all problems

I To know everything

I To be available 24/7

What will your mentor expect from you

I Active attitude

I Courtesy and manners

What not to expect from your academic mentor

I To solve all problems

I To know everything

I To be available 24/7

General advices

Ideal timeline

I All mandatory courses in the first two semesters;

I Thesis topic/supervisor selected in the first half of the 3rdsemester;

I 90 credits + approval form by the end of the 3rd semester;

I Thesis defense by the end of the 4th semester.

Other general advices

I Avoid dispersion: don’t enroll for too many courses!

I Be broad: don’t focus on only one topic/discipline!

I Importance of social interactions, and seminars

General advices

Ideal timeline

I All mandatory courses in the first two semesters;

I Thesis topic/supervisor selected in the first half of the 3rdsemester;

I 90 credits + approval form by the end of the 3rd semester;

I Thesis defense by the end of the 4th semester.

Other general advices

I Avoid dispersion: don’t enroll for too many courses!

I Be broad: don’t focus on only one topic/discipline!

I Importance of social interactions, and seminars

(Regular) seminars

I The Logic TeaI Cool Logic seminar for Logic Students

I The DIP Colloquium

I Computational Linguistics Seminar

I The Colloquium on Mathematical Logic

I Computational Social Choice Seminar

I Logic and Interactive RAtionality (LIRa)

I Seminar on music cognition and computation

I ILLC Colloquium

I SMART Cognitive Science Lectures

I LogiCIC Seminar

I The LeGO (Leerstoel Groepen Overleg) Seminar

I Seminar on Provability, Interpretability, Intuitionism and Arithmetic (PIIA)

I AlgebraCoalgebra Seminar

I Cognition at ILLC

I Theoretical Computer Science Seminar

I Music Cognition Reading Group

I Dutch Social Choice Colloquium

Full descriptions at ILLC website

http://www.illc.uva.nl/NewsandEvents/Events/Regular/

(Regular) seminars

II The Logic TeaI Cool Logic seminar for Logic StudentsI The DIP Colloquium

I Computational Linguistics Seminar

I The Colloquium on Mathematical Logic

I Computational Social Choice Seminar

I Logic and Interactive RAtionality (LIRa)

I Seminar on music cognition and computation

I ILLC Colloquium

I SMART Cognitive Science Lectures

I LogiCIC Seminar

I The LeGO (Leerstoel Groepen Overleg) Seminar

I Seminar on Provability, Interpretability, Intuitionism and Arithmetic (PIIA)

I AlgebraCoalgebra Seminar

I Cognition at ILLC

I Theoretical Computer Science Seminar

I Music Cognition Reading Group

I Dutch Social Choice Colloquium

Full descriptions at ILLC website

http://www.illc.uva.nl/NewsandEvents/Events/Regular/

What to do when

II No ideal timeline: don’t panic, talk to your mentor

I Financial problems: panic, talk to everybody

I Administrative problems: go to Tanja Kassenaar

I You want to drop a course: inform the teacher

I You do not like a course: express it in the evaluation, talkto the OC.

I You want to change track: inform your mentor

I You and your supervisor do not match: talk to your mentor

I You and your mentor do not match: be open about it,contact Tanja

I . . .

Find a summary on:https://www.illc.uva.nl/MScLogic/people/mentors.html

What to do when

I No ideal timeline: don’t panic, talk to your mentor

I Financial problems: panic, talk to everybody

I Administrative problems: go to Tanja Kassenaar

I You want to drop a course: inform the teacher

I You do not like a course: express it in the evaluation, talkto the OC.

I You want to change track: inform your mentor

I You and your supervisor do not match: talk to your mentor

I You and your mentor do not match: be open about it,contact Tanja

I . . .

Find a summary on:https://www.illc.uva.nl/MScLogic/people/mentors.html

What to do when

I No ideal timeline: don’t panic, talk to your mentor

I Financial problems: panic, talk to everybody

I Administrative problems: go to Tanja Kassenaar

I You want to drop a course: inform the teacher

I You do not like a course: express it in the evaluation, talkto the OC.

I You want to change track: inform your mentor

I You and your supervisor do not match: talk to your mentor

I You and your mentor do not match: be open about it,contact Tanja

I . . .

Find a summary on:https://www.illc.uva.nl/MScLogic/people/mentors.html

What to do when

I No ideal timeline: don’t panic, talk to your mentor

I Financial problems: panic, talk to everybody

I Administrative problems: go to Tanja Kassenaar

I You want to drop a course: inform the teacher

I You do not like a course: express it in the evaluation, talkto the OC.

I You want to change track: inform your mentor

I You and your supervisor do not match: talk to your mentor

I You and your mentor do not match: be open about it,contact Tanja

I . . .

Find a summary on:https://www.illc.uva.nl/MScLogic/people/mentors.html

What to do when

I No ideal timeline: don’t panic, talk to your mentor

I Financial problems: panic, talk to everybody

I Administrative problems: go to Tanja Kassenaar

I You want to drop a course: inform the teacher

I You do not like a course: express it in the evaluation, talkto the OC.

I You want to change track: inform your mentor

I You and your supervisor do not match: talk to your mentor

I You and your mentor do not match: be open about it,contact Tanja

I . . .

Find a summary on:https://www.illc.uva.nl/MScLogic/people/mentors.html

What to do when

I No ideal timeline: don’t panic, talk to your mentor

I Financial problems: panic, talk to everybody

I Administrative problems: go to Tanja Kassenaar

I You want to drop a course: inform the teacher

I You do not like a course: express it in the evaluation, talkto the OC.

I You want to change track: inform your mentor

I You and your supervisor do not match: talk to your mentor

I You and your mentor do not match: be open about it,contact Tanja

I . . .

Find a summary on:https://www.illc.uva.nl/MScLogic/people/mentors.html

What to do when

I No ideal timeline: don’t panic, talk to your mentor

I Financial problems: panic, talk to everybody

I Administrative problems: go to Tanja Kassenaar

I You want to drop a course: inform the teacher

I You do not like a course: express it in the evaluation, talkto the OC.

I You want to change track: inform your mentor

I You and your supervisor do not match: talk to your mentor

I You and your mentor do not match: be open about it,contact Tanja

I . . .

Find a summary on:https://www.illc.uva.nl/MScLogic/people/mentors.html

What to do when

I No ideal timeline: don’t panic, talk to your mentor

I Financial problems: panic, talk to everybody

I Administrative problems: go to Tanja Kassenaar

I You want to drop a course: inform the teacher

I You do not like a course: express it in the evaluation, talkto the OC.

I You want to change track: inform your mentor

I You and your supervisor do not match: talk to your mentor

I You and your mentor do not match: be open about it,contact Tanja

I . . .

Find a summary on:https://www.illc.uva.nl/MScLogic/people/mentors.html

MasterofLogic2016/17v0.9.2:https://github.com/cschaffner/MoLOverviewPosterSuggestionsandcommentsarewelcome!

Sep/Okt2016Nov/Dec 2016

Feb/Mar2017

Apr/May2017

MathematicalLogic Theoretical

ComputerScience

ComputationalLinguistics /AI

[MoL-FNWI]Basic

Probability:Theory

(Schaffner)[3EC]

[MoL-FNWI]Functional

SpecificationofAlgorithms(vEijck) [MoL-FNWI]

RecursionTheory

(Rodenburg)

[MScCS-VU]ConcurrencyTheory(Ponse)

[MoL-FNWI]LambdaCalculus(Rodenburg)

[MastMath-UvA]Quantumcomputing(dWolf)[8EC]

[MoL-FNWI]ComputabilityandInteraction

(Baeten)

[MoL-FNWI]KolmogorovComplexity(Torenvliet)

[MoL-FNWI]InformationTheory

(Schaffner)

L&C

[MoL-FNWI]ComputationalComplexity(Buhrman)

L&C

L&M

[MoL-FNWI]Dynamic

EpistemicLogic(Baltag)

[MoL-FGW]PhilosophyofMathematics(Incurvati)

[MoL-FNWI]BasicLogic(Incurvati)

some

Cognition

PhilosophicalLogic

[MoL-FNWI]Logicand

Conversation(Roelofsen)

[MoL-FGW]StructuresforSemantics(Aloni)

L&L

[MoL-FGW]Meaning,Reference

andModality(Dekker)

L&LL&P[MoL-FNWI]

PhilosophicalLogic(vRooij)

L&P[GSHum]Time

(vLambalgen)

[MoL-FGW]Advancedtopicsin

PhilosophyofLanguage(Betti)

Logic,Languageand

Computation(Aloni)[3EC]

all

Philosophy

[MScAI]Knowledge

Representation(vHarmelen)

[MScAI]NaturalLanguage

Processing1(Deoskar)

[MScB&CS]FoundationsofNeuralandCognitiveModelling(TBA)

[MoL-FNWI]LogicalMethodsinCognitiveScience

(Szymanik)

[MScB&CS]CognitiveModelsofLanguageand

Music(TBA)

[MScB&CS]MusicCognition

(Honing)

[MScAI]Knowledge

RepresentationfortheWeb(Schlobach)

[MoL-FNWI]ComputationalSemanticsandPragmatics(Fernandez)

[MScAI]UnsupervisedLanguageLearning(Zuidema)

[MScAI]NaturalLanguage

Processing2(Sima'an)

MandatoryCoursesofTracks:L&P: Logic&PhilosophyL&L:Logic&LanguageL&C: Logic&ComputationL&M: Logic&Mathematics

L&M

[MoL-FNWI]Basic

Probability:Programming(Schaffner,Schulz)[3EC]

[MScCS-VU]DistributedAlgorithms(Fokkink)

[RM-Ling]GenerativeGrammar

(Iatridu)

[MScB&CS]CognitionandLanguage

Development(Schaeffer)

[MoL-FGW]Rationality,

CognitionandReasoning

(vLambalgen)

[GSHum]Introduction

tothePhilosophyofLanguage(Brouwer)

[MAPhil]PhilosophyofCognition(Brouwer)

[MAPhil]EarlyModernPhilosophyoflanguage(Maat)

[MoL-FNWI]Logic,Knowledge

andScience(Smets)

[MoL-FGW]Ethics,Ontology,Life:Wittgenstein's

LaterWork(Stokhof)

[MAPhil]Kant,Logicand

Cognition(vLambalgen)

[MoL-FGW]PossibleWorlds:

LogicandMetaphysics

(Berto)

[MAPhil]CausalInference:

PhilosophicalTheoryandModernPractice

(Schulz)

[MAPhil]Techno-scienceandEpistemology

(Russo)

[MScCS-VU]LogicalVerification

(vRaamsdonk)

[BScWisk]IntroductiontoModalLogic(Bezhanishvili,

Enqvist)

[MoL-FNWI]CapitaSelecta:ModalLogic,

Algebra,Coalgebra(Venema,Enqvist)

[MoL-FNWI]CategoryTheory

(vdBerg)

[MastMath-UvA]SetTheory(Hart)[8EC]

[MoL-FNWI]SeminarMathematicalLogic

(Löwe)[3EC]

[MastMath-UvA]Mathematical

StructuresinLogic(Bezhanishvili)

[MoL-FNWI]ProofTheory(vdBerg)

L&M[MoL-FNWI]ModelTheory

(vdBerg)

L&M[BScWisk]

AxiomaticSetTheory(Baltag)

L&M

exclusiveor

TheoreticalLinguistics

[MoL-FNWI]CapitaSelecta:SetTheory(Löwe)

[MastMath-RU]IntuitionisticMathematics

(Veldman)[8EC]

[MoL-FNWI]IntuitionisticLogic(deJongh andCiardelli)

[RM-Ling]FunctionalDiscourse

Grammar(Hengeveld)

EconomicTheory

[MoL-FNWI]Game Theory(Endriss)

[MoL-FNWI]ComputationalSocialChoice(Endriss)

Basic Probability: Theory

I starts next Monday 5 Sep 2016, at 9:00 in SP G0.18B

I 3-ECTS deficiency course for studens interested incomputation track and AI

I Content: Counting and Sets, Probability, Discrete andContinuous Random Variables, Statistics, ExpectationMaximisation, Information Theory

I Modern teaching style: flipped-classroom, moodle, . . .

I Sign up by following the procedure onhttps://basicprobability.github.io/

I See you!