Seminarios de Innovación e Investigación en Informática

Be careful: Places limited! An introduction to FPGA and Zynq technology will be covered including the PYNQ framework, along with some hands-on tutorials and examples on local hardware (provided by the Xilinx University Program to each attendee). The Xilinx Vitis software development environment for designing FPGA accelerators will be introduced. Vitis supports OpenCL, C and C++. RTL design flows are also supported for experienced hardware developers. Each of these flows will be discussed along with the open-source Xilinx Runtime Library and Vitis open-source accelerated libraries. Participants will devise and build their own custom accelerators targeting Alveo and AWS F1 instances. Students can follow the guidance of the instructors to build custom designs from available open source libraries or to create their own custom accelerator design. The school will also include invited presentations from speakers at ETH and Xilinx on relevant topics, including an overview of the XACC program and the XACC at ETH Zurich.

9-18h

This year bitsxlaMarató, a hackathon for contributing to La Marató de TV3, a public Catalan charity effort, is organised by the Barcelona School of Informatics (FIB), Hackers@upc (organisers of HackUPC) and the Barcelona Supercomputing Center-Centro Nacional de Supercomputación (BSC), which come together to fight COVID-19. After a first edition focused on rare diseases, we are joining forces to stop the effects of COVID-19. Full of creativity, health and technology, where teachers, researchers and any professional from the fields of health and technology (but also from other areas!) will work as a team, for 3 days in a row, online. Together, they will develop and look for solutions to face all the challenges posed by COVID-19. This Marathon concerns everyone! Do not even think about missing it! The Hackathon will include training talks that are a must to attend! Besides, we hope to have very interesting guided activities! During the last day of the Hackathon, the teams will make the presentations and demonstrations of the solutions as well as proposals for solutions obtained to the challenges set out the first day. Now listen up! There will be (symbolic) prizes! In addition, a prize for the best project as well!, even though all the solutions and donations for the TV3 Marathon will be prizes by themselves for the millions of people affected! All of them will be grateful for it!

Friday (17-21:00h), Saturday (9-22h), Sunday (9-17h)

This hackathon targets application developers that are interested in investigating the impact of novel SVE extensions in their HPC applications.

The RISC-V Summit is the annual conference organised by the RISC-V Foundation, featuring 3 days of keynotes, technical talks and tutorials in addition to networking opportunities. In this year's event which will take place online, there are 3 speakers from UPC/BSC: Leonidas Kosmidis, Roger Espasa, Jaume Abella. Registration is free for students, using the UPC email address to obtain the "All Access Pass-Student" ticket from https://tmt.knect365.com/risc-v-summit/plan-your-visit/

18:00-2:00

Typed functional programming languages allow for the rapid development of robust programs. This course explores some of the more advanced language features of Haskell, a state­ of­ the­ art functional programming language, together with some of its theoretical background. The course aims to teach not only some of the more recent Haskell features, such GADTs or type families, but also the underlying theory. Besides the lectures, there are numerous supervised lab sessions to help you come to grips with the material covered in class. Advanced Functional Programming logo We expect students to have a basic familiarity with Haskell already. You should be able to write recursive functions over algebraic data types, such as lists and trees. There is a great deal of online material freely available that covers this material. From these basics, we aim to cover several more advanced topics, including monads, applicative functors, GADTs, (typed) lambda calculus, and generic programming. Each day we aim to cover a variety of topics in the lectures, mixing both practical programming advice and theoretical foundations. The supervised daily lab sessions offer students the opportunity to practice the material and discuss their problems with our Haskell experts.

9-18