ISR 2024 — 14th International School on Rewriting


Dates : 25 agosto 2024 » 01 setembro 2024

Place : Obergurgl
Áustria

Book your hotel


Organizer :

Topic : Informática; 0
Matemática e Estatística;
Keywords: Mathematics
Description :

Term rewriting is a powerful model of computation that underlies much of declarative programming and which is heavily used in symbolic computation in mathematics, theorem proving, and protocol verification. The 14th International School on Rewriting takes place at the University Center Obergurgl, Austria. The school is aimed at master and PhD students, researchers and practitioners interested in the study of rewriting concepts and their applications.


ISR 2024 — 14th International School on Rewriting to be held in Obergurgl, Áustria between 25 agosto 2024 and 01 setembro 2024. It covers specific areas of Informática such as 0. Visit the website of the conference for more detailed information or contact the organizer for specific questions.
Add to calendar 2024-08-25 2024-09-01 Europe/London ISR 2024 — 14th International School on Rewriting https://www.sciencedz.net/pt/conference/110861-isr-2024-14th-international-school-on-rewriting Obergurgl - Áustria

Info Cheap flights Best hotel deals

Related sections :

Conferences and seminars in Áustria
Conferences and seminars in Áustria in 2024
Conferences and seminars in Informática
Conferences and seminars in Informática in 2024
Conferences and seminars in Informática in Áustria
Conferences and seminars in Informática in Áustria in 2024
Todos os eventos
Events by country

Disclaimer : Temos como objectivo proporcionar informações precisas e confiáveis sobre os próximos eventos, mas não podemos aceitar a responsabilidade para o texto de anúncios ou boa-fé dos organizadores do evento. Por favor, não hesite em contactar-nos se você observar informações incorretas ou enganosas e vamos tentar corrigi-lo.We are not involved in the organization of any of the events listed and we do not handle registration payments on behalf of the organizers.