Publications 
A. Monographs
  1. Chatzikyriakidis, S. and Luo, Z. 2020. Formal Semantics in Modern Type Theories. ISTE/Wiley Science. 

B. Edited Books/Journal Issues/Proceedings
  1. Bernardy, JP., Blanck, R., Chatzikyriakidis, S., Lappin, S. and Maskharashvili A. (eds.), Probabilistic Approaches to Linguistic Theory, CSLI publications. To appear in 2021.
  2. Dobnik, S., Chatzikyriakidis, S.,  and Demberg, V. (eds), 2019.  Proceedings of the 3th International Conference on Computational Semantics. [link]
  3. Howes, C., Chatzikyriakidis, S., Ek, A. and Somashekarappa, V. 2020. Proceedings of the 1st Conference on Probability and Meaning. ACL anthology. [pdf]
  4. Chatzikyriakidis S. and Luo Z. (eds.), 2017.  Modern Perspectives in Type-Theoretical Semantics. Studies in Linguistics and Philosophy, Springer.
  5. Chatzikyriakidis S. Retoré C. and Pasquali F. (eds), 2017. Hilbert's Epsilon Calculus and Lexical Semantics. Edited journal volume in the  Journal of Logics and Their Applications [pdf]
C. Journal papers
  1. Xue, T.,  Luo, Z. and Chatzikyriakidis S.  Propositional Forms of Judgemental Interpretations. Submitted.  [pdf]
  2. Bernardy, J.P and Chatzikyriakidis S. and Maskharashvili A. 2020. A Computational Treatment of Anaphora and its Algorithmic Implementation. Journal of Language, Logic and Information . [pdf]
  3. Chatzikyriakidis, S. Underspecification, Parsing Mismatches and Routinization: The Historical Development of the clitic systems of Greek dialects. Journal of Language, Logic and Information, special issue on Dynamic Syntax. [pdf]
  4. Gregoromichelaki, E., Mills, G. Howes, C., Eshghi, A., Chatzikyriakidis, S., Purver, M., Kempson R., Cann, R. and Healey, P. 2020. Completability vs (In)completeness. Acta Linguistica Hafniensia 52(2). [pdf] 
  5. Qwaider, C.,  Saad, M.,  Chatzikyriakidis, S. and Dobnik S. 2018. A Lexical Distance Study of Arabic Dialects. Procedia Computer Science 142, 2-13. [link]
  6. Chatzikyriakidis, S. and Luo, Z. Identity Criteria of Common Nouns and Dot-types for Copredication. Oslo Studies in Language 10(2), 121-141. [pdf]
  7. Chatzikyriakidis, S. and Gibson H. 2017. The Bantu/Romance/Greek Connection Revisited: Processing Constraints in Auxiliary and Clitic Placement from a Cross-linguistic Perspective.  Glossa 2(1), 1-39. [pdf]
  8. Chatzikyriakidis, S., Pasquali F. and Retoré C. 2017. From logical and linguistic generics to Hilbert's tau and epsilon quantifiers​. Journal of Logics and their Applications 4 (2), 231-256. [pdf]
  9. Chatzikyriakidis, S., Lafourcade, M., Ramadier, L. and Zarrouk, M. 2017.  Modern Type Theories and Lexical Networks: Using Serious Games as the Basis for Multi-Sorted Typed Systems.  Journal of Language Modelling, 5(2), 229-272. [pdf]
  10. Chatzikyriakidis, S. and Luo, Z. 2017 Adjectival/adverbial modification: The view from modern type theories. Journal of Logic, Language and Information 26 (1), 45-88. [pdf]
  11. Chatzikyriakidis, S. 2016. Afterthoughts in Greek: Gender Mismatches Under a Dynamic Framework. Journal of Linguistics 53(2), 279-325. [pdf] 
  12. Kempson R., Ronnie, C., Gregoromichelaki, E. and Chatzikyriakidis S. 2016. Languages as Mechanisms for Interaction. Theoretical Linguistics 42(3-4), 203-276. [pdf]
  13. Kempson, R, Chatzikyriakidis, S. and  Cann R. 2015. Mechanisms for Interaction: Syntax as Procedures for Online Interactive Meaning Building. Commentary to Christiansen and Chater : Now-or-Never: A Fundamental Constraint on Language.  Behavioral and Brain Sciences. [pdf]
  14. Chatzikyriakidis, S. and  Luo Z. 2014. Natural Language Inference in Coq. Journal of Logic, Language and Information 23(4):441-480. [pdf]
  15. Chatzikyriakidis, S. 2012. A Dynamic Account of the Cypriot Greek Clitic Positioning system. Lingua 122(6), 642-672. [link]
  16. Chatzikyriakidis, S. and Kempson, R. 2011. Standard Modern and Pontic Greek Person Restrictions: A feature-free Dynamic Account. Journal of Greek Linguistics 11(2), 127-166 [link]
  17. Chatzikyriakidis, S. 2009. Clitics in Grecia Salentina Greek : A Dynamic account. Lingua, 119: 1939-1968. Elsevier Publishing. [pdf] 

D. Book Chapters, Conference Proceedings​
  1. Grove, J., Bernardy, JP. and Chatzikyriakidis S. 2021. From Compositional Semantics to Bayesian Pragmatics via Logical Inference. Proceedings of the workshop on Natural Logic and Machine Learning, IWCS 2021. [pdf]
  2. Bernardy, JP. and Chatzikyriakidis S. 2021. Applied Temporal Analysis: A Complete Run of the FraCaS test suite. Proceedings of the 14th International Conference of Computational Semantics, IWCS 2021. [pdf]
  3. Talman, A., Apidianaki, M., Chatzikyriakidis, S. and Tiedemann, J. 2021. NLI Data Sanity Check: Assessing the Effect of Data Corruption on Model Performance. In proceedings of  the 23rd Nordic Conference on Computational Linguistics (NoDaLiDa 22). [pdf]
  4. Chatzikyriakidis, S. and Luo, Z. 2021. Gradability in MTT-semantics. Postproceedings of the Thirteenth International Tbilisi Symposium on Language, Logic and Computation. Lectures Notes in Computer Science, Springer. [pdf]
  5. Bernardy, JP., Blanck, R., Chatzikyriakidis, S., Lappin, S. and Maskharashvili A. Bayesian Inference Semantics for Natural Language. To appear at Probabilistic Approaches to Linguistic Theory, CSLI publications. 
  6. Chatzikyriakidis S. 2020. Dialogue Informing Syntax/Semantics: The Case of Afterthoughts. Proceedings of the 24th Workshop on the Semantics and Pragmatics of Dialogue (WatchDial2020). [pdf]
  7. Gregoromichelaki, E., Chatzikyriakidis, S., Eshghi, A., Hough, J., Howes, C., Kempson, R., Kiaer, J., Purver, M., Sadrzadeh, M. and White, G. 2020. Affordance Competition in Dialogue: The Case of Syntactic Unversals. Proceedings of the 24th Workshop on the Semantics and Pragmatics of Dialogue (WatchDial2020).[pdf]
  8. ​Ek, E.,  Bernardy, JP and  Chatzikyriakidis S. 2020. How does Punctuation Affect Neural Models in Natural Language Inference. Proceedings of the Conference on Probability and Meaning, ACL anthology. [pdf]
  9. Qwaider, C.,  Saad, M.,  Chatzikyriakidis, S. and Dobnik S. and Johansson. R., 2020 An Arabic Tweets Sentiment Analysis Dataset (ATSAD) using Distant Supervision and Self Training. Proceedings  of the 4th Workshop on Open-Source Arabic Corpora and Processing Tools, LREC2020. [pdf]
  10. Bernardy, JP. and Chatzikyriakidis S., 2020. Improving the Precision of Natural Textual Entailment Problems. Proceedings  of the 4th Workshop on Open-Source Arabic Corpora and Processing (LREC2020), Marseille, France. [pdf] 
  11. Qwaider, C.,  Saad, M.,  Chatzikyriakidis, S. and Dobnik S., 2019 LSTM-CNN Deep Learning Model for Sentiment Analysis of Dialectal Arabic. Proceedings of The International Conference on Arabic Language Processing 2019 (CITALA). [pdf]
  12. Qwaider, C, Chatzikyriakidis, S. and Dobnik S., 2019. Can Modern Standard Arabic Approaches be Used for Arabic Dialects? Sentiment Analysis as a Case Study. Proceedings of the 3rd Workshop on Arabic Corpus Linguistics (WACL-3), Cardiff, UK. [link]
  13. Bernardy, JP., Blanck, R., Chatzikyriakidis, S., Lappin, S. and Maskharashvili A. 2019. Predicates as Boxes in Bayesian Semantics for Natural Language. Proceedings of the 22nd Nordic Conference on Computational Linguistics (NoDaLiDa 21), Turku, Finland. [link]
  14. Bernardy, JP. and Chatzikyriakidis S., 2019. A Wide-Coverage Symbolic Natural Language Inference System. Proceedings of the 23rd Nordic Conference on Computational Linguistics (NoDaLiDa 21),. Turku, Finland. [pdf]
  15. Talman, A. and Chatzikyriakidis, S., 2019. Testing the Generalization Power of Neural Network Models Across NLI Benchmarks. Proceedings of the BlackboxNLP workshop, ACL2019. [pdf]
  16. Bernardy, JP, Blanck, R., Chatzikyriakidis, S., Lappin S. and Maskharashvili A., 2019. Bayesian Inference Semantics: A Modelling System and A Test Suite. Proceedings of the Eighth Joint Conference on Lexical and Computational Semantics. [pdf]
  17. Bernardy, JP. and Chatzikyriakidis S., 2019. What kind of Natural Language Inference are NLP systems learning: Is this enough? Proceedings on the 11th International Conference on Agents and Artificial Intelligence, Special Session on Natural Language Processing in Artificial Intelligence.  [pdf]
  18. Qwaider, C.,  Saad, M.,  Chatzikyriakidis, S. and Dobnik S. 2018. A Lexical Distance Study of Arabic Dialects. Proceedings of the 2nd Conference on Arabic Computational Linguistics. [link]
  19. Bernardy, JP., Blanck, R.,  Chatzikyriakidis, S. and Lappin S. 2018. A Compositional Bayesian Semantics for Natural Language. Proceedings of the workshop on Language, Cognition and Computational Models, COLING 2018. [link]
  20.  Xue, T., Luo, Z. and Chatzikyriakidis, S. 2018. Propositional Forms of Judgemental Interpretations. Proceedings of the Fifth Workshop on Natural Language and Computer Science (NLCS 2018, affiliated with FLoC), Oxford. 2018. [pdf]
  21. Qwaider, C.,  Saad, M.,  Chatzikyriakidis, S. and Dobnik S. 2018. Shami: A Corpus of Levantine Arabic Dialects. Proceedings of the Eleventh International Conference on Language Resources and Evaluation (LREC 2018). [link]
  22. Chatzikyriakidis, S. and Luo, Z., 2017d. Identity Criteria of CNs: Quantfication and Copredication. Workshop on Approaches to Coercion and Polysemy. Oslo, 2017. [pdf]
  23. Bernardy, JP and Chatzikyriakidis S., 2017. A Type-Theoretical System for the FraCaS Test Suite: Grammatical Framework Meets Coq​. Proceedings of IWCS 2017, Montpellier, France. [pdf]​
  24. Kempson R., Ronnie, C., Gregoromichelaki, E. and Chatzikyriakidis S. 2017. Action-based Grammar. Reply to replies of "Language as Mechanisms for Interaction",  Theoretical Linguistics 42.
  25. Chatzikyriakidis, S., Cooper, R., Dobnik, S. and Larsson, S. 2017. An Overview of Natural Language Inference Data Collection: The Way Forward?. Proceedings of the IWCS2017 workshop on Computing Natural Language Inference. [pdf]
  26. Bizzoni, Y., Chatzikyriakidis, S. and Ghanimifard, M. 2017. "Deep Learning": Detecting Metaphoricity in Adjective-Noun Pairs. Proceedings of EMNLP2017, workshop on Stylistic Variation. [link]
  27. Chatzikyriakidis S. and Cooper R. Type Theories for Natural Language Semantics. Entry at the Oxford Reference Encyclopedia. [pdf] 
  28. Kempson, R., Chatzikyriakidis S. and Howes C. 2017. Cognitive science, Language as a Tool for Interaction, and a New Look at Language Evolution. Proceedings of the workshop on Formal Approaches to Linguistic Interaction, ESSLLI2017. [pdf]
  29. Chatzikyriakidis, S. and Luo, Z., 2016. Proof Assistants for Natural Language Semantics. Proceedings of Logical Aspects of Computational Linguistics, LNCS. [pdf]
  30. Chatzikyriakidis, S. Natural Language Reasoning Using Coq: Interaction and Automation. Proceedings of Traitement Automatique des Langues Naturelles 2015.  [pdf]
  31. Chatzikyriakidis, S. and Luo, Z. 2015. Individuation Criteria, Dot-types and Co-predication: The view from Modern Type Theories. Proceedings of Mathematics of Language 2015, ACL anthology 2015. [pdf]
  32. Chatzikyriakidis, S. and Luo, Z. 2016 Introduction: Modern Perspectives in Type-Theoretical Semantics. In: Chatzikyriakidis S. and Luo Z. (eds.), Modern Perspectives in    Type-Theoretical Semantics: The State of the Art. [pdf]
  33. Chatzikyriakidis, S. and Luo, Z., 2016 On the Interpretation of CNs: Types vs Predicates. In: Chatzikyriakidis S. and Luo Z. (eds.), Modern Perspectives in Type-Theoretical Semantics: The State of the Art. [pdf]
  34. Chatzikyriakidis, S., Michelioudakis, D. and Spathas, G. 2015. Greek Focus operators and their associates. Proceedings of the 35th Annual Meeting of the Department of Linguistics (AMGL 35), Aristotle University, Thessaloniki, Greece. [pdf]. 
  35. Chatzikyriakidis, S. 2015. Polydefinites in Modern Greek: The Missink LINK. Proceedings of the 11th International Conference on Greek Linguistics (ICGL 11). [pdf]
  36. Chatzikyriakidis, S. and Luo, Z. 2015. Using Signatures in Type Theory to Represent Situations. Post-proceedings of Logic and Engineering of Natural Language Semantics 11. LNAI, Springer. [pdf] 
  37. Chatzikyriakidis, S. 2014. Adverbs in a Modern Type Theory. In Proceedings of Logical Aspects of Computational Linguistics 2014., LNCS 8535, 44-56. [pdf]
  38. Chatzikyriakidis, S. and  Luo Z., 2014. Natural Language Reasoning Using Proof Technology: Rich Typing and Beyond. In proceedings of the workshop on Type Theory and Natural Language Semantics, EACL 2014. [pdf]
  39. Chatzikyriakidis, S. and Luo, Z., 2013. An Account of Natural Language Coordination in Type Theory with Coercive Subtyping.Selected Papers of the 7th International Workshop on Constraint Solving and Language Processing 2012, LNCS 8114. [pdf]
  40. Chatzikyriakidis S. and Luo Z., 2013. Adjectives in a Modern Type-Theoretical Setting. In the proceedings of Formal Grammar 2013, Dusseldorf. LNCS 8036. [link]
  41. Chatzikyriakidis, S., 2013. Underspecification Restrictions in Polyrhythmic processing. In: Kempson, R. and Orwin, M.  and Howes, C. (Eds.), Language, Music and Interaction, College Publications. [pdf]
  42. Kempson R., Gregoromichelaki, E. and Chatzikyriakidis, S., 2013. Joint utterances in Greek and English: Implications for Linguistic Modelling. In: Stavrou, M.,       (ed), Proceedings of the 33rd Annual Meeting of the Department of Linguistics of Aristotle University, April 2012 [pdf]
  43. Chatzikyriakidis, S., 2011. A Dynamic Account of Clitic Climbing: A First Sketch. In: Kempson R.,  Gregoromichelaki, E.  and Howes, C.(eds), The Dynamics of Lexical    Interfaces, CSLI publications. [pdf]
  44. Chatzikyriakidis, S. and Kempson, R., 2010a. A Dynamic Account of the Person Case Constraint in Greek. In: Proceedings of the 9th International Conference on Greek Linguistics, Chicago, October 2009. [pdf]
  45. Chatzikyriakidis, S., 2010. Clitic Climbing in Grecia Salentina Greek: A Dynamic Account. In: Ralli, A., and Karasimos, A., Proceedings of the 4th International Conference on Greek Dialects and Linguistic Theory, Chios, June 2009. [pdf]
  46. Bouzouita, M, and Chatzikyriakidis, S., 2009. Clitics as Calcified Processing Strategies. Proceedings of the 14th international conference on Lexical Functional Grammar, Cambridge, July 2009, CSLI publications. [pdf]

E. Other Publications (peer-reviewed abstracts, working papers, arXiv papers)
  1. Bernardy, JP. and Chatzikyriakidis S., 2020. FraCaS: Temporal Analysis. ArXiv: 2021.10668. [link]
  2. Chatzikyriakidis, S. and Luo, Z. 2019. Gradability in MTT semantics. Thirteenth International Tbilisi Symposium on Language, Logic and Computation. [pdf]
  3. Chatzikyriakidis, S.  2019. Constructive Dynamic Syntax. Presented at the 3rd Dynamic Syntax Conference, University of Malta. [pdf]
  4. Bernardy, JP and Chatzikyriakidis S. 2018. A Corpus of Precise Natural Textual Entailment Problems. arXiv:1812.05813.
  5. Chatzikyriakidis, S. 2018. CoDyLan: Towards Doing (some) Inference for DyLan. Presented at the 2nd Dynamic Syntax Conference, University of Edinburgh, UK. [link]
  6. Chatzikyriakidis, S.,  Michelioudakis, M. and Spathas, G. 2018. The Emergence of Prepositional Genitives in Greek and its Diachronic Implications. On the Place of Case in Grammar workshop, Rethymnon, Crete. [pdf]
  7. Chatzikyriakidis, S. 2017. Modification in Dynamic Syntax. Presented at the 1st Dynamic Syntax Conference, SOAS, University of London, UK. [pdf]
  8. Chatzikyriakidis, S.,  Michelioudakis, M. and Spathas, G. 2016. Prepositional genitives in Northern Greek beyond suppletion. Presented at the 7th International Conference on Modern Greek dialects and Linguistic Theory, Rethymnon, Greece. 
  9. Chatzikyriakidis, S. 2016 Languages as Mechanisms for Interaction: The Case of Weak Object Pronouns. INTERACTION2016 workshop, Ghent, Belgium.
  10. Chatzikyriakidis, S., Michelioudakis, M. and Spathas S. 2016. Promiscuous apo-phrases in Grevena Greek. Presented at the 12th International Conference on Greek Linguistics. [slides]
  11. Chatzikyriakidis, S.,  Michelioudakis, M. and Spathas, G. 2016. On the Syntax of Association with Focus in Greek. Presented at the 12th International Conference Greek Linguistics.
  12. Chatzikyriakidis, S., Lafourcade, M., Ramadier, L. and Zarrouk, M. 2015  Modern Type Theories and Lexical Networks: Using Serious Games as the Basis for Multi-Sorted Typed Systems. Proceedings of Types and Lexical Semantics workshop, ESSLLI 2015. [pdf]
  13. Kempson R., Chatzikyriakidis S. and Cann R. 2015. The Interactive Building of Names. Electronic proceedings of the Epsilon calculus workshop, Montpellier, France. [pdf].
  14. Chatzikyriakidis, S., Gregoromichelaki, E. and  Kempson, R. 2015. Modelling shared constraints in language and music: polyrhythm processing in Dynamic Syntax.  Presented at the Shared Mechanisms in Language and Music – What Neurocognition and Disorders Reveal workshop, SMART Cognitive Science Conference, Amsterdam, Netherlands. [slides]   [abstract]
  15. Sitaridou, I. and S Chatzikyriakidis S. 2012. Cultural Survival Shifts Focus: The Case of Pontic Greek. Presented at the panel entitled ‘When empires clash: modern-day outcomes of historical Greek and Turkish language encounters’, MedWorlds 4, Istanbul.
  16. Kempson R., Chatzikyriakidis S. and Orwin M. 2012 Language, Music and Interaction. Talk given at the 2012 Meeting of the Linguistic Association of Great Britain (LAGB) 2012. 
  17. Chatzikyriakidis, S. 2012. Clitic positioning in Cypriot Greek revisited: Complex Subordinators/Particles with tze. Poster presented at the 5th International Conference on Greek Dialects and Linguistic Theory, Ghent, Belgium. 
  18. Chatzikyriakidis, S. 2011. The Historical Development of the Clitic Systems of three Dialects of Modern Greek. Presented at the 20th International Conference on Historical Linguistics, Osaka, Japan. [abstract]
  19. Chatzikyriakidis, S. 2011. Modern Greek Right Dislocations: The Case of Afterthoughts. Presented at the 20th International Symposium of Theoretical and Applied Linguistics, Thessaloniki, Greece.
  20. Chatzikyriakidis, S. 2011. Person Restrictions in Pontic Greek: Evidence for a feature-free account of the Person Case Constraint. Poster presented at the 10th International Conference on Greek Linguistics, Komotini, Greece.  
  21. Kempson, R. and Chatzikyriakidis, S.  2009. The PCC as a Restriction on Tree-growth. Formal vs. Processing Explanations of Syntactic Phenomena conference, York,  UK.
  22. Chatzikyriakidis, S. 2009. Clitic Climbing: A Dynamic Account. Presented at the 2009 Meeting of the Linguistic Association of Great Britain (LAGB 2009).
  23. Chatzikyriakidis, S. 2008 Clitic climbing in Grecia Salentina Greek: A Dynamic Syntax Account. Generative Linguistics in the Old World (GLOW) summer school 2008, Barcelona.
  24. Chatzikyriakidis, S. 2008 A Dynamic Account of Clitics in Standard Modern and Grecia Salentina Greek. 3rd Postgraduate conference in Theoretical and Applied      Linguistics, Newcastle, UK.

F. Invited Talks/Tutorials
  1. Chatzikyriakidis, S. To infer or not to Infer: Natural Language Inference, Computational Semantics, and Theoretical Linguistics. Semantics in Athens III. 
  2. Chatzikyriakidis, S. Formal Semantics in MTTs: Playing around with the Coq Proof Assistant. Invited tutorial at NASSLLI 2018. 
  3. Chatzikyriakidis, S. Formal Semantics in Modern Type Theories. Invited talk at NASSLLI 2018. 
  4. Chatzikyriakidis, S. A fragment answer inspired view of afterthoughts: gender mismatches in Greek. Talk given at the Linguistics Circle, University of Edinburgh, March 2018. [slides]
  5. Chatzikyriakidis, S. Coq for Natural Language Semantics. Three day invited tutorial  at the Center of Advanced Study, Oslo, November 2017.
  6. Cooper, R., Chatzikyriakidis, S. and Dobnik, S. Testing the FraCaS test suite. Co-author of an invited talk given by Robin Cooper and LENLS13, Tokyo, Novermber 2016. 
  7. Chatzikyriakidis S. Shared Mechanisms for Language and Music: The Case of Polyrhythms. Music and language in cross-cultural workshop, SOAS, London, February 2016. 
  8. Chatzikyriakidis S. Modern Type Theoretical Semantics: Reasoning Using Proof-Assistants. The 6th Annual CLT workshop. 
  9. Chatzikyriakidis, S., Gregoromichelaki, E. and Kempson, R. Language as a Set of Mechanisms for Interaction. Invited talk at the Interactive Meaning Construction workshop, IWCS, London, April 2015.
  10. Chatzikyriakidis, S. Using a Dependently Typed Interactive Theorem Prover to Seal with NL inference. Invited talk given at the Advanced Research Seminar in Language and Cognition, January 2013.
  11. Chatzikyriakidis, S. Underspecification Restrictions in Polyrhythmic Processing(?). Presented as part of the panel ‘Music, Language, and Interaction’ at the 4th Annual Conference of the Royal Musical Association, King’s College, London, July 2013.
  12. Kempson, R., and Chatzikyriakidis S. Grammars as Mechanisms for Real-Time Tree-Growth: Explaining Clitic Pronouns (Invited talk). Presented at CSLP12, Orleans
  13. Kempson R., Gregoromichelaki, E. and Chatzikyriakidis, S. Joint Utterances in Greek and English: Implications for Linguistic Modelling. Paper presented at the 33rd Annual Meeting of the Department of Linguistics of Aristotle University, April 2012.
  14. Chatzikyriakidis, S.. A strictly enclitic system: A first sketch of a Diachronic Account of the Pontic Greek clitic positioning system. Invited talk at the 2nd Romeyka workshop, Queen's college, Cambridge, April 2012.

G. Other Oral presentations and posters
  1. Chatzikyriakidis S. To Infer or not Infer: Natural Language Inference and Computational Semantics. Semantics in Athens III, 2019.
  2. Chatzikyriakidis S. Infer like a Human? NLP and the Challenge of Natural Language Inference. Invited talk at the University of Helsinki, Language Technology Research Seminar, September 2018. [link]
  3. Chatzikyriakidis, S. Proof Assistants to the Rescue. Invited talk at Semantics in Athens  2017, December 2017.
  4. Chatzikyriakidis, S. Modern Type Theoretical Semantics and Reasoning with Natural Language. Talk given at the Logic seminar, Department of Philosophy, Linguistics and Theory of Science, University of Gothenburg, November 2017.
  5. Chatzikyriakidis, S. In Defence of Lost Causes: Type Theories for Natural Language Semantics. Invited talk at the Semantics and Pragmatics Exchange SemPrE Group, Düsseldorf, June 2017.   
  6. Chatzikyriakidis, S. Natural Language Inference and Type Theory. Invited talk at the SFB Kolloquium at the University of Düsseldorf, June 2017.
  7. Chatzikyriakidis, S. Polydefinites in Greek: When Restrictive Interpretation fails. Invited talk at the Linguistics seminar of the English Department of Humboldt University, June 2016. 
  8. Chatzikyriakidis S. Modern Type Theoretical Semantics: Reasoning Using Proof Assistants. CLASP Seminar, March 9th, 2016 [slides].
  9. Chatzikyriakidis S. Natural Language Inference: Is Type Theory Relevant? Talk given at the Programming in Logic Seminar at Chalmers University, Gothenburg. 
  10. Kempson R., Chatzikyriakidis S, and Cann, R. The Interactive Building of names. SemDial 2015 (goDial) in Gothenborg, August 2015
  11. Chatzikyriakidis S. and Luo Z. Formal Semantics in Modern Type Theories: Theory and Implementation. Advanced course at ESSLLI2014 [slides]
  12. Chatzikyriakidis, S. Clitic positioning in Cypriot Greek revisited: Complex subordinators/particles with tze. Poster presented at the 5th International Conference on Greek Dialects and Linguistic Theory, Ghent, September 2012.
  13. Chatzikyriakidis, S. Person Restrictions in Pontic Greek: Evidence for a feature-free account of the Person Case Constraint. Poster presented at the 10th International Conference on Greek Linguistics, Komotini, September 2011.
  14. Chatzikyriakidis, S. Pontic Greek Person Restrictions: Evidence for a feature free account of the Person Case Constraint. Invited talk given at the two day conference in honour of Professor Ruth Kempson, SOAS, London, November 2010.
  15. Chatzikyriakidis, S. Clitic Clusters in Pontic Greek: A Dynamic Account. Poster presented at the 1st workshop on ‘The Greek Language in Pontus: Romeyka in contemporary Trebizond’. Queen’s College, Cambridge, March the 13th, 2010.
  16. Chatzikyriakidis, S. Clitics in Grecia Salentina Greek. The PCC fest, Queen Mary university, London, November 2007.
  17. Chatzikyriakidis, S. Standard Modern and Grecia Salentina Greek clitics: A Dynamic Account. Workshop on Greek clitic-pronoun variation, King’s College, London,  November 2007.

H. Thesis
  1. Chatzikyriakidis, S., 2010. Clitics in Four Dialects of Modern Greek: A Dynamic Account. PhD thesis, King's College, University of London. [pdf]  

I. Unpublished work 
  1. Chatzikyriakidis, S., 2011. Right Dislocations in Greek: The Case of Afterthoughts, manuscript. 
  2. Chatzikyriakidis, S., 2014. Polydefinites in Modern Greek: When Restrictive Interpretation Fails. Ms, LIRMM, University of Montpellier 2.[pdf]

J. Code
  1. Code for the paper "Bayesian Inference Semantics: A Modelling System and A Test Suite" [link]
  2. Code for the FraCoq project [link]
  3. Code for the paper "A Compositional Bayesian Semantics for Natural Language" [link]
  4. Link to the Shami corpus [link]
  5. Coq code for the tutorial Coq for Natural Language Semantics [link]
  6. Code for the paper "Deep Learning": Detecting Metaphoricity in Adjective-Noun Pairs" [link]
  7. Short Coq libraries for Natural Language Inference [link]

K. ESSLLI 2019 - Course materials "From Modern Type Theories to Montague Semantics: A Meaningful Comparison"
Lecture 1 - Introduction [pdf]
Lecture 2 - Features of MTT-semantics [pdf] 
Lecture 3 - Case Study 1: Modification [pdf]
Lecture 4 - Case Study 3: Copredication [pdf]
Lecture 5 - Dependent Types in Event Semantics [pdf]