Extending Two-Variable Logic on Trees∗† Bartosz Bednarczyk1 , Witold Charatonik2 , and Emanuel Kieroński3 1 University of Wrocław, Wrocław, Poland

Source URL: drops.dagstuhl.de

Modal Logics Definable by Universal Three-Variable Formulas Emanuel Kieroński∗ , Jakub Michaliszyn∗ , and Jan Otop Institute of Computer Science University of Wrocław {kiero,jmi,jotop}@cs.uni.wroc.pl

Source URL: drops.dagstuhl.de

A Faster FPTAS for #Knapsack Paweł Gawrychowski Institute of Computer Science, University of Wrocław, Poland Liran Markin1

Source URL: www.cs.haifa.ac.il

Syntax and Semantics for Operations with Scopes Maciej Piróg Tom Schrijvers University of Wrocław

Source URL: www.ii.uni.wroc.pl

Easyprove: a tool for teaching precise reasoning Marek Materzok1 1 Institute of Computer Science University of Wrocław, Poland

Source URL: www.tilk.eu

Noun and verb in the mind. An interdisciplinary approach * Joanna Błaszczak and Dorota Klimek-Jankowska University of Wrocław Abstract In this paper we intend to provide a unified picture of the organization of knowled

Source URL: www.ifa.uni.wroc.pl

2015 EVENTS CALENDAR WOJSŁAWICE ARBORETUM near Niemcza Branch of the Botanical Garden of Wrocław University 26th April (SundaySPRING WALK with guide

Source URL: arboretumwojslawice.pl

THE INTERNATIONALIZATION STRATEGY FOR THE UNIVERSITY The internationalization strategy refers directly to its EU Mission in Wroclaw and to its Vision of Development:

Source URL: www.ue.wroc.pl

• Management education
• Master of Business Administration
• Education
• Faculty of Economics and Business
• University of Zagreb
• Khazar University

Wydział Geoinżynierii, Górnictwa i Geologii Politechniki Wrocławskiej Faculty of Geoengineering, Mining and Geology Wrocław University of Technology Vol. I (2014)

Source URL: www.historia-gornictwa.pwr.wroc.pl

HR STRATEGY FOR RESEARCHERS (HRS4R) The implementation of the principles of the European Charter for Researchers and the Code of Conduct for the Recruitment of Researchers at Wrocław University of Science and Technology

Source URL: www.portal.pwr.wroc.pl

• Wrocaw University of Science and Technology
• Framework Programmes for Research and Technological Development
• Master of Science
• Science and technology
• Education