--- title: "Workshop on the Bridges and Gaps between Formal and" description: "Workshop on the Bridges and Gaps between Formal and Computational Linguistics 2026 — accepted papers: 3 papers in the Elamur…" canonical: "https://research.elamur.ai/free/en/venues/brigap/2026/" --- [Elamur Research](https://md.research.elamur.ai/free/en/) · [this page in HTML](https://research.elamur.ai/free/en/venues/brigap/2026/) [home](https://md.research.elamur.ai/free/en/) / [venues](https://md.research.elamur.ai/free/en/venues/) / [Workshop on the Bridges and Gaps…](https://md.research.elamur.ai/free/en/venues/brigap/) / 2026 # Workshop on the Bridges and Gaps between Formal and Computational Linguistics 2026 — accepted papers Workshop on the Bridges and Gaps between Formal and Computational Linguistics 2026 is the 2026 edition of the Workshop on the Bridges and Gaps between Formal and Computational Linguistics, held in Paris, France, July 2026 (publisher: Association for Computational Linguistics). The ACL Anthology lists 13 papers of it; our library holds 3 with our summaries. Below: the most cited papers, every accepted paper, and ours with their topics, authors and institutions. 📍 Paris, [France](https://md.research.elamur.ai/free/en/countries/france/) · 🗓 July 2026 [**13** papers in the proceedings](#all) · [**3** works in our library](https://md.research.elamur.ai/free/en/venues/brigap/2026/#works) · [**0** citations of these works](https://md.research.elamur.ai/free/en/venues/brigap/2026/#works) ## All accepted papers (13) The most cited first; 3 with our summary link to their page here, the others to the original. 1. **[A Formal Model of Lexical Negation in Discrete Communication ↗](https://aclanthology.org/2026.brigap-1.12/)**Mikołaj Piotr Golecki, Timothée Bernard 2. **[A graph-based analysis of semantic types and coercion in contextualized word embeddings ↗](https://aclanthology.org/2026.brigap-1.13/)**Long Chen, Deniz Yavas 3. **[Artificial Language Learning Paradigm Reveals Pragmatic Blind Spots in Vision-Language Models ↗](https://aclanthology.org/2026.brigap-1.6/)**Yan Cong, Julia Rayz 4. **[Cross-linguistic Geometry of Adjective Representations in Multilingual Transformers: Semantic Class, Gradability, and Positional Effects. ↗](https://aclanthology.org/2026.brigap-1.3/)**Tancredi Monterosso 5. **[Diagnosing Compositional Generalization in Transformers on ReCOGS with Compositional Graph Similarity ↗](https://aclanthology.org/2026.brigap-1.4/)**Bruno Franco, Edson Scalabrin 6. **[From Execution to Exploration: Bridging the Usability Gap in Formal Natural Language Inference ↗](https://aclanthology.org/2026.brigap-1.1/)**Koharu Saeki, Daisuke Bekki 7. **[Grammar Engineering Meets LLMs: Development of Cantonese and Irish ParGram Treebanks ↗](https://aclanthology.org/2026.brigap-1.11/)**Chit-Fung Lam, Elaine Uí Dhonnchadha 8. **[Misalignments in Common Ground as a Bridge Between Pragmatic Theory and LLM Evaluation ↗](https://aclanthology.org/2026.brigap-1.8/)**Judith Sieker, Sina Zarrieß 9. **[Neural Wani: Toward Accelerating the Automated Theorem Prover wani for Dependent Type Theory](https://md.research.elamur.ai/free/en/papers/miyagawa-2026-neural-wani-accelerating-automated-theorem/)**Nanako Miyagawa, Hinari Daido, Daisuke Bekki*our summary* 10. **[Polar Questions in SPA–TTR: Linking Dialogue, Acquisition, and Neurosemantics ↗](https://aclanthology.org/2026.brigap-1.5/)**Jonathan Ginzburg, Shiyun Dong, Robin Cooper et al. 11. **[Towards Benchmarking Old Church Slavonic Lemmatization ↗](https://aclanthology.org/2026.brigap-1.9/)**Usman Nawaz, Marianna Napolitano, Iris Karafillidis et al. 12. **[Transformers Learning Contrafactives: The Importance of Data Distributions](https://md.research.elamur.ai/free/en/papers/strohmaier-2026-transformers-learning-contrafactives-importance-data/)**David Strohmaier, Simon Wimmer*our summary* 13. **[Using the Mimi codec for metalinguistic representations](https://md.research.elamur.ai/free/en/papers/saloev-2026-mimi-codec-metalinguistic-representations/)**Artem Saloev, Erin Pacquetet, Nicolas Ballier*our summary* ## Papers with our summary in our library (3) The most cited first (OpenAlex citations plus our library's). 1. **[Neural Wani: Toward Accelerating the Automated Theorem Prover wani for Dependent Type Theory](https://md.research.elamur.ai/free/en/papers/miyagawa-2026-neural-wani-accelerating-automated-theorem/) [Workshop on the Bridges and Gaps between Formal and Computational Linguistics](https://md.research.elamur.ai/free/en/venues/brigap/)**Nanako Miyagawa, Hinari Daido, Daisuke Bekki*2026* 2. **[Using the Mimi codec for metalinguistic representations](https://md.research.elamur.ai/free/en/papers/saloev-2026-mimi-codec-metalinguistic-representations/) [Workshop on the Bridges and Gaps between Formal and Computational Linguistics](https://md.research.elamur.ai/free/en/venues/brigap/)**Artem Saloev, Erin Pacquetet, Nicolas Ballier*2026* 3. **[Transformers Learning Contrafactives: The Importance of Data Distributions](https://md.research.elamur.ai/free/en/papers/strohmaier-2026-transformers-learning-contrafactives-importance-data/) [Workshop on the Bridges and Gaps between Formal and Computational Linguistics](https://md.research.elamur.ai/free/en/venues/brigap/)**David Strohmaier, Simon Wimmer*2026* ## Top topics Topics of its works in our library, with the number of works on each. [Reasoning (1)](https://md.research.elamur.ai/free/en/topics/reasoning/) ## Fields [Computer Science (3)](https://md.research.elamur.ai/free/en/shelves/computer-science/) · [Arts and Humanities (1)](https://md.research.elamur.ai/free/en/shelves/arts-and-humanities/) · [Psychology (1)](https://md.research.elamur.ai/free/en/shelves/psychology/) ## Top authors Authors with a page who published here most often: their works here, and the citations of those works. [🧑‍🔬**Daisuke Bekki**1 work here](https://md.research.elamur.ai/free/en/authors/daisuke-bekki/) · [🧑‍🔬**Erin Pacquetet**1 work here](https://md.research.elamur.ai/free/en/authors/erin-pacquetet/) · [🧑‍🔬**Nicolas Ballier**1 work here](https://md.research.elamur.ai/free/en/authors/nicolas-ballier/) ## Top institutions Institutions on the bylines of its works here, by the number of works. [🎓**Université Paris Cité** Paris · France 1 work here](https://md.research.elamur.ai/free/en/universities/universite-paris-cite/) · [🔬**Approches Linguistiques Théoriques, Appliquées et Expérimentales : langues et cultures connectées** Paris · France 1 work here](https://md.research.elamur.ai/free/en/labs/approches-linguistiques-theoriques-appliquees-et-experimentales-langues-et/) Place and dates from the event's site or the ACL Anthology; works and citations from OpenAlex and our library. - [↑ back to Workshop on the Bridges and Gaps between Formal and Computational Linguistics](https://md.research.elamur.ai/free/en/venues/brigap/)