Aktiviteter per år
Aktiviteter
Sökresultat
-
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
-
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
-
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
-
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
-
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
-
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
-
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
-
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
-
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
-
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
-
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
-
Invited research seminar
Negri, S. (Talare: Presentation)
4 juli 2016Aktivitet: Typer för deltagande i eller organisering av evenemang › Arrangemang av och deltagande i konferens/workshop/kurs/seminarium
-
Advances in Modal Logic 2016
Negri, S. (New classification)
30 aug. 2016 → 2 sep. 2016Aktivitet: Typer för deltagande i eller organisering av evenemang › Arrangemang av och deltagande i konferens/workshop/kurs/seminarium
-
Modi della Logica e Forme della Scienza
Negri, S. (Talare: Presentation)
20 okt. 2016Aktivitet: Typer för deltagande i eller organisering av evenemang › Arrangemang av och deltagande i konferens/workshop/kurs/seminarium
-
Workshop on Proof Theory and Modal Logic
Negri, S. (Närvarande)
2 dec. 2016Aktivitet: Typer för deltagande i eller organisering av evenemang › Arrangemang av och deltagande i konferens/workshop/kurs/seminarium
-
Advances in Modal Logic (AiML) 2016
Negri, S. (Medlem av vetenskaplig kommitté)
feb. 2016 → sep. 2016Aktivitet: Typer för deltagande i eller organisering av evenemang › Arrangemang av och deltagande i konferens/workshop/kurs/seminarium
-
Jaakko Hintikka Memorial Conference: Legacy in Game-Theoretical Semantics and Epistemic Logic
Negri, S. (Talare: Presentation)
8 sep. 2016 → 9 sep. 2016Aktivitet: Typer för deltagande i eller organisering av evenemang › Arrangemang av och deltagande i konferens/workshop/kurs/seminarium
-
invited seminar
Negri, S. (Talare: Presentation)
16 dec. 2015Aktivitet: Typer för deltagande i eller organisering av evenemang › Arrangemang av och deltagande i konferens/workshop/kurs/seminarium
-
Well quasi-orders: From theory to applications. Hamburg, DMV-Jahrestagung 2015.
Negri, S. (Talare: Presentation)
24 sep. 2015 → 25 sep. 2015Aktivitet: Typer för deltagande i eller organisering av evenemang › Arrangemang av och deltagande i konferens/workshop/kurs/seminarium
-
CLMPS 2015
Negri, S. (Talare: Presentation)
3 aug. 2015 → 8 aug. 2015Aktivitet: Typer för deltagande i eller organisering av evenemang › Arrangemang av och deltagande i konferens/workshop/kurs/seminarium
-
Estonian-Finnish Logic Meeting
Negri, S. (Talare: Presentation)
13 nov. 2015 → 15 nov. 2015Aktivitet: Typer för deltagande i eller organisering av evenemang › Arrangemang av och deltagande i konferens/workshop/kurs/seminarium
-
CLMPS affiliated meeting: Proof theory of modal and non-classical logics
Negri, S. (Ordförande i organisationskommitté)
7 aug. 2015Aktivitet: Typer för deltagande i eller organisering av evenemang › Arrangemang av och deltagande i konferens/workshop/kurs/seminarium
-
"Trends in Proof Theory". DMV-Jahrestagung 2015 affiliated meeting.
Negri, S. (Talare: Presentation)
20 sep. 2015 → 21 sep. 2015Aktivitet: Typer för deltagande i eller organisering av evenemang › Arrangemang av och deltagande i konferens/workshop/kurs/seminarium
-
invited seminar
Negri, S. (Talare: Presentation)
23 nov. 2015Aktivitet: Typer för deltagande i eller organisering av evenemang › Arrangemang av och deltagande i konferens/workshop/kurs/seminarium
-
Invited seminar
Negri, S. (Talare: Presentation)
14 okt. 2015Aktivitet: Typer för deltagande i eller organisering av evenemang › Arrangemang av och deltagande i konferens/workshop/kurs/seminarium
-
Tableaux 2015. Automated Reasoning with Analytic Tableaux and Related Methods
Negri, S. (New classification)
20 sep. 2015 → 24 sep. 2015Aktivitet: Typer för deltagande i eller organisering av evenemang › Arrangemang av och deltagande i konferens/workshop/kurs/seminarium
-
The International Joint Conference on Automated Reasoning 2016
Negri, S. (Medlem av vetenskaplig kommitté)
31 juli 2015 → 2 juli 2016Aktivitet: Typer för deltagande i eller organisering av evenemang › Arrangemang av och deltagande i konferens/workshop/kurs/seminarium
-
Estonian-Finnish Logic Meeting
Negri, S. (Talare: Presentation)
13 nov. 2015 → 15 nov. 2015Aktivitet: Typer för deltagande i eller organisering av evenemang › Arrangemang av och deltagande i konferens/workshop/kurs/seminarium
-
Computability in Europe 2014
Negri, S. (Medlem av vetenskaplig kommitté)
1 feb. 2014 → 3 mars 2014Aktivitet: Typer för deltagande i eller organisering av evenemang › Arrangemang av och deltagande i konferens/workshop/kurs/seminarium
-
SILFS 2014 Triennial Conference of the Italian Society for Logic and Philosophy of Science and Satellite Workshop 'Current Trends in the Philosophy of Logic'
Negri, S. (Talare: Presentation)
18 juni 2014 → 21 juni 2014Aktivitet: Typer för deltagande i eller organisering av evenemang › Arrangemang av och deltagande i konferens/workshop/kurs/seminarium
-
Algebra and Coalgebra meet Proof Theory (ALCOP 2014)
Negri, S. (Talare: Inledningsanförande (keynote))
15 maj 2014 → 16 maj 2014Aktivitet: Typer för deltagande i eller organisering av evenemang › Arrangemang av och deltagande i konferens/workshop/kurs/seminarium
-
XXV incontro dell'Associazione Italiana di Logica e sue Applicazioni
Negri, S. (Talare: Presentation)
14 apr. 2014 → 17 apr. 2014Aktivitet: Typer för deltagande i eller organisering av evenemang › Arrangemang av och deltagande i konferens/workshop/kurs/seminarium
-
Modality and Modalities M&M2014
Negri, S. (Talare: Presentation)
22 maj 2014 → 24 maj 2014Aktivitet: Typer för deltagande i eller organisering av evenemang › Arrangemang av och deltagande i konferens/workshop/kurs/seminarium
-
Proof, Truth, Computation: Summer School on the Interactions between Modern Foundations of Mathematics and Contemporary Philosophy
Negri, S. (Talare: Presentation)
21 juli 2014 → 25 juli 2014Aktivitet: Typer för deltagande i eller organisering av evenemang › Arrangemang av och deltagande i konferens/workshop/kurs/seminarium
-
Proof Structure Computation 2014, July 16-17
Negri, S. (Medlem i organisationskommitté)
1 apr. 2014 → 31 maj 2014Aktivitet: Typer för deltagande i eller organisering av evenemang › Arrangemang av och deltagande i konferens/workshop/kurs/seminarium
-
Scuola Estiva di Logica
Negri, S. (Talare: Inledningsanförande (keynote))
24 aug. 2014 → 30 aug. 2014Aktivitet: Typer för deltagande i eller organisering av evenemang › Arrangemang av och deltagande i konferens/workshop/kurs/seminarium
-
Advances in Modal Logic 2014
Negri, S. (Talare: Inledningsanförande (keynote))
5 aug. 2014 → 8 aug. 2014Aktivitet: Typer för deltagande i eller organisering av evenemang › Arrangemang av och deltagande i konferens/workshop/kurs/seminarium
-
WoLLIC 2014
Negri, S. (Medlem i organisationskommitté)
31 okt. 2013 → 2 maj 2014Aktivitet: Typer för deltagande i eller organisering av evenemang › Arrangemang av och deltagande i konferens/workshop/kurs/seminarium
-
Workshop on Formalization in Philosophy II
Negri, S. (Talare: Presentation)
12 dec. 2013 → 13 dec. 2013Aktivitet: Typer för deltagande i eller organisering av evenemang › Arrangemang av och deltagande i konferens/workshop/kurs/seminarium
-
9th Scandinavian Logic Symposium
Negri, S. (Ordförande i organisationskommitté)
20 maj 2013 → …Aktivitet: Typer för deltagande i eller organisering av evenemang › Arrangemang av och deltagande i konferens/workshop/kurs/seminarium
-
Intensionality in Mathematics
Negri, S. (Talare: Presentation)
11 maj 2013 → 12 maj 2013Aktivitet: Typer för deltagande i eller organisering av evenemang › Arrangemang av och deltagande i konferens/workshop/kurs/seminarium