Aktiviteter per år
Aktiviteter
Sökresultat
-
A proof-theoretic approach to formal epistemology
Pavlovic, E. (!!Speaker) & Negri, S. (!!Speaker)
21 sep. 2020Aktivitet: Typer för tal eller presentation › !!Oral presentation
-
Mathematisches Forschungsinstitut Oberwolfach
Negri, S. (Besökande forskare)
8 nov. 2020 → 15 nov. 2020Aktivitet: Typer för besök till extern institution › Akademisk besök på annan institution
-
Sequent calculi for logics of agency: The deliberative STIT
Negri, S. (!!Speaker)
12 nov. 2019Aktivitet: Typer för tal eller presentation › !!Invited talk
-
26th Workshop on Logic, Language, Information and Computation
Negri, S. (Närvarande) & Girlando, M. (Talare: Presentation)
2 juli 2019 → 5 juli 2019Aktivitet: Typer för deltagande i eller organisering av evenemang › Arrangemang av och deltagande i konferens/workshop/kurs/seminarium
-
Peter Schuster
Negri, S. (Värd)
5 mars 2019 → 10 mars 2019Aktivitet: Typer för att vara värd för en besökare › Akademiskt besök på HU
-
Remembering Roy Dyckhoff
Negri, S. (!!Speaker) & Graham-Lengrand, S. (!!Speaker)
3 sep. 2019Aktivitet: Typer för tal eller presentation › !!Invited talk
-
CLMPST2019
Negri, S. (Ordförande för vetenskaplig kommitté)
9 aug. 2019Aktivitet: Typer för deltagande i eller organisering av evenemang › Arrangemang av och deltagande i konferens/workshop/kurs/seminarium
-
4th SILFS Postgraduate Conference on Logic and Philosophy of Science
Negri, S. (Närvarande)
4 juni 2019Aktivitet: Typer för deltagande i eller organisering av evenemang › Arrangemang av och deltagande i konferens/workshop/kurs/seminarium
-
Extending the scope of Glivenko’s theorem
Negri, S. (!!Speaker)
9 aug. 2019Aktivitet: Typer för tal eller presentation › !!Oral presentation
-
Peter Schuster
Negri, S. (Värd)
11 dec. 2019 → 15 dec. 2019Aktivitet: Typer för att vara värd för en besökare › Akademiskt besök på HU
-
CLMPST2019
Negri, S. (Närvarande) & Pavlovic, E. (Talare: Presentation)
9 aug. 2019Aktivitet: Typer för deltagande i eller organisering av evenemang › Arrangemang av och deltagande i konferens/workshop/kurs/seminarium
-
IANUA Summer School
Negri, S. (Talare: Presentation)
12 juli 2019Aktivitet: Typer för deltagande i eller organisering av evenemang › Arrangemang av och deltagande i konferens/workshop/kurs/seminarium
-
Hidenori Kurokawa
Negri, S. (Värd)
28 nov. 2019 → 4 dec. 2019Aktivitet: Typer för att vara värd för en besökare › Akademiskt besök på HU
-
4th SILFS Postgraduate Conference on Logic and Philosophy of Science
Negri, S. (Närvarande) & Pavlovic, E. (Talare: Presentation)
4 juni 2019Aktivitet: Typer för deltagande i eller organisering av evenemang › Arrangemang av och deltagande i konferens/workshop/kurs/seminarium
-
Third Tübingen Conference on Proof-Theoretic Semantics
Negri, S. (Talare: Presentation)
27 mars 2019 → 31 mars 2019Aktivitet: Typer för deltagande i eller organisering av evenemang › Arrangemang av och deltagande i konferens/workshop/kurs/seminarium
-
PhD Committee member
Negri, S. (Annan roll (beskriv i "Relationsbeskrivning"))
7 aug. 2019Aktivitet: Examinationstyper › Förhandsgranskare av doktorsavhandling
-
A three-fold method for non-classical logics
Negri, S. (Närvarande)
1 maj 2019Aktivitet: Typer för deltagande i eller organisering av evenemang › Public Talks
-
Workshop "Proof theory in logic"
Negri, S. (Talare: Presentation)
1 juli 2019Aktivitet: Typer för deltagande i eller organisering av evenemang › Arrangemang av och deltagande i konferens/workshop/kurs/seminarium
-
Unveiling the constructive core of classical theories: A contribution to 90 years of Glivenko's theorem
Negri, S. (!!Speaker)
2 maj 2019Aktivitet: Typer för tal eller presentation › !!Invited talk
-
Univ Gothenburg, University of Gothenburg, Dept Philosophy Linguist & Theory Sci (Extern organisation)
Negri, S. (Expert)
6 nov. 2019 → 25 nov. 2019Aktivitet: Medlemskapstyper › Medlemskap eller annan roll i granskningskommitté
-
Associazione Italiana di Logica e sue Applicazioni (Extern organisation)
Negri, S. (Medlem)
1 juli 2019 → 15 nov. 2019Aktivitet: Medlemskapstyper › Medlemskap eller annan roll i granskningskommitté
-
Syntax for semantics
Negri, S. (!!Invited speaker)
12 aug. 2019Aktivitet: Typer för tal eller presentation › !!Oral presentation
-
Mathematical Reviews (Tidskrift)
Negri, S. (Referentgranskare)
7 feb. 2018 → 8 feb. 2018Aktivitet: Typer för peer review av output och redaktionsarbete › Referentgranskning av manuskript
-
Visit for research collaboration
Negri, S. (Deltagare)
9 jan. 2018 → 14 jan. 2018Aktivitet: Andra aktivitetstyper › Typer av övriga aktiviteter - Övrigt
-
committee member for Rasmus Rendsvig's doctoral dissertation
Negri, S. (Handledare)
16 mars 2018Aktivitet: Examinationstyper › Förhandsgranskare av doktorsavhandling
-
An inferential treatment of deliberative STIT and other agentive modalities
Negri, S. (!!Speaker)
13 jan. 2018Aktivitet: Typer för tal eller presentation › !!Oral presentation
-
Reasoning in Social Context
Negri, S. (Närvarande)
31 maj 2018 → 1 juni 2018Aktivitet: Typer för deltagande i eller organisering av evenemang › Arrangemang av och deltagande i konferens/workshop/kurs/seminarium
-
Mathematical Reviews (Tidskrift)
Negri, S. (Referentgranskare)
26 nov. 2018 → 29 nov. 2018Aktivitet: Typer för peer review av output och redaktionsarbete › Referentgranskning av manuskript
-
Workshop: Proofs and Computation
Negri, S. (Närvarande)
2 juli 2018 → 6 juli 2018Aktivitet: Typer för deltagande i eller organisering av evenemang › Arrangemang av och deltagande i konferens/workshop/kurs/seminarium
-
Hausdorff Research Institute for Mathematics
Negri, S. (Besökande forskare)
8 juni 2018 → 7 juli 2018Aktivitet: Typer för besök till extern institution › Akademisk besök på annan institution
-
Theoria (Tidskrift)
Negri, S. (Medlem i redaktionell ledning)
2018 → …Aktivitet: Typer för peer review av output och redaktionsarbete › Referentgranskning av manuskript
-
External examiner of PhD thesis and opponent at PhD defence
Negri, S. (Deltagare)
2 maj 2017 → 26 maj 2017Aktivitet: Andra aktivitetstyper › Typer av övriga aktiviteter - Övrigt
-
Logic Colloquium 2017
Negri, S. (Närvarande)
14 aug. 2017 → 20 aug. 2017Aktivitet: Typer för deltagande i eller organisering av evenemang › Arrangemang av och deltagande i konferens/workshop/kurs/seminarium
-
Doxastic Agency and Epistemic Logic
Negri, S. (Talare: Presentation)
15 dec. 2017 → 16 dec. 2017Aktivitet: Typer för deltagande i eller organisering av evenemang › Arrangemang av och deltagande i konferens/workshop/kurs/seminarium
-
SILFS 2017
Negri, S. (Talare: Presentation)
20 juni 2017 → 23 juni 2017Aktivitet: Typer för deltagande i eller organisering av evenemang › Arrangemang av och deltagande i konferens/workshop/kurs/seminarium
-
A proof-theoretic approach to formal epistemology
Negri, S. (!!Speaker)
25 sep. 2017 → 28 sep. 2017Aktivitet: Typer för tal eller presentation › !!Oral presentation
-
Proof-theoretical methods for counterfactual reasoning
Negri, S. (!!Speaker)
5 nov. 2017 → 11 nov. 2017Aktivitet: Typer för tal eller presentation › !!Oral presentation
-
Report for professor position
Negri, S. (Deltagare)
6 feb. 2017 → 7 feb. 2017Aktivitet: Andra aktivitetstyper › Typer av övriga aktiviteter - Övrigt
-
What is philosophical logic?
Negri, S. (!!Speaker)
18 maj 2017Aktivitet: Typer för tal eller presentation › !!Oral presentation
-
Reasoning with counterfactual scenarios: from models to proofs
Negri, S. (!!Speaker)
18 aug. 2017Aktivitet: Typer för tal eller presentation › !!Oral presentation
-
Un approccio dimostrazionistico all’epistemologia formale
Negri, S. (!!Speaker)
19 okt. 2017Aktivitet: Typer för tal eller presentation › !!Oral presentation
-
Philosophy of mathematics: history, theories and practice
Negri, S. (Närvarande)
8 maj 2017Aktivitet: Typer för deltagande i eller organisering av evenemang › Arrangemang av och deltagande i konferens/workshop/kurs/seminarium
-
Mathematical Reviews (Tidskrift)
Negri, S. (Referentgranskare)
29 juli 2017 → 30 juli 2017Aktivitet: Typer för peer review av output och redaktionsarbete › Referentgranskning av manuskript
-
Humboldt Kolleg Proof Theory as Mathesis Universalis
Negri, S. (Medlem i organisationskommitté)
24 juli 2017 → 28 juli 2017Aktivitet: Typer för deltagande i eller organisering av evenemang › Arrangemang av och deltagande i konferens/workshop/kurs/seminarium
-
Report HDR
Negri, S. (Deltagare)
8 feb. 2017 → 9 feb. 2017Aktivitet: Andra aktivitetstyper › Typer av övriga aktiviteter - Övrigt
-
Logica 2016
Negri, S. (Talare: Inledningsanförande (keynote))
20 juni 2016 → 24 juni 2016Aktivitet: Typer för deltagande i eller organisering av evenemang › Arrangemang av och deltagande i konferens/workshop/kurs/seminarium
-
Scandinavian Logic Society Summer School 2017
Negri, S. (Medlem i organisationskommitté)
juli 2016 → …Aktivitet: Typer för deltagande i eller organisering av evenemang › Arrangemang av och deltagande i konferens/workshop/kurs/seminarium
-
Modalities, Conditionals, and Values: A Symposium on Philosophical Logic in Celebration of the Centenary of Georg Henrik von Wright.
Negri, S. (Ordförande i organisationskommitté)
23 maj 2016 → 25 maj 2016Aktivitet: Typer för deltagande i eller organisering av evenemang › Arrangemang av och deltagande i konferens/workshop/kurs/seminarium
-
Logic Colloquium 2017
Negri, S. (Medlem i organisationskommitté)
sep. 2016 → …Aktivitet: Typer för deltagande i eller organisering av evenemang › Arrangemang av och deltagande i konferens/workshop/kurs/seminarium
-
invited seminar
Negri, S. (Talare: Presentation)
6 maj 2016Aktivitet: Typer för deltagande i eller organisering av evenemang › Arrangemang av och deltagande i konferens/workshop/kurs/seminarium