XVIII EBL - XVIII Brazilian Logic Meeting