- 追加された行はこのように表示されます。
- 削除された行は
このように表示されます。
{{sitestyle default,smallfont}}
!!! これから
,日程 ,論文 ,梗概 ,会議 , ,場所 , ,
,2009/08/11-14,01/19,01/12,[LICS 2009|http://www2.informatik.hu-berlin.de/lics/lics09/index.html],Logic In Computer Science ,Los Angeles,(A+),
,2009/07/19-24,01/20, ,[CiE 09|http://www.math.uni-heidelberg.de/logic/cie2009/],Computability in Europe,,,
,2009/06/26-02,01/25,01/18,[CAV 2009|http://www-cav2009.imag.fr/],Computer Aided Verification,Grenoble, (A+) ,
,2009/06/09-11,02/01,01/28,[FORTE 2009|http://discotec09.di.fc.ul.pt/index.php?title=FMOODS_FORTE/CFP],Formal Techniques for Networked and Distributed Systems,Lisbon,,
,2009/07/05-12,02/10, ,[ICALP 2009|http://icalp09.cti.gr/],International Colloquium on Automata，Languages and Programming,Rhodes- Greece, (A) ,
,2009/08/09-11,02/17, ,[SAS 2009|http://sas09.cs.ucdavis.edu/],Static Analysis Symposium,Los Angeles, (A+) ,
,2009/08/02-07,02/23,02/16,[CADE-22|http://complogic.cs.mcgill.ca/cade22/dates.html],Conference on Automated Deduction,Montreal,,
,2009/06/30-03,02/27,02/20,[SAT 2009|http://cs-svr1.swan.ac.uk/~csoliver/SAT2009/index.html],Theory and Applications of Satisfiability Testing,, (A) ,
,2009/07/29-31,02/27,02/20,[TASE 2009|http://www.dur.ac.uk/ieee.tase2009/],Theoretical Aspects of Software Engineering,, -- ,
,2009/06/21-24,03/08,02/28,[WoLLIC'2009|http://www.wollic.org/wollic2009/],Workshop on Logic，Language，Information and Computation,NII(東京), (B) ,
,2009/06/26-28,03/08,03/01,[RV 2990|http://www-rv2009.imag.fr/],Runtime Verification,Grenoble,,
,2009/08/17-20,03/08, ,[TPHOLs 2009|http://tphols.in.tum.de/],Theorem Proving in Higher Order Logics,Munchen,,
,2009/07/23-25,04/09,04/06,[TIME 2009|http://www.inf.unibz.it/krdb/events/time-2009/],Temporal Representation and Reasoning,,(A),
,2009/10/30-07,05/04, ,[FM 2009|http://www.win.tue.nl/fm2009/],International Symposium on Formal Methods,,(A),
,2009/12/09-12,07/20,07/13,[ICFEM 09|http://icfem09.inf.puc-rio.br/Important_Dates.html],International Conference on Formal Engineering Methods,Rio de Janeiro,,
, , , ,M4M 6 , Method for Modalities あるらしい,,,
{{div_end}}
!!! 終了・締切り超過
,日程 ,論文 ,梗概 ,会議 , ,場所 , ,
,2007/12/09-11,08/10,08/03,[ASIAN'07|http://www.qatar.cmu.edu/asian07/],Asian Computing Science Conference,Doha，Qatar,(B),
,2008/03 , , ,[(see right)|http://staff.science.uva.nl/~yde/mfl],Workshop on Modal Fixpoint Logics,,--,
,2008/04/07-11,08/31, ,[RelMiCS/AKA 2008|http://www.informatik.uni-augsburg.de/rel_aka/],Relational Methods/Applications of Kleene Algebra, , ,
,2008/04/30-02,11/10, ,[SAGT/08|http://sagt08.upb.de/callforpapers.php],Algorithmic Game Theory,,--,
,2008/07/02-04,06/18,05/30,[DSW'08|http://www.csg.is.titech.ac.jp/dsw08-summer/],ディペンダブルソフトウェアワークショップ,函館,,
,2008/07/07-08,04/30, ,[SMT 2008|http://research.microsoft.com/conferences/SMT08/],Satisfiability Modulo Theories,Princeton,,
,2008/07/12-13,04/21, ,[SCSS 2008|http://www.risc.uni-linz.ac.at/about/conferences/scss2008/],Symbolic Computation in Software Science Austrian-Japanese Workshop,Hagenberg，Austria, --- ,
,2008/07/14 ,05/25, ,[AFM08|http://fm.csl.sri.com/AFM08/],Automated Formal Methods,Princeton,,
,2008/07/14-17,02/20, ,[SSIRI 2008|http://paris.utdallas.edu/ssiri08/],Secure System Integration and Reliability Improvement,横浜,,
,2008/07/14-17,03/23, ,[FCS'08|http://www.world-academy-of-science.org/worldcomp08/ws/conferences/fcs08],Foundations of Computer Science,,--,
,2008/07/15-17,04/10, ,[PPDP 2008|http://www.clip.dia.fi.upm.es/Conferences/PPDP08/],Principles and Practice of Declarative Programming,Valencia，Spain,(B),
,2008/07/17-18,05/07, ,[LOPSTR 2008|http://www.informatik.uni-kiel.de/~mh/lopstr08/],Logic-Based Program Synthesis and Transformation,Valencia，Spain,,
,2008/07/21-22,04/10, ,[MoChArt-2008|http://www.csc.liv.ac.uk/~mjw/mochart/],Model Checking and Artificial Intelligence,Patras，Greece,,
,2008/07/30-31,06/13, ,[ARW2008|http://events.cs.bham.ac.uk/cicm08/workshops/arw/],Automated Reasoning Workshop,Birmingham,--,
,2008/08/10-15,03/03,02/22,[IJCAR 2008|http://2008.IJCAR.org],International Joint Conference on Automated Reasoning,Sydney, (A+) ,
,2008/08/10-11,06/05,05/29,[VERIFY 08|http://www.uni-koblenz.de/~beckert/verify08/],International Verification Workshop,Sydney,,
,2008/08/10-11,05/27, ,[PAAR-2008|http://www.eprover.org/EVENTS/PAAR-2008/paar-2008.html],Practical Aspects of Automated Reasoning,Sydney,,
,2008/08/10-11,06/02, ,[CEDAR'08|http://www.mpi-inf.mpg.de/~sofronie/cedar08.html],Complexity，Expressibility，and Decidability in Automated Reasoning,Sydney,,
,2008/08/10-12,04/02, ,[SPIN 2008|http://www.mail-archive.com/hol-info@lists.sourceforge.net/msg00057.html],SPIN Workshop on Model Checking of Software,Los Angeles,--,
,2008/08/25-29,03/31, ,[MFCS 2008|http://mfcs08.mat.umk.pl/],Mathematical Foundations of Computer Science,Torun，Poland,(B),
,2008/09/08-10,02/15,02/08,[TCS 2008|http://bioinformatics.bio.disco.unimib.it/tc1/],Theoretical Computer Science,, --- ,
,2008/09/22-25,02/29,02/01,[SAFECOMP 2008|http://www.safecomp2008.org/],Computer Safety，Reliability and Security,, (B) ,
,2008/09/01-03,04/11, ,[ICTAC 2008|http://www.ictac.net/ictac08/],International Colloquium on Theoretical Aspects of Computing,Instanbul,,
,2008/09/09-12,03/31, ,[AiML-2008|http://aiml08.loria.fr/],Advances in Modal Logic,Nancy，France,(A),
,2008/09/15-19,04/04,03/28,[ASE2008|http://www.di.univaq.it/ase2008/],Automated Software Engineering,L'Aquila，Italy,(A),
,2008/09/15-20,04/07,03/28,[CSL 2008|http://csl2008.cs.unibo.it/],Computer Science Logic,Bertinoro，Italy, (B) ,
,2008/09/15-16,06/22,06/15,[FMICS 2008|http://www.dsi.unifi.it/fmics08/],Formal Methods for Industrial Critical Systems,L'Aquila，Italy,(C),
,2008/09/19 ,07/22, ,[AVOCS|http://www.dcs.gla.ac.uk/avocs08/avocs08.htm],Automated Verification of Critical Systems,,--,
,2008/09/28-29,04/28,04/21,[SCAM 2008|http://www.ieee-scam.org/],Source Code Analysis and Manipulation,北京,---,
,2008/10/06-09,05/14, ,[VSTTE 2008|http://qpq.csl.sri.com/vsr/vstte-08],Verified Software: Theories，Tools，and Experiments,Toronto,--,
,2008/10/13-15,05/04, ,[ISoLA|http://www.cs.uni-potsdam.de/isola2008/],Leveraging Applications of Formal Methods，Verification and Validation,Porto Sani，Greece,--,
,2008/10/15-17,05/01, ,[SoMeT_08|http://www.somet.soft.iwate-pu.ac.jp/somet_08/],Software Methodologies，Tools and Techniques,Sharjah，UAE , (B),
,2008/10/20-23,05/05, ,[ATVA 2008|http://pswlab.kaist.ac.kr/atva2008],Automated Technology for Verification and Analysis,Seoul,,
,2008/10/26-28,04/11, ,[FOCS 2008|http://focs2008.org/],Foundations of Computer Science,Philadelphia,,
,2008/10/27 ,05/16, ,[FMSE 2008|http://www.cs.utexas.edu/~shmat/FMSE08/],Formal Methods in Security Engineering,Virginia，US,--,
,2008/11/10-14,05/31,05/22,[SEFM 2008|http://www.iist.unu.edu/SEFM08/],Software Engineering and Formal Methods,Cape Town,(B),
,2008/11/17-20,05/19, ,[FMCAD 2008|http://es.fbk.eu/events/fmcad08/],Formal Methods in Computer-Aided Design,Portland，USA,--,
,2008/11/22-27,06/16,06/06,[LPAR 2008|http://www.qatar.cmu.edu/lpar08/cfp.shtml],Logic for Programming，Artificial Intelligence and Reasoning,Doha，Qatar,,
,2008/11/25-26,(Oct), ,[TPP 2008|http://www.score.cs.tsukuba.ac.jp/~minamide/tpp/],Theorem Proving and Provers,,,
,2008/12/03-05,06/24,06/17,[APSEC 2008|http://lcs.ios.ac.cn/~apsec08/],Asia-Pacific Software Engineering Conference,北京,--,
,2008/12/09-11,06/27, ,[APLAS 2008|http://research.microsoft.com/~grama/APLAS2008/],ASIAN Symposium on Programming Languages and Systems,Bangalore，India,,
,2008/12/09-11,07/07, ,[FSTTCS 2008|http://www.fsttcs.org/],Foundations of Software Technology and Theoretical Computer Science,Bangalore，India,,
,2008/12/15-17,06/02, ,[PRDC'08|http://www.csie.ntust.edu.tw/prdc08],Pacific Rim International Symposium on Dependable Computing,台北,,
,2009/01/03-06,09/14, ,[LFCS 2009|http://lfcs.info/lfcs09/],Logical Foundations of Computer Science,10年ぶりくらい,(B),
,2009/01/18-20,09/12, ,[VMCAI 2009|http://cs.uni-muenster.de/vmcai09/],Verification，Model Checking，and Abstract Interpretation,Savannah，GA，USA,---,
,2009/01/20 ,10/08, ,[PLPV 2009|http://sneezy.cs.nott.ac.uk/darcs/plpv09/],Programming Languages meets Program Verification,,,
,2009/01/21-23,07/15,07/08,[POPL 2009|http://www.cs.ucsd.edu/popl/09/],Principles of Programming Languages,Savannah，Georgia，USA,(A+),
,2009/02/16-19,09/12,09/05,[iFM 2009|http://www.formal-methods.de/ifm2009/cfp.html],integrated Formal Methods,Düsseldorf,(B),
,2009/02/26-28,09/15, ,[STACS 2008|http://stacs2009.informatik.uni-freiburg.de/dates.php],Theoretical Aspects of Computer Science,Freiburg，Germany,,
,2009/03/22-29,10/09,10/02,[ETAPS|http://www.cs.york.ac.uk/etaps09/],CC，ESOP，FASE，FOSSACS，TACAS,,(A),
,2007/11 , , ,[M4M|http://m4m.loria.fr/M4M5/],Methods for Modalities,,--,
,2007/11 , , ,[SEEFM|http://www.seefm.info/seefm07/],South-East European Workshop on Formal Methods,次回は09か,--,
!!! memo
! 検索
* static analysis
* program analysis
* modal logic
* verification
* formal method
* computation, logic
* logic, programming, computer science
* reliability, safety, dependable, ...
* model checking
! その他
http://www.cs.famaf.unc.edu.ar/~mpagano/cfp.html のリストが役に立ちそうなのだが，見えない
ので，googleのキャッシュ
http://72.14.235.104/search?q=cache:Ng0FoK9fUYIJ:www.cs.famaf.unc.edu.ar/~mpagano/cfp.html+%22call+for+papers%22+%22formal+methods%22&hl=ja&ct=clnk&cd=18&gl=jp&client=opera
そこからリンクされている formal methods の会議リスト
http://www.comlab.ox.ac.uk/archive/formal-methods/meetings.html
Formal method 会議のリスト: http://user.it.uu.se/~bengt/Info/conferences.shtml