{"id":3458,"date":"2016-12-08T07:06:05","date_gmt":"2016-12-08T06:06:05","guid":{"rendered":"http:\/\/www.loligrub.be\/blog\/?p=3458"},"modified":"2016-12-08T07:06:06","modified_gmt":"2016-12-08T06:06:06","slug":"jeudis-du-libre-le-15-decembre-a-mons-hardware-design-using-clash","status":"publish","type":"post","link":"https:\/\/www.loligrub.be\/blog\/2016\/12\/08\/jeudis-du-libre-le-15-decembre-a-mons-hardware-design-using-clash\/","title":{"rendered":"Jeudis du Libre le 15 d\u00e9cembre \u00e0 Mons : Hardware design using CLaSH"},"content":{"rendered":"

\"Logo<\/a>Ce jeudi 15 d\u00e9cembre 2016 \u00e0 19h se d\u00e9roulera la 54\u00e8me s\u00e9ance montoise des Jeudis du Libre de Belgique<\/a>.<\/p>\n

Le sujet de cette s\u00e9ance : Hardware design using CLaSH<\/strong><\/p>\n

Exceptionnellement, l’expos\u00e9 sera donn\u00e9 en anglais<\/em><\/strong><\/p>\n

Th\u00e9matique : Programmation|D\u00e9veloppement<\/strong><\/p>\n

Public : developpeurs|entreprises|\u00e9tudiants<\/strong><\/p>\n

L’animateur conf\u00e9rencier : Jan Kuper<\/strong> (Universit\u00e9 de Twente & QBayLogic)<\/p>\n

Lieu de cette s\u00e9ance : HEPH Condorcet, Chemin du Champ de Mars, 15 – 7000 Mons – Auditorium 2 (G01) situ\u00e9 au rez de chauss\u00e9e<\/strong> (cf. ce plan<\/a> sur le site d’Openstreetmap; ATTENTION, l’entr\u00e9e est peu visible de la voie principale, elle se trouve dans l’angle form\u00e9 par un tr\u00e8s grand parking).<\/p>\n

La participation sera gratuite et ne n\u00e9cessitera que votre inscription nominative, de pr\u00e9f\u00e9rence pr\u00e9alable, ou \u00e0 l’entr\u00e9e de la s\u00e9ance. Merci d’indiquer votre intention en vous inscrivant via la page http:\/\/jeudisdulibre.fikket.com\/<\/a>. La s\u00e9ance sera suivie d’un verre de l’amiti\u00e9.<\/p>\n

Les Jeudis du Libre \u00e0 Mons b\u00e9n\u00e9ficient aussi du soutien de nos partenaires<\/a> : CETIC<\/a>, Normation<\/a>, MeaWeb<\/a> et Phonoid<\/a>.<\/p>\n

Si vous \u00eates int\u00e9ress\u00e9(e) par ce cycle mensuel, n\u2019h\u00e9sitez pas \u00e0 consulter l’agenda<\/a> et \u00e0 vous inscrire sur la liste de diffusion<\/a> afin de recevoir syst\u00e9matiquement les annonces.<\/p>\n

Pour rappel, les Jeudis du Libre se veulent des espaces d’\u00e9changes autour de th\u00e9matiques des Logiciels Libres. Les rencontres montoises se d\u00e9roulent chaque troisi\u00e8me jeudi du mois, et sont organis\u00e9es dans des locaux et en collaboration avec des Hautes \u00c9coles et Facult\u00e9s Universitaires montoises impliqu\u00e9es dans les formations d\u2019informaticiens (UMONS<\/a>, HEH<\/a> et Condorcet<\/a>), et avec le concours de l\u2019A.S.B.L. LoLiGrUB<\/a>, active dans la promotion des logiciels libres.<\/p>\n

Description<\/strong> : 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\u03bbaSH<\/a>, 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\u03bbaSH<\/a> 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.<\/p>\n

Keywords : Functional HDL|FPGA design<\/strong><\/p>\n

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.<\/p>\n

Short bio<\/strong> : 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\u03bbaSH<\/a>. 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<\/a> to apply formal design methodologies to FPGA design.<\/p>\n","protected":false},"excerpt":{"rendered":"

Ce jeudi 15 d\u00e9cembre 2016 \u00e0 19h se d\u00e9roulera la 54\u00e8me s\u00e9ance montoise des Jeudis du Libre de Belgique. Le sujet de cette s\u00e9ance : Hardware design using CLaSH Exceptionnellement, l’expos\u00e9 sera donn\u00e9 en anglais Th\u00e9matique : Programmation|D\u00e9veloppement Public : … Continuer la lecture →<\/span><\/a><\/p>\n","protected":false},"author":3,"featured_media":0,"comment_status":"open","ping_status":"open","sticky":false,"template":"","format":"standard","meta":{"footnotes":""},"categories":[134,3,1],"tags":[15,192],"class_list":["post-3458","post","type-post","status-publish","format-standard","hentry","category-local","category-loligrub","category-news","tag-conference","tag-jeudis-du-libre"],"_links":{"self":[{"href":"https:\/\/www.loligrub.be\/blog\/wp-json\/wp\/v2\/posts\/3458","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/www.loligrub.be\/blog\/wp-json\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/www.loligrub.be\/blog\/wp-json\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/www.loligrub.be\/blog\/wp-json\/wp\/v2\/users\/3"}],"replies":[{"embeddable":true,"href":"https:\/\/www.loligrub.be\/blog\/wp-json\/wp\/v2\/comments?post=3458"}],"version-history":[{"count":2,"href":"https:\/\/www.loligrub.be\/blog\/wp-json\/wp\/v2\/posts\/3458\/revisions"}],"predecessor-version":[{"id":3461,"href":"https:\/\/www.loligrub.be\/blog\/wp-json\/wp\/v2\/posts\/3458\/revisions\/3461"}],"wp:attachment":[{"href":"https:\/\/www.loligrub.be\/blog\/wp-json\/wp\/v2\/media?parent=3458"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/www.loligrub.be\/blog\/wp-json\/wp\/v2\/categories?post=3458"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/www.loligrub.be\/blog\/wp-json\/wp\/v2\/tags?post=3458"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}