Jeudisdulibres-logo-rvb-150



Mons, le 15 décembre : Hardware design using CLaSH


QBayLogic LogoCe jeudi 15 décembre 2016 à 19h se déroulera la 54ème séance montoise des Jeudis du Libre de Belgique.

Le sujet de cette séance : Hardware design using CLaSH

Exceptionnellement, l'exposé sera donné en anglais

Thématique : Programmation|Développement

Public : developpeurs|entreprises|étudiants

L'animateur conférencier : Jan Kuper (Université de Twente & QBayLogic)

Lieu de cette séance : HEPH Condorcet, Chemin du Champ de Mars, 15 - 7000 Mons - Auditorium 2 (G01) situé au rez de chaussée (cf. ce plan sur le site d'Openstreetmap; ATTENTION, l'entrée est peu visible de la voie principale, elle se trouve dans l'angle formé par un très grand parking).

La participation sera gratuite et ne nécessitera que votre inscription nominative, de préférence préalable, ou à l'entrée de la séance. Merci d'indiquer votre intention en vous inscrivant via cette page.* La séance sera suivie d'un verre de l'amitié.

Les Jeudis du Libre à Mons bénéficient aussi du soutien de nos partenaires : CETIC, Normation, MeaWeb et Phonoid.

Si vous êtes intéressé(e) par ce cycle mensuel, n’hésitez pas à consulter l'agenda et à vous inscrire sur la liste de diffusion afin de recevoir systématiquement les annonces.

Pour rappel, les Jeudis du Libre se veulent des espaces d'échanges autour de thématiques des Logiciels Libres. Les rencontres montoises se déroulent chaque troisième jeudi du mois, et sont organisées dans des locaux et en collaboration avec des Hautes Écoles et Facultés Universitaires montoises impliquées dans les formations d’informaticiens (UMONS, HEH et Condorcet), et avec le concours de l’A.S.B.L. LoLiGrUB, active dans la promotion des logiciels libres.

Description : Mainstream hardware design languages such as VHDL and Verilog have poor abstraction mechanisms and many attempts are done to design so-called High Level Synthesis languages. Most of these languages take an imperative perspective whereas CλaSH, on the other hand, starts from a functional perspective and is based on the functional language Haskell. That starting point offers high level abstraction mechanisms such as polymorphism, type derivation, higher order functions. Besides, it offers a direct simulation environment, every CλaSH specification is an executable program. During the presentation we will illustrate this with several examples such as elementary computational architectures, filters for signal processors, a simple processor.

Keywords : Functional HDL|FPGA design

Target audience : people who are familiar with programming and interested in usage of other platforms than just a traditional processor. Some knowledge of hardware design is handy but not necessary.

Short bio : Jan Kuper studied Logic and Mathematics and did his PhD under Henk Barendregt on the foundations of mathematics and computer science (1994). He worked in the areas of logic of language, theoretical computer science, and mathematical methods for architecture design. Currently he works at the Embedded Systems group of the University of Twente where he initiated the development of CλaSH. His lecturing experience comprises philosophical and mathematical logic, imperative and functional programming languages, and design of digital architectures. Together with Christiaan Baaij, he recently started the company QBayLogic to apply formal design methodologies to FPGA design.

 

___

* Les adresses emails seront utilisées pour annoncer les prochains événements via une liste de diffusion avec possibilité de désinscription. En aucun cas les adresses ne seront délivrées à des tiers.

TICKET (€0,00)

Réservez

décembre 15, 2016 19:00 - 21:00 (GMT +01:00 Brussels)


Google Calendar
Microsoft Outlook
.ics file (Apple's iCal & others)

Adresse


HEPH Condorcet - Auditorium 2
Chemin du Champ de Mars, 15
7000 Mons
Plan OSM

Participants (13)


    • Gravatar
    • David Hauweele

    • Gravatar
    • Younes LAKHLIFI

    • Gravatar
    • Philippe Wambeke

    • Gravatar
    • abdelouahad alla

    • Gravatar
    • Iannis Papageorgiadis

    • Gravatar
    • Gaetan Paulet

    • Gravatar
    • Jean-Paul GUEREZ

    • Gravatar
    • Eric Deri

    • Gravatar
    • Boris KAMEWE

    • Gravatar
    • Thomas Dutat

    • Gravatar
    • Sebastien Van Cauwenberghe

    • Gravatar
    • Francois Bayart

    • Gravatar
    • Didier Villers