.
.
.

Menu

Contact Us

Post-Doctoral Researchers

Post-Doctoral Researchers

Post-Doctoral Researchers

Research at BGU

Human Subjects Research Ethics Committee

International Programs

Academic Openings at BGU

BGU's Research Portal (Pure)

Yazamut 360 Entrepreneurship Center

Academic Calendar

Course Catalogue

Academic Openings

BGU International

Awards and Honors

Board of Governors

Director-General and Vice-President

BGU Vice-Presidents

Deans & Directors

Former Presidents

Short Term Programs

Pre-Academic Studies

Full Degree Programs

Studies in Hebrew

Tuition and Fees

Housing & Dormitories

How to find an Advisor

Health Insurance

Academic Calendar

About the Welcome Center

Health Insurance

Arrival to Campus

Living in Israel

Beer-Sheva City

Office of Vice President and Dean for Research & Development

Research and Development Authority

BGN Technologies Ltd.

Ben-Gurion Advanced Technologies Park

BGU Entrepreneurship - Yazamut 360°

The Jacob Blaustein Institutes for Desert Research

The Ben-Gurion Research Institute for the Study of Israel and Zionism

Heksherim Research Institute for Jewish & Israeli Literature & Culture

Ilse Katz Institute for Nanoscale Science & Technology

The National Institute for Biotechnology in the Negev

Research Centers Catalog

Kreitman School of Advanced Graduate Studies

CRIS research portal (PURE)

Search Research Subjects

Academic Internship Program

Research Infrastructures Catalog

Research Support Labs in Ilza Katz Institute

Bioinformatics Core Facility

Stein Faculty of Computer and Information Science

Faculty of Engineering Sciences

Faculty of Health Sciences

Faculty of Humanities and Social Sciences

Faculty of Natural Sciences

Guilford Glazer Faculty of Business & Management

The Jacob Blaustein Institutes for Desert Research

Kreitman School of Advanced Graduate Studies

The Ben-Gurion Research Institute for the Study of Israel and Zionism

The Goldman Sonnenfeldt School of Sustainability and Climate Change

The School of Brain Sciences and Cognition

Eilat Campus (Hebrew)

The University Center for External Studies

Budgeting & Economic Planning Division (Hebrew)

Computation and Cyber Security Division

Construction and Maintenance Division (Hebrew)

Human Resources Division

Operation Division (Logistics)

Finance Division (Hebrew)

Marketing Division (Hebrew)

Office of the Rector

Academic Secretary

Students Accounts - Tuition & Payments

Security Department

University Comptroller (Hebrew)

The University Center for External Studies

Community Action Department (Hebrew)

Ilan Ramon Youth Physics Center (Hebrew)

Jusidman Science Center for Youth (Hebrew)

Kidumatica - The Youth Mathematics Forum (Hebrew)

Dean of Students Office

Housing & Dormitories

Beit Fanny – WIZO University Daycare

The Negative Cinema

The Chamber Music Course

Trumpeldor Gallery: Art Center

The Senate Gallery for Contemporary Art

Sports Center (Hebrew)

Campus Synagogue (Hebrew)

The Zalman Aranne Central Library

The Medical Library

The Library of the Ben-Gurion Research Institute for the Study of Israel & Zionism

The Jane Schapiro Library of the Jacob Blaustein Institute for Desert Research - catalogue

The Eilat Campus Library - catalogue

The Ben-Gurion Archives

Hebrew Literature Archives

David Tuviyahu Archives of the Negev

The Isaiah Berlin Room

LIRON COHEN

Senior Academic

12th international conference on interactive theorem proving

Liron Cohen, Cezary Kaliszyk

Publication language	English
Journal	Leibniz International Proceedings in Informatics, LIPIcs
Volume	193
Publication status	Published - 01.06.2021

ASJC Scopus subject areas

Software