<HTML> <HEAD> <TITLE>Home Page Mauricio Ayala Rinc&oacute;n</TITLE> </HEAD> <BODY> <table> <td> <IMG ALIGN=MIDDLE SRC = FotoMAyalaRincon2016.jpg> </td> <td> <H4> Mauricio Ayala Rinc&oacute;n, Dr. rer. nat.<BR> <table> <td> <i>Full Professor</i><br> <A href="TCgroup/index.html/">Theory of Computation</a><BR> Departments of <a href="http://www.cic.unb.br">Computer Science</a> and <a href="http://www.mat.unb.br">Mathematics</a> <BR> Brasilia University</td> </table> </H4> <B>Address:</B><BR> Departamento de Matem&aacute;tica, <A HREF="http://www.unb.br">Universidade de Bras&iacute;lia </A><BR> Campus Universit&aacute;rio Darcy Ribeiro, Asa Norte <BR> 70910-900 Brasilia D. F., Brasil<BR> Tels. +55-61- 3307 2441|2442| +55-61- 3107 6453 | 3676 Fax +55-61-3273 2737<br> <B><font color="#FF0000">e-mail:</font></B> <A HREF = "mailto:ayala[at]unb.br"> <I>ayala[at]unb.br</I></A> <HR> <table> <td> <IMG ALIGN = BOTTON SRC = "ball_red.gif"><A HREF="publications.html"> Publications </A> <br> </td> <td> <IMG ALIGN = BOTTON SRC = "ball_red.gif"><A HREF="academics.html"> Courses </A><br> </td> <td> <IMG ALIGN = BOTTON SRC = "ball_red.gif"><A HREF="pvsclass17/index.html"> PVS Class 2017 </A><br> </td> </table> <table> <td> <IMG ALIGN = BOTTON SRC = "ball_red.gif"><A HREF="profActivities.html"> Professional Activities </A> </td> <td> <IMG ALIGN = BOTTON SRC = "ball_red.gif"><A HREF="http://buscatextual.cnpq.br/buscatextual/visualizacv.do?metodo=apresentar&id=K4799743E5"> CV Lattes </A> </td> </table> <table> <td> <IMG ALIGN = BOTTON SRC = "ball_red.gif"><A HREF="TCgroup/index.html"> Grupo de Teoria da Computa&ccedil;&atilde;o </A> </td> </table> <HR> <B>Focus of Research:</B><br> Properties and applications of term rewriting systems and its extensions. <A href="links_on_rewriting.html"> Related links</a> <table> <td> <IMG ALIGN = BOTTON SRC = "ball_red.gif"><A HREF="http://trs.cic.unb.br"> TRS PVS theory </A> <br> </td> <td> <IMG ALIGN = BOTTON SRC = "ball_red.gif"><A HREF="http://genoma.cic.unb.br"> Evol. algorithms for sorting permutations </A><br> </td> </table> <HR> <H5> <A HREF="index_portugues.html">Portugu&ecirc;s</A> <A HREF="index_espaniol.html">Espa&ntilde;ol</A> </H5> </td> </table> <HR> <P><B><FONT COLOR="#000000">Opportunities</FONT></B></P> <table> <td> <hl> <li> The 13<sup>th</sup> Logical and Semantic Frameworks with Applications <a href="http://lia.ufc.br/~lsfa2018">LSFA 2018</a>, Fortaleza, Sep. 26-8 (Jun. 10a/25p) <li> 32<sup>nd</sup> International Workshop on Unification <a href="http://unif2018.cic.unb.br">UNIF 2018</a>, Oxford, Jul. 7, affiliated to FSCD 2018, collocated with FLoC 2018. (Apr. 9a/16p) <li> 10<sup>th</sup> International School on Rewriting <a href="https://www.javerianacali.edu.co/eventos/international-school-rewriting-2018">ISR 2018</a>, Cali, Jul. 30 - Aug. 3, 2018. <li> RTA (1983 ... 2015) and TLCA (1993 ... 2015) evolve to Int. Conf. on Formal Structures for Computation and Deduction <a href="http://fscd-conference.org">FSCD</a> (2016 ... 2018), <a href="http://fscd-conference.org/editions/fscd-2019/cfpFSCD2019.pdf">FSCD 2019 - CFP</a> <li> International Conference on Interactive Theorem Proving <a href="https://itp2018.inria.fr/history/">ITP</a>, Part of FLoC 2018. <br><br> <li> <a href="TCgroup/events.html">Current Conferences at GTC/UnB</a> <br> </hl> </td> <td> <IMG ALIGN=MIDDLE SRC = capaflogfun.jpg width="75mm" > <br> <br> <IMG ALIGN=MIDDLE SRC = UTCS.jpg width="75mm"> </td> <td> <B><FONT COLOR="#000000">M. Ayala-Rinc&oacute;n & Fl&aacute;vio L.C. de Moura, <I> <a href="http://www.editora.unb.br/lstDetalhaProduto.aspx?pid=742">Fundamentos da Programa&ccedil;&atilde;o L&oacute;gica e Funcional - O Princ&iacute;pio de Resolu&ccedil;&atilde;o e a Teoria de Reescrita</a> -,</I> Course Notes, Ed. UnB, December 2014. In Portuguese.</FONT></B> <br> <br> <br> <B><FONT COLOR="#000000">M. Ayala-Rinc&oacute;n & Fl&aacute;vio L.C. de Moura, <I> <a href="http://www.springer.com/gb/book/9783319516516#aboutBook">Applied Logic for Computer Scientists: Computational Deduction and Formal Proofs</a>,</I> Springer, 2017.</FONT></B> </td> </table> <P> <HR> <ADDRESS> <DT><A HREF = "mailto:ayala[at]unb.br"> <I>ayala[at]unb.br</I></P></A> </ADDRESS> </BODY> </HTML>