Post on 23-Sep-2020
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!