컴퓨터 과학의 수학적 기초에 관한 국제 심포지엄
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 | 아헨, 독일 | 피터 로스매니스 피나르 헤게른스 주스트피터 카토엔 |
레퍼런스
- ^ Kučera, Antonín. "prof. RNDr. Antonín Kučera, Ph.D." Masarykova univerzita. vedoucí pracoviště – Institut teoretické informatiky.