{"id":92,"date":"2015-10-14T21:40:02","date_gmt":"2015-10-14T19:40:02","guid":{"rendered":"https:\/\/project.inria.fr\/ctrc\/?page_id=92"},"modified":"2017-01-04T11:54:47","modified_gmt":"2017-01-04T10:54:47","slug":"news","status":"publish","type":"page","link":"https:\/\/project.inria.fr\/ctrc\/news\/","title":{"rendered":"Seminars"},"content":{"rendered":"<p><strong style=\"text-align: justify;\">Past CTRC seminars<\/strong><\/p>\n<ul>\n<li>September 26, 2016 &#8212; by <a href=\"https:\/\/www.uni-bamberg.de\/en\/swt\/team\/dr-eugene-yip\/\">Eugene Yip<\/a> from University of Bamberg<br \/>\nTitle:<strong> The ForeC Synchronous Deterministic Parallel Programming Language for Multicores<\/strong><br \/>\n<a href=\"https:\/\/formal-methods-seminars.inria.fr\/past\/#2016-09-26\"><span style=\"color: #00cc00;\">More&#8230;<\/span><\/a><\/li>\n<li>September 6, 2016 &#8212; by <a href=\"http:\/\/lipn.univ-paris13.fr\/~andre\/\">\u00c9tienne Andr\u00e9<\/a> from Laboratoire d&#8217;Informatique de Paris Nord<br \/>\nTitle:<strong> Computing the Best and Worst Case Execution Time of a Real-Time System under Uncertainty<\/strong><br \/>\n<a href=\"https:\/\/formal-methods-seminars.inria.fr\/past\/#2016-09-06\"><span style=\"color: #00cc00;\">More&#8230;<\/span><\/a><\/li>\n<li>July 12, 2016 &#8212; by <a href=\"http:\/\/www.di.ens.fr\/~guatto\/\">Adrien Guatto<\/a> from ENS Paris<br \/>\nTitle:<strong> A Synchronous Functional Language with Integer Clocks<\/strong><br \/>\n<a href=\"https:\/\/formal-methods-seminars.inria.fr\/past\/#2016-07-12\"><span style=\"color: #00cc00;\">More&#8230;<\/span><\/a><\/li>\n<li style=\"text-align: justify;\">May 3, 2016 &#8212; by <a href=\"http:\/\/www.di.ens.fr\/~zappa\/\">Francesco Zappa Nardelli<\/a> from \u00c9cole normale sup\u00e9rieure in Paris<br \/>\nTitle:<strong> Shared Memory and Concurrency: a Thorny Relationship <\/strong><br \/>\n<a href=\"https:\/\/formal-methods-seminars.inria.fr\/past\/#2016-05-03\"><span style=\"color: #00cc00;\">More&#8230;<\/span><\/a><\/li>\n<li style=\"text-align: justify;\">March 8, 2016 &#8212; by <a href=\"http:\/\/perso.ens-lyon.fr\/lionel.rieg\/\">Lionel Rieg<\/a> from Coll\u00e8ge de France in Paris<br \/>\nTitle:<strong> Toward a Coq-verified compiler from Esterel to circuits <\/strong><br \/>\n<a href=\"https:\/\/formal-methods-seminars.inria.fr\/past-seminars\/#2016-03-08\"><span style=\"color: #00cc00;\">More&#8230;<\/span><\/a><\/li>\n<li style=\"text-align: justify;\">March 1, 2016 &#8212; by <a href=\"http:\/\/sudiptac.bitbucket.org\/\">Sudipta Chattopadhyay<\/a> from Saarland University<br \/>\nTitle:<strong> On Testing Embedded Software for its Performance and Security <\/strong><br \/>\n<a href=\"https:\/\/formal-methods-seminars.inria.fr\/past-seminars\/#2016-03-01\"><span style=\"color: #00cc00;\">More&#8230;<\/span><\/a><\/li>\n<li style=\"text-align: justify;\">February 2, 2016 &#8212; by <a href=\"https:\/\/sites.google.com\/site\/theyoucheng\/\">Youcheng Sun<\/a> from Scuola Superiore Sant&#8217;Anna in Pisa<br \/>\nTitle:<strong> Multiprocessor Global Schedulability Analysis in Continuous Time<\/strong><br \/>\n<a href=\"https:\/\/formal-methods-seminars.inria.fr\/past-seminars\/#2016-02-02\"><span style=\"color: #00cc00;\">More&#8230;<\/span><\/a><\/li>\n<li style=\"text-align: justify;\">January 14, 2016 &#8212; by <a href=\"http:\/\/www.mpi-sws.org\/~bbb\/\">Bj\u00f6rn Brandenburg<\/a> from Max Planck Institute for Software Systems (MPI-SWS)<br \/>\nTitle:<strong> Bounds on Locking Delays in Multicore Real-Time Systems<\/strong><br \/>\n<a href=\"https:\/\/formal-methods-seminars.inria.fr\/past-seminars\/#2016-01-14\"><span style=\"color: #00cc00;\">More&#8230;<\/span><\/a><\/li>\n<li style=\"text-align: justify;\">December 15, 2015 &#8212; by <a href=\"http:\/\/www.irisa.fr\/prive\/Benoit.Caillaud\/\">Beno\u00eet Caillaud<\/a> from Inria Rennes &#8211; Bretagne Atlantique<br \/>\nTitle:<strong> Structural Analysis of Multi-Mode DAE Systems<\/strong><br \/>\n<a href=\"https:\/\/formal-methods-seminars.inria.fr\/past-seminars\/#2015-12-15\"><span style=\"color: #00cc00;\">More&#8230;<\/span><\/a><\/li>\n<li style=\"text-align: justify;\">November 27, 2015 &#8212; by <a href=\"http:\/\/software.imdea.org\/~giovanni.bernardi\/index.xhtml\">Giovanni Bernardi<\/a> from the Madrid Institute of Advanced Studies<br \/>\nTitle:<strong> Using Higher-Order Contracts to Model Session Types<\/strong><br \/>\n<a href=\"https:\/\/formal-methods-seminars.inria.fr\/past-seminars\/#2015-11-27\"><span style=\"color: #00cc00;\">More&#8230;<\/span><\/a><\/li>\n<li style=\"text-align: justify;\">November 10, 2015 &#8212; by Bertrand Jeannet from Argosim<br \/>\nTitle:<strong> Debugging Embedded Systems Requirements with Stimulus<\/strong><br \/>\n<a href=\"https:\/\/formal-methods-seminars.inria.fr\/past-seminars\/#2015-11-10\"><span style=\"color: #00cc00;\">More&#8230;<\/span><\/a><\/li>\n<li style=\"text-align: justify;\">October 27, 2015 &#8212; by <a href=\"http:\/\/www-verimag.imag.fr\/~magron\/\">Victor Magron<\/a> from Verimag<br \/>\nTitle: <strong>NLVerify: Verification of Polynomial Inequalities using Formal Floating-point Arithmetic<\/strong><br \/>\n<a href=\"https:\/\/formal-methods-seminars.inria.fr\/past-seminars\/#2015-10-27\"><span style=\"color: #00cc00;\">More&#8230;<\/span><\/a><\/li>\n<li style=\"text-align: justify;\">October 13, 2015 &#8212; by Mahmood Hikmet from the University of Auckland<br \/>\nTitle:<strong> Quantitative Fairness and its Limits<\/strong><br \/>\n<a href=\"https:\/\/formal-methods-seminars.inria.fr\/past-seminars\/#2015-10-13\"><span style=\"color: #00cc00;\">More&#8230;<\/span><\/a><\/li>\n<li style=\"text-align: justify;\">June 23, 2015 &#8212; by <a href=\"http:\/\/www.martinamaggio.com\/\">Martina Maggio<\/a> from Lund University<br \/>\nTitle:<strong> Discrete-Time Control Theory for Software Engineering<\/strong><br \/>\n<a href=\"https:\/\/formal-methods-seminars.inria.fr\/past-seminars\/#2015-06-23\"><span style=\"color: #00cc00;\">More&#8230;<\/span><\/a><\/li>\n<li style=\"text-align: justify;\">May 26, 2015 &#8212; by <a href=\"http:\/\/www-soc.lip6.fr\/~alix\/\">Alix Munier-Kordon<\/a> from LIP6<br \/>\nTitle:<strong> \u00c9valuation du D\u00e9bit Maximal d&#8217;une Application Repr\u00e9sent\u00e9e sous la Forme d&#8217;un SDF <\/strong><br \/>\n<a href=\"https:\/\/formal-methods-seminars.inria.fr\/past-seminars\/#2015-05-26\"><span style=\"color: #00cc00;\">More&#8230;<\/span><\/a><\/li>\n<li style=\"text-align: justify;\">May 12, 2015 &#8212; by <a href=\"http:\/\/www.onera.fr\/staff\/marc-boyer\/\"> Marc Boyer<\/a> from Onera<br \/>\nTitle:<strong> Calcul R\u00e9seau, de la Th\u00e9orie aux Applications Avioniques<\/strong><br \/>\n<a href=\"https:\/\/formal-methods-seminars.inria.fr\/past-seminars\/#2015-05-12\"><span style=\"color: #00cc00;\">More&#8230;<\/span><\/a><\/li>\n<\/ul>\n","protected":false},"excerpt":{"rendered":"<p><strong style=\"text-align: justify;\">Past CTRC seminars<\/strong><\/p>\n<ul>\n<li>September 26, 2016 &#8212; by <a href=\"https:\/\/www.uni-bamberg.de\/en\/swt\/team\/dr-eugene-yip\/\">Eugene Yip<\/a> from University of Bamberg<br \/> Title:<strong> The ForeC Synchronous Deterministic Parallel Programming Language for Multicores<\/strong><br \/> <a href=\"https:\/\/formal-methods-seminars.inria.fr\/past\/#2016-09-26\">More&#8230;<\/a><\/li>\n<li>September 6, 2016 &#8212; by <a href=\"http:\/\/lipn.univ-paris13.fr\/~andre\/\">\u00c9tienne Andr\u00e9<\/a> from Laboratoire d&#8217;Informatique de Paris Nord<br \/> Title:<strong> Computing the  \u2026\n<p class=\"continue-reading-button\"> <a class=\"continue-reading-link\" href=\"https:\/\/project.inria.fr\/ctrc\/news\/\">Continue reading<i class=\"crycon-right-dir\"><\/i><\/a><\/p>\n","protected":false},"author":472,"featured_media":0,"parent":0,"menu_order":0,"comment_status":"closed","ping_status":"closed","template":"","meta":{"footnotes":""},"class_list":["post-92","page","type-page","status-publish","hentry"],"_links":{"self":[{"href":"https:\/\/project.inria.fr\/ctrc\/wp-json\/wp\/v2\/pages\/92","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/project.inria.fr\/ctrc\/wp-json\/wp\/v2\/pages"}],"about":[{"href":"https:\/\/project.inria.fr\/ctrc\/wp-json\/wp\/v2\/types\/page"}],"author":[{"embeddable":true,"href":"https:\/\/project.inria.fr\/ctrc\/wp-json\/wp\/v2\/users\/472"}],"replies":[{"embeddable":true,"href":"https:\/\/project.inria.fr\/ctrc\/wp-json\/wp\/v2\/comments?post=92"}],"version-history":[{"count":20,"href":"https:\/\/project.inria.fr\/ctrc\/wp-json\/wp\/v2\/pages\/92\/revisions"}],"predecessor-version":[{"id":149,"href":"https:\/\/project.inria.fr\/ctrc\/wp-json\/wp\/v2\/pages\/92\/revisions\/149"}],"wp:attachment":[{"href":"https:\/\/project.inria.fr\/ctrc\/wp-json\/wp\/v2\/media?parent=92"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}