<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> <FONT COLOR="#FF0000"><<<== Starting 6th June 2022 - Presential activities 2022-1</font><br>
</td>
</table>

<table>
<td>
 <IMG ALIGN = BOTTON SRC = "ball_red.gif"><A HREF="pvsclass17/index.html"> PVS
  Class 2017 (affiliated to ITP 2017)</A>
</td> 
<td>  <IMG ALIGN = BOTTON SRC = "ball_red.gif"><a
 HREF="Summer_UnB_2022/index.html"> Formalizing Theorems with
  PVS (Tutorial SW in MATH 2022)</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> <FONT COLOR="#FF0000"> Ph.D. scholarships </font>
    Please, enter in contact ASAP, if you are interested in <i>
    Algor&iacute;tmica e Teoria de Sequenciamento de 
    Informa&ccedil;&atilde;o Gen&ocirc;mica</i>. 
    
<li> RTA (1983 ... 2015) and TLCA (1993 ... 2015) evolved to
    Int. Conf. on Formal Structures for Computation and Deduction
    <a href="http://fscd-conference.org">FSCD</a> in 2016. <br> <a
    href="https://fscd-conference.org/editions/upcoming/">FSCD 
    2023</a>, Rome, Italy.   
    
<li> Int. Logical and Semantic Frameworks, with Applications <a
    href="https://lsfa-workshop.github.io">LSFA 2023</a>,  affiliated
    to FSCD 2023, Rome, Italy.   

<li> International Conference on Interactive Theorem Proving <a
href="https://itp-conference.github.io">ITP web page</a>.  <a
    href="https://mizar.uwb.edu.pl/ITP2023">ITP
    2023</a>, Bialystok, Poland.

<li> 16th Conference on Intelligent Computer Mathematics <a
    href="https://cicm-conference.org/2023/cicm.php">CICM 2023</a>, Cambridge, UK.
    
<li> 12<sup>th</sup> International Workshop on Confluence <a
    href="http://cl-informatik.uibk.ac.at/iwc/2023">IWC 2023</a>,
    Obergurgl, Austria. 

<li> 37<sup>th</sup> International Workshop on Unification <a
    href="https://project.inria.fr/unif2023">UNIF 2023</a>, 
    affiliated to FSCD 2023, Rome, Italy.    
    
    <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>