
19 Aug '21
1
0

[fm-announcements] [FMICS 2021] Call for Participation
by Perez Dominguez, Ivan (LARC-D320)[NATIONAL INSTITUTE OF AEROSPACE] via fm-announcements 18 Aug '21
by Perez Dominguez, Ivan (LARC-D320)[NATIONAL INSTITUTE OF AEROSPACE] via fm-announcements 18 Aug '21
18 Aug '21
1
0

Logica Universalis Webinar - August 18 - Logical constants in abstract frameworks and A Note on Logicality of Generalized Quantifiers by Tin Perkov
by Antje Herbst 16 Aug '21
by Antje Herbst 16 Aug '21
16 Aug '21
1
0

Yale Weiss / Saul Kripke Center / Mel Fitting / LUWebinar today at 16 pm CET
by jean-yves beziau 11 Aug '21
by jean-yves beziau 11 Aug '21
11 Aug '21
1
0

PhD positions in Computer Science and Artificial Intelligence at DISI - University of Trento
by Marco Roveri 10 Aug '21
by Marco Roveri 10 Aug '21
10 Aug '21
1
0

Logica Universalis Webinar - August 11 - A Reinterpretation of the Semilattice Semantics with Applications by Yale Weiss
by Antje Herbst 10 Aug '21
by Antje Herbst 10 Aug '21
10 Aug '21
1
0

26 Jul '21
1
0

Postdoctoral position on verification of concurrent systems via model learning, Royal Holloway University of London, Deadline: 31 Aug 2021
by Matteo Sammartino 26 Jul '21
by Matteo Sammartino 26 Jul '21
26 Jul '21
1
0

Logica Universalis Webinar - July 21 - A Venn Diagram System for Universe Without Boundary by Reetu Bhattacharjee
by Antje Herbst 20 Jul '21
by Antje Herbst 20 Jul '21
20 Jul '21
1
0

Logica Universalis Webinar - July 14 - From Necessary Truths to Feelings: The Foundations of Mathematics in Leibniz and Schopenhauer by Laura Follesa
by Antje Herbst 12 Jul '21
by Antje Herbst 12 Jul '21
12 Jul '21
1
0