🚀 go-pugleaf

2007 �u�޿�B�y���P�p��v���������[�Ӥh�Ǥ��Z

  2007 Formosan Summer School on Logic, Language,
  and Computation (FLOLAC '07)

  http://www.iis.sinica.edu.tw/~scm/flolac07/

��~�ӡA�q�ư�¦�p���Ǭ�s���x�W�Ǫ̭̤w�b�U�զU�ۦ��ߤF�ƭ�
��s�ζ��A�æb�@���D�ؤW�ۤ��X�@�C�M������@�ˡA���¦�p���
�Ǧ����쪺�ǥͥ����z�L�@�t�C�ҵ{�Dz߰򥻪��ѡC�M�ӡA�ꤺ�q�Ʀ�
����s���Ǫ̤����b�U�աA��H�Ⱦa�@�v���O�}�]��M�ҵ{�C�]���A��
�̧Ʊ榳�ۦP���쪺�Ǫ̡A�@�P�}�ҡA�V�m�U�@�N����s�H�~�C

�������N�}�]�@�t�C�ҵ{�A�Ʊ�ײ᪺߫�ǭ�̯঳�W�߶i���¦�p
���Ǭ�s����O�C���~���ҵ{�N�]�t�޿�B�{���y���B���A�z�סB��
���ˬd�B���ҡB�P�{�����ɡC�ڭ̧Ʊ�o�Ĥ@���������N�O�����h
�������ʪ��}�l�A���Ǧ��P�i�Ǭɪ���y�C

���ҵ{��߮ɼơ]�t�Ҹա^�@ 54 �p�ɡA�ײߵ����g�Ҹդή��A�¤�
�Ӥh�Ǥ��T�Ǥ��C�]�w�靈���줧���|�B�~�ɤH�h�ѥ[�C


�ɶ��P�a�I
==========

���: 2007 �~�C��G��]�g�@�^�ܤC��Q�T��]�g���^
�ɶ�: �C�g�@�ܶg�����W�E�I�ܤU�Ȥ��I�A�̽ҵ{�Ʃw�ɶ��W��
�a�I: ������s�|��T��Ǭ�s��


�ҵ{�P����
========

�ҵ{²���Ԩ���������:
  http://www.iis.sinica.edu.tw/~scm/flolac07/

o �޿� Logic
  ���ګ� (Max Schaefer), ������s�|��T��Ǭ�s��

o �ҫ��ˬd, �ɺA�޿�, �P�۰ʾ��z��
  Model Checking, Temporal Logic, and Automata Theory
  ��f�� (Bow-Yaw Wang), ������s�|��T��Ǭ�s�ҡB�x�W�j�Ǹ�T�޲z�Ǩt

o �tö���{������
  Deductive Program Verification
  ���q�[ (Yih-Kuen Tsay), �x�W�j�Ǹ�T�޲z�Ǩt

o ��Ʀ��{�� Functional Programming
  ��x�� (Tyng-Ruey Chuang), ������s�|��T��Ǭ�s��

o ���A�t�� Type Systems
  ���� (Kung Chen), �F�v�j�Ǹ�T��Ǩt

o �{������ Program Derivation
  �p�H�� (Shin-Cheng Mu), ������s�|��T��Ǭ�s��


��W��T
========

��W���:
  1. ��T�B�q���B�ƾǬ����Ǩt�b�Ǥj�ǥ͡A�׷~��~�]�t�^�H�W�A��
  2. ��T�B�q���B�ƾǬ����Ǩt��s�Ҧb�Ǿǥ͡A��
  3. �M��Τj�Dz��~�A�{�q�Ƹ�T������~�u�@�̡C

��W���: �Y��_�� 2007 �~ 5 �� 31 ���]�q�T��W�� 5 �� 31
    �e�H�F�^�C2007 �~ 6 �� 11 ���������G���W��ñH�o�J�dzq���C

��W����: �u�W��W�B�ǯu�B�γq�T��W
  o ��W���Цܥx�W�j�Ƕi�ױ��s�������U��:
      http://training.dpd.ntu.edu.tw/
    �ιq��(02-23620502#10)����
  o �ǯu�γq�T��W�бN�U�C��ƥH�ǯu(02-23691236)�覡�ǰe�A�έ���
    �����H��
      1. ��W��]�@��i�^�A
      2. �Ǿ��ҥ�v�L������C
  o �u�W��W�̡A�Ш̽u�W�ާ@�B�J������W�{�ǫ�A�l�H�Ǿ��ҥ�v�L��
    �ܥx�W�j�Ƕi�ױ��s��.
  o �p�b 6 �� 4 ��e�����쥻���T�{�����W��󤧰T���A�ХD�ʹq�ܸ�
    �ݡC�q��: 02-23620502 ���� 11 �\�p�j
  o �¿�覡: �̬����Ǹg��f�d���Z���C�M�w�C
  o ��]���: 2007 �~ 6 �� 11 ��󥻺������G���W��ñH�o�J�dzq���C


�ҵ{�ǶO
========

�C�Ǥ��ǶO 1000 ���A�@ 3000 ����C�T�w����ú��C

���{�X�u�B�Ҹզ��Z�u���̡A������s�|��T��Ǭ�s�ҥt�H��U�Ǫ��覡��
�U�����Ǥ��O�C


���~�P�Ǥ���K
==============

�ײߵ����g�Ҹդή��A�ѥx�W�j�Ƕi�ױ��s���¤��Ӥh�Ǥ��T�Ǥ��õo����
�s�Ш|�ҩ�ѤξǤ����Z�ҩ�C

���Z�P�ꤺ�~�j�Ǭ�����s�ҾǤ�����K�A�̦U�ճW�w��z�C

���Z���Ǥ��Z�A�ȱ¤��Ǥ��A���¤��Ǧ��ҮѡC


�D����
========

������s�|��T��Ǭ�s�ҡB�x�W�j�Ǹ�T�޲z�Ǩt�D��A
�x�W�j�Ƕi�ױ��s�����C

--
 * Origin: �� ��q�j�Ǹ�T��Ǩt BBS �� <bbs.cis.nctu.edu.tw: 140.113.23.3>