---
title: "Workshop on the Bridges and Gaps between Formal and"
description: "Workshop on the Bridges and Gaps between Formal and Computational Linguistics: 3 works in the Elamur Research library (2026), 0…"
canonical: "https://research.elamur.ai/free/en/venues/brigap/"
---
[Elamur Research](https://md.research.elamur.ai/free/en/) · [this page in HTML](https://research.elamur.ai/free/en/venues/brigap/)

[home](https://md.research.elamur.ai/free/en/) / [venues](https://md.research.elamur.ai/free/en/venues/) / Workshop on the Bridges and Gaps between Formal and…

# Workshop on the Bridges and Gaps between Formal and Computational Linguistics

Workshop series Published by [Association for Computational Linguistics](https://md.research.elamur.ai/free/en/publishers/association-for-computational-linguistics/)

- [ACL Anthology](https://aclanthology.org/venues/brigap/)

[**3** works in our library](https://md.research.elamur.ai/free/en/venues/brigap/#works) · [**0** citations of these works](https://md.research.elamur.ai/free/en/venues/brigap/#works) · [**2026** years of the works here](#years)

## Editions

Each year with works in our library has its page: the place and dates where known, its works, topics, authors and institutions.

### 2020s

[**2026** 3 papers](https://md.research.elamur.ai/free/en/venues/brigap/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/)

## Works 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**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**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**David Strohmaier, Simon Wimmer*2026*

Venues, publishers and identifiers from OpenAlex (2026-10-14) and the ACL Anthology; yearly proceedings are counted as one series.