% (find-angg "LATEX/2018-rad2017.tex")
% (defun c () (interactive) (find-LATEXsh "lualatex -record 2018-rad2017.tex"))
% (defun d () (interactive) (find-xpdfpage "~/LATEX/2018-rad2017.pdf"))
% (defun b () (interactive) (find-zsh "bibtex 2018-rad2017; makeindex 2018-rad2017"))
% (defun e () (interactive) (find-LATEX "2018-rad2017.tex"))
% (defun u () (interactive) (find-latex-upload-links "2018-rad2017"))
% (find-xpdfpage "~/LATEX/2018-rad2017.pdf")
% (find-sh0 "cp -v  ~/LATEX/2018-rad2017.pdf /tmp/")
% (find-sh0 "cp -v  ~/LATEX/2018-rad2017.pdf /tmp/pen/")
%   file:///home/edrx/LATEX/2018-rad2017.pdf
%               file:///tmp/2018-rad2017.pdf
%           file:///tmp/pen/2018-rad2017.pdf
% http://angg.twu.net/LATEX/2018-rad2017.pdf
\documentclass[oneside]{article}
\usepackage[colorlinks]{hyperref} % (find-es "tex" "hyperref")
%\usepackage[latin1]{inputenc}
%\usepackage{amsmath}
%\usepackage{amsfonts}
%\usepackage{amssymb}
%\usepackage{pict2e}
\usepackage{color}                % (find-LATEX "edrx15.sty" "colors")
\usepackage{colorweb}             % (find-es "tex" "colorweb")
\usepackage{indentfirst}
%\usepackage{tikz}
%
% (find-dn6 "preamble6.lua" "preamble0")
%\usepackage{proof}   % For derivation trees ("%:" lines)
%\input diagxy        % For 2D diagrams ("%D" lines)
%\xyoption{curve}     % For the ".curve=" feature in 2D diagrams
%
\usepackage{edrx15}               % (find-angg "LATEX/edrx15.sty")
\input edrxaccents.tex            % (find-angg "LATEX/edrxaccents.tex")
\input edrxchars.tex              % (find-LATEX "edrxchars.tex")
\input edrxheadfoot.tex           % (find-dn4ex "edrxheadfoot.tex")
%
\begin{document}


\def\CH#1{#1}
\def\CH#1{{\color{red}#1}}
\def\CH#1{{\directlua{print(); print("CH", #1)}}#1}
\def\CH#1{{\directlua{print(); print("CH", #1)}}{\color{red}#1}}


{\setlength{\parindent}{0em}
% \footnotesize

Eduardo Nahum Ochs - Prof. adjunto, RCN/CURO/UFF - SIAPE 1669224

Dados do RAD 2017 - entregues em 8/março/2018 ao RCN para aprovação em
reunião de departamento.

}




\bsk

\section{Atividades de administração}

Reuniões de departamento (RCN). Carga horária: \CH{22} horas no total.



\section{Atividades de aula}

Todas as aulas foram dadas no CURO (Rio das Ostras) para turmas de
graduação em Ciência da Computação e Engenharia de Produção. A carga
horárias destas turmas só têm aulas ``teóricas'', sem horas
``práticas'' ou ``de estágio''.

\subsection{2017.1}

Cálculo 2 (turma C1 - 3 alunos).

CH atividade: \CH{64} horas, CH acessória: \CH{128} horas.

\msk

Geometria Analítica e Cálculo Vetorial (turma K1 - 34 alunos).

CH atividade: \CH{64} horas, CH acessória: \CH{128} horas.

\msk

Lambda-Cálculo, Lógicas e Linguagens de Programação (turma C1 - 3
alunos).

CH atividade: \CH{32} horas, CH acessória: \CH{128} horas.


\subsection{2017.2}

Cálculo 2 (turma C1 - 14 alunos). CH atividade: \CH{64} horas, CH
acessória: \CH{128} horas.

Geometria Analítica e Cálculo Vetorial (turma K1 - 34 alunos). CH
atividade: \CH{64} horas, CH acessória: \CH{128} horas.

Lambda-Cálculo, Lógicas e Linguagens de Programação (turma C1 - 8
alunos). CH atividade: \CH{32} horas, CH acessória: \CH{128} horas.




\section{Orientações}

Orientação do monitor de Matemática Discreta (Patrick da Silva
Viveiros, matrícula 214060071). Carga horária: \CH{40} horas no total.


\section{Outros}

Participação na banca de seleção de monitor de Matemática Discreta.
Carga horária: \CH{4} horas.





\section{Pesquisa}

\subsection{EBL 2017}

Participação no congresso EBL 2017 - XVIII Brazilian Logic Conference
/ Encontro Brasileiro de Lógica - em 8-12 de maio de 2017, em
Pirenópolis/GO, com apresentação de um trabalho intitulado
``Intuitionistic Propositional Logic For Children and Meta-Children,
or: How Archetypal Are Finite Planar Heyting Algebras?''

Pesquisa, preparação do abstract, dos slides e dos handouts: \CH{80} horas.

Participação no evento em si: \CH{40} horas.

\ssk

Links:

\url{http://angg.twu.net/math-b.html\#ebl-2017}

\url{http://angg.twu.net/LATEX/2017ebl-abs.pdf}

\url{http://angg.twu.net/LATEX/2017ebl-slides.pdf}

\url{http://angg.twu.net/LATEX/2017ebl-handouts.pdf}



\subsection{Apresentação no Seminário de Lógica da PUC-Rio}

O título da apresentação seria ``Intuitionistic Logic (and Planar
Heyting Algebras) for Children''. Preparação de um abstract a pedido
do professor Luiz Carlos Pereira e início da preparação dos slides:
\CH{16} horas.

A apresentação em si ainda não aconteceu por problemas de data, mas
deve acontecer em 2018.

\ssk

Abstract da apresentação:

\url{http://angg.twu.net/LATEX/2017puc-abstract.pdf}




\subsection{UniLog 2018}

O UniLog 2018 - 6th World Congress and School on Universal Logic - vai
acontecer em Vichy, na França, em 16-26 de junho de 2018.

\subsubsection{UniLog 2018: minicurso}

Preparação do abstract para um minicurso no congresso intitulado ``An
Introduction to Categorical Semantics (``For Children'')'' e início da
preparação dos slides dele: \CH{32} horas.

Os organizadores acabaram pedindo que eu convertesse o material desse
minicurso numa apresentação de trabalho e num workshop (descritos
abaixo).

\ssk

Abstract do minicurso:

\url{http://angg.twu.net/LATEX/2017vichy-abs.pdf}


\subsection{UniLog 2018: apresentação}

O título da apresentação vai ser``Visualizing geometric morphisms''.
Preparação do abstract e início da preparação dos slides: \CH{32}
horas.

\ssk

Abstract da apresentação:

\url{http://angg.twu.net/LATEX/2017visualizing-gms.pdf}




\subsection{UniLog 2018: workshop}

O workshop vai se chamar ``Logic for Children''. Preparação do
abstract, da home page oficial, de home page secundária com listas de
``resources'', divulgação, etc: \CH{120} horas.

\ssk

Links para a home page oficial e para a secundária:

\url{http://www.uni-log.org/wk6-logic-for-children.html}

\url{http://angg.twu.net/logic-for-children-2018.html}



\subsection{Artigos}

Os dois artigos abaixo foram inicialmente concebidos como um artigo
só, que foi partido em dois por sugestão de um editor.

\ssk

Links sobre esses dois artigos e sobre uma futura parte 3:

\url{http://angg.twu.net/math-b.html\#zhas-for-children-2}



\subsection{Artigo: Planar Heyting Algebras for Children}

O artigo ``Planar Heyting Algebras for Children'' foi terminado e
submetido aos editores do South American Journal of Logic em
30/ago/2017. Preparação do artigo: \CH{160} horas.

Obs: os alunos da optativa sobre Lambda-Cálculo, Lógicas e Linguagens
de Programação estão usando partes deste artigo no curso.

\ssk

Link para o artigo:

\url{http://angg.twu.net/LATEX/2017planar-has-1.pdf}




\subsection{Artigo: Planar Heyting Algebras for Children 2: Closure Operators}

O artigo ``Planar Heyting Algebras for Children 2: Closure Operators''
está cerca de 70\% terminado. Preparação do artigo: \CH{160} horas.

\ssk

Link para o artigo (``working draft''):

\url{http://angg.twu.net/LATEX/2017planar-has-1.pdf}




















\end{document}

% Local Variables:
% coding: utf-8-unix
% End: