Oslo, Norway, 11 – 14 June 2019. The conference will be held at Ingeniørenes Hus Møtesenter, located centrally in Vika in Oslo.
The TYPES meetings are a forum to present new and on-going work in all aspects of type theory and its applications, especially in formalised and computer assisted reasoning and computer programming. The meetings from 1990 to 2008 were annual workshops of a sequence of five EU funded networking projects. Since 2009, TYPES has been run as an independent conference series.
The TYPES areas of interest include, but are not limited to:
foundations of type theory and constructive mathematics;
applications of type theory;
dependently typed programming;
industrial uses of type theory technology;
meta-theoretic studies of type systems;
proof assistants and proof technology;
automation in computer-assisted reasoning;
links between type theory and functional programming;
formalizing mathematics using type theory
We encourage talks proposing new ways of applying type theory. In the spirit of workshops, talks may be based on newly published papers, work submitted for publication, but also work in progress.
The conference is partially supported by COST Action CA15123 EUTypes, the Research Council of Norway, and Academia Europaea Knowledge Hub Region Bergen.
Oslo, Norway, 12 – 14 June 2019. The conference will be held at Ingeniørenes Hus Møtesenter, located centrally in Vika in Oslo.
Homotopy Type Theory and Univalent Foundations combines ideas and techniques from algebraic topology, logic, higher categories and computer science. As a fairly young subject it is still under dramatic development and sees vibrant activity.
The workshop aims at bringing together researchers spanning the width of the field, complementing the concurrent TYPES conference with which it will share some plenary sessions.
The workshop is organised jointly by the Centre for Advanced Study (CAS) at the Norwegian Academy of Science and Letters and the University of Bergen (UiB). With financial support from Academia Europaea Knowledge Hub Region Bergen.
Balancing mitigation actions and their impacts. Dilemmas in implementing rapid transformation of the energy system to reach the Paris targets are many. Our expert panel will present and discuss major challenges and possible conflicts between the SDG goals.
About the meeting
The Meeting was held in conjunction with the 2019 Annual national conference on the UN Sustainable Development Goals (SDGs) as a collaboration between Academia Europaea and the UiB Program for Climate and Energy transformation. We received a broad audience of academics, people from the energy sector, NGOs and the general public. The meeting took place at University of Bergen, in the University Aula, Museplass 3, on Wednesday, February 6, 2019 from 12.15-17.00 (Day “Zero” of the SDG Conference)
The speakers are leading academics working on the climate change and mitigation areas with broad expertise in energy systems, climate action, biodiversity and ecosystems, energy transition, climate policies in Europe, USA and China and nuclear energy.
The speakers presented major challenges and possible conflicts between the SDG goals, followed by a moderated panel discussion and questions from the audience.
Topics
It is urgent for society to reduce CO2-emissions, and to achieve the Paris targets. The available remaining carbon budget which needs to be kept to be within the Paris targets of 1.5 or 2 degrees warming above pre-industrial levels is very limited. This calls for unprecedented and extremely rapid changes in energy production and consumption, as well as other mitigating efforts. The urgency of the energy transformation requires a major restructuring and a quest for alternatives to fossil fuel based energy.
Does climate thus trump other concerns in balancing mitigation actions and their impacts? Does this imply that all renewable energy production should be welcomed? Can renewable energy sometimes come with a too high cost with respect to biodiversity, food supply and health? Do we need nuclear energy to meet the Paris targets?
When strong mitigation policies are implemented, we experience conflicting concerns. The event will discuss such conflicting issues. How far can we go to reach the climate mitigation goals, and how can we balance concerns and impacts while working towards SDG Goal 7 – Affordable and Clean Energy, SDG Goal 2 – Zero Hunger, SDG 3 – Good Health and Well-Being and SDG 13 – Climate Action?
The speakers are leading academics working on the climate change and mitigation areas with broad expertise in energy systems, climate action, biodiversity and ecosystems, energy transition, climate policies in Europe, USA and China and nuclear energy.
The speakers presented major challenges and possible conflicts between the SDG goals, followed by a moderated panel discussion and questions from the audience.
Falske nyheter. Forsider styrt av algoritmer. Robotjournalister. Kunstig intelligens og stemmestyring. Ansvarlig redaktør, direktør Gard Steiro forteller i denne forelesningen hvordan VG skal møte fremtiden.
Norske redaktører bekymrer seg ikke lenger bare for fallende opplag. Nye teknologiske skift er i ferd med å endre både mediebransjen og journalistikken fullstendig. Midt i denne stormen står VG. Tabloidavisen ligger helt i front i den digitale utviklingen. Ansvarlig redaktør Gard Steiro forteller hvordan VG skal møte fremtiden.
Det ble satt av tid til påfølgende spørsmål fra salen. Geir Anton Johansen fra NTVA, og dekan fra Fakultet for ingeniør- og naturvitskap ved HVL, var ordstyrer.
Tid: Tirsdag 27. november 2018 kl. 19:00-20:30. Sted: Universitetetsaulaen i Bergen
The role of BlueTech clusters in futureproofing energy, food and mobility systems
Academia Europaea Bergen Knowledge Hub co-organized the Ocean Roundtable Discussion together with the marine/maritime industry clusters in the Bergen Region. The meeting was held in Norway House in Brussels on October 16, 2018.
Date: October 16, 2018 / 10:00 – 16:00 Location : Norway House / Rue Archimède 17 / 1000 Brussels, Belgium
Programme
10:30 Welcome remarks by Oda Helen Sletnes, Ambassador of Norway to the EU
10:35 Session 1 – Setting the scene
Felix Leinemann, Head of Unit Blue Economy Sectors, DG MARE
Sigi Gruber, Head of Marine Recources Unit, DG RTD
Andreea Strachinescu, Head of Maritime Innovation, Marine Knowledge and Innovation, DG MARE
Group Discussion
11:30 Session 2 – Roundtable discussion on the role of clusters in catalysing the emerging Ocean Industries and entrepreneurship
Owe Hagesæther, CEO GCE Subsea and Tanja Hoel, CEO NCE Seafood
Moderated discussion with all roundtable participants – ‘2 per intervention Ocean Industries vision Crossovers The role of SMEs The Role of Clusters: beyond triple helix, the 5-stakeholder model
13:00 Networking lunch
14:00 Session 3 – Roundtable discussion: Ocean Education and Research
Research and education reps setting the context
Moderated discussion with all roundtable participants – ‘2 per interventio Research, the long-term vision Education and skills Open access, trade/offs and barriers to Growth
15:30 Summary of roundtable discussion and articulation of our common vision into a high-level statement
Norway is establishing particle therapy centres for cancer treatment in Oslo and Bergen. Particle therapy, in combination with molecular and digital biomarkers is revolutionizing cancer treatment. A world leading expert will present recent research and technology developements.
Professor Stephanie Combs gave a lecture on The Benefits of Particle Therapy: Individualized concepts based on biology, physics and prospective clinical trials on February 20th, 2019 in Auditorium 1, Realfagbygget.
External beam radiation therapy as the most conventional form of radiotherapy where the radiation is delivered to a particular part of the body from the outside, is a crucial component of modern oncology. Depending on the type of tumor, radiation therapy (RT) is either an essential complementary and supportive treatment before or after surgery or a clear treatment alternative to surgery. Early treatments were performed with photon radiotherapy. The photons cause damage to the cancer cell’s DNA, so the cancerous cells reproduce more slowly or die. Initially X-ray or clinical localization was used to confine the space for irradiation before a more precise photon RT with 3D-conformal planning became possible after the introduction of computed tomography (CT) and magnetic resonance imaging (MRI).
The next step was the development of stereotactic RT, where the benefits of detailed imaging scans and patient immobilization developed by neurosurgery allowed a very precise targeted irradiation, mostly for tumors in the brain or spine. Further technological advances for planning radiation therapy, including intensity modulated RT have made RT even more precise. This method spares normal brain tissue and hence lowers the risk for side effects, especially for lesions that have complex shapes or are close to neighboring healthy organs.
Today, particle therapy with protons or heavier ions opens new horizons in radiation oncology. In comparison to photon RT, particle beams have specific physical and biological properties. Studies have shown that precision can be increased and the biological effect on the cancerous cells is two to three times higher. This leads to fewer side effects and enhances local control of tumors and thus survival. Clinical trials are currently underway to characterize the potential of particle beams. In Europe, the number of particle therapy centers is continuously increasing which stresses the importance of this technique for patient care and research.
These developments, in combination with molecular and digital biomarkers, have the potential to revolutionize radiation oncology and pave the way to personalized medicine.
Many politicians disregard the democratic importance of science as an independent factor for good solutions. How do universities respond to this challenge?
The commercial influence over academia is ever increasing. How do universities respond to this challenge in a post factual time? Dag O. Hessen, Professor of Biology, at the University of Oslo, recently published his book “Sannhet til salgs” (“Truth for sale” ) where he brings this dilemma to the table.
The meeting was the first in a meeting series, of the restructured Bergen Knowledge Hub Region Bergen, looking on key perspectives on links between academia and society. The venue was held on June 7, 2018 at the Bergen Literature House (Litteraturhuset).
Participants attended from academic institutions in the Bergen area.
Dag O. Hessen and Dag Rune Olsen both agreed on the need for more involvement from academia in policy development.
Other themes mentioned on the matter was the relevance critera in research funding.
Dag O. Hessen sees that the problem lies in an over-emphasis on current relevance, leading to less acceptance of the fundamental independent basic research and the need for funding in those areas.
Dag Rune Olsen acknowledged international trends in developing “science advice” mechanisms in various countries and the need for all universities to engage in solving the big global issues.
Looking on marine resource management in Norway and complexities therein, questions were raised in to which extent advice was really used. A “science advice mechanism” is proposed and under discussion between Academies and the government in Norway.
