INSTITUTION
Instituto de Lingüística
The people and conference roles recorded under this affiliation.
Historical source listings, not a staff directory or a claim about current employment. Aliases are grouped under this institution, and joint affiliations contribute once to each identified institution. Original affiliation wording is shown below; missing affiliations are not inferred.
People & conference service
Newest editions first| Person | Conference | Committee & role | Affiliation as listed | Evidence |
|---|---|---|---|---|
| Adam TemanIdentity not yet linked | DATE 2026 | Topic MemberD13 Physical analysis and design | Bar-Ilan University, IL | Conference website ↗Checked 2026-09-13 |
| Daniel Amir | EuroSys 2026 | Program committee membersProgram committee members | Technion, IL | Conference website ↗Checked 2026-09-13 |
| Itamar LeviIdentity not yet linked | DATE 2026 | Topic MemberDT6 Design and test of secure systems | Faculty of Engineering, Bar-Ilan University, IL | Conference website ↗Checked 2026-09-13 |
| Malithi Wanniarachchi KankanamgeIdentity not yet linked | ICTAI 2026 | Program Committee MemberICTAI 2026 Program Committee | Southern Illinois University, Carbondale, IL, USA | Conference website ↗Checked 2026-09-13 |
| Moti MedinaIdentity not yet linked | DATE 2026 | Topic MemberD13 Physical analysis and design | Bar-Ilan University, IL | Conference website ↗Checked 2026-09-13 |
| Orna Agmon Ben-Yehuda | EuroSys 2026 | Program committee membersProgram committee members | CRI, University of Haifa, IL | Conference website ↗Checked 2026-09-13 |
| Yakir VizelIdentity not yet linked | DATE 2026 | Topic MemberD2 System simulation and validation | The Technion, IL | Conference website ↗Checked 2026-09-13 |
| Alexander IvriiIdentity not yet linked | DATE 2024 | Topic MemberD7 Formal Methods and Verification | IBM, IL | Conference website ↗Checked 2026-09-13 |
| Osnat KerenIdentity not yet linked | DATE 2024 | Topic MemberDT6 Design and Test of Secure Systems | Bar-Ilan University, IL | Conference website ↗Checked 2026-09-13 |
| Shachar ItzhakyIdentity not yet linked | DATE 2024 | Topic MemberD7 Formal Methods and Verification | Technion, IL | Conference website ↗Checked 2026-09-13 |
| Yakir VizelIdentity not yet linked | DATE 2024 | ChairD7 Formal Methods and Verification | The Technion, IL | Conference website ↗Checked 2026-09-13 |
| Alexander IvriiIdentity not yet linked | DATE 2023 | Topic MemberD7 Formal Methods and Verification | IBM, IL | Conference website ↗Checked 2026-09-13 |
| Avi ZivIdentity not yet linked | DATE 2023 | Topic MemberD3 System Simulation and Validation | IBM Research - Haifa, IL | Conference website ↗Checked 2026-09-13 |
| Chard KyleIdentity not yet linked | HPDC 2023 | Program ChairsProgram Chairs | University of Chicago and Argonne National Laboratory, IL, USA | Conference website ↗Checked 2026-09-13 |
| Osnat KerenIdentity not yet linked | DATE 2023 | Topic MemberDT6 Design and Test of Secure Systems | Bar-Ilan University, IL | Conference website ↗Checked 2026-09-13 |
| Yakir VizelIdentity not yet linked | DATE 2023 | ChairD7 Formal Methods and Verification | The Technion, IL | Conference website ↗Checked 2026-09-13 |
| Yuan Luo | AAAI 2023 | Program CommitteeAAAI-23 Program Committee | Northwestern University, IL”” | Conference website ↗Checked 2026-09-13 |