컴퓨터 과학의 수학적 기초에 관한 국제 심포지엄

International Symposium on Mathematical Foundations of Computer Science
컴퓨터 과학의 수학적 기초에 관한 국제 심포지엄
줄임말MFCS
규율이론 컴퓨터 공학
발행 상세
출판인라이프니츠 정보학 센터
역사1972–
빈도수.연간.

MFCS는 1972년부터 매년 열리는 국제 컴퓨터 과학 수학 기반 심포지엄이다.그 회의의 주제는 이론 컴퓨터 공학 전 분야를 망라한다.2012년까지는 폴란드, 체코, 슬로바키아의 다른 장소에서 회의가 개최되었지만, MFCS 2013년부터는 유럽 각지를 순회하고 있습니다.모든 기여는 강력한 안전 점검이 필요하다.1974-2015년 스프링거가 발표한 컴퓨터 과학 강의 노트 시리즈에 이 기사가 실렸다.2016년부터는 라이프니츠 국제 정보학 소송에 의해 소송이 대신 발행된다.

심포지엄의 최근 역사

2012년부터 MFCS 심포지엄 시리즈의 운영 위원회는 안토닌 쿠체라가 위원장을 [1]맡고 있다.

연도 위치 PC 의자 절차
MFCS 2010 체코 브르노 페트르 흐린느
안토닌 쿠체라
LNCS 6281
MFCS 2011 폴란드 바르샤바 필리프 멀락
표트르 산코프스키
LNCS 6907
MFCS 2012 브라티슬라바, 슬로바키아 브라니슬라프 로반
블라디미로 사소네
피터 위드메이어
LNCS 7464
MFCS 2013 클로스터노이부르크, 오스트리아) 크리슈넨두 채터지
지이 스갈
LNCS 8087
MFCS 2014 헝가리 부다페스트 에르제베트 추하지바르주
마르틴 디츠펠빙거
졸탄 에식
LNCS 8634
LNCS 8635
MFCS 2015 이탈리아 밀라노 주세페 F.이탈리아어
지오반니 피기찌니
도널드 사넬라
LNCS 9234
LNCS 9235
MFCS 2016 폴란드 크라쿠프 표트르 팔리스제프스키
안카 무스콜
롤프 니더마이어
LIPICS 58
MFCS 2017 덴마크, 올보르 킴 G. 라르센
한스 L. 보들렌더
장프랑수아 라스킨
LIPICS 83
MFCS 2018 리버풀, 영국 이고르 포타포프
폴 스피라키스
제임스 워렐
LIPIcs 117
MFCS 2019 아헨, 독일 피터 로스매니스
피나르 헤게른스
주스트피터 카토엔

레퍼런스

  1. ^ Kučera, Antonín. "prof. RNDr. Antonín Kučera, Ph.D." Masarykova univerzita. vedoucí pracoviště – Institut teoretické informatiky.