ABCDEFGHIJKLMNOPQRSTUVWXYZ
1
YearEditionLocationNameInstitutionWebsiteTitleTypeAll AuthorsSubareaNotes
2
20171st WiLReykjavík, IcelandCatuscia Palamidessi
INRIA / LIX, École Polytechnique, France
https://dblp.org/pid/p/CPalamidessi.htmlDifferential Privacy and Applications to Location PrivacyInvited talkCatuscia PalamidessiAI & Applications
3
20171st WiLReykjavík, IcelandClaudia NalonUniversity of Brasília, Brazilhttps://www.cic.unb.br/~nalonStrategies for Modal Theorem-ProvingInvited talkClaudia NalonAutomated Reasoning & Verification
4
20171st WiLReykjavík, IcelandIlina Stoilkovskahttps://istoilkovska.github.io/A Framework for Automated Verification of Synchronous Fault-Tolerant Distributed AlgorithmsContributed talkIlina StoilkovskaAutomated Reasoning & Verification
5
20171st WiLReykjavík, IcelandSilvia SteilaUniversità di Torino, Italy
http://www.logicatorino.altervista.org/steila/publications.html
A combinatorial bound for a restricted form of the Termination TheoremContributed talkSilvia SteilaComputability & Complexity
6
20171st WiLReykjavík, IcelandYuting (Kino) Zhaohttps://kinozhao.com/A model theoretic discussion of statistical learningContributed talkYuting (Kino) ZhaoAI & Applications
7
20171st WiLReykjavík, IcelandAlice Pavaux
https://dblp.uni-trier.de/pid/203/8608.html
Inductive and Functional Types in LudicsContributed talkAlice PavauxProof Theory
8
20171st WiLReykjavík, IcelandRehana Patel
African Institute for Mathematical Sciences, Senegal
https://aims-senegal.org/researcher/prof-rehana-patel-2-2/
Computability of algebraic and definable closureContributed talkRehana PatelComputability & Complexity
9
20171st WiLReykjavík, IcelandAndrea Aler Tubellahttps://dblp.org/pid/198/1304.htmlSubatomic Proof SystemsContributed talkAndrea Aler TubellaProof Theory
10
20171st WiLReykjavík, IcelandMadalina Erascu
https://dblp.org/search?q=Madalina%20Erascu
Computational Logic and Quantifier Elimination Techniques for Optimal Numerical AlgorithmsContributed talkMadalina ErascuAutomated Reasoning & Verification
11
20171st WiLReykjavík, IcelandGiselle Reishttps://dblp.org/pid/72/9473.htmlTranslations from Resolution to Sequent CalculusContributed talkGiselle ReisProof Theory
12
20171st WiLReykjavík, IcelandLine Jakubiec-Jamet
https://dblp.org/search?q=Line%20Jakubiec-Jamet
Natural Language Processing and Coq: a case-studyContributed talkLine Jakubiec-JametNatural Language & Linguistics
13
20171st WiLReykjavík, IcelandMaria Emilia Descotte
https://dblp.org/search?q=Maria%20Emilia%20Descotte
Axiomatizations for Downward XPathContributed talkMaria Emilia DescotteAutomated Reasoning & Verification
14
20182nd WiL
Oxford, United Kingdom (FLoC)
Perdita Stevens
University of Edinburgh, United Kingdom
https://www.stevens-bradfield.com/~perdita/
Logic and Software Engineering: Are We Nearly There Yet?Invited talkPerdita StevensAutomated Reasoning & Verification
15
20182nd WiL
Oxford, United Kingdom (FLoC)
Brigitte PientkaMcGill University, Canadahttps://www.cs.mcgill.ca/~bpientka/POPLMark Reloaded: Mechanizing Logical Relations ProofsInvited talkBrigitte PientkaType Theory & Programming Languages
16
20182nd WiL
Oxford, United Kingdom (FLoC)
Shufang Zhu
https://dblp.org/search?q=Shufang%20Zhu
First-Order vs. Second-Order Encodings for LTLf-to-Automata TranslationContributed talkShufang Zhu; Geguang Pu; Moshe VardiAutomata & Formal Languages
17
20182nd WiL
Oxford, United Kingdom (FLoC)
Ornela Dardha
University of Glasgow, United Kingdom
https://www.dcs.gla.ac.uk/~ornela/A New Linear Logic for Deadlock-Free Session-Typed ProcessesContributed talkOrnela Dardha; Simon GayType Theory & Programming Languages
18
20182nd WiL
Oxford, United Kingdom (FLoC)
Liron CohenBen-Gurion University, Israelhttps://www.lironcohenlab.com/On Expanding Standard Notions of ConstructivityContributed talkLiron Cohen; Ariel KellisonProof Theory
19
20182nd WiL
Oxford, United Kingdom (FLoC)
Sonia Marin
University of Birmingham, United Kingdom
https://filipendule.github.io/Decomposing labelled proof theory for intuitionistic modal logicContributed talkSonia Marin; Marianela Morales; Lutz StraßburgerModal & Non-Classical Logic
20
20182nd WiL
Oxford, United Kingdom (FLoC)
Elaine Pimentel
University College London, United Kingdom
https://sites.google.com/site/elainepimentel/
A semantical view of sequent based systemsContributed talkElaine PimentelProof Theory
21
20182nd WiL
Oxford, United Kingdom (FLoC)
Çigdem Gencer
https://dblp.org/search?q=%C3%87igdem%20Gencer
About the unification type of topological logics over Euclidean spacesContributed talkÇigdem GencerModal & Non-Classical Logic
22
20182nd WiL
Oxford, United Kingdom (FLoC)
Nemi Pelgrom
https://dblp.org/search?q=Nemi%20Pelgrom
Can every real proof be represented by a formal proof? The Hilbert-Gentzen thesisContributed talkNemi PelgromPhilosophy & History of Logic
23
20182nd WiL
Oxford, United Kingdom (FLoC)
Giselle Reishttps://dblp.org/pid/72/9473.htmlTowards a Playground for LogiciansContributed talkGiselle ReisProof Theory
24
20182nd WiL
Oxford, United Kingdom (FLoC)
Liron CohenBen-Gurion University, Israelhttps://www.lironcohenlab.com/Non-well-founded proof system for Transitive Closure LogicContributed talkLiron Cohen; Reuben RoweProof Theory
25
20182nd WiL
Oxford, United Kingdom (FLoC)
Cláudia NalonUniversity of Brasília, Brazilhttps://www.cic.unb.br/~nalonOn the Combination of Resolution and SAT Procedures for Modal Theorem-ProvingContributed talkCláudia Nalon; Daniella AngelosAutomated Reasoning & Verification
26
20182nd WiL
Oxford, United Kingdom (FLoC)
Hanna Lachnitt
https://dblp.org/search?q=Hanna%20Lachnitt
Embedding Intuitionistic Modal Logics in Higher-Order Logic. An Easy Task?Contributed talkHanna Lachnitt; Christoph Benzmüller; Maximilian ClausModal & Non-Classical Logic
27
20182nd WiL
Oxford, United Kingdom (FLoC)
Trisha Nowland
https://dblp.org/search?q=Trisha%20Nowland
Towards a Logical Framework for Latent Variable ModellingContributed talkTrisha Nowland; Simon BoagAI & Applications
28
20193rd WiLVancouver, Canada (LICS)Anne Condon
University of British Columbia, Canada
https://www.cs.ubc.ca/~condon/Computing with MoleculesInvited talkAnne CondonComputability & Complexity
29
20193rd WiLVancouver, Canada (LICS)Zena AriolaUniversity of Oregon, USAhttp://ix.cs.uoregon.edu/~ariola/The Interplay between Logic and ComputationInvited talkZena AriolaComputability & Complexity
30
20193rd WiLVancouver, Canada (LICS)Mani Ahttps://dblp.org/search?q=A.+Mani+logicRough Contact in General Rough MereologyContributed talkMani AModal & Non-Classical Logic
31
20193rd WiLVancouver, Canada (LICS)Katalin Bimbohttps://dblp.org/pid/60/3346.htmlReverse Computation in Finite State AutomataContributed talkKatalin BimboAutomata & Formal Languages
32
20193rd WiLVancouver, Canada (LICS)Sandra Kiefer
University of Oxford, United Kingdom
https://www.cs.ox.ac.uk/people/sandra.kiefer/
A Linear Upper Bound on the Weisfeiler-Leman Dimension of Graphs of Bounded GenusContributed talkSandra KieferComputability & Complexity
33
20193rd WiLVancouver, Canada (LICS)Suguman Bansalhttps://dblp.org/pid/217/4777.htmlAnytime procedures in quantitative reasoningContributed talkSuguman Bansal; Moshe VardiProbabilistic & Quantitative Methods
34
20193rd WiLVancouver, Canada (LICS)Luciana Garbayo
https://dblp.org/search?q=Luciana%20Garbayo
Dependence Logic & Medical Guidelines Disagreement: An Informational (In)dependence AnalysisContributed talkLuciana GarbayoModal & Non-Classical Logic
35
20193rd WiLVancouver, Canada (LICS)Réka Markovichhttps://dblp.org/pid/164/3994.htmlAn Agent-based Conceptual Analysis of Rights and Duties with Multimodal LogicContributed talkRéka MarkovichModal & Non-Classical Logic
36
20193rd WiLVancouver, Canada (LICS)Ana Sokolovahttps://dblp.org/pid/66/6060.htmlVarious Semantics for Probabilistic Automata, CoalgebraicallyContributed talkAna SokolovaProbabilistic & Quantitative Methods
37
20204th WiL
Paris, France / online (FSCD)
Shruti Biswal
https://dblp.org/search?q=Shruti%20Biswal
Hybrid representation of transition relations for SaturationContributed talkShruti Biswal; Andrew S MinerAutomated Reasoning & Verification
38
20204th WiL
Paris, France / online (FSCD)
Nompumelelo Makhanya
https://dblp.org/search?q=Nompumelelo%20Makhanya
Improving the system failure of Learner Management Information: The case of Services SetaContributed talkNompumelelo MakhanyaAI & Applications
39
20204th WiL
Paris, France / online (FSCD)
Anahit Chubaryan
https://dblp.org/search?q=Anahit%20Chubaryan
On monotonous and strong monotonous properties of some propositional proof systems for two valued and finally-many-valued logics.Contributed talkAnahit Chubaryan; Sergey SayadyanProof Theory
40
20204th WiL
Paris, France / online (FSCD)
Gihanee M. Senadheera
https://dblp.org/search?q=Gihanee%20M.%20Senadheera
Existence of PACi Incomparable DegreesContributed talkGihanee M. SenadheeraComputability & Complexity
41
20204th WiL
Paris, France / online (FSCD)
Anahit Chubaryan
https://dblp.org/search?q=Anahit%20Chubaryan
On three types of universal propositional proof systems for all versions of many-valued logics and some properties of them.Contributed talkAnahit Chubaryan; Hakob NalbandyanProof Theory
42
20204th WiL
Paris, France / online (FSCD)
Paola Zizzi
https://dblp.org/search?q=Paola%20Zizzi
Quantum MetalanguageContributed talkPaola ZizziType Theory & Programming Languages
43
20204th WiL
Paris, France / online (FSCD)
Sara L. UckelmanDurham University, Reino Unido
https://sluckelman.webspace.durham.ac.uk/
What Problem Did Ladd-Franklin (Think She) Solve(d)?Contributed talkSara L. UckelmanPhilosophy & History of Logic
44
20204th WiL
Paris, France / online (FSCD)
Maja Kirkeby
https://dblp.org/search?q=Maja%20Kirkeby
On the Semi-Inversion of Conditional Term Rewriting SystemsContributed talkMaja Kirkeby; Robert GlückAutomated Reasoning & Verification
45
20204th WiL
Paris, France / online (FSCD)
Sandra M. López Velasco
https://dblp.org/search?q=Sandra%20M.%20L%C3%B3pez%20Velasco
On some implicative expansions of Anderson and Belnap's First Degree Entailment LogicContributed talkSandra M. López VelascoModal & Non-Classical Logic
46
20204th WiL
Paris, France / online (FSCD)
Iris van der GiessenUtrecht University, Países Baixoshttps://dblp.org/pid/251/5711.htmlUniform interpolation in Intuitionistic Modal LogicContributed talkIris van der GiessenModal & Non-Classical Logic
47
20204th WiL
Paris, France / online (FSCD)
Ainur Basheyeva
https://dblp.org/search?q=Ainur%20Basheyeva
Quasivariety of pointed Abelian groupContributed talkAinur BasheyevaCategorical & Algebraic Logic
48
20204th WiL
Paris, France / online (FSCD)
Wendy Hammache
https://dblp.org/search?q=Wendy%20Hammache
Ways of meaningfulness : type theory in lambda-calculusContributed talkWendy HammacheType Theory & Programming Languages
49
20204th WiL
Paris, France / online (FSCD)
Irina Makarenko
https://dblp.org/search?q=Irina%20Makarenko
Free Higher-Order Logic and its Automation via EmbeddingsContributed talkIrina MakarenkoAutomated Reasoning & Verification
50
20204th WiL
Paris, France / online (FSCD)
Mariela Rubin
https://dblp.org/search?q=Mariela%20Rubin
Probabilistic coherence and bilateralismContributed talkMariela RubinProbabilistic & Quantitative Methods
51
20204th WiL
Paris, France / online (FSCD)
Katarzyna Wieslawa Kowalik
https://dblp.org/search?q=Katarzyna%20Wieslawa%20Kowalik
The Cohesiveness Principle over RCA*_0Contributed talkKatarzyna Wieslawa KowalikComputability & Complexity
52
20204th WiL
Paris, France / online (FSCD)
Marjolein Deryck
https://dblp.org/search?q=Marjolein%20Deryck
Using Logic to Decide on the Eligibility of Assets and Facilitate the Collateral ProcessContributed talkMarjolein Deryck; Nuno Comenda; Bart Coppens; Joost VennekensAI & Applications
53
20204th WiL
Paris, France / online (FSCD)
Azza Gaysin
https://dblp.org/search?q=Azza%20Gaysin
H-Coloring Dichotomy in Proof ComplexityContributed talkAzza GaysinComputability & Complexity
54
20204th WiL
Paris, France / online (FSCD)
Sara Kalvala
https://dblp.org/search?q=Sara%20Kalvala
Logical Frameworks for Biochemical Reactions and Metabolic PathwaysContributed talkSara KalvalaAI & Applications
55
20204th WiL
Paris, France / online (FSCD)
Line van den Berg
https://dblp.org/search?q=Line%20van%20den%20Berg
Forgetting Agent Awareness: a Partial Semantics ApproachContributed talkLine van den BergModal & Non-Classical Logic
56
20204th WiL
Paris, France / online (FSCD)
Rita Macedo
https://dblp.org/search?q=Rita%20Macedo
OCaml-Flat on the Ocsigen FrameworkContributed talkRita MacedoType Theory & Programming Languages
57
20204th WiL
Paris, France / online (FSCD)
Kristin Yvonne Rozierhttps://temporallogic.org/Temporal Logic Satisfiability From Specification Debugging to Benchmark GenerationContributed talkKristin Yvonne RozierAutomated Reasoning & Verification
58
20204th WiL
Paris, France / online (FSCD)
Maribel Fernandez
King's College London, United Kingdom
https://nms.kcl.ac.uk/maribel.fernandez/Nominal Syntax with Atom SubstitutionsInvited talkMaribel FernandezType Theory & Programming Languages
59
20204th WiL
Paris, France / online (FSCD)
Alexandra Silva
University College London, United Kingdom
https://alexandrasilva.org/An algebraic framework to reason about concurrencyInvited talkAlexandra SilvaCategorical & Algebraic Logic
60
20215th WiLRome, Italy / online (LICS)Rineke Verbrugge
University of Groningen, Netherlands
https://rinekeverbrugge.nl/Zero-one laws for provability logic and its transitive sistersInvited talkRineke VerbruggeModal & Non-Classical Logic
61
20215th WiLRome, Italy / online (LICS)
Simona Ronchi Della Rocca
Università di Torino, Italyhttp://www.di.unito.it/~ronchi/Intersection types for probabilistic computationInvited talkSimona Ronchi Della RoccaType Theory & Programming Languages
62
20215th WiLRome, Italy / online (LICS)Laura FontanellaLACL, França
https://dblp.org/search?q=Laura%20Fontanella
Realising weak versions of Zorn's lemmaContributed talkLaura FontanellaComputability & Complexity
63
20215th WiLRome, Italy / online (LICS)Shujun Zhang
https://dblp.org/search?q=Shujun%20Zhang
On Transforming Cut-free Cyclic Proofs into Rewriting Induction ProofsContributed talkShujun Zhang; Naoki NishidaProof Theory
64
20215th WiLRome, Italy / online (LICS)Nicole Schrader
https://dblp.org/search?q=Nicole%20Schrader
First-Order Logic with Connectivity OperatorsContributed talkNicole SchraderComputability & Complexity
65
20215th WiLRome, Italy / online (LICS)Iris van der GiessenUtrecht University, Países Baixoshttps://dblp.org/pid/251/5711.htmlRules in Intuitionistic Modal LogicsContributed talkIris van der GiessenModal & Non-Classical Logic
66
20215th WiLRome, Italy / online (LICS)Alexandra Pavlova
TU Wien / Vienna PhD School of Informatics
https://dblp.org/search?q=Alexandra%20Pavlova
Game Approach to Logical Validity: A Case of Mezhirov's Provability GameContributed talkAlexandra PavlovaProof Theory
67
20215th WiLRome, Italy / online (LICS)Cleo Pauhttps://dblp.org/search?q=Cleo%20PauSymbolic Techniques for Proximity Relations over Full Fuzzy SignaturesContributed talkCleo PauAutomated Reasoning & Verification
68
20215th WiLRome, Italy / online (LICS)Katarzyna W. Kowalik
https://dblp.org/search?q=Katarzyna%20W.%20Kowalik
Long and normal solutions for Ramsey-type principles over a weak base theoryContributed talkKatarzyna W. KowalikComputability & Complexity
69
20215th WiLRome, Italy / online (LICS)Malena Ivnisky
https://dblp.org/search?q=Malena%20Ivnisky
A finite-dimensional model for affine, linear quantum lambda calculi with general recursionContributed talkAlejandro Díaz-Caro; Malena Ivnisky; Hernan Melgratti; Benoît ValironType Theory & Programming Languages
70
20215th WiLRome, Italy / online (LICS)Sara L. UckelmanDurham University, Reino Unido
https://sluckelman.webspace.durham.ac.uk/
Women in the History of Logic: Why does it Matter Who Our Foremothers Are?Contributed talkSara L. UckelmanPhilosophy & History of Logic
71
20215th WiLRome, Italy / online (LICS)A. Manilogicamani.inhttps://dblp.org/search?q=A.+Mani+logicMereological Emptiness for the Signed Number ProblemContributed talkA. ManiModal & Non-Classical Logic
72
20215th WiLRome, Italy / online (LICS)Paola Cattabriga
https://dblp.org/search?q=Paola%20Cattabriga
Paradox freeContributed talkPaola CattabrigaPhilosophy & History of Logic
73
20215th WiLRome, Italy / online (LICS)Maureen Eckert
https://dblp.org/search?q=Maureen%20Eckert
Non-Domination and Centering in Val Plumwood's Feminist LogicContributed talkMaureen EckertPhilosophy & History of Logic
74
20226th WiLHaifa, Israel (FLoC)Delia KesnerIRIF, Université Paris Cité, Francehttps://www.irif.fr/~kesner/Embedding Quantitative Properties of Call-by-Name and Call-by-Value into Call-by-Push-ValueInvited talkDelia KesnerType Theory & Programming Languages
75
20226th WiLHaifa, Israel (FLoC)Anja Petković Komelhttps://anjapetkovic.com/The essence of type-theoretic elaborationContributed talkAnja Petković KomelType Theory & Programming Languages
76
20226th WiLHaifa, Israel (FLoC)Elena Di Lavorehttps://dblp.org/pid/265/5969.htmlMonoidal WidthContributed talkElena Di Lavore; Pawel SobocinskiCategorical & Algebraic Logic
77
20226th WiLHaifa, Israel (FLoC)Ana Oliveira Da Costa
https://dblp.org/search?q=Ana%20Oliveira%20Da%20Costa
Hypertrace LogicContributed talkAna Oliveira Da CostaModal & Non-Classical Logic
78
20226th WiLHaifa, Israel (FLoC)Alba Cuenca
https://dblp.org/search?q=Alba%20Cuenca
A goal-oriented proof system for epistemic modal logicContributed talkAlba CuencaModal & Non-Classical Logic
79
20226th WiLHaifa, Israel (FLoC)Victoria Vollmer
https://dblp.org/search?q=Victoria%20Vollmer
A Mixed Linear and Graded LogicContributed talkHarley Eades III; Victoria Vollmer; Daniel Marshall; Dominic OrchardType Theory & Programming Languages
80
20226th WiLHaifa, Israel (FLoC)Dana Fisman
Ben-Gurion University of the Negev, Israel
https://www.cs.bgu.ac.il/~dana/A normalized edit distance on finite and infinite wordsInvited talkDana FismanAutomata & Formal Languages
81
20226th WiLHaifa, Israel (FLoC)Ilina Stoilkovskahttps://istoilkovska.github.io/Automated Logic-Based Reasoning for Analyzing Prime Video CodeContributed talkIlina Stoilkovska; Pauline Bolignano; Ioannis Boutsis; Bor-Yuh Evan Chang; Stefan Giba; Vlad Nicolicin-Georgescu; Franco Raimondi; Daniel Schoepe; Daniel TattersallAutomated Reasoning & Verification
82
20226th WiLHaifa, Israel (FLoC)Silvia Buttihttps://dblp.org/pid/234/6251.htmlFixed-Template Promise Model Checking ProblemsContributed talkKristina Asimi; Libor Barto; Silvia ButtiComputability & Complexity
83
20226th WiLHaifa, Israel (FLoC)Tephilla Prince
https://dblp.org/search?q=Tephilla%20Prince
Two Dimensional Bounded Model Checking for Unbounded Client-Server SystemsContributed talkTephilla PrinceAutomated Reasoning & Verification
84
20226th WiLHaifa, Israel (FLoC)Paola Cattabriga
https://dblp.org/search?q=Paola%20Cattabriga
A note on Türing 1936Contributed talkPaola CattabrigaPhilosophy & History of Logic
85
20237th WiLRome, Italy (FSCD+CADE)Marie KerjeanLIPN, Université Paris 13, Francehttps://lipn.univ-paris13.fr/~kerjean/From functional analysis to proofs and programInvited talkMarie KerjeanProof Theory
86
20237th WiLRome, Italy (FSCD+CADE)Sandra AlvesUniversidade do Porto, Portugal
https://www.dcc.fc.up.pt/~sandra/Home/Home.html
Quantitative Weak LinearisationInvited talkSandra AlvesType Theory & Programming Languages
87
20237th WiLRome, Italy (FSCD+CADE)Irmak Saglam
https://dblp.org/search?q=Irmak%20Saglam
Rabin Games and Colourful Universal TreesContributed talkRupak Majumdar; Irmak Saglam; K. S. ThejaswiniAutomata & Formal Languages
88
20237th WiLRome, Italy (FSCD+CADE)Lia SchützeMPI-SWS, Alemanha
https://dblp.org/search?q=Lia%20Sch%C3%BCtze
Unboundedness problems for machines with reversal-bounded countersContributed talkPascal Baumann; Flavio D'Alessandro; Moses Ganardi; Oscar Ibarra; Ian McQuillan; Lia Schütze; Georg ZetzscheAutomata & Formal Languages
89
20237th WiLRome, Italy (FSCD+CADE)Manon Blanc
https://dblp.org/search?q=Manon%20Blanc
Measuring the robustness of the dynamical systems. Relating time and space to length and precisionContributed talkManon Blanc; Olivier BournezComputability & Complexity
90
20237th WiLRome, Italy (FSCD+CADE)Delia KesnerIRIF, Université Paris Cité, Francehttps://www.irif.fr/~kesner/Ecumenical typesContributed talkDelia Kesner; Mariana Milicich; Luiz Carlos Pereira; Elaine PimentelType Theory & Programming Languages
91
20237th WiLRome, Italy (FSCD+CADE)Shufang Zhu
https://dblp.org/search?q=Shufang%20Zhu
Reactive Synthesis of Linear Temporal Logic on Finite TracesContributed talkShufang ZhuAutomata & Formal Languages
92
20237th WiLRome, Italy (FSCD+CADE)Safa ZouariNTNU, Noruega
https://dblp.org/search?q=Safa%20Zouari
Logical Characterization of Concurrent Bisimulation over Higher Dimensional AutomataContributed talkSafa ZouariCategorical & Algebraic Logic
93
20237th WiLRome, Italy (FSCD+CADE)Mirjana Ilic
Universidade de Belgrado, Sérvia
https://dblp.org/search?q=Mirjana%20IlicA Relevant Logic with Strong NegationContributed talkMirjana IlicModal & Non-Classical Logic
94
20237th WiLRome, Italy (FSCD+CADE)Pamina GeorgiouTU Wien, Áustria
https://dblp.org/search?q=Pamina%20Georgiou
Tales of Automated Software Verification with First-order Theorem ProversContributed talkPamina GeorgiouAutomated Reasoning & Verification
95
20237th WiLRome, Italy (FSCD+CADE)Daphne WangUCL, Reino Unido
https://dblp.org/search?q=Daphne%20Wang
Presheaf Models of Human ParsingContributed talkDaphne Wang; Mehrnoosh SadrzadehNatural Language & Linguistics
96
20248th WiL
Tallinn, Estonia (LICS/ICALP/FSCD)
Sandra Kiefer
University of Oxford, United Kingdom
https://www.cs.ox.ac.uk/people/sandra.kiefer/
Constructive InteractionsInvited talkSandra KieferComputability & Complexity
97
20248th WiL
Tallinn, Estonia (LICS/ICALP/FSCD)
Viviana BonoUniversità di Torino, Italyhttp://www.di.unito.it/~bono/index.htmlTypes for (Slow) AIInvited talkViviana BonoType Theory & Programming Languages
98
20248th WiL
Tallinn, Estonia (LICS/ICALP/FSCD)
Amal AhmedNortheastern University, USA
https://www.khoury.northeastern.edu/home/amal/
New Techniques for Sound Language InteroperabilityInvited talkAmal AhmedType Theory & Programming Languages
99
20248th WiL
Tallinn, Estonia (LICS/ICALP/FSCD)
Manon Blanc
https://dblp.org/search?q=Manon%20Blanc
The domino problem is decidable for robust tilesetsContributed talkManon BlancComputability & Complexity
100
20248th WiL
Tallinn, Estonia (LICS/ICALP/FSCD)
C Aiswaryahttps://dblp.org/search?q=C%20AiswaryaDeciding Conjugacy of a Rational RelationContributed talkC Aiswarya; Amaldev Manuel; Saina SunnyAutomata & Formal Languages