基本情報
名前: Guillaume Munch
機関: Université Paris Diderot-Paris 7
登記時間: 2013-07-13
スコア: 56
关注の会議
| CCF | CORE | QUALIS | 省略名 | 完全な名前 | 提出日 | 通知日 | 会議日 |
|---|---|---|---|---|---|---|---|
| a | a2 | ESOP | European Symposium on Programming | 2023-10-12 | 2023-12-21 | 2024-04-06 | |
| c | a | a2 | STACS | International Symposium on Theoretical Aspects of Computer Science | 2023-09-28 | 2023-12-13 | 2024-03-12 |
| c | b | b1 | FSTTCS | IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science | 2023-07-12 | 2023-09-22 | 2023-12-18 |
| a | a* | a1 | POPL | ACM SIGACT-SIGPLAN Symposium on Principles of Programming Languages | 2023-07-11 | 2023-11-07 | 2024-01-17 |
| b | a | a2 | CONCUR | International Conference on Concurrency Theory | 2023-04-24 | 2023-06-28 | 2023-09-17 |
| a | b1 | ICLP | International Conference on Logic Programming | 2022-01-14 | 2022-03-14 | 2022-07-31 | |
| c | c | b1 | CSL | Conference on Computer Science Logic | 2021-07-05 | 2021-09-30 | 2022-02-14 |
| a | b2 | FCT | International Symposium on Fundamentals of Computation Theory | 2019-04-14 | 2019-05-19 | 2019-08-11 | |
| c | a | b1 | RTA | International Conference on Rewriting Techniques and Applications | 2015-01-30 | 2015-04-08 | 2015-06-29 |
| b1 | TLCA | International Conference on Typed Lambda Calculi and Applications | 2015-01-30 | 2015-04-02 | 2015-06-29 |
| 省略名 | 完全な名前 | 提出日 | 会議日 |
|---|---|---|---|
| ESOP | European Symposium on Programming | 2023-10-12 | 2024-04-06 |
| STACS | International Symposium on Theoretical Aspects of Computer Science | 2023-09-28 | 2024-03-12 |
| FSTTCS | IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science | 2023-07-12 | 2023-12-18 |
| POPL | ACM SIGACT-SIGPLAN Symposium on Principles of Programming Languages | 2023-07-11 | 2024-01-17 |
| CONCUR | International Conference on Concurrency Theory | 2023-04-24 | 2023-09-17 |
| ICLP | International Conference on Logic Programming | 2022-01-14 | 2022-07-31 |
| CSL | Conference on Computer Science Logic | 2021-07-05 | 2022-02-14 |
| FCT | International Symposium on Fundamentals of Computation Theory | 2019-04-14 | 2019-08-11 |
| RTA | International Conference on Rewriting Techniques and Applications | 2015-01-30 | 2015-06-29 |
| TLCA | International Conference on Typed Lambda Calculi and Applications | 2015-01-30 | 2015-06-29 |
出席の会議
| CCF | CORE | QUALIS | 省略名 | 完全な名前 | 会議日 | 場所 |
|---|---|---|---|---|---|---|
| 結果が得られませんでした。 | ||||||
| 完全な名前 | 会議日 | 場所 |
|---|---|---|
| 結果が得られませんでした。 | ||
关注の仕訳帳
| CCF | 完全な名前 | インパクト ・ ファクター | 出版社 | ISSN |
|---|---|---|---|---|
| 結果が得られませんでした。 | ||||
| 完全な名前 | インパクト ・ ファクター | 出版社 |
|---|---|---|
| 結果が得られませんでした。 | ||
关注の研究員
| 名前 | 機関 | 登記時間 | スコア |
|---|---|---|---|
| 結果が得られませんでした。 | |||
| 名前 | 機関 | スコア |
|---|---|---|
| 結果が得られませんでした。 | ||
フォロー中の仕事
| 役職 | 雇用主 | 勤務地 |
|---|---|---|
| 結果が得られませんでした。 | ||
| 役職 | 雇用主 | 勤務地 |
|---|---|---|
| 結果が得られませんでした。 | ||
表示された会議
| CCF | CORE | QUALIS | 省略名 | 完全な名前 | 提出日 | 通知日 | 会議日 |
|---|---|---|---|---|---|---|---|
| 結果が得られませんでした。 | |||||||
| 省略名 | 完全な名前 | 提出日 | 会議日 |
|---|---|---|---|
| 結果が得られませんでした。 | |||
閲覧したジャーナル
| CCF | 完全な名前 | インパクト ・ ファクター | 出版社 | ISSN |
|---|---|---|---|---|
| 結果が得られませんでした。 | ||||
| 完全な名前 | インパクト ・ ファクター | 出版社 |
|---|---|---|
| 結果が得られませんでした。 | ||