{"id":109,"date":"2018-10-12T08:30:43","date_gmt":"2018-10-12T08:30:43","guid":{"rendered":"http:\/\/cyprusconferences.org\/isnps2020\/?page_id=109"},"modified":"2019-06-21T07:24:38","modified_gmt":"2019-06-21T07:24:38","slug":"workshops","status":"publish","type":"page","link":"https:\/\/easyconferences.eu\/fscd2019\/workshops\/","title":{"rendered":"Workshops"},"content":{"rendered":"

[et_pb_section fb_built=”1″ _builder_version=”3.17.2″ use_background_color_gradient=”on” background_color_gradient_start=”#0972c1″ background_color_gradient_end=”rgba(41,196,169,0)” custom_padding=”42px|0px|31px|0px|false|false”][et_pb_row _builder_version=”3.16.1″][et_pb_column type=”4_4″ _builder_version=”3.16.1″ parallax=”off” parallax_method=”on”][et_pb_text _builder_version=”3.16.1″]<\/p>\n

W O R K S H O P S<\/span><\/p>\n

[\/et_pb_text][\/et_pb_column][\/et_pb_row][\/et_pb_section][et_pb_section fb_built=”1″ _builder_version=”3.16.1″ custom_padding=”0|0px|62px|0px|false|false”][et_pb_row custom_padding=”31px|0px|0|0px|false|false” _builder_version=”3.17.2″][et_pb_column type=”4_4″ _builder_version=”3.16.1″ parallax=”off” parallax_method=”on”][et_pb_text _builder_version=”3.17.2″]<\/p>\n\n\n\n\n\n\n\n\n\n\n
\n

Workshop<\/strong><\/span><\/p>\n<\/td>\n

\n

Full Name<\/strong><\/span><\/p>\n<\/td>\n

\n

Edition<\/strong><\/span><\/p>\n<\/td>\n

\n

Link<\/strong><\/span><\/p>\n<\/td>\n<\/tr>\n

\n

UNIF<\/p>\n<\/td>\n

\n

International Workshop on Unification<\/p>\n<\/td>\n

\n

33rd<\/p>\n<\/td>\n

\n

http:\/\/www.mat.unb.br\/unif2019<\/a><\/u><\/p>\n<\/td>\n<\/tr>\n

\n

WPTE<\/p>\n<\/td>\n

\n

International Workshop on Rewriting Techniques for Program Transformations and Evaluation<\/p>\n<\/td>\n

\n

6th<\/p>\n<\/td>\n

\n

http:\/\/nigam.info\/conferences\/wpte2019\/main.html<\/a><\/p>\n<\/td>\n<\/tr>\n

\n

IWC<\/p>\n<\/td>\n

\n

International Workshop on Confluence<\/p>\n<\/td>\n

\n

8th<\/p>\n<\/td>\n

\n

http:\/\/iwc2019.cic.unb.br<\/a><\/p>\n<\/td>\n<\/tr>\n

\n

TLLA<\/p>\n<\/td>\n

\n

Trends in Linear Logic and Applications<\/p>\n<\/td>\n

\n

3rd<\/p>\n<\/td>\n

\u00a0<\/span>http:\/\/tlla.linear-logic.org\/2019<\/a>\u00a0<\/span><\/td>\n<\/tr>\n
\n

SD<\/p>\n<\/td>\n

\n

International Workshop on Structures and Deduction<\/p>\n<\/td>\n

\n

5th<\/p>\n<\/td>\n

http:\/\/www.anupamdas.com\/sd19<\/a><\/u><\/td>\n<\/tr>\n
\n

HOR<\/p>\n<\/td>\n

\n

International Workshop on Higher-Order Rewriting<\/p>\n<\/td>\n

\n

10th<\/p>\n<\/td>\n

http:\/\/imft.ftn.uns.ac.rs\/HOR2019<\/a><\/td>\n<\/tr>\n
\n

IFIP<\/p>\n<\/td>\n

\n

IFIP Working Group 1.6: Rewriting<\/p>\n<\/td>\n

\n

22nd<\/p>\n<\/td>\n

\n

http:\/\/cbr.uibk.ac.at\/ifip-wg1.6\/events\/event-2019.html<\/a><\/p>\n<\/td>\n<\/tr>\n<\/tbody>\n<\/table>\n

 <\/p>\n

 <\/p>\n

[\/et_pb_text][\/et_pb_column][\/et_pb_row][et_pb_row custom_padding=”0|0px|31px|0px|false|false” _builder_version=”3.17.2″][et_pb_column type=”1_5″ _builder_version=”3.17.2″ parallax=”off” parallax_method=”on”][\/et_pb_column][et_pb_column type=”3_5″ _builder_version=”3.17.2″ parallax=”off” parallax_method=”on”][et_pb_text _builder_version=”3.17.2″]<\/p>\n

FSCD 2019 WORKSHOP SCHEDULE<\/strong><\/span><\/p>\n

[\/et_pb_text][et_pb_text _builder_version=”3.17.2″]<\/p>\n\n\n\n\n\n\n\n\n
\n
\n

DATE<\/strong><\/h3>\n<\/blockquote>\n<\/td>\n

\n
\n

WORKSHOPS<\/strong><\/h3>\n<\/blockquote>\n<\/td>\n<\/tr>\n

\n

Mon<\/strong> 24.06.19<\/h4>\n<\/td>\n

\n

WPTE, UNIF\u00a0<\/em><\/span><\/p>\n<\/td>\n<\/tr>\n

\n

Wed<\/strong>\u00a026.06.19<\/h4>\n<\/td>\n

\n

IFIP\u00a0<\/em><\/span><\/p>\n<\/td>\n<\/tr>\n

\n

Fri<\/strong> 28.06.19<\/h4>\n<\/td>\n

\n

IWC, HOR\u00a0<\/em><\/span><\/p>\n<\/td>\n<\/tr>\n

\n

Sat<\/strong> 29.06.19<\/h4>\n<\/td>\n

\n

TLLA, SD\u00a0<\/em><\/span><\/p>\n<\/td>\n<\/tr>\n

\n

Sun<\/strong> 30.06.19<\/h4>\n<\/td>\n

\n

TLLA, SD\u00a0<\/em><\/span><\/p>\n<\/td>\n<\/tr>\n<\/tbody>\n<\/table>\n

[\/et_pb_text][et_pb_text _builder_version=”3.17.2″]<\/p>\n

** Venue: Technical University of Dortmund <\/span>ONLY on 24\/06<\/strong><\/h4>\n

[\/et_pb_text][\/et_pb_column][et_pb_column type=”1_5″ _builder_version=”3.17.2″ parallax=”off” parallax_method=”on”][\/et_pb_column][\/et_pb_row][et_pb_row custom_padding=”0|0px|0|0px|false|false” _builder_version=”3.17.2″][et_pb_column type=”4_4″ _builder_version=”3.17.2″ parallax=”off” parallax_method=”on”][et_pb_text _builder_version=”3.17.2″]<\/p>\n

<\/strong><\/span><\/p>\n

FSCD 2019 will be the fourth edition of the International Conference on Formal Structures for\u00a0Computation and Deduction. The FSCD conference was created by the communities behind two\u00a0<\/span>major conferences, RTA (Rewriting Techniques and Applications) and TLCA (Typed Lambda\u00a0<\/span>Calculi and Applications). The first event took place in Porto, Portugal in June 2016 and was\u00a0<\/span>extremely successful, attracting 186 participants and 11 workshops.\u00a0<\/span><\/p>\n

IMPORTANT DATES<\/strong><\/span><\/p>\n

Main conference:<\/strong> June 25-28, 2019
Workshop dates:<\/strong> June 24 and June 29-30, 2019<\/p>\n

 <\/p>\n

Related Event<\/strong><\/span><\/p>\n

[\/et_pb_text][et_pb_image src=”http:\/\/easyconferences.eu\/fscd2019\/wp-content\/uploads\/2019\/03\/isr2.png” url=”https:\/\/isr2019.inria.fr\/” _builder_version=”3.17.2″][\/et_pb_image][et_pb_text _builder_version=”3.17.2″]<\/p>\n

Term rewriting is a conceptually simple but powerful abstract model of computation which has numerous applications in computer science and many other fields: mathematics, quantum physics, biology, music, model checking, logic, programming languages, \u2026<\/p>\n

This school proposes to master students, PhD students and researchers, two parallel tracks:<\/strong><\/p>\n