
%% Version 10-10-2021

@comment{confseries:STOC 1969-current publ:acm}
@string{stoc69="Proc. 1st STOC"}
@proceedings{pstoc69,
booktitle = stoc69,
year = {1969},
publisher = acm,
}

@string{stoc70="Proc. 2nd STOC"}
@proceedings{pstoc70,
booktitle = stoc70,
year = {1970},
publisher = acm,
}

@string{stoc71="Proc. 3rd STOC"}
@proceedings{pstoc71,
booktitle = stoc71,
year = {1971},
publisher = acm,
}

@string{stoc72="Proc. 4th STOC"}
@proceedings{pstoc72,
booktitle = stoc72,
year = {1972},
publisher = acm,
}

@string{stoc73="Proc. 5th STOC"}
@proceedings{pstoc73,
booktitle = stoc73,
year = {1973},
publisher = acm,
}

@string{stoc74="Proc. 6th STOC"}
@proceedings{pstoc74,
booktitle = stoc74,
year = {1974},
publisher = acm,
}

@string{stoc75="Proc. 7th STOC"}
@proceedings{pstoc75,
booktitle = stoc75,
year = {1975},
publisher = acm,
}

@string{stoc76="Proc. 8th STOC"}
@proceedings{pstoc76,
booktitle = stoc76,
year = {1976},
publisher = acm,
}

@string{stoc77="Proc. 9th STOC"}
@proceedings{pstoc77,
booktitle = stoc77,
year = {1977},
publisher = acm,
}

@string{stoc78="Proc. 10th STOC"}
@proceedings{pstoc78,
booktitle = stoc78,
year = {1978},
publisher = acm,
}

@string{stoc79="Proc. 11th STOC"}
@proceedings{pstoc79,
booktitle = stoc79,
year = {1979},
publisher = acm,
}

@string{stoc80="Proc. 12th STOC"}
@proceedings{pstoc80,
booktitle = stoc80,
year = {1980},
publisher = acm,
}

@string{stoc81="Proc. 13th STOC"}
@proceedings{pstoc81,
booktitle = stoc81,
year = {1981},
publisher = acm,
}

@string{stoc82="Proc. 14th STOC"}
@proceedings{pstoc82,
booktitle = stoc82,
year = {1982},
publisher = acm,
}

@string{stoc83="Proc. 15th STOC"}
@proceedings{pstoc83,
booktitle = stoc83,
year = {1983},
publisher = acm,
}

@string{stoc84="Proc. 16th STOC"}
@proceedings{pstoc84,
booktitle = stoc84,
year = {1984},
publisher = acm,
}

@string{stoc85="Proc. 17th STOC"}
@proceedings{pstoc85,
booktitle = stoc85,
year = {1985},
publisher = acm,
}

@string{stoc86="Proc. 18th STOC"}
@proceedings{pstoc86,
booktitle = stoc86,
year = {1986},
publisher = acm,
}

@string{stoc87="Proc. 19th STOC"}
@proceedings{pstoc87,
booktitle = stoc87,
year = {1987},
publisher = acm,
}

@string{stoc88="Proc. 20th STOC"}
@proceedings{pstoc88,
booktitle = stoc88,
year = {1988},
publisher = acm,
}

@string{stoc89="Proc. 21st STOC"}
@proceedings{pstoc89,
booktitle = stoc89,
year = {1989},
publisher = acm,
}

@string{stoc90="Proc. 22nd STOC"}
@proceedings{pstoc90,
booktitle = stoc90,
year = {1990},
publisher = acm,
}

@string{stoc91="Proc. 23rd STOC"}
@proceedings{pstoc91,
booktitle = stoc91,
year = {1991},
publisher = acm,
}

@string{stoc92="Proc. 24th STOC"}
@proceedings{pstoc92,
booktitle = stoc92,
year = {1992},
publisher = acm,
}

@string{stoc93="Proc. 25th STOC"}
@proceedings{pstoc93,
booktitle = stoc93,
year = {1993},
publisher = acm,
}

@string{stoc94="Proc. 26th STOC"}
@proceedings{pstoc94,
booktitle = stoc94,
year = {1994},
publisher = acm,
}

@string{stoc95="Proc. 27th STOC"}
@proceedings{pstoc95,
booktitle = stoc95,
year = {1995},
publisher = acm,
}

@string{stoc96="Proc. 28th STOC"}
@proceedings{pstoc96,
booktitle = stoc96,
year = {1996},
publisher = acm,
}

@string{stoc97="Proc. 29th STOC"}
@proceedings{pstoc97,
booktitle = stoc97,
year = {1997},
publisher = acm,
}

@string{stoc98="Proc. 30th STOC"}
@proceedings{pstoc98,
booktitle = stoc98,
year = {1998},
publisher = acm,
}

@string{stoc99="Proc. 31st STOC"}
@proceedings{pstoc99,
booktitle = stoc99,
year = {1999},
publisher = acm,
}

@string{stoc00="Proc. 32nd STOC"}
@proceedings{pstoc00,
booktitle = stoc00,
year = {2000},
publisher = acm,
}

@string{stoc01="Proc. 33rd STOC"}
@proceedings{pstoc01,
booktitle = stoc01,
year = {2001},
publisher = acm,
}

@string{stoc02="Proc. 34th STOC"}
@proceedings{pstoc02,
booktitle = stoc02,
year = {2002},
publisher = acm,
}

@string{stoc03="Proc. 35th STOC"}
@proceedings{pstoc03,
booktitle = stoc03,
year = {2003},
publisher = acm,
}

@string{stoc04="Proc. 36th STOC"}
@proceedings{pstoc04,
booktitle = stoc04,
year = {2004},
publisher = acm,
}

@string{stoc05="Proc. 37th STOC"}
@proceedings{pstoc05,
booktitle = stoc05,
year = {2005},
publisher = acm,
}

@string{stoc06="Proc. 38th STOC"}
@proceedings{pstoc06,
booktitle = stoc06,
year = {2006},
publisher = acm,
}

@string{stoc07="Proc. 39th STOC"}
@proceedings{pstoc07,
booktitle = stoc07,
year = {2007},
publisher = acm,
}

@string{stoc08="Proc. 40th STOC"}
@proceedings{pstoc08,
booktitle = stoc08,
year = {2008},
publisher = acm,
}

@string{stoc09="Proc. 41st STOC"}
@proceedings{pstoc09,
booktitle = stoc09,
year = {2009},
publisher = acm,
}

@string{stoc10="Proc. 42nd STOC"}
@proceedings{pstoc10,
booktitle = stoc10,
year = {2010},
publisher = acm,
}

@string{stoc11="Proc. 43rd STOC"}
@proceedings{pstoc11,
booktitle = stoc11,
year = {2011},
publisher = acm,
}

@string{stoc12="Proc. 44th STOC"}
@proceedings{pstoc12,
booktitle = stoc12,
year = {2012},
publisher = acm,
}

@string{stoc13="Proc. 45th STOC"}
@proceedings{pstoc13,
booktitle = stoc13,
year = {2013},
publisher = acm,
}

@string{stoc14="Proc. 46th STOC"}
@proceedings{pstoc14,
booktitle = stoc14,
year = {2014},
publisher = acm,
}

@string{stoc15="Proc. 47th STOC"}
@proceedings{pstoc15,
booktitle = stoc15,
year = {2015},
publisher = acm,
}

@string{stoc16="Proc. 48th STOC"}
@proceedings{pstoc16,
booktitle = stoc16,
year = {2016},
publisher = acm,
}

@string{stoc17="Proc. 49th STOC"}
@proceedings{pstoc17,
booktitle = stoc17,
year = {2017},
publisher = acm,
}

@string{stoc18="Proc. 50th STOC"}
@proceedings{pstoc18,
booktitle = stoc18,
year = {2018},
publisher = acm,
}

@string{stoc19="Proc. 51st STOC"}
@proceedings{pstoc19,
booktitle = stoc19,
year = {2019},
publisher = acm,
}

@string{stoc20="Proc. 52nd STOC"}
@proceedings{pstoc20,
booktitle = stoc20,
year = {2020},
publisher = acm,
}

@string{stoc21="Proc. 53rd STOC"}
@proceedings{pstoc21,
booktitle = stoc21,
year = {2021},
publisher = acm,
}

@string{stoc22="Proc. 54th STOC"}
@proceedings{pstoc22,
booktitle = stoc22,
year = {2022},
publisher = acm,
}

@string{stoc23="Proc. 55th STOC"}
@proceedings{pstoc23,
booktitle = stoc23,
year = {2023},
publisher = acm,
}

@string{stoc24="Proc. 56th STOC"}
@proceedings{pstoc24,
booktitle = stoc24,
year = {2024},
publisher = acm,
}

@string{stoc25="Proc. 57th STOC"}
@proceedings{pstoc25,
booktitle = stoc25,
year = {2025},
publisher = acm,
}

@string{stoc26="Proc. 58th STOC"}
@proceedings{pstoc26,
booktitle = stoc26,
year = {2026},
publisher = acm,
}

@string{stoc27="Proc. 59th STOC"}
@proceedings{pstoc27,
booktitle = stoc27,
year = {2027},
publisher = acm,
}

@string{stoc28="Proc. 60th STOC"}
@proceedings{pstoc28,
booktitle = stoc28,
year = {2028},
publisher = acm,
}

@string{stoc29="Proc. 61st STOC"}
@proceedings{pstoc29,
booktitle = stoc29,
year = {2029},
publisher = acm,
}

@string{stoc30="Proc. 62nd STOC"}
@proceedings{pstoc30,
booktitle = stoc30,
year = {2030},
publisher = acm,
}

************

@comment{confseries:FOCS 1960-current publ:ieee}
@string{focs60="Proc. 1st FOCS"}
@proceedings{pfocs60,
booktitle = focs60,
year = {1960},
publisher = ieee,
}

@string{focs61="Proc. 2nd FOCS"}
@proceedings{pfocs61,
booktitle = focs61,
year = {1961},
publisher = ieee,
}

@string{focs62="Proc. 3rd FOCS"}
@proceedings{pfocs62,
booktitle = focs62,
year = {1962},
publisher = ieee,
}

@string{focs63="Proc. 4th FOCS"}
@proceedings{pfocs63,
booktitle = focs63,
year = {1963},
publisher = ieee,
}

@string{focs64="Proc. 5th FOCS"}
@proceedings{pfocs64,
booktitle = focs64,
year = {1964},
publisher = ieee,
}

@string{focs65="Proc. 6th FOCS"}
@proceedings{pfocs65,
booktitle = focs65,
year = {1965},
publisher = ieee,
}

@string{focs66="Proc. 7th FOCS"}
@proceedings{pfocs66,
booktitle = focs66,
year = {1966},
publisher = ieee,
}

@string{focs67="Proc. 8th FOCS"}
@proceedings{pfocs67,
booktitle = focs67,
year = {1967},
publisher = ieee,
}

@string{focs68="Proc. 9th FOCS"}
@proceedings{pfocs68,
booktitle = focs68,
year = {1968},
publisher = ieee,
}

@string{focs69="Proc. 10th FOCS"}
@proceedings{pfocs69,
booktitle = focs69,
year = {1969},
publisher = ieee,
}

@string{focs70="Proc. 11th FOCS"}
@proceedings{pfocs70,
booktitle = focs70,
year = {1970},
publisher = ieee,
}

@string{focs71="Proc. 12th FOCS"}
@proceedings{pfocs71,
booktitle = focs71,
year = {1971},
publisher = ieee,
}

@string{focs72="Proc. 13th FOCS"}
@proceedings{pfocs72,
booktitle = focs72,
year = {1972},
publisher = ieee,
}

@string{focs73="Proc. 14th FOCS"}
@proceedings{pfocs73,
booktitle = focs73,
year = {1973},
publisher = ieee,
}

@string{focs74="Proc. 15th FOCS"}
@proceedings{pfocs74,
booktitle = focs74,
year = {1974},
publisher = ieee,
}

@string{focs75="Proc. 16th FOCS"}
@proceedings{pfocs75,
booktitle = focs75,
year = {1975},
publisher = ieee,
}

@string{focs76="Proc. 17th FOCS"}
@proceedings{pfocs76,
booktitle = focs76,
year = {1976},
publisher = ieee,
}

@string{focs77="Proc. 18th FOCS"}
@proceedings{pfocs77,
booktitle = focs77,
year = {1977},
publisher = ieee,
}

@string{focs78="Proc. 19th FOCS"}
@proceedings{pfocs78,
booktitle = focs78,
year = {1978},
publisher = ieee,
}

@string{focs79="Proc. 20th FOCS"}
@proceedings{pfocs79,
booktitle = focs79,
year = {1979},
publisher = ieee,
}

@string{focs80="Proc. 21st FOCS"}
@proceedings{pfocs80,
booktitle = focs80,
year = {1980},
publisher = ieee,
}

@string{focs81="Proc. 22nd FOCS"}
@proceedings{pfocs81,
booktitle = focs81,
year = {1981},
publisher = ieee,
}

@string{focs82="Proc. 23rd FOCS"}
@proceedings{pfocs82,
booktitle = focs82,
year = {1982},
publisher = ieee,
}

@string{focs83="Proc. 24th FOCS"}
@proceedings{pfocs83,
booktitle = focs83,
year = {1983},
publisher = ieee,
}

@string{focs84="Proc. 25th FOCS"}
@proceedings{pfocs84,
booktitle = focs84,
year = {1984},
publisher = ieee,
}

@string{focs85="Proc. 26th FOCS"}
@proceedings{pfocs85,
booktitle = focs85,
year = {1985},
publisher = ieee,
}

@string{focs86="Proc. 27th FOCS"}
@proceedings{pfocs86,
booktitle = focs86,
year = {1986},
publisher = ieee,
}

@string{focs87="Proc. 28th FOCS"}
@proceedings{pfocs87,
booktitle = focs87,
year = {1987},
publisher = ieee,
}

@string{focs88="Proc. 29th FOCS"}
@proceedings{pfocs88,
booktitle = focs88,
year = {1988},
publisher = ieee,
}

@string{focs89="Proc. 30th FOCS"}
@proceedings{pfocs89,
booktitle = focs89,
year = {1989},
publisher = ieee,
}

@string{focs90="Proc. 31st FOCS"}
@proceedings{pfocs90,
booktitle = focs90,
year = {1990},
publisher = ieee,
}

@string{focs91="Proc. 32nd FOCS"}
@proceedings{pfocs91,
booktitle = focs91,
year = {1991},
publisher = ieee,
}

@string{focs92="Proc. 33rd FOCS"}
@proceedings{pfocs92,
booktitle = focs92,
year = {1992},
publisher = ieee,
}

@string{focs93="Proc. 34th FOCS"}
@proceedings{pfocs93,
booktitle = focs93,
year = {1993},
publisher = ieee,
}

@string{focs94="Proc. 35th FOCS"}
@proceedings{pfocs94,
booktitle = focs94,
year = {1994},
publisher = ieee,
}

@string{focs95="Proc. 36th FOCS"}
@proceedings{pfocs95,
booktitle = focs95,
year = {1995},
publisher = ieee,
}

@string{focs96="Proc. 37th FOCS"}
@proceedings{pfocs96,
booktitle = focs96,
year = {1996},
publisher = ieee,
}

@string{focs97="Proc. 38th FOCS"}
@proceedings{pfocs97,
booktitle = focs97,
year = {1997},
publisher = ieee,
}

@string{focs98="Proc. 39th FOCS"}
@proceedings{pfocs98,
booktitle = focs98,
year = {1998},
publisher = ieee,
}

@string{focs99="Proc. 40th FOCS"}
@proceedings{pfocs99,
booktitle = focs99,
year = {1999},
publisher = ieee,
}

@string{focs00="Proc. 41st FOCS"}
@proceedings{pfocs00,
booktitle = focs00,
year = {2000},
publisher = ieee,
}

@string{focs01="Proc. 42nd FOCS"}
@proceedings{pfocs01,
booktitle = focs01,
year = {2001},
publisher = ieee,
}

@string{focs02="Proc. 43rd FOCS"}
@proceedings{pfocs02,
booktitle = focs02,
year = {2002},
publisher = ieee,
}

@string{focs03="Proc. 44th FOCS"}
@proceedings{pfocs03,
booktitle = focs03,
year = {2003},
publisher = ieee,
}

@string{focs04="Proc. 45th FOCS"}
@proceedings{pfocs04,
booktitle = focs04,
year = {2004},
publisher = ieee,
}

@string{focs05="Proc. 46th FOCS"}
@proceedings{pfocs05,
booktitle = focs05,
year = {2005},
publisher = ieee,
}

@string{focs06="Proc. 47th FOCS"}
@proceedings{pfocs06,
booktitle = focs06,
year = {2006},
publisher = ieee,
}

@string{focs07="Proc. 48th FOCS"}
@proceedings{pfocs07,
booktitle = focs07,
year = {2007},
publisher = ieee,
}

@string{focs08="Proc. 49th FOCS"}
@proceedings{pfocs08,
booktitle = focs08,
year = {2008},
publisher = ieee,
}

@string{focs09="Proc. 50th FOCS"}
@proceedings{pfocs09,
booktitle = focs09,
year = {2009},
publisher = ieee,
}

@string{focs10="Proc. 51st FOCS"}
@proceedings{pfocs10,
booktitle = focs10,
year = {2010},
publisher = ieee,
}

@string{focs11="Proc. 52nd FOCS"}
@proceedings{pfocs11,
booktitle = focs11,
year = {2011},
publisher = ieee,
}

@string{focs12="Proc. 53rd FOCS"}
@proceedings{pfocs12,
booktitle = focs12,
year = {2012},
publisher = ieee,
}

@string{focs13="Proc. 54th FOCS"}
@proceedings{pfocs13,
booktitle = focs13,
year = {2013},
publisher = ieee,
}

@string{focs14="Proc. 55th FOCS"}
@proceedings{pfocs14,
booktitle = focs14,
year = {2014},
publisher = ieee,
}

@string{focs15="Proc. 56th FOCS"}
@proceedings{pfocs15,
booktitle = focs15,
year = {2015},
publisher = ieee,
}

@string{focs16="Proc. 57th FOCS"}
@proceedings{pfocs16,
booktitle = focs16,
year = {2016},
publisher = ieee,
}

@string{focs17="Proc. 58th FOCS"}
@proceedings{pfocs17,
booktitle = focs17,
year = {2017},
publisher = ieee,
}

@string{focs18="Proc. 59th FOCS"}
@proceedings{pfocs18,
booktitle = focs18,
year = {2018},
publisher = ieee,
}

@string{focs19="Proc. 60th FOCS"}
@proceedings{pfocs19,
booktitle = focs19,
year = {2019},
publisher = ieee,
}

@string{focs20="Proc. 61st FOCS"}
@proceedings{pfocs20,
booktitle = focs20,
year = {2020},
publisher = ieee,
}

@string{focs21="Proc. 62nd FOCS"}
@proceedings{pfocs21,
booktitle = focs21,
year = {2021},
publisher = ieee,
}

@string{focs22="Proc. 63rd FOCS"}
@proceedings{pfocs22,
booktitle = focs22,
year = {2022},
publisher = ieee,
}

@string{focs23="Proc. 64th FOCS"}
@proceedings{pfocs23,
booktitle = focs23,
year = {2023},
publisher = ieee,
}

@string{focs24="Proc. 65th FOCS"}
@proceedings{pfocs24,
booktitle = focs24,
year = {2024},
publisher = ieee,
}

@string{focs25="Proc. 66th FOCS"}
@proceedings{pfocs25,
booktitle = focs25,
year = {2025},
publisher = ieee,
}

@string{focs26="Proc. 67th FOCS"}
@proceedings{pfocs26,
booktitle = focs26,
year = {2026},
publisher = ieee,
}

@string{focs27="Proc. 68th FOCS"}
@proceedings{pfocs27,
booktitle = focs27,
year = {2027},
publisher = ieee,
}

@string{focs28="Proc. 69th FOCS"}
@proceedings{pfocs28,
booktitle = focs28,
year = {2028},
publisher = ieee,
}

@string{focs29="Proc. 70th FOCS"}
@proceedings{pfocs29,
booktitle = focs29,
year = {2029},
publisher = ieee,
}

@string{focs30="Proc. 71st FOCS"}
@proceedings{pfocs30,
booktitle = focs30,
year = {2030},
publisher = ieee,
}

************

@comment{confseries:CCC(SCT) 1986-current publ:various}
@comment{publ:SCT 1986-1995 ieee CCC 1997-2014 ieee CCC 2015-curr drops}
@comment{confseries:SCT 1986-1995 publ:ieee}
@string{structures = " IEEE Conf. Structure in Complexity Theory"}
@string{structures86 = "Proc. 1st " # structures # " (SCT'86)"}
@proceedings{pccc86,
  booktitle	= structures86,
  year		= {1986},
  publisher	= ieee,
}

@string{structures87 = "Proc. 2nd " # structures # " (SCT'87)"}
@proceedings{pccc87,
  booktitle	= structures87,
  year		= {1987},
  publisher	= ieee,
}

@string{structures88 = "Proc. 3rd " # structures # " (SCT'88)"}
@proceedings{pccc88,
  booktitle	= structures88,
  year		= {1988},
  publisher	= ieee,
}

@string{structures89 = "Proc. 4th " # structures # " (SCT'89)"}
@proceedings{pccc89,
  booktitle	= structures89,
  year		= {1989},
  publisher	= ieee,
}

@string{structures90 = "Proc. 5th " # structures # " (SCT'90)"}
@proceedings{pccc90,
  booktitle	= structures90,
  year		= {1990},
  publisher	= ieee,
}

@string{structures91 = "Proc. 6th " # structures # " (SCT'91)"}
@proceedings{pccc91,
  booktitle	= structures91,
  year		= {1991},
  publisher	= ieee,
}

@string{structures92 = "Proc. 7th " # structures # " (SCT'92)"}
@proceedings{pccc92,
  booktitle	= structures92,
  year		= {1992},
  publisher	= ieee,
}

@string{structures93 = "Proc. 8th " # structures # " (SCT'93)"}
@proceedings{pccc93,
  booktitle	= structures93,
  year		= {1993},
  publisher	= ieee,
}

@string{structures94 = "Proc. 9th " # structures # " (SCT'94)"}
@proceedings{pccc94,
  booktitle	= structures94,
  year		= {1994},
  publisher	= ieee,
}

@string{structures95 = "Proc. 10th " # structures # " (SCT'95)"}
@proceedings{pccc95,
  booktitle	= structures95,
  year		= {1995},
  publisher	= ieee,
}

@comment{confseries:ICCC EEE 1996-2014 publ:ieee}
@string{cccieee = " IEEE Conf. on Comput. Complexity"}
@string{ccc96 = "Proc. 11th " # cccieee # " (CCC'96)"}
@proceedings{pccc96,
  booktitle	= ccc96,
  year		= {1996},
  publisher	= ieee,
}

@string{ccc97 = "Proc. 12th " # cccieee # " (CCC'97)"}
@proceedings{pccc97,
  booktitle	= ccc97,
  year		= {1997},
  publisher	= ieee,
}

@string{ccc98 = "Proc. 13th " # cccieee # " (CCC'98)"}
@proceedings{pccc98,
  booktitle	= ccc98,
  year		= {1998},
  publisher	= ieee,
}

@string{ccc99 = "Proc. 14th " # cccieee # " (CCC'99)"}
@proceedings{pccc99,
  booktitle	= ccc99,
  year		= {1999},
  publisher	= ieee,
}

@string{ccc00 = "Proc. 15th " # cccieee # " (CCC'00)"}
@proceedings{pccc00,
  booktitle	= ccc00,
  year		= {2000},
  publisher	= ieee,
}

@string{ccc01 = "Proc. 16th " # cccieee # " (CCC'01)"}
@proceedings{pccc01,
  booktitle	= ccc01,
  year		= {2001},
  publisher	= ieee,
}

@string{ccc02 = "Proc. 17th " # cccieee # " (CCC'02)"}
@proceedings{pccc02,
  booktitle	= ccc02,
  year		= {2002},
  publisher	= ieee,
}

@string{ccc03 = "Proc. 18th " # cccieee # " (CCC'03)"}
@proceedings{pccc03,
  booktitle	= ccc03,
  year		= {2003},
  publisher	= ieee,
}

@string{ccc04 = "Proc. 19th " # cccieee # " (CCC'04)"}
@proceedings{pccc04,
  booktitle	= ccc04,
  year		= {2004},
  publisher	= ieee,
}

@string{ccc05 = "Proc. 20th " # cccieee # " (CCC'05)"}
@proceedings{pccc05,
  booktitle	= ccc05,
  year		= {2005},
  publisher	= ieee,
}

@string{ccc06 = "Proc. 21st " # cccieee # " (CCC'06)"}
@proceedings{pccc06,
  booktitle	= ccc06,
  year		= {2006},
  publisher	= ieee,
}

@string{ccc07 = "Proc. 22nd " # cccieee # " (CCC'07)"}
@proceedings{pccc07,
  booktitle	= ccc07,
  year		= {2007},
  publisher	= ieee,
}

@string{ccc08 = "Proc. 23rd " # cccieee # " (CCC'08)"}
@proceedings{pccc08,
  booktitle	= ccc08,
  year		= {2008},
  publisher	= ieee,
}

@string{ccc09 = "Proc. 24th " # cccieee # " (CCC'09)"}
@proceedings{pccc09,
  booktitle	= ccc09,
  year		= {2009},
  publisher	= ieee,
}

@string{ccc10 = "Proc. 25th " # cccieee # " (CCC'10)"}
@proceedings{pccc10,
  booktitle	= ccc10,
  year		= {2010},
  publisher	= ieee,
}

@string{ccc11 = "Proc. 26th " # cccieee # " (CCC'11)"}
@proceedings{pccc11,
  booktitle	= ccc11,
  year		= {2011},
  publisher	= ieee,
}

@string{ccc12 = "Proc. 27th " # cccieee # " (CCC'12)"}
@proceedings{pccc12,
  booktitle	= ccc12,
  year		= {2012},
  publisher	= ieee,
}

@string{ccc13 = "Proc. 28th " # cccieee # " (CCC'13)"}
@proceedings{pccc13,
  booktitle	= ccc13,
  year		= {2013},
  publisher	= ieee,
}

@string{ccc14 = "Proc. 29th " # cccieee # " (CCC'14)"}
@proceedings{pccc14,
  booktitle	= ccc14,
  year		= {2014},
  publisher	= ieee,
}

@comment{confseries:CCC drops 2015-current publ:drops}
@string{cccdrops = " Comput. Complexity Conf."}
@string{ccc15 = "Proc. 30th " # cccdrops # " (CCC'15)"}
@proceedings{pccc15,
  booktitle	= ccc15,
  year		= {2015},
  publisher	= drops,
}

@string{ccc16 = "Proc. 31st " # cccdrops # " (CCC'16)"}
@proceedings{pccc16,
  booktitle	= ccc16,
  year		= {2016},
  publisher	= drops,
}

@string{ccc17 = "Proc. 32nd " # cccdrops # " (CCC'17)"}
@proceedings{pccc17,
  booktitle	= ccc17,
  year		= {2017},
  publisher	= drops,
}

@string{ccc18 = "Proc. 33rd " # cccdrops # " (CCC'18)"}
@proceedings{pccc18,
  booktitle	= ccc18,
  year		= {2018},
  publisher	= drops,
}

@string{ccc19 = "Proc. 34th " # cccdrops # " (CCC'19)"}
@proceedings{pccc19,
  booktitle	= ccc19,
  year		= {2019},
  publisher	= drops,
}

@string{ccc20 = "Proc. 35th " # cccdrops # " (CCC'20)"}
@proceedings{pccc20,
  booktitle	= ccc20,
  year		= {2020},
  publisher	= drops,
}

@string{ccc21 = "Proc. 36th " # cccdrops # " (CCC'21)"}
@proceedings{pccc21,
  booktitle	= ccc21,
  year		= {2021},
  publisher	= drops,
}

@string{ccc22 = "Proc. 37th " # cccdrops # " (CCC'22)"}
@proceedings{pccc22,
  booktitle	= ccc22,
  year		= {2022},
  publisher	= drops,
}

@string{ccc23 = "Proc. 38th " # cccdrops # " (CCC'23)"}
@proceedings{pccc23,
  booktitle	= ccc23,
  year		= {2023},
  publisher	= drops,
}

@string{ccc24 = "Proc. 39th " # cccdrops # " (CCC'24)"}
@proceedings{pccc24,
  booktitle	= ccc24,
  year		= {2024},
  publisher	= drops,
}

@string{ccc25 = "Proc. 40th " # cccdrops # " (CCC'25)"}
@proceedings{pccc25,
  booktitle	= ccc25,
  year		= {2025},
  publisher	= drops,
}

@string{ccc26 = "Proc. 41st " # cccdrops # " (CCC'26)"}
@proceedings{pccc26,
  booktitle	= ccc26,
  year		= {2026},
  publisher	= drops,
}

@string{ccc27 = "Proc. 42nd " # cccdrops # " (CCC'27)"}
@proceedings{pccc27,
  booktitle	= ccc27,
  year		= {2027},
  publisher	= drops,
}

@string{ccc28 = "Proc. 43rd " # cccdrops # " (CCC'28)"}
@proceedings{pccc28,
  booktitle	= ccc28,
  year		= {2028},
  publisher	= drops,
}

@string{ccc29 = "Proc. 44th " # cccdrops # " (CCC'29)"}
@proceedings{pccc29,
  booktitle	= ccc29,
  year		= {2029},
  publisher	= drops,
}

@string{ccc30 = "Proc. 45th " # cccdrops # " (CCC'30)"}
@proceedings{pccc30,
  booktitle	= ccc30,
  year		= {2030},
  publisher	= drops,
}

************

@comment{Ann. ACM-SIAM Symp. on Discrete Algorithms (SODA)}
@comment{confseries:SODA 1990-current publ:siam}
@string{soda=" Ann. ACM--SIAM Symp. on Discrete Algorithms"}
@string{soda90= "Proc. 1st" # soda  # " (SODA'90)"}
@proceedings{psoda90,
booktitle = soda90,
publisher = siam,
year = {1990},
}

@string{soda91= "Proc. 2nd" # soda  # " (SODA'91)"}
@proceedings{psoda91,
booktitle = soda91,
publisher = siam,
year = {1991},
}

@string{soda92= "Proc. 3rd" # soda  # " (SODA'92)"}
@proceedings{psoda92,
booktitle = soda92,
publisher = siam,
year = {1992},
}

@string{soda93= "Proc. 4th" # soda  # " (SODA'93)"}
@proceedings{psoda93,
booktitle = soda93,
publisher = siam,
year = {1993},
}

@string{soda94= "Proc. 5th" # soda  # " (SODA'94)"}
@proceedings{psoda94,
booktitle = soda94,
publisher = siam,
year = {1994},
}

@string{soda95= "Proc. 6th" # soda  # " (SODA'95)"}
@proceedings{psoda95,
booktitle = soda95,
publisher = siam,
year = {1995},
}

@string{soda96= "Proc. 7th" # soda  # " (SODA'96)"}
@proceedings{psoda96,
booktitle = soda96,
publisher = siam,
year = {1996},
}

@string{soda97= "Proc. 8th" # soda  # " (SODA'97)"}
@proceedings{psoda97,
booktitle = soda97,
publisher = siam,
year = {1997},
}

@string{soda98= "Proc. 9th" # soda  # " (SODA'98)"}
@proceedings{psoda98,
booktitle = soda98,
publisher = siam,
year = {1998},
}

@string{soda99= "Proc. 10th" # soda  # " (SODA'99)"}
@proceedings{psoda99,
booktitle = soda99,
publisher = siam,
year = {1999},
}

@string{soda00= "Proc. 11th" # soda  # " (SODA'00)"}
@proceedings{psoda00,
booktitle = soda00,
publisher = siam,
year = {2000},
}

@string{soda01= "Proc. 12th" # soda  # " (SODA'01)"}
@proceedings{psoda01,
booktitle = soda01,
publisher = siam,
year = {2001},
}

@string{soda02= "Proc. 13th" # soda  # " (SODA'02)"}
@proceedings{psoda02,
booktitle = soda02,
publisher = siam,
year = {2002},
}

@string{soda03= "Proc. 14th" # soda  # " (SODA'03)"}
@proceedings{psoda03,
booktitle = soda03,
publisher = siam,
year = {2003},
}

@string{soda04= "Proc. 15th" # soda  # " (SODA'04)"}
@proceedings{psoda04,
booktitle = soda04,
publisher = siam,
year = {2004},
}

@string{soda05= "Proc. 16th" # soda  # " (SODA'05)"}
@proceedings{psoda05,
booktitle = soda05,
publisher = siam,
year = {2005},
}

@string{soda06= "Proc. 17th" # soda  # " (SODA'06)"}
@proceedings{psoda06,
booktitle = soda06,
publisher = siam,
year = {2006},
}

@string{soda07= "Proc. 18th" # soda  # " (SODA'07)"}
@proceedings{psoda07,
booktitle = soda07,
publisher = siam,
year = {2007},
}

@string{soda08= "Proc. 19th" # soda  # " (SODA'08)"}
@proceedings{psoda08,
booktitle = soda08,
publisher = siam,
year = {2008},
}

@string{soda09= "Proc. 20th" # soda  # " (SODA'09)"}
@proceedings{psoda09,
booktitle = soda09,
publisher = siam,
year = {2009},
}

@string{soda10= "Proc. 21st" # soda  # " (SODA'10)"}
@proceedings{psoda10,
booktitle = soda10,
publisher = siam,
year = {2010},
}

@string{soda11= "Proc. 22nd" # soda  # " (SODA'11)"}
@proceedings{psoda11,
booktitle = soda11,
publisher = siam,
year = {2011},
}

@string{soda12= "Proc. 23rd" # soda  # " (SODA'12)"}
@proceedings{psoda12,
booktitle = soda12,
publisher = siam,
year = {2012},
}

@string{soda13= "Proc. 24th" # soda  # " (SODA'13)"}
@proceedings{psoda13,
booktitle = soda13,
publisher = siam,
year = {2013},
}

@string{soda14= "Proc. 25th" # soda  # " (SODA'14)"}
@proceedings{psoda14,
booktitle = soda14,
publisher = siam,
year = {2014},
}

@string{soda15= "Proc. 26th" # soda  # " (SODA'15)"}
@proceedings{psoda15,
booktitle = soda15,
publisher = siam,
year = {2015},
}

@string{soda16= "Proc. 27th" # soda  # " (SODA'16)"}
@proceedings{psoda16,
booktitle = soda16,
publisher = siam,
year = {2016},
}

@string{soda17= "Proc. 28th" # soda  # " (SODA'17)"}
@proceedings{psoda17,
booktitle = soda17,
publisher = siam,
year = {2017},
}

@string{soda18= "Proc. 29th" # soda  # " (SODA'18)"}
@proceedings{psoda18,
booktitle = soda18,
publisher = siam,
year = {2018},
}

@string{soda19= "Proc. 30th" # soda  # " (SODA'19)"}
@proceedings{psoda19,
booktitle = soda19,
publisher = siam,
year = {2019},
}

@string{soda20= "Proc. 31st" # soda  # " (SODA'20)"}
@proceedings{psoda20,
booktitle = soda20,
publisher = siam,
year = {2020},
}

@string{soda21= "Proc. 32nd" # soda  # " (SODA'21)"}
@proceedings{psoda21,
booktitle = soda21,
publisher = siam,
year = {2021},
}

@string{soda22= "Proc. 33rd" # soda  # " (SODA'22)"}
@proceedings{psoda22,
booktitle = soda22,
publisher = siam,
year = {2022},
}

@string{soda23= "Proc. 34th" # soda  # " (SODA'23)"}
@proceedings{psoda23,
booktitle = soda23,
publisher = siam,
year = {2023},
}

@string{soda24= "Proc. 35th" # soda  # " (SODA'24)"}
@proceedings{psoda24,
booktitle = soda24,
publisher = siam,
year = {2024},
}

@string{soda25= "Proc. 36th" # soda  # " (SODA'25)"}
@proceedings{psoda25,
booktitle = soda25,
publisher = siam,
year = {2025},
}

@string{soda26= "Proc. 37th" # soda  # " (SODA'26)"}
@proceedings{psoda26,
booktitle = soda26,
publisher = siam,
year = {2026},
}

@string{soda27= "Proc. 38th" # soda  # " (SODA'27)"}
@proceedings{psoda27,
booktitle = soda27,
publisher = siam,
year = {2027},
}

@string{soda28= "Proc. 39th" # soda  # " (SODA'28)"}
@proceedings{psoda28,
booktitle = soda28,
publisher = siam,
year = {2028},
}

@string{soda29= "Proc. 40th" # soda  # " (SODA'29)"}
@proceedings{psoda29,
booktitle = soda29,
publisher = siam,
year = {2029},
}

@string{soda30= "Proc. 41st" # soda  # " (SODA'30)"}
@proceedings{psoda30,
booktitle = soda30,
publisher = siam,
year = {2030},
}

************

@comment{confseries:2011-current Innovations in Theoretical Computer Science}
@comment{confseries:ICS--ITCS publ:various}
@comment{publ:ICS 2010-2011 tsinghua 2012-current drops}

@comment{confseries:ICS 2010-2011 publ:tsinghua}
@string{inncs = " Innovations in Comp. Sci. Conf."}
@string{inncs10 = "Proc. 1st " # inncs # " (ICS'10)"}
@proceedings{pitcs10,
  booktitle     = inncs10,
  year          = {2010},
  publisher     = tsinghua,
}

@string{inncs11 = "Proc. 2nd " # inncs # " (ICS'11)"}
@proceedings{pitcs11,
  booktitle     = inncs11,
  year          = {2011},
  publisher     = tsinghua,
}

@comment{confseries:ITCS 2012-current publ:drops}
@string{itcs = " Innovations in Theoret. Comp. Sci. Conf."}
@string{itcs12 = "Proc. 3rd " # itcs # " (ITCS'12)"}
@proceedings{pitcs12,
  booktitle	= itcs12,
  year		= {2012},
  publisher	= drops,
}

@string{itcs13 = "Proc. 4th " # itcs # " (ITCS'13)"}
@proceedings{pitcs13,
  booktitle	= itcs13,
  year		= {2013},
  publisher	= drops,
}

@string{itcs14 = "Proc. 5th " # itcs # " (ITCS'14)"}
@proceedings{pitcs14,
  booktitle	= itcs14,
  year		= {2014},
  publisher	= drops,
}

@string{itcs15 = "Proc. 6th " # itcs # " (ITCS'15)"}
@proceedings{pitcs15,
  booktitle	= itcs15,
  year		= {2015},
  publisher	= drops,
}

@string{itcs16 = "Proc. 7th " # itcs # " (ITCS'16)"}
@proceedings{pitcs16,
  booktitle	= itcs16,
  year		= {2016},
  publisher	= drops,
}

@string{itcs17 = "Proc. 8th " # itcs # " (ITCS'17)"}
@proceedings{pitcs17,
  booktitle	= itcs17,
  year		= {2017},
  publisher	= drops,
}

@string{itcs18 = "Proc. 9th " # itcs # " (ITCS'18)"}
@proceedings{pitcs18,
  booktitle	= itcs18,
  year		= {2018},
  publisher	= drops,
}

@string{itcs19 = "Proc. 10th " # itcs # " (ITCS'19)"}
@proceedings{pitcs19,
  booktitle	= itcs19,
  year		= {2019},
  publisher	= drops,
}

@string{itcs20 = "Proc. 11th " # itcs # " (ITCS'20)"}
@proceedings{pitcs20,
  booktitle	= itcs20,
  year		= {2020},
  publisher	= drops,
}

@string{itcs21 = "Proc. 12th " # itcs # " (ITCS'21)"}
@proceedings{pitcs21,
  booktitle	= itcs21,
  year		= {2021},
  publisher	= drops,
}

@string{itcs22 = "Proc. 13th " # itcs # " (ITCS'22)"}
@proceedings{pitcs22,
  booktitle	= itcs22,
  year		= {2022},
  publisher	= drops,
}

@string{itcs23 = "Proc. 14th " # itcs # " (ITCS'23)"}
@proceedings{pitcs23,
  booktitle	= itcs23,
  year		= {2023},
  publisher	= drops,
}

@string{itcs24 = "Proc. 15th " # itcs # " (ITCS'24)"}
@proceedings{pitcs24,
  booktitle	= itcs24,
  year		= {2024},
  publisher	= drops,
}

@string{itcs25 = "Proc. 16th " # itcs # " (ITCS'25)"}
@proceedings{pitcs25,
  booktitle	= itcs25,
  year		= {2025},
  publisher	= drops,
}

@string{itcs26 = "Proc. 17th " # itcs # " (ITCS'26)"}
@proceedings{pitcs26,
  booktitle	= itcs26,
  year		= {2026},
  publisher	= drops,
}

@string{itcs27 = "Proc. 18th " # itcs # " (ITCS'27)"}
@proceedings{pitcs27,
  booktitle	= itcs27,
  year		= {2027},
  publisher	= drops,
}

@string{itcs28 = "Proc. 19th " # itcs # " (ITCS'28)"}
@proceedings{pitcs28,
  booktitle	= itcs28,
  year		= {2028},
  publisher	= drops,
}

@string{itcs29 = "Proc. 20th " # itcs # " (ITCS'29)"}
@proceedings{pitcs29,
  booktitle	= itcs29,
  year		= {2029},
  publisher	= drops,
}

@string{itcs30 = "Proc. 21st " # itcs # " (ITCS'30)"}
@proceedings{pitcs30,
  booktitle	= itcs30,
  year		= {2030},
  publisher	= drops,
}

**************

@comment{confseries:ICALP 1974-current publ:various}
@comment{publ:ICALP 1974-2015 Springer 2016-current drops}
@comment{publ:ICALP 1974-2015 Springer}

@string{icalp=" Internat. Colloq. on Automata, Languages, and Programming"}
@string{icalp74= "Proc. 1st" # icalp  # " (ICALP'74)"}
@proceedings{picalp74,
 booktitle     = icalp74,
 publisher     = springer,
 year          = {1974},
}

@string{icalp75= "Proc. 2nd" # icalp  # " (ICALP'75)"}
@proceedings{picalp75,
 booktitle     = icalp75,
 publisher     = springer,
 year          = {1975},
}

@string{icalp76= "Proc. 3rd" # icalp  # " (ICALP'76)"}
@proceedings{picalp76,
 booktitle     = icalp76,
 publisher     = springer,
 year          = {1976},
}

@string{icalp77= "Proc. 4th" # icalp  # " (ICALP'77)"}
@proceedings{picalp77,
 booktitle     = icalp77,
 publisher     = springer,
 year          = {1977},
}

@string{icalp78= "Proc. 5th" # icalp  # " (ICALP'78)"}
@proceedings{picalp78,
 booktitle     = icalp78,
 publisher     = springer,
 year          = {1978},
}

@string{icalp79= "Proc. 6th" # icalp  # " (ICALP'79)"}
@proceedings{picalp79,
 booktitle     = icalp79,
 publisher     = springer,
 year          = {1979},
}

@string{icalp80= "Proc. 7th" # icalp  # " (ICALP'80)"}
@proceedings{picalp80,
 booktitle     = icalp80,
 publisher     = springer,
 year          = {1980},
}

@string{icalp81= "Proc. 8th" # icalp  # " (ICALP'81)"}
@proceedings{picalp81,
 booktitle     = icalp81,
 publisher     = springer,
 year          = {1981},
}

@string{icalp82= "Proc. 9th" # icalp  # " (ICALP'82)"}
@proceedings{picalp82,
 booktitle     = icalp82,
 publisher     = springer,
 year          = {1982},
}

@string{icalp83= "Proc. 10th" # icalp  # " (ICALP'83)"}
@proceedings{picalp83,
 booktitle     = icalp83,
 publisher     = springer,
 year          = {1983},
}

@string{icalp84= "Proc. 11th" # icalp  # " (ICALP'84)"}
@proceedings{picalp84,
 booktitle     = icalp84,
 publisher     = springer,
 year          = {1984},
}

@string{icalp85= "Proc. 12th" # icalp  # " (ICALP'85)"}
@proceedings{picalp85,
 booktitle     = icalp85,
 publisher     = springer,
 year          = {1985},
}

@string{icalp86= "Proc. 13th" # icalp  # " (ICALP'86)"}
@proceedings{picalp86,
 booktitle     = icalp86,
 publisher     = springer,
 year          = {1986},
}

@string{icalp87= "Proc. 14th" # icalp  # " (ICALP'87)"}
@proceedings{picalp87,
 booktitle     = icalp87,
 publisher     = springer,
 year          = {1987},
}

@string{icalp88= "Proc. 15th" # icalp  # " (ICALP'88)"}
@proceedings{picalp88,
 booktitle     = icalp88,
 publisher     = springer,
 year          = {1988},
}

@string{icalp89= "Proc. 16th" # icalp  # " (ICALP'89)"}
@proceedings{picalp89,
 booktitle     = icalp89,
 publisher     = springer,
 year          = {1989},
}

@string{icalp90= "Proc. 17th" # icalp  # " (ICALP'90)"}
@proceedings{picalp90,
 booktitle     = icalp90,
 publisher     = springer,
 year          = {1990},
}

@string{icalp91= "Proc. 18th" # icalp  # " (ICALP'91)"}
@proceedings{picalp91,
 booktitle     = icalp91,
 publisher     = springer,
 year          = {1991},
}


@string{icalp92= "Proc. 19th" # icalp  # " (ICALP'92)"}
@proceedings{picalp92,
 booktitle     = icalp92,
 publisher     = springer,
 year          = {1992},
}


@string{icalp93= "Proc. 20th" # icalp  # " (ICALP'93)"}
@proceedings{picalp93,
 booktitle     = icalp93,
 publisher     = springer,
 year          = {1993},
}


@string{icalp94= "Proc. 21st" # icalp  # " (ICALP'94)"}
@proceedings{picalp94,
 booktitle     = icalp94,
 publisher     = springer,
 year          = {1994},
}


@string{icalp95= "Proc. 22nd" # icalp  # " (ICALP'95)"}
@proceedings{picalp95,
 booktitle     = icalp95,
 publisher     = springer,
 year          = {1995},
}


@string{icalp96= "Proc. 23rd" # icalp  # " (ICALP'96)"}
@proceedings{picalp96,
 booktitle     = icalp96,
 publisher     = springer,
 year          = {1996},
}


@string{icalp97= "Proc. 24th" # icalp  # " (ICALP'97)"}
@proceedings{picalp97,
 booktitle     = icalp97,
 publisher     = springer,
 year          = {1997},
}


@string{icalp98= "Proc. 25th" # icalp  # " (ICALP'98)"}
@proceedings{picalp98,
 booktitle     = icalp98,
 publisher     = springer,
 year          = {1998},
}


@string{icalp99= "Proc. 26th" # icalp  # " (ICALP'99)"}
@proceedings{picalp99,
 booktitle     = icalp99,
 publisher     = springer,
 year          = {1999},
}


@string{icalp00= "Proc. 27th" # icalp  # " (ICALP'00)"}
@proceedings{picalp00,
 booktitle     = icalp00,
 publisher     = springer,
 year          = {2000},
}


@string{icalp01= "Proc. 28th" # icalp  # " (ICALP'01)"}
@proceedings{picalp01,
 booktitle     = icalp01,
 publisher     = springer,
 year          = {2001},
}


@string{icalp02= "Proc. 29th" # icalp  # " (ICALP'02)"}
@proceedings{picalp02,
 booktitle     = icalp02,
 publisher     = springer,
 year          = {2002},
}


@string{icalp03= "Proc. 30th" # icalp  # " (ICALP'03)"}
@proceedings{picalp03,
 booktitle     = icalp03,
 publisher     = springer,
 year          = {2003},
}


@string{icalp04= "Proc. 31st" # icalp  # " (ICALP'04)"}
@proceedings{picalp04,
 booktitle     = icalp04,
 publisher     = springer,
 year          = {2004},
}


@string{icalp05= "Proc. 32nd" # icalp  # " (ICALP'05)"}
@proceedings{picalp05,
 booktitle     = icalp05,
 publisher     = springer,
 year          = {2005},
}


@string{icalp06= "Proc. 33rd" # icalp  # " (ICALP'06)"}
@proceedings{picalp06,
 booktitle     = icalp06,
 publisher     = springer,
 year          = {2006},
}


@string{icalp07= "Proc. 34th" # icalp  # " (ICALP'07)"}
@proceedings{picalp07,
 booktitle     = icalp07,
 publisher     = springer,
 year          = {2007},
}


@string{icalp08= "Proc. 35th" # icalp  # " (ICALP'08)"}
@proceedings{picalp08,
 booktitle     = icalp08,
 publisher     = springer,
 year          = {2008},
}


@string{icalp09= "Proc. 36th" # icalp  # " (ICALP'09)"}
@proceedings{picalp09,
 booktitle     = icalp09,
 publisher     = springer,
 year          = {2009},
}


@string{icalp10= "Proc. 37th" # icalp  # " (ICALP'10)"}
@proceedings{picalp10,
 booktitle     = icalp10,
 publisher     = springer,
 year          = {2010},
}


@string{icalp11= "Proc. 38th" # icalp  # " (ICALP'11)"}
@proceedings{picalp11,
 booktitle     = icalp11,
 publisher     = springer,
 year          = {2011},
}


@string{icalp12= "Proc. 39th" # icalp  # " (ICALP'12)"}
@proceedings{picalp12,
 booktitle     = icalp12,
 publisher     = springer,
 year          = {2012},
}


@string{icalp13= "Proc. 40th" # icalp  # " (ICALP'13)"}
@proceedings{picalp13,
 booktitle     = icalp13,
 publisher     = springer,
 year          = {2013},
}


@string{icalp14= "Proc. 41st" # icalp  # " (ICALP'14)"}
@proceedings{picalp14,
 booktitle     = icalp14,
 publisher     = springer,
 year          = {2014},
}


@string{icalp15= "Proc. 42nd" # icalp  # " (ICALP'15)"}
@proceedings{picalp15,
 booktitle     = icalp15,
 publisher     = springer,
 year          = {2015},
}

@comment{publ:ICALP 2016-current drops}

@string{icalp16= "Proc. 43rd" # icalp  # " (ICALP'16)"}
@proceedings{picalp16,
 booktitle     = icalp16,
 publisher     = drops,
 year          = {2016},
}


@string{icalp17= "Proc. 44th" # icalp  # " (ICALP'17)"}
@proceedings{picalp17,
 booktitle     = icalp17,
 publisher     = drops,
 year          = {2017},
}


@string{icalp18= "Proc. 45th" # icalp  # " (ICALP'18)"}
@proceedings{picalp18,
 booktitle     = icalp18,
 publisher     = drops,
 year          = {2018},
}


@string{icalp19= "Proc. 46th" # icalp  # " (ICALP'19)"}
@proceedings{picalp19,
 booktitle     = icalp19,
 publisher     = drops,
 year          = {2019},
}


@string{icalp20= "Proc. 47th" # icalp  # " (ICALP'20)"}
@proceedings{picalp20,
 booktitle     = icalp20,
 publisher     = drops,
 year          = {2020},
}


@string{icalp21= "Proc. 48th" # icalp  # " (ICALP'21)"}
@proceedings{picalp21,
 booktitle     = icalp21,
 publisher     = drops,
 year          = {2021},
}


@string{icalp22= "Proc. 49th" # icalp  # " (ICALP'22)"}
@proceedings{picalp22,
 booktitle     = icalp22,
 publisher     = drops,
 year          = {2022},
}


@string{icalp23= "Proc. 50th" # icalp  # " (ICALP'23)"}
@proceedings{picalp23,
 booktitle     = icalp23,
 publisher     = drops,
 year          = {2023},
}


@string{icalp24= "Proc. 51st" # icalp  # " (ICALP'24)"}
@proceedings{picalp24,
 booktitle     = icalp24,
 publisher     = drops,
 year          = {2024},
}


@string{icalp25= "Proc. 52nd" # icalp  # " (ICALP'25)"}
@proceedings{picalp25,
 booktitle     = icalp25,
 publisher     = drops,
 year          = {2025},
}


@string{icalp26= "Proc. 53rd" # icalp  # " (ICALP'26)"}
@proceedings{picalp26,
 booktitle     = icalp26,
 publisher     = drops,
 year          = {2026},
}


@string{icalp27= "Proc. 54th" # icalp  # " (ICALP'27)"}
@proceedings{picalp27,
 booktitle     = icalp27,
 publisher     = drops,
 year          = {2027},
}


@string{icalp28= "Proc. 55th" # icalp  # " (ICALP'28)"}
@proceedings{picalp28,
 booktitle     = icalp28,
 publisher     = drops,
 year          = {2028},
}


@string{icalp29= "Proc. 56th" # icalp  # " (ICALP'29)"}
@proceedings{picalp29,
 booktitle     = icalp29,
 publisher     = drops,
 year          = {2029},
}


@string{icalp30= "Proc. 57th" # icalp  # " (ICALP'30)"}
@proceedings{picalp30,
 booktitle     = icalp30,
 publisher     = drops,
 year          = {2030},
}

**********

@comment{confseries:Internat. Symp. on Computational Geometry, SoCG},
@comment{confseries:SoCG 1985-current publ:various}
@comment{publ:SoCG 1985-2014 acm 2015-curr drops}
@comment{publ:SoCG 1985-2014 acm}

@string{compgeom=" Internat. Symp. Comput. Geom."}
@string{compgeom85= "Proc. 1st" # compgeom  # " (SoCG'85)"}
@proceedings{pcompgeom85,
 booktitle     = compgeom85,
 publisher     = acm,
 year          = {1985},
}


@string{compgeom86= "Proc. 2nd" # compgeom  # " (SoCG'86)"}
@proceedings{pcompgeom86,
 booktitle     = compgeom86,
 publisher     = acm,
 year          = {1986},
}


@string{compgeom87= "Proc. 3rd" # compgeom  # " (SoCG'87)"}
@proceedings{pcompgeom87,
 booktitle     = compgeom87,
 publisher     = acm,
 year          = {1987},
}


@string{compgeom88= "Proc. 4th" # compgeom  # " (SoCG'88)"}
@proceedings{pcompgeom88,
 booktitle     = compgeom88,
 publisher     = acm,
 year          = {1988},
}


@string{compgeom89= "Proc. 5th" # compgeom  # " (SoCG'89)"}
@proceedings{pcompgeom89,
 booktitle     = compgeom89,
 publisher     = acm,
 year          = {1989},
}


@string{compgeom90= "Proc. 6th" # compgeom  # " (SoCG'90)"}
@proceedings{pcompgeom90,
 booktitle     = compgeom90,
 publisher     = acm,
 year          = {1990},
}


@string{compgeom91= "Proc. 7th" # compgeom  # " (SoCG'91)"}
@proceedings{pcompgeom91,
 booktitle     = compgeom91,
 publisher     = acm,
 year          = {1991},
}


@string{compgeom92= "Proc. 8th" # compgeom  # " (SoCG'92)"}
@proceedings{pcompgeom92,
 booktitle     = compgeom92,
 publisher     = acm,
 year          = {1992},
}


@string{compgeom93= "Proc. 9th" # compgeom  # " (SoCG'93)"}
@proceedings{pcompgeom93,
 booktitle     = compgeom93,
 publisher     = acm,
 year          = {1993},
}


@string{compgeom94= "Proc. 10th" # compgeom  # " (SoCG'94)"}
@proceedings{pcompgeom94,
 booktitle     = compgeom94,
 publisher     = acm,
 year          = {1994},
}


@string{compgeom95= "Proc. 11th" # compgeom  # " (SoCG'95)"}
@proceedings{pcompgeom95,
 booktitle     = compgeom95,
 publisher     = acm,
 year          = {1995},
}


@string{compgeom96= "Proc. 12th" # compgeom  # " (SoCG'96)"}
@proceedings{pcompgeom96,
 booktitle     = compgeom96,
 publisher     = acm,
 year          = {1996},
}


@string{compgeom97= "Proc. 13th" # compgeom  # " (SoCG'97)"}
@proceedings{pcompgeom97,
 booktitle     = compgeom97,
 publisher     = acm,
 year          = {1997},
}


@string{compgeom98= "Proc. 14th" # compgeom  # " (SoCG'98)"}
@proceedings{pcompgeom98,
 booktitle     = compgeom98,
 publisher     = acm,
 year          = {1998},
}


@string{compgeom99= "Proc. 15th" # compgeom  # " (SoCG'99)"}
@proceedings{pcompgeom99,
 booktitle     = compgeom99,
 publisher     = acm,
 year          = {1999},
}


@string{compgeom00= "Proc. 16th" # compgeom  # " (SoCG'00)"}
@proceedings{pcompgeom00,
 booktitle     = compgeom00,
 publisher     = acm,
 year          = {2000},
}


@string{compgeom01= "Proc. 17th" # compgeom  # " (SoCG'01)"}
@proceedings{pcompgeom01,
 booktitle     = compgeom01,
 publisher     = acm,
 year          = {2001},
}


@string{compgeom02= "Proc. 18th" # compgeom  # " (SoCG'02)"}
@proceedings{pcompgeom02,
 booktitle     = compgeom02,
 publisher     = acm,
 year          = {2002},
}


@string{compgeom03= "Proc. 19th" # compgeom  # " (SoCG'03)"}
@proceedings{pcompgeom03,
 booktitle     = compgeom03,
 publisher     = acm,
 year          = {2003},
}


@string{compgeom04= "Proc. 20th" # compgeom  # " (SoCG'04)"}
@proceedings{pcompgeom04,
 booktitle     = compgeom04,
 publisher     = acm,
 year          = {2004},
}


@string{compgeom05= "Proc. 21st" # compgeom  # " (SoCG'05)"}
@proceedings{pcompgeom05,
 booktitle     = compgeom05,
 publisher     = acm,
 year          = {2005},
}


@string{compgeom06= "Proc. 22nd" # compgeom  # " (SoCG'06)"}
@proceedings{pcompgeom06,
 booktitle     = compgeom06,
 publisher     = acm,
 year          = {2006},
}


@string{compgeom07= "Proc. 23rd" # compgeom  # " (SoCG'07)"}
@proceedings{pcompgeom07,
 booktitle     = compgeom07,
 publisher     = acm,
 year          = {2007},
}


@string{compgeom08= "Proc. 24th" # compgeom  # " (SoCG'08)"}
@proceedings{pcompgeom08,
 booktitle     = compgeom08,
 publisher     = acm,
 year          = {2008},
}


@string{compgeom09= "Proc. 25th" # compgeom  # " (SoCG'09)"}
@proceedings{pcompgeom09,
 booktitle     = compgeom09,
 publisher     = acm,
 year          = {2009},
}


@string{compgeom10= "Proc. 26th" # compgeom  # " (SoCG'10)"}
@proceedings{pcompgeom10,
 booktitle     = compgeom10,
 publisher     = acm,
 year          = {2010},
}


@string{compgeom11= "Proc. 27th" # compgeom  # " (SoCG'11)"}
@proceedings{pcompgeom11,
 booktitle     = compgeom11,
 publisher     = acm,
 year          = {2011},
}


@string{compgeom12= "Proc. 28th" # compgeom  # " (SoCG'12)"}
@proceedings{pcompgeom12,
 booktitle     = compgeom12,
 publisher     = acm,
 year          = {2012},
}


@string{compgeom13= "Proc. 29th" # compgeom  # " (SoCG'13)"}
@proceedings{pcompgeom13,
 booktitle     = compgeom13,
 publisher     = acm,
 year          = {2013},
}


@string{compgeom14= "Proc. 30th" # compgeom  # " (SoCG'14)"}
@proceedings{pcompgeom14,
 booktitle     = compgeom14,
 publisher     = acm,
 year          = {2014},
}

@comment{publ:SoCG 2015-curr drops}


@string{compgeom15= "Proc. 31st" # compgeom  # " (SoCG'15)"}
@proceedings{pcompgeom15,
 booktitle     = compgeom15,
 publisher     = drops,
 year          = {2015},
}


@string{compgeom16= "Proc. 32nd" # compgeom  # " (SoCG'16)"}
@proceedings{pcompgeom16,
 booktitle     = compgeom16,
 publisher     = drops,
 year          = {2016},
}


@string{compgeom17= "Proc. 33rd" # compgeom  # " (SoCG'17)"}
@proceedings{pcompgeom17,
 booktitle     = compgeom17,
 publisher     = drops,
 year          = {2017},
}


@string{compgeom18= "Proc. 34th" # compgeom  # " (SoCG'18)"}
@proceedings{pcompgeom18,
 booktitle     = compgeom18,
 publisher     = drops,
 year          = {2018},
}


@string{compgeom19= "Proc. 35th" # compgeom  # " (SoCG'19)"}
@proceedings{pcompgeom19,
 booktitle     = compgeom19,
 publisher     = drops,
 year          = {2019},
}


@string{compgeom20= "Proc. 36th" # compgeom  # " (SoCG'20)"}
@proceedings{pcompgeom20,
 booktitle     = compgeom20,
 publisher     = drops,
 year          = {2020},
}


@string{compgeom21= "Proc. 37th" # compgeom  # " (SoCG'21)"}
@proceedings{pcompgeom21,
 booktitle     = compgeom21,
 publisher     = drops,
 year          = {2021},
}


@string{compgeom22= "Proc. 38th" # compgeom  # " (SoCG'22)"}
@proceedings{pcompgeom22,
 booktitle     = compgeom22,
 publisher     = drops,
 year          = {2022},
}


@string{compgeom23= "Proc. 39th" # compgeom  # " (SoCG'23)"}
@proceedings{pcompgeom23,
 booktitle     = compgeom23,
 publisher     = drops,
 year          = {2023},
}


@string{compgeom24= "Proc. 40th" # compgeom  # " (SoCG'24)"}
@proceedings{pcompgeom24,
 booktitle     = compgeom24,
 publisher     = drops,
 year          = {2024},
}


@string{compgeom25= "Proc. 41st" # compgeom  # " (SoCG'25)"}
@proceedings{pcompgeom25,
 booktitle     = compgeom25,
 publisher     = drops,
 year          = {2025},
}


@string{compgeom26= "Proc. 42nd" # compgeom  # " (SoCG'26)"}
@proceedings{pcompgeom26,
 booktitle     = compgeom26,
 publisher     = drops,
 year          = {2026},
}


@string{compgeom27= "Proc. 43rd" # compgeom  # " (SoCG'27)"}
@proceedings{pcompgeom27,
 booktitle     = compgeom27,
 publisher     = drops,
 year          = {2027},
}


@string{compgeom28= "Proc. 44th" # compgeom  # " (SoCG'28)"}
@proceedings{pcompgeom28,
 booktitle     = compgeom28,
 publisher     = drops,
 year          = {2028},
}


@string{compgeom29= "Proc. 45th" # compgeom  # " (SoCG'29)"}
@proceedings{pcompgeom29,
 booktitle     = compgeom29,
 publisher     = drops,
 year          = {2029},
}


@string{compgeom30= "Proc. 46th" # compgeom  # " (SoCG'30)"}
@proceedings{pcompgeom30,
 booktitle     = compgeom30,
 publisher     = drops,
 year          = {2030},
}

**********

@comment{confseries:APPROX WORKSHOP/CONF 1998-current publ:various}
@comment{confseries:APPROX WORKSHOP 1998-2017 publ:various}
@string{approxwkshp=" Internat. Workshop on Approximation Algorithms for Combinat. Opt. Probl."}
@comment{confseries:APPROX WKSHP 1998-2013 publ:springer}
@comment{confseries:APPROX WKSHP 2014-2017 publ:drops}
@comment{confseries:APPROX CONF 2018-current publ:drops}
@string{approxconf=" Internat. Conf. on Approximation Algorithms for Combinat. Opt. Probl."}

@string{approx98= "Proc. 1st" # approxwkshp  # " (APPROX'98)"}
@Proceedings{papprox98,
booktitle     = approx98,
 publisher     = springer,
 year          = {1998},
}

@string{approx99= "Proc. 2nd" # approxwkshp  # " (APPROX'99)"}
@Proceedings{papprox99,
 booktitle     = approx99,
 publisher     = springer,
 year          = {1999},
}

@string{approx00= "Proc. 3rd" # approxwkshp  # " (APPROX'00)"}
@Proceedings{papprox00,
booktitle     = approx00,
 publisher     = springer,
 year          = {2000},
}

@string{approx01= "Proc. 4th" # approxwkshp  # " (APPROX'01)"}
@Proceedings{papprox01,
booktitle     = approx01,
 publisher     = springer,
 year          = {2001},
}

@string{approx02= "Proc. 5th" # approxwkshp  # " (APPROX'02)"}
@Proceedings{papprox02,
booktitle     = approx02,
 publisher     = springer,
 year          = {2002},
}

@string{approx03= "Proc. 6th" # approxwkshp  # " (APPROX'03)"}
@Proceedings{papprox03,
booktitle     = approx03,
 publisher     = springer,
 year          = {2003},
}

@string{approx04= "Proc. 7th" # approxwkshp  # " (APPROX'04)"}
@Proceedings{papprox04,                  
 booktitle     = approx04,
 publisher     = springer,
 year          = {2004},
}

@string{approx05= "Proc. 8th" # approxwkshp  # " (APPROX'05)"}
@Proceedings{papprox05,
booktitle     = approx05,
 publisher     = springer,
 year          = {2005},
}

@string{approx06= "Proc. 9th" # approxwkshp  # " (APPROX'06)"}
@Proceedings{papprox06,
booktitle     = approx06,
 publisher     = springer,
 year          = {2006},
}

@string{approx07= "Proc. 10th" # approxwkshp  # " (APPROX'07)"}
@Proceedings{papprox07,
booktitle     = approx07,
 publisher     = springer,
 year          = {2007},
}

@string{approx08= "Proc. 11th" # approxwkshp  # " (APPROX'08)"}
@Proceedings{papprox08,
booktitle     = approx08,
 publisher     = springer,
 year          = {2008},
}

@string{approx09= "Proc. 12th" # approxwkshp  # " (APPROX'09)"}
@Proceedings{papprox09,
booktitle     = approx09,
 publisher     = springer,
 year          = {2009},
}

@string{approx10= "Proc. 13th" # approxwkshp  # " (APPROX'10)"}
@Proceedings{papprox10,
booktitle     = approx10,
 publisher     = springer,
 year          = {2010},
}

@string{approx11= "Proc. 14th" # approxwkshp  # " (APPROX'11)"}
@Proceedings{papprox11,
booktitle     = approx11,
 publisher     = springer,
 year          = {2011},
}

@string{approx12= "Proc. 15th" # approxwkshp  # " (APPROX'12)"}
@Proceedings{papprox12,
booktitle     = approx12,
 publisher     = springer,
 year          = {2012},
}

@string{approx13= "Proc. 16th" # approxwkshp  # " (APPROX'13)"}
@Proceedings{papprox13,                  
 booktitle     = approx13,
 publisher     = springer,
 year          = {2013},
}

@comment{confseries:APPROX WKSHP 2014-2017 publ:drops (2)}
@string{approx14= "Proc. 17th" # approxwkshp  # " (APPROX'14)"}
@Proceedings{papprox14,
 booktitle     = approx14,
 publisher     = drops,
 year          = {2014},
}

@string{approx15= "Proc. 18th" # approxwkshp  # " (APPROX'15)"}
@Proceedings{papprox15,
 booktitle     = approx15,
 publisher     = drops,
 year          = {2015},
}

@string{approx16= "Proc. 19th" # approxwkshp  # " (APPROX'16)"}
@Proceedings{papprox16,
 booktitle     = approx16,
 publisher     = drops,
 year          = {2016},
}

@string{approx17= "Proc. 20th" # approxwkshp  # " (APPROX'17)"}
@Proceedings{papprox17,
 booktitle     = approx17,
 publisher     = drops,
 year          = {2017},
}

@comment{confseries:APPROX CONF 2018-current publ:drops (2)}

@string{approx18= "Proc. 21st" # approxconf  # " (APPROX'18)"}
@Proceedings{papprox18,
 booktitle     = approx18,
 publisher     = drops,
 year          = {2018},
}

@string{approx19= "Proc. 22nd" # approxconf  # " (APPROX'19)"}
@Proceedings{papprox19,
 booktitle     = approx19,
 publisher     = drops,
 year          = {2019},
}

@string{approx20= "Proc. 23rd" # approxconf  # " (APPROX'20)"}
@Proceedings{papprox20,
 booktitle     = approx20,
 publisher     = drops,
 year          = {2020},
}

@string{approx21= "Proc. 24th" # approxconf  # " (APPROX'21)"}
@Proceedings{papprox21,
 booktitle     = approx21,
 publisher     = drops,
 year          = {2021},
}

@string{approx22= "Proc. 25th" # approxconf  # " (APPROX'22)"}
@Proceedings{papprox22,
 booktitle     = approx22,
 publisher     = drops,
 year          = {2022},
}

@string{approx23= "Proc. 26th" # approxconf  # " (APPROX'23)"}
@Proceedings{papprox23,
 booktitle     = approx23,
 publisher     = drops,
 year          = {2023},
}

@string{approx24= "Proc. 27th" # approxconf  # " (APPROX'24)"}
@Proceedings{papprox24,
 booktitle     = approx24,
 publisher     = drops,
 year          = {2024},
}

@string{approx25= "Proc. 28th" # approxconf  # " (APPROX'25)"}
@Proceedings{papprox25,
 booktitle     = approx25,
 publisher     = drops,
 year          = {2025},
}

@string{approx26= "Proc. 29th" # approxconf  # " (APPROX'26)"}
@Proceedings{papprox26,
 booktitle     = approx26,
 publisher     = drops,
 year          = {2026},
}

@string{approx27= "Proc. 30th" # approxconf  # " (APPROX'27)"}
@Proceedings{papprox27,
 booktitle     = approx27,
 publisher     = drops,
 year          = {2027},
}

@string{approx28= "Proc. 31st" # approxconf  # " (APPROX'28)"}
@Proceedings{papprox28,
 booktitle     = approx28,
 publisher     = drops,
 year          = {2028},
}

@string{approx29= "Proc. 32nd" # approxconf  # " (APPROX'29)"}
@Proceedings{papprox29,
 booktitle     = approx29,
 publisher     = drops,
 year          = {2029},
}

@string{approx30= "Proc. 33rd" # approxconf  # " (APPROX'30)"}
@Proceedings{papprox30,
 booktitle     = approx30,
 publisher     = drops,
 year          = {2030},
}

**********

@comment{confseries:RANDOM WORKSHOP/CONF 1997-current publ:various}
@comment{confseries:RANDOM WORKSHOP 1997-2017 publ:various}
@string{randomwkshp=" Internat. Workshop on Randomization and Computation"}
@comment{confseries:RANDOM WORKSHOP 1997-2013 publ:springer}
@comment{confseries:RANDOM WORKSHOP 2014-2017 publ:drops}
@comment{confseries:RANDOM CONF 2018-current publ:drops}
@string{randomconf=" Internat. Conf. on Randomization and Computation"}

@string{random97= "Proc. 1st" # randomwkshp  # " (RANDOM'97)"}
@proceedings{prandom97,
 booktitle=random97,
 year={1997},
 publisher=springer,
}

@string{random98= "Proc. 2nd" # randomwkshp  # " (RANDOM'98)"}
@proceedings{prandom98,
 booktitle=random98,
 year={1998},
 publisher=springer,
}

@string{random99= "Proc. 3rd" # randomwkshp  # " (RANDOM'99)"}
@proceedings{prandom99,
 booktitle=random99,
 year={1999},
 publisher=springer,
}

@string{random00= "Proc. 4th" # randomwkshp  # " (RANDOM'00)"}
@proceedings{prandom00,
 booktitle=random00,
 year={2000},
 publisher=springer,
}

@string{random01= "Proc. 5th" # randomwkshp  # " (RANDOM'01)"}
@proceedings{prandom01,
 booktitle=random01,
 year={2001},
 publisher=springer,
}

@string{random02= "Proc. 6th" # randomwkshp  # " (RANDOM'02)"}
@proceedings{prandom02,
 booktitle=random02,
 year={2002},
 publisher=springer,
}

@string{random03= "Proc. 7th" # randomwkshp  # " (RANDOM'03)"}
@proceedings{prandom03,
 booktitle=random03,
 year={2003},
 publisher=springer,
}

@string{random04= "Proc. 8th" # randomwkshp  # " (RANDOM'04)"}
@proceedings{prandom04,
 booktitle=random04,
 year={2004},
 publisher=springer,
}

@string{random05= "Proc. 9th" # randomwkshp  # " (RANDOM'05)"}
@proceedings{prandom05,
 booktitle=random05,
 year={2005},
 publisher=springer,
}

@string{random06= "Proc. 10th" # randomwkshp  # " (RANDOM'06)"}
@proceedings{prandom06,
 booktitle=random06,
 year={2006},
 publisher=springer,
}

@string{random07= "Proc. 11th" # randomwkshp  # " (RANDOM'07)"}
@proceedings{prandom07,
 booktitle=random07,
 year={2007},
 publisher=springer,
}

@string{random08= "Proc. 12th" # randomwkshp  # " (RANDOM'08)"}
@proceedings{prandom08,
 booktitle=random08,
 year={2008},
 publisher=springer,
}

@string{random09= "Proc. 13th" # randomwkshp  # " (RANDOM'09)"}
@proceedings{prandom09,
 booktitle=random09,
 year={2009},
 publisher=springer,
}

@string{random10= "Proc. 14th" # randomwkshp  # " (RANDOM'10)"}
@proceedings{prandom10,
 booktitle=random10,
 year={2010},
 publisher=springer,
}

@string{random11= "Proc. 15th" # randomwkshp  # " (RANDOM'11)"}
@proceedings{prandom11,
 booktitle=random11,
 year={2011},
 publisher=springer,
}

@string{random12= "Proc. 16th" # randomwkshp  # " (RANDOM'12)"}
@proceedings{prandom12,
 booktitle=random12,
 year={2012},
 publisher=springer,
}

@string{random13= "Proc. 17th" # randomwkshp  # " (RANDOM'13)"}
@proceedings{prandom13,
 booktitle=random13,
 year={2013},
 publisher=springer,
}

@comment{confseries:RANDOM WKSHP 2014-2017 publ:drops}
@string{random14= "Proc. 18th" # randomwkshp  # " (RANDOM'14)"}
@proceedings{prandom14,
 booktitle=random14,
 publisher= drops,
 year={2014},
}

@string{random15= "Proc. 19th" # randomwkshp  # " (RANDOM'15)"}
@proceedings{prandom15,
 booktitle=random15,
 publisher= drops,
 year={2015},
}

@string{random16= "Proc. 20th" # randomwkshp  # " (RANDOM'16)"}
@proceedings{prandom16,
 booktitle=random16,
 publisher= drops,
 year={2016},
}

@string{random17= "Proc. 21st" # randomwkshp  # " (RANDOM'17)"}
@proceedings{prandom17,
 booktitle=random17,
 publisher= drops,
 year={2017},
}

@comment{confseries:RANDOM CONF 2018-current publ:drops (2)}

@string{random18= "Proc. 22nd" # randomconf  # " (RANDOM'18)"}
@proceedings{prandom18,
 booktitle=random18,
 publisher= drops,
 year={2018},
}

@string{random19= "Proc. 23rd" # randomconf  # " (RANDOM'19)"}
@proceedings{prandom19,
 booktitle=random19,
 publisher= drops,
 year={2019},
}

@string{random20= "Proc. 24th" # randomconf  # " (RANDOM'20)"}
@proceedings{prandom20,
 booktitle=random20,
 publisher= drops,
 year={2020},
}

@string{random21= "Proc. 25th" # randomconf  # " (RANDOM'21)"}
@proceedings{prandom21,
 booktitle=random21,
 publisher= drops,
 year={2021},
}

@string{random22= "Proc. 26th" # randomconf  # " (RANDOM'22)"}
@proceedings{prandom22,
 booktitle=random22,
 publisher= drops,
 year={2022},
}

@string{random23= "Proc. 27th" # randomconf  # " (RANDOM'23)"}
@proceedings{prandom23,
 booktitle=random23,
 publisher= drops,
 year={2023},
}

@string{random24= "Proc. 28th" # randomconf  # " (RANDOM'24)"}
@proceedings{prandom24,
 booktitle=random24,
 publisher= drops,
 year={2024},
}

@string{random25= "Proc. 29th" # randomconf  # " (RANDOM'25)"}
@proceedings{prandom25,
 booktitle=random25,
 publisher= drops,
 year={2025},
}

@string{random26= "Proc. 30th" # randomconf  # " (RANDOM'26)"}
@proceedings{prandom26,
 booktitle=random26,
 publisher= drops,
 year={2026},
}

@string{random27= "Proc. 31st" # randomconf  # " (RANDOM'27)"}
@proceedings{prandom27,
 booktitle=random27,
 publisher= drops,
 year={2027},
}

@string{random28= "Proc. 32nd" # randomconf  # " (RANDOM'28)"}
@proceedings{prandom28,
 booktitle=random28,
 publisher= drops,
 year={2028},
}

@string{random29= "Proc. 33rd" # randomconf  # " (RANDOM'29)"}
@proceedings{prandom29,
 booktitle=random29,
 publisher= drops,
 year={2029},
}

@string{random30= "Proc. 34th" # randomconf  # " (RANDOM'30)"}
@proceedings{prandom30,
 booktitle=random30,
 publisher= drops,
 year={2030},
}

**********

@comment{Ann. Conf. on Learning Theory (COLT)}
@comment{confseries:COLT 1988-current publ:various}
@comment{publ:COLT 1988-2016 publ:springer 2017-current mlr}
@comment{confseries:COLT 1988-2016 publ:springer}
@string{colt=" Ann. Conf. on Learning Theory"}
@string{colt88= "Proc. 1st" # colt # " (COLT'88)"}
@proceedings{pcolt88,
booktitle = colt88,
publisher = springer,
year = {1988},
}

@string{colt89= "Proc. 2nd" # colt # " (COLT'89)"}
@proceedings{pcolt89,
booktitle = colt89,
publisher = springer,
year = {1989},
}

@string{colt90= "Proc. 3rd" # colt # " (COLT'90)"}
@proceedings{pcolt90,
booktitle = colt90,
publisher = springer,
year = {1990},
}

@string{colt91= "Proc. 4th" # colt # " (COLT'91)"}
@proceedings{pcolt91,
booktitle = colt91,
publisher = springer,
year = {1991},
}

@string{colt92= "Proc. 5th" # colt # " (COLT'92)"}
@proceedings{pcolt92,
booktitle = colt92,
publisher = springer,
year = {1992},
}

@string{colt93= "Proc. 6th" # colt # " (COLT'93)"}
@proceedings{pcolt93,
booktitle = colt93,
publisher = springer,
year = {1993},
}

@string{colt94= "Proc. 7th" # colt # " (COLT'94)"}
@proceedings{pcolt94,
booktitle = colt94,
publisher = springer,
year = {1994},
}

@string{colt95= "Proc. 8th" # colt # " (COLT'95)"}
@proceedings{pcolt95,
booktitle = colt95,
publisher = springer,
year = {1995},
}

@string{colt96= "Proc. 9th" # colt # " (COLT'96)"}
@proceedings{pcolt96,
booktitle = colt96,
publisher = springer,
year = {1996},
}

@string{colt97= "Proc. 10th" # colt # " (COLT'97)"}
@proceedings{pcolt97,
booktitle = colt97,
publisher = springer,
year = {1997},
}

@string{colt98= "Proc. 11th" # colt # " (COLT'98)"}
@proceedings{pcolt98,
booktitle = colt98,
publisher = springer,
year = {1998},
}

@string{colt99= "Proc. 12th" # colt # " (COLT'99)"}
@proceedings{pcolt99,
booktitle = colt99,
publisher = springer,
year = {1999},
}

@string{colt00= "Proc. 13th" # colt # " (COLT'00)"}
@proceedings{pcolt00,
booktitle = colt00,
publisher = springer,
year = {2000},
}

@string{colt01= "Proc. 14th" # colt # " (COLT'01)"}
@proceedings{pcolt01,
booktitle = colt01,
publisher = springer,
year = {2001},
}

@string{colt02= "Proc. 15th" # colt # " (COLT'02)"}
@proceedings{pcolt02,
booktitle = colt02,
publisher = springer,
year = {2002},
}

@string{colt03= "Proc. 16th" # colt # " (COLT'03)"}
@proceedings{pcolt03,
booktitle = colt03,
publisher = springer,
year = {2003},
}

@string{colt04= "Proc. 17th" # colt # " (COLT'04)"}
@proceedings{pcolt04,
booktitle = colt04,
publisher = springer,
year = {2004},
}

@string{colt05= "Proc. 18th" # colt # " (COLT'05)"}
@proceedings{pcolt05,
booktitle = colt05,
publisher = springer,
year = {2005},
}

@string{colt06= "Proc. 19th" # colt # " (COLT'06)"}
@proceedings{pcolt06,
booktitle = colt06,
publisher = springer,
year = {2006},
}

@string{colt07= "Proc. 20th" # colt # " (COLT'07)"}
@proceedings{pcolt07,
booktitle = colt07,
publisher = springer,
year = {2007},
}

@string{colt08= "Proc. 21st" # colt # " (COLT'08)"}
@proceedings{pcolt08,
booktitle = colt08,
publisher = springer,
year = {2008},
}

@string{colt09= "Proc. 22nd" # colt # " (COLT'09)"}
@proceedings{pcolt09,
booktitle = colt09,
publisher = springer,
year = {2009},
}

@string{colt10= "Proc. 23rd" # colt # " (COLT'10)"}
@proceedings{pcolt10,
booktitle = colt10,
publisher = springer,
year = {2010},
}

@string{colt11= "Proc. 24th" # colt # " (COLT'11)"}
@proceedings{pcolt11,
booktitle = colt11,
publisher = springer,
year = {2011},
}

@string{colt12= "Proc. 25th" # colt # " (COLT'12)"}
@proceedings{pcolt12,
booktitle = colt12,
publisher = springer,
year = {2012},
}

@string{colt13= "Proc. 26th" # colt # " (COLT'13)"}
@proceedings{pcolt13,
booktitle = colt13,
publisher = springer,
year = {2013},
}

@string{colt14= "Proc. 27th" # colt # " (COLT'14)"}
@proceedings{pcolt14,
booktitle = colt14,
publisher = springer,
year = {2014},
}

@string{colt15= "Proc. 28th" # colt # " (COLT'15)"}
@proceedings{pcolt15,
booktitle = colt15,
publisher = springer,
year = {2015},
}

@string{colt16= "Proc. 29th" # colt # " (COLT'16)"}
@proceedings{pcolt16,
booktitle = colt16,
publisher = springer,
year = {2016},
}

@comment{confseries:COLT 2017-current publ:mlr}

@string{colt17= "Proc. 30th" # colt # " (COLT'17)"}
@Proceedings{pcolt17,
  booktitle = colt17,
  publisher = mlr,
  year      = {2017},
}

@string{colt18= "Proc. 31st" # colt # " (COLT'18)"}
@Proceedings{pcolt18,
  booktitle = colt18,
  publisher = mlr,
  year      = {2018},
}

@string{colt19= "Proc. 32nd" # colt # " (COLT'19)"}
@Proceedings{pcolt19,
  booktitle = colt19,
  publisher = mlr,
  year      = {2019},
}

@string{colt20= "Proc. 33rd" # colt # " (COLT'20)"}
@Proceedings{pcolt20,
  booktitle = colt20,
  publisher = mlr,
  year      = {2020},
}

@string{colt21= "Proc. 34th" # colt # " (COLT'21)"}
@Proceedings{pcolt21,
  booktitle = colt21,
  publisher = mlr,
  year      = {2021},
}

@string{colt22= "Proc. 35th" # colt # " (COLT'22)"}
@Proceedings{pcolt22,
  booktitle = colt22,
  publisher = mlr,
  year      = {2022},
}

@string{colt23= "Proc. 36th" # colt # " (COLT'23)"}
@Proceedings{pcolt23,
  booktitle = colt23,
  publisher = mlr,
  year      = {2023},
}

@string{colt24= "Proc. 37th" # colt # " (COLT'24)"}
@Proceedings{pcolt24,
  booktitle = colt24,
  publisher = mlr,
  year      = {2024},
}

@string{colt25= "Proc. 38th" # colt # " (COLT'25)"}
@Proceedings{pcolt25,
  booktitle = colt25,
  publisher = mlr,
  year      = {2025},
}

@string{colt26= "Proc. 39th" # colt # " (COLT'26)"}
@Proceedings{pcolt26,
  booktitle = colt26,
  publisher = mlr,
  year      = {2026},
}

@string{colt27= "Proc. 40th" # colt # " (COLT'27)"}
@Proceedings{pcolt27,
  booktitle = colt27,
  publisher = mlr,
  year      = {2027},
}

@string{colt28= "Proc. 41st" # colt # " (COLT'28)"}
@Proceedings{pcolt28,
  booktitle = colt28,
  publisher = mlr,
  year      = {2028},
}

@string{colt29= "Proc. 42nd" # colt # " (COLT'29)"}
@Proceedings{pcolt29,
  booktitle = colt29,
  publisher = mlr,
  year      = {2029},
}

@string{colt30= "Proc. 43rd" # colt # " (COLT'30)"}
@Proceedings{pcolt30,
  booktitle = colt30,
  publisher = mlr,
  year      = {2030},
}

**********

@comment{confseries:CRYPTO 1981-current publ:springer}
@string{crypto = " Ann. Internat. Cryptology Conf."}
@string{crypto81 = "Proc. 1st " # crypto # " (CRYPTO'81)"}
@Proceedings{pcrypto81,
  booktitle	= crypto81,
  year		= {1981},
  publisher	= springer,
}

@string{crypto82 = "Proc. 2nd " # crypto # " (CRYPTO'82)"}
@Proceedings{pcrypto82,
  booktitle	= crypto82,
  year		= {1982},
  publisher	= springer,
}

@string{crypto83 = "Proc. 3rd " # crypto # " (CRYPTO'83)"}
@Proceedings{pcrypto83,
  booktitle	= crypto83,
  year		= {1983},
  publisher	= springer,
}

@string{crypto84 = "Proc. 4th " # crypto # " (CRYPTO'84)"}
@Proceedings{pcrypto84,
  booktitle	= crypto84,
  year		= {1984},
  publisher	= springer,
}

@string{crypto85 = "Proc. 5th " # crypto # " (CRYPTO'85)"}
@Proceedings{pcrypto85,
  booktitle	= crypto85,
  year		= {1985},
  publisher	= springer,
}

@string{crypto86 = "Proc. 6th " # crypto # " (CRYPTO'86)"}
@Proceedings{pcrypto86,
  booktitle	= crypto86,
  year		= {1986},
  publisher	= springer,
}

@string{crypto87 = "Proc. 7th " # crypto # " (CRYPTO'87)"}
@Proceedings{pcrypto87,
  booktitle	= crypto87,
  year		= {1987},
  publisher	= springer,
}

@string{crypto88 = "Proc. 8th " # crypto # " (CRYPTO'88)"}
@Proceedings{pcrypto88,
  booktitle	= crypto88,
  year		= {1988},
  publisher	= springer,
}

@string{crypto89 = "Proc. 9th " # crypto # " (CRYPTO'89)"}
@Proceedings{pcrypto89,
  booktitle	= crypto89,
  year		= {1989},
  publisher	= springer,
}

@string{crypto90 = "Proc. 10th " # crypto # " (CRYPTO'90)"}
@Proceedings{pcrypto90,
  booktitle	= crypto90,
  year		= {1990},
  publisher	= springer,
}

@string{crypto91 = "Proc. 11th " # crypto # " (CRYPTO'91)"}
@Proceedings{pcrypto91,
  booktitle	= crypto91,
  year		= {1991},
  publisher	= springer,
}

@string{crypto92 = "Proc. 12th " # crypto # " (CRYPTO'92)"}
@Proceedings{pcrypto92,
  booktitle	= crypto92,
  year		= {1992},
  publisher	= springer,
}

@string{crypto93 = "Proc. 13th " # crypto # " (CRYPTO'93)"}
@Proceedings{pcrypto93,
  booktitle	= crypto93,
  year		= {1993},
  publisher	= springer,
}

@string{crypto94 = "Proc. 14th " # crypto # " (CRYPTO'94)"}
@Proceedings{pcrypto94,
  booktitle	= crypto94,
  year		= {1994},
  publisher	= springer,
}

@string{crypto95 = "Proc. 15th " # crypto # " (CRYPTO'95)"}
@Proceedings{pcrypto95,
  booktitle	= crypto95,
  year		= {1995},
  publisher	= springer,
}

@string{crypto96 = "Proc. 16th " # crypto # " (CRYPTO'96)"}
@Proceedings{pcrypto96,
  booktitle	= crypto96,
  year		= {1996},
  publisher	= springer,
}

@string{crypto97 = "Proc. 17th " # crypto # " (CRYPTO'97)"}
@Proceedings{pcrypto97,
  booktitle	= crypto97,
  year		= {1997},
  publisher	= springer,
}

@string{crypto98 = "Proc. 18th " # crypto # " (CRYPTO'98)"}
@Proceedings{pcrypto98,
  booktitle	= crypto98,
  year		= {1998},
  publisher	= springer,
}

@string{crypto99 = "Proc. 19th " # crypto # " (CRYPTO'99)"}
@Proceedings{pcrypto99,
  booktitle	= crypto99,
  year		= {1999},
  publisher	= springer,
}

@string{crypto00 = "Proc. 20th " # crypto # " (CRYPTO'00)"}
@Proceedings{pcrypto00,
  booktitle	= crypto00,
  year		= {2000},
  publisher	= springer,
}

@string{crypto01 = "Proc. 21st " # crypto # " (CRYPTO'01)"}
@Proceedings{pcrypto01,
  booktitle	= crypto01,
  year		= {2001},
  publisher	= springer,
}

@string{crypto02 = "Proc. 22nd " # crypto # " (CRYPTO'02)"}
@Proceedings{pcrypto02,
  booktitle	= crypto02,
  year		= {2002},
  publisher	= springer,
}

@string{crypto03 = "Proc. 23rd " # crypto # " (CRYPTO'03)"}
@Proceedings{pcrypto03,
  booktitle	= crypto03,
  year		= {2003},
  publisher	= springer,
}

@string{crypto04 = "Proc. 24th " # crypto # " (CRYPTO'04)"}
@Proceedings{pcrypto04,
  booktitle	= crypto04,
  year		= {2004},
  publisher	= springer,
}

@string{crypto05 = "Proc. 25th " # crypto # " (CRYPTO'05)"}
@Proceedings{pcrypto05,
  booktitle	= crypto05,
  year		= {2005},
  publisher	= springer,
}

@string{crypto06 = "Proc. 26th " # crypto # " (CRYPTO'06)"}
@Proceedings{pcrypto06,
  booktitle	= crypto06,
  year		= {2006},
  publisher	= springer,
}

@string{crypto07 = "Proc. 27th " # crypto # " (CRYPTO'07)"}
@Proceedings{pcrypto07,
  booktitle	= crypto07,
  year		= {2007},
  publisher	= springer,
}

@string{crypto08 = "Proc. 28th " # crypto # " (CRYPTO'08)"}
@Proceedings{pcrypto08,
  booktitle	= crypto08,
  year		= {2008},
  publisher	= springer,
}

@string{crypto09 = "Proc. 29th " # crypto # " (CRYPTO'09)"}
@Proceedings{pcrypto09,
  booktitle	= crypto09,
  year		= {2009},
  publisher	= springer,
}

@string{crypto10 = "Proc. 30th " # crypto # " (CRYPTO'10)"}
@Proceedings{pcrypto10,
  booktitle	= crypto10,
  year		= {2010},
  publisher	= springer,
}

@string{crypto11 = "Proc. 31st " # crypto # " (CRYPTO'11)"}
@Proceedings{pcrypto11,
  booktitle	= crypto11,
  year		= {2011},
  publisher	= springer,
}

@string{crypto12 = "Proc. 32nd " # crypto # " (CRYPTO'12)"}
@Proceedings{pcrypto12,
  booktitle	= crypto12,
  year		= {2012},
  publisher	= springer,
}

@string{crypto13 = "Proc. 33rd " # crypto # " (CRYPTO'13)"}
@Proceedings{pcrypto13,
  booktitle	= crypto13,
  year		= {2013},
  publisher	= springer,
}

@string{crypto14 = "Proc. 34th " # crypto # " (CRYPTO'14)"}
@Proceedings{pcrypto14,
  booktitle	= crypto14,
  year		= {2014},
  publisher	= springer,
}

@string{crypto15 = "Proc. 35th " # crypto # " (CRYPTO'15)"}
@Proceedings{pcrypto15,
  booktitle	= crypto15,
  year		= {2015},
  publisher	= springer,
}

@string{crypto16 = "Proc. 36th " # crypto # " (CRYPTO'16)"}
@Proceedings{pcrypto16,
  booktitle	= crypto16,
  year		= {2016},
  publisher	= springer,
}

@string{crypto17 = "Proc. 37th " # crypto # " (CRYPTO'17)"}
@Proceedings{pcrypto17,
  booktitle	= crypto17,
  year		= {2017},
  publisher	= springer,
}

@string{crypto18 = "Proc. 38th " # crypto # " (CRYPTO'18)"}
@Proceedings{pcrypto18,
  booktitle	= crypto18,
  year		= {2018},
  publisher	= springer,
}

@string{crypto19 = "Proc. 39th " # crypto # " (CRYPTO'19)"}
@Proceedings{pcrypto19,
  booktitle	= crypto19,
  year		= {2019},
  publisher	= springer,
}

@string{crypto20 = "Proc. 40th " # crypto # " (CRYPTO'20)"}
@Proceedings{pcrypto20,
  booktitle	= crypto20,
  year		= {2020},
  publisher	= springer,
}

@string{crypto21 = "Proc. 41st " # crypto # " (CRYPTO'21)"}
@Proceedings{pcrypto21,
  booktitle	= crypto21,
  year		= {2021},
  publisher	= springer,
}

@string{crypto22 = "Proc. 42nd " # crypto # " (CRYPTO'22)"}
@Proceedings{pcrypto22,
  booktitle	= crypto22,
  year		= {2022},
  publisher	= springer,
}

@string{crypto23 = "Proc. 43rd " # crypto # " (CRYPTO'23)"}
@Proceedings{pcrypto23,
  booktitle	= crypto23,
  year		= {2023},
  publisher	= springer,
}

@string{crypto24 = "Proc. 44th " # crypto # " (CRYPTO'24)"}
@Proceedings{pcrypto24,
  booktitle	= crypto24,
  year		= {2024},
  publisher	= springer,
}

@string{crypto25 = "Proc. 45th " # crypto # " (CRYPTO'25)"}
@Proceedings{pcrypto25,
  booktitle	= crypto25,
  year		= {2025},
  publisher	= springer,
}

@string{crypto26 = "Proc. 46th " # crypto # " (CRYPTO'26)"}
@Proceedings{pcrypto26,
  booktitle	= crypto26,
  year		= {2026},
  publisher	= springer,
}

@string{crypto27 = "Proc. 47th " # crypto # " (CRYPTO'27)"}
@Proceedings{pcrypto27,
  booktitle	= crypto27,
  year		= {2027},
  publisher	= springer,
}

@string{crypto28 = "Proc. 48th " # crypto # " (CRYPTO'28)"}
@Proceedings{pcrypto28,
  booktitle	= crypto28,
  year		= {2028},
  publisher	= springer,
}

@string{crypto29 = "Proc. 49th " # crypto # " (CRYPTO'29)"}
@Proceedings{pcrypto29,
  booktitle	= crypto29,
  year		= {2029},
  publisher	= springer,
}

@string{crypto30 = "Proc. 50th " # crypto # " (CRYPTO'30)"}
@Proceedings{pcrypto30,
  booktitle	= crypto30,
  year		= {2030},
  publisher	= springer,
}

************

@comment{confseries:EUROCRYPT 1972-current publ:springer}
@string{eurocrypt = " Ann. Internat. Conf. on Theory Appl. of Cryptographic Techniques"}
@string{eurocrypt72 = "Proc. 1st" # eurocrypt # " (EUROCRYPT'72)"}
@Proceedings{peurocrypt72,
  booktitle	= eurocrypt72,
  year		= {1972},
  publisher	= springer,
}

@string{eurocrypt73 = "Proc. 2nd" # eurocrypt # " (EUROCRYPT'73)"}
@Proceedings{peurocrypt73,
  booktitle	= eurocrypt73,
  year		= {1973},
  publisher	= springer,
}

@string{eurocrypt74 = "Proc. 3rd" # eurocrypt # " (EUROCRYPT'74)"}
@Proceedings{peurocrypt74,
  booktitle	= eurocrypt74,
  year		= {1974},
  publisher	= springer,
}

@string{eurocrypt75 = "Proc. 4th" # eurocrypt # " (EUROCRYPT'75)"}
@Proceedings{peurocrypt75,
  booktitle	= eurocrypt75,
  year		= {1975},
  publisher	= springer,
}

@string{eurocrypt76 = "Proc. 5th" # eurocrypt # " (EUROCRYPT'76)"}
@Proceedings{peurocrypt76,
  booktitle	= eurocrypt76,
  year		= {1976},
  publisher	= springer,
}

@string{eurocrypt77 = "Proc. 6th" # eurocrypt # " (EUROCRYPT'77)"}
@Proceedings{peurocrypt77,
  booktitle	= eurocrypt77,
  year		= {1977},
  publisher	= springer,
}

@string{eurocrypt78 = "Proc. 7th" # eurocrypt # " (EUROCRYPT'78)"}
@Proceedings{peurocrypt78,
  booktitle	= eurocrypt78,
  year		= {1978},
  publisher	= springer,
}

@string{eurocrypt79 = "Proc. 8th" # eurocrypt # " (EUROCRYPT'79)"}
@Proceedings{peurocrypt79,
  booktitle	= eurocrypt79,
  year		= {1979},
  publisher	= springer,
}

@string{eurocrypt80 = "Proc. 9th" # eurocrypt # " (EUROCRYPT'80)"}
@Proceedings{peurocrypt80,
  booktitle	= eurocrypt80,
  year		= {1980},
  publisher	= springer,
}

@string{eurocrypt81 = "Proc. 10th" # eurocrypt # " (EUROCRYPT'81)"}
@Proceedings{peurocrypt81,
  booktitle	= eurocrypt81,
  year		= {1981},
  publisher	= springer,
}

@string{eurocrypt82 = "Proc. 11th" # eurocrypt # " (EUROCRYPT'82)"}
@Proceedings{peurocrypt82,
  booktitle	= eurocrypt82,
  year		= {1982},
  publisher	= springer,
}

@string{eurocrypt83 = "Proc. 12th" # eurocrypt # " (EUROCRYPT'83)"}
@Proceedings{peurocrypt83,
  booktitle	= eurocrypt83,
  year		= {1983},
  publisher	= springer,
}

@string{eurocrypt84 = "Proc. 13th" # eurocrypt # " (EUROCRYPT'84)"}
@Proceedings{peurocrypt84,
  booktitle	= eurocrypt84,
  year		= {1984},
  publisher	= springer,
}

@string{eurocrypt85 = "Proc. 14th" # eurocrypt # " (EUROCRYPT'85)"}
@Proceedings{peurocrypt85,
  booktitle	= eurocrypt85,
  year		= {1985},
  publisher	= springer,
}

@string{eurocrypt86 = "Proc. 15th" # eurocrypt # " (EUROCRYPT'86)"}
@Proceedings{peurocrypt86,
  booktitle	= eurocrypt86,
  year		= {1986},
  publisher	= springer,
}

@string{eurocrypt87 = "Proc. 16th" # eurocrypt # " (EUROCRYPT'87)"}
@Proceedings{peurocrypt87,
  booktitle	= eurocrypt87,
  year		= {1987},
  publisher	= springer,
}

@string{eurocrypt88 = "Proc. 17th" # eurocrypt # " (EUROCRYPT'88)"}
@Proceedings{peurocrypt88,
  booktitle	= eurocrypt88,
  year		= {1988},
  publisher	= springer,
}

@string{eurocrypt89 = "Proc. 18th" # eurocrypt # " (EUROCRYPT'89)"}
@Proceedings{peurocrypt89,
  booktitle	= eurocrypt89,
  year		= {1989},
  publisher	= springer,
}

@string{eurocrypt90 = "Proc. 19th" # eurocrypt # " (EUROCRYPT'90)"}
@Proceedings{peurocrypt90,
  booktitle	= eurocrypt90,
  year		= {1990},
  publisher	= springer,
}

@string{eurocrypt91 = "Proc. 20th" # eurocrypt # " (EUROCRYPT'91)"}
@Proceedings{peurocrypt91,
  booktitle	= eurocrypt91,
  year		= {1991},
  publisher	= springer,
}

@string{eurocrypt92 = "Proc. 21st" # eurocrypt # " (EUROCRYPT'92)"}
@Proceedings{peurocrypt92,
  booktitle	= eurocrypt92,
  year		= {1992},
  publisher	= springer,
}

@string{eurocrypt93 = "Proc. 22nd" # eurocrypt # " (EUROCRYPT'93)"}
@Proceedings{peurocrypt93,
  booktitle	= eurocrypt93,
  year		= {1993},
  publisher	= springer,
}

@string{eurocrypt94 = "Proc. 23rd" # eurocrypt # " (EUROCRYPT'94)"}
@Proceedings{peurocrypt94,
  booktitle	= eurocrypt94,
  year		= {1994},
  publisher	= springer,
}

@string{eurocrypt95 = "Proc. 24th" # eurocrypt # " (EUROCRYPT'95)"}
@Proceedings{peurocrypt95,
  booktitle	= eurocrypt95,
  year		= {1995},
  publisher	= springer,
}

@string{eurocrypt96 = "Proc. 25th" # eurocrypt # " (EUROCRYPT'96)"}
@Proceedings{peurocrypt96,
  booktitle	= eurocrypt96,
  year		= {1996},
  publisher	= springer,
}

@string{eurocrypt97 = "Proc. 26th" # eurocrypt # " (EUROCRYPT'97)"}
@Proceedings{peurocrypt97,
  booktitle	= eurocrypt97,
  year		= {1997},
  publisher	= springer,
}

@string{eurocrypt98 = "Proc. 27th" # eurocrypt # " (EUROCRYPT'98)"}
@Proceedings{peurocrypt98,
  booktitle	= eurocrypt98,
  year		= {1998},
  publisher	= springer,
}

@string{eurocrypt99 = "Proc. 28th" # eurocrypt # " (EUROCRYPT'99)"}
@Proceedings{peurocrypt99,
  booktitle	= eurocrypt99,
  year		= {1999},
  publisher	= springer,
}

@string{eurocrypt00 = "Proc. 29th" # eurocrypt # " (EUROCRYPT'00)"}
@Proceedings{peurocrypt00,
  booktitle	= eurocrypt00,
  year		= {2000},
  publisher	= springer,
}

@string{eurocrypt01 = "Proc. 30th" # eurocrypt # " (EUROCRYPT'01)"}
@Proceedings{peurocrypt01,
  booktitle	= eurocrypt01,
  year		= {2001},
  publisher	= springer,
}

@string{eurocrypt02 = "Proc. 31st" # eurocrypt # " (EUROCRYPT'02)"}
@Proceedings{peurocrypt02,
  booktitle	= eurocrypt02,
  year		= {2002},
  publisher	= springer,
}

@string{eurocrypt03 = "Proc. 32nd" # eurocrypt # " (EUROCRYPT'03)"}
@Proceedings{peurocrypt03,
  booktitle	= eurocrypt03,
  year		= {2003},
  publisher	= springer,
}

@string{eurocrypt04 = "Proc. 33rd" # eurocrypt # " (EUROCRYPT'04)"}
@Proceedings{peurocrypt04,
  booktitle	= eurocrypt04,
  year		= {2004},
  publisher	= springer,
}

@string{eurocrypt05 = "Proc. 34th" # eurocrypt # " (EUROCRYPT'05)"}
@Proceedings{peurocrypt05,
  booktitle	= eurocrypt05,
  year		= {2005},
  publisher	= springer,
}

@string{eurocrypt06 = "Proc. 35th" # eurocrypt # " (EUROCRYPT'06)"}
@Proceedings{peurocrypt06,
  booktitle	= eurocrypt06,
  year		= {2006},
  publisher	= springer,
}

@string{eurocrypt07 = "Proc. 36th" # eurocrypt # " (EUROCRYPT'07)"}
@Proceedings{peurocrypt07,
  booktitle	= eurocrypt07,
  year		= {2007},
  publisher	= springer,
}

@string{eurocrypt08 = "Proc. 37th" # eurocrypt # " (EUROCRYPT'08)"}
@Proceedings{peurocrypt08,
  booktitle	= eurocrypt08,
  year		= {2008},
  publisher	= springer,
}

@string{eurocrypt09 = "Proc. 38th" # eurocrypt # " (EUROCRYPT'09)"}
@Proceedings{peurocrypt09,
  booktitle	= eurocrypt09,
  year		= {2009},
  publisher	= springer,
}

@string{eurocrypt10 = "Proc. 39th" # eurocrypt # " (EUROCRYPT'10)"}
@Proceedings{peurocrypt10,
  booktitle	= eurocrypt10,
  year		= {2010},
  publisher	= springer,
}

@string{eurocrypt11 = "Proc. 40th" # eurocrypt # " (EUROCRYPT'11)"}
@Proceedings{peurocrypt11,
  booktitle	= eurocrypt11,
  year		= {2011},
  publisher	= springer,
}

@string{eurocrypt12 = "Proc. 41st" # eurocrypt # " (EUROCRYPT'12)"}
@Proceedings{peurocrypt12,
  booktitle	= eurocrypt12,
  year		= {2012},
  publisher	= springer,
}

@string{eurocrypt13 = "Proc. 42nd" # eurocrypt # " (EUROCRYPT'13)"}
@Proceedings{peurocrypt13,
  booktitle	= eurocrypt13,
  year		= {2013},
  publisher	= springer,
}

@string{eurocrypt14 = "Proc. 43rd" # eurocrypt # " (EUROCRYPT'14)"}
@Proceedings{peurocrypt14,
  booktitle	= eurocrypt14,
  year		= {2014},
  publisher	= springer,
}

@string{eurocrypt15 = "Proc. 44th" # eurocrypt # " (EUROCRYPT'15)"}
@Proceedings{peurocrypt15,
  booktitle	= eurocrypt15,
  year		= {2015},
  publisher	= springer,
}

@string{eurocrypt16 = "Proc. 45th" # eurocrypt # " (EUROCRYPT'16)"}
@Proceedings{peurocrypt16,
  booktitle	= eurocrypt16,
  year		= {2016},
  publisher	= springer,
}

@string{eurocrypt17 = "Proc. 46th" # eurocrypt # " (EUROCRYPT'17)"}
@Proceedings{peurocrypt17,
  booktitle	= eurocrypt17,
  year		= {2017},
  publisher	= springer,
}

@string{eurocrypt18 = "Proc. 47th" # eurocrypt # " (EUROCRYPT'18)"}
@Proceedings{peurocrypt18,
  booktitle	= eurocrypt18,
  year		= {2018},
  publisher	= springer,
}

@string{eurocrypt19 = "Proc. 48th" # eurocrypt # " (EUROCRYPT'19)"}
@Proceedings{peurocrypt19,
  booktitle	= eurocrypt19,
  year		= {2019},
  publisher	= springer,
}

@string{eurocrypt20 = "Proc. 49th" # eurocrypt # " (EUROCRYPT'20)"}
@Proceedings{peurocrypt20,
  booktitle	= eurocrypt20,
  year		= {2020},
  publisher	= springer,
}

@string{eurocrypt21 = "Proc. 50th" # eurocrypt # " (EUROCRYPT'21)"}
@Proceedings{peurocrypt21,
  booktitle	= eurocrypt21,
  year		= {2021},
  publisher	= springer,
}

@string{eurocrypt22 = "Proc. 51st" # eurocrypt # " (EUROCRYPT'22)"}
@Proceedings{peurocrypt22,
  booktitle	= eurocrypt22,
  year		= {2022},
  publisher	= springer,
}

@string{eurocrypt23 = "Proc. 52nd" # eurocrypt # " (EUROCRYPT'23)"}
@Proceedings{peurocrypt23,
  booktitle	= eurocrypt23,
  year		= {2023},
  publisher	= springer,
}

@string{eurocrypt24 = "Proc. 53rd" # eurocrypt # " (EUROCRYPT'24)"}
@Proceedings{peurocrypt24,
  booktitle	= eurocrypt24,
  year		= {2024},
  publisher	= springer,
}

@string{eurocrypt25 = "Proc. 54th" # eurocrypt # " (EUROCRYPT'25)"}
@Proceedings{peurocrypt25,
  booktitle	= eurocrypt25,
  year		= {2025},
  publisher	= springer,
}

@string{eurocrypt26 = "Proc. 55th" # eurocrypt # " (EUROCRYPT'26)"}
@Proceedings{peurocrypt26,
  booktitle	= eurocrypt26,
  year		= {2026},
  publisher	= springer,
}

@string{eurocrypt27 = "Proc. 56th" # eurocrypt # " (EUROCRYPT'27)"}
@Proceedings{peurocrypt27,
  booktitle	= eurocrypt27,
  year		= {2027},
  publisher	= springer,
}

@string{eurocrypt28 = "Proc. 57th" # eurocrypt # " (EUROCRYPT'28)"}
@Proceedings{peurocrypt28,
  booktitle	= eurocrypt28,
  year		= {2028},
  publisher	= springer,
}

@string{eurocrypt29 = "Proc. 58th" # eurocrypt # " (EUROCRYPT'29)"}
@Proceedings{peurocrypt29,
  booktitle	= eurocrypt29,
  year		= {2029},
  publisher	= springer,
}

@string{eurocrypt30 = "Proc. 59th" # eurocrypt # " (EUROCRYPT'30)"}
@Proceedings{peurocrypt30,
  booktitle	= eurocrypt30,
  year		= {2030},
  publisher	= springer,
}

***************

@comment{confseries:ASIACRYPT 1995-current publ:springer}
@string{asiacrypt=" Internat. Conf. Theory Appl. of Cryptology and Inform. Security"}
@string{asiacrypt95= "Proc. 1st" # asiacrypt # " (ASIACRYPT'95)"}
@Proceedings{pasiacrypt95,
  booktitle	= asiacrypt95,
  year		= {1995},
  publisher	= springer,
}

@string{asiacrypt96= "Proc. 2nd" # asiacrypt # " (ASIACRYPT'96)"}
@Proceedings{pasiacrypt96,
  booktitle	= asiacrypt96,
  year		= {1996},
  publisher	= springer,
}

@string{asiacrypt97= "Proc. 3rd" # asiacrypt # " (ASIACRYPT'97)"}
@Proceedings{pasiacrypt97,
  booktitle	= asiacrypt97,
  year		= {1997},
  publisher	= springer,
}

@string{asiacrypt98= "Proc. 4th" # asiacrypt # " (ASIACRYPT'98)"}
@Proceedings{pasiacrypt98,
  booktitle	= asiacrypt98,
  year		= {1998},
  publisher	= springer,
}

@string{asiacrypt99= "Proc. 5th" # asiacrypt # " (ASIACRYPT'99)"}
@Proceedings{pasiacrypt99,
  booktitle	= asiacrypt99,
  year		= {1999},
  publisher	= springer,
}

@string{asiacrypt00= "Proc. 6th" # asiacrypt # " (ASIACRYPT'00)"}
@Proceedings{pasiacrypt00,
  booktitle	= asiacrypt00,
  year		= {2000},
  publisher	= springer,
}

@string{asiacrypt01= "Proc. 7th" # asiacrypt # " (ASIACRYPT'01)"}
@Proceedings{pasiacrypt01,
  booktitle	= asiacrypt01,
  year		= {2001},
  publisher	= springer,
}

@string{asiacrypt02= "Proc. 8th" # asiacrypt # " (ASIACRYPT'02)"}
@Proceedings{pasiacrypt02,
  booktitle	= asiacrypt02,
  year		= {2002},
  publisher	= springer,
}

@string{asiacrypt03= "Proc. 9th" # asiacrypt # " (ASIACRYPT'03)"}
@Proceedings{pasiacrypt03,
  booktitle	= asiacrypt03,
  year		= {2003},
  publisher	= springer,
}

@string{asiacrypt04= "Proc. 10th" # asiacrypt # " (ASIACRYPT'04)"}
@Proceedings{pasiacrypt04,
  booktitle	= asiacrypt04,
  year		= {2004},
  publisher	= springer,
}

@string{asiacrypt05= "Proc. 11th" # asiacrypt # " (ASIACRYPT'05)"}
@Proceedings{pasiacrypt05,
  booktitle	= asiacrypt05,
  year		= {2005},
  publisher	= springer,
}

@string{asiacrypt06= "Proc. 12th" # asiacrypt # " (ASIACRYPT'06)"}
@Proceedings{pasiacrypt06,
  booktitle	= asiacrypt06,
  year		= {2006},
  publisher	= springer,
}

@string{asiacrypt07= "Proc. 13th" # asiacrypt # " (ASIACRYPT'07)"}
@Proceedings{pasiacrypt07,
  booktitle	= asiacrypt07,
  year		= {2007},
  publisher	= springer,
}

@string{asiacrypt08= "Proc. 14th" # asiacrypt # " (ASIACRYPT'08)"}
@Proceedings{pasiacrypt08,
  booktitle	= asiacrypt08,
  year		= {2008},
  publisher	= springer,
}

@string{asiacrypt09= "Proc. 15th" # asiacrypt # " (ASIACRYPT'09)"}
@Proceedings{pasiacrypt09,
  booktitle	= asiacrypt09,
  year		= {2009},
  publisher	= springer,
}

@string{asiacrypt10= "Proc. 16th" # asiacrypt # " (ASIACRYPT'10)"}
@Proceedings{pasiacrypt10,
  booktitle	= asiacrypt10,
  year		= {2010},
  publisher	= springer,
}

@string{asiacrypt11= "Proc. 17th" # asiacrypt # " (ASIACRYPT'11)"}
@Proceedings{pasiacrypt11,
  booktitle	= asiacrypt11,
  year		= {2011},
  publisher	= springer,
}

@string{asiacrypt12= "Proc. 18th" # asiacrypt # " (ASIACRYPT'12)"}
@Proceedings{pasiacrypt12,
  booktitle	= asiacrypt12,
  year		= {2012},
  publisher	= springer,
}

@string{asiacrypt13= "Proc. 19th" # asiacrypt # " (ASIACRYPT'13)"}
@Proceedings{pasiacrypt13,
  booktitle	= asiacrypt13,
  year		= {2013},
  publisher	= springer,
}

@string{asiacrypt14= "Proc. 20th" # asiacrypt # " (ASIACRYPT'14)"}
@Proceedings{pasiacrypt14,
  booktitle	= asiacrypt14,
  year		= {2014},
  publisher	= springer,
}

@string{asiacrypt15= "Proc. 21st" # asiacrypt # " (ASIACRYPT'15)"}
@Proceedings{pasiacrypt15,
  booktitle	= asiacrypt15,
  year		= {2015},
  publisher	= springer,
}

@string{asiacrypt16= "Proc. 22nd" # asiacrypt # " (ASIACRYPT'16)"}
@Proceedings{pasiacrypt16,
  booktitle	= asiacrypt16,
  year		= {2016},
  publisher	= springer,
}

@string{asiacrypt17= "Proc. 23rd" # asiacrypt # " (ASIACRYPT'17)"}
@Proceedings{pasiacrypt17,
  booktitle	= asiacrypt17,
  year		= {2017},
  publisher	= springer,
}

@string{asiacrypt18= "Proc. 24th" # asiacrypt # " (ASIACRYPT'18)"}
@Proceedings{pasiacrypt18,
  booktitle	= asiacrypt18,
  year		= {2018},
  publisher	= springer,
}

@string{asiacrypt19= "Proc. 25th" # asiacrypt # " (ASIACRYPT'19)"}
@Proceedings{pasiacrypt19,
  booktitle	= asiacrypt19,
  year		= {2019},
  publisher	= springer,
}

@string{asiacrypt20= "Proc. 26th" # asiacrypt # " (ASIACRYPT'20)"}
@Proceedings{pasiacrypt20,
  booktitle	= asiacrypt20,
  year		= {2020},
  publisher	= springer,
}

@string{asiacrypt21= "Proc. 27th" # asiacrypt # " (ASIACRYPT'21)"}
@Proceedings{pasiacrypt21,
  booktitle	= asiacrypt21,
  year		= {2021},
  publisher	= springer,
}

@string{asiacrypt22= "Proc. 28th" # asiacrypt # " (ASIACRYPT'22)"}
@Proceedings{pasiacrypt22,
  booktitle	= asiacrypt22,
  year		= {2022},
  publisher	= springer,
}

@string{asiacrypt23= "Proc. 29th" # asiacrypt # " (ASIACRYPT'23)"}
@Proceedings{pasiacrypt23,
  booktitle	= asiacrypt23,
  year		= {2023},
  publisher	= springer,
}

@string{asiacrypt24= "Proc. 30th" # asiacrypt # " (ASIACRYPT'24)"}
@Proceedings{pasiacrypt24,
  booktitle	= asiacrypt24,
  year		= {2024},
  publisher	= springer,
}

@string{asiacrypt25= "Proc. 31st" # asiacrypt # " (ASIACRYPT'25)"}
@Proceedings{pasiacrypt25,
  booktitle	= asiacrypt25,
  year		= {2025},
  publisher	= springer,
}

@string{asiacrypt26= "Proc. 32nd" # asiacrypt # " (ASIACRYPT'26)"}
@Proceedings{pasiacrypt26,
  booktitle	= asiacrypt26,
  year		= {2026},
  publisher	= springer,
}

@string{asiacrypt27= "Proc. 33rd" # asiacrypt # " (ASIACRYPT'27)"}
@Proceedings{pasiacrypt27,
  booktitle	= asiacrypt27,
  year		= {2027},
  publisher	= springer,
}

@string{asiacrypt28= "Proc. 34th" # asiacrypt # " (ASIACRYPT'28)"}
@Proceedings{pasiacrypt28,
  booktitle	= asiacrypt28,
  year		= {2028},
  publisher	= springer,
}

@string{asiacrypt29= "Proc. 35th" # asiacrypt # " (ASIACRYPT'29)"}
@Proceedings{pasiacrypt29,
  booktitle	= asiacrypt29,
  year		= {2029},
  publisher	= springer,
}

@string{asiacrypt30= "Proc. 36th" # asiacrypt # " (ASIACRYPT'30)"}
@Proceedings{pasiacrypt30,
  booktitle	= asiacrypt30,
  year		= {2030},
  publisher	= springer,
}

************

@comment{Symp. on Principles of Database Systems (PODS)}
@comment{confseries:PODS 1982-current publ:acm}
@string{pods=" Symp. on Principles of Database Systems"}
@string{pods82= "Proc. 1st" # pods # " (PODS'82)"}
@proceedings{ppods82,
booktitle=pods82,
year={1982},
publisher=acm,
}

@string{pods83= "Proc. 2nd" # pods # " (PODS'83)"}
@proceedings{ppods83,
booktitle=pods83,
year={1983},
publisher=acm,
}

@string{pods84= "Proc. 3rd" # pods # " (PODS'84)"}
@proceedings{ppods84,
booktitle=pods84,
year={1984},
publisher=acm,
}

@string{pods85= "Proc. 4th" # pods # " (PODS'85)"}
@proceedings{ppods85,
booktitle=pods85,
year={1985},
publisher=acm,
}

@string{pods86= "Proc. 5th" # pods # " (PODS'86)"}
@proceedings{ppods86,
booktitle=pods86,
year={1986},
publisher=acm,
}

@string{pods87= "Proc. 6th" # pods # " (PODS'87)"}
@proceedings{ppods87,
booktitle=pods87,
year={1987},
publisher=acm,
}

@string{pods88= "Proc. 7th" # pods # " (PODS'88)"}
@proceedings{ppods88,
booktitle=pods88,
year={1988},
publisher=acm,
}

@string{pods89= "Proc. 8th" # pods # " (PODS'89)"}
@proceedings{ppods89,
booktitle=pods89,
year={1989},
publisher=acm,
}

@string{pods90= "Proc. 9th" # pods # " (PODS'90)"}
@proceedings{ppods90,
booktitle=pods90,
year={1990},
publisher=acm,
}

@string{pods91= "Proc. 10th" # pods # " (PODS'91)"}
@proceedings{ppods91,
booktitle=pods91,
year={1991},
publisher=acm,
}

@string{pods92= "Proc. 11th" # pods # " (PODS'92)"}
@proceedings{ppods92,
booktitle=pods92,
year={1992},
publisher=acm,
}

@string{pods93= "Proc. 12th" # pods # " (PODS'93)"}
@proceedings{ppods93,
booktitle=pods93,
year={1993},
publisher=acm,
}

@string{pods94= "Proc. 13th" # pods # " (PODS'94)"}
@proceedings{ppods94,
booktitle=pods94,
year={1994},
publisher=acm,
}

@string{pods95= "Proc. 14th" # pods # " (PODS'95)"}
@proceedings{ppods95,
booktitle=pods95,
year={1995},
publisher=acm,
}

@string{pods96= "Proc. 15th" # pods # " (PODS'96)"}
@proceedings{ppods96,
booktitle=pods96,
year={1996},
publisher=acm,
}

@string{pods97= "Proc. 16th" # pods # " (PODS'97)"}
@proceedings{ppods97,
booktitle=pods97,
year={1997},
publisher=acm,
}

@string{pods98= "Proc. 17th" # pods # " (PODS'98)"}
@proceedings{ppods98,
booktitle=pods98,
year={1998},
publisher=acm,
}

@string{pods99= "Proc. 18th" # pods # " (PODS'99)"}
@proceedings{ppods99,
booktitle=pods99,
year={1999},
publisher=acm,
}

@string{pods00= "Proc. 19th" # pods # " (PODS'00)"}
@proceedings{ppods00,
booktitle=pods00,
year={2000},
publisher=acm,
}

@string{pods01= "Proc. 20th" # pods # " (PODS'01)"}
@proceedings{ppods01,
booktitle=pods01,
year={2001},
publisher=acm,
}

@string{pods02= "Proc. 21st" # pods # " (PODS'02)"}
@proceedings{ppods02,
booktitle=pods02,
year={2002},
publisher=acm,
}

@string{pods03= "Proc. 22nd" # pods # " (PODS'03)"}
@proceedings{ppods03,
booktitle=pods03,
year={2003},
publisher=acm,
}

@string{pods04= "Proc. 23rd" # pods # " (PODS'04)"}
@proceedings{ppods04,
booktitle=pods04,
year={2004},
publisher=acm,
}

@string{pods05= "Proc. 24th" # pods # " (PODS'05)"}
@proceedings{ppods05,
booktitle=pods05,
year={2005},
publisher=acm,
}

@string{pods06= "Proc. 25th" # pods # " (PODS'06)"}
@proceedings{ppods06,
booktitle=pods06,
year={2006},
publisher=acm,
}

@string{pods07= "Proc. 26th" # pods # " (PODS'07)"}
@proceedings{ppods07,
booktitle=pods07,
year={2007},
publisher=acm,
}

@string{pods08= "Proc. 27th" # pods # " (PODS'08)"}
@proceedings{ppods08,
booktitle=pods08,
year={2008},
publisher=acm,
}

@string{pods09= "Proc. 28th" # pods # " (PODS'09)"}
@proceedings{ppods09,
booktitle=pods09,
year={2009},
publisher=acm,
}

@string{pods10= "Proc. 29th" # pods # " (PODS'10)"}
@proceedings{ppods10,
booktitle=pods10,
year={2010},
publisher=acm,
}

@string{pods11= "Proc. 30th" # pods # " (PODS'11)"}
@proceedings{ppods11,
booktitle=pods11,
year={2011},
publisher=acm,
}

@string{pods12= "Proc. 31st" # pods # " (PODS'12)"}
@proceedings{ppods12,
booktitle=pods12,
year={2012},
publisher=acm,
}

@string{pods13= "Proc. 32nd" # pods # " (PODS'13)"}
@proceedings{ppods13,
booktitle=pods13,
year={2013},
publisher=acm,
}

@string{pods14= "Proc. 33rd" # pods # " (PODS'14)"}
@proceedings{ppods14,
booktitle=pods14,
year={2014},
publisher=acm,
}

@string{pods15= "Proc. 34th" # pods # " (PODS'15)"}
@proceedings{ppods15,
booktitle=pods15,
year={2015},
publisher=acm,
}

@string{pods16= "Proc. 35th" # pods # " (PODS'16)"}
@proceedings{ppods16,
booktitle=pods16,
year={2016},
publisher=acm,
}

@string{pods17= "Proc. 36th" # pods # " (PODS'17)"}
@proceedings{ppods17,
booktitle=pods17,
year={2017},
publisher=acm,
}

@string{pods18= "Proc. 37th" # pods # " (PODS'18)"}
@proceedings{ppods18,
booktitle=pods18,
year={2018},
publisher=acm,
}

@string{pods19= "Proc. 38th" # pods # " (PODS'19)"}
@proceedings{ppods19,
booktitle=pods19,
year={2019},
publisher=acm,
}

@string{pods20= "Proc. 39th" # pods # " (PODS'20)"}
@proceedings{ppods20,
booktitle=pods20,
year={2020},
publisher=acm,
}

@string{pods21= "Proc. 40th" # pods # " (PODS'21)"}
@proceedings{ppods21,
booktitle=pods21,
year={2021},
publisher=acm,
}

@string{pods22= "Proc. 41st" # pods # " (PODS'22)"}
@proceedings{ppods22,
booktitle=pods22,
year={2022},
publisher=acm,
}

@string{pods23= "Proc. 42nd" # pods # " (PODS'23)"}
@proceedings{ppods23,
booktitle=pods23,
year={2023},
publisher=acm,
}

@string{pods24= "Proc. 43rd" # pods # " (PODS'24)"}
@proceedings{ppods24,
booktitle=pods24,
year={2024},
publisher=acm,
}

@string{pods25= "Proc. 44th" # pods # " (PODS'25)"}
@proceedings{ppods25,
booktitle=pods25,
year={2025},
publisher=acm,
}

@string{pods26= "Proc. 45th" # pods # " (PODS'26)"}
@proceedings{ppods26,
booktitle=pods26,
year={2026},
publisher=acm,
}

@string{pods27= "Proc. 46th" # pods # " (PODS'27)"}
@proceedings{ppods27,
booktitle=pods27,
year={2027},
publisher=acm,
}

@string{pods28= "Proc. 47th" # pods # " (PODS'28)"}
@proceedings{ppods28,
booktitle=pods28,
year={2028},
publisher=acm,
}

@string{pods29= "Proc. 48th" # pods # " (PODS'29)"}
@proceedings{ppods29,
booktitle=pods29,
year={2029},
publisher=acm,
}

@string{pods30= "Proc. 49th" # pods # " (PODS'30)"}
@proceedings{ppods30,
booktitle=pods30,
year={2030},
publisher=acm,
}

************

@comment{confseries:Foundations of Software Technology and Theoretical Computer Science}
@comment{publ:FSTTCS 1981-current publ:various}
@comment{publ:FSTTCS 1981-2007 Springer 2008-current drops}

@comment{confseries:FSTTCS 1981-2007 Springer}

@string{fsttcs=" Found. Softw. Techn. Theoret. Comp. Sci. Conf."}
@string{fsttcs81="Proc. 1st" # fsttcs # " (FSTTCS'81)"}
@proceedings{pfsttcs81,
 booktitle     = fsttcs81,
 publisher     = springer,
 year          = {1981},
}

@string{fsttcs=" Found. Softw. Techn. Theoret. Comp. Sci. Conf."}
@string{fsttcs82="Proc. 2nd" # fsttcs # " (FSTTCS'82)"}
@proceedings{pfsttcs82,
 booktitle     = fsttcs82,
 publisher     = springer,
 year          = {1982},
}

@string{fsttcs=" Found. Softw. Techn. Theoret. Comp. Sci. Conf."}
@string{fsttcs83="Proc. 3rd" # fsttcs # " (FSTTCS'83)"}
@proceedings{pfsttcs83,
 booktitle     = fsttcs83,
 publisher     = springer,
 year          = {1983},
}

@string{fsttcs=" Found. Softw. Techn. Theoret. Comp. Sci. Conf."}
@string{fsttcs84="Proc. 4th" # fsttcs # " (FSTTCS'84)"}
@proceedings{pfsttcs84,
 booktitle     = fsttcs84,
 publisher     = springer,
 year          = {1984},
}

@string{fsttcs=" Found. Softw. Techn. Theoret. Comp. Sci. Conf."}
@string{fsttcs85="Proc. 5th" # fsttcs # " (FSTTCS'85)"}
@proceedings{pfsttcs85,
 booktitle     = fsttcs85,
 publisher     = springer,
 year          = {1985},
}

@string{fsttcs=" Found. Softw. Techn. Theoret. Comp. Sci. Conf."}
@string{fsttcs86="Proc. 6th" # fsttcs # " (FSTTCS'86)"}
@proceedings{pfsttcs86,
 booktitle     = fsttcs86,
 publisher     = springer,
 year          = {1986},
}

@string{fsttcs=" Found. Softw. Techn. Theoret. Comp. Sci. Conf."}
@string{fsttcs87="Proc. 7th" # fsttcs # " (FSTTCS'87)"}
@proceedings{pfsttcs87,
 booktitle     = fsttcs87,
 publisher     = springer,
 year          = {1987},
}

@string{fsttcs=" Found. Softw. Techn. Theoret. Comp. Sci. Conf."}
@string{fsttcs88="Proc. 8th" # fsttcs # " (FSTTCS'88)"}
@proceedings{pfsttcs88,
 booktitle     = fsttcs88,
 publisher     = springer,
 year          = {1988},
}

@string{fsttcs=" Found. Softw. Techn. Theoret. Comp. Sci. Conf."}
@string{fsttcs89="Proc. 9th" # fsttcs # " (FSTTCS'89)"}
@proceedings{pfsttcs89,
 booktitle     = fsttcs89,
 publisher     = springer,
 year          = {1989},
}

@string{fsttcs=" Found. Softw. Techn. Theoret. Comp. Sci. Conf."}
@string{fsttcs90="Proc. 10th" # fsttcs # " (FSTTCS'90)"}
@proceedings{pfsttcs90,
 booktitle     = fsttcs90,
 publisher     = springer,
 year          = {1990},
}

@string{fsttcs=" Found. Softw. Techn. Theoret. Comp. Sci. Conf."}
@string{fsttcs91="Proc. 11th" # fsttcs # " (FSTTCS'91)"}
@proceedings{pfsttcs91,
 booktitle     = fsttcs91,
 publisher     = springer,
 year          = {1991},
}

@string{fsttcs=" Found. Softw. Techn. Theoret. Comp. Sci. Conf."}
@string{fsttcs92="Proc. 12th" # fsttcs # " (FSTTCS'92)"}
@proceedings{pfsttcs92,
 booktitle     = fsttcs92,
 publisher     = springer,
 year          = {1992},
}

@string{fsttcs=" Found. Softw. Techn. Theoret. Comp. Sci. Conf."}
@string{fsttcs93="Proc. 13th" # fsttcs # " (FSTTCS'93)"}
@proceedings{pfsttcs93,
 booktitle     = fsttcs93,
 publisher     = springer,
 year          = {1993},
}

@string{fsttcs=" Found. Softw. Techn. Theoret. Comp. Sci. Conf."}
@string{fsttcs94="Proc. 14th" # fsttcs # " (FSTTCS'94)"}
@proceedings{pfsttcs94,
 booktitle     = fsttcs94,
 publisher     = springer,
 year          = {1994},
}

@string{fsttcs=" Found. Softw. Techn. Theoret. Comp. Sci. Conf."}
@string{fsttcs95="Proc. 15th" # fsttcs # " (FSTTCS'95)"}
@proceedings{pfsttcs95,
 booktitle     = fsttcs95,
 publisher     = springer,
 year          = {1995},
}

@string{fsttcs=" Found. Softw. Techn. Theoret. Comp. Sci. Conf."}
@string{fsttcs96="Proc. 16th" # fsttcs # " (FSTTCS'96)"}
@proceedings{pfsttcs96,
 booktitle     = fsttcs96,
 publisher     = springer,
 year          = {1996},
}

@string{fsttcs=" Found. Softw. Techn. Theoret. Comp. Sci. Conf."}
@string{fsttcs97="Proc. 17th" # fsttcs # " (FSTTCS'97)"}
@proceedings{pfsttcs97,
 booktitle     = fsttcs97,
 publisher     = springer,
 year          = {1997},
}

@string{fsttcs=" Found. Softw. Techn. Theoret. Comp. Sci. Conf."}
@string{fsttcs98="Proc. 18th" # fsttcs # " (FSTTCS'98)"}
@proceedings{pfsttcs98,
 booktitle     = fsttcs98,
 publisher     = springer,
 year          = {1998},
}

@string{fsttcs=" Found. Softw. Techn. Theoret. Comp. Sci. Conf."}
@string{fsttcs99="Proc. 19th" # fsttcs # " (FSTTCS'99)"}
@proceedings{pfsttcs99,
 booktitle     = fsttcs99,
 publisher     = springer,
 year          = {1999},
}

@string{fsttcs=" Found. Softw. Techn. Theoret. Comp. Sci. Conf."}
@string{fsttcs00="Proc. 20th" # fsttcs # " (FSTTCS'00)"}
@proceedings{pfsttcs00,
 booktitle     = fsttcs00,
 publisher     = springer,
 year          = {2000},
}

@string{fsttcs=" Found. Softw. Techn. Theoret. Comp. Sci. Conf."}
@string{fsttcs01="Proc. 21st" # fsttcs # " (FSTTCS'01)"}
@proceedings{pfsttcs01,
 booktitle     = fsttcs01,
 publisher     = springer,
 year          = {2001},
}

@string{fsttcs=" Found. Softw. Techn. Theoret. Comp. Sci. Conf."}
@string{fsttcs02="Proc. 22nd" # fsttcs # " (FSTTCS'02)"}
@proceedings{pfsttcs02,
 booktitle     = fsttcs02,
 publisher     = springer,
 year          = {2002},
}

@string{fsttcs=" Found. Softw. Techn. Theoret. Comp. Sci. Conf."}
@string{fsttcs03="Proc. 23rd" # fsttcs # " (FSTTCS'03)"}
@proceedings{pfsttcs03,
 booktitle     = fsttcs03,
 publisher     = springer,
 year          = {2003},
}

@string{fsttcs=" Found. Softw. Techn. Theoret. Comp. Sci. Conf."}
@string{fsttcs04="Proc. 24th" # fsttcs # " (FSTTCS'04)"}
@proceedings{pfsttcs04,
 booktitle     = fsttcs04,
 publisher     = springer,
 year          = {2004},
}

@string{fsttcs=" Found. Softw. Techn. Theoret. Comp. Sci. Conf."}
@string{fsttcs05="Proc. 25th" # fsttcs # " (FSTTCS'05)"}
@proceedings{pfsttcs05,
 booktitle     = fsttcs05,
 publisher     = springer,
 year          = {2005},
}

@string{fsttcs=" Found. Softw. Techn. Theoret. Comp. Sci. Conf."}
@string{fsttcs06="Proc. 26th" # fsttcs # " (FSTTCS'06)"}
@proceedings{pfsttcs06,
 booktitle     = fsttcs06,
 publisher     = springer,
 year          = {2006},
}

@string{fsttcs=" Found. Softw. Techn. Theoret. Comp. Sci. Conf."}
@string{fsttcs07="Proc. 27th" # fsttcs # " (FSTTCS'07)"}
@proceedings{pfsttcs07,
 booktitle     = fsttcs07,
 publisher     = springer,
 year          = {2007},
}

@comment{confseries:FSTTCS 2008-current drops}

@string{fsttcs=" Found. Softw. Techn. Theoret. Comp. Sci. Conf."}
@string{fsttcs08="Proc. 28th" # fsttcs # " (FSTTCS'08)"}
@proceedings{pfsttcs08,
 booktitle     = fsttcs08,
 publisher     = drops,
 year          = {2008},
}

@string{fsttcs=" Found. Softw. Techn. Theoret. Comp. Sci. Conf."}
@string{fsttcs09="Proc. 29th" # fsttcs # " (FSTTCS'09)"}
@proceedings{pfsttcs09,
 booktitle     = fsttcs09,
 publisher     = drops,
 year          = {2009},
}

@string{fsttcs=" Found. Softw. Techn. Theoret. Comp. Sci. Conf."}
@string{fsttcs10="Proc. 30th" # fsttcs # " (FSTTCS'10)"}
@proceedings{pfsttcs10,
 booktitle     = fsttcs10,
 publisher     = drops,
 year          = {2010},
}

@string{fsttcs=" Found. Softw. Techn. Theoret. Comp. Sci. Conf."}
@string{fsttcs11="Proc. 31st" # fsttcs # " (FSTTCS'11)"}
@proceedings{pfsttcs11,
 booktitle     = fsttcs11,
 publisher     = drops,
 year          = {2011},
}

@string{fsttcs=" Found. Softw. Techn. Theoret. Comp. Sci. Conf."}
@string{fsttcs12="Proc. 32nd" # fsttcs # " (FSTTCS'12)"}
@proceedings{pfsttcs12,
 booktitle     = fsttcs12,
 publisher     = drops,
 year          = {2012},
}

@string{fsttcs=" Found. Softw. Techn. Theoret. Comp. Sci. Conf."}
@string{fsttcs13="Proc. 33rd" # fsttcs # " (FSTTCS'13)"}
@proceedings{pfsttcs13,
 booktitle     = fsttcs13,
 publisher     = drops,
 year          = {2013},
}

@string{fsttcs=" Found. Softw. Techn. Theoret. Comp. Sci. Conf."}
@string{fsttcs14="Proc. 34th" # fsttcs # " (FSTTCS'14)"}
@proceedings{pfsttcs14,
 booktitle     = fsttcs14,
 publisher     = drops,
 year          = {2014},
}

@string{fsttcs=" Found. Softw. Techn. Theoret. Comp. Sci. Conf."}
@string{fsttcs15="Proc. 35th" # fsttcs # " (FSTTCS'15)"}
@proceedings{pfsttcs15,
 booktitle     = fsttcs15,
 publisher     = drops,
 year          = {2015},
}

@string{fsttcs=" Found. Softw. Techn. Theoret. Comp. Sci. Conf."}
@string{fsttcs16="Proc. 36th" # fsttcs # " (FSTTCS'16)"}
@proceedings{pfsttcs16,
 booktitle     = fsttcs16,
 publisher     = drops,
 year          = {2016},
}

@string{fsttcs=" Found. Softw. Techn. Theoret. Comp. Sci. Conf."}
@string{fsttcs17="Proc. 37th" # fsttcs # " (FSTTCS'17)"}
@proceedings{pfsttcs17,
 booktitle     = fsttcs17,
 publisher     = drops,
 year          = {2017},
}

@string{fsttcs=" Found. Softw. Techn. Theoret. Comp. Sci. Conf."}
@string{fsttcs18="Proc. 38th" # fsttcs # " (FSTTCS'18)"}
@proceedings{pfsttcs18,
 booktitle     = fsttcs18,
 publisher     = drops,
 year          = {2018},
}

@string{fsttcs=" Found. Softw. Techn. Theoret. Comp. Sci. Conf."}
@string{fsttcs19="Proc. 39th" # fsttcs # " (FSTTCS'19)"}
@proceedings{pfsttcs19,
 booktitle     = fsttcs19,
 publisher     = drops,
 year          = {2019},
}

@string{fsttcs=" Found. Softw. Techn. Theoret. Comp. Sci. Conf."}
@string{fsttcs20="Proc. 40th" # fsttcs # " (FSTTCS'20)"}
@proceedings{pfsttcs20,
 booktitle     = fsttcs20,
 publisher     = drops,
 year          = {2020},
}

@string{fsttcs=" Found. Softw. Techn. Theoret. Comp. Sci. Conf."}
@string{fsttcs21="Proc. 41st" # fsttcs # " (FSTTCS'21)"}
@proceedings{pfsttcs21,
 booktitle     = fsttcs21,
 publisher     = drops,
 year          = {2021},
}

@string{fsttcs=" Found. Softw. Techn. Theoret. Comp. Sci. Conf."}
@string{fsttcs22="Proc. 42nd" # fsttcs # " (FSTTCS'22)"}
@proceedings{pfsttcs22,
 booktitle     = fsttcs22,
 publisher     = drops,
 year          = {2022},
}

@string{fsttcs=" Found. Softw. Techn. Theoret. Comp. Sci. Conf."}
@string{fsttcs23="Proc. 43rd" # fsttcs # " (FSTTCS'23)"}
@proceedings{pfsttcs23,
 booktitle     = fsttcs23,
 publisher     = drops,
 year          = {2023},
}

@string{fsttcs=" Found. Softw. Techn. Theoret. Comp. Sci. Conf."}
@string{fsttcs24="Proc. 44th" # fsttcs # " (FSTTCS'24)"}
@proceedings{pfsttcs24,
 booktitle     = fsttcs24,
 publisher     = drops,
 year          = {2024},
}

@string{fsttcs=" Found. Softw. Techn. Theoret. Comp. Sci. Conf."}
@string{fsttcs25="Proc. 45th" # fsttcs # " (FSTTCS'25)"}
@proceedings{pfsttcs25,
 booktitle     = fsttcs25,
 publisher     = drops,
 year          = {2025},
}

@string{fsttcs=" Found. Softw. Techn. Theoret. Comp. Sci. Conf."}
@string{fsttcs26="Proc. 46th" # fsttcs # " (FSTTCS'26)"}
@proceedings{pfsttcs26,
 booktitle     = fsttcs26,
 publisher     = drops,
 year          = {2026},
}

@string{fsttcs=" Found. Softw. Techn. Theoret. Comp. Sci. Conf."}
@string{fsttcs27="Proc. 47th" # fsttcs # " (FSTTCS'27)"}
@proceedings{pfsttcs27,
 booktitle     = fsttcs27,
 publisher     = drops,
 year          = {2027},
}

@string{fsttcs=" Found. Softw. Techn. Theoret. Comp. Sci. Conf."}
@string{fsttcs28="Proc. 48th" # fsttcs # " (FSTTCS'28)"}
@proceedings{pfsttcs28,
 booktitle     = fsttcs28,
 publisher     = drops,
 year          = {2028},
}

@string{fsttcs=" Found. Softw. Techn. Theoret. Comp. Sci. Conf."}
@string{fsttcs29="Proc. 49th" # fsttcs # " (FSTTCS'29)"}
@proceedings{pfsttcs29,
 booktitle     = fsttcs29,
 publisher     = drops,
 year          = {2029},
}

@string{fsttcs=" Found. Softw. Techn. Theoret. Comp. Sci. Conf."}
@string{fsttcs30="Proc. 50th" # fsttcs # " (FSTTCS'30)"}
@proceedings{pfsttcs30,
 booktitle     = fsttcs30,
 publisher     = drops,
 year          = {2030},
}

*************

@comment{confseries:NIPS 1988-2017 NeurIPS 2018-current publ Curran Assoc.}
@comment{confseries:Advances in Neural Information Processing Systems}
@string{nips=" Adv. Neural Info. Proc. Sys."}

@comment{confseries 1988-2017 NIPS}

@string{nips88="Proc. 1st" # nips # " (NIPS'88)"}
@proceedings{pnips88,
 booktitle     = nips88,
 publisher     = {Curran Assoc.},
 year          = {1988},
}

@string{nips89="Proc. 2nd" # nips # " (NIPS'89)"}
@proceedings{pnips89,
 booktitle     = nips89,
 publisher     = {Curran Assoc.},
 year          = {1989},
}

@string{nips90="Proc. 3rd" # nips # " (NIPS'90)"}
@proceedings{pnips90,
 booktitle     = nips90,
 publisher     = {Curran Assoc.},
 year          = {1990},
}

@string{nips91="Proc. 4th" # nips # " (NIPS'91)"}
@proceedings{pnips91,
 booktitle     = nips91,
 publisher     = {Curran Assoc.},
 year          = {1991},
}

@string{nips92="Proc. 5th" # nips # " (NIPS'92)"}
@proceedings{pnips92,
 booktitle     = nips92,
 publisher     = {Curran Assoc.},
 year          = {1992},
}

@string{nips93="Proc. 6th" # nips # " (NIPS'93)"}
@proceedings{pnips93,
 booktitle     = nips93,
 publisher     = {Curran Assoc.},
 year          = {1993},
}

@string{nips94="Proc. 7th" # nips # " (NIPS'94)"}
@proceedings{pnips94,
 booktitle     = nips94,
 publisher     = {Curran Assoc.},
 year          = {1994},
}

@string{nips95="Proc. 8th" # nips # " (NIPS'95)"}
@proceedings{pnips95,
 booktitle     = nips95,
 publisher     = {Curran Assoc.},
 year          = {1995},
}

@string{nips96="Proc. 9th" # nips # " (NIPS'96)"}
@proceedings{pnips96,
 booktitle     = nips96,
 publisher     = {Curran Assoc.},
 year          = {1996},
}

@string{nips97="Proc. 10th" # nips # " (NIPS'97)"}
@proceedings{pnips97,
 booktitle     = nips97,
 publisher     = {Curran Assoc.},
 year          = {1997},
}

@string{nips98="Proc. 11th" # nips # " (NIPS'98)"}
@proceedings{pnips98,
 booktitle     = nips98,
 publisher     = {Curran Assoc.},
 year          = {1998},
}

@string{nips99="Proc. 12th" # nips # " (NIPS'99)"}
@proceedings{pnips99,
 booktitle     = nips99,
 publisher     = {Curran Assoc.},
 year          = {1999},
}

@string{nips00="Proc. 13th" # nips # " (NIPS'00)"}
@proceedings{pnips00,
 booktitle     = nips00,
 publisher     = {Curran Assoc.},
 year          = {2000},
}

@string{nips01="Proc. 14th" # nips # " (NIPS'01)"}
@proceedings{pnips01,
 booktitle     = nips01,
 publisher     = {Curran Assoc.},
 year          = {2001},
}

@string{nips02="Proc. 15th" # nips # " (NIPS'02)"}
@proceedings{pnips02,
 booktitle     = nips02,
 publisher     = {Curran Assoc.},
 year          = {2002},
}

@string{nips03="Proc. 16th" # nips # " (NIPS'03)"}
@proceedings{pnips03,
 booktitle     = nips03,
 publisher     = {Curran Assoc.},
 year          = {2003},
}

@string{nips04="Proc. 17th" # nips # " (NIPS'04)"}
@proceedings{pnips04,
 booktitle     = nips04,
 publisher     = {Curran Assoc.},
 year          = {2004},
}

@string{nips05="Proc. 18th" # nips # " (NIPS'05)"}
@proceedings{pnips05,
 booktitle     = nips05,
 publisher     = {Curran Assoc.},
 year          = {2005},
}

@string{nips06="Proc. 19th" # nips # " (NIPS'06)"}
@proceedings{pnips06,
 booktitle     = nips06,
 publisher     = {Curran Assoc.},
 year          = {2006},
}

@string{nips07="Proc. 20th" # nips # " (NIPS'07)"}
@proceedings{pnips07,
 booktitle     = nips07,
 publisher     = {Curran Assoc.},
 year          = {2007},
}

@string{nips08="Proc. 21st" # nips # " (NIPS'08)"}
@proceedings{pnips08,
 booktitle     = nips08,
 publisher     = {Curran Assoc.},
 year          = {2008},
}

@string{nips09="Proc. 22nd" # nips # " (NIPS'09)"}
@proceedings{pnips09,
 booktitle     = nips09,
 publisher     = {Curran Assoc.},
 year          = {2009},
}

@string{nips10="Proc. 23rd" # nips # " (NIPS'10)"}
@proceedings{pnips10,
 booktitle     = nips10,
 publisher     = {Curran Assoc.},
 year          = {2010},
}

@string{nips11="Proc. 24th" # nips # " (NIPS'11)"}
@proceedings{pnips11,
 booktitle     = nips11,
 publisher     = {Curran Assoc.},
 year          = {2011},
}

@string{nips12="Proc. 25th" # nips # " (NIPS'12)"}
@proceedings{pnips12,
 booktitle     = nips12,
 publisher     = {Curran Assoc.},
 year          = {2012},
}

@string{nips13="Proc. 26th" # nips # " (NIPS'13)"}
@proceedings{pnips13,
 booktitle     = nips13,
 publisher     = {Curran Assoc.},
 year          = {2013},
}

@string{nips14="Proc. 27th" # nips # " (NIPS'14)"}
@proceedings{pnips14,
 booktitle     = nips14,
 publisher     = {Curran Assoc.},
 year          = {2014},
}

@string{nips15="Proc. 28th" # nips # " (NIPS'15)"}
@proceedings{pnips15,
 booktitle     = nips15,
 publisher     = {Curran Assoc.},
 year          = {2015},
}

@string{nips16="Proc. 29th" # nips # " (NIPS'16)"}
@proceedings{pnips16,
 booktitle     = nips16,
 publisher     = {Curran Assoc.},
 year          = {2016},
}

@string{nips17="Proc. 30th" # nips # " (NIPS'17)"}
@proceedings{pnips17,
 booktitle     = nips17,
 publisher     = {Curran Assoc.},
 year          = {2017},
}

@comment{confseries 2018-current NeurIPS}

@string{nips18="Proc. 31st" # nips # " (NeurIPS'18)"}
@proceedings{pnips18,
 booktitle     = nips18,
 publisher     = {Curran Assoc.},
 year          = {2018},
}

@string{nips19="Proc. 32nd" # nips # " (NeurIPS'19)"}
@proceedings{pnips19,
 booktitle     = nips19,
 publisher     = {Curran Assoc.},
 year          = {2019},
}

@string{nips20="Proc. 33rd" # nips # " (NeurIPS'20)"}
@proceedings{pnips20,
 booktitle     = nips20,
 publisher     = {Curran Assoc.},
 year          = {2020},
}

@string{nips21="Proc. 34th" # nips # " (NeurIPS'21)"}
@proceedings{pnips21,
 booktitle     = nips21,
 publisher     = {Curran Assoc.},
 year          = {2021},
}

@string{nips22="Proc. 35th" # nips # " (NeurIPS'22)"}
@proceedings{pnips22,
 booktitle     = nips22,
 publisher     = {Curran Assoc.},
 year          = {2022},
}

@string{nips23="Proc. 36th" # nips # " (NeurIPS'23)"}
@proceedings{pnips23,
 booktitle     = nips23,
 publisher     = {Curran Assoc.},
 year          = {2023},
}

@string{nips24="Proc. 37th" # nips # " (NeurIPS'24)"}
@proceedings{pnips24,
 booktitle     = nips24,
 publisher     = {Curran Assoc.},
 year          = {2024},
}

@string{nips25="Proc. 38th" # nips # " (NeurIPS'25)"}
@proceedings{pnips25,
 booktitle     = nips25,
 publisher     = {Curran Assoc.},
 year          = {2025},
}

@string{nips26="Proc. 39th" # nips # " (NeurIPS'26)"}
@proceedings{pnips26,
 booktitle     = nips26,
 publisher     = {Curran Assoc.},
 year          = {2026},
}

@string{nips27="Proc. 40th" # nips # " (NeurIPS'27)"}
@proceedings{pnips27,
 booktitle     = nips27,
 publisher     = {Curran Assoc.},
 year          = {2027},
}

@string{nips28="Proc. 41st" # nips # " (NeurIPS'28)"}
@proceedings{pnips28,
 booktitle     = nips28,
 publisher     = {Curran Assoc.},
 year          = {2028},
}

@string{nips29="Proc. 42nd" # nips # " (NeurIPS'29)"}
@proceedings{pnips29,
 booktitle     = nips29,
 publisher     = {Curran Assoc.},
 year          = {2029},
}

@string{nips30="Proc. 43rd" # nips # " (NeurIPS'30)"}
@proceedings{pnips30,
 booktitle     = nips30,
 publisher     = {Curran Assoc.},
 year          = {2030},
}

************

@comment{confseries:STACS - Symp. Theoret. Aspects of CS}
@comment{confseries: STACS:1984-current various}
@comment{publ: STACS:1984-2007 Springer 2008-current drops}

@string{stacs=" Symp. Theoret. Aspects of Comp. Sci."}
@string{stacs84="Proc. 1st" # stacs # " (STACS'84)"}
@Proceedings{pstacs84,
  booktitle = stacs84,
  year	= {1984},
  publisher = springer,
}

@string{stacs=" Symp. Theoret. Aspects of Comp. Sci."}
@string{stacs85="Proc. 2nd" # stacs # " (STACS'85)"}
@Proceedings{pstacs85,
  booktitle = stacs85,
  year	= {1985},
  publisher = springer,
}

@string{stacs=" Symp. Theoret. Aspects of Comp. Sci."}
@string{stacs86="Proc. 3rd" # stacs # " (STACS'86)"}
@Proceedings{pstacs86,
  booktitle = stacs86,
  year	= {1986},
  publisher = springer,
}

@string{stacs=" Symp. Theoret. Aspects of Comp. Sci."}
@string{stacs87="Proc. 4th" # stacs # " (STACS'87)"}
@Proceedings{pstacs87,
  booktitle = stacs87,
  year	= {1987},
  publisher = springer,
}

@string{stacs=" Symp. Theoret. Aspects of Comp. Sci."}
@string{stacs88="Proc. 5th" # stacs # " (STACS'88)"}
@Proceedings{pstacs88,
  booktitle = stacs88,
  year	= {1988},
  publisher = springer,
}

@string{stacs=" Symp. Theoret. Aspects of Comp. Sci."}
@string{stacs89="Proc. 6th" # stacs # " (STACS'89)"}
@Proceedings{pstacs89,
  booktitle = stacs89,
  year	= {1989},
  publisher = springer,
}

@string{stacs=" Symp. Theoret. Aspects of Comp. Sci."}
@string{stacs90="Proc. 7th" # stacs # " (STACS'90)"}
@Proceedings{pstacs90,
  booktitle = stacs90,
  year	= {1990},
  publisher = springer,
}

@string{stacs=" Symp. Theoret. Aspects of Comp. Sci."}
@string{stacs91="Proc. 8th" # stacs # " (STACS'91)"}
@Proceedings{pstacs91,
  booktitle = stacs91,
  year	= {1991},
  publisher = springer,
}

@string{stacs=" Symp. Theoret. Aspects of Comp. Sci."}
@string{stacs92="Proc. 9th" # stacs # " (STACS'92)"}
@Proceedings{pstacs92,
  booktitle = stacs92,
  year	= {1992},
  publisher = springer,
}

@string{stacs=" Symp. Theoret. Aspects of Comp. Sci."}
@string{stacs93="Proc. 10th" # stacs # " (STACS'93)"}
@Proceedings{pstacs93,
  booktitle = stacs93,
  year	= {1993},
  publisher = springer,
}

@string{stacs=" Symp. Theoret. Aspects of Comp. Sci."}
@string{stacs94="Proc. 11th" # stacs # " (STACS'94)"}
@Proceedings{pstacs94,
  booktitle = stacs94,
  year	= {1994},
  publisher = springer,
}

@string{stacs=" Symp. Theoret. Aspects of Comp. Sci."}
@string{stacs95="Proc. 12th" # stacs # " (STACS'95)"}
@Proceedings{pstacs95,
  booktitle = stacs95,
  year	= {1995},
  publisher = springer,
}

@string{stacs=" Symp. Theoret. Aspects of Comp. Sci."}
@string{stacs96="Proc. 13th" # stacs # " (STACS'96)"}
@Proceedings{pstacs96,
  booktitle = stacs96,
  year	= {1996},
  publisher = springer,
}

@string{stacs=" Symp. Theoret. Aspects of Comp. Sci."}
@string{stacs97="Proc. 14th" # stacs # " (STACS'97)"}
@Proceedings{pstacs97,
  booktitle = stacs97,
  year	= {1997},
  publisher = springer,
}

@string{stacs=" Symp. Theoret. Aspects of Comp. Sci."}
@string{stacs98="Proc. 15th" # stacs # " (STACS'98)"}
@Proceedings{pstacs98,
  booktitle = stacs98,
  year	= {1998},
  publisher = springer,
}

@string{stacs=" Symp. Theoret. Aspects of Comp. Sci."}
@string{stacs99="Proc. 16th" # stacs # " (STACS'99)"}
@Proceedings{pstacs99,
  booktitle = stacs99,
  year	= {1999},
  publisher = springer,
}

@string{stacs=" Symp. Theoret. Aspects of Comp. Sci."}
@string{stacs00="Proc. 17th" # stacs # " (STACS'00)"}
@Proceedings{pstacs00,
  booktitle = stacs00,
  year	= {2000},
  publisher = springer,
}

@string{stacs=" Symp. Theoret. Aspects of Comp. Sci."}
@string{stacs01="Proc. 18th" # stacs # " (STACS'01)"}
@Proceedings{pstacs01,
  booktitle = stacs01,
  year	= {2001},
  publisher = springer,
}

@string{stacs=" Symp. Theoret. Aspects of Comp. Sci."}
@string{stacs02="Proc. 19th" # stacs # " (STACS'02)"}
@Proceedings{pstacs02,
  booktitle = stacs02,
  year	= {2002},
  publisher = springer,
}

@string{stacs=" Symp. Theoret. Aspects of Comp. Sci."}
@string{stacs03="Proc. 20th" # stacs # " (STACS'03)"}
@Proceedings{pstacs03,
  booktitle = stacs03,
  year	= {2003},
  publisher = springer,
}

@string{stacs=" Symp. Theoret. Aspects of Comp. Sci."}
@string{stacs04="Proc. 21st" # stacs # " (STACS'04)"}
@Proceedings{pstacs04,
  booktitle = stacs04,
  year	= {2004},
  publisher = springer,
}

@string{stacs=" Symp. Theoret. Aspects of Comp. Sci."}
@string{stacs05="Proc. 22nd" # stacs # " (STACS'05)"}
@Proceedings{pstacs05,
  booktitle = stacs05,
  year	= {2005},
  publisher = springer,
}

@string{stacs=" Symp. Theoret. Aspects of Comp. Sci."}
@string{stacs06="Proc. 23rd" # stacs # " (STACS'06)"}
@Proceedings{pstacs06,
  booktitle = stacs06,
  year	= {2006},
  publisher = springer,
}

@string{stacs=" Symp. Theoret. Aspects of Comp. Sci."}
@string{stacs07="Proc. 24th" # stacs # " (STACS'07)"}
@Proceedings{pstacs07,
  booktitle = stacs07,
  year	= {2007},
  publisher = springer,
}

@comment{publ:2008-current drops}

@string{stacs=" Symp. Theoret. Aspects of Comp. Sci."}
@string{stacs08="Proc. 25th" # stacs # " (STACS'08)"}
@Proceedings{pstacs08,
  booktitle = stacs08,
  year	= {2008},
  publisher = drops,
}

@string{stacs=" Symp. Theoret. Aspects of Comp. Sci."}
@string{stacs09="Proc. 26th" # stacs # " (STACS'09)"}
@Proceedings{pstacs09,
  booktitle = stacs09,
  year	= {2009},
  publisher = drops,
}

@string{stacs=" Symp. Theoret. Aspects of Comp. Sci."}
@string{stacs10="Proc. 27th" # stacs # " (STACS'10)"}
@Proceedings{pstacs10,
  booktitle = stacs10,
  year	= {2010},
  publisher = drops,
}

@string{stacs=" Symp. Theoret. Aspects of Comp. Sci."}
@string{stacs11="Proc. 28th" # stacs # " (STACS'11)"}
@Proceedings{pstacs11,
  booktitle = stacs11,
  year	= {2011},
  publisher = drops,
}

@string{stacs=" Symp. Theoret. Aspects of Comp. Sci."}
@string{stacs12="Proc. 29th" # stacs # " (STACS'12)"}
@Proceedings{pstacs12,
  booktitle = stacs12,
  year	= {2012},
  publisher = drops,
}

@string{stacs=" Symp. Theoret. Aspects of Comp. Sci."}
@string{stacs13="Proc. 30th" # stacs # " (STACS'13)"}
@Proceedings{pstacs13,
  booktitle = stacs13,
  year	= {2013},
  publisher = drops,
}

@string{stacs=" Symp. Theoret. Aspects of Comp. Sci."}
@string{stacs14="Proc. 31st" # stacs # " (STACS'14)"}
@Proceedings{pstacs14,
  booktitle = stacs14,
  year	= {2014},
  publisher = drops,
}

@string{stacs=" Symp. Theoret. Aspects of Comp. Sci."}
@string{stacs15="Proc. 32nd" # stacs # " (STACS'15)"}
@Proceedings{pstacs15,
  booktitle = stacs15,
  year	= {2015},
  publisher = drops,
}

@string{stacs=" Symp. Theoret. Aspects of Comp. Sci."}
@string{stacs16="Proc. 33rd" # stacs # " (STACS'16)"}
@Proceedings{pstacs16,
  booktitle = stacs16,
  year	= {2016},
  publisher = drops,
}

@string{stacs=" Symp. Theoret. Aspects of Comp. Sci."}
@string{stacs17="Proc. 34th" # stacs # " (STACS'17)"}
@Proceedings{pstacs17,
  booktitle = stacs17,
  year	= {2017},
  publisher = drops,
}

@string{stacs=" Symp. Theoret. Aspects of Comp. Sci."}
@string{stacs18="Proc. 35th" # stacs # " (STACS'18)"}
@Proceedings{pstacs18,
  booktitle = stacs18,
  year	= {2018},
  publisher = drops,
}

@string{stacs=" Symp. Theoret. Aspects of Comp. Sci."}
@string{stacs19="Proc. 36th" # stacs # " (STACS'19)"}
@Proceedings{pstacs19,
  booktitle = stacs19,
  year	= {2019},
  publisher = drops,
}

@string{stacs=" Symp. Theoret. Aspects of Comp. Sci."}
@string{stacs20="Proc. 37th" # stacs # " (STACS'20)"}
@Proceedings{pstacs20,
  booktitle = stacs20,
  year	= {2020},
  publisher = drops,
}

@string{stacs=" Symp. Theoret. Aspects of Comp. Sci."}
@string{stacs21="Proc. 38th" # stacs # " (STACS'21)"}
@Proceedings{pstacs21,
  booktitle = stacs21,
  year	= {2021},
  publisher = drops,
}

@string{stacs=" Symp. Theoret. Aspects of Comp. Sci."}
@string{stacs22="Proc. 39th" # stacs # " (STACS'22)"}
@Proceedings{pstacs22,
  booktitle = stacs22,
  year	= {2022},
  publisher = drops,
}

@string{stacs=" Symp. Theoret. Aspects of Comp. Sci."}
@string{stacs23="Proc. 40th" # stacs # " (STACS'23)"}
@Proceedings{pstacs23,
  booktitle = stacs23,
  year	= {2023},
  publisher = drops,
}

@string{stacs=" Symp. Theoret. Aspects of Comp. Sci."}
@string{stacs24="Proc. 41st" # stacs # " (STACS'24)"}
@Proceedings{pstacs24,
  booktitle = stacs24,
  year	= {2024},
  publisher = drops,
}

@string{stacs=" Symp. Theoret. Aspects of Comp. Sci."}
@string{stacs25="Proc. 42nd" # stacs # " (STACS'25)"}
@Proceedings{pstacs25,
  booktitle = stacs25,
  year	= {2025},
  publisher = drops,
}

@string{stacs=" Symp. Theoret. Aspects of Comp. Sci."}
@string{stacs26="Proc. 43rd" # stacs # " (STACS'26)"}
@Proceedings{pstacs26,
  booktitle = stacs26,
  year	= {2026},
  publisher = drops,
}

@string{stacs=" Symp. Theoret. Aspects of Comp. Sci."}
@string{stacs27="Proc. 44th" # stacs # " (STACS'27)"}
@Proceedings{pstacs27,
  booktitle = stacs27,
  year	= {2027},
  publisher = drops,
}

@string{stacs=" Symp. Theoret. Aspects of Comp. Sci."}
@string{stacs28="Proc. 45th" # stacs # " (STACS'28)"}
@Proceedings{pstacs28,
  booktitle = stacs28,
  year	= {2028},
  publisher = drops,
}

@string{stacs=" Symp. Theoret. Aspects of Comp. Sci."}
@string{stacs29="Proc. 46th" # stacs # " (STACS'29)"}
@Proceedings{pstacs29,
  booktitle = stacs29,
  year	= {2029},
  publisher = drops,
}

@string{stacs=" Symp. Theoret. Aspects of Comp. Sci."}
@string{stacs30="Proc. 47th" # stacs # " (STACS'30)"}
@Proceedings{pstacs30,
  booktitle = stacs30,
  year	= {2030},
  publisher = drops,
}

************

@comment{confseries:LATA - Internat. Conf. on Language and Automata Theory and Applications}
@comment{publ: LATA: 1997-current Springer}

@string{lata = " Internat. Conf. Lang. Autom. Theory and Appl."}
@string{lata07="Proc. 1st" # lata # " (LATA'07)"}
@Proceedings{plata07,
  booktitle = lata07,
  year	= {2007},
  publisher = springer,
}

@string{lata = " Internat. Conf. Lang. Autom. Theory and Appl."}
@string{lata08="Proc. 2nd" # lata # " (LATA'08)"}
@Proceedings{plata08,
  booktitle = lata08,
  year	= {2008},
  publisher = springer,
}

@string{lata = " Internat. Conf. Lang. Autom. Theory and Appl."}
@string{lata09="Proc. 3rd" # lata # " (LATA'09)"}
@Proceedings{plata09,
  booktitle = lata09,
  year	= {2009},
  publisher = springer,
}

@string{lata = " Internat. Conf. Lang. Autom. Theory and Appl."}
@string{lata10="Proc. 4th" # lata # " (LATA'10)"}
@Proceedings{plata10,
  booktitle = lata10,
  year	= {2010},
  publisher = springer,
}

@string{lata = " Internat. Conf. Lang. Autom. Theory and Appl."}
@string{lata11="Proc. 5th" # lata # " (LATA'11)"}
@Proceedings{plata11,
  booktitle = lata11,
  year	= {2011},
  publisher = springer,
}

@string{lata = " Internat. Conf. Lang. Autom. Theory and Appl."}
@string{lata12="Proc. 6th" # lata # " (LATA'12)"}
@Proceedings{plata12,
  booktitle = lata12,
  year	= {2012},
  publisher = springer,
}

@string{lata = " Internat. Conf. Lang. Autom. Theory and Appl."}
@string{lata13="Proc. 7th" # lata # " (LATA'13)"}
@Proceedings{plata13,
  booktitle = lata13,
  year	= {2013},
  publisher = springer,
}

@string{lata = " Internat. Conf. Lang. Autom. Theory and Appl."}
@string{lata14="Proc. 8th" # lata # " (LATA'14)"}
@Proceedings{plata14,
  booktitle = lata14,
  year	= {2014},
  publisher = springer,
}

@string{lata = " Internat. Conf. Lang. Autom. Theory and Appl."}
@string{lata15="Proc. 9th" # lata # " (LATA'15)"}
@Proceedings{plata15,
  booktitle = lata15,
  year	= {2015},
  publisher = springer,
}

@string{lata = " Internat. Conf. Lang. Autom. Theory and Appl."}
@string{lata16="Proc. 10th" # lata # " (LATA'16)"}
@Proceedings{plata16,
  booktitle = lata16,
  year	= {2016},
  publisher = springer,
}

@string{lata = " Internat. Conf. Lang. Autom. Theory and Appl."}
@string{lata17="Proc. 11th" # lata # " (LATA'17)"}
@Proceedings{plata17,
  booktitle = lata17,
  year	= {2017},
  publisher = springer,
}

@string{lata = " Internat. Conf. Lang. Autom. Theory and Appl."}
@string{lata18="Proc. 12th" # lata # " (LATA'18)"}
@Proceedings{plata18,
  booktitle = lata18,
  year	= {2018},
  publisher = springer,
}

@string{lata = " Internat. Conf. Lang. Autom. Theory and Appl."}
@string{lata19="Proc. 13th" # lata # " (LATA'19)"}
@Proceedings{plata19,
  booktitle = lata19,
  year	= {2019},
  publisher = springer,
}

@string{lata = " Internat. Conf. Lang. Autom. Theory and Appl."}
@string{lata20="Proc. 14th" # lata # " (LATA'20)"}
@Proceedings{plata20,
  booktitle = lata20,
  year	= {2020},
  publisher = springer,
}

@string{lata = " Internat. Conf. Lang. Autom. Theory and Appl."}
@string{lata21="Proc. 15th" # lata # " (LATA'21)"}
@Proceedings{plata21,
  booktitle = lata21,
  year	= {2021},
  publisher = springer,
}

@string{lata = " Internat. Conf. Lang. Autom. Theory and Appl."}
@string{lata22="Proc. 16th" # lata # " (LATA'22)"}
@Proceedings{plata22,
  booktitle = lata22,
  year	= {2022},
  publisher = springer,
}

@string{lata = " Internat. Conf. Lang. Autom. Theory and Appl."}
@string{lata23="Proc. 17th" # lata # " (LATA'23)"}
@Proceedings{plata23,
  booktitle = lata23,
  year	= {2023},
  publisher = springer,
}

@string{lata = " Internat. Conf. Lang. Autom. Theory and Appl."}
@string{lata24="Proc. 18th" # lata # " (LATA'24)"}
@Proceedings{plata24,
  booktitle = lata24,
  year	= {2024},
  publisher = springer,
}

@string{lata = " Internat. Conf. Lang. Autom. Theory and Appl."}
@string{lata25="Proc. 19th" # lata # " (LATA'25)"}
@Proceedings{plata25,
  booktitle = lata25,
  year	= {2025},
  publisher = springer,
}

@string{lata = " Internat. Conf. Lang. Autom. Theory and Appl."}
@string{lata26="Proc. 20th" # lata # " (LATA'26)"}
@Proceedings{plata26,
  booktitle = lata26,
  year	= {2026},
  publisher = springer,
}

@string{lata = " Internat. Conf. Lang. Autom. Theory and Appl."}
@string{lata27="Proc. 21st" # lata # " (LATA'27)"}
@Proceedings{plata27,
  booktitle = lata27,
  year	= {2027},
  publisher = springer,
}

@string{lata = " Internat. Conf. Lang. Autom. Theory and Appl."}
@string{lata28="Proc. 22nd" # lata # " (LATA'28)"}
@Proceedings{plata28,
  booktitle = lata28,
  year	= {2028},
  publisher = springer,
}

@string{lata = " Internat. Conf. Lang. Autom. Theory and Appl."}
@string{lata29="Proc. 23rd" # lata # " (LATA'29)"}
@Proceedings{plata29,
  booktitle = lata29,
  year	= {2029},
  publisher = springer,
}

@string{lata = " Internat. Conf. Lang. Autom. Theory and Appl."}
@string{lata30="Proc. 24th" # lata # " (LATA'30)"}
@Proceedings{plata30,
  booktitle = lata30,
  year	= {2030},
  publisher = springer,
}

************

@comment{confseries:Internat. Combinatorics and Computing Conf. COCOON}
@comment{publ:COCOON 1995-current Springer}

@string{cocoon = " Internat. Combinatorics and Computing Conf."}
@string{cocoon95="Proc. 1st " # cocoon # " (COCOON'95)"}
@proceedings{pcocoon95,
  booktitle     = cocoon95,
  year          = {1995},
  publisher     = springer,
}

@string{cocoon = " Internat. Combinatorics and Computing Conf."}
@string{cocoon96="Proc. 2nd " # cocoon # " (COCOON'96)"}
@proceedings{pcocoon96,
  booktitle     = cocoon96,
  year          = {1996},
  publisher     = springer,
}

@string{cocoon = " Internat. Combinatorics and Computing Conf."}
@string{cocoon97="Proc. 3rd " # cocoon # " (COCOON'97)"}
@proceedings{pcocoon97,
  booktitle     = cocoon97,
  year          = {1997},
  publisher     = springer,
}

@string{cocoon = " Internat. Combinatorics and Computing Conf."}
@string{cocoon98="Proc. 4th " # cocoon # " (COCOON'98)"}
@proceedings{pcocoon98,
  booktitle     = cocoon98,
  year          = {1998},
  publisher     = springer,
}

@string{cocoon = " Internat. Combinatorics and Computing Conf."}
@string{cocoon99="Proc. 5th " # cocoon # " (COCOON'99)"}
@proceedings{pcocoon99,
  booktitle     = cocoon99,
  year          = {1999},
  publisher     = springer,
}

@string{cocoon = " Internat. Combinatorics and Computing Conf."}
@string{cocoon00="Proc. 6th " # cocoon # " (COCOON'00)"}
@proceedings{pcocoon00,
  booktitle     = cocoon00,
  year          = {2000},
  publisher     = springer,
}

@string{cocoon = " Internat. Combinatorics and Computing Conf."}
@string{cocoon01="Proc. 7th " # cocoon # " (COCOON'01)"}
@proceedings{pcocoon01,
  booktitle     = cocoon01,
  year          = {2001},
  publisher     = springer,
}

@string{cocoon = " Internat. Combinatorics and Computing Conf."}
@string{cocoon02="Proc. 8th " # cocoon # " (COCOON'02)"}
@proceedings{pcocoon02,
  booktitle     = cocoon02,
  year          = {2002},
  publisher     = springer,
}

@string{cocoon = " Internat. Combinatorics and Computing Conf."}
@string{cocoon03="Proc. 9th " # cocoon # " (COCOON'03)"}
@proceedings{pcocoon03,
  booktitle     = cocoon03,
  year          = {2003},
  publisher     = springer,
}

@string{cocoon = " Internat. Combinatorics and Computing Conf."}
@string{cocoon04="Proc. 10th " # cocoon # " (COCOON'04)"}
@proceedings{pcocoon04,
  booktitle     = cocoon04,
  year          = {2004},
  publisher     = springer,
}

@string{cocoon = " Internat. Combinatorics and Computing Conf."}
@string{cocoon05="Proc. 11th " # cocoon # " (COCOON'05)"}
@proceedings{pcocoon05,
  booktitle     = cocoon05,
  year          = {2005},
  publisher     = springer,
}

@string{cocoon = " Internat. Combinatorics and Computing Conf."}
@string{cocoon06="Proc. 12th " # cocoon # " (COCOON'06)"}
@proceedings{pcocoon06,
  booktitle     = cocoon06,
  year          = {2006},
  publisher     = springer,
}

@string{cocoon = " Internat. Combinatorics and Computing Conf."}
@string{cocoon07="Proc. 13th " # cocoon # " (COCOON'07)"}
@proceedings{pcocoon07,
  booktitle     = cocoon07,
  year          = {2007},
  publisher     = springer,
}

@string{cocoon = " Internat. Combinatorics and Computing Conf."}
@string{cocoon08="Proc. 14th " # cocoon # " (COCOON'08)"}
@proceedings{pcocoon08,
  booktitle     = cocoon08,
  year          = {2008},
  publisher     = springer,
}

@string{cocoon = " Internat. Combinatorics and Computing Conf."}
@string{cocoon09="Proc. 15th " # cocoon # " (COCOON'09)"}
@proceedings{pcocoon09,
  booktitle     = cocoon09,
  year          = {2009},
  publisher     = springer,
}

@string{cocoon = " Internat. Combinatorics and Computing Conf."}
@string{cocoon10="Proc. 16th " # cocoon # " (COCOON'10)"}
@proceedings{pcocoon10,
  booktitle     = cocoon10,
  year          = {2010},
  publisher     = springer,
}

@string{cocoon = " Internat. Combinatorics and Computing Conf."}
@string{cocoon11="Proc. 17th " # cocoon # " (COCOON'11)"}
@proceedings{pcocoon11,
  booktitle     = cocoon11,
  year          = {2011},
  publisher     = springer,
}

@string{cocoon = " Internat. Combinatorics and Computing Conf."}
@string{cocoon12="Proc. 18th " # cocoon # " (COCOON'12)"}
@proceedings{pcocoon12,
  booktitle     = cocoon12,
  year          = {2012},
  publisher     = springer,
}

@string{cocoon = " Internat. Combinatorics and Computing Conf."}
@string{cocoon13="Proc. 19th " # cocoon # " (COCOON'13)"}
@proceedings{pcocoon13,
  booktitle     = cocoon13,
  year          = {2013},
  publisher     = springer,
}

@string{cocoon = " Internat. Combinatorics and Computing Conf."}
@string{cocoon14="Proc. 20th " # cocoon # " (COCOON'14)"}
@proceedings{pcocoon14,
  booktitle     = cocoon14,
  year          = {2014},
  publisher     = springer,
}

@string{cocoon = " Internat. Combinatorics and Computing Conf."}
@string{cocoon15="Proc. 21st " # cocoon # " (COCOON'15)"}
@proceedings{pcocoon15,
  booktitle     = cocoon15,
  year          = {2015},
  publisher     = springer,
}

@string{cocoon = " Internat. Combinatorics and Computing Conf."}
@string{cocoon16="Proc. 22nd " # cocoon # " (COCOON'16)"}
@proceedings{pcocoon16,
  booktitle     = cocoon16,
  year          = {2016},
  publisher     = springer,
}

@string{cocoon = " Internat. Combinatorics and Computing Conf."}
@string{cocoon17="Proc. 23rd " # cocoon # " (COCOON'17)"}
@proceedings{pcocoon17,
  booktitle     = cocoon17,
  year          = {2017},
  publisher     = springer,
}

@string{cocoon = " Internat. Combinatorics and Computing Conf."}
@string{cocoon18="Proc. 24th " # cocoon # " (COCOON'18)"}
@proceedings{pcocoon18,
  booktitle     = cocoon18,
  year          = {2018},
  publisher     = springer,
}

@string{cocoon = " Internat. Combinatorics and Computing Conf."}
@string{cocoon19="Proc. 25th " # cocoon # " (COCOON'19)"}
@proceedings{pcocoon19,
  booktitle     = cocoon19,
  year          = {2019},
  publisher     = springer,
}

@string{cocoon = " Internat. Combinatorics and Computing Conf."}
@string{cocoon20="Proc. 26th " # cocoon # " (COCOON'20)"}
@proceedings{pcocoon20,
  booktitle     = cocoon20,
  year          = {2020},
  publisher     = springer,
}

@string{cocoon = " Internat. Combinatorics and Computing Conf."}
@string{cocoon21="Proc. 27th " # cocoon # " (COCOON'21)"}
@proceedings{pcocoon21,
  booktitle     = cocoon21,
  year          = {2021},
  publisher     = springer,
}

@string{cocoon = " Internat. Combinatorics and Computing Conf."}
@string{cocoon22="Proc. 28th " # cocoon # " (COCOON'22)"}
@proceedings{pcocoon22,
  booktitle     = cocoon22,
  year          = {2022},
  publisher     = springer,
}

@string{cocoon = " Internat. Combinatorics and Computing Conf."}
@string{cocoon23="Proc. 29th " # cocoon # " (COCOON'23)"}
@proceedings{pcocoon23,
  booktitle     = cocoon23,
  year          = {2023},
  publisher     = springer,
}

@string{cocoon = " Internat. Combinatorics and Computing Conf."}
@string{cocoon24="Proc. 30th " # cocoon # " (COCOON'24)"}
@proceedings{pcocoon24,
  booktitle     = cocoon24,
  year          = {2024},
  publisher     = springer,
}

@string{cocoon = " Internat. Combinatorics and Computing Conf."}
@string{cocoon25="Proc. 31st " # cocoon # " (COCOON'25)"}
@proceedings{pcocoon25,
  booktitle     = cocoon25,
  year          = {2025},
  publisher     = springer,
}

@string{cocoon = " Internat. Combinatorics and Computing Conf."}
@string{cocoon26="Proc. 32nd " # cocoon # " (COCOON'26)"}
@proceedings{pcocoon26,
  booktitle     = cocoon26,
  year          = {2026},
  publisher     = springer,
}

@string{cocoon = " Internat. Combinatorics and Computing Conf."}
@string{cocoon27="Proc. 33rd " # cocoon # " (COCOON'27)"}
@proceedings{pcocoon27,
  booktitle     = cocoon27,
  year          = {2027},
  publisher     = springer,
}

@string{cocoon = " Internat. Combinatorics and Computing Conf."}
@string{cocoon28="Proc. 34th " # cocoon # " (COCOON'28)"}
@proceedings{pcocoon28,
  booktitle     = cocoon28,
  year          = {2028},
  publisher     = springer,
}

@string{cocoon = " Internat. Combinatorics and Computing Conf."}
@string{cocoon29="Proc. 35th " # cocoon # " (COCOON'29)"}
@proceedings{pcocoon29,
  booktitle     = cocoon29,
  year          = {2029},
  publisher     = springer,
}

@string{cocoon = " Internat. Combinatorics and Computing Conf."}
@string{cocoon30="Proc. 36th " # cocoon # " (COCOON'30)"}
@proceedings{pcocoon30,
  booktitle     = cocoon30,
  year          = {2030},
  publisher     = springer,
}

************

@comment{confseries:European Symposium on Algorithms}
@comment{confseries:ESA 1993-current publ:various} 
@comment{confseries:ESA 1993-2015 publ:Springer}
@comment{confseries:ESA 2016-current publ: drops}

@string{esa = " Eur. Symp. Algorithms"}

@string{esa93= "Proc. 1st " # esa # " (ESA'93)"}
@proceedings{pesa93,
  booktitle = esa93,
  year      = {1993},
  publisher = springer,
}


@string{esa94= "Proc. 2nd " # esa # " (ESA'94)"}
@proceedings{pesa94,
  booktitle = esa94,
  year      = {1994},
  publisher = springer,
}


@string{esa95= "Proc. 3rd " # esa # " (ESA'95)"}
@proceedings{pesa95,
  booktitle = esa95,
  year      = {1995},
  publisher = springer,
}


@string{esa96= "Proc. 4th " # esa # " (ESA'96)"}
@proceedings{pesa96,
  booktitle = esa96,
  year      = {1996},
  publisher = springer,
}


@string{esa97= "Proc. 5th " # esa # " (ESA'97)"}
@proceedings{pesa97,
  booktitle = esa97,
  year      = {1997},
  publisher = springer,
}


@string{esa98= "Proc. 6th " # esa # " (ESA'98)"}
@proceedings{pesa98,
  booktitle = esa98,
  year      = {1998},
  publisher = springer,
}


@string{esa99= "Proc. 7th " # esa # " (ESA'99)"}
@proceedings{pesa99,
  booktitle = esa99,
  year      = {1999},
  publisher = springer,
}


@string{esa00= "Proc. 8th " # esa # " (ESA'00)"}
@proceedings{pesa00,
  booktitle = esa00,
  year      = {2000},
  publisher = springer,
}


@string{esa01= "Proc. 9th " # esa # " (ESA'01)"}
@proceedings{pesa01,
  booktitle = esa01,
  year      = {2001},
  publisher = springer,
}


@string{esa02= "Proc. 10th " # esa # " (ESA'02)"}
@proceedings{pesa02,
  booktitle = esa02,
  year      = {2002},
  publisher = springer,
}


@string{esa03= "Proc. 11th " # esa # " (ESA'03)"}
@proceedings{pesa03,
  booktitle = esa03,
  year      = {2003},
  publisher = springer,
}


@string{esa04= "Proc. 12th " # esa # " (ESA'04)"}
@proceedings{pesa04,
  booktitle = esa04,
  year      = {2004},
  publisher = springer,
}


@string{esa05= "Proc. 13th " # esa # " (ESA'05)"}
@proceedings{pesa05,
  booktitle = esa05,
  year      = {2005},
  publisher = springer,
}


@string{esa06= "Proc. 14th " # esa # " (ESA'06)"}
@proceedings{pesa06,
  booktitle = esa06,
  year      = {2006},
  publisher = springer,
}


@string{esa07= "Proc. 15th " # esa # " (ESA'07)"}
@proceedings{pesa07,
  booktitle = esa07,
  year      = {2007},
  publisher = springer,
}


@string{esa08= "Proc. 16th " # esa # " (ESA'08)"}
@proceedings{pesa08,
  booktitle = esa08,
  year      = {2008},
  publisher = springer,
}


@string{esa09= "Proc. 17th " # esa # " (ESA'09)"}
@proceedings{pesa09,
  booktitle = esa09,
  year      = {2009},
  publisher = springer,
}


@string{esa10= "Proc. 18th " # esa # " (ESA'10)"}
@proceedings{pesa10,
  booktitle = esa10,
  year      = {2010},
  publisher = springer,
}


@string{esa11= "Proc. 19th " # esa # " (ESA'11)"}
@proceedings{pesa11,
  booktitle = esa11,
  year      = {2011},
  publisher = springer,
}


@string{esa12= "Proc. 20th " # esa # " (ESA'12)"}
@proceedings{pesa12,
  booktitle = esa12,
  year      = {2012},
  publisher = springer,
}


@string{esa13= "Proc. 21st " # esa # " (ESA'13)"}
@proceedings{pesa13,
  booktitle = esa13,
  year      = {2013},
  publisher = springer,
}


@string{esa14= "Proc. 22nd " # esa # " (ESA'14)"}
@proceedings{pesa14,
  booktitle = esa14,
  year      = {2014},
  publisher = springer,
}


@string{esa15= "Proc. 23rd " # esa # " (ESA'15)"}
@proceedings{pesa15,
  booktitle = esa15,
  year      = {2015},
  publisher = springer,
}

@comment{confseries:ESA 2016-current publ: drops (2)}

@string{esa16= "Proc. 24th " # esa # " (ESA'16)"}
@proceedings{pesa16,
  booktitle = esa16,
  year      = {2016},
  publisher = drops,
}


@string{esa17= "Proc. 25th " # esa # " (ESA'17)"}
@proceedings{pesa17,
  booktitle = esa17,
  year      = {2017},
  publisher = drops,
}


@string{esa18= "Proc. 26th " # esa # " (ESA'18)"}
@proceedings{pesa18,
  booktitle = esa18,
  year      = {2018},
  publisher = drops,
}


@string{esa19= "Proc. 27th " # esa # " (ESA'19)"}
@proceedings{pesa19,
  booktitle = esa19,
  year      = {2019},
  publisher = drops,
}


@string{esa20= "Proc. 28th " # esa # " (ESA'20)"}
@proceedings{pesa20,
  booktitle = esa20,
  year      = {2020},
  publisher = drops,
}


@string{esa21= "Proc. 29th " # esa # " (ESA'21)"}
@proceedings{pesa21,
  booktitle = esa21,
  year      = {2021},
  publisher = drops,
}


@string{esa22= "Proc. 30th " # esa # " (ESA'22)"}
@proceedings{pesa22,
  booktitle = esa22,
  year      = {2022},
  publisher = drops,
}


@string{esa23= "Proc. 31st " # esa # " (ESA'23)"}
@proceedings{pesa23,
  booktitle = esa23,
  year      = {2023},
  publisher = drops,
}


@string{esa24= "Proc. 32nd " # esa # " (ESA'24)"}
@proceedings{pesa24,
  booktitle = esa24,
  year      = {2024},
  publisher = drops,
}


@string{esa25= "Proc. 33rd " # esa # " (ESA'25)"}
@proceedings{pesa25,
  booktitle = esa25,
  year      = {2025},
  publisher = drops,
}


@string{esa26= "Proc. 34th " # esa # " (ESA'26)"}
@proceedings{pesa26,
  booktitle = esa26,
  year      = {2026},
  publisher = drops,
}


@string{esa27= "Proc. 35th " # esa # " (ESA'27)"}
@proceedings{pesa27,
  booktitle = esa27,
  year      = {2027},
  publisher = drops,
}


@string{esa28= "Proc. 36th " # esa # " (ESA'28)"}
@proceedings{pesa28,
  booktitle = esa28,
  year      = {2028},
  publisher = drops,
}


@string{esa29= "Proc. 37th " # esa # " (ESA'29)"}
@proceedings{pesa29,
  booktitle = esa29,
  year      = {2029},
  publisher = drops,
}


@string{esa30= "Proc. 38th " # esa # " (ESA'30)"}
@proceedings{pesa30,
  booktitle = esa30,
  year      = {2030},
  publisher = drops,
}

%%%%%%%%%*********

%%% NOCOUNTING CONFERENCE SERIES

*******************

@comment{confseries:MFCS - Internat. Symp. on Mathematical Foundations of CS}
@comment{publ:MFCS 1974-curr except 82, 83, 85, 87: various}
@comment{publ:MFCS 1974-2015 except 82, 83, 85, 87 Springer 2016-current drops}
@comment{publ:MFCS 1974-2015 except 82, 83, 85, 87 Springer}
@comment{publ:MFCS 2016-current drops}

@string{mfcs = " Internat. Symp. Math. Foundations of Comp. Sci."}

@string{mfcs74 = "Proc. " # mfcs # " (MFCS'74)"}
@Proceedings{pmfcs74,
  booktitle = mfcs74,
  year  = {1974},
  publisher  = springer,
}


@string{mfcs75 = "Proc. " # mfcs # " (MFCS'75)"}
@Proceedings{pmfcs75,
  booktitle = mfcs75,
  year  = {1975},
  publisher  = springer,
}


@string{mfcs76 = "Proc. " # mfcs # " (MFCS'76)"}
@Proceedings{pmfcs76,
  booktitle = mfcs76,
  year  = {1976},
  publisher  = springer,
}


@string{mfcs77 = "Proc. " # mfcs # " (MFCS'77)"}
@Proceedings{pmfcs77,
  booktitle = mfcs77,
  year  = {1977},
  publisher  = springer,
}


@string{mfcs78 = "Proc. " # mfcs # " (MFCS'78)"}
@Proceedings{pmfcs78,
  booktitle = mfcs78,
  year  = {1978},
  publisher  = springer,
}


@string{mfcs79 = "Proc. " # mfcs # " (MFCS'79)"}
@Proceedings{pmfcs79,
  booktitle = mfcs79,
  year  = {1979},
  publisher  = springer,
}


@string{mfcs80 = "Proc. " # mfcs # " (MFCS'80)"}
@Proceedings{pmfcs80,
  booktitle = mfcs80,
  year  = {1980},
  publisher  = springer,
}


@string{mfcs81 = "Proc. " # mfcs # " (MFCS'81)"}
@Proceedings{pmfcs81,
  booktitle = mfcs81,
  year  = {1981},
  publisher  = springer,
}

@comment{NO MFCS'82}
@comment{NO MFCS'83}

@string{mfcs84 = "Proc. " # mfcs # " (MFCS'84)"}
@Proceedings{pmfcs84,
  booktitle = mfcs84,
  year  = {1984},
  publisher  = springer,
}

@comment{NO MFCS'85}

@string{mfcs86 = "Proc. " # mfcs # " (MFCS'86)"}
@Proceedings{pmfcs86,
  booktitle = mfcs86,
  year  = {1986},
  publisher  = springer,
}

@comment{NO MFCS'87}


@string{mfcs88 = "Proc. " # mfcs # " (MFCS'88)"}
@Proceedings{pmfcs88,
  booktitle = mfcs88,
  year  = {1988},
  publisher  = springer,
}


@string{mfcs89 = "Proc. " # mfcs # " (MFCS'89)"}
@Proceedings{pmfcs89,
  booktitle = mfcs89,
  year  = {1989},
  publisher  = springer,
}


@string{mfcs90 = "Proc. " # mfcs # " (MFCS'90)"}
@Proceedings{pmfcs90,
  booktitle = mfcs90,
  year  = {1990},
  publisher  = springer,
}


@string{mfcs91 = "Proc. " # mfcs # " (MFCS'91)"}
@Proceedings{pmfcs91,
  booktitle = mfcs91,
  year  = {1991},
  publisher  = springer,
}


@string{mfcs92 = "Proc. " # mfcs # " (MFCS'92)"}
@Proceedings{pmfcs92,
  booktitle = mfcs92,
  year  = {1992},
  publisher  = springer,
}


@string{mfcs93 = "Proc. " # mfcs # " (MFCS'93)"}
@Proceedings{pmfcs93,
  booktitle = mfcs93,
  year  = {1993},
  publisher  = springer,
}


@string{mfcs94 = "Proc. " # mfcs # " (MFCS'94)"}
@Proceedings{pmfcs94,
  booktitle = mfcs94,
  year  = {1994},
  publisher  = springer,
}


@string{mfcs95 = "Proc. " # mfcs # " (MFCS'95)"}
@Proceedings{pmfcs95,
  booktitle = mfcs95,
  year  = {1995},
  publisher  = springer,
}


@string{mfcs96 = "Proc. " # mfcs # " (MFCS'96)"}
@Proceedings{pmfcs96,
  booktitle = mfcs96,
  year  = {1996},
  publisher  = springer,
}


@string{mfcs97 = "Proc. " # mfcs # " (MFCS'97)"}
@Proceedings{pmfcs97,
  booktitle = mfcs97,
  year  = {1997},
  publisher  = springer,
}


@string{mfcs98 = "Proc. " # mfcs # " (MFCS'98)"}
@Proceedings{pmfcs98,
  booktitle = mfcs98,
  year  = {1998},
  publisher  = springer,
}


@string{mfcs99 = "Proc. " # mfcs # " (MFCS'99)"}
@Proceedings{pmfcs99,
  booktitle = mfcs99,
  year  = {1999},
  publisher  = springer,
}


@string{mfcs00 = "Proc. " # mfcs # " (MFCS'00)"}
@Proceedings{pmfcs00,
  booktitle = mfcs00,
  year  = {2000},
  publisher  = springer,
}


@string{mfcs01 = "Proc. " # mfcs # " (MFCS'01)"}
@Proceedings{pmfcs01,
  booktitle = mfcs01,
  year  = {2001},
  publisher  = springer,
}


@string{mfcs02 = "Proc. " # mfcs # " (MFCS'02)"}
@Proceedings{pmfcs02,
  booktitle = mfcs02,
  year  = {2002},
  publisher  = springer,
}


@string{mfcs03 = "Proc. " # mfcs # " (MFCS'03)"}
@Proceedings{pmfcs03,
  booktitle = mfcs03,
  year  = {2003},
  publisher  = springer,
}


@string{mfcs04 = "Proc. " # mfcs # " (MFCS'04)"}
@Proceedings{pmfcs04,
  booktitle = mfcs04,
  year  = {2004},
  publisher  = springer,
}


@string{mfcs05 = "Proc. " # mfcs # " (MFCS'05)"}
@Proceedings{pmfcs05,
  booktitle = mfcs05,
  year  = {2005},
  publisher  = springer,
}


@string{mfcs06 = "Proc. " # mfcs # " (MFCS'06)"}
@Proceedings{pmfcs06,
  booktitle = mfcs06,
  year  = {2006},
  publisher  = springer,
}


@string{mfcs07 = "Proc. " # mfcs # " (MFCS'07)"}
@Proceedings{pmfcs07,
  booktitle = mfcs07,
  year  = {2007},
  publisher  = springer,
}


@string{mfcs08 = "Proc. " # mfcs # " (MFCS'08)"}
@Proceedings{pmfcs08,
  booktitle = mfcs08,
  year  = {2008},
  publisher  = springer,
}


@string{mfcs09 = "Proc. " # mfcs # " (MFCS'09)"}
@Proceedings{pmfcs09,
  booktitle = mfcs09,
  year  = {2009},
  publisher  = springer,
}


@string{mfcs10 = "Proc. " # mfcs # " (MFCS'10)"}
@Proceedings{pmfcs10,
  booktitle = mfcs10,
  year  = {2010},
  publisher  = springer,
}


@string{mfcs11 = "Proc. " # mfcs # " (MFCS'11)"}
@Proceedings{pmfcs11,
  booktitle = mfcs11,
  year  = {2011},
  publisher  = springer,
}


@string{mfcs12 = "Proc. " # mfcs # " (MFCS'12)"}
@Proceedings{pmfcs12,
  booktitle = mfcs12,
  year  = {2012},
  publisher  = springer,
}


@string{mfcs13 = "Proc. " # mfcs # " (MFCS'13)"}
@Proceedings{pmfcs13,
  booktitle = mfcs13,
  year  = {2013},
  publisher  = springer,
}


@string{mfcs14 = "Proc. " # mfcs # " (MFCS'14)"}
@Proceedings{pmfcs14,
  booktitle = mfcs14,
  year  = {2014},
  publisher  = springer,
}


@string{mfcs15 = "Proc. " # mfcs # " (MFCS'15)"}
@Proceedings{pmfcs15,
  booktitle = mfcs15,
  year  = {2015},
  publisher  = springer,
}

@comment{confseries:MFCS 2016-current publ:drops}

@string{mfcs16 = "Proc. " # mfcs # " (MFCS'16)"}
@Proceedings{pmfcs16,
  booktitle = mfcs16,
  year  = {2016},
  publisher  = drops,
}


@string{mfcs17 = "Proc. " # mfcs # " (MFCS'17)"}
@Proceedings{pmfcs17,
  booktitle = mfcs17,
  year  = {2017},
  publisher  = drops,
}


@string{mfcs18 = "Proc. " # mfcs # " (MFCS'18)"}
@Proceedings{pmfcs18,
  booktitle = mfcs18,
  year  = {2018},
  publisher  = drops,
}


@string{mfcs19 = "Proc. " # mfcs # " (MFCS'19)"}
@Proceedings{pmfcs19,
  booktitle = mfcs19,
  year  = {2019},
  publisher  = drops,
}


@string{mfcs20 = "Proc. " # mfcs # " (MFCS'20)"}
@Proceedings{pmfcs20,
  booktitle = mfcs20,
  year  = {2020},
  publisher  = drops,
}


@string{mfcs21 = "Proc. " # mfcs # " (MFCS'21)"}
@Proceedings{pmfcs21,
  booktitle = mfcs21,
  year  = {2021},
  publisher  = drops,
}


@string{mfcs22 = "Proc. " # mfcs # " (MFCS'22)"}
@Proceedings{pmfcs22,
  booktitle = mfcs22,
  year  = {2022},
  publisher  = drops,
}


@string{mfcs23 = "Proc. " # mfcs # " (MFCS'23)"}
@Proceedings{pmfcs23,
  booktitle = mfcs23,
  year  = {2023},
  publisher  = drops,
}


@string{mfcs24 = "Proc. " # mfcs # " (MFCS'24)"}
@Proceedings{pmfcs24,
  booktitle = mfcs24,
  year  = {2024},
  publisher  = drops,
}


@string{mfcs25 = "Proc. " # mfcs # " (MFCS'25)"}
@Proceedings{pmfcs25,
  booktitle = mfcs25,
  year  = {2025},
  publisher  = drops,
}


@string{mfcs26 = "Proc. " # mfcs # " (MFCS'26)"}
@Proceedings{pmfcs26,
  booktitle = mfcs26,
  year  = {2026},
  publisher  = drops,
}


@string{mfcs27 = "Proc. " # mfcs # " (MFCS'27)"}
@Proceedings{pmfcs27,
  booktitle = mfcs27,
  year  = {2027},
  publisher  = drops,
}


@string{mfcs28 = "Proc. " # mfcs # " (MFCS'28)"}
@Proceedings{pmfcs28,
  booktitle = mfcs28,
  year  = {2028},
  publisher  = drops,
}


@string{mfcs29 = "Proc. " # mfcs # " (MFCS'29)"}
@Proceedings{pmfcs29,
  booktitle = mfcs29,
  year  = {2029},
  publisher  = drops,
}


@string{mfcs30 = "Proc. " # mfcs # " (MFCS'30)"}
@Proceedings{pmfcs30,
  booktitle = mfcs30,
  year  = {2030},
  publisher  = drops,
}


*******************

@comment{confseries:Intern. Computer Science Symp. in Russia (CSR)}
@comment{Computer Science Symp. in Russia CSR publ:Springer 2000-current}

@string{csr = " Comp. Sci. Symp. in Russia"}

@string{csr00 = "Proc. " # csr # " (CSR'00)"}
@Proceedings{pcsr00,
  booktitle = csr00,
  year  = {2000},
  publisher  = springer,
}


@string{csr01 = "Proc. " # csr # " (CSR'01)"}
@Proceedings{pcsr01,
  booktitle = csr01,
  year  = {2001},
  publisher  = springer,
}


@string{csr02 = "Proc. " # csr # " (CSR'02)"}
@Proceedings{pcsr02,
  booktitle = csr02,
  year  = {2002},
  publisher  = springer,
}


@string{csr03 = "Proc. " # csr # " (CSR'03)"}
@Proceedings{pcsr03,
  booktitle = csr03,
  year  = {2003},
  publisher  = springer,
}


@string{csr04 = "Proc. " # csr # " (CSR'04)"}
@Proceedings{pcsr04,
  booktitle = csr04,
  year  = {2004},
  publisher  = springer,
}


@string{csr05 = "Proc. " # csr # " (CSR'05)"}
@Proceedings{pcsr05,
  booktitle = csr05,
  year  = {2005},
  publisher  = springer,
}


@string{csr06 = "Proc. " # csr # " (CSR'06)"}
@Proceedings{pcsr06,
  booktitle = csr06,
  year  = {2006},
  publisher  = springer,
}


@string{csr07 = "Proc. " # csr # " (CSR'07)"}
@Proceedings{pcsr07,
  booktitle = csr07,
  year  = {2007},
  publisher  = springer,
}


@string{csr08 = "Proc. " # csr # " (CSR'08)"}
@Proceedings{pcsr08,
  booktitle = csr08,
  year  = {2008},
  publisher  = springer,
}


@string{csr09 = "Proc. " # csr # " (CSR'09)"}
@Proceedings{pcsr09,
  booktitle = csr09,
  year  = {2009},
  publisher  = springer,
}


@string{csr10 = "Proc. " # csr # " (CSR'10)"}
@Proceedings{pcsr10,
  booktitle = csr10,
  year  = {2010},
  publisher  = springer,
}


@string{csr11 = "Proc. " # csr # " (CSR'11)"}
@Proceedings{pcsr11,
  booktitle = csr11,
  year  = {2011},
  publisher  = springer,
}


@string{csr12 = "Proc. " # csr # " (CSR'12)"}
@Proceedings{pcsr12,
  booktitle = csr12,
  year  = {2012},
  publisher  = springer,
}


@string{csr13 = "Proc. " # csr # " (CSR'13)"}
@Proceedings{pcsr13,
  booktitle = csr13,
  year  = {2013},
  publisher  = springer,
}


@string{csr14 = "Proc. " # csr # " (CSR'14)"}
@Proceedings{pcsr14,
  booktitle = csr14,
  year  = {2014},
  publisher  = springer,
}


@string{csr15 = "Proc. " # csr # " (CSR'15)"}
@Proceedings{pcsr15,
  booktitle = csr15,
  year  = {2015},
  publisher  = springer,
}


@string{csr16 = "Proc. " # csr # " (CSR'16)"}
@Proceedings{pcsr16,
  booktitle = csr16,
  year  = {2016},
  publisher  = springer,
}


@string{csr17 = "Proc. " # csr # " (CSR'17)"}
@Proceedings{pcsr17,
  booktitle = csr17,
  year  = {2017},
  publisher  = springer,
}


@string{csr18 = "Proc. " # csr # " (CSR'18)"}
@Proceedings{pcsr18,
  booktitle = csr18,
  year  = {2018},
  publisher  = springer,
}


@string{csr19 = "Proc. " # csr # " (CSR'19)"}
@Proceedings{pcsr19,
  booktitle = csr19,
  year  = {2019},
  publisher  = springer,
}


@string{csr20 = "Proc. " # csr # " (CSR'20)"}
@Proceedings{pcsr20,
  booktitle = csr20,
  year  = {2020},
  publisher  = springer,
}


@string{csr21 = "Proc. " # csr # " (CSR'21)"}
@Proceedings{pcsr21,
  booktitle = csr21,
  year  = {2021},
  publisher  = springer,
}


@string{csr22 = "Proc. " # csr # " (CSR'22)"}
@Proceedings{pcsr22,
  booktitle = csr22,
  year  = {2022},
  publisher  = springer,
}


@string{csr23 = "Proc. " # csr # " (CSR'23)"}
@Proceedings{pcsr23,
  booktitle = csr23,
  year  = {2023},
  publisher  = springer,
}


@string{csr24 = "Proc. " # csr # " (CSR'24)"}
@Proceedings{pcsr24,
  booktitle = csr24,
  year  = {2024},
  publisher  = springer,
}


@string{csr25 = "Proc. " # csr # " (CSR'25)"}
@Proceedings{pcsr25,
  booktitle = csr25,
  year  = {2025},
  publisher  = springer,
}


@string{csr26 = "Proc. " # csr # " (CSR'26)"}
@Proceedings{pcsr26,
  booktitle = csr26,
  year  = {2026},
  publisher  = springer,
}


@string{csr27 = "Proc. " # csr # " (CSR'27)"}
@Proceedings{pcsr27,
  booktitle = csr27,
  year  = {2027},
  publisher  = springer,
}


@string{csr28 = "Proc. " # csr # " (CSR'28)"}
@Proceedings{pcsr28,
  booktitle = csr28,
  year  = {2028},
  publisher  = springer,
}


@string{csr29 = "Proc. " # csr # " (CSR'29)"}
@Proceedings{pcsr29,
  booktitle = csr29,
  year  = {2029},
  publisher  = springer,
}


@string{csr30 = "Proc. " # csr # " (CSR'30)"}
@Proceedings{pcsr30,
  booktitle = csr30,
  year  = {2030},
  publisher  = springer,
}

*******************
                  


*************%%%%%%%%%%

@comment{confseries:Internat. Conf. on Computer Aided Verification},
@comment{confseries:CAV 1985-current publ:various *******}
@string{cav=" Internat. Conf. Computer Aided Verification"}
@string{cav11= "" # cav # " (CAV'11)"}
@proceedings{pcav11,
 booktitle     = cav11,
 publisher     = springer,
 year          = {2011},
}

*********

@comment{confseries:ISSAC *** 1976-current publ:various ******}
@comment{confseries:Internat. Symp. on Symbolic and Algebraic Computation},
@string{issac=" Internat. Symp. Symbolic and Algebraic Computation"},
@string{issac14= "Proc. 39th" # issac # " (ISSAC'14)"}
@proceedings{pissac14,
 booktitle     = issac14,
 publisher     = acm,
 year          = {2014},
}

*********

@comment{confseries:EUROSAM *** 1976-current publ:various ******}
@comment{confseries:Internat. Symp. on Symbolic and Algebraic Manipulation}
@string{eurosam=" Internat. Symp. Symbolic and Algebraic Manipulation"}
@string{eurosam79="Proc." # eurosam # " (EUROSAM'79)"}
@proceedings{peurosam79,
 booktitle     = eurosam79,
 publisher     = springer,
 year          = {1979},
}

**********************

@comment{confseries:TCC 2004-current publ:springer ******}
@comment{Theory of Cryptography Conference}
@string{tcc = " Theory of Cryptography Conf."}
@string{tcc17 = "Proc. " # tcc # " (TCC'17)"}
@Proceedings{ptcc17,
  booktitle	= tcc17,
  year		= {2017},
  publisher	= springer,
}

**********************

@comment{confseries:Internat. Conf. on Theory and Appl. of Models of Computation (TAMC)}
@comment{publ:TAMC 2006-current Springer}
@string{tamc = " Internat. Conf. Theory Appl. Models of Comput."}
@string{tamc10 = "Proc. " # tamc # " (TAMS'10)"}
@Proceedings{ptamc10,
  booktitle = tamc10,
  year	= {2010},
  publisher = springer,
}

@string{tamc08 = "Proc. 5th" # tamc # " (TAMS'08)"}
@Proceedings{ptamc08,
  booktitle = tamc08,
  year	= {2008},
  publisher = springer,
}

**********************


@comment{confseries:ACM Conf. on Economics and Computation (EC)}
@comment{publ:EC 2000-current ACM}
@string{ec = " ACM Conf. Econ. Comput."}
@string{ec09 = "Proc. 10th" # ec # " (EC'15)"}
@Proceedings{pec09,
  booktitle = ec09,
  year	= {2009},
  publisher = acm,
}

@string{ec15 = "Proc. 16th" # ec # " (EC'15)"}
@Proceedings{pec15,
  booktitle = ec15,
  year	= {2015},
  publisher = acm,
}

@string{ec16 = "Proc. 17th" # ec # " (EC'16)"}
@Proceedings{pec16,
  booktitle = ec16,
  year	= {2016},
  publisher = acm,
}

**********************

@comment{confseries:Integer Programming and Combinatorial Optimization (IPCO)}
@comment{publ:EC 2000-current Springer}
@string{ipco = " Integer Prog. Combinat. Optim."}
@string{ipco14 = "Proc. 17th" # ipco # " (IPCO'14)"}
@Proceedings{pipco14,
  booktitle = ipco14,
  year	= {2014},
  series = {LNCS},
  volume = {8494},
  publisher = springer,
}

**********************

@comment{confseries: Internat. Workshop on Approximation and Online Algorithms (WAOA)}
@comment{publ:EC 2003-current Springer}
@string{waoa = " Workshop Approx. Online Algorithms"}
@string{waoa17 = "Proc. 15th" # waoa # " (WAOA'17)"}
@Proceedings{pwaoa17,
  booktitle = waoa17,
  year	= {2017},
  publisher = springer,
}

**********************

@comment{confseries: Israel Symposium on Theory and Computing Systems}
@string{istcs = " Isr. Symp. Theory Comp. Sys."}
@string{istcs93 = "Proc. 2nd" # istcs # " (ISTCS'93)"}
@Proceedings{pistcs93,
  booktitle = istcs93,
  year = 1993,
  publisher =ieee,
}

**********************

@comment{confseries: Internat. Conf. on AI and Statistics AISTATS}
@string{aistats = " Internat. Conf. Artificial Intelligence and Statistics"}
@string{aistats19 = "Proc. 22nd" # aistats # " (AISTATS'19)"}
@Proceedings{paistats19,
  booktitle = aistats19,
  year = 2019,
  publisher = mlr,
}

**********************

@comment{confseries: Internat. Conf. on Machine Learning}
@string{icml = " Internat. Conf. Machine Learning"}
@string{icml18 = "Proc. 35th" # aistats # " (ICML'18)"}
@Proceedings{picml18,
  booktitle = icml18,
  year = 2018,
  publisher = mlr,
}

*****************

@comment{confseries: Symposium on Simplicity in Algorithms (SOSA)}
@string{sosa = " Symp. Simplicity in Algorithms"}
@string{sosa19 = "Proc. 2nd" # sosa # " (SOSA'19)"}
@Proceedings{psosa19,
  booktitle = sosa19,
  year = 2019,
  publisher = drops,
}

******************

@comment{confseries: Internat. Symp. on Computer Architecture (ISCA)}
@string{isca = " Internat. Symp. Computer Architecture"}
@string{isca17 = "Proc. 44th" # isca # " (ISCA'17)"}
@Proceedings{pisca17,
  booktitle = isca17,
  year = 2017,
  publisher = acm,
}

******************

@comment{confseries: ACM SIGPLAN Symp. on Principles and Practice of Parallel Programming (PPoPP)}
@string{PPoPP = " SIGPLAN Symp. Principles and Practice of Parallel Programming"}
@string{PPoPP15 = "Proc. 20th" # PPoPP # " (PPoPP'15)"}
@proceedings{pPPoPP15,
  booktitle = PPoPP15,
  year      = {2015},
  publisher = acm,
}

******************

@comment{confseries: IEEE Internat. Parallel and Distrib. Processing Symp. (IPDPS)}
@string{IPDPS = " Internat. Parallel and Distrib. Processing Symp."}
@string{IPDPS17 = "Proc. " # IPDPS # " (IPDPS'17)"}
@proceedings{pIPDPS17,
  booktitle = IPDPS17,
  year      = {2017},
  publisher = ieee,
}

@string{IPDPS18 = "Proc. " # IPDPS # " (IPDPS'18)"}
@proceedings{pIPDPS18,
  booktitle = IPDPS18,
  year      = {2018},
  publisher = ieee,
}

******************

@comment{confseries: Scandinavian Symposium and Workshops on Algorithm Theory, (SWAT)}
@string{swat = " Scand. Symp. Algorithm Theory"}
@string{swat16 = "Proc. 15th" # swat # " (SWAT'16)"}
@proceedings{pswat16,
  booktitle = swat16,
  year      = 2016,
  publisher = drops,
}

******************
